SDG故障诊断决策表的粒约简算法

为了减少故障特征集的维数,降低流程系统故障诊断知识库的复杂程度,本文将基于二进制粒矩阵的粒约简算法引入到基于SDG模型的故障诊断中.以离心泵与液位系统为例,用粒语言来描述和表达SDG故障诊断模型中的元素,建立反映故障-征兆因果关系的决策表,进而对冗余属性及属性值进行约简,有效地约简了SDG诊断规则,提高了故障诊断的效率.     

信号联锁的开关函数方法研究

采用开关函数对铁路站场网络进行描述，构造出站场网络模型。详细讨论了模型与信号联锁的对应关系，通过开关函数运算，得到一种生成联锁的新方法。结合实例，介绍了有向开关函数实现信号联锁的步骤。     

基于UML状态图和基本Petri网生成测试用例

结合UML状态图和Petri网提出了一种生成测试用例的方法。将UML状态图转换成对应的EN-系统模型，利用EN-系统的性质检测并排除UML状态图中的不可达状态和事件的冲突和冲撞；再应用与合理的UML状态图对应的EN-系统生成可达状态图，利用可达状态图生成测试用例。该方法一方面可以很好地实现并行子状态的嵌套问题，避免了将并行的UML子状态展平成EFSM时引起的状态爆炸问题；另一方面，由于测试用例的覆盖标准是基于可达状态图的基路径、事件和可达状态覆盖，所以还很好地解决了对系统的不同测试要求和状态的可达性问题。     

列车车钩缓冲装置系统动力学仿真

将键合图理论与方法和MATLAB相结合,用键合图建立列车车钩缓冲装置的系统动力学模型,将键合图转换成方框图,方框图转换成MATLAB(SIMULINK)模块,然后利用MATLAB对仿真模型进行求解.对两种不同的列车车钩缓冲装置进行系统动力学仿真,得到了较好的仿真结果,为列车车钩缓冲装置的设计、改进和应用提供了有价值的参考.同时证明了键合图方法的可行性,优越性.     

The polarization of global container flows by interoceanic canals: geographic coverage and network vulnerability

It is widely acknowledged that the two major interoceanic canals of Suez and Panama play a central role in global shipping flows. However, this role has rarely been measured with precision both in terms of the geographic coverage and network topological properties of canal-dependent flows. Based on vessel movement data for containerships, this research clarifies the weight and share of canal-dependent flows globally and at the level of world regions, routes, and ports. It also estimates and maps the effects of removing canal-dependent flows from the network by means of graph-theoretical methods. While main results converge in showing a decreasing importance of canal shipping in the context of growing south-south trade exchanges, certain areas remain more dependent than others, such as Asia, Europe, and North America. The research also underlines factors of port vulnerability across the globe in relation with the two canals.     

图解析方式的复合本体映射策略研究

针对本体复杂上下文关系,考虑不同输入模式,构建通用环境下的本体解析图描述。在结合本体结构基础上,建立多层本体结构图描述关系;引入上下文关联的相似度传播建立结构传播因子和实例传播算法;引入快速匹配算法用于本体的快速映射;最终提出一种复合本体映射策略,利用重用迭代得到本体的映射结果。最后通过算法复杂度的分析和一些对比测试证明了策略的可行性和有效性。     

偶图符号控制数的下界

设G=（V,E）是一个图,一个实值函数f：V→{-1,＋1}满足∑v∈N[u]f（v）≥1对一切u∈V（G）都成立,则称f为图G的一个符号控制函数。图G的符号控制数定义为γs（G）=min{∑v∈V（G）f（v）｜f为图G的符号控制函数}。研究了偶图的符号控制问题,主要给出了偶图符号控制数的两个下界。     

图的符号控制数的下界

设G是一个图,一个函数,f.V→{-1,+1}如果∑v∈N[u]f(v)≥1对于每个点u∈V成立,则称f为图G=(V,E)的一个符号控制函数.一个图G的符号控制数定义为γs(G)=min｛∑v∈V(G)f(v)|f为图G的符号控制函数｝.该文主要给出了一个图G的符号控制教γs,(G)的若干新下限,并刻划了满足γs,(G...     

关于圈C4h的(r1,r2,…,r4h)-冠的优美性

给出了圈C4h的(r1,r2,…,r4h)-冠的定义,讨论了圈C4h的(r1,r2,…,r4h)-冠的优美性,用构造性的方法给出了一些特殊的圈C4h的(r1,r2,…,r4h)-冠的优美标号.证明了一些特殊的圈C4h的(r1,r2,…,r4h)-冠是交错图.