知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。     

并行面向对象数据库中的数据放置

针对并行面向对象数据库的特点,结合异步并行查询执行策略,提出了一种基于对象类的混合式数据放置策略,它包括两个部分:混合式数据划分策略和基于对象类的数据分配策略     

做实效工作

为进一步增强党员意识,农十四师党委给全体党员配发了党徽,让党员亮身份,接受群众监督。党员通过“五对照、五查摆”达到了“五改进”,在工作中开展了“比、学、赶、帮、超”的活动,充分发挥了党员先锋模范作用,促进了各项工作的顺利开展。师机关党工委还开展了“永葆党员先进性,我为党旗添光彩”的演讲比赛,使机关全体党员又一次受到了党性教育。     

论军队行政消耗性支出管理的技术方法

技术方法创新是军队行政消耗性支出科学管理的根本推动力。技术方法创新关键在于创新标准化技术方法,以实现经费供应与经费支出标准化;创新信息化技术方法,以建立军队“可视财务”信息网络系统、“全资产可视系统”和电子货币管理智能化系统;创新效益评估技术方法,以构建支出效益评估指标和评估模型。     

印度核弹头已近百枚——美专家认为印度还将生产更多核弹头及运载工具

2012年7月,美国科学家联合会核信息计划主任汉斯·M·克里斯滕森和核政策高级研究员罗伯特·St诺里斯在美国《原子科学家公报》网站上发表了题为《印度核力量,2012》（Indian Nuclear Force,2012）的报告。报告对迄今为止印度核发展的总体情况及印军陆基、海基和空基核力量进行了总结和梳理。     

积极探索实践基于信息系统集成训练

为加快转变战斗力生成模式,快速推进军事训练转变,近年来,上海某陆军预备役高射炮兵师运用"侦察、指控、火控"信息化集成系统,积极探索实践基于信息系统集成训练方法路子,一是基础训练抓精准.     

浅论军队思想政治工作中的“以人为本”

军队思想政治工作肩负着用党的创新理论武装官兵思想,保证部队建设正确方向的重大责任。当前,官兵思想活动的独立性、选择性、多变性、差异性也明显增强,给军队思想政治工作提出了许多新的挑战。坚持"以人为本"原则和方向,不仅是对时代主题的积极回应,是社会发展的客观要求,也是迎接挑战,确保我军思想政治工作原则创新发展的必由之路。     

山西省某预备役师 多形式扎实开展国防宣传教育

山西省某预备役师驻守三晋,他们充分利用部队点多、线长、面广、预备役官兵寓兵于民的特点,以《国防法》和《国防教育法》为依据,认真贯彻落实上级关于加强新时期国防建设的一系列指示精神,紧密结合预备役部队建设实际,积极开展国防教育,较好地增强了预备役官兵和驻区广大人民群众的国防观念,有力地推动了部队的全面建设。这个预备役师党委始终坚持把国防教育工作列入议事日程,做到安排工作     

乌克兰危机会否引发核军备竞赛？

在东欧国家中,捷克有意愿更多地介入欧洲的核行动,波兰的F-16在改造后也可携带核武器。俄罗斯核问题专家帕维尔·波德维奇也指出．中东欧国家一直以来都对北约承诺的可信度表示质疑．“因此他们现在试图同美国建立更为直接的联系,以此希望美国能将更多军事存在部署到这些国家。     

战术协同下的防空武器作战效能评估模型研究北大核心

针对合理运用战术手段使武器系统作战效能最大化这一问题,在任务背景下以拟定的战术方案的绝对效能值为最终评价指标,以单装固有效能为基础,构建装备作战效能评估模型,实现了对不同战术方案下防空武器系统作战效能定量评估。比较评估结果选出了最优方案,为指挥员提供辅助决策支持,并通过实例计算验证了效能评估模型的适用性。