排序方式: 共有168条查询结果,搜索用时 15 毫秒
21.
22.
23.
24.
25.
26.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献
27.
28.
29.
各级领导干部是军队建设的中坚,其自觉力的强弱将直接影响到部队各项建设和工作落实的标准质量。因此。领导干部要把自觉力作为领导科学发展的重要能力来要求、来培养、来提高,带头自觉学习、自觉思考、自觉实践。 相似文献
30.
研究Boura等和Derbez分别提出的不可能差分分析时间复杂度计算公式,根据实际攻击过程优化密钥排除的步骤,给出不可能差分分析实际攻击的时间复杂度计算的改进公式,进而利用两个分组密码算法模型将改进后公式计算的实际结果分别与Boura等的公式和Derbez的公式的计算结果进行对比,结果表明Boura等的公式计算结果既可能高于优化公式的实际分析计算的结果,也可能低于优化公式的实际分析计算的结果,而在轮子密钥独立时改进后公式的实际计算结果是Derbez公式的计算结果的2-1.2倍。 相似文献