形式化模型相关论文
随着Internet技术,传感器网络和移动设备的发展,普适计算得到了越来越多的关注和研究,越来越多的普适设备融入到人们的生活与工作......
随着软件的战略价值日益增长，企业期待着能够加速软件开发的技术，我们寻找着提高软件质量、降低软件成本和开发时间的方法。当前，面向......
本文针对串空间模型的一些计算性质作了详细的分析，证明了串空间模型中保密性问题的不可判定性，以及认证问题的不可判定性。关于保密......
随着Internet的普及和电子商务的迅速发展,对电子商务的要求越来越高,为了适应这种要求,Agent技术被应用到了电子商务中,来提高电......
随着嵌入式系统的规模、复杂程度和可靠性需求的不断提升，模型驱动的体系结构开发方法已经成为复杂嵌入式系统开发的主流。体系结构......
近年来，在全球新科技革命浪潮的推动下，以现代信息技术的广泛深入应用为特征的远程教育随着互联网的普及和社会需求的增长迅速发展，已......
协议是网络的血液和生命，计算机网络的发展是网络协议设计和开发的结果。随着通信网络向着高速度、高性能、多媒体等方向的发展，协议......
目前，嵌入式实时系统的广泛应用使得确保其正确性和可靠性成为当前的研究热点。MARTE（Modeling and Analysis of Real Time and Embe......
随着因特网的不断发展,Web服务已成为了人们日益关注的焦点。然而,功能单一的Web服务已经不能胜任企业的应用。Web服务组合研究如......
伴随着社会经济的飞速发展,信息技术的不断进步,决策所涉及的系统越来越复杂,要考虑的因素越来越多。然而,传统的决策方法已显得力......
路由是无线传感器网络的一项基本功能,针对路由的攻击可能会导致服务质量的降低或者彻底瘫痪。但近年来提出的各种传感器网络路由......
为了求解问题，人们提出了各种处理精确信息、随机信息和模糊信息的方法，并且解决了不少问题。然而，在人类社会中还存在矛盾问题和矛盾......
随着网络信息化的快速发展与普及,可靠的网络协议成为保障网络稳定的重要因素。为了保证网络协议实现符合它的规格说明,对协议进行......
现如今,WCDMA协议已经成为了两大主流通信体制的一部分并越来越受到人们的关注。而对于无线通信系统来说,呼叫流程能否成功建立是......
形式化模型的互模拟是形式化方法领域中的一个重要研究问题。通过研究两种形式化模型的互相模拟,可以把不易于在一种模型分析的问......
首先提出“人工生命”或“人造生命”概念的人，是美国洛斯阿拉莫斯国家实验室的克里斯托芬，兰顿博士。1987年他指出，地球上的生物只不......
随着信息技术的发展,对信息安全及软件可靠性的要求也愈来愈高,数据安全性成为当今计算机研究的热点话题。而文件系统作为操作系统......
随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为 人工智能领域中一个新的研究热点，也成为分布式......
随着现代计算复杂性和信息量的急剧增长，传统的集中计算模式已不能适应大型分布式信息处理的发展。而基于Agent的计算和以Agent为主......
随着计算机网络以及基于网络的分布式计算的发展,对于Agent系统的研究,已成为人工智能领域中一个新的研究热点.基于Agent的技术被......
随着计算机网络、计算机通信等技术的发展，对于Agent和多Agent系统的研究己成为分布式人工智能(DAI)重要的研究领域。Agent系统的研......
在分析当前超媒体形式化模型特点的基础上,本文提出一个全新的模型-CPNH.它基于有色Petri网,具有刻画分布超媒体主要性质的能力.与......
UML(统一建模语言)活动图广泛用于软件开发过程,然而它是半形式化的模型,不能进行推理,无法保证其正确性。为了保证它的正确性,必......
通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层......
针对形式化建模方法在进行网络协议分析时遇到建立模型过程复杂、状态空间庞大等问题,提出在Pe-tri网的基础上,引入融合库所建立一......
构建系统描述模型是设计可重构计算系统的重要环节.现有的系统建模方法主要分为形式化方法和非形式化方法两种,其中,非形式化模型......
如何在开放、动态、复杂的Internet环境下开发网构软件是软件技术领域一个挑战性课题。从网构软件整个生命周期入手,对网构软件的......
基于TCOZ，本文建立了UML视图的一种形式化模型，不仅为UML提供了一种精确的数学描述，也为其正确性分析和验证奠定了基础。......
应急预案是对突发事件进行应急处置的指导性文件,为提高企业的应急处置效率和信息化技术在应急管理领域的应用水 平,对数字化应急......
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析......
随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单......
从需求角度出发定义了操作系统的简洁模型，提出以系统的运行活动实体为核心满足操作需求的概念，然后以此概念为引申，采用ADT方法详细......
采用形式化描述Web服务组合,从很大程度上推动了Web服务组合技术的实际应用.但现有的Web服务组合形式化建模方法在利用形式化工具......
The joint intention is an important concept to specify and examine the social behaviors of multi-agent system. A theoret......
网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求.模糊时间Petri网是将模糊集合理论用于不......
Java虚拟机支持一种功能很强的动态加载类的机制,它具有惰性加载、类型安全连接、用户自定义加载策略、以及动态名字空间等特性.但......
针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。......
大规模集成电路通常隐含难以检测的设计错误，而在使用过程中又可能产生新的故障点。对故障效应的传播路径和范围进行准确评估，有助于......
民机平视显示系统(HUD)作为安全关键系统,由于其高度复杂且与其他机载系统结合使用,使得传统系统安全性评估方法难以满足定量安全......
本文给出了移动代理协议数据完整性属性的定义，指出了采用传统认证性属性来分析移动代理数据完整性属性的不足，从而给出了移动代理完......
协议是数据通信、计算机网络等分布式系统的灵魂.协议设计、开发的复杂性的增加导致了协议工程技术的出现,该文主要介绍了协议工程......
通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采......
拓扑关系是GIS空间目标之间最重要的关系之一,在GIS空间数据建模、空间查询、空间分析、空间推理、制图综合等过程中起着重要的作......
形式化、定量化求解矛盾问题是人工智能研究热点．本文在矛盾问题的可拓模型和逆向思维的形式化模型的基础上研究了矛盾问题的逆向策......
从技术创新扩散的空间展开模式入手,分析了技术创新空间扩散的动力以及维度,通过对技术创新空间扩散过程与扩散环境间的互动演进过......
