论文部分内容阅读
稠密时间自动机被广泛应用于实时系统自动验证．然而其在补操作下不封闭，因而导致多种线性实时性质不可验证．离散时间自动机虽不存在此问题，但该模型表达能力偏弱．因此，提出了一种时间自动机时钟离散化算法，结合时钟物理约束因素，证明了新方法可有效解决上述问题．
一种时间自动机时钟离散化算法
【摘 要】
：
稠密时间自动机被广泛应用于实时系统自动验证．然而其在补操作下不封闭，因而导致多种线性实时性质不可验证．离散时间自动机虽不存在此问题，但该模型表达能力偏弱．因此，提出了一种时
【机 构】
：
郑州大学信息工程学院
【出 处】
：
郑州大学学报：理学版
【发表日期】
：
2011年3期
【基金项目】
：
国家（863）高技术研究发展计划项目,编号2007AA010408,国家自然科学基金青年基金资助项目,编号61003079,60901078,河南省重大科技攻关计划项目,编号092101210104.
其他文献
个性化搜索引擎研究的目的是使搜索结果尽可能满足不同用户的信息需求,而排序算法在搜索引擎技术中占有着核心的地位.提出了一种基于改进的DBSCAN聚类的个性化排序算法,在全
以异维生素C钠发酵液的前体物质2-酮基-D-葡萄糖酸（2KG）为主原料,甲醇为反应物,浓硫酸作催化剂,甲酯化反应4 h后,用碳酸氢钠作催化剂,经内酯化反应生成异维生素C钠（D-VCNa）.考察
摘要:传统的语言灌输式教学方法已不能满足社会科技快速发展和对劳动力综合能力的新要求,本文阐述了六种常见的教学方法如何提高学生的方法能力、社会能力和创新精神。 关键词:示范-模仿法;角色扮演法;模拟教学法;项目教学法;案例教学法;头脑风暴法 中图分类号:G640文献标识码:A文章编号:1008-4428(2009)10-155-03 随着信息社会、知识经济、劳动组织形式的不断变革,现代人出
2007年11月～2008年2月,利用非损伤性取样法,在太行山猕猴国家级自然保护区采集到3个地理单元、5个野生种群猕猴个体的粪便样品,并从22份样品中提取到DNA,在此基础上,分析和探