【摘 要】
：
在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,
【机 构】
：
郑州大学信息工程学院,郑州450001郑州大学信息工程学院,郑州450001;吉首大学数学与计算机科学学院,湖南吉首416000
【出 处】
：
2014年河南省计算机学会学术年会暨河南省计算机大会
论文部分内容阅读
在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,添加附加环的加速效果并不明显,甚至会降低验证速度.对此,本文提出一种模型检测精确加速的判断方法,通过分析加速过程中的主要参数,推导出了精确加速是否有效的判断条件.实验结果表明,利用这个判定条件可以准确地判断模型是否需要加速.
其他文献
通过自制的信号采集工具对不同硬度的陶瓷砂轮进行敲击,采集砂轮的声信号,分析并提取可用的特征参数,通过降噪处理,得到相对纯净的砂轮震动波形。对不同硬度砂轮的声波波形进
利用变异系数和脱钩指数研究了中部六省碳强度的差异性。结果表明,中部六省碳强度的变异系数呈现波动性的下降趋势,说明中部六省碳强度之间的差异在不断变小。中部各省在脱钩
以玻璃纤维为原材料，设计出不同组织的正交和角联锁机织物，采用真空辅助模塑成型法将其加工成复合材料，然后用阻抗管-传递函数法测试其隔声性能，探讨纤维体积分数对隔声性能的影
词语的意义不局限于词汇意义和语法意义,当某种文化语境参与进词语意义的生成时,文化义随之诞生.人的参与必然将其褒贬喜好投射其中.在语素“草”参构的词语的语义中体现了国
设计了系列特色提花针织面料,介绍了几种面料上机编织图及花型效果。以赛络纺纯棉色纺纱为原料,利用电子提花技术在针织圆机上进行了面料试织,并指出了设计、编织过程中应注
一、按照课文内容填空. 1.____________,小桥流水人家,______,夕阳西下,断肠人在天涯. ……