星球大战武器

美国关于星球大战的每一项设想都以苏联的核攻击为出发点。苏联弹头从西伯利亚发射井射出,到达美国北达科他州义勇兵导弹发射井的上空或白宫上空爆炸,飞行时间大约为三十分钟。这段时间可以分为四个阶段:①助推阶段。例如 SS—18导弹,火箭发动机将其推起,通过大气层,进入太     

关于建立军人社会保险制度的思考(上)

所谓军人社会保险,是国家通过立法的形式,筹集社会保险基金,对军人因年老、疾病、伤残、病故、牺牲以及退役安置等因素所导致的损失,给予军人及其家属经济补偿的一种社会保障制度。其实质是国家有目的地通过再分配的形式,对军人履行特殊职业、承担特殊义务进行权益保护的一种经济补偿。其内容主要包括人身伤亡保险、医疗保险、养老     

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

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

面向验证的启发技术设计

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

胡书记抓武装工作有板有眼

重庆市江北区委书记胡超同志兼任区人武部党委第一书记以来,始终把武装工作列入议事日程,不当挂名书记。工作再忙,时间再紧,也不忘抓民兵预备役工作和国防后备力量建设,受到了人武部全体同志的一致推崇。 人武部去年4月归建后,虽然搬进了新的办公楼,但办公桌椅仍然很陈旧。胡书记得知后,及时协调有关部门,拨款5万元更新了办公桌椅,使人武部面貌焕然     

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

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

不当挂名书记

重庆市江北区委书记胡超同志兼任区人武部党委第一书记以来,始终把武装工作列入议事日程,不当挂名书记,工作再忙,时间再紧,从不忘抓民兵、预备役工作和国防后备力量建设;经费和人事安排再困难,也要优先保障人武部的需要。当他得知人武部办公设施陈旧,不能适应军队正规化建设的要求时,及时协调有关部门,拨款5万元予以更新。在转业干     

基层主官“以副顶正”利弊谈

基层主官“以副顶正”利弊谈谢建平由于多种原因,基层营、连主官“以副顶正”的多了起来。据某大单位提供的资料,在５０００多名营连主官中,“以副顶正”的有９００多名,约占现有数的１７．３％。其中营长、教导员１００多名,约占１１．６％;连长、指导员７００多名...     

指挥仪故障诊断系统

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

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

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