决策支持系统中的模型及模型库管理系统 被引量：19

1

作者 张雪凤 陈明裕 陈永年 《计算机研究与发展》 EI CSCD 北大核心 1993年第3期36-41,15,共7页

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

关键词 决策支持系统 模型 模型库

在线阅读 下载PDF 职称材料

统计数据库管理系统的设计与实现 被引量：1

2

作者 曾红卫 陈永年 《软件学报》 EI CSCD 北大核心 1995年第2期123-128,共6页

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

关键词 统计数据库 数据压缩 管理系统 设计

在线阅读 下载PDF 职称材料

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

3

作者 许华虎 俞星华 +1 位作者 周颖 唐毅 《计算机工程》 CAS CSCD 北大核心 1994年第S1期705-716,共12页

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

关键词 表格 图表 图形设备接口 设备描述表 画笔 刷子

在线阅读 下载PDF 职称材料

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

4

作者 蔡文立 陈永年 《计算机研究与发展》 EI CSCD 北大核心 1993年第5期1-7,共7页

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

关键词 决策支持系统 模型库 生成器 DSS

在线阅读 下载PDF 职称材料

不精确Newton法与Broyden法的仿射不变收敛性 被引量：6

5

作者 白中治 童培莉 《电子科技大学学报》 EI CAS CSCD 北大核心 1994年第5期535-540,共6页

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

关键词 不精确牛顿法 Broyden法 仿射不变性 收敛性

在线阅读 下载PDF 职称材料

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

6

作者 但琦 童頫 《计算机科学》 CSCD 北大核心 1995年第2期79-81,共3页

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

关键词 神经网络 稳定性分析 网络平衡点

在线阅读 下载PDF 职称材料

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

7

作者 但琦 童頫 《计算机科学》 CSCD 北大核心 1993年第1期58-59,54,共3页

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

关键词 神经网络 稳定性 非对称网络

在线阅读 下载PDF 职称材料

缺省推理中的三个定理 被引量：2

8

作者 吴茂康 《计算机学报》 EI CSCD 北大核心 1991年第8期624-628,共5页

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

关键词 缺省推理 定理 人工智能

在线阅读 下载PDF 职称材料

关于Fuzzy推理式的可信度估计 被引量：1

9

作者 吴茂康 《计算机学报》 EI CSCD 北大核心 1993年第2期158-160,F003,共4页

众所周知,Fuzzy逻辑比古典逻辑更为充分更为合理地反映了我们的客观世界。在Fuzzy逻辑中,公式的值可取为[0,1]中的任一实数。这一值可看作是该公式的可信度。若S为一公式,则T(S)代表S的可信度,在[1]中,已经对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。 展开更多

关键词 推理式 可信度 估计 FUZZY逻辑

在线阅读 下载PDF 职称材料

任意矩阵的连接法中的简化规则 被引量：1

10

作者 缪准扣 《计算机学报》 EI CSCD 北大核心 1989年第12期948-949,共2页

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

关键词 矩阵 连接法 简化规则

在线阅读 下载PDF 职称材料

论CIMS的软件设计方法学

11

作者 童頫 《计算机应用研究》 CSCD 1992年第4期1-8,27,共9页

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

关键词 程序设计 CIMS

在线阅读 下载PDF 职称材料