Γ-分布的最优稳健可信集

在共扼先验分布族的假设下,考虑λ已知Γ-分布Γ(λ,v)的最优后验稳健估计问题,给出了0-1损失函数下,最优稳健A-后验可信集.     

索赔次数分布族（a,b,0）类

泊松分布和负二项分布常用于拟合保险索赔次数,和二项分布,几何分布统称为(a,b,0)分布族.讨论了(a,b,0)分布族中各个分布的性质及其相互关系,基于(a,b,0)分布族的性质,最后结合了我国某保险公司的索赔次数数据进行了实证分析,拟合了索赔次数分布.     

关于K的三种模糊模态逻辑

引入了MR₀代数的概念,讨论了它的一些重要性质,给出了MR₀代数的同构定理。其次,构建了模态系统K₁,证明了在MR₀代数语义下该系统是完备的。最后,通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K₂,并证明了系统K₂是可靠的;通过将Kripke模型中的二元关系R模糊化, 建立了模态逻辑系统K₃,并证明了系统K₃是完备的。     

一类(0,1)矩阵的谱

矩阵的特征值是矩阵理论的一个重要概念,然而,求一个矩阵(哪怕是阶数很低的矩阵)的特征值的精确值,却是非常困难的。文章运用图论的理论和方法,巧妙地解决了一类(0,1)矩阵的谱,为(0,1)矩阵的谱理论研究,提供了一种新的思维方法。     

年龄结构的SEIR流行病模型非负解的存在唯一性

讨论了一种年龄结构的SEIR流行病模型,它是一组非线性偏微分方程组,应用有界线性算子的C0－半群及其非线性扰动理论,证明了该方程组非负解的存在唯一性。     

伪补格上半Proximity结构的精粗半序

笔者的论文“Proximity代数的一种合理定义”对经典拓扑中的Proximity空间论基础进行了合理的推广,在一般伪补格上建立了一种较为合理的Proximity结构以形成“（半）Proximity代数”,本文进一步讨论一个给定的伪补格L上一切半Proximity结构组成的集合sp(L) 和一切Proximity结构组成的集合p(L)的性质。     

K0R的一个预序关系

对环R,引进了K0R的一个新的预序,特别地,用此新预序考察了一个Tor KoR的有关性质。     

一种虚拟企业业务过程集成化建模方法研究

敏捷虚拟企业（即动态联盟）是21世纪组织管理形式,在CIMS工程实施中,对虚拟企业的建模和优化工作的研究越来越显现出其重要的地位和紧迫性。作者提出了一个适用网络化虚拟企业业务过程动态优化的一体化建模方法IEPU,该方法集IDEF0、扩展事件过程驱动链（EEPCs）、扩展Petri网（EPN）和标准化面向对象的建模语言（UML）为一体,其在层次上是从上到下逐渐细化过程。符合从功能分析、详细设计到具体实施的生命周期。使用该方案可以弥补单一方法的不足,优势互补,最适合复杂企业特别是虚拟企业的建模、分析和优化。并着重对建模过程中EEPCs到EPN之间的转换进行了讨论。     

Fault detection observer design for networked control system with long time-delays and data packet dropout

Focusing on the networked control system with long time-delays and data packet dropout, the problem of observerbased fault detection of the system is studied. According to conditions of data arrival of the controller, the state observers of the system are designed to detect faults when they occur in the system. When the system is normal, the observers system is modeled as an uncertain switched system. Based on the model, stability condition of the whole system is given. When conditions are satisfied, the system is asymptotically stable. When a fault occurs, the observers residual can change rapidly to detect the fault. A numerical example shows the effectiveness of the proposed method.     

一类衡平矩阵的判定与应用

给出了判定0-1矩阵为衡平矩阵的几种方法。因为每一个0-1矩阵对应一个二元关系的关系矩阵,从而给出了利用衡平矩阵判定二元关系具有传递性的几种方法。