编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

灰色矩阵对策

本文结合灰色系统与对策论的知识,给出了以区间型灰数为元素的灰矩阵对策的定义,讨论了灰矩阵对策在纯策略与混合策略意义下的最优策略及灰解的存在性。     

一个组合对策问题的解

本文求解如下的组合对策问题:设有一堆棋子,总数N 是奇数,甲乙两人轮流取子,每人每次可取一颗、二颗,最多可取s 颗,但不能不取,直至取完后分别来数甲乙两人所取棋子的总数,总数为奇数者获胜。站在甲的立场上考虑获胜的策略,文中解决了如下两个问题:(Ⅰ)总数N 应是什么样的奇数,甲才有获胜策略;(Ⅱ)当N 一定时,甲应采取什么样的策略取子,才能获胜。     

免费医疗制度存在的问题及对策

免费医疗制度是导致卫生事业费超支和卫生资源浪费的根源,解决问题的关键在于改革平时免费医疗制度,实行医疗费分担。     

对军队企业资金紧缺问题的思考

资金紧缺是军队企业所面临的突出问题,它严重制约着军队生产经营的发展。其原因既有生产成本增长过猛、资金来源渠道不畅等外部因素,也有企业的自身固定资产投资膨胀、管理不善等内部因素。解决这一问题主要依靠企业强化管理,增强竞争能力,但根本的还是在于优化企业资源配置,规范企业利润分配,抑制企业资金需求过度扩张。     

通货膨胀:我国经济改革与经济发展长期面临的挑战

通货膨胀问题是困扰当今世界各国经济运行的主要问题之一,也是我国经济生活中的一个热点和难点问题。我国的经济改革与经济发展始终面临通货膨胀的挑战。分析改革时期我国的通货膨胀及其成因,探讨通货膨胀与经济增长,体制改革的关系,建立长期反通胀政策,具有重要的现实意义。本文就此问题作了剖析。     

在线测量精密机床和加工工件直线度的新方法——优化误差分离法（OEST)

目前,运用多传感器对工件和精密机床的直线度进行在线测量的方法有ＳＴＰ法、ＳＴＲＰ法和ＦＳＴＰ法等。由于受到传感器相邻间隔距离的限制,这些方法往往只适合于长工件的在线测量。本文推荐的新方法──优化误差分离法（ＯＥＳＴ）可以用于短工件中的测量,它是基于频域分析和时域优化搜索的原理,可以克服频域变换中出现的边缘失效问题以保证频域变换的正确性。本文还介绍了计算机仿真和实际测量实验的结果,并验证了该方法的可行性和正确性。     

关于武警部队体育工作的调查分析及其相应对策

本文通过对武警部队体育工作开展情况的调查,分析了目前基层部队实施体育训练和开展群体活动的现状,探讨了体育工作在武警部队建设中的地位,以及部队在开展体育工作过程中遇到的困难和亟待解决的问题,为进一步推动部队体育工作的开展提供科学依据,并研究其相应对策.     

一类较为完善的不可逆制冷机模型及其最优化

在考虑工质与热源间热阻损失的内可逆卡诺制冷机模型基础上,用一常数项表示热源间的热漏,用一常系数项表示循环中除热阻和热漏外的其余所有不可逆性（如摩擦、涡流、惯性效应等）,提出了一类较为完善的不可逆卡诺制冷机模型,并对此不可逆制冷机模型进行优化分析,导出了其最佳制冷率与制冷系数间的优化关系和最大制冷系数及其相应的制冷率。由定义的一常数项和一常系数项可定性、定量地分析不可逆性对循环性能的影响,所得结果包含了有关文献的一些特例。最后,给出了详细的数值算例,说明本模型的有效性。     

战术导弹垂直发射技术的发展及未来对策

文章通过弹道式战略导弹垂直发射技术向战术导弹转移的经历,论述战术导弹垂直发射技术的优点、初制导控制特点及其在发射技术中的战略地位和未来对策。