基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。     

一种基于移动基站的无线传感器网络数据收集方法

针对传统的无线传感器网络数据收集协议大多受制于发生在基站周围的热点问题,提出了一种使用移动基站的数据收集方法.将数据收集问题转化为支配集构造和旅行商问题,并提出了一种分布式的支配集构建算法,结合旅行商问题的近似算法生成基站的移动路线.仿真结果表明,所提出的方法减少了通信消耗,且能使负载均衡地分布.     

初距为自适应参量的纯方位最小二乘TMA模型

针对纯方位目标运动分析(TMA)中距离平差法需要人工修订初始距离的限制,建立以初距为参量的最小二乘纯方位目标运动分析(TMA)模型,提出一种自适应确定初始距离的方法,放宽对人工修订初始距离的限制.通过数值仿真,结果表明该方法的有效性,且在收敛时间和解算精度指标上较传统纯方位最小二乘纯方位目标云动分析(TMA)有明显改善.     

防空导弹对目标拦截的模糊二元对比排序

确定对空袭兵器的拦截次序是防空导弹火力分配的重要内容.定性分析和定量计算相结合,利用模糊数学中的模糊二元对比排序法确定防空导弹对多个目标拦截的优先次序,先对模型进行描述,给出模糊相似关系矩阵及相应的计算方法,再以4种空袭兵器为作战对象,运用模型进行计算,得出直观的目标拦截排序结果,变模糊的、复杂的问题为直观的结论.为指挥员科学分配防空火力,最大限度地发挥防空导弹的制空效能奠定基础.     

论消防基层部队依法执勤理论创新与实践

依法执勤是指公安消防部队依照消防法律、法规等规定所实施的行政行为和公安消防勤务活动。以对湖南消防总队基层部队的依法执勤理论创新与实践进行的专题调研为基础,介绍了他们在此问题上的探索与实践及取得的成绩,分析探讨了开展依法执勤工作面临的问题,并提出开展依法执勤工作的建议。     

军人伤亡保险存在的问题探析

军人伤亡保险作为军人保险制度的重要组成部分,其经济补偿功能已经被广大官兵逐渐认可。但作为分散军人职业风险的特定机制,其作用并未被充分开发出来,主要表现在较低的补偿水平等方面。因此,应充分借鉴国内外的相关经验,扬长避短,以充分发挥军人伤亡保险的作用。     

我国可再生能源的消防安全对策研究

可再生能源的开发和利用是保证我国整个能源战略顺利实施的必要条件之一。为确保国家能源战略调整战略顺利实施,以沼气为例研究可再生能源工程中存在的消防隐患,并据此提出增强沼气安全防范意识,增强沼气安全使用意识,提高沼气安全工程消防技术水平和健全沼气安全防范体系等对策。     

谈自给式呼吸器的选用

论述了自给式呼吸器在灾害事故抢险救援中的重要性,分析了三种自给式呼吸器的使用特点和使用注意事项,介绍了三种常用的自给式呼吸器防护时间的确定方法,以及在实际救援作业中合理选用呼吸器应考虑的事项。     

民航飞机火灾预防及扑救对策

详细介绍了民用航空飞机火灾的特点和事故类型,提出了飞机火灾的预防措施和抢险救援方法,针对飞机滑行中、飞行中和地面停放三个方面论述了火灾扑救对策。