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

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

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

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

火炮操作方便性浅析

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

F-22的电子战组件可用于其它飞机

水稻不育系Ｖ２０Ａ蘖芽分化发育可分为分化、定型、伸长和出生４个阶段，依不同节位分蘖芽生长发育物可分为３组，第一组是胚芽鞘、不完全叶节的分蘖芽；第二组是第一、第二完全叶的分蘖芽；第三组是第三、第四、第五、第六、第七完全叶的分蘖芽。     

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

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

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

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

MPP虚拟多机系统

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

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

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

某雷达装备虚拟训练系统实现技术

从实际装备的特点出发,确定了虚拟训练系统的分布式实现模式.以该实现模式为基础,对系统软件结构框架、基于HLA/RTI的分布交互以及虚拟装备的人机交互等关键技术的实现进行了讨论,解决了雷达装备虚拟训练系统的系统集成环境构成、各仿真节点间的分布交互以及人机交互等问题,最后在虚拟训练系统上实现了雷达装备的开关机、跟踪以及故障维修等不同训练功能.     

军事虚拟仓库组织结构的博弈分析

简要介绍了军事虚拟仓库及其组织结构形式．以及博弈论的相关知识。结合军事后勤系统的特点,采用完全信息静态博弈纳什均衡的方法分析了军事虚拟仓库的组织结构模式,在假设的合理的条件下模拟3种组织形式的博弈过程。通过各个模型的最终纳什均衡,指出了3种组织结构形式运作的结果和其积极因素、消极因素、噪声构成．结合我军现有的后勤保障体制,提出现行保障体制的合理与不合理的地方,并给出了改进方案,对优化全军后方仓库布局及管理和战备物资储备及应急保障有着重要意义,可以为总部决策提供咨询建议。