软件可靠性YO模型的特性分析

本文对软件可靠性YO模型的参数解结构进行了理论分析,给出了参数解存在的条件,同时根据参数解特性,构造了高效的参数估计算法并进行了数值实验。     

双连续余弦函数的Cesàro遍历定理

Banach空间算子半群的应用研究中,范数意义下强连续这样的要求较强,在实际中发现存在一些半群并不是强连续的。基于双连续半群的概念,给出双连续余弦函数的概念及性质,进而对双连续余弦函数的Cesàro遍历的定义及性质进行研究,得到在拓扑意义下的双连续余弦函数的Cesàro遍历的若干结果。     

基于区间值测度伪积分的Barnes-Godunova-Levin型和Lyapunov型不等式

本文首先证明了伪积分的Barnes-Godunova-Levin型不等式以及实值函数区间值测度伪积分的Barnes-Godunova-Levin型不等式.随后证明了两种不同区间值测度伪积分的Lyapunov型不等式.其中一种是基于区间值函数的伪积分,另一种是基于实值函数的伪积分.     

指数有界双连续α次积分C半群的一个逼近

在算子理论中,为讨论一些非强连续的半群性质,引用了巴拿赫空间上具有相对弱连续性质的局部凸空间强连续半群.在双连续C半群和α次积分C半群的基础上引入指数有界双连续α次积分C半群,经过论证,得到了指数有界双连续α次积分C半群的一个逼近定理.     

BDF方法解常系数微分代数方程的稳定性分析

本文分析了ＢＤＦ方法解常系数微分代数方程（ＤＡＥ）的稳定性，并且说明了ＢＤＦ方法，数值求解一般高指标微分代数问题时会遇到不可克服的困难。     

Hilbert空间上C半群的稳定性

利用Hilbert空间上C半群生成元的谱界，讨论了半群指数稳定性，得到一个充分条件．     

积分C半群与抽象积微分方程

引入了积分C半群局部Lipschitz连续的概念.利用逼近的思想给出了一类积微分方程求解的新方法.给出了一类抽象柯西问题存在mild解的充分条件.     

银纳米微粉的合成适宜条件

介绍了银纳米微粉的合成适宜条件研究。实验结果证明,该法具有成本低、工艺简单、产品质量好的优点,具有工业化生产的前景。     

我对高科技情有钟——专访大连新市长夏德仁

新当选的大连市市长夏德仁,在大连市第13届人民代表大会第一次会议结束后接受了新华社大连支社记者的采访。以下是采访全文。记者:首先祝贺您当选新任大连市长,您刚才在讲话中说,您是大连人民的儿子。作为大连市第一位博士生导师并担任过大学校长的市长,您这次高票当选,是不是感到肩上的担子更重了?夏德仁:我做过大学校长、教授,这可能是我做市长很好的条件。目前在大连市各项工作发展新形势下,感到身上的担子的确很重。有两方面压力,首先:前一届政府给我们创造了一个非常好的基础,使大家对大连整个经济、社会发展寄予厚望。我们新一届政府能否按照这样一个势头继续下去,并且把前一届政府良好的作风发扬光大,这对我们确实是一个非常大的挑战。第二个方面,     

求解线性三对角方程组的解耦分解方法

本文给出了求解线性三对角方程组的解耦分解方法,并讨论了在计算机上求解的复杂性分析。理论分析和数值实验的结果表明,该解耦分解方法是有效的。特别值得一提的是,对于MIMD多处理机系统,此解耦分解方法是一求解线性三对角方程组的有效并行算法。