Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

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

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

火炮操作方便性浅析

从分析火炮操作方便性的含义、分类、试验与评价等方面评价火炮操作方便性,提出应采用定量分析方法。     

关于军人工资概念的几点认识

在军事劳动分配领域,究竟是使用军人工资概念还是使用军人薪金概念,以及如何界定这一概念的内涵与外延并加以规范化使用,不但是一个理论问题,而且是一个实践问题。立足于此,本文着重对军人工资与军人薪金两个概念的互用、军人工资概念的内涵与外延、军人工资的现实使用和军人工资规范化等问题进行探讨。     

贯彻军队财务法规应与部队实际相结合

部队财务工作如何在财力不足的情况下实现“保障有力”的目标?一个重要的对策就是要把军队财务法规和部队实际结合起来。而结合的关键是要找好结合点,着眼细化,制订出一套切实可行的规章制度;同时必须走规范化发展道路,以维护法规的严肃性。     

浅议加强借调干部规范化管理

随着部队调整改革和备战转型加速纵深推进,各级机关任务重、头绪多、工作量大,临时借调干部参加有关专项任务日趋增多,以往容易被忽视的借调干部管理问题日益凸显。加强借调干部管理,必须紧贴时代特征、把握管理规律、创新方法手段,真正管出规范化、管出战斗力。     

基于操作路径评分的某雷达参数测量考试系统

参数测量训练及考核是提高雷达技师维修保障能力的重要手段。在分析当前某型雷达参数测量训练及考核手段存在不足的基础上,针对当前的考试系统软件只能对考试结果进行评分,不能适用于既要对考试的操作过程又要对考试结果同时进行评分的问题,根据某型雷达参数测量训练及考试业务的特殊需求,设计并实现了一种基于操作路径评分的软件系统,该系统能够对某型雷达参数测量训练及考试的模拟操作步骤及结果同时进行评分。系统已经投入应用,实践证明:本系统能够节约成本,有效提高训练效率。     

对城市民兵专业技术分队规范化训练的几点思考

工作实践使我们深切体会到,民兵专业技术分队无论平时、战时都是城市民兵建设的重点,都是完成多样化军事任务的骨干力量。因此,要通过规范化训练来提高这支队伍的科技支前能力是增强民兵战斗力的重要保证。近年来,民兵军事训     

武字在肩重千斤——记江苏省大丰市国动委主任倪峰

当年新四军和八路军胜利会师所在地——江苏省大丰市,如冉冉升起的一颗璀璨明珠:经济快速发展,连续多年跻身全国县域经济百强;武装工作捷报频传,仅去年就有民兵训练、基层建设、国防教育等8项工作受到上级军事机关表彰。这些成绩的取得,该市市长、市国动委主任倪峰功不可没。     

围绕提高核心军事能力 推进民兵预备役部队训练转型

军事训练是未来战争的"预实践".信息时代,战争形态和作战方式发生了很大变化,民兵预备役部队在未来战争中担负的任务也随之变化.因此,必须紧跟时代发展和新军事变革步伐,坚持以科学发展观为指导,以新时期军事战略方针为统揽,以提高打赢信息化条件下局部战争能力为核心,积极推进民兵预备役部队军事训练转型.