战术训练模拟系统Multi-Agent协同通信机制研究

针对基于Agent战术训练模拟系统的协同通信问题,建立了基于HLA/RTI的Multi-Agent高层仿真环境,给出单个Agent的设计框架及形式化描述,设计了Multi-Agent之间的通信机制,引入合作任务管理器实现多Agent问题求解的协调一致,实例显示了本方法的可行性及有效性.     

基于Visual Basic 的面向对象的编程方法

本文从作为可视化编程和对象技术的Ｖｉｓｕａｌ Ｂａｓｉｃ语言的核心－对象着手，着重讨论了各种对象的特点，创建各种对象所采用的方法以及使用的场合，探讨了基于Ｖｉｓｕａｌ Ｂａｓｉｃ的面向对象的编程方法。     

基于Delphi语言的多媒体CAI系统设计

用Ｄｅｌｐｈｉ语言制作计算机辅助教学软件时，必须实现对超媒体的支持与处理，针对这种情况，阐述了采用Ｄｅｌｐｈｉ中的ＶＣＬ构造ＴＡｎｉｍａｔｅＣｅｌｌ类的方法以及在此基础上设计多媒体类和脚本解释析器的技术。     

行处理法求解三对角线性方程组的C语言实现

本文给出利用线性代数方程组的行处理法求解三对角线性代数方程组的Ｃ语言程序实现方法。     

软件规格说明语言GSPEC

本文总结了图形化软件规格说明语言GSPEC (Graphical SPECification language)的设计思想。在对软件规格说明语言进行需求分析的基础上,提出了新的软件功能分解模式以及代数与一阶谓词相结合的抽象数据类型定义方法。该语言具有形象易读、表达力强和正确可靠等特点,现已在IBM PC/AT和SUN-3工作站上实现。     

矩阵法拟定化学反应机理软件

本软件是根据Happel和Sellers提出的矩阵法编制的。用户只需输入基元反应方程式及其系数矩阵,即可得出全部动力学上有意义的反应路线。本软件不但可用于单一总反应的物系,也可用于多个总反应的物系,既适于均相反应,也适于非均相反应。它是拟定化学反应机理的有力工具。本软件用BASIC语言编写,由DOS3.3以上版本支持,可在APPLE-Ⅱ及其兼容机上运行,使用十分方便。     

利用Matlab语言对物理实验数据进行处理

本文讨论利用Matlab语言通过最小二乘法对物理实验数据进行处理的优点。     

简议充要条件命题的证明

<正>一个用充要条件叙述的命题,实际上包含着两个互逆的命题,即p是q(p、q也可以分别为两个命题)的充要条件相当于"若p则q"和"若q则p"这两个命题的总和.因此,要证明一个充要条件的命题,必须采取双向证明的方法,即既要证充分性,又要证明必要性.     

B—模糊集合代数和广义互信息公式

基于两种概率的区分，推导出了一个广义Shannon熵公式和一个广义互信息公式。后者和模糊性有关，并且柯用于语言和感觉中的信息度量。为了由原子语句为真的条件概率求出合语句为真的条件概率，提出了一个遵循存尔运算的模糊集合代数。所谓的模糊信息被还原为概率信息。新的理论在经典理论－概率论，集合论及Shannon信息论－的基础上容易理解。