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

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

前面讨论的总体分布中知参数的估计和检验都是假定总体分布类型已知，比如为正态总 体的前提下进行的，在实际应用时，总体的分布往往未知，首先应对总体分布类型进行推断， 如何对总体的分布进行推断呢，不难想象，我们可以由样本作经验分布函数的提示，对总体 分布类型作假设

假设检验是统计推断的另一类重要问题。对总体的分布函数的某些参数或分布函数的形 式作某种假设，然后利用样本的有关信息对所作的假设的正确性进行推断，这类统计问题称 为假设检验，所作的假设称为原假设(或统计假设)，用H0 表示

三重积分及其计算 一、三重积分的概念 将二重积分定义中的积分区域 推广到空间区域,被积函数推广到三元函数,就得到三重积分的定义

随着 IPv4 网络地址在全球范围内的逐渐枯竭，下一代网络协议 IPv6 的研究和应用逐 渐推开。本文对 IPv6 协议与 IPv4 协议的区别及其特殊的地址格式和报头格式进行了较为 详细的描述，并对在 IPv4 向 IPv6 过渡中使用的技术进行了介绍，重点说明了目前较为流 行的双栈技术和隧道技术。本文还重点介绍了 IPv6 协议在中国大陆、台湾地区和日、韩 等国家和地区的应用现状，IPv6 协议在信息家电研发上的应用和该协议在推广中遇到的 问题作了介绍。最后针对这些问题提出了相应的对策和对 IPv6 协议未来应用的展望

1.概述促销的含义及促销组合的五种方式 2. 阐述进行有效沟通的步骤 3.阐述企业促销组合决策的原理 4.阐述制定企业广告促销方案的步骤 5.概述企业销售促进的基本方式 6.概述推销队伍的设计和人员推销的基本技术 7.概述公共关系的职能和主要方式

第一周: (第一章) 代数系统的概念;数域的定义; 定理任一数域都包含有理数域 集合的运算,集合的映射(像与原像、单射、满射、双射)的概念;求和号与求积 号。 (第一章2) 高等代数基本定理及其等价命题 推论数域上的两个次数小于m的多项式如果在m个不同的复数处的取值相等,则此 二多项式相等; 韦达定理 实系数代数方程的根成对出现 推论实数域上的奇数次一元代数方程至少有一个实根

拱的概念 拱的轴线一般是曲线形状,实体拱指由充满密实 材料的杆构成的拱。拱的受力特征是,在竖向荷载 作用下可产生水平支座反力(水平推力)。具有这类 受力特征的结构称为有推力结构

据《商业周刊》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万美元