共查询到20条相似文献,搜索用时 93 毫秒
1.
考虑高斯曲率绝妙定理的公式表示问题,运用曲面上基本方程的矩阵表示法,推导出高斯曲率绝妙定理的直接显式公式,指出了高斯曲率隐式公式的验证过程,给出了高斯曲率计算公式Liouville形式的推导过程。 相似文献
2.
考虑曲面上高斯曲率内蕴公式的表示问题,运用曲面基本方程的矩阵表示法,给出了高斯曲率是内蕴量的直接的显式公式,并指出这种内蕴公式与Brioschi的表示公式是明显一致的;给出了高斯曲率简化公式的推导来源,揭示出了高斯曲率隐式公式的发现过程。 相似文献
3.
考虑曲面论高斯方程公式的表示问题.运用曲面上基本方程的矩阵表示法,给出高斯方程直接的显式公式表示;指出高斯曲率简化公式的推导来源,揭示出高斯曲率隐式公式的发现过程,并给出了Liouville形式的高斯方程的证明过程. 相似文献
4.
5.
考虑曲面上高斯曲率计算公式的使用方法问题,给出椭球面上高斯曲率的求法;在曲面正交曲线坐标网下,给出高斯-波涅公式的证明过程,并指出高斯曲率简化公式的来源;由高斯曲率的曲面积分结果,导出曲面积分的一些几何意义. 相似文献
6.
在数学分析教材中已有隐函数定理及一般隐函数组定理的证明,文[1]通过压缩映射证明了隐函数定理。借助矩阵范数与向量范数的表示形式,应用Banach不动点定理证明一般隐函数组定理,其证明过程比数学分析教材中原有的证明过程更为清晰、易懂。 相似文献
7.
张伟 《辽宁大学学报(自然科学版)》2019,46(1)
C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的. 相似文献
8.
刘希 《华侨大学学报(自然科学版)》1983,(1):69-81
一本文作者提出逻辑函数 F(X)=F(x1,…,xn,xi,xj)可以用 K 表示式来表达,并加以证明。同时提出 F(X)亦可以用 G 表示式表达,并求出二者转换的关系式。其次,从布尔差分法求双故障完全测试集的基本定理出发,推导出用 K 表示式的子函数求测试集的一系列公式及定理。它与布尔差分的根本不同处在于前者只用初级运算,后者则要求要出差分。故本文提出的方法运算简单易学。 相似文献
9.
爱因斯坦速度加法定理的一种简便推导方法 总被引:1,自引:1,他引:0
孟现美 《山东师范大学学报(自然科学版)》2009,24(2):154-155
介绍从四维速度的定义式直接推导相对论中爱因斯坦速度加法定理的一种简便方法,同时给出了任意相对论四维矢量在不同参照系中变换的普遍公式. 相似文献
10.
在跳扩散过程模型下研究了远期起点期权的定价问题.首先利用Girsanov定理得到了跳扩散模型下鞅测度的表示式,然后利用鞅定价理论得到了易于计算的远期起点期权的定价公式,利用它可以直接计算期权的任意精度近似价格. 相似文献
11.
《阜阳师范学院学报(自然科学版)》2016,(3)
利用隐函数定理将曲面的第一、第二基本量、法曲率、高斯曲率等几何量的计算转化为三元实函数的偏微商的计算,实现了对隐函数形式的曲面的研究,并给出了曲面上的直线、渐近线、曲率线和测地线的若干性质,包括存在性、方程、几何特征、曲率和挠率等。 相似文献
12.
利用Taylor级数推导了一元函数的差商公式,进而得到多元函数的偏差商公式,并构造出显式和隐式两种有限差分格式.根据不同的偏差商形式,把有限差分格式应用于偏微分方程的初边值问题中,通过不同差分格式的截断误差精度分析合理地选择出有效的差分方程. 相似文献
13.
陈方芳 《佛山科学技术学院学报(自然科学版)》2014,(5):51-54
首先使用空间的四阶交错紧凑隐式差分和时间交错后向时间差分,提出时域微分麦克斯韦方程组的交错紧凑隐式差分(CSBD-FDTD)方法,给出直角坐标系下CSBD-FDTD 方法的场量迭代公式,然后使用数学分析方法推导CSBD-FDTD 方法稳定性条件和数值色散关系,为电磁计算提供新的途径. 相似文献
14.
蔺友江 《西南师范大学学报(自然科学版)》2019,44(2):1-4
常见的Riesz表示定理的证明方法是通过在f的零空间的正交补中,构造满足表示定理公式的向量.这里给出著名的Riesz表示定理的一种推广形式,并尝试从不同的角度给出Riesz表示定理的不同证明方法.利用几何测度论的知识给出了一个直接的证明. 相似文献
15.
16.
C半群概率表示的饱和定理 总被引:6,自引:0,他引:6
陈文忠 《厦门大学学报(自然科学版)》1995,34(1):1-6
研究Banach空间上C半群概率表示式的渐近公式和饱和性质.建立Vonorovskaya型渐近公式及小o饱和定理. 相似文献
17.
王宝富 《四川大学学报(自然科学版)》1993,30(3):305-313
构造了常曲率黎曼流形中具平行平均曲率向量的二维浸入曲面上的全纯微分形式,在同胚球时,给出了其上的Frenet-Boruvka公式及维数定理;估计了浸入的高斯曲率及像的面积;并研究了该浸入的Pinching问题. 相似文献
18.
19.
欧阳容百 《南京大学学报(自然科学版)》1987,(4)
本文简要介绍Robertson引入的、适用于非线性区(远离平衡状态)的广义正则统计算符,并给出非平衡态熵的表式。着重运用广义正则统计算符简洁、明了地推证了非平衡热力学中的两个重要定理:最小熵产生定理和超熵判据判据公式。在推导过程中,仅作了局域平衡的假定。 相似文献
20.
林传盛 《集美大学学报(自然科学版)》1987,8(1):75-80
高等数学(工科)中,有些内容一直是教学中的难点,特别是某些定理和公式的证明推导,学生感到比较难掌握;大致有如下两个原因:①定理.(或公式)的证明推导过程比较复杂,或者推证的方法学生在中学里未曾接触过。 相似文献