非形式逻辑论

非形式逻辑有悠久的历史渊源。它是自然语言学派、新修辞学及强调科学推理实践的科学方法研究者和逻辑学家批评形式逻辑的一个结果。非形式逻辑对论证的研究开拓了新的视野,它可能既是形式(化)逻辑的补充,又是传统逻辑的新形态。     

孔径自动检测机构的设计与分析

模拟人工测量过程,设计了一种适用于气体测微传感器自动测量孔径的柔顺机构.该机构也适用于孔径分选以及小型轴类零件的自动装配等作业过程.     

5次交错群A_5的10阶子群的一个构造方法

A5的元最大阶数是5,使用有限群的Lagrange定理,A5的10阶子群元的阶只可能是2,5。但由于拉格朗日定理的逆不成立,因此是否存在A5的10阶子群仍是问题。该文通过对5-循环置换各次方幂的计算及其研究,找到A5的10阶子群元的构成规律,并使用构造性方法给出了5次交错群A5的6个10阶子群。     

T-S模型下神经网络的模糊推理及应用

基于T-S模糊模型提出了一种易于推理的神经网络结构,讨论了其自学习算法,并给出了用于模糊推理的估值算法和三级知识表示方法,实例说明了其应用价值.     

楼宇集群电子对讲自动开锁装置

介绍了1种电子对讲自动开锁电路，其主机能与大门内每一用户通过按键通话，对来访者可实现电子对讲和自动开锁2种基本功能，适用于高于高层住宅。     

对Word、Excel自动阅卷方法的探讨与实现

介绍了对Word、Excel操作考题实现自动阅卷的设计思想、实现方案及关键技术，并给出了部分源程序。     

带中西文量纲演算与转换的符号演算系统

本文介绍作者在自己研制的一个集成化支撑环境支持下，采用公理化方法所开发出的又一个应用系统。在这个系统中，除了可以把古今外多种单位制转换为SI制，可以作多种单位间的量纲转换外，还可以对带中西文量钠的广义表达式作符号演算和数值计算，这是目前其他中外系统暂时都无法实现的功能。这个系统已集成到《推理与计算混合软件包》中。     

汉、藏、蒙古族大学生创造性思维与推理能力比较研究

本文采用问卷调查,对汉、藏和蒙古族大学生的创造性思维发展水平和推理能力进行调研。结果表明:汉、藏、蒙古族大学生创造性思维的发展从总体趋势上呈现不均衡;不同民族大学生的创造性思维和推理能力发展呈现出各自的特点;认识水平与概括能力制约着不同民族大学生推理能力的发展。     

谁开创了贝叶斯学派？——对拉普拉斯1774年一篇文章的回顾

1764年,贝叶斯的遗作《机遇理论中一个问题的解》，是当今统计学界贝叶斯学派的开山之作，然而直到20世纪，贝叶斯的文章却并未对后世贝叶斯学派的发展产生重大影响。事实上，真正促使贝叶斯的思想在科学界得到广泛传播的关键人物是大科学家拉普拉斯。1774年，拉普拉斯发表的关于贝叶斯理论的里程碑式的文章，使现代读者充分认识到拉普拉斯对贝叶斯学派发展所起的巨大作用，并从拉普拉斯的思想中获得了有益的新知。