排序方式: 共有1050条查询结果,搜索用时 15 毫秒
71.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
72.
针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模. 相似文献
73.
74.
简要介绍了跳频通信技术发展概况及其用到的关键技术,说明了锁相环的基本原理,介绍了组成部件的基本特点.然后从相位角度分析了锁相环环路模型,给出了相位传递函数;再分析环路带宽并推导了与其有关参数的关系式,从而推出加快频率锁定关键技术的原理.最后详细说明了实现快速跳频的原理,并以ADF4193芯片为例作,对环路带宽的设计做了说明,并给出了测试结果. 相似文献
75.
76.
分析了传统的武器装备保障方法对战时保障的不足,提出了基于作战能力的装备保障方法,阐明了该方法的主要思想.研究了通过建立任务-作战能力-装备及其功能结构之间的关联关系,识别装备保障需求的方法,并讨论了基于作战能力的装备保障中使用保障方案评价、维修保障方案评价、装备使用调配等重要问题.该方法的研究为一体化联合作战模式下装备保障研究工作建立了总的理论框架. 相似文献
77.
对国内外较为典型的指挥实体建模与仿真应用情况进行了介绍.对指挥实体建模与仿真的三个主要内容-任务规划、指挥控制和作战行动协同所采用的各关键技术手段和方法进行了较为深入的分析.指出了指挥实体建模与仿真在应用和技术手段上的发展趋势. 相似文献
78.
目标定位是雷达需要完成的主要功能之一,提出了机载探测时的地下目标定位方法-多点测量方法.在建立电磁信号从机载雷达到地下目标传播路径模型的基础上,该方法利用合成孔径技术中多点测量的特点,利用机载探地雷达在不同位置的回波时间,建立并求解包含目标信息的方程组,实现机载条件下探地雷达对地下目标的定位.同时得到了地层媒质的相对介电常数,为地层研究提供了有力条件. 相似文献
79.
80.