二元反平均剩余寿命的一些性质

将反向的平均剩余寿命推广到了二元的版本,并研究了其联合分布函数与二元反平均剩余寿命的联系,同时还给出了其比例模型的重要性质.     

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

主要讨论了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的预解集．     

基于现代企业应用的工作流过程模型研究

针对现代企业的实际经营状况,分析了工作流过程元模型在现代企业过程建模应用中存在的不足.在此基础上,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应现代企业过程建模的需求和新技术的使用.     

基于Web体系结构中的组件设计

提高软件重用度和可维护性一直是软件开发者所遵循的目标，以往的组件技术由于受到编译环境的限制而不能跨平台使用。本文以仓储物流管理信息系统(LSMIS)为例，介绍应用JavaBeans组件技术实现基于Web体系结构中业务逻辑层的设计，它由一些封装的类组成，通过类间的调用实现系统的功能，体现了新一代组件的可移植、可重用，可被替换的特性。     

关于f×f与f的动力性质间关系的研究

利用伪轨跟踪性质和一些其他方法,研究了紧系统(X×X,f×f)和(X,f)的动力性质间的关系,有些结果推广了文献[1～5]、[7～9]中的相应结果.     

Gn^d，s图的（n-1）-角色分配

Everett和Borgatti引入了k-角色分配的概念.进一步,他们引入并研究了图G的k-角色可分配程度来表示图G可以在多大程度上进行k-角色分配,记作αk(G).他们还给出了k=2时的k-角色可分配程度α2(G)的下确界,并回答了什么时候α2(G)达到下确界.本文证明了k≥3时,αk(G)的下确界为0,并证明了当图G为G1,sk+1图且a(s+1)≠0(mod k+1)(a=2,3,4)时,αk(G)达到下确界;最后还刻画了能够(n-1)-角色分配的G1,sn图.     

子群的π-可补性对群结构的影响

如果存在G的一个子群K,使得G=HK且|H∩K|π=1,则群G的一个子群H称为在G中π-可补,此时K称为H在G中的π-补.研究了π-可补子群的一些性质,并利用群G的Sylowp-子群的极大和极小子群的π-可补性,给出了群G为p-幂零群的一些条件.特别地证明了如下结果:设G是一个群,P是G的一个Sylowp-子群,p∈π且p是|G|的一个素因子,如果(|G|,p-1)=1且P的每个极大子群在G中π-可补,则G是p-幂零群.     

毕竟正则半群中的变量

设S是一个半群,a∈S.S的关于元素a的变量指的是S按运算 ∶x,y∈S, x y = xay做成的半群(S, ).本文给出了毕竟正则半群上变量的一些性质并刻画了毕竟正则半群的毕竟正则保持元,即使得(S, )是毕竟正则半群的元素a∈S.     

具有长条型内边界外问题的耦合法

本文以具有长条型内边界的二维调和外问题为例，研究一种带有椭圆人工边界的自然边界元与有限元耦合法，给出耦合变分问题的适定性及近似解的误差估计．理论分析及数值结果表明，用该方法求解带长条型内边界的外问题是十分有效的．     

脑神经元移行异常的MRI诊断

为了提高对脑神经元移行异常的MRI诊断，笔者收集了5例脑神经元移行异常的病例，详细分析了本病的MRI表现，并讨论了脑神经元移行异常的发生、病理、分型以及临床表现．