延迟微分方程单支方法的收敛性

该文讨论了一类延迟量满足Lipschitz条件且Lipschitz常数不为1的非线性变延迟微分方程初值问题,得到了带线性插值的单支θ方法的收敛性结果.     

三唑磷蓄积对日本是4种组织超微结构的影响

首先根据急性毒性试验确定了三唑磷对日本?的安全浓度为 0.27 mg/L,然后采用透射电镜技术研究了该浓度下三唑磷蓄积对日本(虫寻)4种组织细胞(肌肉、鳃、肝胰脏和心脏)超微结构的影响.结果表明 三唑磷对肌肉损伤的主要靶部位是线粒体和肌原纤维,表现为线粒体内嵴肿胀、空泡化,线粒体溶解,肌原纤维断裂,明暗带不清楚;鳃细胞的损害表现为鳃丝水肿,细胞器溶解,角质层变薄,线粒体、内质网的肿胀、解体,细胞核不规则,核膜肿胀突起;肝胰脏细胞的主要损害特征为肝管微绒毛减少、线粒体水肿解体、内质网扩张、脂肪滴增加;心脏细胞的毒理变化为线粒体内嵴肿胀、瓦解,肌原纤维不规则,细胞核膜肿胀、突起,内质网溶解.鳃和肝胰脏中的变化要比肌肉和心脏明显.     

关于形式系统(强)完备性证明的注记

考察了形式系统(L)*完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于(L)*系统强完备性证明中的错误并给出了一个全新的修正证明.讨论了单位区间[0,1]上全序R0代数的非运算与强否定的一致性,给出了强否定表示定理的一个等价刻画,并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察,得到了公式集F(S)基于不动点的一类新的分划.     

有向图的优美性证明

利用构造性方法证明了对于任意自然数n,n·→c4都是优美图,并讨论了n·→c4优美标号的若干性质.     

级数的求和公式

采用组合数学的方法,利用第二类Stirling数研究了与Riemann Zeta 函数有关的级数∑∞k=2f(k)ζ-(k)的求和问题,并得出了求和公式,这个公式表述简洁并有鲜明的规律性.     

关于函数方程(x)=2t

设t是正奇数. 本文给出了方程φ(x)=2t的全部正整数解x,其中φ(x)是Euler函数.     

一些Julia集为的有理函数

文章给出了一些有理函数它们的Julia集为整个黎曼球面.     

应用Bernouli序列求的一种方法

采用初等数学方法,直接定义Bernouli序列,用数学归纳法证明了Bk(n+1)-Bk(n)=knk-1,并用此式得到∑ n i=1 ik的求和公式.     

Heyting代数上的运算与nucleus

在有零元的Heyting代数上定义了一种运算(○×),并讨论了这种运算和Heyting代数上nucleus的一系列性质.     

关于∑的上界的探讨

对∑cos nA/2的上界进行研究,给出3≤n≤6(n为自然数)时有关结果,并对n≥7编写计算机检验程序.