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

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

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

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

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

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

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

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

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

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

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

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

Karhunen—Loeve展开基函数的小波分解算法

Karhunen—Loeve展开被广泛应用于信号处理，图像分析中的特征提取，动力系统中的模型简化等．文中提出了用小波方法快速估计Karhunen—Loeve展开式中基函数．通过把核函数投影到小波空间把积分问题离散化．应用正交小波变换，积分问题就被转化为矩阵特征分解问题．若核函数还是局部p阶光滑的，所得矩阵的维数可进一步降低，而精度却没有大的损失．实验结果表明所提出的算法是快速有效的．     

引力实验与理论研究新进展

在现有物理学的架构之下,理论物理学家们正在寻找一个合适的理论来涵盖4种基本相互作用,而对于引力基本性质的研究将是其中最关键的问题之一.因此进行引力规律的实验研究对人类认识和利用自然界具有深远的科学意义和社会现实意义,该领域的突破必将极大地丰富人们对宏观和宇观世界的认识.在这种基础物理实验研究过程中不仅需要好的物理思想和巧妙的实验方案,而且也极力追求各种实验技术和测量方法的极限.近年来华中科技大学物理系引力中心在引力实验与理论领域所开展的研究工作,包括万有引力常数G的精确测量、光子静止质量实验检验、亚毫米范围New-ton反平方定律实验检验以及宏观旋转物体等效原理的实验检验等均取得了一些积极进展.     

一类二重积分的简便算法

对于积分区域具有对称性的二重积分，考虑被积函数关于对称区域的奇偶性，可使计算得到简化。     

带周期裂缝的不同材料拼接的各向异性弹性半平面第二基本问题(Ⅰ)

采用复变函数方法,讨论了带周期裂缝不同材料拼接的各向异性弹性半平面第二基本问题,把满足一定边界条件下求复应力函数的问题归结为求解某种正则型奇异积分方程组.