排序方式: 共有219条查询结果,搜索用时 15 毫秒
61.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献
62.
63.
64.
标准交互多模型(IMM)算法使用固定数目和时不变的模型集,往往不能兼顾算法的实时性与跟踪精度。基于增加期望模型(EMA)算法的思想,提出综合利用前一时刻的模型匹配概率与当前时刻的混合概率作为加权系数调整系统噪声模型集,调整后的模型集被认为非常接近系统实际噪声模型。将该模型集自适应技术与IMM算法结合得到一种变结构交互多模型(EMA-VIMM)算法。使用机动目标跟踪仿真实例,与标准IMM算法进行了仿真对比,分析了跟踪性能与RMSE误差。仿真结果表明,EMA-VIMM算法不仅极大地提高了跟踪精度,而且与标准IMM算法相比,具有稳定的跟踪性能和较低的计算量。 相似文献
65.
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。 相似文献
66.
67.
人工神经网络特征优化方法在模式识别中的应用 总被引:1,自引:0,他引:1
在模式识别中,特征量的选择及组合优化是设计模式识别系统的关键问题,它强烈地影响到分类器的设计及其性能。人工神经网络除了在模式识别中作为分类器应用之外,而且能够实现特征参数的提取。通过采用人工神经网络模型,对柴油机故障的特征量优化方法进行了研究,实现了对柴油机故障的特征提取及优化。 相似文献
68.
瞿志文 《中国人民武装警察部队学院学报》2009,25(5):28-30
中国维和警察特色理论是中国维和警察学科理论体系基本框架的重要组成部分。对中国维和警察特色理论的概念、主体、特征、范畴进行了探讨,以构建中国维和警察特色理论的基本框架,为中国维和警察学科理论体系研究奠定坚实基础。 相似文献
69.
瞿志文 《中国人民武装警察部队学院学报》2008,24(7):21-24
中国维和警察参与联合国维和行动已成为我国公安工作的重要内容,把中国维和警察理论作为中国警学的新兴学科,研究由联合国维和行动基本理论、中国维和警察特色理论、中国维和警察基础理论、中国维和警察专业理论、中国维和警察应用理论构建的中国维和警察学科理论体系基本框架,对我国维和警察工作的发展具有重要的促进作用。 相似文献
70.