试论高技术局部战争的后勤动员

后勤动员是战争动员的重要组成部分。是指国家和军队为适应战争需要,有计划、有组织地将动员对象由平时状态转入战时状态所进行的一系列活动。及时可靠的后勤动员能为战争提供源源不断的物质保障,是赢得战争胜利的重要条件。 1 高技术局部战争的主要特点及其对后     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.     

指挥仪故障诊断系统

主要叙述了指挥仪故障诊断系统的配置、基本功能、结构、知识表示、推理策略和人—机交互方式,并给出了系统执行流程图。     

我军后勤建设财力保障探讨

全面建设现代后勤离不开财力保障。加大后勤建设财力投入力度、科学组织财力投入配置、分类调控后勤投资需求、优化财力流量投向结构,是解决后勤建设中存在的财力规模偏弱、财力投入结构失衡、各战略方向财力配置不太合理、军兵种后勤占用财力比例不协调等问题的有效措施。     

软件可靠性数学仿真测试平台设计与研制

针对火控软件的特点和要求,研制出面向软件可靠性验证的数学仿真测试平台,并根据典型的火控程序,有效地完成了分析与测试工作.测试系统界面友好,测试结果达到设计要求.     

南明河畔兴武装——记贵州省贵阳市南明区区委书记夏钢

贵州省贵阳市南明区区委书记夏钢不仅在经济建设领域频频建树,而且坚持以抓国防建设为己任,忠实履行党管武装工作职责。有力地推进了全区武装工作的创新发展。前不久。他被贵州省表彰为“党管武装好书记”。     

舰船极低频电场的产生机理及其防护

舰船极低频电场由于能在海水中传播到很远的距离,而且很容易被探测到,已成为舰船的一个重要目标特性.螺旋桨转动调制舰船腐蚀电流和外加电流阴极保护系统在海水中产生的电流是舰船极低频电场的2个重要来源.质量较差的阴极保护系统(ICCP)中的电源滤波器也会导致极低频电场的产生.电磁场防护结构工艺、被动轴接地系统、主动轴接地系统和电场抵消系统是目前降低舰船极低频电场的主要方法.     

基于Web技术的固定资产管理系统的设计与实现

“基于Web技术管理信息系统”是将Web技术与数据库技术相结合,从而实现动态信息管理的系统。提出了“基于Web技术的固定资产管理系统”的解换方案,进行了系统分析,详述了系统的功能,并对关键技术的实现方法进行了论述。该系统对于提高固定资产管理正规化、现代化、科学化的管理水平有着重要意义。     

舰船毁伤仿真评估方法的现状及研究内容

针对舰船目标的毁伤仿真评估方法,总结了舰船毁伤评估方法国内外目前的研究方法及成果,提出了舰船毁伤仿真评估主要的研究内容,为相关舰船目标易损性评估研究工作提供参考.