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.     

一类带号图构形的Tutte多项式

研究了带号曲轮图和带号双半轮图对应图构形的Tutte多项式,主要用带号图的删除-限制定理来计算其Tutte多项式,并运用带号图的符号转换函数找到了几种有规律的基本图形（基图）,推导出这些基本图形Tutte多项式的递推公式后,通过计算机辅助给出这类带号图的Tutte多项式,进而得到特征多项式及OS代数的维数。最后计算了半螺旋双吸泵3种不同内部结构的Tutte多项式。     

文山壮族山神庙献祭活动和“竹筒签卦”调查——以平贵村壮族为例

文山壮族依托于山神庙这一原生态民间文化土壤，将“二月二”、“六月六”、“娅歪”等传统节日献祭活动和“竹简签卦”民间文化事象世世代代地相沿成习、留存下来。通过对广南县者太乡平贵村壮族山神庙献祭活动和“竹筒签卦”民间文化事象的调查研究，可探析其所内含着的潜隐性文化内涵以及所凸显出的功能性社会元素。     

关于Lebesgue分解定理条件的讨论

Lebesgue分解定理是测度论中的一条基本定理,它说明了一个全σ-有限广义测度(?)可以分解成为两部分,其中一部分对于另一个全σ-有限广义测度μ是绝对连续的,另一部分对于μ是奇异的。本文认为不必要求μ是σ-有限的,只要φ为全σ-有限广义测度,μ为广义测度,φ对μ即可作Lebesgue分解。     

基于距离函数的3种夹具定位分析方法的比较

建立了点-面、面-面有向距离函数的一阶、二阶微分表达式的统一理论模型.在此理论模型的基础上提出了线性方法(基于点面距离函数一阶微分性质)、单边二次方法(基于点-面距离函数一、二阶微分性质)和双边二次方法(面-面距离函数一、二阶微分性质)的3种夹具定位分析方法,进而分析了定位元和工件的局部曲率对夹具定位精度的影响.仿真试验表明:当定位元的曲率半径相对于工件的曲率半径较小时,3种分析方法的精度相当;但当定位元的曲率半径相对于工件的曲率半径较大时,线性方法、单边二次方法不能跟踪理论值的变化,而双边二次方法却能很好地跟踪理论值的变化,表明了双边二次模型的高精度特性.     

关于图的符号控制数界的一些改进

本文引入最小度及图中奇数度顶点的个数 ,对张忠辅等关于图的符号控制数的界做出了全面的改进 ,其中有些结果是精确的     

关于图的强符号控制数的下界

图G的强符号控制数γss(G)有着许多重要的应用背景,因此确定其下界有重要意义.本文在图的符号控制数基础上对图的强符号控制数进行了研究,指出了文献[3]定理5的小错误,改进了文献[4]定理4的下界,给出了图的强符号控制数的3个独立的下界,并给出了达到这3个下界的图.     

基于SDG和定性趋势分析的控制系统故障诊断方法

针对控制系统的故障诊断难以在早期发现,提出一种基于符号有向图(SDG) 和定性趋势分析相结合的故障诊断方法. 建立系统的故障诊断模型,通过定性趋势分析的方法对控制系统各个单元进行监测,提取当前趋势. 当故障发生时,通过基于定性趋势的反向推理算法,及时找到故障源. 通过在常压塔装置故障诊断上的实验,结果表明该方法能够及时有效地检测、识别控制系统的各种故障(人为误操作、控制器故障等),可应用到实际生产的故障诊断中.     

应用变量因果序分析的符号有向图建模方法

针对传统符号有向图(SDG)建模方法容易引入虚假因果关系的问题,利用因果序分析时系统各阶自含结构进行逐层分解,通过各阶变量完全子集迭代解析平衡结构变量的层级因果关系,以及典范式积分链的约简导出动态结构变量的层级因果关系,运用中间变量的衔接作用,结合变量系数辨识定性的因果影响效果,实现了平衡、动态及混合结构的线性系统SDG模型的构建.以串联存储系统为实例进行验证,结果表明该方法消除了以系统方程等式关系直接导出SDG模型引入的虚假因果关系,且辨识出多处潜在的因果关系,与传统的SDG建模方法相比,以该方法构建的SDG模型精度更高,而且完备性较好.     

几类图的符号星k控制数

通过对图G的边集分析的方法,对图的符号星k控制数进行研究,确定了几类图的符号星k控制数