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

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

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

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

火炮操作方便性浅析

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

美陆军21世纪的领导者

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

对增强预备役军官培训效果的思考

预备役军官是军官队伍的重要组成部分.组织开展预备役军官培训,是改善预备役军官素质结构,做好军事斗争准备,推进中国特色军事变革深入发展的现实需要.最近,我们就增强预备役军官培训效果问题进行了一些思考.     

扎实抓好人武系统干部培训

人武系统干部队伍建设是国防后备力量建设的重点.新世纪新阶段,要着眼做好军事斗争准备,推进中国特色军事变革,扎实搞好人武系统干部培训,全面加强其能力素质建设.     

组织防空警报试鸣增强市民国防观念

日前,上海市诚和律师事务所高级律师罗玲主任来到该市虹口区人武部,应邀为人武部全体干部、职工和基层武装部的专武干部进行《国防法》、《兵役法》和、《国防教育法》等相关法律知识讲座。这次培训主要是针对去年全区预征对象数量较少、各级对兵员质量要求高的特点和少数人武、     

培训退伍军人奔富路

近几年来,山东省利津县人武部注重对退伍军人的培训。每年老兵退伍返乡时,及时为退伍军人建档备案,协调民政局、人事局、职业学校,集中组织他们到厂矿企业参观,学政策、学致富技术和市场经济知识,使之尽快适应地方经济发展形势。退伍军人岳勇,在学到一技之长后,在本村建起冷藏加工厂,带动了全村养殖业的发展。     

让小散远直单位迈上科学发展的快车道——海军完成对全部小散远直单位党支部书记培训

2007年10月22日,党的十七大闭幕的第二天,海军有史以来最大规模的小散远直单位党支部书记培训在海军大连舰艇学院政治系开班了。 2008年10月31日,第六期70余名党支部书记满怀金秋的收获从大连返回万里海疆的小散远直单位。这标志着历时一年多的海军小散远直单位党支部书记集中培训落下帷幕。