基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

轴外物点理想成像的条件

用费马原理证明了轴外物点理想成像的条件     

教育实习成绩模糊评价系统研究

采用模糊数学方法建立学生实习成绩的模糊综合评价系统,并运用模糊评价方法评价学生实习,运用模糊聚类分析法确定学生实习成绩的等级.     

新的模糊似然函数

模糊似然函数是刻画两个模糊集之间相似程度的重要工具，众多学者给出了多种形式的计算方法，但由于实际问题的复杂性，有些方法在某些情况下会产生违反直觉的结论．首先就闫德勤在2001年建议的方法进行讨论，然后证明了一个引理，提出一种新的模糊似然函数，其本质是由模糊集合间l^p距离导出的贴近度．与相关公式比较，发现它们能导出相同的模糊熵，最后给出一个它在模式识别中的应用实例．     

浅谈智能模糊控制恒压供水系统

文章介绍在变频恒压供水系统的基础上采用智能模糊控制等特性来完成恒压供水。     

一类按学生素质优劣排序的数学方法

用模糊学方法定量评定了学生的综合素质，并按素质的优劣给学生进行了排序，这里是将数学方法引入教学管理的初步尝试。     

唐宋牡丹诗与牡丹文化

牡丹是我国久负盛名的一种花卉，为历代人们所喜爱。在唐来时期，更成为一种共同的民族审美风尚。诗人为此也写下了数量众多的牡丹诗。这些诗或直接咏叹牡丹的形貌之美，或借花抒怀，托物寓意。借咏牡丹来抒发作者的某种思想情感。反映社会中存在的一些现实问题。内容丰富，风格多样。与其他艺术形式共同构成一种极富时代和民族特色的牡丹文化。     

钢纤维混凝土桥面铺装试验研究与工程应用

针对桥面铺装层的受力状况和破坏原因 ,重点对钢纤维砼材料进行了抗弯强度试验和耐磨损试验 ,并进行了钢纤维砼弯曲性能分析 ,闸述了钢纤维砼的耐磨机理 ;结合 130 76m2 的实际工程应用 ,进行了钢纤维砼桥面铺装施工技术总结 ,分析了采用钢纤维砼作为桥面铺装层所带来的效益 ,可供类似工程参考应用     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

糊群的商模糊群

设H为模糊群G的正规子模糊群，先在H的（左）模糊陪集之间引入一种等价关系，然后在模糊陪集的等价类之间定义了一种模糊二元运算，这种模糊二元运算是由模糊群G的模糊二元运算导出的。最后导出了G关于H的商模糊群的概念。