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

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

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

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

火炮操作方便性浅析

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

虚拟演播室系统中的无限蓝箱技术

虚拟演播室是虚拟现实技术在电视制作领域中的一项崭新应用。无限蓝箱技术通过外部生成的键信号,将前景视频图像中非蓝箱内的景物滤除,使摄像机的运动可以不受实际蓝箱尺寸的限制。针对任意形状的蓝箱结构和摄像机的任意自由度运动,提出了虚拟演播室系统中通用的无限蓝箱算法,该算法根据蓝箱实际的透视投影变换过程,精确提取蓝箱区域,生成色键信号。实验结果证明,该算法生成的色键区域精确、计算简单、通用性强,很好地满足了虚拟演播室系统的要求。     

虚拟舰艇概念与应用（连载二）

5体系结构 5.1虚拟舰艇体系结构的一般要求 虚拟舰艇结构可以提供使系统模型组合在一起模拟战舰运用的框架.为了实现这一目的,要求虚拟舰艇体系结构应有许多特点.     

MPP虚拟多机系统

ＭＰＰ虚拟多机系统是一个特殊的ＰＶＭ系统，本文阐述了ＭＰＰ虚拟多机系统的系统结构和实现技术，并对ＭＰＰ虚拟机的性能进行了初步测试和分析。     

某型炮射导弹“瞄准-击发-跟踪-命中”系统设计与实现

针对某型炮射导弹射击训练问题,采用三维建模技术、三维控件技术以及状态机结构、事件结构、循环结构等节点函数,研发了基于SolidWorks和LabVIEW的某型炮射导弹“瞄准-击发-跟踪-命中”虚拟训练系统。该系统通过各节点函数实现了各部件的约束连接,同时展示了射击的过程和制导原理,且可使受训者通过鼠标和键盘与虚拟环境中的对象进行交互作用、相互影响,并使其在视觉上真实体验战场环境、熟悉操作规程。     

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

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

ZigBee技术及其军事应用

首先介绍了ZigBee技术的概念、特点、协议框架及应用领域,在此基础上探讨了ZigBee技术军事应用的基本思路及应用领域,并做出了展望。     

"战训一致"的作战模拟训练系统研究

论文提出了一种拓展作战模拟训练系统应用功能,构建基于海军指挥信息系统的虚拟对抗平台,从而解决指挥信息系统"战训一致"问题的方法,并阐述了系统的构成、各个组成部分及功能,最后分析了该系统建成后的效益.