湖南省教育厅科研基金(09C597)
- 作品数：2 被引量：3H指数：1
- 相关作者：彭浩郭连义刘宏芳王雅琳刘树锟更多>>
- 相关机构：湖南涉外经济学院中南大学更多>>
- 发文基金：湖南省教育厅科研基金湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术社会学经济管理更多>>
- 作战仿真系统中的模型管理方法被引量：3
- 2011年
- 针对传统模型管理方法的不足,对作战仿真系统的模型管理方法进行研究。把仿真系统中的模型分解为逻辑模型和实体模型两大类型,利用关系数据库和XML相结合的方法存储模型,探讨了仿真系统中模型的分类方法、模型的注册与存储、模型编码、模型的一致性检查,以及基于面向对象方法的模型的建立等关键技术,构建了一个管理平台并进行了实际应用,证明了该方法的有效性。
- 刘宏芳彭浩郭连义
- 关键词：作战仿真
- 优化OBDD性能的变量量化调度算法研究
- 2010年
- 在目前VLSI设计流程中,采用模型检测技术来实现形式化验证对可靠的硬件设计具有重要的意义。在以有序二值决策图(OBDD)为基础的符号综合和验证过程中,需要对有限状态机各传输关系合取运算的先后顺序进行量化调度,从而降低求解过程中各临时OBDD所消耗的内存资源,也就降低了对某些验证的状态空间爆炸的风险。调度策略通过对各传输关系与量化变量构成的关联矩阵的分析,以不断降低变量的平均生存量化跨度为目标,提出了能减少变量参与合取运算次数的MSTA(Minimum Subsist-ence Traversal Algorithm)过程、关联矩阵的连接子图分解策略和考虑关联矩阵中前后行关联程度的串接过程。实验表明了此合取量化调度过程的有效性和鲁棒性。
- 彭浩王雅琳刘树锟
- 关键词：关联矩阵
