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

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

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

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

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

领导干部经济责任审计的政策性强,情况复杂,需要有规范的操作性强的审计程序。通过探索,本文在实践的基础上提出了审计程序规范“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)=?的问题将另文讨论。     

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

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

链约束下加工时间恶化的Flow Shop排序问题

讨论作业具有线性加工时间,作业间具有链约束的两台处理机流水作业排序问题,目标函数为极小化完工时间。在作业加工时间简单线性恶化下,提出作业的非负开始和停止延迟恶化率,构造了满足约束条件的复合作业。在此基础上,给出作业间具有平行链约束的两台处理机流水作业排序问题的最优多项式算法。     

卫星任务调度问题的约束规划模型

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。     

借鉴X效率理论加强国防人力资源管理

军队作为国防人力资源管理的垄断性组织同样存在X低效率。通常,X低效率水平等于军队最大的战斗力生成水平与实际战斗力生成水平之差。导致X低效率的原因有:传统的人事管理制度、国防人力资源的选择理性、劳动合同的不完全性和激励约束机制不健全。降低X低效率必须树立以人为本的管理思想,创新国防人力资源管理体制,完善激励约束机制,营造和谐的军营环境。     

锥台嵌挤预应力约束混凝土抗冲击性能研究

钢管混凝土具有优良的抗冲击性能,为提高钢管在弹性阶段对混凝土的约束作用,设计并制备了锥台嵌挤预应力约束混凝土,以实现钢管对混凝土的主动围压约束。采用6 m高度落锤冲击试验,对比了预应力约束混凝土、素混凝土和常规钢环约束混凝土的破坏模式,分析了主要参数的影响。结果表明,当预应力约束混凝土试件的平均预应力大于1 MPa时,其产生初始可见裂缝时的冲击能量是素混凝土和钢环约束混凝土的4～20倍;其破坏时的冲击能量远高于素混凝土和钢环约束混凝土,甚至超过40倍;相比钢环约束混凝土,预应力约束混凝土破坏时裂缝更细,整体性更好,且可以更为显著的提高高强混凝土的抗冲击性能。为有效提高预应力约束混凝土的抗冲击性能,钢环的锥面倾角不宜大于3°,采用正六角形钢环要优于圆形和正四角形钢环。提出的锥台嵌挤预应力约束形式可以用于提高钢管混凝土的抗冲击能力,也可应用于防护门面层或遮弹层等结构中。