并发计算的元模型Ⅳ.公理化

在ｃｈｉ进程间互模拟格的基础上,利用Ｌ－互模拟的开刻划,给出所有４个Ｌ－互模拟等价诱导的同余关系的完全公理化系统。４个Ｌ－互模拟等价中最小的同余关系的公理系统,由强互模拟等价的公理系统与３条ｔａｕ规则构成,在此基础上,分别加入一条输出规则和／或其对偶形式,即得其他３个公理系统。     

模糊下近似算子的一个公理组

在此引入了数加模糊集和模糊关系外合成运算两个概念,讨论了它们的性质,给出了模糊下近似算子的一个简洁的公理组,并利用模糊矩阵这一工具直接证明了其可靠性和独立性。     

关于自然数理论教材改革的思考

高等师范院校数学专业的学生在学习《初等代数研究》教材时，对自然数理论部分内容普遍感到困难．本文对此做了分析，并对有关问题进行反思，在此基础上提出了解决问题的方案．     

物理学中的公理化方法

讨论了公理化方法的发展，公理系统的特点和公理系统的不完备性，公理化方法在物理学中的借鉴，及其在认识论中的地位，还讨论了公理化方法在物理学中应用的限度，及其在自然科学理论中的最基本要求。     

行列式的若干等价定义

应用公理化方法给出了行列式定义的等价形式，从而使行列式基本性质的证明简化。     

基于模糊概念相似性与模糊熵度量的模糊分类算法

在AFS(axiomatic fuzzy set)理论框架下,提出了一种基于模糊概念相似性与模糊熵度量的分类算法.模糊分类规则的前件通过概念聚合得到,一种基于模糊概念相似性与模糊熵度量的概念选择函数指导聚合过程;然后,利用剪枝算法对得到的模糊规则集进行剪枝,得到最终的分类规则集.用8组来自UCI数据库的数据集作为实验数据对算法进行验证,并与7种经典分类方法进行比较.实验结果表明该算法能得到较高的分类精度,分类结果明显优于参照的分类方法.     

系统L中公式相对于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础.     

基于公理化设计的机床再制造设计支持软件开发

在分析机床再制造设计过程特点的基础上,引入公理化设计的相关理论与方法,形成基于多域映射的机床再制造设计过程框图;基于此,设计并开发基于公理化设计的机床再制造设计支持软件,包括机床信息、用户需求、功能规划、结构设计、再制造工艺设计等5个功能模块;该软件在某重型机床再制造设计中进行了初步应用与实施。     

标准序列逻辑系统S3中的相似度及伪距离

在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础。