简介:摘要在教学中,巧借历史时序特点,通过领悟时序、内化时序和践行时序三个环节,渗透遵纪守时意识,培养适应社会发展需要,守时守信、遵纪守法的合格人才。
简介:生产者与消费者系统(PCS)是一个经典的进程同步问题,Hocine等学者运用抽象状态机(ASMs)对该问题进行了时序规约。文中主要使用TLA语言对PCS给出了一个时序规约模型,并且利用模型检测工具TLC对PCS进行检测。同时对系统的活性和互斥性也进行了检测,检测结果都满足系统规约。ASMs主要采用转移规则来规约PCS模型,中间的转移过程是无法知道的,TLA能同时规约出PCS的执行过程和系统属性。
简介:摘要:在高中历史学科教学之中,受到传统应试教育理念的影响,使得学生在历史课堂中感受到无聊和枯燥,也难以激发自身学习主体性,从而开展自主性学习和自主性思考。而在素质教育理念之下,为了能够推动学生素质全面发展,高中历史教师便需要在课堂之中通过转变教学思想和教学内容,来培养学生形成良好的学科核心素养,以推动学生在掌握历史学科知识点时,能够具备良好的学习能力和学习思维。因此在高中历史课堂教学中,为了能够培养学生形成科学的学习思维和学习能力,便需要将时序能力融入到培养计划之中,并给予相应的学习自由性,让学生时序能力得到一个培养和发展的基础。本文主要分析研究在高中历史课堂教学中,如何通过多元化教学方法培养学生形成良好的、科学的时序能力,以增强对历史学科内容的个性化理解,强化学生学科核心素养。