因果空间和概率论中集合论方法

建立<概率论自然公理系统>中的第Ⅰ组和第Ⅱ组公理.这两组公理把随机世界抽象成既直观又形象的因果空间.在因果空间中随机事件是原因点的集合,原因点的伪出现导致事件的出现.证明概率论中集合论方法是因果空间的产物,从而改变了Kolmogorov公理系统把集合论方法硬性地搬到概率论中的做法.     

系统Z上的谓词演算

本文在非经典形式系统Ｚ（它用来刻划辩证否定的特有性质）之上，引入若干条公理，建立一个谓词演算系统ＺＱ，并把系统Ｚ的语义推广到系统ＺＱ中去。附带地，也在系统ＺＴ上建立了谓词演算系统ＺＱＴ（但ＺＱ的成立不依赖于ＺＱＴ成立与否）。     

建立完备测度空间的4种方法及其等价性

对给定测度空间（Ω，F，μ），给出了4种建立完备测度空间的方法：设μ^*是由μ引出的外测度，令F^*为μ^*可测集全体，得到（Ω，F^*，μ^*）；N是μ－零测集全体，令－↑F＝｛A∪N：A∈F，N∈N｝，定义－↑μ（A∪N）=μ（A），得到（Ω，－↑F，-↑μ）；令F^△＝｛A△N：A∈F，N∈N｝，定义μ^△（A△N）＝μ（A），得到（Ω，F^△，μ^△）；令＝↑F=｛A：存在A1、A2∈F，使A1∪→A∪→A2且μ（A1）＝μ（A2）｝，定义＝↑μ（A）＝μ（A1），得到（Ω，＝↑F，＝↑μ）。并证明了它们之间的等价性，结论是测度空间的完备化是由给定的测度空间唯一确定的。     

Suzumura模糊条件满足程度的研究

在Georgescu定义的模糊选择函数下，将Suzumura提出的显示偏好第一公理FARP，显示偏好第二公理SEARP和基本三元非循环BTA，以及Sugden提出的最小一致性条件MC推广到模糊选择函数中，给出它们的程度描述，并讨论它们之间的关系及它们与弱显示偏好公理程度WAFRP（C），弱一致性公理程度WFCA（C），Fα2（C）及Fβ2^＋（C）之间的关系．     

有限群p-幂零性的探讨

利用群的一些性质研究群G的幂零性,得到了两个结论：1.设p是素数,P是群G的Sylp-子群.如果Ω1（F（G）∩P）≤Z（P）且Nc（P）是p-幂零的,则G是p-幂零的.2.设p是素数,若p=2,P是非四元数群的.P是G的Slyp-子群.若｜Ω1（F（G）∩P）｜≤p^p-11且NG（P）是p-幂零的,则G是p-幂零的.     

浅谈中学几何公理系统

本文将采用近代公理法思想来分析中学几何（包括初中平面几何与高中立体几何）中所出现的公理，论述其公理系统，使读者能居高临下地领会大纲与教材，从而正确理解中学几何公理系统的结构、特点以及欠缺情况，用以指导中学几何的教学。     

关于Birkhoff系统的周期解

该文利用广义导引函数方法证明了Ｂｉｒｋｈｏｆｆ系统存在Ｔ周期解，其中ε是小参数，Ω１可逆，Ω２（ｘ）在Ｒ２ｎ上有界，Ｂ１反对称，Ｂ２（ｔ，ｘ）关于ｔ是Ｔ周期的，关于Ｘ在远离ｘ＝０处亚二次且的本征值都有非零实部。对上述系统的自治情形用分歧方法证明了在平衡态附近有在给定的等量面上的周期解，其中可逆，Ｂ１负定，Ω２（ｘ）和Ｂ２（ｘ）在ｘ＝０附近超二次。     

比较NΩ和N-Ω两个特殊系统

在手征SU（3）夸克模型和推广手征SU（3）夸克模型下，研究了特殊的重子-重子系统NΩ（ST=2 1/2）和重子-反重子系统NΩ（st=2 1/2）的结构，它们都是束缚态．研究中发现奇异介子k，K和K^＊交换对NΩ（ST=2 1/2）系统贡献排斥作用，而对NΩ（ST=2 1/2）系统没有贡献，从而带来了这两个系统结合能的不同．     

p－反演算子及拓扑度计算

设Ｘ是实Ｂａｎａｃｈ空间，Ω（Ｘ）是非空有界开集，θ对Ｐ≠１，令称Ω＿ｐ为Ω的ｐ－反演集．设Ｆ：→全连续，在ｂｄ（Ω）上没有不动点，定义Ｆ＿ｐ：→Ｘ为称Ｆ＿ｐ为Ｆ的ｐ－反演算子．证明了：定理１ｄｅｇ（Ｉ－Ｆ＿ｐ，Ω＿ｐ，θ）＝ｓｉｇｎ（１－ｐ）·ｄｅｇ（Ｉ－Ｆ，Ω，θ）．定理２　若存在ｘ＿０∈Ω，使对任意ｘ∈ｂｄ（Ω），λ≥１，有则ｄｅｇ（Ｉ－Ｆ，Ω，θ）＝ｓｉｇｎ（１－ｐ）．     

微机证明系统的设计与实现

在微机上用ＰＡＳＣＡＬ语言实现的命题演绎机器证明系统为背景，说明实现该证明系统的主要技术和技巧。证明了系统的算法和总体设计、公理模式和归约法则的建立、符号的处理、存储结构的选取、联结词消除以及输入输出处理等。对用微机来实现命题（谓词）证明系统提供了具有参考价值的意见。