【摘 要】
：
有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。以联锁软件的UML非形式化模型为基础,
【基金项目】
：
基于受控拉格朗日函数的多欠驱动度力学系统控制器设计(61164010)资助
论文部分内容阅读
有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。以联锁软件的UML非形式化模型为基础,以有限状态机模型为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为有限状态机模型的方法。首先将场景的UML顺序图转化为FSP进程代数模型,然后通过合并不同对象的进程代数模型,得到系统的有限状态机模型。最后以接车进路用例为例生成系统的有限状态机模型,以验证该方法的可行性和有效性。
其他文献
<正>当前在各类招录考试中,包括公选、公考、竞岗在内,面试都是其中重要的环节。经十几年的实践,笔者发现在面试中普遍存在着一些共性的缺陷问题,直接影响着面试的质量及成绩
本文结合现代物流系统的特点,对现代物流体系的财务分析方法以及主要问题进行探讨,以期有助于对物流财务体系的经济评价与论证决策。
核心素养指的是学生应该具备的、能够适应社会发展和终身发展的必备品格。其主要包括了三个方面的内涵,即文化基础、自主发展以及社会参与。思想品德是德育学科,旨在培养学生
<正>古人云:天时不如地利,地利不如人和。在中国传统文化环境中成长起来的年轻中层领导干部,必须重视人和的作用。在某种意义上甚至可以说是成亦人和,败亦人和。笔者试从与年
<正>随着社会的发展和进步,我国女性参与社会生活的广度和深度逐渐扩大,职业女性群体日益庞大,与此同时,女性职务犯罪现象亦呈增长态势,这种状况已引起社会各界的广泛关注。
目前,由于自然、人为原因造成土地盐渍化程度加重,已成为难以开展城市绿化工作的主要原因。随着盐化土地面积的不断扩大,对环境的破坏是无法估量的。因此,创新盐碱地绿化技术
近年来,我国兴建了众多基础设施,基础设施的健康监测直接关系着人们的生命和财产安全,也关系着基础设施的正常运行,因此研究面向基础设施健康监测的无线传感器网络分簇路由协
针对包含有OCR字符区域的OCR证件图象,提出了一种基于方向投影和类内散度的OCR证件图象的倾斜检测算法.该算法以整数Bresenham算法计算不同扫描角度的方向投影,同时计算各个
全球化时代的重要特征是人的自由流动的加快。随着我国的对外开放,来华外国人逐年增加,相应的出入境、居留等问题,尤其近年来在广州等大城市面临着＂三非＂外国人（即非法入境、非
近十几年来,随着我国职业教育的快速发展,高职院校专业设置与结构调整已成为高职教育领域非常关注的热点问题。本文是基于大数据分析的高职院校专业评价神经网络模型研究,深