排序方式： 共有1052条查询结果，搜索用时 15 毫秒
11.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
12.
设计了一种适用于某微小型固体火箭发动机的点火器 ,对某微小型固体火箭发动机的点火特性进行了大量试验研究 ,引入了初始点火压强的概念 ,找出了影响点火延迟时间散布的主要规律 ,确定了能满足微小型固体火箭发动机点火性能的点火方案 相似文献
13.
将灰色系统推广到概率统计理论 ,阐述了灰色概率公理化体系 ,研究了灰色概率密度函数与灰色可靠度计算方法 ,建立了应力—强度干涉灰色可靠度计算模型及其白化求解方法 ,编制了matlab5 3语言程序。给出了工程应用实例 ,并对结果与常规可靠性设计进行了对比分析 ,显示了本模型的正确性与可行性。它可用于设计参数变动对可靠度的灵敏度分析及其稳健性可靠性设计 ,有效地控制设计参数 相似文献
14.
从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其\"链接切片\"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。 相似文献
15.
揭示了洗钱与腐败之间的内在联系 ,剖析了腐败分子通过洗钱来逃避法律制裁的社会现象 ,提出了应将控制洗钱作为我国反腐败的新措施和手段的观点 ,并就如何建立和完善控制洗钱的法律体系提出了若干建议。 相似文献
16.
为了提高IETM数据查询的准确率,通过对数据模块编码层与XML内容层进行分析,结合N层向量空间模型查询算法,从IETM数据模块编码层中的型号识别码、系统层次码、信息码以及数据模块内部数据信息入手,提出了一种基于N层向量空间模型的装备IETM数据查询算法,并通过IETM实例验证了该算法的正确性与实用性。 相似文献
17.
针对传统"停-跳"假设对高动态脉冲雷达测速的局限性,提出了一种最小熵准则下的高动态目标回波相位补偿方法。在最小熵准则下,通过建立多项式的相位滤波器,实现回波信号相位高阶系数的估计,再对积累周期内的信号进行相位补偿,补偿后的信号频谱熵最小,此时再利用FFT可以得到高精度径向速度估计。实测验证表明,该算法可以有效地估计和修正回波相位高次项,提高回波积累时长,补偿后的径向速度估计均方根误差明显降低,算法估计的径向速度均方根误差优于0.04m/s,有效提高了脉冲雷达测速精度。 相似文献
18.
由于电磁波在穿越不同介质时会出现折射现象,因此在地下目标成像过程中,电磁波信号穿越从雷达到地下目标的组合通道的路径不是直线而是折线,此时利用常规的自由空间中的合成孔径成像方法已经不能对目标进行成像。基于电磁波的传播规律和地层有耗媒质的特性,提出了电磁波传输的组合通道模型,并将其应用到地下目标成像中。通过仿真比较可以看出,使用组合通道模型对地下目标成像效果有明显的改善,组合通道模型适用于对分层土壤中的地下目标成像。 相似文献
19.
双离合器自动变速系统动力学建模及仿真研究 总被引：9，自引：1，他引：9
郭晓林 《装甲兵工程学院学报》2006,20(1):48-51,54
在分析双离合器自动变速器的典型结构及工作原理的基础上,利用面向对象的图形化系统仿真分析软件EASY5,建立了典型湿式双离合器动力换挡的自动变速器及其控制系统的动力学模型,并与采用传统的手动变速系统的车辆对比, 进行了加速性能的仿真分析,研究了车辆换挡过渡过程中影响换挡品质的主要因素及其改进措施。为这种新型的自动变速器在我国的推广和应用研究提供了一些基本的理论依据。 相似文献
20.