机构

• 软件研究所 [11]
• 自动化研究所 [1]

采集方式

• OAI收割 [12]

内容类型

• 期刊论文 [6]
• 学位论文 [4]
• 会议论文 [2]

发表日期

• 2024 [1]
• 2016 [1]
• 2014 [1]
• 2013 [1]
• 2010 [2]
• 2007 [3]
• 更多

学科主题

• Computer S... [1]
• 计算机应用 [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]
• 计算机软件 [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 10, 页码: 2082-2098 作者:  Wei Ren;  Zhuo-Rui Pan;  Weiguo Xia;  Xi-Ming Sun   |  收藏  |  浏览/下载：2/0  |  提交时间：2024/09/03 Abstraction-based control design  dynamic quantization  formal methods  linear temporal logic (LTL)   以状态子集为中心的并行模型检测技术研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 张营飞   |  收藏  |  浏览/下载：17/0  |  提交时间：2016/07/01 LTL模型检测  图计算  状态子图   时间自动机模拟器CTAV-Simulator的设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2014 喻灵婧   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/05/30 实时系统  时间自动机  时间Büchi自动机  模型检测  时序逻辑LTL  模拟器   具体反例生成与图形化显示系统 期刊论文  OAI收割 计算机系统应用, 2013, 期号: 11, 页码: 51-57 信贤卫   |  收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16 时间自动机  模型检测  LTL性质  反例生成  模拟器  timed automata  model checking  LTL properties  counterexample generation  simulator   带时间约束的LTL公式的模型检测技术及工具实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2010 部德振   |  收藏  |  浏览/下载：21/0  |  提交时间：2010/06/08 实时系统  时间自动机  时间约束  LTL性质  模型检测   对时间自动机进行空性检测的过程和改进 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |  浏览/下载：22/0  |  提交时间：2011/05/23 时间自动机  模型检测  符号化方法  抽象方法  空性检测  LTL性质timed automata  model checking  symbolic method  abstraction  emptiness checking  LTL   Büchi自动机状态空间的化简 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 易锦 收藏  |  浏览/下载：16/0  |  提交时间：2011/03/17 模型检测  状态爆炸  LTL  Büchi自动机  公平模拟   结合搜索空间划分和抽象进行LTL模型检测 期刊论文  OAI收割 中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520 蒲飞; 张文辉   |  收藏  |  浏览/下载：8/0  |  提交时间：2011/07/01 搜索空间划分  求精  抽象  LTL模型检测  应用模型  状态空间爆炸  方法  空间复杂度  逐步求精  数值实验  检测  工业系统  障碍  验证  效率  消减  内存   一种WS-BPEL流程的运行时监控方法 期刊论文  OAI收割 电子学报, 2007, 卷号: 35, 期号: z2, 页码: 174-178 陈今梁; 吴国全; 魏峻   |  收藏  |  浏览/下载：29/0  |  提交时间：2011/07/01 WS-BPEL  运行时监控  面向方面编程  Past LTL  流程  运行  监控方法  Processes  Runtime  Oriented Programming  企业解决方案  中国科学院  自主研发  执行行为  有效监控  BPEL引擎  监控功能  动态监控  Language  service  自治性  执行期  研究所  灵活性Algorithms  Computer programming languages  Object oriented programming  Process monitoring  S   ltl model checking via search space partition 会议论文  OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/28 LTL model checking  complexity reduction  compositional verification  memory requirement  nondeterministic choice  search space partition  state space explosion  computational complexity  formal verification  search problems