排序方式： 共有2条查询结果，搜索用时 15 毫秒
1
1.
时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献
2.
洪都集团的航空外贸源于20世纪60、70年代对友好国家的军援,目前,洪都集团的航空产品外贸收入已占企业全年销售总收入的四分之一,成为中航第二集团公司所属企业中名副其实的航空产品出口大户。近年来,以K8系列飞机为主的军品外贸已经成为洪都集团经济发展的主渠道。到目前为止,洪都集团公司累计已接到K8系列飞机订单626架,其中出口订单226架,完成出口交付K8系列飞机157架。凭借具有自主知识产权的飞机制造技术,飞机整机的出口又带动了一批大修、大部件合作生产线出口及科研开发项目的出口。这些中小外贸项目的开发和实施,既创造了一定的经… 相似文献
1