Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

装备研制需求与计划滚动方式研究

本文对武器装备研制计划的制订过程进行了分析,针对计划制订问题的特点．提出了用理论需求和实际需求曲线的方式将项目研制的需求与计划制订的约束联系起来,在此基础上对五年计划的滚动作了详细的分析,并给出了五年和年度计划经费滚动的程序算法。     

增强人防建设的改革意识

适应社会主义市场经济体制变革,着眼军事斗争准备需要,进一步转变观念,深化人民防空事业的改革,是新时期人民防空发展的客观要求。由于受长期计划经济和和平环境的影响,传统的人防建设观念根深蒂固,已影响和制约人防建设的深入发展,因此,加快人防事业发展,必须牢固树立改革意识,敢于摆脱传统观念的束缚,把思想转到为打赢高技术战争服务上来,转到为社会主     

法治思维在党内法规制度体系中的应用与意义

作为党的建设伟大工程的重要内容,党内法规制度体系的完善需要通过法治思维来增强其适应、形成科学体系和衔接法律。具体来说,党内法规制度体系应用宪法思维明确党章的核心地位,应用法律部门思维实现横向板块划分,应用效力位阶思维实现纵向梯度结构,应用德法并治思维实现以刚性和柔性调整方式的并举。以此为基础,必须通过坚持法治思维以实现党内法规制度体系的不断完善。     

同步电机卦限识别技术及轴角数字转换器设计

根据同步电机工作原理提出了一种新的同步电机卦限划分及轴角识别技术,并据此技术,完成了同步电机轴角-数字转换器设计.     

C4ISR系统需求工程中作战过程描述方法

对于建设C4ISR系统来说,系统需求工程的出发点之一应该是基于对作战的描述.同时对目前作战过程进行描述的若干方法进行分析对比,结合实际情况对作战过程描述进行讨论并给出新的切入点,最后给出一个简单的描述示例.     

军品价格论

在市场经济条件下,合理的军品价格水平是平衡国防经济供求、优化国防经济结构的重要因素。政府对军品价格进行控制的途径通常是对最高利润率的限定;价格限制可能导致军品市场的萎缩。中国军品价格改革应采取渐进方式,分步骤、有重点地进行;应加速军品市场主体的培育、开放军品市场、逐步放开军品价格,以建立新型的军品价格体制。     

关于军队工资制度改革的探讨

军队现行工资制度难以适应我国经济体制市场化程度日益提高的现实国情,存在着较大的缺陷。因此,必须深化军队工资制度改革,进行机制转换,建立和健全工资结构均衡机制、正常的增资机制、工资收入的社会均衡比较机制、正常的物价补偿机制和军人工资决策机制,从而建立起适应社会主义市场经济新体制要求的具有我军特色的工资制度。     

装备建设财力需求的实证研究

装备建设的目的是增强军队履行使命任务的能力,以应对多种安全威胁,因而装备需求应该是国家安全需求的映射。对1988年～2008年间我国装备建设财力需求与国家安全需求的关系的协整检验表明,我国尚未形成由国家安全需求向装备需求有效转化的需求生成机制。     

C4ISR需求开发新途径：基于本体建模

针对C4ISR需求客观上复杂且特殊、主观上难沟通等特点导致C4ISR需求开发难的问题,研究C4ISR需求本体,提出开发C4ISR需求的一条新途径:基于本体建模。首先,构建C4ISR需求本体元模型、语义模型,很大程度上澄清了C4ISR需求领域知识结构;然后,提出基于本体建立C4ISR需求模型的具体步骤;最后,示例说明方法的可行性、有效性,展示了方法的应用前景。