排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础. 相似文献
2.
3.
提出了一种基于第一原理的定性诊断探测法,该方法将经验知识纳入算法中,与国际上典型的GDE系统中的Shannon熵预测法相比更快速,简单,有效,并且对探测值与新候选的关系进行了仔细分析,利用所得结论可大大地减少诊断系统的计算时间。 相似文献
4.
国际上现有的诊断推理方法可归纳为两类:基于第一原理的定性诊断推理和基于启发式知识的定性诊断推理,由于这两种方法各有其优缺点,因此如何将两种方法有机地结合起来成为近年来该领域的研究热点。本文提出一种将第一原理与启发式知识有机结构的模型,并给出了相应的算法。 相似文献
1