简介:在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系.为提高模型检验技术的自动化程度,提出一种针对有限状态机的仿真检验方法.首先在有限状态系统的基础上,提出系统及其外部行为的概念,然后定义了系统间的仿真关系,之后结合不动点定理,设计了和仿真关系定义相似的FP算子,这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点.如最大不动点存在,称系统模型满足规约属性.最后,通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法,使得该方法可同样应用于无限状态系统.实例显示,该方法能够很好地满足模型检验的要求.
简介:在新媒体时代,如何正确认识新媒体对群体性事件影响的机制,深入探究群体性事件发生的特征,这对于确保社会和谐稳定、促进社会经济健康有序发展具有重要意义。新媒体对群体事件存在显著推动作用,新媒体信息获取越便捷,新媒体的信任程度越高,个体对群体性事件的参与程度越高。社会态度是新媒体影响个体群体性事件参与的重要中介因素。新媒体的信任程度越高,个体的社会态度越倾向于负向消极,群体性事件的参与程度越高。新媒体信息获取的便捷性,在一定程度上存在中介效应,但其影响机制还有待更多经验研究的进一步验证。资源动员能力同样具有一定中介效应,但其稳定性仍需进一步检验,围观效应的中介效应则不显著。信息来源无论是传统媒体,还是新媒体,对于个体群体性事件参与程度的影响不存在显著差异。在新媒体时代,如何增强民众对政府媒体的信任,从而改变民众的社会态度是增强群体性事件治理的重要方向。
简介:摘要目的了解医学检验专业英语课程开设的现状,分析不足,提出符合大理大学医学检验专业英语教学改革的意见和建议。方法通过文献分析归纳国内各大医学院校医学检验专业英语课程开设过程中存在的不足,分析促进大理大学医学检验专业英语课程开设效果的有效措施。结果明确教学目标、合理安排教学内容、加强师资队伍建设以及改革教学方法,可以有效地提高医学检验专业学生专业英语水平。结论在《医学检验专业英语》课程开设之初,大理大学应积极借鉴国内各医学院校的经验,取长补短,制定和完善符合我校实际的教学改革发案,不断提高医学检验专业学生的英语水平,以达到提升医学检验专业从业人员综合素质,提高毕业生就业竞争力的目标。