数理哲学发展论略——兼论对文化和教育的意义

数学与哲学有机结合而成的数理哲学是最高形态的理论哲学。古代阴阳象数学说、近现代数理逻辑和新时代的数理辩证法代表了数理哲学发展的三个基本阶段。数理逻辑支配下的科学技术的迅速发展带来的负面效应是文化和教育的日益分裂。建立在矛盾公理、因果反馈和非线性数学基础上的数理辩证法是唯一完备的逻辑体系。现代文化和教育应注重优化、深化知识结构和智力结构,在高层次上实现新的统一;数理辩证法则提供了根本的理论基础和有效方法。     

装备保障计划本体的建立和分析

基于本体论方法形式化地探讨装备保障计划本体的建立和分析,具体介绍了机械化步兵师装备保障计划本体的建立方法、本体元素的描述、本体的一致性等方面的内容。给出两个判断类间关系一致性的算法并分析其性质,探讨了基于公理化的知识的一致性。     

群体决策的 αk-较多规则

借助αｋ较多序的概念,给出了一种群体决策的决策规则,称作αｋ较多规则,利用该规则可对供选方案进行选优。验证了它满足Ａｒｒｏｗ公理的一致性、独立性、非加强性和非独裁性。讨论了群体最优解的存在性条件。本法有着灵活、有效的优点。     

数学思维与审计理论研究

数学思维是在数学长期发展过程中总结出来的科学思维方式,而审计理论则属于社会科学研究领域,虽然在社会科学研究中可以借鉴自然科学的方法,但毕竟这两者在性质和特点上存在着本质差别。因此,在借鉴数学思维研究审计理论时,切不可生搬硬套。而应着力把握二者的共同特征,找出它们之间的本质联系。     

基于正态云模型和信息公理的设计评价方法

设计方案的选择和评价是产品设计过程中的一个重要环节,就此环节提出了一种基于正态云模型和公理化设计理论中信息公理的设计方案评价方法。该方法运用正态云模型和信息公理将定性的模糊信息数值化,通过计算求得设计中各个指标的信息量以及各个设计方案的信息总量,通过比较各个方案的信息总量大小来对设计方案进行评价。以某型油料加注装备设计评价为例,证明了此方法的有效性。     

某型油料装备升降机公理化设计与方案评价

公理化设计理论为油料装备设计提供了一种新的科学性指导思想。基于公理化设计理论,对某型油料装备升降机进行了设计,并结合正态云模型,使用模糊信息公理对2种不同设计方案进行了评价。通过分析用户需求,给出升降机相应的功能需求和设计参数以及升降机＂之＂字形映射设计过程。使用三维造型软件进行造型和运动仿真,验证了升降机设计的可行性。基于公理化设计理论对油料装备升降机进行了设计和方案选择,验证了该设计方法的有效性。     

基于公理设计理论的某自行炮弹仓结构分析

公理设计在设计过程中提供一种描述设计目标的框架,设计者以这一框架作向导进行产品设计,使设计过程形式化,设计决策易于理解,并对设计的预期质量进行评价;应用公理设计方法对某自行炮全自动弹仓结构进行了分析,并提出了一种基于公理设计理论的某自行炮弹仓部件设计顺序。     

命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。     

基于公理设计理论装备保障系统级别设计研究

针对装备保障系统级别设计领域的特点和不足,在深入分析装备保障系统级别设计概念的基础上,运用公理设计原理,建立装备保障系统级别分析模型,并对装备保障系统级别设计目标进行了＂目标-设计＂的分解,将原来复杂的级别设计问题分解成由若干个模块构成的简单设计策略问题,保证了设计过程中不耦合,实现了装备保障系统级别设计的科学性、创新性,确保了级别设计的准确性。