大型地下工程智能化系统总体技术方案研究

以复杂大系统通用集成模型及其开发策略为理论基础,研究了大型地下工程智能化系统分层递阶、多级分区的框架结构方案及其特征,在此方案指导下,提出了4层递阶式广义智能化体系结构,构建了地下工程智能化系统的硬件模型、软件模型、通信模型、数据资源组织模型等,从而给出了大型地下工程智能化系统的总体技术方案,阐述了系统集成的实现方法,为促进防护工程智能化、信息化建设提供了技术参考。     

合成孔径雷达成像及工程伪装发展趋势

介绍了星载、机载合成孔径雷达(SAR)成像的发展概况,系统分析了合成孔径雷达的成像特点:图像接近光学水平,低频SAR具有穿透簇叶和识别伪装功能,可大范围战场实时监视及工程目标自动识别等。结合工程伪装材料、技术、实践及谋略,提出了研制仿地物工程伪装材料及防SAR伪装网(布),开发口部伪装技术及防复合SAR探测伪装技术,长远规划、系统实践工程伪装,建立大伪装理论框架,加强伪装谋略研究等途径与方法,指出了工程伪装的发展趋势。     

仓储条件下弹药修理若干问题研究

本文对仓储条件下弹药修理决策、修理材料的选用与检验、修理质量控制与检验的现状进行了分析,对目前弹药修理中存在的问题提出了解决办法和基本设想。     

软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是;基于这里的思想,我们已经实现了一个用于开发Ada 软件的支持系统。实验表明:在该系统的支持下,开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。     

论表面工程及其发展

本文阐述了表面工程的内容、形成及其作用,并探讨了表面工程学科体系和今后的发展方向.     

战略防御系统软件的可靠性分析

战略防御是试图消除来自核弹道导弹的威胁．根据目前的软件技术和战略防御系统的特点,我们认为,其软件不可能达到预期目标．     

旋转稳定塑料弹体工程设计计算研究

本文以实验结果为依据,首先分析了塑料弹体影响弹丸膛内运动的物理性能,然后结合旋转弹丸的膛内运动特征,经过模拟试验,采用数学拟合法,初步建立旋转稳定弹塑料弹体工程设计计算的数学模型(包括结构尺寸设计计算、强度计算和内弹道计算)。     

A NEW STANDARD FOR PREEMPTIVE MILITARY ACTION AGAINST WMD THREATS

International law clearly requires an imminent threat of attack as a justification for the preemptive use of military force. However, the standard definition of an imminent threat was derived centuries before the development of nuclear, chemical, or biological weapons or ballistic missiles and other delivery systems that can reach their targets in a matter of minutes. Any use of force to alleviate threats posed by weapons of mass destruction (WMD) prior to tactical warning of the actual launch of such weapons falls into the legally and ethically controversial category of “anticipatory self-defense,” leaving decision makers potentially liable to prosecution for war crimes. Effective and ethical enforcement of nonproliferation therefore demands a standard for imminence of threat broad enough to allow military action as a last resort but sufficiently restrictive to prohibit indiscriminate action against suspected WMD programs. Following a critical review of selected literature and cases on preemption, the author proposes a new standard for preemptive military action: the existence of operational WMD, or a clandestine program to develop WMD, in contravention of international law. The author discusses the implications of this new proposed standard, which at the time of writing would permit preemptive attack against WMD-armed terrorist groups but prohibit it against all states except Iran and possibly North Korea.     

电渗透防水防潮技术的工程应用

地下工程防水防潮一直是工程界的难题,传统技术存在难根治、易反复的缺点。选择某一洞库进行电渗透技术工程试点研究:先详细介绍电渗透技术和施工工艺情况;再采用在工程内布置电极并施加脉冲电压的方法,利用电场力迫使水分向工程外岩体移动,达到降低工程内部湿度、防水防潮的目的。工程应用表明,电渗透防水防潮技术拥有效果明显、运行费用低等突出优点,具有推广前景。     

一种基于任务-系统结构的软件可靠性建模方法

针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。