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

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

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

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

科学思维中的美学思想和方法

本文论述了科学理论中的美学特征.认为在科学研究中,美和真是相统一的,对美的追求往往导致科学真理的发现.科学思维遵循着一定的美学原则,贯穿着从不完美的“一般”到完美的“一般”的思维过程,这一思维过程要经过孕育阶段、高潮阶段和验证阶段三个阶段.科学思维中的美学思想和方法的应用与科学工作者的美学素养有很大关系,因此在学校教育中应重视美育.     

我军初创时期的伟大变革

在我军初创时期,以毛泽东同志为代表的我军缔造者们提出了坚持党对军队的绝对领导、废除雇佣制,坚持思想建军和执行“三大任务”的建军原则,使我军从一开始就区别于一切旧军队,从而保证了我军从胜利走向胜利,不断得到壮大,以上原则在今天,乃至未来仍将是我军保持人民军队本色的基础和保证。     

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

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

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

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

自由后坐式自动武器运动系统优化设计研究

本文介绍自由抢机式自动武器运动系统有关结构参量的一种优化设计方法。优化的目标函数为自动机后坐到位速度和弹丸的初速。优化的结构参数有自动机的质量,弹簧的抗力等。     

登陆战役实施初期的财务保障

高技术条件下的渡海登陆作战是一种有待于我们着力研究的新战式。针对渡海登陆作战的特点,确定财务保障的原则,探寻财务保障的方法,是摆在全军财务干部面前的新课题。文章在分析了登陆战役实施初期财务保障特点的基础上,提出了财务保障的四条基本原则。并认为登陆战役实施初期财务保障必须周密计划,充分准备,努力增强应急保障能力;多种渠道,广泛筹资,确保战费的需要;联合供应,动静并存,实施连续不断的经费供应;统一标准,理顺关系,提高经费保障的准确性和有效性。