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的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

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.     

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

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

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

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

森林面积分布系统的最优控制存在性问题

本文研究森林面积分布系统的最优控制问题。本文将林木总和长消率作为控制变量，以“范数最小”来衡量其最优性，利用空间Ｌ＾２（０，Ｔ）Ｔ〉０的自反、光滑和严格凸性，给出了森林面积分布系统最优控制的一个存在性定理。     

基于三支决策的密度敏感谱聚类

将三支决策与密度敏感谱聚类结合,提出了一种基于三支决策的密度敏感谱聚类算法。该算法通过在密度敏感谱聚类的聚类过程引入容差参数得到每个类的上界,然后通过扰动分析算法从上界中分离出核心域,上界和核心域的差值被认定为该类的边界域。聚类结果用核心域和边界域来表示每个类簇,可以更全面地展示数据的结构信息。与传统的硬聚类算法在UCI数据集的实验结果相比较,本文使用核心域计算聚类的评价指标DBI、AS和ACC都有所提升,较好地解决了不确定性对象的聚类问题。     

棉纺厂管理信息系统的研制

本文根据开发CTU-JMS管理信息系统已取得的成功经验,介绍CTU—JMS管理信息系统的运行环境;总体规划中运用的两种设计策略——“由顶向下”分析法和“由下至上”分析法;MIS中建立大型基础数据库采用的主要技术;MIS决策管理层的形成以及生产经营决策子系统的技术特点。为推进我国的纺织企业管理信息系统的开发和实现现代化管理作了探索。     

基于最小矩阵距离准则的一种群体决策方法

在分析了基于层次分析法的群体决策方法的类型、评价准则后,提出了一种基于最小矩阵距离准则的群体决策方法。该方法应用一个矩阵空间上的距离公式,将求群体判断矩阵的问题看成为求与各个体判断矩阵的距离之和为最小的矩阵的问题,然后又进一步等价为目标规划问题。该方法比较直观可信,因而容易说服各评判者接受由该方法得到的群体判断矩阵。     

规避道德危害的信贷决策机制

研究了在不完全信息的信贷市场中,规避风险厌恶型企业道德危害的信贷决策机制,考察了在该机制中贷款利率、抵押品需求量和信贷配给对规避企业道德危害的作用．提出了这种机制作用下均衡的贷款合同应满足的一些性质．