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

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

CCD摄象机在检测雷达角度跟踪系统性能中的应用

本文提出用 CCD 摄象机和单片微计算机所组成的系统实现对雷达角度跟踪性能指标的检测,这一新方法可自动录取:雷达的光轴与电轴的匹配状况;雷达角度跟踪系统的误差;当雷达跟踪空中目标时对目标录象,用以评定雷达的跟踪质量.     

论优化国防费分配结构

现在我国人口占世界的1/5,而军费总额却只相当于世界军费总额的1/200。据1986年度有关资料,按国防费总额比,美国相当于我国的50多倍;按人均占有国防费比,则相当于我国的80多倍。据国家统计局1987年的统计资料,全国城镇居民的生活费每人每月平均为40余元,而驻北京地区部队基本灶伙食仅有30余元,比居民的平均生活费低10％以上。 1985年后,军队编制员额精简100万,但由于离退休干部仍由军队供养,还有部分编余干部待安排,加上近几年安置老干部、转业干部等项开支,多花的钱比省下来的钱还要多。