球面三角形面积公式的一个积分证明

球面三角形面积的计算公式是球面几何中的一个经典公式.运用曲面积分方法和两平面夹角的计算给出了该公式的一个严格证明,并进一步推导了由球面三角形顶点处经纬度直接计算面积的公式,从实用角度看,该公式优于经典公式.     

水闸底流消能计算公式的分析与改进

以上海市东风西沙水库下游水闸消能设计为例,对水闸消能计算中遇到的问题加以分析后发现,在上游水位不变、过闸单宽流量不变、下游水深较小的情况下,下游水深越小,采用《水闸设计规范》(SL265—2001)中的消能计算公式计算得到的消力池深度反而越小,这与实际情况有较大的出入。通过理论推算,对原计算公式进行了修正,并采用修正后的计算公式进行了消能计算,计算结果与实际情况相符。     

The numerov alternating group explicit (numage) method:

In this paper, more accurate solutions are obtained by applying the Numerov formula to the Alternating Group Explicit (AGE) method in the solution of linear and non-linear two point boundary value problems.     

A class of generalized trapezoidal formulas for the numerical integration of

The classical arithmetic mean (AM) trapezoidal formula is known to be A-stable. Recently, Chawla and Al-Zanaidi [1] described a modified arithmetic mean (MAM) trapezoidal formula which is L-stable. In the present paper we introduce a one-parameter family of generalized trapezoidal formulas (GTFs), which include both the AM and MAM trapezoidal formulas as special cases. A GTF can switch from an A-stable to an L-stable method depending on parameter values, and it is shown to perform, for certain selections of the parameter values, better than AM and MAM formulas for the integration of examples of the stiff systems considered.     

Presentation数学公式到Content转换关键问题研究

数学公式在计算机中的存储和表示格式多种多样,数学公式搜索中需要将各种格式的数学公式相互转换,从而为用户提供更为丰富搜索结果。从数学公式的用途和目的来看,计算机中的数学公式格式可分为Presentation型和Content型。主要研究和总结Presentation型数学公式到Content型数学公式的关键问题,提出基于类型系统的数学公式歧义推测方法,能够有效解决转换中的公式歧义问题。     

基于错误模式和模型检验的静态代码分析方法

为提高程序编写的正确率,减少软件开发和维护开销,提出一种基于错误模式和模型检验的静态代码分析方法。该方法将C语言程序常见的错误模式以CTL公式表示,形成可扩展的CTL公式库,生成待检测程序的控制流图(CFG)后,将CFG抽象并转化为等价的 Kripke结构,利用标号算法实现模型检验,由此验证程序的正确性。基于CoSy编译平台的实验结果表明,该方法能正确查找出程序中存在的错误模式,且具有良好的可扩展性。     

第一类Dirichlet积分的公式解

利用三角降次公式及留数解决了第一类Dirichlet积分问题,即给出了第一类Dirichlet积分的公式解。利用所得结果,定义了Dirichlet数Dn,证明了其一般性质。     

洁面膏基础体系配方的研究

从原理上剖析了洁面膏基础体系的配方结构。根据增稠方式和微观结构的不同，将洁面膏体系划分为3种不同体系：聚合物增稠体系，表面活性剂液晶增稠体系和乳化体增稠体系，并阐述了不同体系的优缺点。每种体系都附有基础配方说明，为开发洁面产品提供理论和实践的参考依据。     

内压作用下钢衬钢筋混凝土压力管道裂缝宽度计算公式

提出"外部管壁"力学模型,并推导出精度较高的半理论半经验计算公式,该公式考虑了混凝土保护层内外的裂缝宽度差异,而后给出算例.