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

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

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

管理信息系统通用工具软件MT-l

MT-l是在汉字dBASE-Ⅲ的基础上开发的数据库工具软件,它具有图形化的数据描述和数据操纵语言,是一个实用的微机管理信息系统开发工具。它在图形化用户界面、数据字典、视图、数据完整性和安全性等方面优越于dBASE-Ⅲ。本文描述了 MT-l的总体结构和主要功能,讨论了主要设计和实现问题。     

M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。     

使用直接模拟法研究选择快中子屏蔽参数

使用蒙特卡罗直接模拟法模拟了300keV氘束流T（d,n）4He中子源发出的中子在球壳屏蔽体介质铁中的输运规律。分析了不同介质厚度的铁对中子的反射性质和吸收性质,这些解释和分析对快中子球壳屏蔽参数的选取具有重要价值。     

分布式陆军物资供应信息系统的研究与展望

分布式陆军物资供应信息系统是我军现代化建设的基础项目之一 ,本文基于主动式数据库和C/S结构的概念介绍了其原理和组成 ,并就该系统的设计与实现手段做了深入的探索 ,最后给出一个开发实例。     

客户/服务器计算环境及其数据库服务器的结构分析

本文首先介绍了客户/服务器的有关概念,并详细讨论了客户/服务器带给我们的好处。然后重点研究了客户/服务器系统中数据库服务器的几种结构,并比较了它们之间的优劣。     

以光的速度攻击——激光武器

人类把光作为武器的想法,可追溯到远古时代。西方在中世纪就有古希腊科学家阿基米德用聚焦的太阳光点燃敌人战船的传说。1960年首台激光器在美国问世,为人们点燃了希望之光,自此人们便开始了对激光武器锲而不舍的追求。 激光武器是一种利用定向发射的激光束直接射击目标使之失效的新概念武器。它的出现是武器装备     

WJ 2396-97《固体脉冲激光测距仪最大测程消光比测试方法》的制定和应用

介绍WJ 2396-97《固体脉冲激光测距仪最大测程消光比测试方法》的制定、测试原理、方法和应用情况。     

并行科学计算应用的动态I/O模式分析

设计高性能并行文件系统的关键前提是对 Ｉ／ Ｏ 访问模式的分析和研究。并行文件系统的界面、组织结构、ｃａｃｈｅ 预取算法等都与具体应用的 Ｉ／ Ｏ 模式紧密相关。目前，大多数对 Ｉ／ Ｏ 模式的分析局限于其静态模式，而动态 Ｉ／ Ｏ 模式对并行文件系统的设计至关重要。本文通过分析并行科学计算应用的动态 Ｉ／ Ｏ 访问模式，总结出科学计算应用在访问数据量、时间间隔、访问顺序性等空间、时间上的一般访问特性，并在此基础上提出设计面向并行科学计算应用的并行文件系统应考虑的因素。