某些五次自然样条投影算子模的界

[1]给出了等距分划时亏数为1的五次自然样条投影算子模的值.本文讨论了在非等距分划情况下的某些亏数为2和3的五次自然样条投影算子模的上界,并给出相应的估计式.设Δ是[0,1]上的任意一个给定的分划:0=x_0相似文献   

一类五次周期样条插值算子模的界

讨论了一类五次周期样条插值算子模的界．     

关于一个猜想的否定性证明

本文给出了猜想——“存在这样的正方形ABCD,在其中能找到一点O,使OA、OB、OC、OD四条线段以及正方形边长均为整数”的一个否定性证明。     

Stirling公式的一个证明方法

利用em的幂级数展开式、不等式ex≥1+x,(1+x)m＞1+mx,(x＞-1,m＞1)及概率积分∫+∞0e-x2dx=/2π证明了Stirling公式.     

关于Post-Gamma算子的点态近估计

综合利用概率论中的中心极限定理的一种渐近展开形式和Bojanic-Cheng方法,研究了Post-Gamma算子 对局部有界函数的点态逼近估计,得到精确的逼近阶,并进一步证明了此估计在连续点处是渐进最优的.     

关于一个线性算子群的问题

在一个线性算子群应用于二阶线性发展方程求解的思路基础上［１］，归纳其中的生成算子为ｎ阶矩阵形式，进一步提出了该生成算子的线性算子群，在巴拿赫空间中证明了这个线性算子群的基本特征，且是高阶线性发展方程求解理论的基础部分。当然，低阶线性发展方程的解为其特殊情况     

二次型化成平方和的一个证明

在高等代数中把矩阵化为标准型式已具有完善的方法与结论 ,但未注意到把行列式的对角线一侧元素全部化为零 ,而主对角线上元素如何变化 本文着重对其进行阐述 ,从而得到二次型化成平方和的雅可比方法的另外一个证明 ,依此来证明二次型正定的一个充要条件     

矩形域上的一类三次样条插值

主要讨论了利用Fraeijs de Venbeke-Sander格式给出矩形域上的一类三次样条插值方法，并给出误差估计。     

矩形域上的一类三次样条插值

主要讨论了利用Fraeijs de Venbeke-Sander格式给出矩形域上的一类三次样条插值方法,并给出误差估计.     

关于双线性算子与形式的一个注记

本文给出了双线性运算的定义,将文献[1]中的双线性算子与双线性形式加以联系,并在特定条件（V=R）下作一种统一,以利于认识对应的李群、李代数之间的关系,利于研究流形与子流形的结构。     

关于二元五次样条的插值与逼近

本文主要研究了矩形区域在工型三角剖分△（1）mn下的一类二元五次样条函数S5'（△（1）mn）插值的存在性、唯一性及逼近度问题．     

关于电路理论的一个推论及证明

应用诺顿定理可以简化电路的计算,但是诺顿定理局限于二端网络。如果要求多个支路电流变量时,需要多次应用定理,而求诺顿等效电路时有时并不简单。本文提出了线性N端网络端电压的推论及证明,并举例简要说明了其在简化电路计算方面的应用。     

关于多元连续函数逼近定理的一个证明

本短文的目的是利用概率方法给出《函数逼近论》中的多元连续函数逼近定理的证明。利用概率方法解决分析问题的基本思想,就在于选取适当的概率模型,以便利用相应的随机过程的概率特征作为原分析问题的近似解。     

关于Hadamard三园定理的证明

本文给出了Hadamard三园定理的一个简单证明。     

关于蕴涵重言式不是推理式的证明

现行形式逻辑读本错误地用纯真值函数的蕴涵重言式表达能从已知获取新知的传统逻辑复合命题推理。含蕴涵怪论的蕴涵重言式的本质特征是纯真值函数,其整个命题的真值取决于它的支命题的真值。除了假言易位推理和联言推理而外,传统逻辑的其他所有复合命题推理用蕴涵重言式表达后都出怪论。     

一个贪官的三次失眠

11月5日,安徽省铜陵市人民法院一审判处阜阳原市委常委、组织部长韩希鹏有期徒刑十四年。6年卖出23顶官帽,在韩希鹏的卖官路上,有几个数字与他结下了不解之缘,让他刻骨铭心,让人回味深思。 铜陵是韩希鹏的老领导、曾任阜阳市委副书记、市长的李和中担任过3年市委书记的地方。李和中在铜陵说过许多为官清廉的话,韩希鹏也曾在各种场合高论“为官一任要造福一方”。但令人遗憾的是,今年初以来,安徽省检察院直接立案侦查的3起厅级干部贪污贿赂案中,韩希鹏和李和中各占一席。     

一个不等式的证明与Holder不等式的推广

文[1]证明了下面这一形式优美应用广范的不等式:设a_i,b_i∈R~+(1≤i≤n),α,β∈R,γ∈R~+,且αβ>0,α-β≤γ则 本文将给出当α-β≥γ时的相应结论,即有 定理 设a_i,b_i∈R~+,(1≤i≤n),α,β∈R,γ∈R~+,且αβ>0,α-β≥γ,则     

论司法证明方法的第三次转变

从古到今,司法证明方法变动不居。而证据是司法证明方法历史兴替的标志,证明方法的各种属性是司法证明方法历史兴替的根据。发源析流,知古鉴今,人类社会的司法证明方法已然经历过两次重大的转变,当代基于各种现代技术手段和仪器测试而取得的各种各样的心理证据的出现预示着司法证明方法第三次转变的发展方向。而一些国家对证明犯罪人主观心理方法合法性的立法认可显露了司法证明方法第三次转变的冰山一角。     

关于基解矩阵一个定理的简捷证明

一般地，常数矩阵A的特征向量不构成n维欧氏空间．针对这种普遍情况，用很初等的方法解决一类齐次线性微分方程基解矩阵的结构问题。