论文部分内容阅读
利用Ｐｅｔｒｉ网进行ＡＤＡ软件死锁检测
【机 构】
：
北京航空航天大学软件工程研究所
【出 处】
：
中国计算机学会抗恶劣环境计算机专业委员会第一届学术会议
【发表日期】
：
1994年期
其他文献
教学内容：苏教版六（上）第89-90页例1，练一练，练习十七1、2题。 教学目标： 1.学生初步运用“替换”策略理解分析数量关系，确定合理的解题步骤。 2.学生在解决问题过程中不断反思，感受“替换”策略对于解决特定问题的价值，进一步发展分析、综合和简单推理能力。 3.学生进一步积累解决问题经验，增强策略意识，获得成功体验，提高学好数学的信心。 教学重点与难点：学生运用“替换”策略分析数量
【摘要】多媒体课件仅仅是我们教学活动中的工具和手段，教师不能把它作为教学目的。如何正确的在音乐课堂里使用多媒体课件，让它更好的服务于音乐整体教学。我认为找准课件的最佳作用点是关键。使用多媒体课件，在课堂中创设情境、化解难点、欣赏审美、激发创造几方面展开论述。力争通过多媒体课件在音乐课堂中的巧妙应用，把音乐教学带入一个崭新的天地。 【关键词】多媒体课件 创设情境 广泛应用 音乐教学 一 、创造环
【摘要】新课程环境下英语教学不仅要传授知识、培养技能，而且还兼有塑造灵魂、陶冶情操、促进学生全面发展的德育任务。结合英语教学对学生进行有效地德育渗透是达到英语课程目标的重要途径。所以，在实施新课程改革的大好形势下，我们应该让德育走进课堂。 【关键字】新课程理念 德育渗透 中学英语课堂教学 英语教学是整个教育工作的重要组成部分，遵循“提高全民族思想道德和文化素养”这一教育总目标， “无学之德无根
【摘要】在物理教学中，解题是一个重要环节，是运用所学知识解决实际问题的初步实践，它对于深入理解基本内容，培养分析问题和解决问题的能力，以及从中汲取广博的实际知识等具有不可替代的作用。经过几年的反复实践和改进，发现采用“讲评式导学法”进行习题课教学，是突破解题难关的好方法。 【关键词】新课改 教学方法 一、做法 1.分析学生不会解题的原因，做到有的放矢。解题包括定性分析、数学表达和定量演算三部
该文讨论了ＣＡＳＥ环境（ＣＡＳＥＥ）演变中的一个基本问题－－集成与开放问题，评述了集成化ＣＡＳＥＥ的特点与问题所在以及开放式ＣＡＳＥＥ的优越性及实施中需研究的一些问题。