A New Discipline of Science-The Study of Open Complex Giant System and Its Methodology

This paper introduces the conception of open complex giant system and the methodology for dealing with the system, with stress on its profound significance in development of science and technology. The authors conclude that the reductionism underlying the exact science is not suitable to open complex giant system, and the only feasible alternative is the meta-synthetic engineering from the qualitative to the quantitative.     

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今后有待深入研究的课题。     

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

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

提高学生科技能力,培养信息技术创新人才

培养计算机与电子信息技术的创新人才是信息产业发展的需要．本文介绍我们在培养学生的创新精神 和科技能力,提高学生分析问题和实际解决问题能力等方面的一些思考和具体的做法．