安徽省自然科学基金(2006KJ013A)
- 作品数:2 被引量:3H指数:1
- 相关作者:李炜郑华邱剑锋朱丽进蒋阿芳更多>>
- 相关机构:安徽大学更多>>
- 发文基金:安徽省自然科学基金滁州市科技计划项目更多>>
- 相关领域:天文地球电子电信更多>>
- 超大规模数字系统控制器的验证实现被引量:1
- 2008年
- 数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状态机的STG(状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否。实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。
- 卢英李炜张义超郭星
- 关键词:电子设计自动化状态转换图
- 基于时间序列相似性匹配算法的地震预测研究被引量:2
- 2010年
- 把匹配抽象时间序列相似性的方法引入到地震预报的应用中,结合大量地震历史源数据,在地震领域的专家经验知识和相关成果基础上,提出了一种简化的抽象时间序列匹配模型。该模型在对海量数据进行预处理筛选的基础上再进行时间相似性匹配,增加了横向和纵向多方位地区和多方位时间段的匹配,不同时间差和阈值的匹配,并通过大量实验对该模型进行了反复验证,同时对我国地震频繁地区近几十年的地震历史数据进行了相似性匹配实验分析,取得了可信度较高的实验结果,实验结果验证了所给时间序列相似性匹配控制策略的有效性、实用性以及算法的优越性。
- 李炜郑华邱剑锋朱丽进蒋阿芳
- 关键词:时间序列地震预测