一种结构化的编译型 PROLOG数据库及其管理策略

PROLOG数据库存放着构成PROLOG程序的子句以及表示成子句的全局数据,它的组织与管理是实用PROLOG系统的关键,这一点在提高执行效率的编译型PROLOG系统中尤为如此。本文以YH-SIM——一个扩充了的WAM模型为基础,提出一种新颖的编译型PROLOG数据库结构形式,其中·过程中的子句索引与子句彼此分离; ·子句索引块分成多个专门的子索引块; ·一个子句按两种形式存放,子句代码和子句项(源子句形式)。二者分离且共享同一索引,因此代码库和项库的管理是一体化的。这些结构化的特征,有力地支持PROLOG数据库的操作及管理(子句的插入删除,以及空间分配与回收)。文中还介绍了一种简明有效的管理方法。     

88B坦克分队与M60A3坦克分队随机火力对抗

以 8 8 B坦克分队进攻防御阵地之 M6 0 A3坦克分队为立足点 ,建立双方随机对抗时的兰彻斯特平方律模型 ,结合战场实际 ,得出 88B坦克分队取得最大作战效能时的最佳兵力比 ,及其运用火力的几点结论。     

基于MAS的末端防御网络化作战系统指控网

在简要介绍末端防御防空导弹网络化作战系统的基础上,分析了其指控网的结构和功能,并利用多智能体系统中的BD I模型对指控网的单个智能体进行描述,并重点研究了基于BD I结构的智能体的环境感知模型、作战意图模型、决策模型和通讯行为。     

国外先进战斗机电子对抗系统的发展

首先介绍国外F-22和F-35为代表的先进战斗机的电子战系统和其他欧洲先进战斗机的电子战系统等发展情况。对未来战斗机电子战系统的综合特点和基本功能进行了比较详细的分析和描述,最后叙述了未来战斗机的航空电子系统将设计成为一体化共平台,电子战系统与一体化的航空电子系统融合成为一个功能系统,并描述了这种先进的电子战系统的作战能力。     

Markovian approximation for manufacturing systems of unreliable machines in tandem

This paper studies production planning of manufacturing systems of unreliable machines in tandem. The manufacturing system considered here produces one type of product. The demand is assumed to be a Poisson process and the processing time for one unit of product in each machine is exponentially distributed. A broken machine is subject to a sequence of repairing processes. The up time and the repairing time in each phase are assumed to be exponentially distributed. We study the manufacturing system by considering each machine as an individual system with stochastic supply and demand. The Markov Modulated Poisson Process (MMPP) is applied to model the process of supply. Numerical examples are given to demonstrate the accuracy of the proposed method. We employ (s, S) policy as production control. Fast algorithms are presented to solve the average running costs of the machine system for a given (s, S) policy and hence the approximated optimal (s, S) policy. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48: 65–78, 2001     

舰载烟幕弹的最佳使用时机

针对激光制导反舰导弹的作战使用过程 ,依据侦察探测的倒立方律及对导弹的捕捉概率 ,探讨舰载烟幕弹的最佳使用时机问题 ,指出应充分利用舰艇 C3I系统的综合信息 ,由舰指挥员负责实施     

使用与维修工作分析与保障资源需求确定

详细描述了使用与维修工作分析、保障设备需求确定、备品备件需求确定、技术资料内容确定、人员与技术等级需求确定的主要内容及使用与维修工作分析与保障资源需求确定之间的关系,为在研制阶段确定出保障资源提供一种科学而适用的方法.     

关于装备使用阶段质量问题的探讨

在装备使用阶段部队活动的目的是为了充分发挥、保持、恢复和改善装备的综合保障性能,减少保障人力和费用、缩短保障时间,以满足作战和任务的要求.这些性能、费用和时间的要求正是装备质量的特性.质量要求在论证阶段提出,质量特性在设计和生产制造过程中形成,在使用过程中得到表现.装备质量的表现是使用方对装备质量的最终要求.可以考虑采用全面质量管理的方法,结合部队管理特点,进行使用质量管理.     

蒙特卡洛优化法在机组组合问题中的应用

机组组合(UC)是电力系统经济运行的重要内容之一。根据UC约束特点将机组组合问题分解为单机多时段和多机单时段问题。基于蒙特卡洛(MC)优化法原理,解决单机多时段的启停问题及最后过滤比较找出最优可行解;利用运行费用可导性,解决了爬坡约束并得出多机单时段下的最优解。最后在Madab 6.1下通过算例验证了该方法的可行性。     

基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法。该方法针对中间代码膨胀所呈现的几种典型情景,描述了中间表示替换规则,并将以往应用在后端代码优化上的寄存器直接映射策略应用在此处。通过建立映射公式,实现了将原来的内存虚拟操作替换为本地寄存器操作,从而降低了中间代码膨胀率。使用SPEC CPU2006测试集进行了实验,验证了此优化方法的正确性和有效性。测试用例在优化前和优化后的执行结果一致,验证了优化方法的正确性;优化后测试用例的中间代码平均缩减率达到32.59%,验证了优化方法的有效性。