声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：11-1777/TP
国际刊号：1000-1239
发布日期:
作者：王国卿,庄雷,和孟佯,宋玉,马岭,
关键词：模型检测, 时间自动机, 精确加速, 可加速环, 窗口,
时间自动机为实时系统进行建模时，通常会因不同的时间度量而产生大量状态片段，精确加速技术可以有效解决这一类片段问题.精确加速中的关键技术是可加速环窗口的计算，但其计算方法均为人工推演.通过对精确加速计算原理的分析，提出了一种精确加速中可加速环窗口的计算算法，可以选择环中任意入边有环时钟复位的节点作为起始，对识别出的可加速环进行进一步精准压缩.首先，识别出时间自动机中所有可加速环，选取1个未处理的可加速环检测环时钟复位的节点出边是否有环时钟复位；然后，将所记录的节点按照记录顺序连接成1个新环，并重新计算新环各边的边界约束；最后，计算可加速环的窗口.算法根据窗口计算原理，获取影响窗口大小的位置不变式、边界约束、时钟复位等数据，并对无用数据和节点进行约减，压缩了可加速环规模，提高了计算效率.算法为研发精确加速自动检测程序奠定了基础.
来源：2020年第1期
《计算机研究与发展》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。