高斯曲率绝妙定理的几种公式的推导方法

考虑高斯曲率绝妙定理的公式表示问题,运用曲面上基本方程的矩阵表示法,推导出高斯曲率绝妙定理的直接显式公式,指出了高斯曲率隐式公式的验证过程,给出了高斯曲率计算公式Liouville形式的推导过程。     

高斯曲率内蕴公式的几种形式的推导方法

考虑曲面上高斯曲率内蕴公式的表示问题,运用曲面基本方程的矩阵表示法,给出了高斯曲率是内蕴量的直接的显式公式,并指出这种内蕴公式与Brioschi的表示公式是明显一致的;给出了高斯曲率简化公式的推导来源,揭示出了高斯曲率隐式公式的发现过程。     

Riesz表示定理的推广形式

常见的Riesz表示定理的证明方法是通过在f的零空间的正交补中,构造满足表示定理公式的向量.这里给出著名的Riesz表示定理的一种推广形式,并尝试从不同的角度给出Riesz表示定理的不同证明方法.利用几何测度论的知识给出了一个直接的证明.     

Mader定理几种形式的等价性

两两独立H-道路的最大条数问题,最早由Mader于1978年给出了完整的解答.1980年Lovász由他的拟阵匹配公式给出了另一种解答.2001年Schrijver又给出了一种简洁的证明.但他们对问题的解答形式有着巨大的差异,本研究证明了这3种形式的等价性.     

几何结构因子的两种表示形式

在固体物理学中利用几何结构因子可以分析 X 射线衍射的加强和消失条洚,本文对几何结构因子的概念进行了讨论,得出了几何结构因子的两种表示形式。     

曲面论高斯方程公式的几种形式的推导方法

考虑曲面论高斯方程公式的表示问题.运用曲面上基本方程的矩阵表示法,给出高斯方程直接的显式公式表示;指出高斯曲率简化公式的推导来源,揭示出高斯曲率隐式公式的发现过程,并给出了Liouville形式的高斯方程的证明过程.     

展开定理与逻辑函数不同表示形式的转换原理

为探索逻辑表达式、真值表、卡诺图等几种逻辑函数表示形式之间的转换原理,分析研究了基于展开定理的对逻辑函数按变量展开的最小项表达式,给出了逻辑常量0、1取值和最小项的各个变量出现形式的对应关系,逻辑函数最小项表达式和真值表及卡诺图的对应关系,揭示了逻辑函数各种表示方法的内在联系,从而完善了逻辑函数表示方法的理论原理.所述方法,有助于逻辑函数的分析、变换方法的研究,具有较好的实用性.     

Z-Quantale的表示定理

考虑Z-Quantale的表示问题. 首先, 证明任意单位Z-Quantale都同构于由其强Z-自连续映射所构成的Z-Quantale; 其次, 证明对于任意单位Z-Quantale都存在其上的一个关系Z-Quantale与其同构; 最后, 讨论单位Z-Quantale范畴与关系Z-Quantale范畴之间的关系, 证明单位Z-Quantale范畴与关系Z-Quantale范畴等价.     

关于Green定理的两种形式

通过对二元函数利用外微分性质,得到实函数Green定理的微分形式。通过实复转换,并运用外微分性质,得到复函数Green定理的微分形式。     

孙子定理的一种推广形式

本文给出了孙子定理的一种推广形式,并得到了它的解的表达式及解的个数。 孙子定理;设m_1,m_2…,m_k,是k个两两互质的正整数,m=Ⅱm_i,M_i=llm_j(j=1,2,…,k),则同余式组 的解是:x≡sum(M_j~'M_Jb_j)mod(m) 这里M_j~'M≡1 mod(m_j)(j=1,2,…,k),并且解是唯一的。     

Hajek定理的一种多维形式

文章对独立、同分布的线性秩统计量渐近正态分布的Hajck定理进行了推广,得到了k维秩线性统计量渐近正态性的结果。     

洛尔(Rolle)中值定理推广形式的几种证法

本文主要介绍洛尔中值定理推广形式的四种证明方法。     

以林邦误差公式形式表示的沉淀滴定终点误差的计算公式

滴定分析中的终点误差的计算方法,还没一个统一讨论的形式,络合滴定中林邦误差公式为学者们普遍采用,彭崇慧等应用类似公式于酸碱滴定中取得了很好的教学效果,陶德祥等在氧化还原滴定中也推导出类似公式.本文就林邦误差公式在沉淀滴定中的应用进行了探讨,推导出了林邦误差公式形式表示的沉淀滴定终点误差的计算公式.它和络合滴定、酸碱滴定等的林邦误差公式不仅形式相同,且同样能很好的计算沉淀滴定的终点误差,这样就提供了各类滴定分析终点误差统一讨论的可能性.     

曲面上的高斯曲率与高斯-波涅公式

考虑曲面上高斯曲率计算公式的使用方法问题,给出椭球面上高斯曲率的求法;在曲面正交曲线坐标网下,给出高斯-波涅公式的证明过程,并指出高斯曲率简化公式的来源;由高斯曲率的曲面积分结果,导出曲面积分的一些几何意义.     

BR_(0~-)代数的表示定理及其简化形式

通过对基础模糊命题演算系统BL*及相应的Lindenbaum代数的研究,给出了BR_(0~-)代数的格蕴涵表示形式,使得BR_(0~-)代数从定义形式上更加符合逻辑代数的特征,突出了BR_(0~-)代数和其他逻辑代数的区别与联系,其次,结合MV-代数,R_(0~-)代数和BR_(0~-)代数的关系给出了MV-代数的BR_(0~-)代数表示形式以及BR_(0~-)代数的简化形式.     

F-熵表示定理

本文是FM嵌入表示定理的有效应用之一。我们利用广义测度的Radon—Nikodym导数,这嵌入算子(?)和简单的∑~*条件,在普通的F-σ-代数σ上,对仅是单调弱连续的F-熵d(·)建立了一般性的F-熵表示定理,确定了一般的F-熵的具体积分形式;然后。把[2]文的存在定理从正规的F∑—测度空间推广到普通的F-测度空间。并且讨论了缺乏保序赋值性的F-熵的多种形式。     

鞅逼近与预解式表示收敛的几个定理

通过引入平稳遍历Markov过程的鞅逼近和S_t(f)的预解式表示, 给出并证明了S_t(f)存在鞅逼近当且仅当预解式表示收敛, 对于Markov链有相应的公式化结果. 表明通过预解式构造平稳遍历Markov过程加性泛函的鞅逼近方法在此意义下具有普遍性.     

平均值置信区间的公式表示

4个常用 p值的 t分布分位数 ,可用 4个简单的公式表示 .用于国际标准和国家标准的平均值置信区间的表示中 ,不用查表 ,非常方便 ,误差也很小 .在 n=3,置信区间所产生的置信概率误差 ΔP<0 .1 6 ;n≥4 ,Δp<0 .1 .     

逻辑基本规律的公式表示

同一律、矛盾律和排中律是思维的三大基本规律,而目前国内大多数逻辑学教材关于同一律、矛盾律和排中律的公式表示却是错误的。就此逐一对这三大规律的公式表示所存在的问题进行了论证。结论是主张取消对同一律、矛盾律和排中律的公式表示。此外,还特别强调了三大逻辑规律作为元逻辑规则的特殊地位。