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

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

常温原位发蓝研究

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

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

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

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

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

坦克射击模拟器视景三维数学模型的建立

针对研制坦克射击模拟器的要求,利用三维图形技术,建立起了一套三维数学模型,并在该模型基础上提出一种快速纹理生成算法,克服了传统纹理映射方法耗时多的缺点,在微机上达到实时生成,从而能模拟坦克前进动态效果,使得模拟逼真度得以提高.     

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

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

一种简捷实用的汉明码法

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

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

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

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

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

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

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