浅析反证法和归谬法的区别

反证法和归谬法部用充分条件假言推理的否定后件式,因此人们容易混淆两者的区别。在经典逻辑基础上．反证法的证明能力强于归谬法,它们中间相差一个双重否定律。归谬法的逻辑依据是矛盾律,反证法的逻辑依据是矛盾律和排中律。     

模糊集合的测度运算

从测度论观点，给出了模糊集合的另一种描述及模糊测度运算，证明了Ｚａｄｅｈ运算是其在软包含条件下的特例，给予补集以新的深刻的解释，并讨论了模糊集合中矛盾律和排中律的适用性问题。     

论正确认识和运用同一律

同一律的基本内容是指在同一思维的过程中保持自身思维的同一性和在特定的语言环境中保持与他人思维的一致性。同一律在思维实践中有着十分重要的作用,在论文写作中运用同一律,可以确保论题前后的一致性,增强文章的说服力;在说话和演讲中运用同一律,可以确保说话和演讲的主题突出,增强语言感染力;在论辩中运用同一律,确保辩论始终围绕辩题进行,从而真正辩明是非;在司法问话中运用同一律,可以保证问话的恰当性及问答的一致性,从而提高办案效率。     

光滑圆柱试样扭转断裂曲线的实验研究

本文对光滑圆柱试样受扭断裂的断裂曲线和裂纹扩展规律进行了研究。确定了断裂临界点,并对该点的裂纹前沿应力强度因子进行计算。结果表明应用光滑圆柱试样测定Ⅲ型断裂韧性是可行的,而且试样具有尺寸小、制造方便等优点。在此基础上,本文导出Ⅲ型裂纹形状因子公式,与以无穷多项式表示的Benthem公式相比,本公式极为简洁,且误差很小,具有一定的工程实用价值。     

说谎者悖论的排除和哥德尔定理的质疑

说谎者悖论是一个佯悖。它之所以被称为悖论,是因为推理者混淆了思维的层次,构造了自指代命题并进行代换才导致矛盾。把“自指代命题”从“自指命题”中区分出来,指出前者违反同一律,作代换还可能违反矛盾律,主张禁止使用自指代命题。还指出哥德尔所构造的自指代命题存在矛盾的双重标准,它的证法采用了双重标准,是错误的。哥德尔定理的结论中的“不可判定”命题,现在有3种不同的错误解释：是非不可分辨的命题（三值）、是非可分辨（二值）但不确定的命题、是非都不可证的任意命题,它们都不是哥德尔的证法所支持的结论。还指出它不会导致“真理丧失说”和“数学丧失了确定性”,但还应充分肯定哥德尔的历史功绩。     

高斯曲率内蕴公式的几种形式的推导方法

考虑曲面上高斯曲率内蕴公式的表示问题,运用曲面基本方程的矩阵表示法,给出了高斯曲率是内蕴量的直接的显式公式,并指出这种内蕴公式与Brioschi的表示公式是明显一致的;给出了高斯曲率简化公式的推导来源,揭示出了高斯曲率隐式公式的发现过程.     

双材料非弹性主方向半无限界面裂纹应力场

利用坐标轴不平行于弹性主方向的应力、应变变换公式,并结合复合材料断裂复变方法,对正交异性双材料非弹性主方向半无限界面裂纹问题进行了研究,得到了用弹性主方向坐标系工程参数表示界面裂纹尖端的应力场、位移场。并给出双材料参数对半无限界面裂纹尖端应力场的影响规律。     

命题逻辑定理证明的一个普遍能行算法

本文以等值置换为推理规则，以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统。在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。也引申出命题逻辑定理证明的一个可信性问题。     

从二氯苯异构体混合液中吸附分离对二氨苯的相平衡研究

研究了用国产经改性的ＺＳＭ－５和ＺＳＭ－８分子筛选择吸附对二氯苯的平衡规律．以异辛烷为惰性剂，在室温下进行液相吸附，测得总吸附容量Ｍｓ，选择吸附量ｑ以及分离系数ａ和吸附等温线．对液相吸附等温线进行数学模拟，结果表明平衡关系可分别用Ｌａｎｇｍｕｉｒ公式和Ｆｒｅｕｎｄｅｉｃｈ方程表示，用Ｌａｎｇｍｕｉｒ公式计算的结果误差相对较小．     

第四次数学危机

以清晰集理论为基础,阐明了模糊集合中的相等、包含、并、交等运算的不完备性(即词不达意)和产生的原因,进而阐明模糊集中的排中律(互补律)不成立,是个错误的结论。     

力法计算机方法的实现

根据力法解题步骤，采用人机对话选基本结构；将结构分类求支座反力；寻找规律计算单元内力；用单元端点内力表示的统一公式求系数、自由项等办法对计算过程进行改进，实现了程序的编制．文末给出了按本文方法所编程序的算例．     

平行四边形网格上的递归曲面

文中利用直积的方法给出了平行四边形网格上递归曲面的定义，并由此引入了Ｌ曲面和Ｗ曲面，得到了Ｌ曲面的求导公式、基底表示、包络定理和把Ｌ曲面表示为等价的Ｂｅｚｉｅｒ曲面的表示公式．最后证明了平行四边形域上Ｗ曲面具有保凸性．     

解析法预测隧道可能最大涌水量的对比研究

隧道涌水量预测对隧道的设计和施工至关重要,为此,国内外学者进行了研究并提出了多个计算公式.这些公式都是以地下水动力学理论为基础,具有相同的基本假定.对这些公式进行对比分析,发现可以用同一个表达式表示.当隧道半径远远小于其上水的厚度时,这些公式所计算的结果相近.通过和经验公式对比,二者的计算结果具有很好的线性关系.     

n维欧氏空间的海伦公式

给出了海伦公式在n维欧氏空间的推广形式,并用行列式来表示它．具体计算出用四面体的六条棱长来表示四面体的体积公式,该公式共有22项．     

副词“就”的基本义及语法化

"就"表示事件对时间规律或标准、事物对数量规律的偏离,是表示特例的语法标记。"就"的语法化经历了一个很长的过程,首先是从动词虚化为副词,然后副词的意义进一步虚化。     

细长孔液阻特性实验公式的修正

液体流动阻力特性可以用液阻特性指数表示。通过分析和计算,对液阻特性指数的实验公式进行了修正。经过实验论证,修正后的实验公式与理论分析是一致的,从而解决了流体动力控制中长期以来被忽视的一个问题。     

基于弯曲度与链索模型的管涌临界坡降比公式改进

引入弯曲度以及与孔隙率的关系,借用弯曲度概念改进了经典公式中可移动颗粒的具体运移路线的表示,去除渗流管涌经典计算公式中从大量实验数据统计获得的明兹形状系数,从物理意义上解释了可移动颗粒在土体单元中移动路径并不是与土体单元长度呈单调的线性关系,而是一个和孔隙率有关的参数。利用链索模型,将颗粒级配曲线与孔隙率联系起来,使得临界坡降比计算只需要利用颗粒级配曲线便可求得。改进后的公式与经典公式获得的临界坡降比随孔隙率变化的规律一致,利用实验数据经不同方法比较分析,验证了改进后的公式的有效性。改进后的公式仅需借助准确的颗粒筛分试验,且参数的物理意义更加明确。     

从二氯苯异构体混合液中吸附分离对二氯苯的相平衡研究

研究了用国产经改性的ＺＳＭ－５和ＺＳＭ－８分子筛选择吸附对二氯苯的平衡规律，以异辛烷为惰性剂，在室温下进行液相吸附，测得总吸附容量Ｍ，选择吸附量ｑ以及分离系数ａ和吸附等温线，在液相吸附等温线进行数学模拟，结果表明平衡关系可分别用Ｌａｎｇｍｕｉｒ公式和Ｆｒｅｕｎｄｉｃｈ方程表示，用Ｌａｎｇｍｕｉｒ公式计算的结果误差相对较小。     

网络课程和课件中复杂公式的实现方法

在网络上显示公式对网络教育非常重要。目前的浏览器还不支持直接的公式表示和显示。人们普遍采用插入一些图形的方法在网页中显示公式。但是这种方法往往不能产生理想的公式排版效果,影响了网络教育内容的整体质量。本文在实践的基础上总结和探讨了在网络课程和课件中复杂公式的实现方法。以求教于各位专家和同行。     

气体钻井高压条件下压缩因子计算方法探讨

天然气压缩因子是井筒压力、温度分布规律研究的重要参数。常用天然气压缩因子计算方法有图版法和经验公式法,但图版法计算误差较大。运用Mathcad编程,对4种常用经验公式的计算精度进行分析和评价,优选适合高温高压条件的经验公式。