命题逻辑中的蕴涵置换法

引进了命题逻辑中的蕴涵置换的概念，建立了蕴涵置换法，指出了蕴涵置换法的使用范围。     

B~0-~0体系重子衰变的CP破坏效应

本文研究了B_d~0-_d~0和B_s~0-_s~0系统二体重子衰变中的CP不守恒效应。我们讨论了两种实验背景:(1)B对在Z~0共振峰不相干产生,(2)电荷共轭宇称C=+1的B对在γ(4S)共振峰以上产生。我们估算了检验该效应所需的bb对数目。对于衰变B_d~0→PP,Δ~(++)■~(--)和Δ~0■~0,N_(b)～10~7—10~8。     

150"平行线分线段成比例定理"的导学设计--和谐提问的技巧

为行文方便,本文简称"平行线等分线段定理"为"引理";简称"平行线分线段成比例定理"为"定理".     

从数学作文看中学生的创新能力

笔者与成都九中数学特级教师游家来合作 ,向学生布置了一种新颖的作业 :让学生对生活和学习中感兴趣的、或有疑惑的且与数学有关的问题进行研究探讨 ,并以作文的形式写出来 ,题材字数不限 .我们搜集到相关作文 2 0多篇 ,学生们在这些作文中表现出的创新能力令人惊叹 .下面 ,我们就学生在数学作文中体现出的创新意识和创新能力略作评述 .1　创造性地解决现实问题在这些数学作文中有相当一部分是关于数学建模的 .如 ,一位同学的家里装修房屋 ,需要买地砖来铺地 ,那么选购那种规格 (尺寸 )的地砖更省钱呢 ?为了解决这个问题 ,作者通过研究 ,做…     

凝胶型聚苯乙烯强碱阴树脂去除天然水中有机物的机理与废弃树脂的利用Ⅰ.强碱阴树脂与有机物的作用机理

当今国内外水处理工作者认为,天然水中的有机物对凝胶型聚苯乙烯强碱阴树脂的污染,是离子交换与范德华吸附共同作用的结果。本研究通过大量试验研究。论证了该树脂与有机物之间主要是范德华吸附。     

Image edge detection based on adaptive weighted morphology

A novel morphological edge detector based on adaptive weighted morphological operators is presented. It judges image edge and direction by adaptive weighted morphological structuring elements (SEs). If the edge direction exists, a big weight factor in SE is put; if it does not exist, a small weight factor in SE is put. Thus we can achieve an intensified edge detector. Experimental results prove that the new operator's performance dominates those of classical operators for images in edge detection, and obtains superbly detail edges.     

SYNTHESIS OF LIGHT OLEFINS FROM SYNGAS VIA DIMETHYLETHR——A NEW TECHNIQUE PROCESS

A new route named as SDTO method for the synthesis of lightolefins from syngas has been proposed.That is to convert syngas todimethylether and then to convert dimethylether to light olefins.The catalystsfor the two conversion reactions have been developed.For the first reaction,the catulySt was synthesized by the combination of methanol synthesis catalystwith γ-Al_2O_3or zeolites which possesses both metallic and acidic functions.Thecatalyst for the second reaction was modified SAPO-34 molecular sieve.Thevariables of the reactions have also been investigated.The results from theserial connection of the two conversion steps without any separation show thatthe yield of C_2~-C_4~- olefins Could be>100g/(m~3 syngas).     

粒子分辨CCT方法中的δ电子效应

提出了切伦科夫相关时间测量(CCT)中初始粒子在辐射体里产生的δ电子的干扰问题,以及降低干扰的方法. 通过模拟计算给出了北京τ-C工厂探测器初步设计中CCT的π/K分辨本领.     

自反BCK—代数

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

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

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