摘要：语言是师生之间传递信息的重要工具。在体育教学中如何运用语言，提高教学效果，是每个体育教师应该钻研和探索的课题。文中结合教学实践，对如何运用语言艺术进行了分析与探讨，以促使体育教师重视和提高语言修养，掌握语言艺术，从而提高体育课的教学质量。

摘要：我的《一碗阳春面》的教学,获湖北省荆州地区高中语文课堂教学艺术竞赛第一名。前后八次教这篇课文,我深有体会:“读”有学问。《一碗阳春面》是高中第三册的一篇自读课文。自读课文,顾名思义,是让学生自己阅读,自己解决问题。但拿到课堂上教学,就不那么简单了。一节课四十五分钟,全由教师包讲,不发挥学生的主观能动性,即使是教讲读课文,也是一堂失败的课;一课讲自始至终全由学生自己读,忽视教师的指导作用,也不是成功的教学。我认为,教师因势利导,谆谆善诱,指导有方,点拨得当,学生读得生动活泼,对文章内容心领神会,才算是成功的教学。作者写一篇文章,是通过精心构思的,教师指导学生阅读,也要精心设计。在教《一碗阳春面》时。

摘要：模型检查作为一种自动化系统验证方法,已被应用于多智能体系统的验证.由此延伸出的规约描述语言——交替时态逻辑(ATL),也被给予了高度关注.根据智能体是否可以看到全局信息,分为不完全信息和完全信息;根据智能体是否可以记录历史信息,分为无记忆能力和无限记忆能力,提出了4种经典的策略类型.这些策略类型是通过ATL的语义进行刻画的.然而在一个多智能体系统中,考虑完全信息和无限记忆能力时,所有智能体都只能选择这一种策略类型;在考虑不完全信息或无记忆能力时,仅在联合模态操作《A》φ和[[A]]φ的A里出现的智能体具备这种策略类型,而其他智能体还是完全信息和无限记忆能力策略类型.这可能会导致嵌套联合模态操作中智能体策略类型的不一致,且智能体策略类型取决于逻辑公式和逻辑的语义.而在实际多智能体系统中,智能体的策略类型往往取决于系统本身,且不同智能体具有不同的策略类型,即,智能体策略类型是异构的,这种多智能体系统被称为异构多智能体系统.针对这些问题,提出了一种在语法层对智能体策略类型进行刻画的系统模型——带类型解释系统.带类型解释系统在已有的解释系统中为每个智能体引入策略类型这一属性,允许不同智能体具备不同的策略类型.带类型解释系统可用于异构多智能体系统的建模.针对提出的系统模型,对ATL语义进行了研究,设计了ATL模型检查算法,实现了相应的模型检查工具Sh TMC.

摘要：硬笔书法有广泛的群众基础,也很实用,但是书法界却不重视。硬笔书法界自己一直在努力,从艺术水平到工具更新、表现形式,多方探索,取得了很大的成绩。对于青少年来说,写一手好字,不仅可以让他们增强学习的信心,而且给他们今后的工作也会提供许多机会。在电脑日益普及的今天,对于广大爱好书法但没条件学习毛笔书法的青少年朋友来说,硬笔书法是他们接触书法艺术的唯一途径。我们在版面紧张的情况下开设硬笔栏目。在“青年版”上,我们主要开展一些硬笔书法艺术性的讨论,并选刊好的文章、作品;在“少年版”上,我们则把规范、实用的写字教育作为硬笔的主要方向。我们欢迎喜欢硬笔书法的朋友针对以上内容赐稿,并欢迎对栏目设置提出建议。《青少年书法》杂志现开设硬笔论谈专栏,并与中国硬笔论坛网站(http://***)进行网刊互动合作。本期的话题是:路鸿峰先生提出的“硬笔书法有没有必要追求毛笔的韵味?”下面是网友的精彩讨论。