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

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

军车应尽快实行退役淘汰制度

长期以来,在我军车辆管理部门一直流行着两个观点,一个是“修旧利废,变废为宝”;另一个是“用烂、用垮”。这两种观点,在我国汽车工业处于起步阶段的时期内,确实起了缓解供求矛盾的积极作用。但随着生产力的发展,它愈来愈受到价值观念、效益观念的挑战,逐渐走向了它本来意义的反面,变成了积弱积贫的代名词。正是在这两个观点的影响下,我军逐渐积攒了大量的老旧车.据统计,1973年以前装备部队的车辆(国家列为报废标     

论士兵薪金制度改革

一、士兵薪金制度的弊端目前,我国实行义务兵制为主体的义务兵与志愿兵相结合的兵役制度。所谓士兵系指义务兵和志愿兵的统称。士兵生活待遇基金,具体包括志愿兵工资津贴和义务兵津贴两部分。从薪金结构上考察,志愿兵实行工资制与供给制相结合的制度,除由国家免费供给伙食和被装外,其工资津贴由三部分构成:级别工资,职务津贴和军令津贴。其中级别工资从一级至八级,按等级     

企业托管——中小型军工企业建立现代企业制度的一种手段

文章考察了企业托管的理论渊源及实践情况,分析了中小型军工企业可以实施企业托管的原因和条件,构建了中小型军工企业实施托管的模式。在此基础上对中小型军工企业实施企业托管的效应进行了展望。     

实行国家军事订货制度是适应社会主度市场经济的重大举措

实行国家军事订货制度是适应社会主度市场经济的重大举措政策信息版政策信息版改革与管理·改革论坛··改革论坛·航空工业总公司经济研究中心叶家谅关键词国防法军事装备国家订货制度订货合同制价格管理体制《中华人民共和国国防法》经第八届人民代表大会第五次会议审议...     

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

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

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

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

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

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

论军工企业产权交易的规范化

军工企业普遍存在过度负债、富余人员多,及“企业办社会”等许多建立现代企业制度必须解决的问题,这些问题同军工企业资产的不合理配置密切相关。因此,本文认为,只有规范和促进军工企业产权交易,才能真正建立起现代军工企业制度;文章同时提出了规范和促进军工企业产权交易的改革措施及配套基础建设工作。     

军队物资部门资本金制度浅析

军队物资部门资本金制度的建立是对军队物资资金管理模式、核算模式的一次重大改革,它是物资工作“适应市场、保障战场”的必然选择。它明晰了军队物资部门产权关系、依法确认了军队是物资部门唯一投资主体,调整和理顺了军队物资部门的资金结构,深化了军队物资工作改革。