暴雨衰减指数为函数型的暴雨强度公式确定方法

暴雨强度公式是城镇排水工程设计的基本依据之一。为提高暴雨衰减指数随重现期显著变化时暴雨强度公式的拟合精度,结合实例研究了采用麦夸尔特法确定衰减指数为函数型的五参数暴雨强度公式的方法。计算结果表明,五参数暴雨强度公式能显著提高拟合精度,由该公式计算的残差平方和及各重现期的绝对均方差(即标准差)均明显小于四参数公式的计算结果,其各重现期的绝对均方差均小于0.05mm/min。该方法能有效降低重现期较小与较大时的绝对均方差。此外,给出了麦夸尔特法的计算程序框图,为编写计算程序代码奠定基础。     

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.     

A damage-based constitutive model for rock under impacting load

Using the Splitting Hopkinson Pressure Bar (SHPB) experimental system, investigations were made into the dynamic mechanical performances of underground soft rocks. The experiments proved that the measured stress–strain curves display the characteristics of plastic deformation. By making use of a revised overstress constitutive formula for the stress model and by taking into account that the strain rate and strain are a function of 1 − E(t)/E₀, a revised overstress constitutive formula for the stress model was simplified by applying dimensional analysis and consequently, a simplified overstress formula was obtained for the stress model. Then, by taking into consideration the effects of damage under a dynamic load on the dynamic loading strength of the rock, the continuous damage theory and the statistical strength theory were introduced into the development of the simplified overstress constitutive formula for the stress model. Hence, a damage-based constitutive formula for an overstress model, which can be appropriately applied to the analysis of full dynamic stress–strain curves, was developed. By using the simplified damage-based constitutive formula for an overstress model, the actually measured curves are fitted, indicating that the fitting curves and those actually measured are in good agreement.     

基于综合单位线法的河道设计洪水参数推算

以深圳市观澜河支流白花河为研究对象,开展基于综合单位线法的设计洪水推算及参数选取研究.通过比较综合单位线法和推理公式法推算的各断面洪峰流量计算结果,说明综合单位线法的洪水计算成果偏于防洪安全.实例研究表明综合单位线法适合于类似地区的洪水计算.     

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

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

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

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

二元切触有理插值函数的构造方法

二元切触有理插值函数的构造方法大都是基于连分式进行的,其算法可行性是有条件的,且计算量较大,有理函数的次数较高。利用分段组合方法,构造出一种二元切触有理插值函数并将其推广到向量值切触有理插值情形,既解决了切触有理插值函数的存在性问题,又降低了切触有理插值函数的次数。相比于其他方法,其构造过程公式化,算法的可行性是无条件的,有理插值函数次数较低,且计算量较小,便于实际应用。     

第一类Dirichlet积分的公式解

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