Prolog 编译器中暂时变量分配方法研究

文中研究对prolog 编译器的暂时变量的分配,介绍了回溯分配法,着重介绍了一种高效的无回溯分配法的实现原理及其优点。     

后勤管理信息系统生成系统的设计与实现

本文论述了一个后勤管理信息系统生成系统(LMIS-GS)的设计与实现,本系统综合采用了数据库模式自动生成技术、软件可重用技术、操作对象、控制信息与程序相分离的模块编码技术,系统中通过引入部件的概念,把庞大复杂的LMIS系统划分为若干个可独立研制开发的部件实体。LMIS的生成就是部件的组装,部件的生成就是数据基的组装与填写。系统还提供了数据库生成的两种方式,即可自动生成3NF的关系数据库模式。     

网络安全脆弱性分析与处置系统的研究与实现

在分析国内外研究现状的基础上,针对现有的漏洞库系统在漏洞信息的组织、使用等方面存在的不足,采用分布计算技术、数据库技术、Web技术实现了网络安全脆弱性分析与处置系统。该系统实现了基于Web的漏洞库(含补丁库)的访问与维护工具,便于获取相应漏洞的解决方案和下载相应的补丁程序,降低了系统维护的开销,提高了系统的可维护性;补丁推送程序实现了对系统补丁程序的远程推送、漏洞修补和补漏检测,提高了系统的自动化程度,为网络安全脆弱性处置提供了有力工具。     

程序设计语言发展过程中应注意的问题

针对目前程序设计语言发展过程中出现的语言种类过杂、语言数量过多、语言结构过于复杂、语言间重复性大以及语言功能求全问题进行讨论,从语言功能分离、符号与内容分离及语言统一的角度初步提出了解决问题的途径,同时对程序设计语言的汉化问题做了简要讨论。     

军事征用程序研究

文章提出了军事征用程序的设计原则,对普通军事征用程序和特殊军事征用程序进行了对比研究。     

航空电子综合系统作战飞行程序的研究

本文研究了作战飞行程序的开发及开发环境的基本原理,并对开发环境的基本软件组成、硬件结构及其应用进行了讨论。     

基于GA-SVM的装备保障设备报废技术鉴定方法

为提高装备保障设备报废技术鉴定的准确性,提出了一种基于支持向量机的报废技术鉴定方法.分析了报废技术鉴定主要特征,并给出了各特征的量化和预处理公式.介绍了支持向量机基本原理,并引入遗传算法对支持向量机的惩罚参数和核参数进行寻优.算例验证结果表明,与常见分类算法相比,基于高斯核的支持向量机在装备保障设备报废技术鉴定中,训练时间更短、分类精度更高.     

机械故障特征与分类器的联合优化

在机械故障诊断中,特征选择和分类器的参数优化都可以提高诊断精度。利用特征和分类器参数的依赖关系,提出了特征选择和SVM参数的联合优化方法来提高诊断性能。联合优化方法采用支持向量机(SVM)作为故障分类器,SVM半径—间距上界(RM界)为目标计算诊断精度,并应用遗传算法求解此优化问题。齿轮故障诊断试验结果表明,联合优化的诊断精度要优于单独优化特征和SVM参数,而且优化速度更快。因此在故障诊断中,利用特征和分类器参数联合优化能够快速取得较好的诊断精度。     

打牢民兵建设基础

内蒙古巴彦淖尔军分区在民兵整组工作中,坚持“用什么编什么、缺什么补什么、弱什么强什么的原则”,注重在抓程序规范上下功夫。军分区党委认为,抓好民兵组织整顿工作,促进民兵队伍的协调发展．既是落实我国民兵制度的必然要求,也是实施人民战争动员的组织基础。为此,他们以乌拉特前旗乌拉山收费所民兵连为基础,对民兵整组的时间、程序、组织形式等进行规范化试点,并召开现场会,让全市各旗县分管领导、人武部主官亲临现场参观见学。军分区还及时完善试点经验,采取相应措施逐步推广,限期组织考评验收。通过完善制度加强民兵动态管理,制定外出联系、请销假、定期报告等制度,确保“编得好、管得住、联得上”。     

自控式空气放电重复性实验研究

静电放电模拟器空气放电方式涉及到外部火花通道的形成过程,模拟器放电电极接近被测物体的速度、环境温湿度等因素都导致其放电电流重复性差。为此,研制了能够自动控制ESD模拟器放电电极渐进速度的空气放电装置,并且应用向量夹角余弦相似系数方法,将自控式模拟器空气放电与手动式放电电流波形的重复性进行了定量分析和比较研究,得出了机控的ESD电流波形重复性好的结论。