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

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

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

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

火炮操作方便性浅析

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

美陆军21世纪的领导者

美国《野战炮兵》总编辑霍利斯采访了美陆军中将约翰·Ｅ·米勒。本采访录向读者介绍美陆军培训２１世纪领导者的某些内容、范围、手段和方法,以及有关火力支持和作战指挥实验室的问题。米勒中将时任美陆军训练与条令部副司令、合成兵种司令部司令和指挥与参谋学院院长,因此本采访录具有较大的说服力和意义。     

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

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

莫把“充电”变“放电”

每年省军区系统都会选送干部到军队院校培训进修。应当说,送学培训是部队培养人才,拓宽干部知识面的一个重要途径。受训者来自不同的单位、不同的兵种,在一起可以相互交流经验,这对于提高干部自身素质、丰富阅历、增长才干都大有裨益。     

江川及时组织学习新法规

近日,云南省江川县人武部组织干部职工、专武干部、民兵骨干学习新颁布实施的法规,协调县司法局在人武部开办了为期7天的"新法普法培训班",重点学习了《食品安全法》、《物权法》、《就业促     

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

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

武警部队财务股长、通信技术干部培训班开训

5月5日下午,武警部队财务股长、通信技术干部培训班开训典礼在学院图书馆学术报告厅隆重举行。参加典礼的领导有学院贾红威副院长、训练部张崇俊副部长、政治部于方华副主任、院务部佟振林副部长、通信工程系刘建平主任、军事经济系刘建伟主任和干部培训大队茹宗亮大队长。