基于UML状态图和Petri网的冷却水实时控制系统建模与分析

实时系统应用要求其必须有严格的正确性,UML及Petri网是保证其正确性的重要建模与分析方法.通过介绍Petri网的基本模型,阐述了UML状态图到Petri网模型的转换规则,通过生产线冷却水控制系统的实例描述了其在实时控制系统中的应用.     

人工智能时代教师角色的“变”与“不变”

人工智能给教育行业带来了创新性的改变,极大的影响了教师和学生的教与学。本文试图分析在人工智能影响下,教师角色应该发生什么样的变化。在总结前人研究的基础上,认为人工智能的“物”性不能取代教师的“人”性。但在智能时代,由于人工智能参与的教学活动将持续增多,“教师”身份的承担者将日益多样化,唯有如此,才能适应人工智能时代的教师的发展需要。教师应该承担起“MENTOR”（新型导师）的角色,具体做了如下的解读：M代表Manager, E代表Educator, N代表Navigator, T代表Tailor, O代表Organizer, R代表Regulator/Reviewer。多重角色的基本意义在于对学生的管理、监督引导、潜力激发和陪伴交流。     

除湿机在消失模白模烘房中的应用研究

白模制作是消失模生产工艺中的重要一环,白模质量的好坏直接影响到最终浇注产品的质量。同时白模含水量过高,在浇注过程中会产生汽化现象,存在安全隐患。因此对白模的烘干处理是消失模生产工艺中的重要一环。烘房是白模烘干采用的主要烘干处理方式,但在实际使用过程中发现烘干时间长,生产效率低,其主要原因是烘干过程中会产生大量的水蒸气无法及时排除,烘房内的温度不能较快上升到烘干所设定的温度。该文在对现有烘房进行改造过程中研究了在烘房内增加管道式除湿机,在不改变烘房设定温度的情况下,如何提升烘房的烘干速度及产品质量的稳定性。