- 1、本文档共14页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
基于路径约束求解的多目标状态激励生成方法-计算机学报
第 卷 第 期 计 算 机 学 报
39 9
Vol.39 No.9
年 月
2016 9 Set.2016
CHINESEJOURNALOFCOMPUTERS p
基于路径约束求解的多目标状态激励生成方法
),) ),) ) ) )
1 2 1 2 1 1 1
周艳红 王天成 李华伟 吕 涛 李晓维
1)(中国科学院计算技术研究所计算机体系结构国家重点实验室 北京 100190)
2)(中国科学院大学 北京 100049)
摘 要 该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架 采
.
用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,
评价出从各个状态到达某个目标状态或者同时到达多个目标状态的潜能,并以此指导模拟过程直到最终搜索到一
条能同时覆盖多个目标状态的状态序列 此外,该文采用了基于路径约束求解的激励生成方式,这种方式结合了具
.
体模拟和符号模拟技术,符号模拟沿着具体执行路径提取分支条件构成路径约束,通过约束条件的翻转与求解能
够有效地产生输入向量,以一种较均衡的模式遍历设计的状态空间,帮助验证快速覆盖到目标 实验结果表明,该
.
文方法能够有效地同时验证设计中的多个目标状态.
关键词 激励生成;难达状态;抽象引导模拟;路径约束求解
中图法分类号 号 /
TP393 犇犗犐 10.11897SP.J.1016.2016.01829
犜犲狊狋犌犲狀犲狉犪狋犻狅狀犳狅狉犕狌犾狋犻犾犲犜犪狉犲狋犛狋犪狋犲狊犝狊犻狀 犘犪狋犺犆狅狀狊狋狉犪犻狀狋犛狅犾狏犻狀
狆 犵 犵 犵
),) ),) ) ) )
1 2 1 2 1 1 1
ZHOUYanHon WANGTianChen LIHuaWei LVTao LIXiaoWei
您可能关注的文档
- 基于拉格朗日松弛和遗传算法的供应链协同计划-计算机集成制造系统.PDF
- 基于故障树分析的日产天籁轿车ABS故障诊断研究-轨道交通安全技术研究中心.PDF
- 基于故障树法的空间相机犆犆犇成像分系统故障诊断分析-液晶与显示.PDF
- 基于数字摄像技术测量气象能见度———双亮度差方法和试验研究.PDF
- 基于气候带的地面观测站点布局я析-气象科学.PDF
- 基于泥石流形成运动过程的泥石流灾害监测预警系统-自然灾害学报.PDF
- 基于犃荦犁犊犁的聚合物混凝土电解槽有限元分析-材料与测试网.PDF
- 基于犐状犁犃犚和犌犘犁观测数据的尼泊尔地震发震断层特征参数.PDF
- 基于用户聚类的异构社交网络推荐算法-计算机学报.PDF
- 基于犘波三重震相的华南地区上地幔速度结构研究-地球物理学报.PDF
- 分析let s单元56ago2卷纸zheng unit56.pdf
- 塑胶材料其它分类原料pa9t 12.pdf
- md16x16数字媒体切换器设备.pdf
- 者参考项目发起人学科类型单位序列承包商修订页代码顺序典型.pdf
- 届世界天然气大会阿姆斯特丹2006add10288.pdf
- 期测试记录表每周weekly g1g6 journeys tests level 6 lesson26.pdf
- modernize-whitepaper现代化您应用程序白皮书.pdf
- anybackup产品典型案例分析.pdf
- 约克金融工程课程tfeslide32.pdf
- 广州市妇女儿童医疗中心历份教学药历01tjy.pdf
最近下载
- 华为云平台运维复习试题附答案.doc
- 2022-2023学年湖北省荆州市荆州区八年级(下)期末物理试卷(含解析).pdf VIP
- 十年(2013-2023年)高考生物真题分项汇编专题解析版合集共20套.doc
- 矫健:天局(胜天半子!).pdf
- (完整版)高中英语3500单词表含音标.pdf
- 150吨履带吊性能表(参考)1.doc VIP
- 湖北省荆州市荆州区2022-2023学年八年级下学期期末考试数学试卷(含答案).pdf VIP
- 人教版(新教材)高中英语选修2Unit4Journey Across a Vast Land精品学案:Writing—An email about a journey.docx
- 2012-2021十年高考生物真题(含解析)共92套.docx
- 2023年湖南师范大学附属小学教师招聘考试真题及答案.docx
文档评论(0)