自反BCK—代数

本文在BCK-代数中引进稳定子的概念，并定义一类特殊的BCK-代数——自反BCK-代数，证明自反BCK-代数的概念与半单BCK-代数的概念是一致的。同时对于有限BCK-代数还得到它是自反的一个充要条件。     

二维渗流相关长度ξ(p)的幂估计(英文)

相关长度ξ(p)是渗流理论中最重要的一个量。本文对它给出了一个幂估计     

函数、极限和连续性的若干问题剖析

<正> 函数、极限和连续性是高等数学的基础,高等数学以函数且主要以连续函数为研究对象,极限是高等数学最基本的运算或研究方法.这部分内容概念性强,分析和解决问题的方法比初等效学新颖、深刻,初学者不易理解透沏.甚至于不知如何思考才能真正掌握.鉴于这种情况,本文对函数、极限和连续性中的一些典型问题进行深入地剖析,以求帮助大家打好这部分基础,提高分析问题和解决问题的能力.     

实验验证激发能在3MeV/u的热核级联通过断点进行裂变

用相对库仑速度的最小化过程来分析热核三块大质量碎片出射的衰变过程,用它处理Ar(25MeV/u)+Au、Bi、Tb反应,对中心碰撞形成的激发能为3MeV/u热核出射的三重裂变碎片进行运动学分析,数据处理的结果显示了关联的三大质量碎片是来源于级联的二体分裂,同时质心系三裂变碎片平面的法线角分布与级联通过断点的裂变假设下的角分布相符.     

Σt~n的一个新的表示式

设n、k为正整数,S_k(n)=sum from t=1 to ∞t~k。陈景润等撰文,对于确定的k,算出了当k≤20时的结果.但当k>20时,未曾求过,即便按文中方法,其推求过程也是十分冗长的。本文将另辟途径,利用一个结构简单的求和矩阵,迅速地求出S_k(n),得出S_k(n)的一个新的表示     

二阶强次线性常微分方程解的振动性

本文讨论二阶非线性常微分方程 (a(t)ψ(x(t))x’(t))’+q(t)f(x(t))g(x’(t))=0 (1)的解的振动性质。在方程(1)中,α∈C[[t_0,∞),(0,∞)],ψ∈C[R,(0,∞)](R=(-∞,+∞)),q∈C[[t_0,∞),[0,∞)]且在任意的区间(t,∞)(t≥t_0)上不恒等于0,f∈C’[R,R],g∈C[R,R]。关于微分方程振动性的定义,如通常定义,不再详述。在下面的定理中,以下条件将要用到:     

X~2检验自适应卡尔曼被动跟踪

本文提出用x~2检验的方法来检测被动定位目标的机动,采用预滤波减少偏度误差,在卡尔曼滤波中用简单的运动和观察模型.对只要求测距的情况,第二级只需单对距离作滤波.对有测目标航向航速要求的情况;第二级需对R_x,R_y,V_x,V_y滤波,为了使本工作更易付于实际应用和硬件实现的简单化,滤波不需要记忆,也不作任何重复去调整和寻找最佳点,x~2检验作少量记忆.模拟实验和海上实验数据的处理示出其良好的工作性能,给出了满意的目标距离、航速航向的估     

最大度为6的极大外平面图的完备色数

证明了最大度为６的极大外平面图的完备色数为７。     

SrO－La_2O_3／CaO催化剂表面的碱性和催化行为Ⅰ．CO_2－TPD及进料中CO_2对催化行为的影响

添加ＳｒＯ使Ｌａ２Ｏ３／ＣａＯ催化剂的碱性增强及甲烷氧化偶联反应的Ｃ２产率提高，但反应温度随ＳｒＯ含量增加而升高．反应活性高的ＳｒＯ－Ｌａ２Ｏ３／ＣａＯ催化剂，容易被ＣＯ２中毒．催化剂失活的主要原因是表面活性位被碳酸盐覆盖．催化剂失活之前，反应气中添加ＣＯ２可抑制产物中ＣＯ２的生成，提高Ｃ２产率     

核内核子－核子非弹散射截面（Ⅰ）

在与平均场、核内核子－核子弹性散射截面以及输运方程相统一的理论框架内推导了核内核子－核子非弹散射截面的解析表达式．其数值结果能很好地重现自由非弹截面的实验值，所计算的有效非弹截面与Ｄｉｒａｃ－Ｂｒｕｅｃｋｎｅｒ的计算结果相一致．