广义几何规划的一个改进的Newton算法

广义几何规划的目标函数的Hession矩阵有着特殊结构,利用这一特殊性,对广义几何规划提出了一个改进的Newton算法,证明了其收敛性,并且给出了相应的数值例子。     

计算机怎样证明几何不等式

阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效,对一类代数结构较为简单的几何不等式,能令计算机自动生成和输出用自然语言写出的证明。     

考虑几何非线性时梁(板)的弯曲变形计算

改进了梁(板)的挠曲线微分方程的求解,对弹性范围内梁(板)大变形情况下的弯曲变形计算给予修正,给出了考虑几何非线性时梁(板)弯曲变形计算的有限差分法,提高了计算精度.     

理想气体任意元过程热容的几何判定法

本文给出了P-V图上理想气体任意元过程热容正、负的几何判定法,并用此方法对理想气体多方过程的热容进行讨论     

二面角问题解法概述

二面角是基本概念,是立体几何中的难点,同时又是高考的热点.解决二面角问题主要有两类方法,一类是几何法,另一类是向量法.     

一类素数问题等对PA的条件独立性--对一些数论问题的逻辑讨论(Ⅳ)

用模型论方法证明了2次函数素数值问题及一种3重完美数问题对于PA的条件独立性,以及一些更一般的结论.     

奇异值分解及其简单应用

关于矩阵分解有多种形式,而在实际应用中奇异值分解尤为重要,借助由S(α)=Aα式所确定的S:Rn→Rm线性映射,给出了矩阵奇异值分解定理更具几何直观的推导过程,并用实例对其进行了辅证.     

电子-质子散射中几何标度效应的研究

在色玻璃凝聚理论框架下,我们对x≤0.01情况下电子-质子深度非弹性散射中新联合实验数据进行全局分析,研究能在全局τ区间内描述几何标度效应。利用新联合实验数据验证了理论上预言的几何标度效应,研究结果显示在高能情况下色玻璃凝聚态存在的可能性。     

联系一些特殊函数的Hilbert型积分不等式及其算子范数表达式

利用权函数方法、实分析技巧和特殊函数的相关理论,建立一个多参数的联系一些特殊函数的Hilbert型积分不等式及其等价式,证明其常数因子是最佳的,并给出其算子范数的表达式.     

基于泰勒级数的重力异常数据快速相关成像

为了提高重力勘探中数据成像的效率，对地球物理勘探中的重力异常数据进行快速三维成像.在相关成像的理论基础上针对立方体元提出利用泰勒级数的算法，重新定义了异常值的计算模型，从而得到新的几何函数.该成像方法通过级数展开、积分等方式，减少了计算量和迭代次数.在理论模型试验中，证明了提出的方法具有良好的成像能力和抗噪性，并通过效率分析说明了该算法能够大幅缩短几何函数矩阵的计算时间，提高成像效率.对文顿盐丘地区的实测重力异常数据进行快速成像，地质体的位置能够被较好地显示出来，验证了算法的可行性.