软件演化过程的度量数据采集策略研究

度量数据的采集是度量软件过程的重要环节,讨论了度量数据的采集过程中遇到的问题,以及有效数据采集应遵循的原则,并针对软件演化过程的特点及不同的应用提出了2种数据采集的策略．     

A-调和方程障碍问题的很弱解

研究二阶拟线性散度型椭圆方程divA(x,▽ u(x))=0的障碍问题的很弱解的性质,此A-调和方程需满足A(x,ξ)·ξ≥α |ξ|p,| A(x,ξ)|≤β(| ξ |+k(x))p-1,其中1＜p＜∞,0＜α≤β＜∞.     

西方商业银行信用风险的度量及对我国的借鉴

自巴塞尔协议规定用于确定风险的资本充足度内部模型必须是以Var为基础的模型以来，Var已成为目前最为流行的风险管理模型，此模型的引进和应用对改进我国商业银行信用管理有借鉴意义。     

复盐K2Cu(C2O4)2·2H2O的热分解动力学研究

合成了复盐K2Cu(C2O4)2·2H2O,利用TG - DTG技术分析研究了它们在氮气气氛中的热分解过程,用Freeman - Carroll和Achar - Brindley - Sharp - Wendworth两种方法确定了复盐热分解反应的活化能 (E)、反应级数 (n)和频率因子 (A)等动力学参数, 通过线性拟合得到其相关度均大于0.99, 具有良好的动力学一致性.     

半范的Gteaux可微性和半范空间的完备性

在局部凸空间上考虑半范的性质,得到了半范的G teaux可微等价条件,并在由局部凸空间上的所有半范构成的集合上赋予一个完备的度量,且证明了等价半范集在此度量空间中的开性.     

Toeplitz代数的K1-群

证明了在强拟凸域上，它的拓扑边界上的连续函数代数的K1-群同构于边界上的Toeplitz代数的K1-群与Z的直和。并进一步证明了在复平面C上，任意区域的拓扑边界上的连续函数代数的K1-群与它边界上的同伦群同构．     

关于K_4(2,2,3,δ,ε,η)的色性问题

证明在K4-同胚图K4(2，2，3，δ，ε，η)这一类图簇中，任何两个不同构的图之间不存在色等价关系．这一结论从色多项式的角度刻划了K4-同胚图K4(2，2，3，δ，ε，η)的结构特征，为研究K4-同胚图K4(α，β，γ，δ，ε，η)的色唯一性奠定了基础．     

连续函数超空间

基于空间X到空间Y的连续函数族作为乘积空间X×Y的闭子集组成的超空间CL(X×Y)的子空间 ,在限制Y为Hilbert方体Q时 ,得到连续函数超空间C(X ,Q)同胚于Q的伪内部s;在限制X为单位闭区间I时 ,考虑连续函数超空间C(I,Y)在CL(I×Y)中的闭包 ,得到其元素到Y的投影是连续统 ,且投影随I中的点连续变化 ,并举例说明了即使X为单位圆盘 ,上述第二个结论也不能成立 .     

关于K一致光滑Banach空间的注记

给出Banach空间成为K一致光滑空间的一个新的更一般化的定量形式的充分条件，推广了文献[1]中的主要结果。     

超球上关于不变度量的（0，q）-Green式的性质

证明了：对任一（0,q)式g(z)=1/q!g_Aq(z)dz^Aq,其系数gAq-(z)满足:gAq(z)/1-|z|^2在B^n-连续，则有□w∫Bng(z)∧*N(z,w)=g(w)。