类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

计算机软件开发标准化工作——在型号研制中的应用

概述软件研制标准化的必要性,并结合“发动机应用软件集成环境”的研究探讨软件开发标准化工作的方法、特点和体会。     

军队领导干部经济责任审计程序规范研究

领导干部经济责任审计的政策性强,情况复杂,需要有规范的操作性强的审计程序。通过探索,本文在实践的基础上提出了审计程序规范“20步”。     

GJB 1854—93 《军械装备型号规范编写要求》介绍

GJB 1854—93《军械装备型号规范编写要求》(以下简称《标准》)发布后,对军械产品制造与验收规范的编写,起了重要的指导作用。但在贯彻执行该标准的深度和广度方面,仍存在一些问题。本文介绍和分析《标准》制定的意义、构成和内容要求等,以期对《标准》的宣贯、实施有所裨益。     

复自治微分系统(E)的奇点量计算公式

文献[1]对(E)引入奇点量和 Lie 不变量概念,实现了实自治微分系统焦点量和鞍点量概念的统一,并得到奇点量的结构定理。文献[1]还对三次系统(E_3)找到了全部120个基本 Lie 不变量并具体计算了二次系统(E_2)和缺二次项的三次系统(E_3~((3)))的奇点量。文献[2]还计算了一类特殊三次系统(4)的奇点量。但是,对于计算(E_3)的奇点量的工作,仍有很大困难,甚至前几个奇点量也得不到,况且对(E)找到全部基本Lie 不变量亦非常困难。本文利用规范形理论讨论(E)的奇点量的计算问题,得到了计算公式。该公式对一些特殊系统可直接得到前几个奇点量。作为公式的应用及验证,我们给出(E_3)的前两个奇点量,至于 M(3)=?的问题将另文讨论。     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

二00八年全军学生军训工作要点

二○○八年的全军学生军训工作,要以党的十七大精神为指导,深入贯彻落实科学发展观,认真落实<学生军事训练工作规定>,紧紧围绕国家人才培养战略和国防后备力量建设需要,加强统筹协调,加大指导力度,规范工作秩序,着力在建设高素质派遣军官队伍、提高军事课教学质量、加强学生军训工作理论研究等方面下功夫,进一步推动学生军训工作创新发展.     

依法规范促进“刚性”落实——山东省潍坊军分区加强民兵预备役基层规范化建设带来的启示

乡（镇、街道）、企事业单位武装部和民兵预备役连（营）,是民兵预备役部队的基层,是国防后备力量的基石。近年来,山东省潍坊军分区适应地方依法行政、部队依法治军形势要求,着眼夯实战斗力生成基础,坚持以依法规范为突破口,积极探索推进基层规范化建设的方法路子,有效促进了民兵预备役部队全面建设。今年6月,该军分区在济南军区民兵预备役部队基层建设会议上作了经验介绍。透过成绩的背后,我们看到诸多启示。     

着眼安全发展 强化规范管理——重庆预师二团抓好安全稳定工作的做法

近年来,重庆预师二团着眼安全发展,强化规范管理,推进了团队建设稳步发展。组建8年来,没有发生任何责任事故和刑事案件,先后受到总政、成都军区和警备区表彰。一、坚持抓思想教育,筑牢安全思想基础。一是强化责任。坚持学习领会各级安全稳定工作会议精神和首长重要讲话,切实树牢安全发展理念,不断增强抓好安全稳定工作的忧患意识和责任意识。二是熟知法规。反复学习军队的条令条例和各种法规制度,组织官兵对照法规制度找差距,养成依法办事、照章行事的好习惯。三是启发     

某弹药通用规范军用标准编写的研究

本文重点针对某弹药通用规范国家军用标准（以下简称标准）的论证和编制问题做了一些探讨。