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

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

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

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

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

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

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

C4ISR系统需求描述模式

科学、有效的C4ISR系统需求描述模式是获得完整、准确的C4ISR需求文档的关键,是C4ISR需求工程研究的重要组成部分.从研究C4ISR需求文档体系的结构出发,分析了C4ISR需求的描述规范;基于面向对象技术,研究了需求构件的设计;并对需求构件和需求的重用性进行了研究;在此基础上,给出了C4ISR系统的需求描述框架,包括需求描述的过程及每一步的支撑技术、约束条件、产品等.     

仿真概念模型可重用性评估

概念模型的重用已成为当今仿真研究的热点问题之一,本文主要对作战仿真中概念模型的可重用性评估展开研究。首先建立了概念模型可重用性评估指标体系,在此基础上研究了概念模型可重用性评估算法,对评估中领域专家的权重分配方法和评估结果的表示方法进行了研究,提出了“静态权重+动态权重”的组合权重分配方法和用Kiviat图表示评估结果的方法。最后对概念模型在“XX作战仿真系统”开发中的重用结果进行了分析,结果表明,通过概念模型的重用可以有效地缩短概念模型的开发时间,提高开发效率,提高概念模型的可信性。     

基于组件的分布式仿真系统

针对模型重用问题,提出采用BOM标准构成模型组件.本研究采用该标准构造了基于BOM组件的HLA导弹突防能力仿真系统,并对采用该技术的分布式仿真系统有关技术进行了深入探讨.研究表明,BOM技术重用性好,是仿真应用领域的重要发展方向.     

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

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

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

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

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

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