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

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

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

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

论当前军队后勤改革的几个理论问题

军队后勤改革随着国家改革大潮的涌动,走过了十几年不平凡的历程。那么,在社会主义市场经济体制不断改革与完善的新形势下,如何用符合客观实际的理论指导军队后勤体制改革?文章指出要以下列理论研究为重点:如何实现保障有力的总目标,怎样选择后勤体制改革的突破口;如何强化后勤改革的宏观调控力度,营造什么样的后勤体制改革宏观环境。     

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

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

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

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

部分参数不准确的线性系统H∞状态估计滤波问题

本文研究了部分参数不准确的线性系统的Ｈ_∞状态估计滤波问题,或即参数鲁棒性Ｈ_∞估计问题。我们先把它简化为带δ参数的对象的Ｈ_∞状态估计滤波问题,采用Ｊ无损分解方法,推导出可解性条件和滤波器的全部显式通解。     

贯彻实施军用标准需要激励机制

结合兵器行业的实际,叙述贯彻实施军用标准的途径、方法及存在问题,进而对产品研制中的贯标工作提出7项建议。     

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

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

静磁场Dirichlet问题Galerkin法和牛顿法

作者在［１］,［２］中给出了静磁场Ｄｉｒｉｃｈｌｅｔ问题和Ｎｅｕｍａｎｎ问题广义解的存在与唯一性。本文从理论上给出静磁场Ｄｉｒｉｃｈｌｅｔ问题的一种Ｇａｌｅｒｋｉｎ近似解法,并给出了在各向同性或无电流区情形下的误差估计和牛顿选代序列。