【摘 要】
：
时间自动机为实时系统进行建模时,通常会因不同的时间度量而产生大量状态片段,精确加速技术可以有效解决这一类片段问题.精确加速中的关键技术是可加速环窗口的计算,但其计算
【基金项目】
：
国家自然科学基金重点项目(U1604262),河南省高等学校重点科研项目(19A520003,17A520057),河南省科技攻关计划项目(172102210478)
论文部分内容阅读
时间自动机为实时系统进行建模时,通常会因不同的时间度量而产生大量状态片段,精确加速技术可以有效解决这一类片段问题.精确加速中的关键技术是可加速环窗口的计算,但其计算方法均为人工推演.通过对精确加速计算原理的分析,提出了一种精确加速中可加速环窗口的计算算法,可以选择环中任意入边有环时钟复位的节点作为起始,对识别出的可加速环进行进一步精准压缩.首先,识别出时间自动机中所有可加速环,选取1个未处理的可加速环检测环时钟复位的节点出边是否有环时钟复位;然后,将所记录的节点按照记录顺序连接成1个新环,并重新计算新环各
其他文献
新型冠状病毒肺炎(新冠肺炎)属中医学疫病范畴,具有"湿"的特点,核心病机为湿疫内蕴,主要病位在肺、脾,山东地域与时令特点导致患者易感受寒邪、燥邪。治疗当分为初期、中期、
为了将服务器日志分割为多个独一无二的用户的一次访问序列，提出了一种基于引用日志文件的启发式会话识别算法，并给予很好的算法实现．
现代企业的竞争核心在于创新,而创新和变革的动力在于人.因此,如何调动员工的工作积极性,最大限度地挖掘企业员工身上的潜力,是摆在企业特别是国有企业面前越来越突出的和亟
本文主要讲述了地铁工程车自主维修的相关内容,重点对自主维修过程当中面临的困难以及具体的应用情况开展了讨论。在开展工程车自主维修工作的过程当中,需要将相关工作人员的
化工机械设备作为化学工业的重要生产装备,在运行工况以及能量形式方面明显区别于其它行业的机械设备。本文着眼于化工机械设备管理存在的问题,针对机械设备的维修保养技术展
中国正同时处于工业时代，信息时代，知识时代，在知识时代，提供信息的渠道广泛而完善，档案部门与其他部门之间的竞争不单是馆藏信息数量上的竞争，而且还是馆藏特色，服务层次，服务质量和
从行业规模、技术水平、产业结构、行业规划与规范等方面综述了我国铸造行业现状,分析指出了我国铸造行业存在的主要问题.结合“十二五”发展规划,探讨了我国铸造行业的发展
2018年1月,浙江省政府出台《关于深化“亩均论英雄”改革的指导意见》明确,到2020年全省所有工业企业和规模以上服务业企业以及产业集聚区、经济技术开发区、高新区、小微园
常规的拟静力方法不能反映出深厚覆盖层上高土石坝的动力特性，而应从坝体材料的动力稳定性、坝体地震后的永久变形和坝坡地震过程中稳定安全系数时程变化等方面综合评价大坝的