基于符号有向图的计算机辅助危险与可操作性分析技术及其应用

危险与可操作性分析(HAZOP)是一种最全面、有效的系统安全评价方法,广泛应用于各类流程工业的安全评估中.基于符号定向图(SDG)技术,研究建立了SDG-HAZOP专家系统,克服了人工HAZOP分析对评审人员要求较高、费时、费力等缺点.将该系统应用于Ti冷却器的HAZOP分析之中,建立了相应的Ti冷却器SDG模型,并对如何建立合理、有效的SDG模型进行了探讨.     

有向最优树的一个新算法

本文给出了有向最优树的一个新的有效算法，证明了此算法的时间复杂度为Ｏ（ｎ４），并给出一个数字例子     

有向图的有向圈长分布

阶为v的有向图D的有向圈长分布是序列(c_1,c_2,…,c_v),其中C_i是D中长为i的有向圈的数目。设0≤x_i≤v-i-1,证明了存在v个顶点的有向图D,使D的有向圈长分布为(0,0,x_1,x_2,…,x_(v-3),1),并且给出了具有有向圈长分布为(0,0,x_1,x_2,…,x_(v-3),1)的有向图的最大可能的弧数以及具有有向圈长分布为(0,0,k,k,…,k,k-1,…,3,2,1)(其中1≤k≤v-2)的有向图的最小可能弧数的上界。     

有向面积及其应用

通过给出平面多边形的有向面积,探讨有向面积的一些性质和应用,提出一平面多边形的若干新的定值定理．     

有向角概念的教学及其应用探讨

本文用类比的方法探讨了有向角概念的教学,把较为复杂的有向角概念与较为简单的有向线段概念进行对照,化难为易.并将有向角性质巧妙地用于参数方程的教学之中.     

有向面积及其应用

通过给出平面多边形的有向面积，探讨有向面积的一些性质和应用，一平面多边形的若干新的定值定理。     

有向复杂网络的Poisson模型

考虑了节点到达过程是Poisson过程的有向复杂网络.本文研究了这类网络的瞬态度分布和稳态平均度分布.利用Poisson过程理论对这类网络进行了分析,获得了度分布的解析表达式.结果表明,虽然这类网络的稳态平均入度和稳态平均出度分布与节点的到达过程无关,但瞬态入度和出度分布依赖于节点的到达过程.     

有向加权供应链网络演化模型

利用BBV加权网络的演化机制和BA模型的线性择优连接机制,新节点进入网络时的入边和出边服从二项分布,建立了子网络具有流量补偿的有向加权供应链网络模型。利用泊松过程理论分析了网络的出入强度分布,结果表明,有向加权供应链网络的稳态平均入强度分布和稳态平均出强度分布服从幂律指数在[1,3]之间的幂律分布。对有向加权供应链网络模型进行仿真研究,仿真结果与理论预测相一致,符合供应链网络的幂律特性。     

有向二部图中的独立有向6-圈

证明了若有向二部图D=(V1,V2:A)的最小度至少为5k,则D有k个顶点不交的独立有向6-圈.其中 |V1|=|V2|=3k, k为整数.     

有向H-图的新判定准则

应用布尔代数上的行列式det2(A),引入det2(A)的特征行列式,讨论了det2(A)的特征行列式的性质与有向图的圈的关系,并用这些结论给出有向H-图的新特性和新判定准则.     

基于模糊概率符号有向图的复杂系统故障诊断

通过分析复杂系统的故障信息传递特性,在符号有向图(SDG)中引入了状态关联概率和模糊信息,并结合面向对象技术提出了一种新的故障描述模型--模糊概率有向图.给出了基于此模型的建模方法和诊断流程.进一步引入消息节点和支路,通过连接各子实体对象的模糊概率SDG模型,构成整个复杂系统的模糊概率SDG系统.该模型能对复杂系统故障诊断中存在的复杂关联关系进行建模与故障诊断.利用该方法建立了某武器平台的故障诊断系统,实验结果表明提出的方法有效且实用.     

基于边被收缩图的有向有环图有向割集求解算法

为了提高有向有环图有向割集生成算法的效率,通过收缩有向有环图环路中的边将有向有环图转换成带收缩顶点的有向无环图,并使得生成有向无环图有向割集的算法可以生成有向有环图的有向割集.在理论上分析了本文提出的算法的时间复杂度和空间复杂度,并进行了实验测试.理论分析和实验测试的结果表明本文提出的算法是很高效的.     

SDG-Based HAZOP and Fault Diagnosis Analysis to the Inversion of Synthetic Ammonia

This paper presents some practical applications of signed directed graphs (SDGs) to computeraided hazard and operability study (HAZOP) and fault diagnosis, based on an analysis of the SDG theory. The SDG is modeled for the inversion of synthetic ammonia, which is highly dangerous in process industry, and HAZOP and fault diagnosis based on the SDG model are presented. A new reasoning method, whereby inverse inference is combined with forward inference, is presented to implement SDG fault diagnosis based on a breadth-first algorithm with consistency rules. Compared with conventional inference engines, this new method can better avoid qualitative spuriousness and combination explosion, and can deal with unobservable nodes in SDGs more effectively. Experimental results show the validity and advantages of the new SDG method.     

赋权多阶段有向图最短路的求法

多阶段有向图是常见的一种有向图,许多运输、工程、管理等实际问题能转化为有向图最短路问题进行求解,尤其赋权多阶段有向图对解决该类实际问题更具有重要意义.研究了赋权多阶段有向图的最短路问题,从图上逆序标号法、表上作业法和动态规划法不同的角度对文中实例给出了赋权多阶段有向图最短路求解方法。     

基于有向图的运载火箭综合电子系统设计方法

为解决运载火箭综合电子系统各功能模块之间信息交互复杂、传输路径长的问题,提出一种基于有向图的运载火箭综合电子系统设计方法.将运载火箭综合电子系统的功能模块抽象为有向图的节点,利用有向边表示功能模块之间的信息流向,构造运载火箭综合电子系统的功能结构有向图.通过有向图建立运载火箭综合电子系统的邻接矩阵,计算传递次数和可达矩阵,并利用可达矩阵对运载火箭综合电子系统功能结构开展分析与优化.实现运载火箭综合电子系统功能结构的最优层次划分,有效简化信息传输关系,缩短信息传输路径,提升运载火箭综合电子系统信息传输效率37.5%.      

基于RSSI的分层定向扩散路由协议

针对传统的定向扩散路由协议网络中节点耗能大、网络中兴趣消息冗余严重及时延大等不足。本文提出了一种基于RSSI的分层定向扩散路由协议。该协议在兴趣扩散的过程中,将网络中的节点进行分层,实现兴趣消息在层与层间传输,大大减少了兴趣重复传播。与此同时,记录每个节点各传播路径上的RSSI值,这样在找到匹配的数据源节点的同时,就能确定一条最优路径来进行数据的传输。仿真实验结果表明,与传统的定向扩散路由协议相比,该协议减少了参与兴趣扩散的节点数量、降低了节点的平均能耗同时减少了时延,使网络性能得到显著的改善。     

基于定性模型和定量知识集成的智能故障诊断方法研究

首先从诊断对象的知识表示和处理诊断知识的能力两个方面对基于定性模型的故障诊断方法进行了分析,然后在此基础上提出了基于深浅知识集成的分层诊断策略,并基于符号有向图和模糊理论提出了一种定性模型和定量知识集成的智能故障诊断方法。仿真故障数据验证结果表明,该方法不仅具有较快的诊断速度,而且能有效地提高诊断的准确度。     

基于SDG模型的AMT重型越野车离合器接合过程故障诊断

针对AMT重型越野车离合器接合过程中故障多发且不易诊断的问题,基于符号有向图(signed directed graph, SDG)模型,为离合器接合过程的故障诊断提出了一种新的方法. 以离合器接合过程中最复杂的车辆起步接合为例,建立了其工作过程的SDG模型,通过实际测得量以及对模型中节点和有向边的分析,查找出故障源,完成故障诊断功能. 结果表明,SDG模型对于AMT系统离合器接合过程故障诊断有效且实用.      

关于三点三边与四点三边有向图的图设计

主要讨论了三点三边与四点三边的有向图的图设计存在性问题，得到了以下三个结论：(1)：存在(v，H，1)-GD，当且仅当v≡0.1(mod3)，v≥3；(2)：存在(v，G1，1)-GD，当且仅当v≡0.1(mod3)，v≤4；(3)：存在(v，G2，1)-GD，当且仅当v≡0.1(mod3)，v≥4；(其中：H表示三点三边有向图，Gi表示四点三边有向图)     

数据库系统中有向图的存储及其应用

提出了在数据库中有向图的一种有效存储方式，并根据需要在应用中可动态形成有向图的两种存储结构，从而较好地满足了有向图的各类应用要求