Cauchy奇异积分及积分方程的高精度算法

通过讨论Cauchy奇异积分方程的数值解法,给出新型Cauchy奇异积分公式,Euler-Maclaurin展开式及外推公式.另外还给出带有Hilbert核的奇异积分公式,利用这些公式,讨论奇异积分方程的高精度算法.     

一类柯西型奇异积分方程的数值分析

利用复合中点公式研究区间上一类柯西型奇异积分方程,通过选取区间中点作为配置点,得到与其相应的配置方程.文章推导出系数矩阵逆矩阵的上界,继而得到积分方程的误差估计.最后,数值算例验证了理论分析结果.     

旋量值函数的Plemelj公式

对比于多复变中的Bochner-Martinelli型积分的Plemelj公式, 定义了艾米尔特Clifford分析中旋量值函数的Cauchy型积分及Cauchy主值积分, 得到了旋量值函数的Plemelj公式, 最后给出一些特殊情形的Bochner-Martinelli型积分的Plemelj公式.     

闭光滑流形上具有拓广的Bochner-Martinelli 核的奇异积分的置换公式

利用拓广的Bochner Martinelli型积分的Plemelj公式,得到了闭光滑流形上具有拓广的Bochner Martinelli核的奇异积分的置换公式,并且当密度函数可全纯开拓到区域D内时,证明了相应的合成公式.     

几个新积分公式及其应用

利用莱布尼兹公式导出n阶分部积分公式。     

边界积分方程数值解法及其应用(Ⅱ)

本文推广了中的结果,对于三维问题,利用多元插值和边界型求积公式给出边界积分方程一种新的数值解法。     

关于Gauss-Lobatto积分公式问题的一个注记

Gauss-Lobatto积分公式对次数不超过2n-1次的多项式是准确地成立的.最近,有人以积分上下限作为额外的变元来进一步极小化公式误差的方法以改进这个公式,并给出了计算直到2n 1次单项式的数值例子,但是既没有分析误差,又没有对积分区间的长度加以限制;文章中给出了这种改进的一个误差上界,此误差上界随着积分区间长度趋向零而减小到零,说明他们的改进实际上是不恰当的.     

关于Iyengar型积分不等式

利用余项为积分形式的Taylor公式给出一个含参数的Iyengar型积分不等式,并由此提供了对最基本的Iyengar积分不等式和其他Iyengar型积分不等式新的解析证明.     

柯西积分公式及其在积分中的应用

阐述了柯西积分公式在解析函数理论中的重要地位,叙述了各种不同表示形式的柯西积分公式和高阶导数公式,并举例说明了这些公式在积分计算中的应用.     

利用反函数法求不定积分

由原函数与反函数的关系、分部积分公式以及变量代换得出利用反函数法求不定积分的一系列积分公式.     

复柔量-蠕变柔量和复模量-松弛模量转换公式的讨论

在分析和评价J.J.Aklonis和W.J.Macknight,W.Flugge,F.J.Lockett以及J.D.Ferry等人转换公式的基础上,给出一组适用于所有线粘弹材料的一维普适公式。这组公式,可以或者在一定条件下与现有转换公式等价或相互转化。     

经典组合一公式及其应用

经典组合学上有三个著名的公式，即Ｎｅｗｔｏｎ公式、Ｗａｒｉｎｇ公式以及唐华公式，本文在三公式的基础上重新提出另一公式，不仅使它们的关系更完善，同时还对美国《数学评论》杂志上一个错误报道加以修正。     

命题公式的一种演绎判定方法

命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式：最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。     

几种积分的辛卜生公式及其误差估计

给出了多元函数相对于积分区域的开普勒（Ｋｅｐｌｅｒ）公式和开普勒函数的定义；推导出了重积分、线、面积分的辛卜生（Ｓｉｍｐｓｏｎ）公式及其误差估计公式     

轻骨料高强预应力混凝土平台的配筋设计研究

对硅灰陶粒混凝土与普通陶粒混凝土收缩徐变性能，以及二者分别在空气中和水中预应力损失进行试验研究，得出了轻骨料高强混凝土预应力损失中的钢筋种类，硅灰掺入，张拉龄期，收缩，徐变，工作环境等的影响系数，并以此为基础，根据对预应力混凝土平台罐体的有限元分析结果，进行了配置设计，为了检验设计的可靠性，在预应力配筋设计后又对罐体结构进行了考虑预应力筋的有限元分析和模型试验验证，证明了本文建议的预应力损失参数的事便性及其用于大型复杂结构预应力的配筋的可靠性。     

一点超前数值差分公式的提出、研究与实践

根据数值微分理论,若给定未知目标函数在指定区间上的离散采样点数据,可使用数值差分公式求目标点处的一阶导数近似值。但对于靠近边界的目标点而言,多点中心差分公式可能因单边数据点不足而无法使用。另外,目标函数的一阶导数在目标点处可能发生加速变化,而前(后)向差分公式只考虑了单边数据点,可能无法适应该变化,使导数值误差较大。实际上,针对靠近右边界的目标点,可将后向差分公式在形式上"前移"一点来计算一阶导数,因此,一点超前数值差分公式被提出与研究。计算机数值实验表明:一点超前数值差分公式可使所求目标点一阶导数值具有较高的计算精度。     

MAX+(k)中公式改名的多项式时间可判定性

MAX^ (k)是极小不可满足公式的一个子类。作者引入了MAX^ (k)中公式的一种递归构造方法,基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。证明了MAX^ (k)中公式的改名问题在多项式时间内可以判定。     

模糊谓词逻辑公式的有限和可数解释真度理论

提出了模糊谓词逻辑公式的有限解释真度和可数解释真度的概念，并讨论了它们的一系列性质．从而为引进公式间的相似度概念、导出全体公式集上的一种伪距离提供了依据，进而为模糊谓词逻辑的近似推理理论提供了一种可能的框架．     

火炮后效期非定常理论计算公式

火炮的后效期现象是一种比较复杂的非定常气体动力学现象。传统的后效期理论通常采用准定常假设 ,有些理论计算公式形式奇特 ,物理概念不清。该文对火炮后效期的理论计算公式作了系统研究 ,摒弃了准定常假设 ,求得了后效期膛内火药气体总动量变化率的解析解 ,得到了一套推理相对严谨、物理概念比较清晰的火炮后效期理论计算公式 ,包括后效期炮膛合力公式和一些后效期特征量计算公式。这些公式经实际应用检验 ,表明精度较好     

多点多重Lagrange型插值公式

讨论了一般多点多重Hermite插值问题,给出了完全展开的多点多重Lagrange型插值公式,且就各节点重度相同的情况给出了若干特例.并利用序列对偶及广义差分方程理论等给出了计算Lagrange型插值公式的多种快速算法.