混合流体浸润相变的研究(Ⅲ)——二元系统的四相共存态

本文讨论二元Sullivan系统的一个特殊状态——二元四相系的浸润相变性质,该系统的许多性质可以通过对两个二元二相系的讨论而得到。结果表明:这一系统同时存在一级相变和二级相变。 关键词：     

关于超幂零根与次幂等根的一个特征

本文我们引入了规范根的概念，讨论了它的基本性质，证明了一个遗传根是超幂零根或次幂等根当且仅当它是规范根，从而给出超幂零根与次幂零等根的一个统一刻划。     

转动喇曼散射截面的群论计算

本文利用群链U(4)U(3)O(3)描述双原子分子N_2和O_2振转谱的对称性质,并利用群论方法计算了N_2和O_2分子转动喇曼散射的跃迁矩阵元,给出了它们的转动喇曼散射的截面。结果与实验较好地符合。     

有限秩的幂零p-群的p-自同构

设G是一个有限秩的幂零p-群,α和β是G的两个p-自同构,记I= ((αβ(g))(βα(g))-1)|g∈G),则(i)当I是有限循环群时,α和β生成一个有限P-群; (ii)当I是拟循环p-群时,α和β生成一个可解的剩余有限P-群,它是有限生成的无挠幂零群被有限p-群的扩张．     

集合与简易逻辑

1）重点：集合及子集、交集、并集、补集、空集、相等集合等概念的理解，元素与集合、集合与集合之间的关系及集合的运算的理解与应用；绝对值不等式、一元二次不等式的解法，二次不等式、二次方程和二次函数之间的联系与应用；逻辑联结词“且、或、非”及简单命题、复合命题等概念的理解，命题真假的判断与应用，四种命题及其关系；充分条件、必要条件、充要条件的概念及两命题间充要关系的判断与证明．     

基于矩阵初等变换的n元函数极值的快速判别法

给出了 n元函数极值的一个充分条件 ,并结合矩阵的初等变换建立了 n元函数极值的一种快速判别法 ,最后给出了一个例子     

实系数一元四次方程的矩阵解法

1　引言许多实际问题 ,尤其是方阵的特征值与某些微分方程的求解往往归结为特征方程———一元ｎ次方程根的求解问题 .然而 ,当方程的次数大于或等于四次时其一般解的获得就不那么容易了 .众所周知 ,一元三次方程有求根公式———卡尔丹公式 ,而一元四次方程就没有确切的求根公式 .本文旨在给出一种通过矩阵变换来求一元四次方程根的新方法 .2　引理不失一般性 ,设实系数一元四次方程为 :ａ0 ｘ4+ａ1 ｘ3+ａ2 ｘ2 +ａ3ｘ +ａ4=0 (1 )(ａ0 ≠ 0 ,ａｉ ∈Ｒ ,0 ≤ｉ≤ 4)引理 1　记ＹＴ =(ｘ2 ,ｘ ,1 ) ,Ａ=ａ0ａ1 2 ｕａ1 2 ａ2 - 2ｕ ａ32ｕ…     

离散大系统关于部分变元的关联稳定性

一、问题的提出在文献[1]中,曾提出了关于部分变元的稳定性问题.1957年,首先引进函数 V(t,x_1,…,x_n)关于变元 x_1,…,x_m(m≤n)为定号函数等概念,并给出了系统关于部分变元稳定性和渐近稳定性的定理.随后,许多学者从事这方面的研究工作.实际上这是与这个问题本身具有很重要的实用性分不开的.意义下的稳定性是针对系统的所有状态变量而言的.但实际上很多稳定性问题并不要求(或不可能要求)用同样的方式处理所有的状态变量.到目前为止,虽然关于全变元稳定性的许多结果已平行地推广到部分变元稳定性问题上来,但是从具体问题出发,来解决     

Bivariate Recursive Equations on Excess-of-loss Reinsurance

This paper investigates bivariate recursive equations on excess-of-loss reinsurance. For an insurance portfolio, under the assumptions that the individual claim severity distribution has bounded continuous density and the number of claims belongs to R1 （a, b） family, bivariate recursive equations for the joint distribution of the cedent＇s aggregate claims and the reinsurer＇s aggregate claims are obtained.     

综合网管中基于模型驱动的元数据管理

提出了一种基于模型驱动的元数据管理方案．方案采用了基于模型的形式化描述方法，统一了专业网管子系统间的元数据模式；通过引入模型驱动技术，从元模型的抽象层次消除了不同专业网管子系统之间存在的“信息孤岛”；方案还对综合网管环境下的元数据理论和交换机制进行了研究，并给出了元数据的管理框架以及元数据交换的Java接口映射．