排序方式: 共有212条查询结果,搜索用时 31 毫秒
51.
52.
53.
54.
55.
56.
通过对舰载导弹垂直发射系统中贮运发射箱内环境监控、导弹综合测试、发射过程控制、射击参数装定以及应急状态自动处理等需求分析,提出建立综合测控系统方案,并探讨了以LONworks总线为核心的综合测控系统基本结构、组成和功用. 相似文献
57.
58.
组播技术的应用可以有效提高RTI的实现性能。介绍了组播分配的一般理论和实现方案,详细展示了KD RTI中的组播分配策略,讨论了组播应用过程中出现的问题,同时给出了解决方法。 相似文献
60.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献