判决元理论及其在武器分配中的应用

介绍了判决元理论的基本内容〔１〕,并将此理论用于解火控领域的武器分配问题（ＷｅａｐｏｎＡｓｓｉｇｎｍｅｎｔＰｒｏｂｌｅｍ,简称ＷＡＰ）,从而提出一种新的分配算法。通过２２个战例的仿真,结果表明,本算法收敛速度快,而且能收敛于理想的稳定状态。因此,在大规模的海战系统和高性能防空系统中,这种算法有着十分广阔的应用前景。     

可分椭圆型偏微分方程的 FACR(L)算法及其并行实现

文中就解Dirichlet 边界条件的Poisson 方程给出了FACR(L)算法及其并行实现过程,讨论了FACR(L)算法的计算复杂性,给出了针对向量机YH—1的算法的参数L 的优选公式,在YH—1机上得到了较为理想的,数值试验结果。     

1,4 -二乙炔苯与1,4-丁炔二醇的共聚及表征研究

本文以(Ph_3P)_2 PdCl_2为催化剂,用各种比例的对二乙炔苯(DEB)与1,4-丁炔二醇(BD)合成出共聚物及两种单体的均聚物。共聚物为褐黑色,不溶不熔。单体配比中DEB比例越高,共聚物交联度和比重越大,产率越高,溶胀度越小。单体摩尔比DEB/BD≥1/2时,共聚物最良溶剂为苯,溶度参数(δP)为9.15卡~(0.5)·cm~(-1.5),而DEB/BD=1/5时,共聚物最良溶剂为无水乙醇,8p=12.7卡~(0.5)·cm~(-1.5).对均聚物及共聚物做了红外光谱表征并讨论了聚合反应机理。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

A heuristic for maximizing the number of on‐time jobs on two uniform parallel machines

We consider the problem of maximizing the number of on‐time jobs on two uniform parallel machines. We show that a straightforward extension of an algorithm developed for the simpler two identical parallel machines problem yields a heuristic with a worst‐case ratio bound of at least . We then show that the infusion of a “look ahead” feature into the aforementioned algorithm results in a heuristic with the tight worst‐case ratio bound of , which, to our knowledge, is the tightest worst‐case ratio bound available for the problem. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

双基地中两坐标收站的三维定位跟踪算法

文中讨论了Ｔ／Ｒ—Ｒ型双基地系统中无俯仰信息收站对运动目标的三维定位跟踪能力;通过若干观测点上测量数据的组合,较好地实现厂对运动目标的三维定位跟踪,从而可以将目标的高度信息从变化的距离和之差的测最值中提取出来。文中以仿真手段证明了这种方法的可行性。     

一种顺序PROLOG机系统结构的研究

文中概述顺序执行PROLOG程序的计算机的一种系统结构的研究和实现情况,主要包括一个扩充的顺序PROLOG的抽象执行模型、机器指令系统、编译型PROLOG数据库的研究与实现算法、实验系统YH-SIM-ES的设计与实现、以及一种支持快速回顾的PROLOG机硬件组织的研究。     

求解整数规划问题的一个搜索方法

本文整数规划问题给出一种搜索方法,它类似于求解连续变量优化问题的迭代方法,从一个好的初始可行解出发,寻找一个搜索方向,沿着这个方向求出改进的可行解,然后又开始下一次迭代。此方法简单易行,可以求出问题的最优解或近似最优解,对于整数线性规划问题和整数非线性规划问题的求解都适用,并且容易推广到求解大规校整数线性规划问题。文中附有计算例子,说明方法是有效的。     

智能工具机的性能分析

本文论述了提高智能工具机性能所采取的技术措施,并对其性能进行了模拟。模拟结果表明,智能工具机的平均推理速度可达500KLIPS 左右,比日本的PSI—Ⅰ约快一倍,比美国加州大学Berkeley 分校研制的PLM 约快两倍。     

Bureaucracy Does Its Thing: US Performance and the Institutional Dimension of Strategy in Afghanistan

It is not too soon to draw cautionary lessons from the inconclusive results of US performance during more than 11 years of Operation ‘Enduring Freedom’ in Afghanistan. As in Vietnam, fundamental difficulties persist in adapting enduring institutions to the requirements of strategy. At the heart of the matter is tension between the assumptions that underlie counterinsurgency as practiced in Afghanistan and organization of the US Armed Forces, State Department, and Agency for International Development. Knowledge of basic principles and necessary changes is available to answer the question, could the US have done better?