- 1、本文档共23页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
基于组合IIS路径抽取的组合线性混成系统有界可达性-SEG-南京大学.PDF
Software Engineering Group
Department of Computer Science
Nanjing University
Technical Report No. NJU-SEG-2017-CJ-004
2017-CJ-004
基于组合 IIS 路径抽取的组合线性混成系统有界可达性分析优
化
解定宝,周岳翔,卜磊,王林章,李宣东
中国科学(信息科学)2017
Most of the papers available from this document appear in print, and the corresponding copyright is held by the
publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is
prohibited.
中国科学: 信息科学 2017 年 第47 卷 第3 期: 288–309
论文
基于组合 路径抽取的组合线性混成系统有界
可达性分析优化
F
1 1 1,2 1,2 1,2
解定宝 周岳翔 卜磊 王林章 李宣东
1. 南京大学计算机软件新技术国家重点实验室, 南京 210023
o
2. 江苏省软件新技术与产业化协同创新中心, 南京 210023
* 通信作者. E-mail: bulei@
r
收稿日期: 2016–03–02; 接受日期: 2016–05–31; 网络出版日期: 2016–09–14
国家重点基础研究发展计划(973) (批准号: 2014CB340703) 和国家自然科学基金 (批准号: 61561146394,
资助项目 R
e
摘要 混成系统是一类同时具有离散和连续行为的复杂系统 被广泛应用于控制系统建模 针对其
安全性需求 对不安全状态进行有界可达性验证 是保障系统安全的重要手段 然而 当前技术所能
s
处理的问题规模和现实生活里的实际需要尚有一定的距离 特别是组合混成系统由于涉及到各个组
件间的协作与同步 组合状态空间快速爆炸 对其进行验证具有极高的复杂性 为控制问题的复杂
e
度 一种面向路径的可达性分析方法在前期工作中被提出用来对组合线性混成系统进行有界可达性
分析 该方法通过依次枚举潜在路径并进行验证的方式 有效地提升了所能处理的问题规模 当面对
a
复杂系统时 上述面向路径的检测方法将会因为待检测路径数量的急剧上升而使得验证效率大幅降
r
低 这也是模型检验状态空间爆炸问题的一种体现 为解决此问题 本文提出了一种状态空间约减
技术以加速验证过程 当一组路径被判定为不可行时 定位出导致其不可行的原因 得到一个组合
您可能关注的文档
- 四肢肿痛手部骨关节损伤.PDF
- 售之专项核查报告.PDF
- 地震动作用下单层砌体结构倒塌模拟.PDF
- 国家发展指标之指标建构研究.PDF
- 城市人口比重.ppt
- 在公路用地范围以内设置非公路标志审批.PDF
- 基于图规划的语义Web服务自动组合方法-计算机应用研究.PDF
- 基于生命周期成本管理的知识库构建研究-NSFC.PDF
- 增城区朱村运河黑臭河涌整治工程勘察设计招标文件.doc
- 外在动机在顾客知识分享态度上之影响以女性内衣-辅仁大学管理学院.PDF
- 四川省德阳市罗江中学2025届高三考前热身化学试卷含解析.doc
- 山东省枣庄现代实验学校2025届高三下学期第五次调研考试化学试题含解析.doc
- 吉林省长春市十一高中等九校教育联盟2025届高三一诊考试生物试卷含解析.doc
- 2025届江苏省盐城市伍佑中学高考仿真模拟化学试卷含解析.doc
- 2025届广西贺州中学高考冲刺押题(最后一卷)生物试卷含解析.doc
- 安徽省池州市贵池区2025届高三第一次模拟考试生物试卷含解析.doc
- 宁夏银川一中2025届高三(最后冲刺)化学试卷含解析.doc
- 广东省广州市增城区四校联考2025届高考压轴卷化学试卷含解析.doc
- 2025届邯郸市第一中学高考生物必刷试卷含解析.doc
- 2025届安徽省安庆市石化第一中学高考仿真卷化学试卷含解析.doc
文档评论(0)