刘志模发表的论文

蔡宝来海南师范大学教育学院教授、博士生导师本词条是多义词，共2个义项蔡宝来，教育学博士、教授、博士生导师，国家级精品资源共享课负责人、教育部“国培计划”专家、全国教学论学术委员会副秘书长、课程学术委员会常务理事、海南省领军人才。2003年2-3月在英国曼彻斯特大学访学。主要从事课程与教学论、教育技术学研究。主持完成国家和省部级科研课题10余项；发表学术论文160余篇；出版专著、教材4部；获 “五个一”工程优秀论文奖、省级哲学社会科学优秀成果三等奖2次。获全国教育硕士优秀指导教师、甘肃省高校青年教师成才奖、海南省“555人才工程”称号。[1]中文名蔡宝来国籍中国学位/学历教育学博士职称教授研究方向学习经历工作经历社会兼职教学信息科研信息期刊论文获奖情况国际交流学术会议TA说参考资料研究方向主要从事特殊教育发展战略、特殊儿童教师教育、特殊教育课程与教学改革、特殊教育评价研究。[1]学习经历1985年9月-1989年7月，四川师范大学学习，获得教育学学士学位。1999年9月-2002年7月，四川师范大学学习，获得教育学硕士学位。2007年9月-2008年7月，北京师范大学访学。2011年7月-2012年2月，四川大学出国英语培训。2013年9月-2017年6月，(捷克)帕拉茨基大学(Palacky University, Olomouc, CZ)学习，获得特殊教育学博士学位。2014年7月-2015年1月，(美国)奥本大学蒙哥马利分校(Auburn University at Montgomery, Montgomery, USA)访学。[1]工作经历1989年7月至1999年9月，达县亭子职高教师，1996年聘为中学一级教师2002年7月-2017年12月，宜宾学院工作，2003-2013年先后任教育系主任助理、副主任和教师教育学院副院长，四川省农村幼儿教育研究中心常务副主任。2018年1月至今，海南师范大学教育学院教师，现任海南师范大学特殊教育研究中心主任、特殊教育系教师支部书记。[1]社会兼职海南省特殊教育专家委员会常务副主任。[1]教学信息1989-1999年，四川省达州职业中学主要从事语文教学。2002-2017年，宜宾学院先后担任教育原理、教育科研方法等本科课程教学。2018年至今，海南师范大学先后主要担任《特殊教育政策与法规》、《特殊教育理论基本专题》、《我国特殊教育课程标准解读》等本科、研究生课程教学。[1]科研信息农村教师专业发展的理论与实践研究(TER2008-034)，2008年四川省教育厅教师教育课题，结题;（P09367）宜宾学院教师教育模式改革探索，2009年高等教育人才培养质量和教学改革重点项目，结题;基础教育质量评价体系研究(12SA147)，2012年四川省教育厅重点项目，结题;西部农村幼儿教师教育模式新探索(SC13B001)，2013年四川省社科规划项目，结题;西部地区人才培养特殊项目(201308515185)，2013年国家留学基金管理委员会，结题;中捷特殊教育教师培养体系比较研究(SC16B115)，2016年四川省社科规划项目，结题;海南省特殊教育学校“无障碍”环境建设调查研究(项目编号：HNSK(YB)19-30)，2019年海南省社会科学联合会一般课题，结题;海南省特殊教育发展战略新探索，海南教育改革与发展研究院2019年委托项目，结题;特殊教育发展战略：回顾与展望，2019年海南师范大学教授(博士)启动基金，在研;海南省学前融合教育模式探索(HNSK(YB)20-32)，2020年海南省社会科学联合会一般课题，在研。海南省特殊教育发展现状问题及十四五规划建议的调查，2020年海南省教育厅委托项目，在研。[1]

状态图基础

状态图类别

在我们开始讨论状态图设计方法以前，分清楚两种常用的状态图是很重要的。状态图（StateDiagrams）和扩展状态图(StateCharts)（后者是前者的一个扩展）。这两种类型我们都将讨论。和BetterStatePro都支持这两种类型，不过，我们关注的主要是扩展状态图。

传统上，有限状态机（FSMs）和它们的图表副本、状态图用来详细说明和设计交互（子）系统。因为它具有高度可视化和直观的特性，所以被普遍接受。FSMs可以描述有限和无限序列，这一特性再加上它的可视化功能，使它成为电子工业最受欢迎的形式之一。

传统的状态图

状态图比相应的文本解决方案更易于设计、理解、修改和文档化。传统的状态图在过去几年一直没有大的变化，因此，在今天的交互系统应用中存在局限性。在本节的后面，你将发现扩展状态图弥补了这些缺陷。传统状态图的局限性包括：

传统状态图很单调，它们不适合自顶向下的设计和信息隐藏。而且，自顶向下的设计概念需要能够交互的软件，这样可以让用户通过操作和浏览复杂的设计来获取信息。

传统的有限状态机必须是完全顺序的。然而，应用程序并不是这样。现代的交互子系统（我们称它为控制器）必须能够对环境中大多数实体发出的信号进行响应。考虑一个电话应答机控制器在接第一个电话时第二个电话等待的情况。一个传统的FSM需要计算第一个和第二个打电话者所有可能的状态组合，这会导致我们通常所说的状态溢出现象。

扩展状态图

为了弥补状态图设计的这些限制，DavidHarel在他的论文“扩展状态图：解决复杂系统的可视化方法”中描述了扩展状态图。该论文发表在计算机编程科学（1987）上。在增加了层次、并行、优先级和同步等功能的同时，扩展状态图保留了有限状态图的可视化、直观等特性。

下文讨论可用于传统状态图和扩展状态图的基础设计方法。后一部分讨论的是扩展状态图特有的设计方法。

状态图符号

状态图的主要组成部分是状态和代表状态改变和转换的箭头。状态通过大量不同类型的符号图形化表示。这些符号包括圆、矩形、圆角矩形等。BetterState使用圆角矩形来表现系统状态。

系统状态

在Webster的NewWorldDictionary（新世界字典）中对“状态”的定义如下：

“在给定时间、方法和行为的情况下，与某人或某件事相关的一组环境变量或属性集”