基于符号定向图(SDG)深层知识模型的定性仿真

定性仿真是系统仿真技术中的重要研究和应用方向，同时也是人工智能技术的一个重要方面。近年来，随着现代计算机技术的日新月异，使得基于符号定向图(SDG)深层知识模型的定性仿真研究和应用取得了显著进展。SDG模型能够表达复杂的因果关系，具有包容大规模潜在信息的能力，因此特别适合于过程系统危险评价(PHA)、危险识别与故障诊断。SDG模型结构简单，易于建立和修改。然而高质量的SDG模型必须采用经验数据和定量动态仿真检验和校正。采用SDG模型进行定性仿真的关键技术是高效双向推理“引擎”，由计算机软件自动完成。目前，在计算机辅助过程系统危险评价方面，SDG是最有效的方法；在过程系统故障诊断方面，其完备性较好，但诊断分辨率尚待提高。今后的研究应解决：定性仿真和定量仿真相结合；SDG自动建模；通用推理软件平台；大系统高分辨率故障诊断等问题。     

任务/资源图模型的任务调度与资源访问仿真分析(Ⅱ)-"爱国者"拦截作战目标过程实例分析

任务/资源图仿真建模方法由于包含丰富的时间属性而非常有利于分析复杂离散实时系统，通过一个仿真实例来分析任务/资源图模型的任务调度和资源访问。首先利用任务资源图模型对“爱国者”防空导弹拦截作战目标过程进行了仿真建模，然后利用RM任务调度方法和PCP资源访问控制协议对该系统进行了可调度性分析，包括单节点调度、多节点调度和端对端调度分析。复杂系统任务执行过程中会出现各种抢占、挂起、资源冲突情况，尤其是对于最坏情况下的任务调度和资源使用情况，通过仿真分析验证了对这些复杂情况的时间序列属性。可调度性分析和仿真分析结果表明任务/资源图模型是一种强有力的复杂离散实时系统分析仿真方法。     

A hierarchical multiple criteria model for eliciting relative preferences in conflict situations

A multiple criteria decision analysis(MCDA) approach is designed for capturing the relative preference information of a decision maker involved in a conflict.More specifically,an MCDA approach based on the outranking method,ELECTRE III,is employed for ranking states or possible scenarios in the conflict from most to least preferred,where ties are allowed,for a decision maker according to his or her value system.To demonstrate how this preference elicitation methodology can be conveniently implemented in practice within the framework of the Graph Model for Conflict Resolution,it is applied to a real world water supply crisis which occurred in the town of North Battleford,located in the Canadian province of Saskatchewan.     

多核乐观并行仿真的负载均衡研究

对于运行于多核计算机、基于多线程实现的乐观并行仿真,虽然操作系统可对线程进行调度以平衡各个核的负载,但它无法控制各逻辑进程本地虚拟时钟的平衡推进。提出了多核乐观并行仿真的四层负载分配模型及一种静态划分与动态负载均衡相结合的负载均衡方案。静态划分使用Metis图划分包对模型实例进行划分;动态负载均衡优先调度本地虚拟时钟较小的逻辑进程以实现各逻辑进程的平衡推进,无须进行模型迁移,易于实现。通过一序列实验检验了所提出的负载均衡方案的有效性。     

一种基于马尔可夫链的高维离群点挖掘算法

提出了一种基于马尔可夫链的离群点检测(outlier detection algorithms based on Markov chain, MRKFOD)算法。该算法把基本数据集看作一个加权无向图,数据集中的每个数据表示一个节点,用每条加权边表示节点之间的相似度;形成一个邻接矩阵,把邻接矩阵当作马尔可夫链中的概率转移矩阵;寻求概率转移矩阵的主要特征向量;把每个节点的主要特征向量值作为每个数据的离群度。实验结果表明,该算法与其他高维离群点挖掘算法相比,在效率及有效处理的维数方面均有显著提高。     

定性仿真与人工智能的关系及计算机化解法体系

定性仿真是采用定性推理方法建立和求解定性代数方程或定性微分方程模型,得到被仿真对象的定性行为和展望的预测过程。定性仿真(QSIM)和基于深层知识的人工智能技术,在其核心内容上看是属于同一科学领域。图论方法是求解复杂定量或定性仿真模型的实用且有效的计算机化方法。提出了有关定量和定性仿真计算机化的解法体系,给出了一种计算机求解实例。     

网络图广义连通性的基本性质与常见连通结构

网络图的广义连通性是通常连通性的推广,它反映了网络图顶点（元素）间一类更为广泛层面上的内在联系,本文通过决策判断信息的网络系统分析,研究了网络图广义连通性的基本性质,并通过考察相应的信息结构特征,给出了广义连通性几种常通结构类型。     

最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

基于有向循环图的多学科设计优化模型调度方法

复杂产品的多学科设计优化过程中，往往会涉及到不同学科的专业分析模型以及各种商业软件应用的集成调度运行问题。在多学科设计优化过程中模型应用集成的基础上，结合设计模型的调度需求，研究了多学科模型的调度运行，并给出了基于有向循环图的通用模型调度解决方案，包括回路探测算法和模型调度算法。最后设计并实现了支持复杂产品多学科设计优化软件框架——iDesign的调度引擎，并以一个设计模型的调度为例，验证了方法的正确性和可行性。