形式化论文

论文摘要作为计算机软件的核心,操作系统的安全对于所有的计算机软件来说都至关重要。但是由于操作系统的规模非常庞大,而且结构极其复杂,这使得操作系统的安全问题存在非常多的不确定性。...

论文摘要中国当代油画艺术处于世界艺术思想交流和融合的时代,艺术形式语言自由而积极的发展促进了艺术多元化的形成。平面化语言作为中国当代艺术一种重要的表现语言形式,正在受到更多艺术...

论文摘要集中型刑事审判是指法庭审理原则上应当持续不断地进行直至宣告判决,对于疑难、复杂的案件需要审理2日以上的,应当连日审理,但是必要的休息和用餐时间应当除外。其最为基本的内容...

论文摘要安全芯片作为信息系统的重要组成部分,广泛应用于军事、金融等重要领域,研究安全芯片体系结构和安全运行策略,对确保信息系统的安全具有重要意义。本文首先依据通用准则导出了芯片...

论文摘要语义Web和Web服务是WWW发展的两个重要趋势,这两种技术的结合产生了另一个新兴的研究课题——语义Web服务。语义Web服务是指用语义Web标记语言来描述服务的语义,...

论文摘要扩充的实时系统和空间推理是当前的两个新兴领域,在理论及工程应用上都有重要作用。实时系统主要研究在给定的约束条件下多任务的调度安排问题,这些任务是有截止期的,也就是完成的...

论文摘要正反问句是现代汉语疑问句的一个重要类型,前人已有大量优秀的研究成果。但从目前的情况来看,这些研究成果还很少能为计算机所用。为了让计算机能识别正反问句句式,判别正反问句的...

论文摘要作为控制软件复杂性、提高软件质量、支持软件开发和复用的重要手段之一,软件体系结构自二十世纪九十年代提出以来,日益受到软件工程研究者和实践者的关注。软件体系结构注重软件系...

论文摘要随着对网络安全要求的不断提高,软件的安全性成为了人们关注的焦点,如何在开发过程中即关注安全问题,开发出安全的软件已成为软件工程的研究热点。本文针对需求分析阶段的安全漏洞...

论文摘要SysML(系统建模语言SystemsModelingLanguage)是一种通用的图形化的建模语言,是UML2.O的一个外廓。目前,SysML已经成为系统工程建模领域...

论文摘要近年来,移动代码技术得到了极大的发展,并有着广泛的应用前景,但代码移动性所引发的安全问题阻碍了该技术在现实商业应用中的大规模使用。在这些安全问题中,如何保护移动代码不受...

论文摘要ATR技术是未来信息化战争中不可或缺的重要手段,是实现战场态势精确感知和远程精确打击的核心技术,但是ATR系统理论研究尚未引起重视,整体研究较少,大都处于算法理论的层次...

论文摘要随着计算机技术在尖端领域的应用,为了提高系统的安全性与可靠性,形式化方法得到长足的发展,也出现了许多优秀的形式化工具,例如,B、VDM、Z语言,还有诸如Petri网、C...

论文摘要自动信任协商是针对跨安全域的信任建立问题提出的一种新思想。本文在总结近年来自动信任协商领域研究成果的基础上,为维护开放网络环境下实体的自治性和隐私性、满足信任建立的安全...

论文摘要随着信息技术的飞速发展,软件的应用领域不断扩大,但是软件的可靠性和质量却没有得到相应的提高,这成为制约软件产业发展的一个重要因素。工业控制、交通、金融和医疗等领域都迫切...

论文摘要先秦时期是中国学术思想大发展时期,名实关系问题是各家争论的焦点问题,并因此产生了中国古代的正名逻辑思想。墨家尤其是后期墨家作为中国古代系统逻辑学说的创立者,为中国古代逻...

论文摘要本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体工程是计算机科学的一个领域,它关注于本体的建立和使用。本文提出了形式化本体工程的思想...

论文摘要Web服务是一种新兴的分布式计算模式,提供了一种基于Internet的且与开发环境无关的软件服务。该软件形式与运行平台无关,经过封装的服务发布在Internet上,供用...

论文摘要随着Web服务数量的急剧增多,用户面临大量的服务选择。因此如何从众多功能相似的Web服务中高效地发现满足条件的服务,如何判定服务组合的正确性等问题,已成为业界研究的热点...

论文摘要本文在与传统的网络防火墙技术对比的基础之上，结合计算机网络安全的本质与要求，对分布式防火墙这一全新的防火墙体系结构进行了分析，提出一种充分利用现有技术和投资的分布式防火...