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

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

新时期知识分子思想政治工作之我见

我国新时期知识分子与五六十年代知识分子比较,有许多新特点,他们的长处和弱点均与他们所处的时代和环境有关。党对知识分子的教育和培养就不应孤立地从其自身考虑,要站在历史的高度、全方位地开展思想政治工作。     

论当前国民经济动员管理体制改革

文章分析了当前国民经济动员管理体制改革的背景及其对管理体制的影响,提出了管理体制改革的总体目标和组织机构改革的基本原则,并进一步阐述了当前国民经济动员管理体制改革向深度推进的对策。     

抗电磁效应的地空导弹电气系统设计

论述了导弹电气系统抗电磁效应设计的必要性,介绍了导弹电气系统抗电磁效应设计的三种方法：问题解决法,规格法和系统法。     

关于确定典型电磁干扰环境威胁等级方法的研讨

及时分析和掌握现代通信电子环境的特点,规律以及弄清作战对方电磁干扰威胁的强度,是作战指挥的重要环节。这就是根据电磁干扰环境典型化和量化的原则,研究典型电磁干扰环境威胁等级的确定及其战术模拟。本文采用定性与定量相结合的方法,提出了可工程实现的电磁干扰环境威胁等级的划分原则,建立了通过电磁环境威胁等级的划分标准,并讨论了跳频通信干扰威胁环境等级的划分。     

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

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

多媒体技术发展综述

本文主要论述多媒体技术的现状和发展动态.     

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

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