具有多重严重故障和非严重故障和修复功能的系统的可靠性分析

该文研究一个具有多重严重故障和非严重故障和修复功能的系统的可靠性问题. 在泛函分析理论的框架下,将系统方程组写成一个 Banach 空间中的抽象初值问题,利用算子半群方法,研究了该系统的适定性、稳态解的存在性以及稳定性.表明: 在系统模型的假定下,所研究的系统是适定的,存在非负动态解和稳态解, 特别在范数意义下动态解收敛到稳态解.从而由系统稳态解得到的系统指标是可靠的.     

The subvariety lattice of the join of two semigroup varieties

The join A ∨ B of two semigroup varieties A and B is investigated. The latrine of subvarieties of A ∨ B is completely described, It is shown that this lattice is finite and non-modular and that all varieties in it are finitely based and finitely generated.     

Clifford分析中超正则函数的拟Cauchy型积分的性质

本文研究了Dirac—Hodge方程的超正则函数解．利用超球坐标变换及估值方法，获得了拟Cauchy型积分的性质．Plemelj公式和Borel—Pompeiu公式．推广了正则函数的Cauchy型积分相应的性质及公式。     

多导单步方法对延迟微分方程的正则性

给出了多导单步方法正则性的概念,并给出了多导单步方法具有正则性的条件.     

LF拓扑空间的正则闭分离性

利用正则闭集概念在LF拓扑空间中引入了正则闭分离性Ti^rc（i=-1，O），次To^rc概念，给出了它们的刻画，证明了正则闭Ti^rc（i=-1，0）分离性、次To^rc分离性为拓扑性质，在LF拓扑空间的半正则化中Ti^rc分离性与Ti分离性是等价的。     

一类非稳态热耦合方程组解的存在性和正则性

In this paper,a coupled elliptic-parabolic system modeling a class of engineering problems with thermal effect is studied.Existence of a weak solution is first established through a result of Meyers' theorem and Schander fixed point theorem,where the coupled functionsσ(s),k(s) are assumed to be bounded in the C(IR×(0,T)).Ifσ(s),k(s) are Lipschitz continuous we prove that solution is unique under some restriction on integrability of solution.The regularity of the solution in dimension n≤2 is then analyzed...     

具有临界和非临界操作错误的人机系统的渐近稳定性

讨论具有临界和非临界操作错误的可修复人机系统．利用系统算子生成的Banach 空间中的正压缩C0半群的性质,证明了此系统的唯一非负时间依赖解恰是系统算子0本征值对应的规范化后的本征向量;同时通过对系统算子谱点分布情况的分析,证明了系统算子的谱点均位于复平面左半平面且在虚轴上除0点外无其它谱,作为线性算子半群稳定性的一个直接结果,得出了该可修人机系统的渐近稳定性．     

关于 Fuzzyω正则语言的一个注记

通过引入ω-Nerode等价关系,fuzzy前逆缀ω-语言,闭左逆语言等概念来研究语言的化数性质,得到了(1)fuzzyω正则语言可由一些具有有限指标集的等价类来表示;(2)fuzzy前逆缀ω-语言是fuzzyω正则语言iff由L定义的ω-Nerode等价关系的指标集是有限的.     

抽象半线性发展方程初值问题解的存在性

本文研究Banach空间E中具有非紧半群的半线性发展方程初值问题u′(t)+Au(t)=f(t,u(t)),t≥0;u(0)=x_0解的存在性,其中-A为E中等度连续C_0-半群的生成元,f:[0,∞)×E→E连续。在f满足较弱的非紧性测度条件下,获得了该问题饱和mild解的存在性。特别,当E为有序弱序列完备Banach空间时,我们获得了一个不需要非紧性测度条件的便于应用的存在性结果。     

解不适定问题的快速多层方法

Many industrial and engineering applications require numerically solving ill-posed problems. Regularization methods are employed to find approximate solutions of these problems. The choice of regularization parameters by numerical algorithms is one of the most important issues for the success of regularization methods. When we use some discrepancy principles to determine the regularization parameter,