排序方式: 共有213条查询结果,搜索用时 15 毫秒
81.
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。 相似文献
82.
83.
人工神经网络特征优化方法在模式识别中的应用 总被引:1,自引:0,他引:1
在模式识别中,特征量的选择及组合优化是设计模式识别系统的关键问题,它强烈地影响到分类器的设计及其性能。人工神经网络除了在模式识别中作为分类器应用之外,而且能够实现特征参数的提取。通过采用人工神经网络模型,对柴油机故障的特征量优化方法进行了研究,实现了对柴油机故障的特征提取及优化。 相似文献
84.
瞿志文 《中国人民武装警察部队学院学报》2009,25(5):28-30
中国维和警察特色理论是中国维和警察学科理论体系基本框架的重要组成部分。对中国维和警察特色理论的概念、主体、特征、范畴进行了探讨,以构建中国维和警察特色理论的基本框架,为中国维和警察学科理论体系研究奠定坚实基础。 相似文献
85.
瞿志文 《中国人民武装警察部队学院学报》2008,24(7):21-24
中国维和警察参与联合国维和行动已成为我国公安工作的重要内容,把中国维和警察理论作为中国警学的新兴学科,研究由联合国维和行动基本理论、中国维和警察特色理论、中国维和警察基础理论、中国维和警察专业理论、中国维和警察应用理论构建的中国维和警察学科理论体系基本框架,对我国维和警察工作的发展具有重要的促进作用。 相似文献
86.
87.
88.
为实现对军用电路板的有效测试,针对其小批量和多品种的特点,设计了相应的测试策略。采用了虚拟仪器技术与边界扫描测试技术,构建了基于PXI测试总线的电路板通用测试系统,实现了对电路板的功能测试与结构性测试。该系统可以检测各种类型电路板,对于提高故障定位精度和减少产品的测试时间起重要作用,较好地满足了电路板生产测试和维护测试需求。 相似文献
89.
根据信息战的内容和特点,分析了信息因素和兵力因素在信息战过程中相互作用的关系,结合系统动力学理论,建立了信息战系统动力学模型;并结合仿真实例对信息战的相关因素进行了定量与定性相结合的分析,说明了制信息权在信息战中的决定性作用,为信息战研究提供了理论参考. 相似文献
90.