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

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

再谈国防科技工业统一物资(产品)标识代码之应用

物资(产品)标识代码的建立和应用是国防科技工业系统的重要基础工作,本文对“统一物资(产品)标识代码体系”及其构成、用途、功能等方面进行了概括性描述,并根据论述的内容提出了分析结论。     

兵器工业集团统一物资代码实施情况综述

兵器工业集团公司统一物资标识代码体系是以兵器工业集团公司统一物资标识代码为核心内容的代码管理系统。本文阐述了兵器工业集团统一物资代码体系建设实施背景、实施策略、实施方法、实施情况。     

有效利用计算机建立机械工装分类代码系统

目前,相当一部分企业机械工装图号标识仍处于传统的落后状态,建议企业有效利用计算机,建立机械工装分类代码系统,为机加工设计提供一种现代化的标准化管理方法。     

基于程序防护的通用防盗版模型分析

通过分析指纹存储设备的防护弱点及讨论嵌入验证的控制逻辑,提出引入身份验证技术、动态互锁机制及分布代码控制以增强应用程序的抗盗版能力,并构建通用的防护模型便于项目应用开发。     

装备保障信息分类与代码设计研究

根据装备保障信息化建设的需要,分析了装备保障信息的特点,探讨了信息分类的要求并提出了装备保障信息分类方法;阐述了装备保障信息代码设计的要求、分类、形式．提出了代码设计方法。     

XML的网络标图技术

针对信息化条件下网络标图的需要,以SVG(可缩放矢量图形)作为态势图中电子地图、队标、队号以及附注说明等数据模型的表现形式,提出了基于XML将态势图信息文本化,并实现网络标图的构想,对态势图和军标进行了建模处理,并基于Microsoft Visual Studio.NET网络开发平台,对态势图的标绘、代码解析、网络传输和接收再现进行了较深入的研究.     

一类基于循环群理论的变形机理分析

随着病毒与反病毒竞争的加剧,变形已成为病毒技术中必不可少的一部分,深入剖析病毒变形机理是查杀变形病毒的关键.通过运用循环群的基本理论对两个具体问题进行抽象分析,揭示了这类变形机理的理论依据,并讨论了相应的检测方法.     

未来战场上的“软杀手”——漫谈计算机病毒武器

1990年,海湾战争爆发前不久,美国获悉一个重要情报：伊拉克将从法国购买一种用于防空系统的新型电脑打印机,准备通过约旦首都安曼偷运到巴格达。于是,美国特工人员买通了安曼机场的守卫人员,当从法国飞来的飞机降落到安曼机场后,一名特工人员偷偷溜进机舱,用一套带有计算机病毒的同类芯片换下了伊拉克购买的电脑打印机中的芯片。     

电子战训练仿真系统开发方法研究

为了提高电子战训练仿真系统开发的效率和质量,参照建模与仿真领域和软件工程领域中的模型开发与运行过程模型,提出了一个基本开发过程,将基于高层体系结构HLA电子战训练仿真系统的开发划分为相互关联的9个阶段,规定了每个阶段的开发活动。展示了联邦成员软件自动生成工具KD-FedWizard在基于HLA电子战训练仿真系统分析、设计和实现中的应用。