支持规则推理的神经网络模型

本文研究了支持规则推理的神经网络模型，表明通常执行的推理与符号系统在方法上确实相似，只是它们对常识推理提供了更多的方法。CONSYDERR是一种支持常识推理的连接结构，其目的是给出常识推理的一种模型，并纠正传统规则系统中的脆弱性问题。本项工作表明，推理的连接模型不仅实现了符号推理，而且是一种更好的常识推理的计算模型。     

HKR——一个启发式知识求精系统

知识库系统应提供有效的问题求解方法,并且能够解释求解过程.有效的求解方法应尽可能使求解过程简便.即步骤要少;而解释过程又要求尽可能的详细.影响知识工程师的另外一个复杂的因素是人类专家通常难以完全提供其领域知识的详细的细节信息。     

神经网络与压缩映射遗传算法耦合技术研究

多层神经网络的BP算法的学习过程与网络中的连接权值、传输函数类型的选择以及BP所用的梯度优化算法密度相关，网络可能会出现收敛于局部次优或不收敛的现象。将压缩映射遗传算法应用于BP神经网络的数学模型，构建一种新型的压缩映射神经网络，这种神经网络收敛于全局最优解。     

结构模型实验的计算机动态模拟实现构架

针对结构工程领域的特点，结合OpenGL编程技术、可扩展接口技术、4D模型技术和及体可视化技术，提出了振动台模型实验的计算机动态模拟实现构架，并以基于Window98的VisualC 6.0作为开发工具，利用OpenGL与建模工具的图形接口，采用面向结构实体的建模机制及面向对象的编程方法实现系统。     

基于WWW的远程教育课件系统的开发研究

基于WWW的远程教育课件系统，是利用各种WWW技术、多媒体技术和软件工程等技术，用HTML、Java语言开发而成的《计算机系统结构》课件系统。重点论述了该系统的功能模型及WWW课件开发中的关键技术，并就课件制作中的主要问题及解决方法进行了介绍。     

长螺旋压灌混凝土桩-土相互作用的数值模拟

采用合适的土体屈服准则，通过ANSYS中的接触单元模拟桩-土界面，建立了符合实际的有限元模型，借此对一实际工程中长螺旋桩的QS曲线进行了数值模拟分析，理论值与实测值吻合较好，表明所采用有限元模型的合理性。最后．通过该模型研究了影响单桩沉降量的2个重要因素：长径比和桩土模量比，并对单桩的桩土相互作用机理进行了探讨.     

基于抽象数据类型的程序设计语言的设计

本文以实际设计出一种小型程序设计语言的过程,给出了一种基于抽象数据类型设计程序设计语言的方法。该种方法首先确定一种抽象数据类型,并将各种语句视为抽象数据类型上的操作,再利用一种简单的操作语义函数确定各语句成份的含义,以得到程序设计语言。