UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

借用BPR理念改造电子商务专业课程体系的探索

借助业务流程重组的概念,从流程管理的角度分析和研究不同背景下电子商务专业课程建设的主要问题,并提出电子商务专业类课程再造流程的发展思路。     

一种基于第一原理的定性诊断探测法

提出了一种基于第一原理的定性诊断探测法,该方法将经验知识纳入算法中,与国际上典型的ＧＤＥ系统中的Ｓｈａｎｎｏｎ熵预测法相比更快速,简单,有效,并且对探测值与新候选的关系进行了仔细分析,利用所得结论可大大地减少诊断系统的计算时间。     

一种新的混合式定性诊断推理模型

国际上现有的诊断推理方法可归纳为两类：基于第一原理的定性诊断推理和基于启发式知识的定性诊断推理,由于这两种方法各有其优缺点,因此如何将两种方法有机地结合起来成为近年来该领域的研究热点。本文提出一种将第一原理与启发式知识有机结构的模型,并给出了相应的算法。