运用时间分类树的确定单时钟时间自动机学习

米钧日; 张苗苗; 安杰; 杜博闻

首页> 中文期刊> 《软件学报》 >运用时间分类树的确定单时钟时间自动机学习

运用时间分类树的确定单时钟时间自动机学习

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

时间自动机的模型学习算法旨在通过提供输入和观察输出构建软硬件系统的形式化模型.确定性单时钟时间自动机的学习是其中的一个重要研究方向,但是该算法具有一定的局限性,在状态较多时学习速度较慢,很难应用到复杂的系统中.由此,提出了一种改进的学习算法,使用逻辑时间分类树代替逻辑时间观察表作为学习算法的内部数据结构,有效地减少了成员查询次数,降低了算法的空间复杂度,并能够高效率地构建假设自动机.最后进行了相关实验,实验结果表明,提出的改进算法减少了60%左右的成员查询和5%左右的等价查询.同时在该实验中,改进算法的学习速度最高可提高45倍以上.

著录项

来源
《软件学报》 |2022年第8期|2797-2814|共18页
作者
米钧日; 张苗苗; 安杰; 杜博闻;
展开▼
作者单位

同济大学软件学院;

Max Planck Institute for Software Systems-67663 Kaiserslautern;

University of Warwick;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
模型学习; 主动学习; 确定性单时钟时间自动机; 时间语言; 逻辑时间分类树;

相似文献

中文文献
外文文献
专利

1. 基于DBM矩阵计算时间自动机时钟约束关系 [J] . 周颜 . 福建电脑 . 2015,第010期
2. 一种时间自动机时钟离散化算法 [J] . 朱维军 ,周清雷 . 郑州大学学报（理学版） . 2011,第003期
3. 对时间自动机中时钟约束的处理 [J] . 周清雷 ,周颜 ,赵东明 . 微计算机信息 . 2008,第7期
4. 有限精度时间自动机的时钟表示 [J] . 刘春明 ,晏荣杰 ,徐雨波 . 计算机应用研究 . 2006,第7期
5. 一种基于时间自动机的时钟等价性优化方法 [J] . 钱俊彦 ,赵岭忠 ,古天龙 . 计算机工程 . 2005,第018期
6. 一种将时间Petri网转化为时间自动机的方法 [C] . 夏传良 . 第十二届全国petri网理论与应用学术年会 . 2009
7. 多任务学习在多标签分类和时间序列预测中的研究和运用 [A] . 任伟杰颖 . 2019

运用时间分类树的确定单时钟时间自动机学习

摘要

著录项

相似文献

相关主题

期刊订阅