基于定性模型的定性仿真方法

定性仿真在定性推理中起着核心作用．本文将介绍基于定性模型的定性仿真法的基本内容，讨论支持其走向实用的主要方法和技术，并展示其在若干领域中的应用．     

动态系统的定性推理：定性模型的建立与定性仿真方法

本文首先介绍了动态系统的定性推理的产生背景，发展概况以及定性推理的实际应用前景，然后以Ｋｕｉｐｅｒｓ的定性仿真理论为中心介绍了定性推理的基本原理及方法，其中重点介绍了动态定性仿真算法ＱＳＩＭ和定性推理的最新发展，并对存在的问题进行了探讨。     

基于结构模型化分析方法的定性仿真建模

研究定性仿真建模问题,由于复杂系统结构复杂,包含大量变量和约束,为建立系统的定性仿真模型,需要使用一种结构模型化分析方法来分析系统结构.为提高建模的准确性,以系统物理结构和功能中的因果关系为基础,提出了一种采用结构模型化分析方法辅助建立系统模型的理论.通过对系统要素间的因果关系进行定义,结合仿真目标,对系统要素间的因果关系进行分析,建立了系统的递阶结构模型.结合系统的物理结构与功能特性,建立了定性仿真模型.通过实例说明能快速分析系统要素间的关系,并建立系统的定性仿真模型,为进一步的模型分解与仿真奠定了基础.     

一种基于有向图的几何约束系统分解方法

1 引言约束分解是几何约束满足问题(GCSP)研究的一个重要内容。此前已经有很多工作实现了将GCSP向非线性方程组求解的转化,并研究了约束系统的表达和分解的问题。特别是Kramer以机构学为背景,提出了几何约束系统的无向图表达。后来,董金祥将约束无向图转换成有向图,为构造全参数化的图形奠定了基础;J.Y Lee则针对尺规构造图形进一步发展了基于自由度分析的图规约方法。但是在上述的研究中,对欠约束几何系统的分析比较欠缺。而在大多数的实际应用中,特别是在初始设计阶段,欠约束的情况是非常普遍的。对于一个欠约束系统而言,约束的匹配形式存在多样     

基于定性状态模型的定性控制方法研究

针对某些复杂系统难以获得精确数学模型来实现有效控制这一问题,采用定性状态模型来描述含有不确定性的非线性系统,提出了一种定性控制方法。首先通过对系统状态的定性划分,采用基于定性推理的自动机建立被控系统定性状态模型,然后设计基于系统定性状态模型的定性控制器,并给出了控制器设计的一般步骤。最后以液位控制系统为例,建立了液位对象的定性状态模型并设计了定性控制器,仿真结果表明该方法的有效性及其理论价值和应用前景。     

面向制造系统的有向图仿真建模方法研究

通过对制造系统虚拟仿真的需求进行分析，提出将“面向对象的分析方法、三维几何模型和仿真机制”统一起来的有向图仿真建模机制，详细讨论了虚拟仿真建模中涉及到的面向对象建模、图形化建模、运动建模和层次化建模等技术。     

基于符号有向图的故障诊断系统及其软件平台

基于符号有向图(SDG)的故障诊断系统不依赖精确数学模型和在线数据,适用于外场通用故障诊断设备实施现场诊断。建立图形化SDG模型开发平台是实现其通用性的关键。基于Visio的软件实现通过模具设计和功能扩展降低了平台开发成本,提高了平台运行的可靠性,也使得现场维护人员可以方便地利用其扩展诊断设备功能。     

基于行为的模型自动建立方法

提出了一种定性模型的自动建立方法，它可以输入定性行为或定量行为，并可利用已有的系统结构信息，来自动建立系统的结构模型，并将该方法与同类的建模作了比较，最后就其未来工作和应用前景作了分析和讨论。     

基于有向图的工作流模型的研究

工作流模型的建立是工作流管理系统中非常重要的一步,关系着工作流管理系统实施的成败。文中首先分析了基于IPO图的有向图工作流模型,并在其基础上运用面向对象的思想提出了基于活动节点和有向连接弧的有向图模型。接着分析了这种模型的特点,结合XML技术给出了该模型的XML文件定义,通过具体的实例说明了该种模型的可扩展性和可维护性,可以有效解决一些流程描述中的难点,并给出了流程描述难点如联合审批和回退机制的支持和解决方案。最后结合了电子文件的申请浏览流程的例子说明了该模型定义在实际流程的中的有效运用。     

基于比较的一种定性仿真方法

基于比较的定性仿真是研究当动力学系统模型内部受到参数扰动或初始状态有所变化后，其定性行为如何变化，并给出因果解释．本文在Ｗｅｌｄ，Ｎｅｉｔｚｋｅ和Ｎｅｕａｎｎ的研究基础上，提出了一种基于比较的定性仿真方法ＣＱＳＩＭ，该方法利用观察标准来实现一致部分的比较，建立一个或多个偏差共同作用的比较仿真并分析行为的拓扑变化.     

面向对象数据库中基于有向图的联系代数

本文提出了基于基有向图的联系代数，并给出了一个优化联系代数表达的算法。本文所提出的改进较其原形式能 更精确地反映面向对象模型的实质，更有利于对象的查询处理与优化。     

基于特征分解模式的软件产品线参考设计方法

基于特征的领域分析与建模技术是软件产品线开发中较为主流的需求建模方法,为描述产品线共性和可变性及其之间的关系提供了良好的支持。然而在现有特征模型基础上,如何指导系统开发人员进行软件系统的详细设计是亟待解决的问题。该问题主要体现在特征之间的结构与语义关系,以及特征的可变性如何映射为合理的系统设计模型这两个方面。针对上述问题,提出一种基于特征分解模式的软件产品线参考设计方法。该方法为特征模型中具有不同结构、不同语义的特征分解模式提供参考的详细设计方案,并提出相关聚类准则以支持对应全局特征模型的设计模型优化。最后,通过成绩录入软件产品线对该方法的有效性进行验证。     

一种基于继承性的类分解方法

在并机群系统上进行分布对象计算出的过程中，若采有代理技术处理继承关系，通信开销会增大，难以提高运行效率，针对这一问题，作者提出了一种基于继承性的类分解方法，本方法经在ＰａｒＣＬＯＳ环境下测试，表明各采用这种方法编程，可以减少通信开销，使程序执行效率得到较大提高。     

一个基于布尔方程的简化组合逻辑设计的分解方法

本文提出了简化组合逻辑设计的布尔方程分解方法，是将Ｆ（ｘ１，ｘ２，．．．ｘｎ）＝１的组合逻辑设计转化为Ｆ（ｘ１，ｘ２，．．．ｘｎ）＝０的组合逻辑设计问题，然后将Ｆ（ｘ１，ｘ２，．．．，ｘｎ）＝０转化为与其等价的布尔方程组，对得到的布尔方程组用“异或”逻辑实现，从而获得极为简化的组合逻辑设计，最后我们给出了解布尔方程的程序设计框图。     

二维准分形形状的定性表示和建模

本文提出了二维准分形形状的一种定性表示式－－－正则生成系统，研究了一类准分形形状的建模方法，改进了Ｐｒｕｓｉｎｋｉｅｗｉｃｚ和Ｇｕｊａｒ等人的工作。     

定性空间推理的分层递阶框架

定性空间推理是定性推理和空间推理的重要组成部分 .拓扑和形状是定性空间推理研究的关键问题 .针对定性空间推理已有一般框架存在的问题 ,提出了定性空间推理的分层递阶框架 ,并结合拓扑和形状方面的定性空间推理研究工作阐述了所提出的框架的有效性和合理性 .最后总结了分层递阶框架的要点并提出了基于该框架的进一步研究工作 .