s-单式环的交换性定理(英文)

本文将文献[3]的引理1推广到s-单式环上,并用迭代技术给出文献[4]的定理2一个简易的证明,将若干有1环的交换性定理推广到s-单式环上。     

F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。     

复合二项K－S算子和PoissonK－S算子逼迫

引入复合二项Ｋａｎｔｏｒｏｖｉｃｈ－Ｓｔｉｅｌｔｊｅｓ算子（Ｓ＿ｒｖ）（ｘ）＝Ｓ＿（ｋ，τ）（ｘ）（τ＞０，０≤ｘ≤１），证明了当τ→＋∞时，（Ｓ＿τｖ）（ｘ）在（０，１］上几乎处处收敛于ｖ关于Ｌｅｂｅｇｕｅ测度的绝对连续部份的Ｒａｄａｎ－Ｎｉｋｏｄｙｍ导数ｆ（ｘ）．同时也证明了ＰｏｉｓｓｏｎＫ－Ｓ算子（Ｓ＿τｖ）（ｘ）＝（τｄｖ）在［ａ，ｂ］（０，＋∞）上也有类似的结论．     

多维超几何分布、多项分布与多维Poisson分布之间的关系

将一维情形的超几何分布、二项分布与Ｐｏｉｓｓｏｎ分布之间的联系加以推广，提出多维Ｐｏｉｓｓｏｎ分布的概念。多维超几何分布在一定条件下以多项分布作为其极限分布，而多项分布在一定条件下又趋向于多维Ｐｏｉｓｓｏｎ分布。     

对数项及倒数项混料模型的XVERT法

在 Snee和 Marquardt 的 XVERT 法基础上对 Draper和John的倒数项混料模型及朱伟勇和胡晨江的对数项混料模型的试验设计用计算机进行了证明与构造。其中给出了构造试验点的新方法,并对倒数项及对数项的线性混料模型的七点及八点设计,分别计算了 T_r[M~(-1)(ξ)],|M~(-1)(ξ)|与G效。     

初等函数的导函数计算机符号算法

本文应用结构化程序设计思想和递归算法;对初等函数的导函数符号求法,用PASCAL语言设计了一计算机算法。为了适应递归,对初等函数的结构作了规范处理,给出了三个互相递归调用的子过程。利用这三个过程,给出了示意性程序。     

多项式时间、指数时间复杂性类和Tally集

可计算复杂性类之间的差异和联系是结构复杂性理论中主要研究的问题,而多项式时间复杂性类P和NP与指数时间复杂性类E和NE之间的关系更加引人注目.众所周知:如果P=NP,则E=NE.但反过来是否有:如果E=NE,则P=NP,仍是一个未解决问题.有多种途径试图解决这个问题.Book证明了:E=NE当且仅当在NP-P中不存在Tally集;Hartmanis等证明了:E=NE当且仅当在NP-P中不存在稀疏集(sparse set),这就是著名的向上分离结果(upward-separation result).此外是相对化的应用,到目前为止,关于这个问题     

lp空间上乘子函数类的最佳m-项单边逼近在Λ-Greedy算法下的收敛界

将在图像压缩、偏微分方程的近似解、统计分类等方面有着重要应用的非线性m-项逼近中的误差计算方法、Λ-Greedy逼近算法与广泛应用于运筹学、保形运算的单边逼近方法结合起来，给出了一种新的逼近方法——Λ-Greedy单边逼近．通过对由Fourier系数确定的乘子函数类由三角函数系给出的m-项单边逼近的性质的讨论，给出了此类乘子函效类的非线性m-项Λ-Greedy单边逼近算法及相应的类Greedy逼近算法在Lp范下的逼近上界的表达式．     

保险公司在二项风险模型下破产概率的渐进估计

主要研究完全离散二项风险模型．在条件系数存在的情况下，得到在破产发生的情况下罚金期望所满足的瑕疵离散更新方程度其渐进解，由此得到了保险公司当初始资本为0时破产概率的显示解和当初始资本μ→∞时的渐进解和破产时刺所发生的赤字分布当初始资本为0时的显示解和当初始资本μ→∞时的渐进解，并在当陪付服从几何分布和赌徒分布的情形下得到了上述特征量的具体结果。