可列非齐次马氏链的绝对平均强遍历性质

研究了非齐次马氏链的绝对平均强遍历性,由于绝对平均强遍历性在马氏决策过程和信息论中有十分广泛的应用,许多学者在这方面做了大量的研究.得到了非齐次马氏链满足这种强遍历的两个充分条件.     

求解多目标运输问题的表上作业法

根据可持续发展和保护资源、环境的特殊需要,研究了多目标运输问题.引入了这一类多目标运输问题的表格表示方法;给出了有效解、检验数向量等定义以及求解多目标运输问题的表上作业法.     

全概率公式,Bayes公式的推广与矩阵表示

该文对全概率公式和Bayes公式及其矩阵表示加以推广,证明并给出推广的全概率公式和Bayes公式及其对应的矩阵表示。     

一类滞后型区间Lurie系统的鲁棒绝对稳定性分析

讨论了一类滞后型多非线性区间系统的鲁棒绝对稳定性,通过引入区间矩阵,以及利用线性矩阵不等式和Lyapunov稳定性理论,给出了滞后型直接控制系统与间接控制系统鲁棒绝对稳定性的判别条件,推广了文献中马克茂等人的结论.所得的结果以线性矩阵不等式的形式给出,使计算方便.     

一种基于XML的CISL表示

针对入侵通用规范语言（CISL）描述入侵行为方式难以被人们所理解的问题，通过利用可扩展标记语言（XML）中的DTD（Document Type Define)对CISL词汇元素进行格式定义，给出了一种基于XML的CISL表示，从而提供一种查阅CISL数据的通用性方法，通过一个应用实例，详尽说明了基于XML的CISL表示的使用方法。     

基于知识的敏捷工作流系统建模方法的研究

为了提高企业的敏捷性，增强工作流管理系统对业务流程变化的适应性，提出了一种基于知识的敏捷工作流系统模型，并对该模型的框架构造和知识表示进行了详细讨论，通过使用知识表示模式和相关谓词建立了系统的更改传播机制，增强了系统的可靠性和柔性，并在开发某大型汽轮机厂的工艺设计过程管理系统的软件开发实践中得到了应用，实际应用表明，其于知识的工作流系统模型对于实现业务流程的自动化具有一定的应用价值。     

高维空间上连续分片线性函数的绝对值表示

高维空间上连续分片线性函数的绝对值表示是一个一直没有能很好解决的问题.在一维空间上连续分片线性函数的绝对值表示基础之上,采用递推的方法,给出了高维空间上连续分片线性函数的绝对值表示;同时证明了该绝对值表示对所有高维空间上连续分片线性函数有效.     

一类直接控制系统绝对稳定性充分必要条件

利用变换技巧及部分变元绝对稳定性的充要条件，得出一类直接控制系统绝对稳定性充分必要条件，推广改进了一些文献上的结论。     

抛物型方程的一族双参数高精度恒稳格式

对抛物型方程，构造一族含双参数的三层高精度隐式差分格式。在特殊情况下，当参数α1／2和β＝0时，得到一个两层格式。同时，证明该放格式对任意非负参数都是绝对稳定的，并且其截断误差阶为O（（Δt)^2 (Δx)^6).数值例子表明，该族格式是有效的，且理论分析与实际计算相吻合。     

抛物型方程的分支绝对稳定的高精度隐格式的研究

用差分法求解偏微分方程 ,需要构造出精度高、稳定性好 ,计算量小的差分格式 .由于三对角线型的隐式格式在求解一维抛物型方程的计算中稳定性好 ,且可用追赶法求解 ,因而具有较高的使用价值 .但古典隐格式[1] 精度不高 ,截断误差仅为Ｏ (Δｔ +Δｘ2 ) .Ｃｒａｎｋ Ｎｉｃｈｏｌｓｏｎ格式[1] 精度较高 ,截断误差为Ｏ (Δｔ +Δｘ2 ) .Ｃｒａｎｄａｌｌ格式[1] 与文 [2 ]的格式称为高精度差分格式 ,截断误差均为Ｏ(Δｔ2 +Δｘ4 ) .此后 ,文 [3～ 4 ]又构造了精度更高的三对角线型的隐式格式 ,截断误差分别达到Ｏ(Δｔ3 +Δｘ4 )与Ｏ(Δｔ3 …