检索结果-内蒙古大学图书馆

铁道标准设计 2018年第8期62卷 168-173页

作者：宋爽刘伯鸿周科陈跃东兰州交通大学自动化与电气工程学院兰州730070 深圳熙斯特新能源技术有限公司深圳518118

轨道交通区域控制器对行车安全至关重要,设备投入使用前需进行严格的测试,针对目前区域控制器测试序列人工生成,测试效率低的问题,提出一种基于时间自动机模型的测试序列自动生成方法。首先分析区域控制器的功能建立时间自动机模型,用UP... 详细信息

轨道交通区域控制器对行车安全至关重要,设备投入使用前需进行严格的测试,针对目前区域控制器测试序列人工生成,测试效率低的问题,提出一种基于时间自动机模型的测试序列自动生成方法。首先分析区域控制器的功能建立时间自动机模型,用UPPAAL对模型的正确性进行验证;编写MFC应用程序,利用Tiny XML解析库解析模型文件,提取状态信息和变迁条件,生成测试案例集;由测试功能划分测试序列的初始状态和结束状态,并根据测试案例的串接条件,利用深度优先搜索设计最小重复度算法将测试案例串接成测试序列;最后,利用该方法生成了区域控制器切换功能的测试序列,通过分析可知生成的测试序列符合区域控制器的工作流程和测试环境,结果证明该方法能有效提高测试序列的生成效率。

关键词：区域控制器时间自动机模型文件解析深度优先搜索测试序列

来源：评论

学校读者我要写书评

暂无评论

结合PAC学习理论和主动学习的时间自动机模型的生成方法

结合PAC学习理论和主动学习的时间自动机模型的生成方法

引用

作者：张苗苗沈炜安杰詹博华薛白詹乃军 200092 上海市杨浦区四平路1239号

本发明提供了一种结合PAC学习理论和主动学习的时间自动机模型的生成方法，用于生成实时系统的单时钟时间自动机形式模型，其特征在于，包括：步骤S1，通过学习器初始化时间观察表；步骤S2，通过转换器处理时间观察表使其满足闭合性和... 详细信息

标准号: CN113553044A

本发明提供了一种结合PAC学习理论和主动学习的时间自动机模型的生成方法，用于生成实时系统的单时钟时间自动机形式模型，其特征在于，包括：步骤S1，通过学习器初始化时间观察表；步骤S2，通过转换器处理时间观察表使其满足闭合性和一致性；步骤S3，基于时间观察表，通过学习器构建假设模型步骤S4，通过比较器比较假设模型的质量与稳定模型的质量，并判断是否找到反例；步骤S5，当步骤4判断为否时，通过教学器对假设模型进行PAC近似等价查询，并判断是否找到反例，当判断为否时，停止迭代，将假设模型作为结果模型；步骤S6，当步骤S4或步骤S5判断为是时，根据反例，更新时间观察表，并返回步骤S2。

关键词：时间观察学习器转换器时间自动机模型结果模型近似等价模型步骤实时系统稳定模型形式模型主动学习比较器闭合性初始化单时钟教学器自动机迭代构建查询返回更新学习

来源：评论

学校读者我要写书评

暂无评论

结合PAC学习理论和主动学习的时间自动机模型的生成方法

结合PAC学习理论和主动学习的时间自动机模型的生成方法

引用

作者：张苗苗沈炜安杰詹博华薛白詹乃军 200092 上海市杨浦区四平路1239号

标准号: CN113553044B

来源：评论

学校读者我要写书评

暂无评论

一种结合变异测试的时间自动机模型的一致性测试方法

一种结合变异测试的时间自动机模型的一致性测试方法

引用

作者：张苗苗唐晓辰沈炜安杰 200092 上海市杨浦区四平路1239号

本发明提供了一种结合变异测试的时间自动机模型的一致性测试方法，包括以下步骤：步骤S1，假设模型为确定性单时钟时间自动机，基于假设模型生成大规模测试用例集合；步骤S2，通过时间变异算子生成第一变异体集合；步骤S3，从大规模测... 详细信息

标准号: CN117149630A

本发明提供了一种结合变异测试的时间自动机模型的一致性测试方法，包括以下步骤：步骤S1，假设模型为确定性单时钟时间自动机，基于假设模型生成大规模测试用例集合；步骤S2，通过时间变异算子生成第一变异体集合；步骤S3，从大规模测试用例集合中筛选出第一小规模测试用例子集；步骤S4，依次在假设模型和目标系统中执行第一小规模测试用例子集中的测试用例，比较执行结果是否相同，输出反例或进入步骤S5；步骤S5，通过位置分裂变异算子生成第二变异体集合；步骤S6，从大规模测试用例集合中筛选出第一小规模测试用例子集；步骤S7，依次在假设模型和目标系统中执行第二小规模测试用例子集中的测试用例，比较执行结果是否相同，输出反例或等价结果。

关键词：测试子集测试用例集合目标系统变异体集合时间自动机模型筛选一致性测试输出变异测试变异算子模型生成时间变异单时钟自动机算子等价确定性分裂

来源：评论

学校读者我要写书评

暂无评论

一种基于时间自动机模型的安全计算机平台系统

一种基于时间自动机模型的安全计算机平台系统

引用

作者：李淑范 150070 黑龙江省哈尔滨市道里区西八道街37号马迭尔大厦19层B2号

本发明公开了一种基于时间自动机模型的安全计算机平台系统，包括安全表决模块，及与安全表决模块相连接的处理单元模块与数据输入输出模块；所述处理单元模块由四台处理单元工控机组成；所述数据输入输出模块包括两台数据工控机；所述... 详细信息

标准号: CN106484551A

本发明公开了一种基于时间自动机模型的安全计算机平台系统，包括安全表决模块，及与安全表决模块相连接的处理单元模块与数据输入输出模块；所述处理单元模块由四台处理单元工控机组成；所述数据输入输出模块包括两台数据工控机；所述安全表决模块由两个容错安全管理单元组成。本发明的基于时间自动机模型的安全计算机平台系统，每一个过程被描述为由有限控制结构、实数值时钟和变量组成的时间自动机，过程之间通过管道和(或者)共享变量进行通信，管道用于保证不同自动机中两个转换同时执行；在对与性质自动机的乘积进行判空时，只在需要时生成系统自动机的状态，避免为系统建立整个状态空间，有效提高模型验证器的效率。

关键词：自动机数据输入输出模块安全计算机平台时间自动机模型处理单元模块工控机表决安全管理单元处理单元共享变量控制结构模型验证生成系统系统建立状态空间安全空时转换通信保证

来源：评论

学校读者我要写书评

暂无评论

基于时间自动机的嵌入式系统AADL模型可调度性验证

引用

东南大学学报（自然科学版） 2015年第6期45卷 1032-1037页

作者：李静沈宁敏白海洋周培云南京航空航天大学计算机科学与技术学院南京211106

采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了A... 详细信息

采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了AADL调度模型到时间自动机模型的语义映射法则.然后,设计了自动化模型转换插件,并将其集成到OSATE建模工具中,实现了建模、转换、验证的集成开发环境.最后,利用UPPAAL工具对时间自动机模型进行模拟与验证.仿真实验结果表明,所建立的模型转换方法能够有效、实时地将AADL模型转换为时间自动机模型,并可在UPPAAL中分析原模型的可调度性.

关键词：结构分析与设计语言时间自动机模型可调度性仿真验证

来源：评论

学校读者我要写书评

暂无评论

时序图到时间自动机自动转换与布局算法

引用

计算机工程与设计 2017年第8期38卷 2142-2149页

作者：肖乐方景龙王兴起冯博洋杭州电子科技大学复杂系统建模与仿真教育部重点实验室浙江杭州310018

为对系统功能需求进行可视化仿真和验证,在对UML可视化建模工具Enterprise Architect中时序图模型的组成图形元素,以及可视化仿真与验证工具UPPAAL中时间自动机模型的组成图形元素进行深入分析后,对现有的时序图到时间自动机模型的转换... 详细信息

为对系统功能需求进行可视化仿真和验证,在对UML可视化建模工具Enterprise Architect中时序图模型的组成图形元素,以及可视化仿真与验证工具UPPAAL中时间自动机模型的组成图形元素进行深入分析后,对现有的时序图到时间自动机模型的转换算法进行改进并提出更加完善的算法,对转换后的时间自动机布局算法进行相关研究,实现从时序图模型到时间自动机模型的自动转换与布局。在实际领域的实验结果表明,改进后的算法能够对系统功能需求进行正确有效的可视化验证和仿真,提高了系统模型设计效率。

关键词：时序图模型时间自动机模型可视化建模可视化仿真与验证转换算法自动布局算法

来源：评论

学校读者我要写书评

暂无评论

基于时间自动机的嵌入式工业控制系统建模与分析

基于时间自动机的嵌入式工业控制系统建模与分析

引用

作者：石少玲昆明理工大学

学位级别：硕士

随着国民经济的发展,实时嵌入式控制系统在工业中得到大量的应用。对实时控制系统的行为进行建模与分析是确保实时控制系统准确性和安全性的重要环节,即输入不同的数据系统能否做出相应的实时响应。时间约束是实时系统的一个重要特点,... 详细信息

随着国民经济的发展,实时嵌入式控制系统在工业中得到大量的应用。对实时控制系统的行为进行建模与分析是确保实时控制系统准确性和安全性的重要环节,即输入不同的数据系统能否做出相应的实时响应。时间约束是实时系统的一个重要特点,对于实时计算机系统来说就是系统的很多行为的产生和完成都是与时间相关的。为了保证实时系统的正确性和可靠性,需要对实时系统进行严格的分析和验证,不仅要从逻辑上保证其正确性,而且要求在一定的时间限制内,即时间上的正确性。UML建模工具因为本身具有很强的建模能力从而被广泛地应用在工业控制系统分析和设计中；而时间自动机是目前使用最为广泛的实时系统形式化建模验证工具。本文给出了UML建模的方法以及相应的模型扩展方法,同时也对时间自动机的形式化定义进行了一定的介绍,提出了基于时间自动机的工业控制系统建模方法和工业控制系统向时间自动机自动转化的方法,最后通过对应用实例的实时控制系统进行分析,利用本文提出的UML建模工具和时间自动机模型生成方法对系统的主要场景进行建模,并用时间自动机对建立的模型进行验证和分析。工业控制系统的安全性验证问题和活性问题的验证是工业控制系统建模的关键问题。安全性的验证问题可以转化为时间自动机的可达性分析,活性问题转化成状态的可迁移性。通过本文给出的方法对工业控制系统的实例系统中的一些问题和逻辑或者其他安全隐患进行排查的验证。并通过实验结果分析得出本文的方法能够有效的对系统地正确性和活性问题进行良好的验证。

关键词：实时嵌入式系统工业控制时间自动机模型自动生成模型

来源：评论

学校读者我要写书评

暂无评论

基于时间自动机的复杂嵌入式系统的需求仿真方法及系统

基于时间自动机的复杂嵌入式系统的需求仿真方法及系统

引用

作者：金芝陈小红杨晓 100871 北京市海淀区颐和园路5号

本发明公开了一种基于时间自动机的复杂嵌入式系统的需求仿真方法及系统，涉及需求工程技术领域，包括：预定义特定领域的设备模型；基于软件需求规约中的组合控制器需求，生成组合控制器时间自动机模型；基于软件需求规约中的原子控制... 详细信息

标准号: CN117313369A

本发明公开了一种基于时间自动机的复杂嵌入式系统的需求仿真方法及系统，涉及需求工程技术领域，包括：预定义特定领域的设备模型；基于软件需求规约中的组合控制器需求，生成组合控制器时间自动机模型；基于软件需求规约中的原子控制器需求和设备模型，生成原子控制器时间自动机模型；生成仿真系统声明，并根据仿真需求设置系统变量初始值；执行验证性质阶段，撰写待验证的性质，使用时间自动机验证工具UPPAAL进行性质验证。本发明通过将生成的组合控制器时间自动机模型、原子控制器时间自动机模型以及设备模型进行组合得到完整的系统模型，然后撰写性质通过调用UPPAAL软件进行性质验证，从而实现需求仿真模型自动化生成及性质验证。

关键词：时间自动机模型组合控制器设备模型性质验证控制器规约基于软件需求仿真自动机验证复杂嵌入式系统工程技术领域仿真系统设置系统系统模型验证工具撰写预定义调用自动化声明

来源：评论

学校读者我要写书评

暂无评论

一种基于时间自动机的汽轮机转速控制保护系统建模方法

一种基于时间自动机的汽轮机转速控制保护系统建模方法

引用

作者：何立栋马海迎李奕彤 210094 江苏省南京市孝陵卫200号

本发明公开了一种基于时间自动机的汽轮机转速控制保护系统建模方法，属于汽轮机转速控制保护系统技术领域。本发明基于传统汽轮机转速控制保护功能，在不改变原有控制保护逻辑的基础上，对其进行简化；将控制保护逻辑功能的实现聚焦到... 详细信息

标准号: CN116107353A

本发明公开了一种基于时间自动机的汽轮机转速控制保护系统建模方法，属于汽轮机转速控制保护系统技术领域。本发明基于传统汽轮机转速控制保护功能，在不改变原有控制保护逻辑的基础上，对其进行简化；将控制保护逻辑功能的实现聚焦到主汽阀、调节阀、汽轮机、转速传感器以及遮断阀等具体的物理设备上，并对这些设备使用时间自动机理论进行形式化建模。传统模型不能描述汽轮机多种工况的转移及其各工况下多类设备的运行过程，而本发明的时间自动机模型能更好地展示汽轮机系统顺序控制和保护的过程，具有模型简单、逻辑准确、动态性能优良、可靠性高等优点，大大降低了建模过程的重复性与复杂性。

关键词：控制保护系统汽轮机转速汽轮机控制保护建模时间自动机模型传统汽轮机汽轮机系统转速传感器自动机理论保护功能传统模型动态性能建模过程逻辑功能设备使用顺序控制物理设备运行过程转速控制遮断阀主汽阀自动机聚焦展示

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：