[1]黄 涛,曹子宁,李 晴.基于 Shapelet 的混成自动机规范挖掘技术[J].计算机技术与发展,2023,33(01):74-81.[doi:10. 3969 / j. issn. 1673-629X. 2023. 01. 012]
　HUANG Tao,CAO Zi-ning,LI Qing.Specification Mining Technology of Hybrid Automata Based on Shapelet[J].,2023,33(01):74-81.[doi:10. 3969 / j. issn. 1673-629X. 2023. 01. 012]
点击复制

基于 Shapelet 的混成自动机规范挖掘技术()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
33
期数:
2023年01期
页码:
74-81
栏目:
软件技术与工程
出版日期:
2023-01-10

文章信息/Info

Title:
Specification Mining Technology of Hybrid Automata Based on Shapelet
文章编号:
1673-629X(2023)01-0074-08
作者:
黄 涛1 ; 曹子宁1; 2; 3 ; 李 晴1
1. 南京航空航天大学 计算机科学与技术学院,江苏 南京 211106;
2. 光电控制技术重点实验室,河南 洛阳 471023;
3. 软件新技术与产业化协同创新中心,江苏 南京 210023
Author(s):
HUANG Tao1 ; CAO Zi-ning1; 2; 3 ; LI Qing1
1. School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;
2. Science and Technology on Electro-optic Control Laboratory,Luoyang 471023,China;
3.?Collaborative Innovation Center of Novel Software Technology and Industrialization,Nanjing 210023,China
关键词:
信息物理融合系统; Shapelet; 相似性标准; 聚类; 规范挖掘
Keywords:
cyber-physics system; Shapelet; similarity criteria; clustering; specification mining
分类号:
TP301
DOI:
10. 3969 / j. issn. 1673-629X. 2023. 01. 012
摘要:
信息物理融合系统( CPS) 是一个多维复杂系统,随着系统的复杂性不断增加,设计人员对它们的行为几乎无法理解。 针对许多复杂系统无法使用传统的方法来建模的情况,采用构建自动机的方法,对复杂 CPS 系统的输入输出轨迹进行处理生成混成自动机。 混成自动机可以清楚地描述 CPS 系统中的离散动作行为和连续变量的变化,为 CPS 系统提供良好的可读性规范,模拟 CPS 系统中的动作行为。 该方法基于 Shapelet 技术,将时间序列输入输出轨迹进行预处理,对所有的时间序列轨迹进行分段操作,利用提出的相似性标准将这些分段进行归类,基于提出的算法对相似分段( 状态) 集合进行聚类,挖掘出离散状态序列与变迁关系和离散跳跃条件,利用统计学方法挖掘出连续的流条件,组合成混成自动机。 针对挖掘出的混成自动机,用两个工业模拟案例评估提出的算法,算法的结果显示了自动机的准确性,表现出了规范挖掘具有促进可读性和系统理解的优势。
Abstract:
Cyber-physical system is a multi-dimensional complex system. With the increasing complexity of the system,designers canhardly understand their behavior. In view of the fact that many complex systems cannot be modeled by traditional methods,the method ofconstructing automata is used to process the input / output traces of complex CPS systems to generate hybrid automata. Hybrid automatacan clearly describe the discrete action behavior and the change of continuous variables in CPS system, provide good readabilityspecification for CPS system,　and simulate the action behavior in CPS system. Based on Shapelet technology,the input / output traces oftime series are preprocessed, all time series traces are segmented, and these segments are classified by using the proposed similaritystandard. Similar segmentation ( state) sets are based on the proposed algorithm and clustered to extract the discrete state sequences,transition relationships and discrete jump conditions. Continuous flow conditions are extracted by statistical methods and combined intohybrid automata. For the extracting 　hybrid automata, the proposed algorithm is evaluated with two industrial simulation cases. Theevaluation results show the accuracy of the automata and the advantages of specification mining in promote readability and reliability understanding.

相似文献/References:

[1]曹雪岳,曹子宁,卜星晨.面向 CPS 的混成 AADL 建模与模型转换[J].计算机技术与发展,2019,29(10):35.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 008]
　CAO Xue-yue,CAO Zi-ning,BU Xing-chen.Hybrid AADL Modeling and Model Transformation for Cyber Physical System[J].,2019,29(01):35.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 008]
[2]邵亚丽,陈海华,张立臣,等.动态信息物理融合系统实时数据服务[J].计算机技术与发展,2020,30(09):95.[doi:10. 3969 / j. issn. 1673-629X. 2020. 09. 017]
　SHAO Ya-li,CHEN Hai-hua,ZHANG Li-chen,et al.Real-time Data Service of Dynamic Cyber-physical System[J].,2020,30(01):95.[doi:10. 3969 / j. issn. 1673-629X. 2020. 09. 017]
[3]卜星晨,曹子宁,胡名光.带有数据约束的信息物理融合系统的建模方法[J].计算机技术与发展,2020,30(10):79.[doi:10. 3969 / j. issn. 1673-629X. 2020. 10. 015]
　BU Xing-chen,CAO Zi-ning,HU Ming-guang.A Modeling Method of Cyber-physical System with Data Constraints[J].,2020,30(01):79.[doi:10. 3969 / j. issn. 1673-629X. 2020. 10. 015]
[4]卜星晨,曹子宁,王福俊.基于组件自动机的概率连续行为的形式化模型[J].计算机技术与发展,2020,30(11):1.[doi:10. 3969 / j. issn. 1673-629X. 2020. 11. 001]
　BU Xing-chen,CAO Zi-ning,WANG Fu-jun.Formal Model of Probabilistic Continuous Behavior Based on Component Automata[J].,2020,30(01):1.[doi:10. 3969 / j. issn. 1673-629X. 2020. 11. 001]
[5]邵亚丽,陈海华,张立臣,等.信息物理融合系统实时数据服务[J].计算机技术与发展,2021,31(05):113.[doi:10. 3969 / j. issn. 1673-629X. 2021. 05. 020]
　,,et al.Ｒｅａｌ－ｔｉｍｅＤａｔａＳｅｒｖｉｃｅｏｆＣｙｂｅｒ－ｐｈｙｓｉｃａｌＳｙｓｔｅｍ[J].,2021,31(01):113.[doi:10. 3969 / j. issn. 1673-629X. 2021. 05. 020]

更新日期/Last Update: 2023-01-10