形式化描述方法相关论文
本文先以几个例子为基础浅谈了网络协议的自然语言描述和形式化描述,然后讨论协议正确性的证明方法,并对各种方法作了简单比较。
......
针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的......
为了更好地适应对Internet中迅速发展的新形态P2P网络应用进行建模的需求,深入研究了适于描述多方并发网络交互的形式化建模方法.......
阜阳市局 £4a 局长——_MINtkMMtgj’#lnH$B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......
为满足在复杂水声环境下反潜搜索方案制定和辅助决策的需求,提出了一种反潜搜索方案的形式化描述方法。在研究离散事件仿真和解析......
针对复杂系统任务可靠性仿真中任务剖面的建模描述问题,面向多Agent仿真建模环境,提出了从任务阶段模型、环境剖面模型及动态可......
针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的形式化抽象模型的问题,本文提出形......
行为模型的描述及其精化是模型驱动开发中的关键问题之一。根据形式化方法建模理论,提出了一种结构模型约束下的行为模型形式化描......
Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分.随IPv6在我国的推广应用,各种设备蜂拥而......
作战计划中是存在形式化描述方法的,它针对任务规划、资源规划与效能评估展开工作,希望以此构建作战任务、作战资源、明确作战效能......
随着 3G技术的进一步发展和成熟 ,现在电信和其他数据通信技术面临着一个进一步融合突破的时代。 3G的发展更推动了全球实现无缝漫......
可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法.本......
在层次化有色Petri网的基础上,引入了UML建模技术的类图的概念和方法,提出了一种针对联锁逻辑Petri网的建模方法,并以铁路车站设备......
本文跳出传统程序设计教材内容的范围,给出了一种描述程序执行规律的分析方法。一、理论基础本文以一级逻辑作为理论基础。下面给......
基于汉字字形形式化描述方法的汉字输入暨识别系统和留学生错字数据库已研发成功。这个系统成功解决了汉字教学存在的突出问题,对于......
Neighbor Discovery(领导发现,ND)协议是下一代互联网协议IPv6协议的一个重要组成部分,随IPv6在我国的推广应用,各种设备蜂拥而来,由于各......
针对云制造系统对制造能力服务的应用需求,研究了制造能力服务的统一描述及其形式化方法。分析了云制造环境下的制造能力服务的内......