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

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

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

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

关于满秩素数的一些性质

本文给出了满秩素数的概念,素数P,满足(P,10)=1,被称为满秩素数,若1/P 的小数循环节长恰为(P-1)。本文证明了这类素数的一些有趣性质,例如,若P 为满秩素数,则所有真分数K/P (1≤K≤P-1)的小数循环节的数字排列有一定的规律性。     

试论军队行政事业单位国有资产运行环节的管理

军队行政事业单位国有资产的运行主要包括国有资产投入、形成、存量和使用四个环节。军队行政事业单位国有资产投入环节应着重抓好资源价值分配和投入的管理;在非货币形态国有资产形成环节应着重抓好货币形态资产转化为非货币形态而仍由军队占用与使用资产过程的管理,尤其是加强装备物资购置、基本建设投资等的管理;对国有资产存量的管理应通过清产核资和建立统计报告制度,优化存量结构,盘活资产,防止流失,提高资产利用效率;对国有资产使用的管理应重点抓好建立健全管理制度,包括登记制度、保管制度、使用责任期制度和检查制度等。     

火炮操作方便性浅析

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

当前学生军训工作中存在的薄弱环节及对策

开展学生军事训练是全面贯彻党的教育方针,推进素质教育,培养"四有"新人的客观要求,是为国防和军队建设造就大批高素质后备兵员的重要措施,对提高我国国防综合实力具有重要意义。但就目前学生军训工作的现状看,仍然存在着一些薄弱环节,在一定程度上影响了学生军训工作顺利开展。一是学生军训机构薄弱与军训任务繁重之间的矛盾。目前,学生军训工作规模大、数量多、分布广,学生军训的组织、计划、协调和保障任务十分繁重。     

建立健全国防动员军事需求论证机制

国防动员军事需求论证,是新世纪新阶段筹划指导国防动员建设的重要内容,是进一步筑牢军事斗争准备基础、战时实施快速高效动员的关键环节。为此,加强信息化条件下国防动员建设,必须着眼我军的使命任务,     

“软硬兼施”催效率——重庆市万州区人武部用科学发展观克服人少事多难题纪实

重庆市万州区人武部针对人手少、事务多的问题,坚持以科学发展观为指导,通过软硬兼施的举措提高工作效率,促进了人武部全面建设。对职工高看一眼今年5月,万州区人武部部长蒋健在组织民兵进行森林防火和冲锋舟操作训练时发现,现役干部忙得不可开交,可12名     

提高经常性思想教育质量重在抓实教育环节

提高部队经常性思想教育质量,要深入调查研究,准确掌握官兵思想脉搏;关注现实需求,回答解决官兵热点问题;着眼官兵思想差异,区分层次科学施教;紧跟形势任务变化,合理选择教育时机。     

辽宁省出台《关于加强农村国防教育的实施意见》

为进一步加强农村村民国防教育,增加国防意识,近日,辽宁省出台了《关于加强农村国防教育的实施意见》,为全国普及农村国防教育提供了基本依据和具体操作规范。