数学证明中的推理问题

演绎推理和非演绎推理经常被运用到数学证明中。二者的共同之处在于:都是从前提推出结论、从已知达于未知;非演绎推理除归纳法之外,与演绎推理一样,只要前提都真,结论必真。不同之处在于:演绎推理从前提到结论之间的推理是逻辑推理,而非演绎推理的推理过程则是根据具体问题进行具体分析;演绎推理的前提与结论之间的关系必然能被数理逻辑的逻辑演算中的形式定理所反映,非演绎推理的前提与结论间的关系则不能;演绎推理对应着一个演绎推理规则,非演绎推理则无对应的推理规则。     

运用非线性规划改进估算两大部类产品价值构成

两大部类及其产品的价值构成,是进行经济理论和现实问题研究的基础内容。用投入产出表估算两大部类的价值构成,是一种基本方法。目前普遍使用的估算方法,由于隐含使用的假定不符合现实情况,得出估算结果往往出现偏差。文章针对这一缺陷,提出运用非线性规划方法,改进估算两大部类产品价值构成的结果,并对此作了实例验证。     

理工农医类大学设立人文社科类课程的重要意义

针对理工农医类大学在学生素质教育和创新能力培养中亟需解决的问题 ,分析论述了加强对学生人文社会科学教育的重要意义 ,提出了通过两课教学和设置辅修专业等措施来实现对学生加强人文社会科学教育的目的。     

故障诊断技术的应用

介绍了在工程界已广泛应用的信号分析诊断及尚停留在实验室探索的裂纹分析诊断,模糊分析诊断的工作原理和应用实例。     

密度分布非均匀的反馈控制Logistic单种群模型平衡态的稳定性

本文对种群密度在非均匀分布情形下,考虑了具反馈控制的滞后 Logistic 生态模型平衡位置的稳定性;分别给出了在常时滞和弱连续时滞以及强连续时滞情况下的稳定性条件;其结果是对 Gopalsamy 在密度均匀分布情形下相应结果的推广.     

企业经营效率：概念、来源及关系

多角度讨论了企业经营效率内涵,进而探讨了企业经营效率的来源及其关系.文章认为,企业经营效率反映了企业经营目标的实现程度,是其内在效率和外在效率的综合体现.内在效率由企业将资源转换为产品的实际能力所决定,外在效率则反映企业内在效率的价值承认程度.企业内在效率与外在效率具有共同的来源基础企业的技术和制度结构;文中提出的企业等效率曲线对于分析二者的相互关系具有一定的价值.     

试论公众参与法在非自愿移民安置中的应

讨论了公众参与法的内涵、特点和作用 ,以及公众参与法在非自愿移民项目的不同阶段宜采用的不同方法 ,并进一步阐述了如何在非自愿移民安置中增强公众参与的效率。     

几类矩阵的研究及其应用

对几类矩阵进行了刻划；对于非负阵谱半径的一个重要性质￣［１］，给出了新的简单证明；作为应用，得到有重要实际意义的某些类矩阵之逆的谱半径的界的估计。     

涡轮叶片尾缘针肋的换热研究

以涡轮叶片尾缘中针肋通道的换热为研究对象，讨论并计算出了一定条件下获得最大针肋通道换热量时针肋的形状曲线和换热优势，系统分析了这种拥有最佳形状曲线针肋的通道散热量随针肋物性参数及几何特征变化的规律。     

论缔约过失责任的赔偿范围

赔偿范围问题在缔约过失责任理论中一直颇有争议。本文基于缔约过失责任概念的基本界定,认为缔约过失责任损害赔偿的基本范围为信赖利益的损失。相应地,为契合缔约过失责任理论的创立初衷和平衡当事人的利益,信赖利益的赔偿范围应包括了间接利益、非财产上损失以及第三人等损失,但应以履行利益为限。