中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	Ia型超新星多样性的观测研究期刊论文 OAI收割天文学报(Acta Astronomica Sinica), 2018, 卷号: 59, 期号: 2 作者: 张居甲 \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2019/01/07 Ia型超新星多样性观测爆发机制热核爆炸距离测量膨胀状态测距精度
	支杆-钝头体结构在脉冲爆炸作用下的减阻机理研究会议论文 OAI收割中国力学大会-2015, 中国上海, 2015-08-16 作者: 韩桂来; 姜宗林收藏 \| 浏览/下载：21/0 \| 提交时间：2016/08/16 减阻机理流场结构爆炸作用能量形式流状态钝头体回流区爆炸波传播作用形式能量释放
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \| 浏览/下载：69/2 \| 提交时间：2011/06/10 离散时间自动机非空性检测线性时序逻辑性质时间自动机检测工具 Timed Automata 状态空间爆炸线性时序逻辑利用模型指数增长压缩存储性质验证系统规模时间空间检测效果检测速度检测过程检测方法存储延迟效率算法实验技术
	Büchi自动机状态空间的化简学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 易锦收藏 \| 浏览/下载：17/0 \| 提交时间：2011/03/17 模型检测状态爆炸 LTL Büchi自动机公平模拟
	结合搜索空间划分和抽象进行LTL模型检测期刊论文 OAI收割中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520 蒲飞; 张文辉 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/01 搜索空间划分求精抽象 LTL模型检测应用模型状态空间爆炸方法空间复杂度逐步求精数值实验检测工业系统障碍验证效率消减内存
	基于工作流网的实时协同系统模拟技术期刊论文 OAI收割计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481 杜玉越; 蒋昌俊 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/29 逻辑Petri网工作流逻辑工作流网实时协同系统模拟与验证逻辑工作流网实时协同系统状态空间爆炸问题企业销售系统模拟与分析逻辑表达式系统设计模拟分析继承问题组合网抑制弧形式化应用输入输出人员扩展技术概念Computer simulation Formal logic Petri nets Real time systems Specifications