排序方式: 共有161条查询结果,搜索用时 15 毫秒
1.
2.
3.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
4.
一颗真心,满腔真情便是爱兵的最好"钥匙"。这是范成光经常挂在嘴边的话。他有许多荣誉:优秀班长、优秀共产党员、优秀带兵人;他更有许多成绩:当兵13年,班里兵24人入党,15人立功受奖,8人考上军事院校。跟他谈起这些,他总是把话题岔开;若谈他手下的兵,他就会兴趣盎然,不仅可以详细地说出每一个兵的特点,也会担忧地告诉你个别战士的实际困难。他,就是战士心目中的"爱兵模范",领导和同事们心目中的爱兵人,武警8734部队76分队班长——范成光。 相似文献
5.
6.
7.
通过对国内外反舰导弹火控系统发展趋势的分析,提出了通用火控系统的发展需求,在此基础上介绍了通用火控系统所采用的垂直发射技术、商用流行技术以及模块化技术;同以前的火控系统相比,通用火控系统在功能和组成上更加完备,全分布式的体系结构适应了武器装备的更新换代和信息化战争对火控系统的要求;最后说明了通用火控系统的实现方法和步骤. 相似文献
8.
介绍一种基于微机的雷达PPI光栅扫描显示系统的设计与实现。研究了坐标快速转换、数据实时采集等关键技术,提出了优化查表法坐标转换方法以及回波数据的实时采集方案,很好满足了PPI光栅扫描显示系统中高速率、低存储量以及实时性的要求。研究成果已成功应用于某型号雷达PPI显示系统中。 相似文献
9.
我在北国的军营里朝着家乡的方向遥望,那里是父亲生活了一辈子,想走却没能走出来的地方。如今,父亲已永远安眠于故乡的黄土之中,但那些令我痛彻心脾的回忆却时时撕扯着我的心,让我愧疚、痛苦万分。最让我不能释怀的是父亲在最后时光里还费力伸出的3个手指,那仅仅代表着他最引以为荣的三儿子吗? 相似文献
10.