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

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

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

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

一种实用的有线电视加解扰方案

在分析了电视加扰技术中的模拟加扰方式和数字加扰方式后,对数字加扰时基处理中的行旋转、行置换、行变换等方法做了详细分析;为了保护有线电视加扰系统的安全,采用了随机数的产生、数据的加密等技术。最后详细介绍了一个包括加、解扰系统和用户控制的实验系统     

火炮操作方便性浅析

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

基于PCI总线的多路数据总线接口设计与实现

提出了一种主处理机可以直接控制的1553B总线接口模块的设计与实现方案,并简要介绍了其硬件结构、工作过程和软件开发.利用PCI协议芯片实现PCI局部总线与军用1553B总线的桥接,采用WDM技术编写驱动程序.所设计的总线接口模块符合MIL-STD-1553B总线标准,具有结构简单、成本低廉、操作方便等特点,可用于仿真,开发1553B总线产品.     

浅谈科技期刊对编辑的素质要求

随着计算机和网络工具的普及,对于科技期刊编辑的要求也随之提高。编辑应具备信息选择能力和计算机操作能力,编辑应掌握新环境下的一些基本信息检索知识和计算机操作知识。     

新加坡打造“袖珍军事强国”

据美国《国防工业日报》2006年12月12日报道,新加坡国防部将与德国联邦国防部达成协议,计划购买96辆德国"豹-2"A4坦克("豹-2"出口型,66辆投入使用,30辆备用)和训练设备,德国还将负责对人员进行坦克操作培训."豹-2"坦克原本是作为北约应对前苏联庞大装甲集群而研制的,突出强调"以质胜量",是世界上公认的整体性能最好的坦克.东南亚其他国家现役或即将装备的坦克无论在机动力、火力还是防护力方面都与"豹-2"存在"代差".     

对照“四有”目标 做新一代优秀政治干部

政治干部作为军队政治工作的主体力量,其自身的政治素质、综合素养、业务能力直接影响制约着主体功能的发挥。习主席在全军政治工作会议上强调指出:"政治干部的表率作用本身就是最好的政治工作,这就叫行胜于言!"这一重要论述不仅为当前加强和改进思想政治工作指明了方向,更是对军队政治干部队伍建设提出的紧迫时代要求。笔者认为,各级政治干部身处军队政治工作改革创新的前沿,要自觉对照习主席提出的"有灵魂、有本事、有血性、有品德"四有     

河南省军区组织首长机关进行冬季野营拉练

正前不久,河南省军区组织首长机关及直属分队进行了信息化条件下冬季野营拉练。这次拉练,一是进行了行军、露营、指挥所开设、战斗勤务、通信器材操作使用、识图用图等课目训练演练;二是组织了军事理     

179长城IP电话卡4折批发

正179长城IP电话卡由中国人民解放军总参谋部信息化部发行用于军队电话用户拨打国内地方长途,免市话费。每分钟通话不到1毛钱的花费(40÷120×0.3=0.099元)拨打方式:在军线上直拨179或0201-806000,听到"您好,欢迎使用全军IP电话业务"的语音后,请按语音提示进行操作。