期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
运用时间分类树的确定单时钟时间自动机学习 被引量:1
1
作者 米钧日 张苗苗 +1 位作者 安杰 杜博闻 《软件学报》 EI CSCD 北大核心 2022年第8期2797-2814,共18页
时间自动机的模型学习算法旨在通过提供输入和观察输出构建软硬件系统的形式化模型.确定性单时钟时间自动机的学习是其中的一个重要研究方向,但是该算法具有一定的局限性,在状态较多时学习速度较慢,很难应用到复杂的系统中.由此,提出了... 时间自动机的模型学习算法旨在通过提供输入和观察输出构建软硬件系统的形式化模型.确定性单时钟时间自动机的学习是其中的一个重要研究方向,但是该算法具有一定的局限性,在状态较多时学习速度较慢,很难应用到复杂的系统中.由此,提出了一种改进的学习算法,使用逻辑时间分类树代替逻辑时间观察表作为学习算法的内部数据结构,有效地减少了成员查询次数,降低了算法的空间复杂度,并能够高效率地构建假设自动机.最后进行了相关实验,实验结果表明,提出的改进算法减少了60%左右的成员查询和5%左右的等价查询.同时在该实验中,改进算法的学习速度最高可提高45倍以上. 展开更多
关键词 模型学习 主动学习 确定性单时钟时间自动机 时间语言 逻辑时间分类树
下载PDF
RFID Complex Event Processing: Applications in Real-Time Locating System 被引量:2
2
作者 Yao-zong Liu Hong Zhang Yong-li Wang 《International Journal of Intelligence Science》 2012年第4期160-165,共6页
Complex event processing (CEP) can extract meaningful events for real-time locating system (RTLS) applications. To identify complex event accurately in RTLS, we propose a new RFID complex event processing method GEEP,... Complex event processing (CEP) can extract meaningful events for real-time locating system (RTLS) applications. To identify complex event accurately in RTLS, we propose a new RFID complex event processing method GEEP, which is based on the timed automata (TA) theory. By devising RFID locating application into complex events, we model the timing diagram of RFID data streams based on the TA. We optimize the constraint of the event streams and propose a novel method to derive the constraint between objects, as well as the constraint between object and location. Experiments prove the proposed method reduces the cost of RFID complex event processing, and improves the efficiency of the RTLS. 展开更多
关键词 Complex Event Processing (CEP) REAL-TIME Locating System (RTLS) Radio Frequency Identification (RFID) timed automata (ta) Event-clock automata (ECA)
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部