一种基于Intranet和多Agent系统的决策支持系统框架

基于Intranet的决策支持系统的研究不仅具有重大的理论价值,而且具有很高的应用价值。该文通过对多A-gent系统与传统决策支持系统的比较和结合,把Agent方法引入到基于Intranet的决策支持系统的研究中,提出了一种新型的决策支持系统实现框架。该框架充分利用了Agent自主运行、主动性、持续性和问题求解能力以及多Agent系统的分布式和合作性等特点,对基于Intranet决策支持系统结构的研究产生了深刻的影响。该文给出了一个基于该框架的原型系统实现,通过仿真可以看出该实现框架非常适合于企业Intranet分布式开放环境。     

一种嵌入式DSS客户端的架构设计及优化

达尔文流媒体服务器DSS(Darwin Streaming Server)因其良好的框架结构和开放性作为视频点播服务器广泛应用于各种流媒体系统中。本文基于嵌入式终端实现了一个DSS客户端,设计了该终端的体系架构,给出了多种媒体格式自适应支持以及提高用户体验的VCR操作的方法,并在性能上进行了优化。     

复杂适应系统与分布式卫星系统自主运行

以复杂适应系统理论为指导,探讨了基于Agent技术实现分布式卫星系统（DSS）自主运行的研究方法和主要步骤。目前国内外关于DSS自主运行技术的研究尚处于起步阶段,缺乏系统的理论指导。该文试图运用复杂适应系统（CAS）理论的思想和方法来指导DSS自主运行技术的研究,并以此扩展CAS理论的应用领域。首先介绍CAS理论的基本概念和核心思想,然后分析自主运行DSS的控制需求和特征,指出CAS理论用于指导DSS自主运行的必要性和可行性,并给出基于Agent实现DSS自主运行的整体框架。     

On the history of Ludwig von Bertalanffy’s “General Systemology”, and on its relationship to cybernetics – part III: convergences and divergences

Bertalanffy’s so-called “general system theory” (GST) and cybernetics were and are often confused: this calls for clarification. In this article, Bertalanffy’s conceptions and ideas are compared with those developed in cybernetics in order to investigate the differences and convergences. Bertalanffy was concerned with first order cybernetics. Nonetheless, his perspectivist epistemology is also relevant with regard to developments in second order cybernetics, and the latter is therefore also considered to some extent. W. Ross Ashby’s important role as mediator between GST and cybernetics is analysed. The respective basic epistemological approaches, scientific approaches and inherent world views are discussed. We underline the complementarity of cybernetic and “organismic” trends in systems research within the unitary hermeneutical framework of “general systemology”.     

一种基于本体和CBR的电子政务项目审批决策支持系统

分析了将本体与CBR方法结合开发电子政务项目审批决策支持系统的优点,给出了该系统的总体框架和决策支持流程,着重介绍了基于本体的电子政务项目案例的组织和表示方法以及引入本体后案例检索过程中的相似度计算方法。实验结果表明,利用本体对项目案例包含的知识进行提取和表示,再利用这些知识对案例进行组织和检索,有效地提高了案例检索的查准率和查全率。     

基于多Agent的电力营销决策支持系统的研究

针对传统决策支持系统的局限性以及决策支持问题的复杂性,本文把Agent方法引入到决策支持系统的研究中,提出了一个新型的决策支持系统框架,设计了基于多Agent的电力营销决策支持系统。该模型中的多个Agent通过Agent解释服务通信交流,相互合作,共同完成决策支持任务,充分的发挥了Agent的自主性、反应性、协作性,为电力企业的决策问题的解决提供了一个新的途径。     

基于数据仓库的投资项目决策支持系统研究

以投资项目决策支持系统IPDSS为例,研究了数据仓库技术在决策支持系统中的应用。介绍了决策支持系统的概念和作用,以及建立投资项目决策支持系统的意义,并在数据仓库、联机分析处理和数据挖掘的理论基础上,提出了基于数据仓库的决策支持系统的体系结构。然后,在此基础上建立了IPDSS,并分析了IPDSS的主要模块和模型、C／S体系的三层结构以及数据仓库管理系统。IPDSS的实际应用效果表明,将数据仓库技术应用到决策支持系统中。能够提高系统的性能和决策支持效果,是DSS未来发展的新方向。     

Multi‐adjoint Relation Equations: A Decision Support System for Fuzzy Logic

Fuzzy relation equations (FRE) are an important decision support system (DSS), for example, in fuzzy logic. FRE have recently been extended to a more general framework, called multiadjoint relation equations (MARE). This paper shows MARE as a fundamental DSS in multi‐adjoint logic programming. For that purpose, multi‐adjoint logic programs will be interpreted as a MARE, and the solvability of them will be given in terms of concept lattice theory. Furthermore, two approximations (optimistic and pessimistic approximations) of unsolvable equations will be obtained from a multiadjoint object‐oriented concept lattice. Finally, a real‐life example will be studied.     

基于GA的仪表新产品功能结构方案推理机模型关键技术研究

虚拟原型逼真设计是近几年发展起来的新技术,主要研究虚拟环境下的产品建模问题以及基于仿真的集成产品和过程设计问题．产品功能结构方案推理机模型是虚拟原型逼真设计实现的关键技术之一．针对功能模块组合方案优化问题的复杂性,研究了基于遗传算法（GA）的功能结构方案推理机模型的实现技术,提出了双链异或杂交算子和自适应调节杂交概率和突变算子选择等算法,结合仪表产品设计应用实例,验证了模型的优越性,并将其应用于仪表新产品开发决策支持系统——仪表LC—QDPDS软件系统中．     

DSS鲁棒性的模糊逻辑改进

DSS的设计中，决策模型或决策规则的构建都经常的涉及不确定性问题．而DSS的鲁棒性是衡量DSS解决不确定性问题的主要标志．本文针对这一问题，提出了一种基于模糊逻辑技术的DSS设计，并与传统的基于线形加权和法的DSS进行比较，显示其在鲁棒性方面的突出改进．     

Approximate inference for medical diagnosis

Computer-based diagnostic decision support systems (DSSs) will play an increasingly important role in health care. Due to the inherent probabilistic nature of medical diagnosis, a DSS should preferably be based on a probabilistic model. In particular, Bayesian networks provide a powerful and conceptually transparent formalism for probabilistic modeling. A drawback is that Bayesian networks become intractable for exact computation if a large medical domain is to be modeled in detail. This has obstructed the development of a useful system for internal medicine. Advances in approximation techniques, e.g. using variational methods with tractable structures, have opened new possibilities to deal with the computational problem. However, the only way to assess the usefulness of these methods for a DSS in practice is by actually building such a system and evaluating it by users. In the coming years, we aim to build a DSS for anaemia based on a detailed probabilistic model, and equipped with approximate methods to study the practical feasibility and the usefulness of this approach in medical practice.In this paper, we will sketch how variational techniques with tractable structures can be used in a typical model for medical diagnosis. We provide numerical results on artificial problems. In addition, we describe our approach to develop the Bayesian network for the DSS and show some preliminary results.     

基于嵌入式实时操作系统的驱动框架

嵌入式设备随着应用领域的扩展呈现出多样性以及复杂性，而嵌入式实时系统普遍不具有良好的设备驱动体系结构，造成驱动开发困难、可移植性差。该文给出了一种嵌入式实时操作系统下的驱动框架，支持各种设备及总线接口，设计了一种快速的设备中断机制，符合嵌入式实时系统的强实时、高可靠的特点，能够满足开发各种嵌入式系统。     

信息安全风险管理系统的设计与实现

嵌入式设备随着应用领域的扩展呈现出多样性以及复杂性,而嵌入式实时系统普遍不具有良好的设备驱动体系结构,造成驱动开发困难、可移植性差.该文给出了一种嵌入式实时操作系统下的驱动框架,支持各种设备及总线接口,设计了一种快速的设备中断机制,符合嵌入式实时系统的强实时、高可靠的特点,能够满足开发各种嵌入式系统.     

基于Agent的航空安全管理智能决策支持系统

基于基元事件分析法，给出了一个Internet上用多Agent实现的航空公司安全管理智能决策支持系统AAIDSS的设计与实现方法，该系统在决策支持系统3库结构的基础上，采用了多智能体技术。提出了由OLTP处理、基础结构部分、Agent组织共同组建智能决策支持系统的框架模型，给出了事故分析Agent、界面Agent的核心技术。AAIDSS的设计和实现方法，对于构建基于Intranet的中小型智能决策支持系统具有普遍的参考价值。     

CLIPS 在黑河水文水资源决策支持系统中的集成研究

传统的决策支持系统使用数学模型和数值计算方法来辅助决策, 因此决策者必须对某领域的模型和数据有一定的了解。黑河水文水资源决策支持系统集成了SWAT、TopModel、水文系统模型、时间序列模型等一系列模型。这些模型的结构和参数都比较复杂, 决策者难以掌握。在黑河水文水资源决策支持系统中, 加入专家知识支持, 使得决策者更容易的使用该系统是很有必要的。研究中, 采用美国航空航天局(NASA ) 开发的通用专家系统开发工具CLIPS 来实现专家知识支持,使用嵌入式方式将CL IPS 的核心推理机集成到黑河水文水资源决策支持系统中。CLIPS 专家系统在黑河水文水资源决策支持系统中的作用有3 点: ①辅助决策者进行模型的选择; ②辅助决策者进行模型参数的输入; ③辅助决策者分析模型运行的结果。     

数据建模工具及其在决策支持系统中的应用

随着数据建模工具的不断推新,开发决策支持系统所能选择的建模工具也越来越多。论文在介绍几种商品化系统建模工具的基础上,对它们的特点进行了较全面的比较,对它们基于应用的优缺点进行了分析。在选定数据建模工具ERWin后,详细论述了其在决策支持系统的具体应用。     

Reasoning Theories

Our long-term goal is the development of a general framework for specifying, structuring, and interoperating provers. Our main focus is on the formalization of the architectural and implementational choices that underlie the construction of such systems. This paper has two main goals. The first is to introduce the main intuitions underlying the proposed framework. We concentrate on its use in the integration of provers. The second is the development of the notion of reasoning theory, meant as the formalization of the notion of implementation of the logic of a prover. As an example we sketch an analysis, at the reasoning theory level, of the integration of linear arithmetic into the NQTHM simplification process.     

基于网格的DSS框架研究

网格是继Internet和Web之后的第三个信息技术浪潮,它将为整个网络资源的无缝连接和全面共享提供技术平台和支撑环境。这给决策支持系统(DSS)的研究带来了新思路。基于网格的决策支持系统的研究不但具有重大的理论意义,而且具有很高的应用价值。文中首先介绍了网格技术的基本概念,然后分析了当前决策支持系统研究中所面临的一些问题,阐述了网格的出现和成熟对DSS发展将产生的影响。最后给出了一个基于网格的DSS框架。