Gegenbauer加法定理截断误差的一种新的估计

Gegenbauer加法定理是Bessel函数相关理论体系中一个重要的理论,在数学物理问题中有广泛的应用.本文在由Bessel函数和Neumann函数极限形式所导出的上界基础上,对Gegen-bauer加法定理的截断误差上界进行了估计,得到了明确的误差界及其收敛阶.最后,通过数值实验验证了估计的有效性和精确性.

基于定理证明器的行波进位加法器开发以及新的芯片设计方法探索

数字芯片的规模已经进入几百亿晶体管的时代,传统的硬件设计方法难以应对日益复杂的电路需求,比如基于Verilog语言的硬件设计。针对这个问题,文章以行波进位加法器为例,探索基于交互式定理证明器Coq的芯片设计方法,该方法不仅在Coq中完成了加法器的RTL描述,而且进行了加法器的功能仿真、形式验证、Verilog代码生成、网表生成和网表仿真。这个案例在单一的编程平台里把RTL设计同前端EDA的主要流程整合在一起,虽然案例简单,但可以初步体现出基于Coq的芯片前端设计的可能性,并且希望能够从此出发探索出新的基于定理证明器的芯片设计流程。文章的主要技术路线是在Coq中开发芯片设计的抽象语法树,然后基于这个抽象语法树展开行波进位加法器的前端开发流程。实验结果表明,Coq在支撑芯片设计方面有巨大的潜力,并且基于定理证明器的验证是可以复用的,这有利于验证大规模的系统。尽管这一方法处于探索阶段,但它为未来的芯片前端设计提供了全新的思路,有希望发展成为一种新型的芯片前端设计方法。

条件Erlang分布单参数加法定理的推广

X(γ)和Y(k)服从参数(γ,λ)和(k,μ)的Erlang分布且相互独立。本文利用条件分布知识证明了在X(γ)<Y(k)<X(γ+1)条件下,Y(k)的条件分布是参数(γ+k,λ+μ)的Erlang分布,这一结果是条件Erlang分布的单参数加法定理的推广。它对导出复杂排队系统中顾客等待时间分布起着重要作用,类似地可研究Γ 分布的有关性质。

Mathieu函数及其加法定理的数值计算

利用Ｍａｔｈｉｅｕ函数的级数展开及其特征值的数值迭代多项式，数值计算了Ｍａｔｈｉｅｕ函数及其加法定理．当ｒ≤３０、０≤ｑ≤５０时，所编制的程序在微机上的数值结果与文献［１］结果相吻合，其计算精度达１０－５．

条件Γ-分布的单参数加法定理的推广

在研究只允许部分服务台进入休假状态的多服务台MMc排队系统时,发现了条件Erlang分布的双参数加法性质,进一步研究发现它对Γ分布也成立。设X(α)和Y(β)服从参数(α,λ)和(β,μ)的Γ分布,且相互独立,证明了在X(α)<Y(β)<X(α+1)条件下,Y(β)的条件分布是(α+β,λ+μ)参数的Γ分布,并称这一结果是条件Γ分布的双参数加法定理。它对导出复杂排队系统中顾客等待时间分布起着重要作用。

概率加法公式新定理

在一般概率加法公式的基础上提出可列概率加法公式定理,同时给出了可列概率加法公式成立的充要条件,据此定理得出了一个有价值的推论.

利用微分方程证明反正弦加法定理

利用微分方程和函数的连续性给出了反正弦加法定理一种新证法,该证法可清晰地显示如何分区域讨论问题.

爱因斯坦速度加法定理的一种简便推导方法

介绍从四维速度的定义式直接推导相对论中爱因斯坦速度加法定理的一种简便方法,同时给出了任意相对论四维矢量在不同参照系中变换的普遍公式.

条件负二项分布的双参数加法定理

在研究只允许部分服务台进入休假状态的多服务台M/M/c排队系统时,发现了条件Erlang分布的双参数加法性质,进一步研究发现相对应离散随机状态的负二项分布也具有类似的性质。本文证明了当X服从参数(m,p)的负二项分布,Y和Z服从参数为p和θ的几何分布且相互独立时,在X<Z<X+Y条件下,Z的条件分布是参数(m+1,p+θ-pθ)的负二项分布,可称之为条件负二项分布的双参数加法定理;并给出了在X<Z的条件下,X的条件分布是参数(m,p+θ-pθ)的负二项分布。它们对导出复杂排队系统中离散状态下顾客等待时间分布及保险公司中破产概率上界的计算起着重要作用。

马氏过程代数式收敛的加法定理

考虑无穷可数维其分量为相互独立的马氏过程 ,无穷小生成元满足Ω =∑kΩk。

含有非零基座的本原加法范畴的一个局部结构定理

讨论了含有极小单侧理想的本原加法范畴。

在概率加法定理的教学中培养思维能力

本文从两个方面讨论了在概率加法定理教学中对学生思维能力的培养。

“加法定理及其推论”中各公式推导方法的分类及其启示

在“加法定理及其推论”一章中,出现了较多的公式,如加法定理、二倍角、半角、积化和差与和差化积等公式,不少学生感到繁琐难记,以致影响对公式的综合应用。鉴于此,在该章教学中,我通过剖析各公式之间的内在联系,以cos(α+β)和sin(α+β)作为公式之源,尝试着对各公式推导方法进行了归纳分类。这不仅便于学生对公式的理解和记忆,同时也进一步拓展了学生的思维。

从方差加法定理中所发现的问题

一、标准差和方差标准差是总体各单位标志值与其算术平均数离差平方的算术平均数的平方根,故又称为均方根差,以σ表示。它是用来测定总体离散程度的主要指标。方差是标准差的平方,以σ~2表示。它是一种应用较广的统计分析工具。

全概率公式与概率加法定理的关系

求概率问题是概率论中的一个基础而重要内容,而对所求事件的分析是求概率问题的难点,能够准确分析所求概率的事件对解决求概率问题起着非常关键的作用,而全概率公式是概率论中的重点和难点内容,其难主要是难在学生往往不知道什么时候用全概率公式,即对全概率公式的使用条件模糊不清,判断不准,经常与概率加法定理混淆.本文在给出全概率公式和概率加法定理的基础上,分析全概率公式和概率加法定理的使用条件,进一步澄清二者的关系.

用余弦的加法定理不同的证明来说明一题多解的重要性

用不同的方法证明余弦的加法定理说明一题多解很重要,它要求学生有很高的参与热情,能唤起学生的好奇心和求知欲,便于搞清问题的内涵和外延,而且可以提高数学能力。

从加法定理的证明谈起

称为正弦、余弦的加法定理,简称加法定理。对三角函数作解析定义时,它被作为概念的本质属性的一部分,用以定义正弦和余弦函数。加法定理是一切三角公式的基础,也是现行中学数学教材的一个重点。 许多教材都把加法定理看作诱导公式的推广,只要证明其中一个或两个公式成立后,就可借助诱导公式推出另外的公式来。 证明加法定理的方法很多,从论述的形式看,可以分为两类。为了便于对照现将主要部分分述如下: 第一类,分情况证明加法定理。 这类方法都是应用平面几何的知识来进行证明。由于平面几何中的定理对角度的取值都有一定限制,图形对证明也有很大的制约作用。所以这些证明只能先说明定理在一定值的范围内成立,然后逐步扩充到一般情况。

关于常微分方程解的加法定理

本文导出了二阶常系数线性微分方程的解所满足的一个关系式,指数、正弦、余弦、双曲正弦及双曲余弦的加法定理都是这个关系式的特例;最后将此关系推广到n阶情形。

正弦和余弦的加法定理的口诀记忆法

繁多的三角函数公式中最基本的是正弦和余弦的加法定理:sin(α±β)=sinα·cosβ±cosα·sinβcos(α±β)=cosα·cosβ±sinα·sinβ为了便于记忆,上述公式可以概括成下面的口诀:“正弦交叉不变号,余弦变号不交叉”.

用复数加法统一证明三定理（高二、高三）

如图，以△ABC的顶点B为坐标原点，以BC所在直线为x轴，C点在x轴的正半轴上，建立直角坐标系。