关于m—相依随机变量序列的强大数定律

本文利用初等的方法证明了ｍ－相依随机变量序更的两个强大数定律。     

缠绕数量子数和A—B相干涉效应

在多连通区域，量子体系的状态应有效的量子数－缠绕数ｋ－存在。在Ａ－Ｂ干涉效应中，干涉花纹在屏幕上极大值的位置应以ｈｃ／ｅ周期性出现，其强度随着缠绕数ｋ的增加而减弱。     

化学热力学体系的逻辑演绎剖析

讨论了化学热力学体系逻辑演绎的出发点，主要内容及对提高教学质量的意义。     

地球灾变的生物学意义——《祸从天降——恐龙灭绝之谜》一书读后

本文就许靖华教授《祸从天降——恐龙灭绝之谜》一书,讨论地球灾变的生物学意义。作者认为:地球灾变事实的发现没有否定,而是补充和丰富自然选择理论,达尔文主义强调生物进化的渐变性和连续性;生物进化的灾变说强调生物进化的间断性;这是两种不同的自然观。但是,不能认为它们是相互否定的,而是相互补充的。生物学研究既把渐变论作为工作哲学,又把灾变论作为工作哲学,前者适用于生物进化的渐变时期,后者适用于生物进化的灾变(环境危机)时期。     

高能重离子碰撞中氦碎片分布的KNO标度无关性研究

本文从簇射粒子分布的 KNO 标度无关性出发,导出了高能重离子碰撞中α粒子分布的 KNO 标度无关性公式.由公式计算的α粒子分布与实验结果相一致.     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

墨家辩学的研究对象与逻辑类型

《墨辩》六篇中的“辩”指的是论辩，墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想，这种形式逻辑思想届于非形式化的，它通过辩学对自然语言中广义逻辑问题的研究得以表现，因此说，墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。