【摘 要】
：
在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,
【机 构】
：
郑州大学信息工程学院,郑州450001郑州大学信息工程学院,郑州450001;吉首大学数学与计算机科学学院,湖南吉首416000
【出 处】
：
2014年河南省计算机学会学术年会暨河南省计算机大会
论文部分内容阅读
在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,添加附加环的加速效果并不明显,甚至会降低验证速度.对此,本文提出一种模型检测精确加速的判断方法,通过分析加速过程中的主要参数,推导出了精确加速是否有效的判断条件.实验结果表明,利用这个判定条件可以准确地判断模型是否需要加速.
其他文献
通过自制的信号采集工具对不同硬度的陶瓷砂轮进行敲击,采集砂轮的声信号,分析并提取可用的特征参数,通过降噪处理,得到相对纯净的砂轮震动波形。对不同硬度砂轮的声波波形进
[考题回放] 最温暖的墙 ①我的朋友是一位中学教师,她的职业性质决定了她要经常与粉笔打交道.当粉笔灰尘雪花一样把她的世界装点得银装素裹的同时,也悄然腐蚀着她的手
利用变异系数和脱钩指数研究了中部六省碳强度的差异性。结果表明,中部六省碳强度的变异系数呈现波动性的下降趋势,说明中部六省碳强度之间的差异在不断变小。中部各省在脱钩
以玻璃纤维为原材料，设计出不同组织的正交和角联锁机织物，采用真空辅助模塑成型法将其加工成复合材料，然后用阻抗管-传递函数法测试其隔声性能，探讨纤维体积分数对隔声性能的影
近年来，国家电网公司大力开展企业文化建设，伴随着企业文化理念深入人心，思想政治工作前景豁然开阔。但思想政治工作还需全面融入企业文化建设，并有效融合，这样才能充分展现其促进
词语的意义不局限于词汇意义和语法意义,当某种文化语境参与进词语意义的生成时,文化义随之诞生.人的参与必然将其褒贬喜好投射其中.在语素“草”参构的词语的语义中体现了国
企业的发展，离不开政治工作的开展，通过对政治工作模式的优化，可以保证人心的凝聚，确保工作效率的提升。新时期的思想政治工作的开展，要满足企业的发展形势的需要，保证思想政治工作
设计了系列特色提花针织面料,介绍了几种面料上机编织图及花型效果。以赛络纺纯棉色纺纱为原料,利用电子提花技术在针织圆机上进行了面料试织,并指出了设计、编织过程中应注
僧道和农民分别是《红楼梦》和《安娜·卡列尼娜》中的人物,他们在小说中不断出现,几乎伴随了主人公的一生。他们不对主要情节发展起作用,但却适时出现,成为小说结构中重
一、按照课文内容填空. 1.____________,小桥流水人家,______,夕阳西下,断肠人在天涯. ……