Decision Support Systems (DSS) development using a model of user inquiry types: Methodological proposals and a case study

A study of the DSS implementation area reveals an increased emphasis on methodologies for DSS development. As the DSS field matures, a larger number of methodological options are becoming available to the DSS developer. Existing methodologies have adopted various methods for performing the important task of DSS requirements analysis and specification. In envisaging a hierarchy of requirements analysis methods, a method for improved requirements analysis is proposed to remedy observed deficiencies within it. This method is based on a view of generic types of inquiries or solicitations made by the DSS user during decision-making. This formalism constitutes the basis of a proposed DSS development methodology that offers several benefits to DSS development. The intended benefits include a sharper and more focused requirements analysis to improve the DSS development process. This paper describes the model and methodology, alongside details of a real-world example of their use in developing a Marketing Decision Support System (MKDSS) for the support of marketing decision-making.     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

一种基于模糊规则的非线性系统快速模糊辨识方法

针对以往模糊建模方法中算法中算法过于复杂的问题，提出了一种简单而有交的复杂系统模糊建模新方法。该方法是基于输入空间的模糊划分，计算给定样本在各模糊子空间的隶属度，并列用卡尔曼滤波算法辨识模糊模型的结论参数。整个辨识过程与模糊聚类方法和误差反馈学习方法相比所需的CPU时间最短。最后通过著名的Box-Jenkins煤气炉数据仿真结果证明了该方法的有效性与实用性。     

MARKOV DECISION PROGRAMMING-THE FIRST PASSAGE MODEL WITH DENUMERABLE STATE SPACE

In this paper,we discuss MDP with discrete time parameter-the firstpassage model with denumerable state space.Under assumption A in this paper,we prove that an ε(>0)-optimal stationary policy exists.To find an ε-optimalstationary policy,an algorithm of policy improvement iteration and a method ofsuccessive approximations are given.     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

多专家集成式决策支持系统探讨

本文在文献[1]给出集成式决策支持系统(I—DSS)的基本概念及提出I—DSS的两种主要形式的基础上,对I—DSS的形式之一——多专家集成式决策支持系统(MEI—DSSS)作了较深入的探讨。本文阐述了MEI—DSS提出的原因,给出了MEI—DSS的基本概念,概述了MEI—DSS同相关学科和技术的关系,提出了MEI—DSS的基本结构框架,并从知识表示、推理机制以及多专家系统动态组合进行问题求解的算法实现等方面探讨了该系统在大型决策中的应用。本文最后提出了MEI—DSS今后有待深入研究的课题。     

银行的信贷决策机制（一）——信贷市场为不完全竞争情形

本文研究了信贷市场处于不完全竞争情形下的信贷决策机制，对于完全信息情形给出了信贷决策机制的设计；针对不完全信息情形提出了信贷决策模型和机制的最优性条件，讨论了信贷决策机制的若干性质．本文的研究工作是基于对风险刻画的“均值保持展形”概念的．     

游戏在规则之间--解读唐宋词审美愉悦

词作为"艳科"、"小道",起源于宴乐,流行于舞榭歌场,以艳情柔媚的风格作为叙事方式,取代了诗歌的统治地位而成为鼎盛一时的文学主流.这样一种文学形式的流行和兴盛,可以说是一个社会符号系统对欲望的妥协.在这场语言的集体狂欢中,词作为一种特殊的文化景观,游戏在社会角色规则、性别规则以及语言本身的规则之中,成为中国古代文学一朵盛极而糜的奇葩,也为今世之人带来与众不同的审美愉悦.     

基于﹒NET平台的魔芋专家系统的设计与实现

通过对农业技术应用现状的分析,指出了研制网上魔芋专家系统的必要性以及主要功能。本论文介绍了ASP.NET技术的特点、ADO.NET技术、以及初级魔芋专家系统开发的部分实例。     

从数据中挖掘模糊规则及其系统实现

针对一类多输入单输出模糊逻辑系统，提出一种简单而有效的方法从数据库中挖掘模糊规则．该方法产生的模糊规则库具有良好的完备性和鲁棒性，从仿真实验可以看出利用数据挖掘方法建立的模糊系统具有更好的逼近能力．为了使该方法在应用上具有良好的通用性，设计和实现了基于组件技术的数据挖掘系统．