第一节类比推理 一、类比推理及其特征 类比推理是根据两个(或两类)对象在一系列属性上是相同(或相似)的,并且已知其 中的一个(或一类)对象还有其他特定的属性,由此推出,另一个(或一类)对象也具有同 样的其他特定属性的推理方法

第一节联言命题及其推理 一、什么是联言命题 联言命题是断定两种或两种以上事物情况同时存在的命题,它反映的是同一对象或不 同对象的不同属性的共同性和相容性。例如:

人们在实践的基础上形成了许许多多的反映事物本质属性的概念,并运用这些概念去 反映客观事物。但是逻辑并不去关注这些概念是如何反映客观事物的,它只把它作为形式 抽去出来,把表达了不同概念的同一语词作为研究对象。同样,人们常常不是单纯地运用 孤立的概念进行推理,而是通过概念组成的命题进行思维和交流的

“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

系统发育学研究的是进化关系,系统发育分析就是要推断或者评估这些进化关系。通过系统 发育分析所推断出来的进化关系一般用分枝图表(进化树)来描述,这个进化树就描述了同 一谱系的进化关系,包括了分子进化(因树)、物种进化以及分子进化和物种进化的综 合。因为 cl ade这个词(拥有共同祖先的同一谱系)在希腊文中的本意是分支,所以系统 发育学有时被称为遗传分类学(cl adi sti cs)。在现代系统发育学研究中,研究的重点已经不 再是生物的形态学特征或者其他特性,而是生物大分子尤其是序列

一、斯托克斯(stokes)公式 前面所介绍的 Gauss公式是 Green公式的推广 下面我们从另一个角度来推广 Green公式 Green公式表达了平面闭区域上的二重积分 与其边界曲线上的曲线积分之间的联系, stokes 公式则是把曲面上的曲面积分与沿曲面的边界曲线 上的曲线积分联系起来

本文试对中国推动建设和谐世界在理论和实践两个方面的进展进行全面总结,肯定成就,继而根据面临的挑战与问题,指明未来努力方向,提供对策思路

从动态力学表征、损伤机理、动态断裂和动态本构4个方面,对固体推进剂动态力学行为进行了综述

据《商业周刊》2002年6月24日报道,2世纪90年代末期以来,美国公 司财务丑闻曝光的范围和规模超过了大萧条以来的任何时期。股票市场的泡沫 推波助澜,把近年来出现的趋势推向高潮。从1995年到2001年,公司纠正财 务报告的案例从每年50例增长到每年10例,而2002年第一季度就高达60 例。2001年12月,安然公司(Enron)刷新公司破产规模的纪录,6个多月之 后,世界通讯公司(WorldCom)再度爆发丑闻,再创公司破产规模的纪录。 五家最大的会计师事务所都不同程度地与这些丑闻有关:安达信 (Andersen)自不待言;德勤(Deloitte& Touche)未能发现第六大有线电视 企业阿达尔菲公司(Adelphia)的关联交易;安永(Ernst& Young)与审计客 户人民软件公司( People Soft)签订软件销售协议,从中牟利;毕马威 (KPMG)被施乐公司( Xerox)夸大收入的手法所蒙蔽;普华永道 (Pricewaterhouse Coopers)因为微观战略公司(Micro Strategy)的欺诈行 为而被罚款5500万美元

吸收(传质)与传热两个过程的相似处: 传热与吸收过程均由三步构成(解释三步相似),但两个过程也有不同处:传热的推动力是两流体的温 度差,过程的极限是两流体的温度相等吸收的推动力不是两相的浓度差,过程的极限也不是两相的浓 度相等。这是由于气液之间的相平衡不同于冷热流体之间的热平衡,气液相平衡关系是吸收过程的重要 基础,我们将详细讨论它