从1997—1998年伽师强震群到2003年巴楚—伽师—岳普湖地震——震群演化特征及地震趋势分析

在介绍了1997—1998年伽师震群序列异常主要特征及其启示的基础上,对比分析了2003年以6.8级地震为主的巴楚—伽师—岳普湖地震序列的异同,认为巴楚—伽师6.8级地震序列和岳普湖5.8级地震分别是1997—1998年伽师震群在塔里木盆地内向东南和正南方向新的破裂扩展,两者虽互不相属,但均为1997—1998年伽师强震群向外扩展的产物。因而,1997—1998伽师强震群至今已发展成为"1997—2003年伽师—巴楚—岳普湖强震群"。对3次较大地震的扩展式空间迁移现象及其特征进行分析,推测伽师周围地区今后仍可能发生6级左右地震,指出可能的发震地点和中短期趋势。最后,提出了在该地区加强地震监测预报工作应该注意的几个问题。

“生本”教育理念下语文阅读教学模式的探索

以培养学生自学能力为基础,以自主、合作、探究为主要学习方式,以全面提高学生语文素养为目标的＂四层级阅读教学课堂模式＂,即＂整体感知—品味赏析—迁移扩展—模仿创造＂模式,不仅体现了阅读教学的学科特点,还能把读和写有机地结合起来。

基于SCC空性检测中状态空间的缩减方法

对Couvreur提出的基于强连通图的空性检测算法进行改进,使基于嵌套的深度优先搜索与基于强连通图搜索算法的优势结合起来,在对基于迁移的扩展(具有多个可接受条件)Büchi自动机进行空性检测过程中,使用一个布尔变量标识一个状态,不仅节省了内存消耗,而且一般情况下的性能明显优于已有的算法,最坏情况等同于Couvreur的算法.同时反例寻找过程等同于基于强连通图的检测算法.

“-gate”、“～门”的缀化对比与翻译

随"水门事件"的曝光,"-gate"与"～门"在媒体迅速传播、使用。从语言学角度深入地分析两个新兴附缀形态性质与属性、语义特点与语义扩展、句法特点、形成与变异的动因机制等,通过两者的不同翻译,旨在强化对"-gate"与"～门"的认识,指导语言实践。

高中历史教学中的教材阅读方法

阅读能力是历史学习中的基本能力,而其他如观察、分析等能力的培养和运用都以阅读活动为基础。在历史教学过程中,教材的解读和阅读是十分重要的教学环节,教材浓缩了历史知识的精华,是高中阶段学生获取基本知识、培养基本能力的来源。本文以人民版高中历史教材为例就教材阅读的重要性和策略方法进行了探讨。

我国西部垂直形变趋势面演变与震情分析

本文在研究我国西部各垂直形变监测区形变特征及其演变的基础上，提出了垂直形变趋势面的概念。据此对我国西部七十年代以来垂直形变进行了阶段划分，并讨论了其与构造应力场变化及地震大形势的关系。进而结合青藏块体近年地震群体特征，对我国西部近期震情进行了分析。

构建度量区时序逻辑的时间自动机

在实时系统的形式验证中,为了直接验证带有明显时间约束的性质,选用了一种被广泛接受的(线性时间)实时时序逻辑——度量区时序逻辑来描述待验证的性质;提出了基于迁移的扩展时间B chi自动机;构建了度量区时序逻辑的基于迁移的扩展时间B chi自动机。这样扩展了已有实时系统模型检测工具的性质规范语言的表达能力,使其能直接处理和验证带有明显时间约束的性质。实现的工具表明,该算法有效且可行,并且显著地减少了结果自动机节点和迁移的数量,从而降低了结果自动机的大小,有利于进一步的模型检测过程。

给学生一把开启文言文大门的钥匙

长期以来,语文课程重要组成部分的文言文是语文教学的难点。作为语文教师,要反思并不断改进文言文教学方法。笔者尝试以"诵读感悟—激活课堂—拓展延伸"思路激发学生学习文言文的兴趣,效果较好。