“L”形及“Z”形直埋热力管道的内力计算(兼谈SAP4程序中边界元的性质和使用方法)

一、前言 作者在文[4]至文[7]内,对埋地长输管道的热胀内力进行过近似分析,给出一系列近似计算公式,这些公式的限制性是要求直管段比较长。在城市热力管网中,有些管路包含特短的直管段,如“Z”形管路及“Ω”形管路等。这些管路已超出作者所给公式的使用范围。     

关于变系数线性微分方程的求解

本文给出了高阶变系数线性微分方程具有形如e~(ax)Z型解的充要条件——定理1,此定理推广了文[1]、[3]的结论,由定理1导出的定理2和定理3及其推论与特例,为文[2]、[3]、[4]、[5]有关例题的求解,提供了简捷有效的方法;最后,利用Leibniz(莱布尼兹)公式推导出几类特殊的变系数线性微分方程的求解公式,并给出了通解表达式。     

受复杂载荷作用的变截面柱的稳定性分析

本文在文[1]的基础上,研究分析了受复杂载荷作用的变截面柱的稳定性问题,给出了理论公式,为解决工程实际问题提供了简便有效的计算方法。     

关于“循环分块阵特征值求法”的一点注记

文[1]给出了同阶块循环阵特征值计算的一个公式及其证明。将此问题推广到更一般的情况,给出同阶块α—循环阵特征值计算的公式及别的性质。同阶块α—循环方阵P_a为:     

常系数线性微分系统Cauchy问题的求解公式及其应用

众所周知,常系数线性微分系统Cauchy问题的求解,不论是在目前的教科书(如[2])还是在有关的参考书(如[3])中,所介绍的解法,不仅计算量很大,而且没有给出具体的求解公式。本文仿[1]用待定系数的方法给出了该问题的求解公式,大大地简化了求解问题,特别适合工程技术上的应用。应用本文所给出的公式,我们很容易解决文[2]——[6]中有关的问题。     

有限循环群的Fuzzy子群的种数

本文利用文[1]的理论,首先把正规Fuzzy子群与单群、正规列联系起来,得出两个结果(命题1与命题2);然后给出任意有限循环群的Fuzzy子群种数的计算公式(命题4), 文[4]中的命题3.4与3.5的公式为此公式的特殊情形。     

弯矩或扭矩作用下环形角焊缝的强度计算

在钢结构的焊接连接中,有两个焊接连接的近似计算公式,一是弯矩作用下环形角焊缝强度计算,二是扭矩作用下环形角焊缝强度计算,所有文献均没有给出这两个近似公式的来历,也未给出其使用范围。用理论分析了这两个近似公式进行,对其来历进行了推导,通过精确计算与近似计算的误差分析,给出了环形角焊缝在弯矩或扭矩作用下强度计算近似计算公式的适用范围与使用条件。     

c~n空间中多面体域上外微分式的积分表示

作者继文[1]和[2]给出多面体域上全纯函数的积分表示式,及此种域上可微函数的积分表示(即Leray-Stokes公式)之后,进而给出多面体域上外微分式的积分表示式。 本文采用文[1]中所有约定和记号。多面体域的定义也见文[1]。     

Bernstein算子矩量

本文利用文[1]中的公式,得出Bernsein算子1－5阶矩量和中心矩量 [2],这些结果在实际计算中因计算量小,结果简明,而便于应用。     

命题公式真值表的生成与公式类型的机械判定

在文[1]的基础上,给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.     

sum from m=1 to n(m~k)求和公式系数的计算

(一)引言关于自然数连续n项k次幂的求和公式,有不少同志在研究,并得到了很多成果。如余炯沛同志在文[1]中,证明了sum from m=1 to n (m~k)的和是n的k+1次多项式;赵建林等同志在文[2]中,找到了求和的统一关系式;著名数学家陈景润等在文[3]中,给出了k=1,2,…,20的求和公式。但上述成果中,有的没有指出求和公式中系数之间的关系,有的虽然指出了系数之间的内在连系,但其表述方式和实际计算均较复杂.笔者对sum from m=1 to n(m~k)求和公式中的系数,进行     

命题公式主范式的自动生成与形式输出

在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出.     

有关指数e及Stirling公式的不等式

文中给出了(1 1／n)^n的级数展开式，利用此展开式得到比文[1、2、3、5、6]中更确切的关于指数e的不等式,应用这些不等式，加强了Carleman不等式和Hardy不等式，并且证明了文[4]中提出的Stirling公式。     

用微分连续法求非线性方程组数值解

本文给出并证明了与文献[1]不同的用微分连续法求非线性方程组数值解的公式。证明的方法与文献[1]不同。在PDP-11/45计算机上,用本文的公式和文献[1]中的中点公式计算了文献[1]中的两个算例,在h相同的情况下,用本文公式得到的结果更接近真解。     

线性分式函数的迭代公式与还原周期

文[1]得出了线性分式函数的迭代公式[1],文[2]、文[3]探讨了几次迭代还原函数的构造定理[2][3],而定理不具有普遍性。利用高等代数知识推导出线性分式函数的另一迭代公式,用特征根之比得出还原周期,由此构造了任意次迭代还原函数。     

含参数复常系数线性微分系统的求解定理

文[1]给出了二维复常(变)系数线性微分系统的求解公式,本文给出二维含参数复系数线性微分系统的求解公式。     

正N边形同轴传输线特性阻抗的近似计算

综合分析同轴线电容近似计算方法，推导出正边形同轴传输线特性阻抗的近似计算公式，实例计算了正三边形、正四边形、正五边形、正六边形、正七边形、正八边形同轴传输线的特性阻抗，通过理论分析和数值比较验证近似计算公式的计算精度。计算结果表明：当R1／R2〈〈1，近似计算公式精度不高，当R1／R2≥0．8时，公式具有较高的计算精度，可用于电磁工程问题的设计与计算。     

重复组合公式的一个新证法

文[1]给出了重复组合公式的一个证明,本文采用了概率论的思想,给出了另外一种更容易接受的新证法。     

数学软件Mathematica 4.1在微分方程定性理论中的应用研究(1)

本文及本文的续篇主要介绍数学软件 Mathematics4 .1的基本功能 ,以及它在微分方程定性理论 ,特别是多项式定性理论中的应用。本文通过利用 Mathematics4 .1,计算了一类三次系统的焦点量公式 ,并指出了文献[9]中一个错误。     

一类代数方程的摄动解

设f(x),g(x)分别为复数域上的 m和 n次多项式  利用直接展开法分 m≥n和 m相似文献