图说地球环境

该图表示了人类活动对海洋生态系统的影响（截至2008年的数据）。按从0～20来划分等级,数字越大（深色区域）说明该地区海洋生态系统受损越严重。人为破坏因素包括多方面,如海岸径流及污染、人类活动影响气候所导致的海洋温度上升、石油钻塔损坏海床、过度捕捞等等。     

谈高等代数理论的三条主线

提出贯穿高等代数理论的三条主线。它们是:从具体的数学对象向抽象的代数系统的转变;从各类数学对象的传统表示向统一的矩阵表示的转变;从数学对象间的具体关系向集合元素间的抽象关系的转变。     

一个集成形式化模型及其操作语义

形式化方法在程序验证、模型检测的研究有着重要作用,集成形式化方法是形式化方法发展的一个方向.BCCS模型是集成B方法和进程代数CCS构建的一个混成模型,模型中给出了一个轻量级的描述语言,但缺少语义的支持.为了保证这个描述语言的完备性和一致性,本文则在传值CCS操作语义的基础上,结合B方法对抽象数据结构的定义、系统的限制以及功能处理,给出了BCCS的操作语义,进一步刻画BCCS模型.     

表反问语气的“还”与加强反问语气的“又”

对与反问语气相关的副词“还”和“又”进行历时的溯源,它们在语法性质上的本质差别是“还”表示反问语气,“又”加强反问语气。二者在其他方面的异同表现及原因都是以此为基础的。     

缺省模态逻辑

本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。     

“下大雨”的几种表示方法

汉语常用“倾盆大雨”、“瓢泼大雨”等来形容“下大雨”。英语中则常用big或heavy来修饰rain表示大雨。如：1)We had a heavy rain last night．2)One day I went to see the ants just before a big rain．3)The rain was very heavy．     

“用字母表示数”教学设计

教学内容： 苏教版国标本小学数学四年级下册P106～107。     

精彩缘于开放

如果说,引人人胜的开头能产生"课伊始,趣亦生"的效果.同样,巧妙的结尾则能达到"课虽终,意犹未尽"的境界.近日,听了一节<小数和复名数>的课,教者精心设计的课尾练习,为全课的教学起到了"画龙点睛"的功效.现介绍如下,以飨各位同仁.……     

特殊的一般现在时

一般现在时通常用来表示现时经常性的或习惯性的动作以及现时经常存在的状态或特征。例如：     

新目标英语七年级（上）Unit 12重难点精讲精练

问请归纳一下介词at，in，on表示时间的用法，好吗？答好的。表示时间的词组可以由介词at，in或on来引导，表示在某一时刻、某一天或某一个时间段。