命题演算中逻辑推理的推导法

本文由命题的等价性及蕴含性，提出证明命题的推导法，并以例说明。该法则的引用，使命题的逻辑推理运算将更加简单、明确、易掌握     

不确定性在推理过程中传播的行为特征

在布尔算子模糊逻辑中，证明了前提的不确定性在推理过程向结论传播时，恒真水平呈递增趋势，而恒假水平保持不变的特性，从而在定性的意义上说明了随着推理过程的深入，结论的不确定性将会越来越分明，但其可靠性不可能有根本性的提高。     

锥—次类凸向量优化问题的真ε—有效性

在向量优化问题中，我们首次引起了ε－有效性的一个新概念，即真ε－有效性，这一概念具有一系列所需性质，当目标映射为锥－次类凸映射时，我们证明了几个有关向量优化问题，ε－弱有效解和真ε－有效解的标量化定理。     

《天步真原》的神秘序文

《天步真原》是波兰籍耶稣会士穆尼阁与中国天文学家薛凤祚合作编译的一部著作，系统介绍了西方数学天文学和星占学知识。其中的天文学系统实际上是以哥白尼日心地动模型构建起来的．概速的前面有一篇匿名的序言．从该匿名名称的特点以及序文的内容来分析，这位匿名作者当是著名的思想家方以智，序文的内容对于我们理解方以智对西方天文学的态度很有帮助．     

微合金高强度钢热加工工艺的研究

根据带钢热连轧的生产实践，通过对其变形温度T、变形程度ε、变形速率宫和间隙时间t等工艺参数的调整，在实验室里模拟了Q345E微合金高强度热轧带钢的热变形过程。重点研究了含铌钢Q345E的热变形行为，并以此为基础优化了工艺参数，最终使其组织性能达到最佳。     

证据理论合成规则的改进

D-S证据理论是一种有用的不确定性推理方法，由于证据合成公式存在不足，影响了证据理论的应用．该文提出了一种证据理论合成的改进方法，该方法不仅能处理相互冲突的证据，把支持证据冲突的概率按各个命题的平均支持程度加权进行分配，还能根据证据携带的信息量决定聚焦的权重，使合成结果符合实际情况．     

地图之喻与科学之真--析约翰·齐曼的科学社会性思想

本文以约翰·齐曼的《真科学》为解读蓝本 ,通过对书中关于科学的比喻———“地图”这一关键概念的分析 ,梳理了齐曼所阐述的科学社会性的基本观点。在这本著作中 ,齐曼认为科学是一种独特的社会建制 ,它既非科学主义的完美神话 ,亦非建构主义的世俗行为。科学知识如同地图 ,虽然作为一种社会产物不能等同于世界本身 ,但为了顺利、有效地展开交流 ,我们依然在认同并坚守着科学共同体的社会性规范———这就是真实的科学 ,即“真科学”。     

不分明化拓扑中的几乎分离公理

在不分明化拓扑空间中，利用正则开集、R-邻域和δ-闭包等概念导入了AT0-，AT1-，AT2-，AT3-，AT4-分离公理，并且给出了这5个公理的等价命题以及它们的关系．     

儒家忠恕之道的当代价值

忠恕是儒家道德学说中重要的理论命题。有《论语》之忠恕，有《中庸》之忠恕。宋代以朱熹为代表的理学家大大发展了忠恕学说。忠恕之道既有丰富的古代实践，在当代社会也具有重要的社会价值。     

局部凸拓扑向量空间中的向量变分不等式与集值优化

利用与仿射上导数相关的向量变分不等式的真有效性,对局部凸拓扑向量空间中的集值优化问题的Henig有效性、超有效性、锥超有效性等给出了一些充分、必要条件,从而推广了一些已知的相关结论.