形式化模型相关论文
情绪是虚拟人和虚拟环境交互作用的结果,在计算机动画领域,虚拟人的情绪至今尚未得到清楚的描述.本文依据心理学的理论,提出了虚拟......
本体是概念化的一个显式的规格说明,能够将领域中的各种概念及相互关系显式地、形式化地表达出来.本文首先介绍了本体的基本概念,......
异常处理的可终止性是确保其正确性的重要基础,而现有面向服务软件中异常处理逻辑复杂度高,导致难以为其构建支持可终止性分析......
云应用程序管理自动化是云计算的一个重要课题,持续增长的云服务数量和类型要求各种技术和软件协同工作。然而在云计算的虚拟化环......
该文针对ISO9000系列标准贯标支持系统的开发过程中所遇到的各种问题,对超文本技术的实质和特点进行了分析,提出了一个基于Petri网......
在安全系统中，惟一重要的接口是能够进入安全周界的外部接口，可信进程明显运行于安全周界之内且是安全内核的扩展。所以，可信进程与内......
随着Internet技术,传感器网络和移动设备的发展,普适计算得到了越来越多的关注和研究,越来越多的普适设备融入到人们的生活与工作......
随着软件的战略价值日益增长，企业期待着能够加速软件开发的技术，我们寻找着提高软件质量、降低软件成本和开发时间的方法。当前，面向......
本文针对串空间模型的一些计算性质作了详细的分析，证明了串空间模型中保密性问题的不可判定性，以及认证问题的不可判定性。关于保密......
随着Internet的普及和电子商务的迅速发展,对电子商务的要求越来越高,为了适应这种要求,Agent技术被应用到了电子商务中,来提高电......
随着Web服务数量的急剧增多,用户面临大量的服务选择。因此如何从众多功能相似的Web服务中高效地发现满足条件的服务,如何判定服务......
随着嵌入式系统的规模、复杂程度和可靠性需求的不断提升，模型驱动的体系结构开发方法已经成为复杂嵌入式系统开发的主流。体系结构......
近年来，在全球新科技革命浪潮的推动下，以现代信息技术的广泛深入应用为特征的远程教育随着互联网的普及和社会需求的增长迅速发展，已......
协议是网络的血液和生命，计算机网络的发展是网络协议设计和开发的结果。随着通信网络向着高速度、高性能、多媒体等方向的发展，协议......
安全协议的分析和验证是保证所设计的协议满足其安全性质的重要技术手段,而借助形式化的方法或工具分析安全协议是非常有效和有必......
随着因特网的不断发展,Web服务已成为了人们日益关注的焦点。然而,功能单一的Web服务已经不能胜任企业的应用。Web服务组合研究如......
伴随着社会经济的飞速发展,信息技术的不断进步,决策所涉及的系统越来越复杂,要考虑的因素越来越多。然而,传统的决策方法已显得力......
路由是无线传感器网络的一项基本功能,针对路由的攻击可能会导致服务质量的降低或者彻底瘫痪。但近年来提出的各种传感器网络路由......
随着网络技术的迅速发展,面向服务的体系架构(SOA)以其良好的可重用性、松耦合性和互操作性,已成为一种工业界和学术界广泛接受的......
随着网络信息化的快速发展与普及,可靠的网络协议成为保障网络稳定的重要因素。为了保证网络协议实现符合它的规格说明,对协议进行......
现如今,WCDMA协议已经成为了两大主流通信体制的一部分并越来越受到人们的关注。而对于无线通信系统来说,呼叫流程能否成功建立是......
形式化模型的互模拟是形式化方法领域中的一个重要研究问题。通过研究两种形式化模型的互相模拟,可以把不易于在一种模型分析的问......
探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语......
中国电信在全球独树一帜的发展历程要求其IT建设也必须进行创造性思维。针对CTG-MBOSS规范的实施和执行,中国电信股份有限公司上海......
针对Web信息查询缺乏对查询概念的相关语义这一问题,引入一种本体的形式化模型,通过引入本体内聚度等概念建立本体中概念间的语义......
基于对现有公平交换协议的研究, 使用求精过程建立了精确的形式化结构模型, 在这一过程中, 使用不可靠信道模拟攻击行为. 模型首次......
提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别......
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来......
针对虚拟专用网络中IP安全协议规则制定和配置繁杂、易出现冲突等问题,提出对IP安全协议规则集中的保护访问规则表和保护传输规则......
建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨......
云计算作为平台同时支撑着大量的云应用,一旦平台崩溃其影响面将非常广泛.建立一种云应用层、系统层、资源层的安全策略之间具有完......
本文以IEO建议的对等实体鉴别协议为基础,给出了使用HASH函数压缩报文的签名变换的形式。对印章协议模型做了适当地扩充,得到了一......
提出一种新的融合进程代数特征的Petri网模型—进程网.进程网既具有传统Petri网的图形化表示方式,又具有进程代数的语法形式.基于......
协议是因特网发展的基础，它的发展直接体现了因特网基础设施及其应用面临的实际问题及其相关的解决方法。本文基于协议的RFC 系......
进程间通信机制是微内核操作系统的关键功能之一。本文采用模型检测方法验证微内核操作系统的进程问通信机制，提出了一种从源码......
本文将可拓学的理论与方法引入建筑策划中来解决存在的矛盾问题和创新问题,发挥其用形式化模型解决问题的特点.计算机技术以其建筑......
本文提出了一种形式化模型—TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析。首先给出顺......
复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活......
2001年，Canetti和Krawczyk给出了用于认证密钥交换协议的可证安全模型(CK模型)，使得协议的安全证明成为热点研究问题。近年来CK模型......
自动制图综合质量问题已经成为其发展过程中亟需解决的重要难题,其中包括两个重要步骤：一是对自动制图综合结果的评价；二是利用质量......
本文用HNC语境理论来分析现在中文信息处理的一个热门话题--中文文本分类.HNC理论认为只有深入到语境层面,理解语句及篇章,才能更......
针对传统方法分析增强视景系统所产生的工作量大、依赖安全性分析人员经验、容易出现疏漏等问题,提出了增强视景系统形式化安全性......
