基于决策表的MIS智能查询系统

将人工智能技术应用于管理信息系统(MIS)使其具备某些智能特征,这是目前计算机应用领域的重要研究内容之一。本文将决策表技术引入管理信息系统作为知识存贮手段,用户可通过决策表自行设置规则集,并用推理机进行演绎推理,从而实现对管理信息系统数据库的智能查询。该系统的原型已在 IBM PC/286上实现。本文讨论它的设计思想和实现技术,并给出一个简单的查询实例。     

面向对象区域分裂并行计算环境的研究

介绍了区域分裂法（ＤＤＭ）以及它的灵活性和多样性，提出了一个面向对象ＤＤＭ并行计算模型并讨论了基于此模型的软件环境的实现问题，给出了一个解Ｐｏｉｓｓｏｎ方程的Ｄｉｒｉｃｈｌｅｔ问题的应用实例     

基于规则方法的管理对象行为形式化描述

在OSI管理框架中,GDMO是一种广泛使用而又比较有效的管理对象建模技术,但缺乏对管理对象行为的精确描述.为此,本文提出一种基于规则的方法来完整、精确、无二义性地形式描述管理对象的行为.文章首先引入了面向对象的方法、管理对象、GDMO表示法,然后通过具体例子深入研究基于规则方法的管理对象行为的形式描述.研究结果表明,带有对象通信规则的概念可以与具有继承与包封性质的面向对象方法共存,同时能很容易把这种规则方法集成到GDMO模板表示法中去.     

面向对象程序流程框图方法的研究

在传统的结构程序设计方法和理论的基础上，分析了面向对象程序设计（OOP）技术的优点和缺点，提出了一种面向对象程序流框图的新方法，并定义了一套符合体系，用以说明面向对象程序结构，提高面向对象程序的可读性及可描述性。     

面向对象多层分布并行逻辑语言MDP－PROLOG~（＋＋）的设计

本文探讨了逻辑、面向对象、多层并发等方法的融合，介绍了一个较规范、较通用的面向对象多层分布并行逻辑语言ＭＤＰ－ＰＲＯＬＯＧ＋＋，论述了该语言面向对象设施和并发执行设施的设计．该语言不仅可在多层分布并行系统上实现，也可在小规模粗粒度的并行系统上实现．     

基于MATLAB(SIMULINK)的电弧炉电极调节系统FUZZY-PD控制器的仿真

介绍了采用MATLAB V5.2提供的模糊逻辑工具箱来设计研究电孤纺电极调节系统中的模糊－－PD控制器，讨论了在SIMULINK环境下模糊－PD控制器的参数自调速原理、结构、建立模糊控制规则库和模糊推论方法，并给出仿真结果与结论。     

一种基于Rough集理论的最小风险决策规则提取方法

波兰科学家Zdzisilaw Pawlak将概率统计中的Bayesian公式与Rough集模型相结合建立基于决策理论的概率模型，给出了一系列的决策规则及相关讨论。在此基础上结合在银行信贷分析的实际例子描述了基于Rough集理论的最小风险决策规则提取方法及它的实际应用，可以看出这为非结构化风险决策问题提供了一条很好的辅助决策的途径。     

基于知识的多媒体创作模型

通过对传统方法进行分析,引入语义网络的知识表示方法,将面向对象技术与超媒体方法相结合,提出了一个基于知识的多媒体创作模型（ＫＡＭ）,给出了ＫＡＭ模型的形式化定义,并对该模型的结构进行了讨论．ＫＡＭ模型具有以下特点：（１）支持结构与内容的分离;（２）支持复合机制;（３）基于语义的导航,有效地避免了在交互性系统中的迷路问题;（４）独立的链服务功能和管理功能,保持系统的开放性、可扩充性     

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

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

一种用于诊断电子设备故障的专家系统

本文着重从分析电子设备故障诊断的人类专家的实际工作特点入手，指出单纯采用产生式规则的专家系统的不足之处，进而提出一个同时使用框架及产生式规则的专家系统一一电子设备故障诊断专家系统;同时描述了该系统的部分算法及实现原理.通过分析该系统的建立过程，本文旨在强调这样一个观点:选择适合于领域特点的知识表示方法及适当的推理算法对于建立一个实用的专家系统是很重要的.     

一种新的分析和检查需求模型

由于ＳＣＲ（ＳｏｆｔｗａｒｅＣｏｓｔＲｅｄｕｃｔｉｏｎ）是较实用的定义软件系统需求的方法，以此方法为基础，提出一个形式化的分析和检查需求的模型．此分析和检查模型主要根据综合知识表示模型的一些基本原理，使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义，并通过执行规则来自动分析由ＳＣＲ定义的需求．为便于理解，给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性．     

基于多媒体数据库的数据挖掘系统原型

提出了一种多媒体数据挖掘的系统原型 MDMP.介绍了 MDMP原型构件和开采函数 ;描述了挖掘处理与知识表示 ,讨论了多媒体数据特征立方体构建及在线分析挖掘 OL AM机制 .MDMP用于从多媒体数据库中挖掘出隐含的用户感兴趣的知识 .     

基于数据挖掘的入侵检测系统框架

提出了基于分布式数据挖掘的入侵检测系统框架，详细讨论了该系统的实现方案、模块结构和关键技术，最后给出了系统训练和评价方法。该系统以基于关联规则方法的分布式数据挖掘技术为核心，从而实现了规则库的自动生成和更新，并能有效检测大规模协同攻击。     

面向对象建模语言AML的代数语义

ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言,其兼具形式化语言和面向对象图形语言的特点,并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术,着重讨论ＡＭＬ语言中与Ａｄａ９５ 中有明显不同的成份的语义,即类程序包、结构程序包的代数语义．     

谓词逻辑系统MTL∀中公式的公理化真度

命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL?中,利用公理化方法提出了MTL∀公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时在谓词逻辑系统MTL?的一阶闭逻辑公式集中引入了相似度和伪距离,证明了关于相似度的一些良好性质,并讨论了逻辑运算关于伪距离的连续性问题。     

概念格的规则约简与属性特征

在研究了概念格形成的偏序结构的基础上，引进了由两个形式背景形成的决策形式背景，讨论了外延集类上等价关系和交一致关系，给出了决策形式背景下规则提取与属性约简方法．同时对于在规则约简中起不同作用的属性，区分了核心（存在于任何约简中）、相对必要属性（存在于某些约简中）和不必要属性（不存在于任何约简中），给出了各类属性的特征和判别方法．这些方法为概念格规则提取的启发式算法打下了基础．     

关于bj图的性质及应用

利用bj图的读图规则和积项中变量数图对bj图的性质作了进一步的研究，提出了若干新的性质，给出了相应的证明，此外，文中还讨论了它们的应用，并用实例作了说明，本文的讨论揭示了bj图的内在规律，有助于开拓bj图的应用领域。     

面向规则的智能空间数据质检模型及实现

为了提高空间数据质检的效率，实现要素类间拓扑空间关系的智能检测，提出了面向规则的智能空间数据质检模型（RSTT），重点讨论了RSTT模型体系结构和拓扑规则等核心问题．基于RSTT和四层体系结构模型，以空间数据质检方案的灵活定制、数据批量自动检查和质检规则零编码扩展等为目标，开发了空间数据质检系统LR_Checker．通过近40G的国土资源空间数据测试表明，应用LR_Checker进行数据检查可大大降低空间数据建库的工作量，并可有效控制数据质量，同时也证明RSTT模型的正确性、有效性和合理性．     

基于面向对象程序设计语言的代码分类提取模型研究及应用

通过对多种面向对象开发工具开发软件进行文件组织分析,提出一个文件组织的层次模型.通过对具体VB语言的分析,获取VB语言的项目组织规则,并编程实现提取VB项目中的对象,包括属性和代码,以及对象之间的关系.     

冲击拉压疲劳试验机及试验方法

本文介绍自行设计的冲击疲劳试验机及试验方法，对试验技术及误差进行了分析讨论。