C~3I系统中软件的程序设计方法问题

软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。     

常温原位发蓝研究

依据表面氧化及化学镀的科学理论,研究了常温原位发蓝剂及原位发蓝１艺,适用于钢铁件、铸铁件发蓝。尤其是采用电化学方法进行耐蚀性能评定,其综合性能达到传统高温发蓝技术指标,适用于各种类型钢铁件的表面处理。     

谈《林教头风雪山神庙》中关于“风雪”、“酒”、“火”的描写

<正>《林教头风雪山神庙》(见高中语文第四册)的“风雪”描写向来为人称道,其中关于“酒”的细节描写,却为人所忽视;至于“火”的描写,论者虽不少,但也只是在分析情节时一笔带过.笔者认为,“酒”、“火”同“风雪”一样,都是施耐庵苦心经营且独具匠心的象征物.本文试略作分析,以祈向同行请教.     

关于内燃机原理若干问题的分析

本文分析了柴油机的最大扭矩、扭矩储备系数、喷油系统喷油量与柱塞几何供油量的差异和变化规律,认为这3个参数的现行定义不尽合理,并给出了新的定义。     

定性测量与定量测量火炸药静电感度的对比分析

采用先进测试系统,对氮化铅、硝化棉、梯恩梯和黑索金火炸药静电感度分别进行了定性测量和定量测量,得出了相对静电感度值和实际静电感度值,并对其进行了对比分析。     

一种简捷实用的汉明码法

介绍一种快速、简捷的汉明码法。该法减少了传统汉明码的设计复杂性和工作量,并缩短了校验时间;特别是对突发性错误有很强的检错、纠错能力。它适用于军工装备有关数字快速反应系统。     

论世界军事对国际格局的影响

本文论述了世界军事在国际格局形成、发展、演变过程中的作用。军事实力是影响国际格局的重要因素,各国军事实力的变化,促使世界向多极化迈进;局部战争对国际格局具有直接作用,朝鲜、越南、阿富汗及海湾战争的爆发、进程与结果,影响着国际格局的发展;各国军事战略的对抗性和相溶性,亦同样对国际格局有重要影响。     

导弹引信空中目标建模及自适应炸点控制

通过分析空中弹目交会条件下的几何关系,建立了最佳炸点数学模型。采用以单片机为中心的信号处理电路,完成了模型的功能,实现了炸点精确控制。同时还提出了引信与制导共享数据,实现了引信与制导的一体化设计     

石化企业地震火灾预防对策的研究

地震是引发石化企业火灾的重要潜在罪魁,且多造成惨重损失,鉴于罕见研究,本文着意对石化企业地震火灾的产生、特点及预防和初期火灾扑救对策作以探讨,以望减少该类火灾危害。     

舰船航行监控变量的微机产生方法研究

通过建立舰船航行监控变量的数学模型,提出了一种基于微机的产生舰船航行监控变量的实现方法,经过实际运用表明,能有效地监视和实时控制舰船航行．