暂无评论
移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述
研究生论文-安全协议分析的形式化理论与方法
一种行为模型的建模及模型精化方法，王帅强，马军，行为模型的建模和模型精化是软件工程中的基于模型驱动开发的关键问题。本文针对环境的形式化定义，提出了一种形式化的行为模型建
一种基于CANOpen协议的微机联锁总线控制解决方案
设计一个满足安全需求的协议非常困难，并且极易出错，因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。
z语言的形式化，精化和证明，有关Z 语言入门的一本书，牛津大学出版社
制作12 dBi线极化天线最常采用微带天线组阵,其尺寸较大为580 mm×260 mm×50 mm。而本文采用了一种新颖的形式即单极天线组阵进行设计。 1 设计方案的分析与选择 文中在设计12
一种基于Petri网的现场总线建模方法，杨晓川，郭磊，对于复杂的协议机制，其中协议形式化描述是技术难点所在点所在。Petri网是一种离散系统的建模与分析工具，在网络协议描述方面有良�
自动信任协商是跨多安全域的实体间建立信任关系的一种新方法，协商策略规定了协商过程中信任凭证和访问控制策略的披露方式。针对目前的研究中没有区分凭证的敏感度的问题，引入凭证权重的概念，设计了一种基于带权重
多重化结构逆变器是一种新型结构的逆变器,该逆变器各功率单元构造相同,便于模块化设计和制造,系统可靠性高。各单元的输出通过功率变压器的耦合叠加实现高压输出,适合高压大功率场合。研究了多重化逆变器的一种控
暂无评论