【摘 要】
：
The spatio-temporal consistency language (STeC) is a high-level modeling language that deals natively with spatio-temporal behaviour,i.e.,behaviour relating to
【机 构】
：
MoE Engineering Research Center for Software/Hardware Co-design Technology and Application, East Chi
论文部分内容阅读
The spatio-temporal consistency language (STeC) is a high-level modeling language that deals natively with spatio-temporal behaviour,i.e.,behaviour relating to certain locations and time.Such restriction by both locations and time is of first importance for some types of real-time systems.CCSL is a formal specification language based on logical clocks.It is used to describe some crucial safety properties for real-time systems,due to its powerful expressiveness of logical and chronometric time constraints.We consider a novel verification framework combining STeC and CCSL,with the advantages of addressing spatio-temporal consistency of system behaviour and easily expressing some crucial time constraints.We propose a theory combining these two languages and a method verifying CCSL properties in STeC models.We adopt UPPAAL as the model checking tool and give a simple example to illustrate how to carry out verification in our framework.
其他文献
摘 要： 高中思想政治课是向学生传授马克思主义基本理论知识的重要课程，也是对学生进行思想品德教育的课程。教师讲课要明确哪些知识该讲，哪些不该讲，不要随意拓展教学内容，加深教学难度。为了更好地通俗易懂地讲授思想政治课理论，完成教学任务，达到教学目的，政治课必须坚定不移地贯彻理论联系实际的原则，充分激发学生学习积极性，培养学生学习自主性。 关键词： 课程标准 实际效果 科学性 新课程改革已经如火如
一、如何把握历史教学难点 1.历史教学难点的含义。 教学难点指那些太抽象、离学生生活实际太远、过程太复杂、学生难于理解和掌握的知识、技能与方法。 2.确定难点的意义非常重要。 难点确定了，可以增强教学针对性。教学活动是有目的的行为，只有了解教学难点，才能有目的地设计自己的教学行为，才能有效帮助学生克服学习困难，顺利完成学习任务，实现学习目标。 3.确定教学难点的依据。 确定教学难点的主
初中思想品德课是一门具有较强的理论课，涉及的内容范围广，空间较远，知识性、时事性和社会性丰富。这就要求教师在授课过程中灵活运用教学法，活跃课堂，使学生对初中思想品德课产生爱好和兴趣，从而提高教学质量。如何灵活运用教学法，培养学生的课堂兴趣呢？ 一、用教师的个人魅力吸引学生的注意力 个人魅力体现于外在与内在两个方面。“为人师表”就是对教师仪容、衣着和精神面貌的要求，即个人魅力的外在要求。教师平时
“咳咳咳……” “你不会得流感了吧，你离我远一点！” 流感侵袭学校，导致好多班级停课，这样的对话竟成了我们的日常。班主任因此专门召开了班会，对我们千叮咛万嘱咐，一定要勤洗手，出门尽量戴口罩。一日午餐前，班主任给我们一人发了一颗糖蒜，要求一定得吃完，待会还要检查。环顾四周，大家都皱起了眉头。大蒜本身辛辣，吃完嘴巴还臭，我一点也不想吃，便偷偷把它藏了起来。直到一个男生试着尝了一口，“真香效应”迅速
住校后，为了抓紧时间复习，我和班里很多同学一样，熄灯后偷偷地在被窝里打手电看书甚至做作业。在这场“被窝手电战”中，我的成绩是上去了，可眼睛近视度数也上去了。妈妈担心我度数上升太快，给我在一个近视治疗机构报了名，让我每周去那儿进行眼部按摩。 走进这个机构，我被里面的“阵仗”吓到了——内分两个区域，刚进店看到的一个区域和正常的眼镜店差不多，陈列着许多不同款式的眼镜和专业的配光机器;再往里走是类似
摘 要： 教育教学改革的大环境下，本校近两年改革推出了有自身特色的“五环节”教学法，作者作为一名历史教师在使用该教学法时花费了很多精力，也有不少收获，“五环节”与历史教学擦出了火花。 关键词： 合作探究 自主学习 小组讨论 精彩展示 点评巩固 我校教育教学改革已开展了六、七年了，一直不断完善深化，并卓有成效。近两年来再接再厉又推出了“五环节”教学法。教育界的“五环节”教学法有很多。最传统的“五
我早闻先生大名,只是在今年盛夏时节才得以有幸相见。先生虽年近七十,但精神矍铄,走路带风。先生好客,第一次与笔者相见,便毫不吝啬自己的墨宝,以书画遗赠。他展开纸墨,提笔
摘 要： 在新课改不断推进的形势下，高中地理课堂教学的标准也在不断提高，而课堂教学的有效性问题受到了广大教师的高度重视。虽然高中地理的教学理念、教学方式与教学目标等有了很大改进，但是课堂教学的有效性仍有待提高。本文分析了高中地理课堂教学现状，并提出几点提升课堂教学有效性的教学策略。 关键词： 高中地理 课堂教学 有效教学 教学策略 1.高中地理课堂教学现状及原因分析 有效教学的理念最早出现于
It is often the case that in the development of a system-on-a-chip (SoC) design,a family of SystemC transaction level models (TLM) is created.TLMs in the same f
The automatic detection of negation is a crucial task in a wide-range of natural language processing (NLP) applications,including medical data mining,relation e