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

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

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

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

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

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

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

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

军事征用程序研究

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

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

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

基于循环条件生成对抗网络的数据生成方法

针对军事领域数据采集困难以及数据生成人工依赖性强、成本高、效率低等问题,在生成对抗网络(GAN)框架的基础上,构建长短期循环神经网络(LSTM-RNN)代替生成对抗网络中的生成器和鉴别器,以最大平均差异和最大似然估计作为指标构建数据生成评估模型,提出一种可生成数据序列的循环条件生成对抗网络(RC-GAN).该方法完全依靠数据驱动,无需经过精心设计的建模过程,便可生成与真实数据相一致的数据.通过基于实际数据的仿真实验,验证了该方法在数据相似度、估计误差、抗干扰性以及泛化性方面的优势.     

打牢民兵建设基础

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

以“主题主线”为统揽推动国防动员建设科学发展

加快转变动员能力生成模式.一是适应形势任务落实转变.当前,我国正处在向市场经济体制深度转型的历史时期,随着经济社会调整改革的深入进行,国防动员工作也在发生着深刻变化,客观上要求动员模式必须顺应形势适时转变:核心任务应从机械化条件下以保障陆军作战为主体的动员,转到信息化条件下以保障陆海空天电多维战场、诸军兵种联合作战的动员上来;结构布局应从重数量、重规模、铺摊子,转到科技主导质量取胜、精确动员上来;动员对象应从依托国有、集体所有制为主的行政单位(企业事业单位、乡村、街道),转到多种所有制的各个单元特别是新必行业和阶层上来;动员内容应从传统的五大领域(人民武装、国民经济、交通战备、人民防空、国防教育),拓展到远程战略投送、科技信息支援、高新武器装备维修、新型作战力量保障等新兴领域;调控手段应从依靠行政命令、强调履行国防义务,转到依法建设、依法动员上来,发挥利益驱动的杠杆作用,启发和激励全社会履行国防义务的自觉性和主动性.     

关于加快转变民兵战斗力生成模式的思考

贯彻中央军委胡锦涛主席"主题主线"重大战略思想,加快转变民兵战斗力生成模式,必须弄清战斗力生成模式转变的实质,科学把握"加快转变"的内涵。一是加快转变职能任务。机械化条件下民兵的职能任务主要强调直接参军参战支前,信息化条件下民兵的职能任务应该转向以支援保障现役部队打赢信息化条件下局部战争为主。换言之,构建支援保障型民兵队伍是加快