基于知识元的应急决策知识表示与生成方法

非常规突发事件应急决策是一类应急状态下的复杂系统决策问题,快速生成应急决策知识是解决这类问题关键.本文从不同科学域的共性整体特征出发,构建应急决策知识元模型,为多领域、多学科显性知识和隐性知识的表示与融合提供支持.在此基础上,本文首先基于知识元模型生成个体知识,然后通过GRA-T(grey relation analysis and TOPSIS)方法确定决策主体考虑问题的权重,再使用WGRG(weight grey relation grade)融合算子将专家知识整合成系统性的应急决策知识,为保证应急决策的及时性、科学性和有效性提供知识支持.最后,通过数值算例和地铁火灾突发事件案例分别验证GRA-T和WGRG方法的优越性以及应急决策知识表示和生成方法的实用性和科学性.     

基于稀疏表示算法的GIS局部放电识别

为提高GIS绝缘缺陷的识别正确率,针对GIS出现的绝缘缺陷以及产生的局部放电特点,设计了4种典型绝缘缺陷物理模型,对获得的局部放电灰度图谱,用稀疏表示分类算法进行缺陷类型识别。该算法首先用最小--范数方法计算稀疏表示系数,运用压缩感知将低维观测信号恢复到高维原始信号,通过计算各类缺陷局部放电灰度图的最小残差来进行图像匹配,避开了一般模式识别分类算法中较为复杂的特征提取。测试结果表明该方法对GIS各类模拟缺陷的正确识别率较高。     

IMTL逻辑代数的一种新强化形式

对IMTL-代数及其相关逻辑代数进行了进一步的研究,通过加强IMTL-代数条件的方法建立了IMTL＊-代数,并通过实例证明了IMTL＊-代数结构的存在性;其次,构造了一个非IMTL＊-代数的IMTL-代数,说明了IMTL＊-代数是IMTL-代数的真的强化形式,并基于IMTL-代数给出了IMTL＊-代数的一些等价刻画;最后,给出了IMTL＊-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。     

A Hybrid Mathematical Model of Tumor-Induced Angiogenesis with Blood Perfusion

Angiogenesis, the growth of new blood vessel from existing ones, is a pivotal stage in cancer development,and is an important target for cancer therapy. We develop a hybrid mathematical model to understand the mechanisms behind tumor-induced angiogenesis. This model describes uptake of Tumor Angiogenic Factor（TAF）at extracellular level, uses partial differential equation to describe the evolution of endothelial cell density including TAF induced proliferation, chemotaxis to TAF, and haptotaxis to extracellular matrix. In addition we also consider the phenomenon of blood perfusion in the micro-vessels. The model produces sprout formation with realistic morphological and dynamical features, including the so-called brush border effect, the dendritic branching and fusing of the capillary sprouts forming a vessel network. The model also demonstrates the effects of individual mechanisms in tumor angiogenesis： Chemotaxis to TAF is the key driving mechanisms for the extension of sprout cell; endothelial proliferation is not absolutely necessary for sprout extension; haptotaxis to Extra Cellular Matrix（ECM） gradient provides additional guidance to sprout extension, suggesting potential targets for anti-angiogenic therapies.     

Banach代数中的拓扑循环表示

设H是一个Banach代数,π是X的一个表示。本文证明如果X含有一组逼近单位元,则π是X的一个拓扑循环表示。     

表象理论中转换矩阵和传递矩阵的研究

对表象理论转换矩阵和传递矩阵进行了研究,再给出三维空间角动量的分量算符之间的转换矩阵的基础上,推导出了多维情况下的表象之间变换的传递矩阵,使得多维变换的理论计算更加方便快捷.     

基于最大熵原则的2-可加模糊测度确定方法

2-可加模糊测度以适量的参数,灵活有效地描述和处理了普遍存在于决策准则间的各种交互作用。对模糊测度、默比乌斯变换形式及交互作用系数间的转化关系进行了说明,论证了交互作用系数与2-可加模糊测度之间的唯一确定条件,并给出了模糊测度熵的默比乌斯变换及交互作用系数表现形式。依据决策者的经验和主观判断,利用最大模糊测度熵原则,构造出了一种新的2-可加模糊测度确定方法。最后,数值算例说明了该方法的可行性和有效性。     

一种语义扩展的DEVS模型表示方法

离散事件系统规范（DEVS）是建立在一般系统理论的基础上的有效的模块化系统建模规范。针对当前基于DEVS的仿真模型表示方法不能描述模型上下文,不能有效支持模型语义组合、重用的问题,提出了语义扩展的DEVS模型表示方法（SEM-DEVS）。SEM-DEVS在原有的DEVS模型规范基础上,增加了模型的实验框架和语义扩展接口,增加了对模型行为表示能力的要求。在SEM-DEVS形式化定义的基础上给出了实验框架以及语义扩展接口的逻辑关系及匹配方法。以逻辑公式方式表示实验框架和语义扩展接口,给出SEM-DEVS的一种实现方法。

Abstract：

Based on general theory, DEVS is an effective and module modeling specification. For the problem of lacking capability of current model representation approaches to describe context and support semantics reuse and composition of simulation model, a Semantic Extended DEVS （SEM-DEVS） model representation approach was proposed. On the base of DEVS, experiment frame and semantic extended port of model were extended to SEM-DEVS. Stricter request to describe the behavior of model was proposed in SEM-DEVS. Logic relationship and match method of experiment frame and semantic extended port of model was brought forward base on formal definition of SEM-DEVS. An implement of SEM-DEVS was proposed, in which experiment frame and semantic extended port were both represented by logic formulas.     

一类时变多时滞系统的观测器设计

本文为一类含有不确定项的时变多时滞系统,设计了观测器.利用观测器状态进行反馈控制,使闭环系统渐近稳定,并且对于允许的不确定性满足范数有界.观测器和控制器的设计可通过解两个线性矩阵不等式（LMI）得到.所得结果依赖于时滞的上界及其导数的上界,具有较小的保守性.数值算例验证了设计方法的有效性.     

格上BR_0-代数结构的表示定理

利用模糊命题演绎系统BL*中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R0-代数结构的表达形式。