超长指令字计算机体系结构及其优化编译技术

超长指令字技术作为并行处理技术的一个重要组成部分而日益得到重视和研究。本文对ＶＬＩＷ计算机的体系结构及其优化编译器中所常用的优化技术－代码压缩算法做了较全面的综述。

决策支持系统中的模型及模型库管理系统

决策支持系统(DSS)旨在解决半结构化、非结构化问题以支持决策活动,这就使得决策模型成为DSS 成功的关键,因而对模型及模型库的管理也就成为DSS 的核心。本文提出一个模型及模型库管理系统的设计方法,它能实现模型的建立、组织、修改、删除、使用等功能。

统计数据库管理系统的设计与实现

统计与科学数据库与常规商用数据库有很大差异，利用常规的商用数据库管理系统建立统计与科学数据库是不合适的．本文以我们开发的统计数据库管理系统（ＳＳＤＢＭＳ）为基础，讨论ＳＳＤＢＭＳ的数据模型数据压缩、安全保密、统计查询等一系列技术．

东海数表软件系统的图表功能及其实现

本文主要介绍了中西文Windows环境下东海数表软件DHEC的图表的功能及其实现,同时介绍了Windows程序设计的技巧和一些基本问题。

一个智能决策支持系统生成器 KD.1的设计和实现

本文介绍了一个智能决策支持系统生成器KD.1的设计方法和实现技术。重点讨论了DSS 与专家系统技术的结合形式,KD.1的主要结构和KD.1中的模型描述语言MDL 和专家系统描述语言ESDL;同时对实现中的一些问题作了探讨。

不精确Newton法与Broyden法的仿射不变收敛性

给出了不精确Ｎｅｗｔｏｎ法的半局部收敛性定理，通过改善条件γ＿ｋ／Ｆ（ｘ￣ｋ）≤η＿ｋ（ｋ＝０，１…）使其具仿射不变性，建立起了不精确Ｎｅｗｔｏｎ法的具仿射不变性的半局部收敛定理，在一定条件下，讨论了Ｂｒｏｙｄｅｎ方法的具仿射不变性的存在──收敛定理，从而，扩大了这两种方法收敛定理的收敛域。

非对称互联神经网络平衡点的稳定性分析(Ⅱ)

在人工神经网络的应用方面,无论是联想记忆,还是神经优化算法,都毫不例外地利用了网络系统的稳定吸引子的性质。因此,都支持神经网络应用的基础理论而言,研究其动力学行为,尤其是稳定性的判断问题,是十分有意义的。

非对称互联神经网络平衡点的稳定性分析

平衡点的稳定性对于大规模动态系统的神经网络是十分重要的。本文研究了非对称互联网络的向量微分方程的平衡点之稳定性。

缺省推理中的三个定理

本文证明了缺省推理中的三个定理.定理1表明了缺省推理的非单调性这一特点.定理2的实际意义在于,在一个封闭规范缺省理论(D,W)中,只要W能推出D中某些缺省的结论,则可以把这样的缺省规则从理论中删除,所得到的较小的缺省理论其延伸仍与原来缺省理论一样.尤其是若W能推出D中所有的缺省规则结论,则(D,W)的延伸就是W,这就是本文推论的结论.

关于Fuzzy推理式的可信度估计

众所周知,Fuzzy逻辑比古典逻辑更为充分更为合理地反映了我们的客观世界。在Fuzzy逻辑中,公式的值可取为[0,1]中的任一实数。这一值可看作是该公式的可信度。若S为一公式,则T(S)代表S的可信度,在[1]中,已经对Fuzzy逻辑中的基本子句的归结式的值做了估计:设C_1,C_2为两个Fuzzy逻辑下的基本子句,R(C_1,C_2)为它们的任一归结式.max[T(C_1),T(C_2)]=b,min[T(C_1),T(C_2)]=a>0.5,b≥a。

任意矩阵的连接法中的简化规则

连接法的基本思想是证明矩阵中每一条路径都是互补的,即至少含有一个互补文字对,如果所有的路径是互补的则矩阵是互补的。因而原始待证公式是有效的,在[1]中W.Bibel给出了一阶逻辑的规范矩阵算法,这个算法容易推广到任意矩阵中。 作者在[2]中提出了几条应用于规范矩阵连接法的简化规则,本文提出两条可用于任意矩阵连接法的简化规则,它们的使用使得连接证明中要测试的路径和子目标的个数减少,并保证了原来矩阵的互补性。这两条规则作为定理来叙述并加以证明。

论CIMS的软件设计方法学

本文从计算机集成制造系统(CIMS)的需求和研究与开发目标出发,指出必须解决的若干计算机技术的关键问题,进一步基于作者关于CIMS将通过计算机软件的集成来实现的观点,较为全面地论述了从系统建模、系统分析到描述工具等主要的软件设计方法学问题,文末综述了CIMS研究与开发的发展前景。

神经处理器

神经计算的概念模型及其信息处理机制的实质;结合几个实例,论述了神经处理器的几种不同开发途径及其基本设计思想;同时结合实例讨论了神经处理器的应用范围及前景,特别强调了从神经计算基本特点出发,最好是和符号计算有机地结合起来;最后给出几点结论.