估计高可信Markov系统可信性测度的一种新方法

重要抽样和重要性分裂方法经常被用来估计高可信Markov系统从初始状态出发首次回到该状态前发生故障的概率. 提出了一种新的方法估计这个小概率. 通过采用新的估计量来减小计算方差, 提高计算效率. 从描述Markov系统状态转移的积分方程推导出了新的估计量, 并从理论上证明了新的估计量的方差小于直接仿真方法的方差. 用本文方法、RB方法、IGBS方法、SB-RBS方法和直接仿真方法计算了包含延迟维修的系统的可信性测度, 结果表明本文方法具有最小的相对误差.     

最终范数连续半群的一些性质

主要讨论了Banach空间中当t＞t0（t0≥0）时，最终范数连续半群{T（t）│t≥0}的性质，给出了最终范数连续半群无穷小生成元的一个谱分布性质．主要定理如下：设{T（t）lt≥0}是Banach空间X上的C0半群，A是其无穷小生成元，ω0=inft＞0（1/t1n‖T（t）‖）．若T（t）关于t＞α≥0是最终范数连续的，则存在一个减函数φ：（0，∞）→R，满足φ（M）→-∞（M→∞）且S={λ∈C│Reλ≥φ（│Imλ│） }lReA≥P（1ImAl）}包括于ρ（A），其中ρ（A）为A的预解集．     

偏序BCH-代数

引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。     

非线性VOLTERRA积分微分方程PETROV-GALERKIN有限元方法

讨论了非线性Volterra积分微分方程初值问题的PGFE方法，并给出了PGFE解的存在性和唯一性。     

矩形群的强正则*断面

正则*断面是研究半群结构的一个重要手段,强正则*断面是正则*断面的加强.现通过研究矩形群的强正则*断面.利用已知强正则*断面的结构定理,给出了矩形群的强正则*断面的结构刻画和同构定理.     

基于OpenGL的线积分卷积的实现

基于 OpenGL实现了科学计算可视化中传统的线积分卷积算法,因 OpenGL能达到的数据精度较高,此方法取得了和快速线积分卷积算法相似的效果,在矢量场可视化中仍有重要的实用价值.     

Banach空间中非Lipschitzian半群的逼近序列的强收敛

C是一致凸B anach空间X中有界凸闭子集,X的范数一致G-可微,证明了渐近非扩张型半群的公共不动点集F(S)是C的sunny、非扩张压缩;给出了逼近序列{xt}的强收敛性,其中xt=atx (1-at)T(μ)xt.     

Buniakowski-Cauchy积分不等式的新推广

在研究Buniakowski—Cauchy积分不等式的基础上，给出了其新的积分不等式的推广式，并用构造性方法予以证明．考察了离散型Cauchy不等式，认为只要将所得到的Buniakowski—Cauchy新推广积分不等式作某种特殊赋值，就能够进一步得到离散型Cauchy不等式的新的积分型推广式，从而体现它们之间的内在联系．     

Banach空间中积分微分方程周期边值问题

给出了Banach空间中非线性一阶积分微分方程周期边值问题在一序区间上的最大解与最小解的存在性。     

关于积分中值定理的一个注记

给出了积分中值定理的一个注记,证明了中值点的存在性与覆盖中值点的区间的存在性是相互对应的.