机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2008 [1]
• 2007 [1]
• 2004 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序作者升序作者降序题名升序题名降序发表日期升序发表日期降序 一种基于离散时间自动机的LTL性质检测工具 期刊论文  OAI收割 计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全 收藏  |  浏览/下载：76/2  |  提交时间：2011/06/10 离散时间自动机  非空性检测  线性时序逻辑性质  时间自动机  检测工具  Timed Automata  状态空间爆炸  线性时序逻辑  利用模型  指数增长  压缩存储  性质验证  系统规模  时间空间  检测效果  检测速度  检测过程  检测方法  存储延迟  效率  算法  实验  技术   结合搜索空间划分和抽象进行LTL模型检测 期刊论文  OAI收割 中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520 蒲飞; 张文辉   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/01 搜索空间划分  求精  抽象  LTL模型检测  应用模型  状态空间爆炸  方法  空间复杂度  逐步求精  数值实验  检测  工业系统  障碍  验证  效率  消减  内存   基于工作流网的实时协同系统模拟技术 期刊论文  OAI收割 计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481 杜玉越; 蒋昌俊   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/07/29 逻辑Petri网  工作流  逻辑工作流网  实时协同系统  模拟与验证  逻辑工作流网  实时协同系统  状态空间爆炸问题  企业销售系统  模拟与分析  逻辑表达式  系统设计  模拟分析  继承问题  组合网  抑制弧  形式化  应用  输入  输出  人员  扩展  技术  概念Computer simulation  Formal logic  Petri nets  Real time systems  Specifications