Bernstein多项式导数的整体收敛速度

研究Ｂｅｒｎｓｔｅｉｎ多项式的导数对可导函数的整体逼近,利用Ｋ－泛函和光滑模的方法,建立了同时逼近的正定理和逆定理     

一个新的单调类定理

定义了集类的ｗ类的概念,给出了ｗ类的单调类定理．     

特勒根定理的验证及其应用

本文对特勒根定理的内容,特别是其适用的普通性进行了验证．并运用该定理对网络的灵敏度进行了分析．最后对一个具体电路的灵敏度进行了计算,进一步验证了文中所述方法的正确性．     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

Solutions of Two-point BVP in Banach Spaces

IntroductionGuoetal.[1]discussedthetwo-pointboundaryvalueproblem(BVP)forordinarydifferentialequationsinBanachspaces,-u″=f(t,u),　t∈I=[0,1]u(0)=u(1)=0andgavesomeconclusions.Usingthemonotoneiterationtechnique,SongFumindiscussedthesameBVP[1]andshoweditsmaximalandminimalsolutions[2].Inmoregeneralboundaryvaluecondi-tions,GuoandSun[3]discussedBVPinreflexiveBanachspacesandmadeseveralconclusions.InthisworkthefollowingBVPinrealBanachspace,E,isconsidered.Lu(-p(t)u′)′ q(t)u=f(t,u),B0uau(0)-…     

广义块Pick型矩阵和带导数的Nevanlinna-Pick矩阵插值问题

建立了广义块Pick型矩阵和块Toeplitz矩阵之间的一种等价关系,并将其用于求解一类带导数的Nevanlinna-Pick矩阵插值问题     

Hilbert空间的Nevanlinna第一基本定理

本文研究了取值在无穷维Ｈｉｌｂｅｒｔ空间中的向量值的Ｐｏｉｓｓｏｎ－Ｊｅｎｓｅｎ－Ｎｅｖａｎｌｉｎｎａ公式,向量值的Ｎｅｖａｎｌｉｎｎａ第一基本定理、Δｌｏｇ││ｆ（ζ）││的表示及Ｔ（ｒ,ｆ）的性质。     

关于渐近中位无偏估计的渐近效率(英文)

本文在几种重要的分布族中,给出了渐近中位无偏估计的渐近效率的一种定义。给出了如下一些结果：在单参数族中,提出了构造渐近有效的渐近中位无偏估计的一种方法,在具有共同支撑集的分布族中,论证了渐近中位无偏有效估计与ＢＡＮ估计之间的等价值;而在非共同支撑集的截断族中,对一般的参数向量函数构造了它们的渐近中位无偏估计,并且计算出了它们的渐近效率。     

一族随机集的本性(凸)闭包及其应用(Ⅰ)(英文)

该文定义了一族随机集的本性（凸）闭包并研究了它的性质,利用它证明了更广泛的集值（上,下）鞅的可选标样定理。     

热力学第三定律不允许时空存在奇点

热力学第三定律被推广到包括温度上限的新形式,它禁止时空奇点的存在,第三定律不允许“时间开始”和“时间终结”。广义相对论本质上是一个绝对零度的引力理论。