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

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

帮助

条数/页：排序方式：
	涡喷发动机起动过程建模及时序仿真期刊论文 OAI收割系统仿真学报, 2019, 卷号: 31, 期号: 1, 页码: 74-80 作者: 杨丽英; 何玉庆; 王磊; 张宏达 \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2018/09/09 涡喷发动机起动过程模型时序仿真
	自主安全动机与安全绩效的多水平模型期刊论文 OAI收割心理科学进展, 2019, 页码: 12 作者: \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2019/10/14 自主动机安全绩效基于行为的安全高风险组织动机过程模型
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \| 浏览/下载：67/2 \| 提交时间：2011/06/10 离散时间自动机非空性检测线性时序逻辑性质时间自动机检测工具 Timed Automata 状态空间爆炸线性时序逻辑利用模型指数增长压缩存储性质验证系统规模时间空间检测效果检测速度检测过程检测方法存储延迟效率算法实验技术
	软件过程支撑环境SPEFE的设计与改进学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 李明收藏 \| 浏览/下载：17/0 \| 提交时间：2011/03/17 软件过程软件过程支撑环境时间自动机模型检验
	工作流过程图形建模及基于自动机的动态语义期刊论文 OAI收割计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 1, 页码: 8-13 董广智; 田勇; 柳军飞收藏 \| 浏览/下载：137/5 \| 提交时间：2011/07/01 工作流过程图形建模反应式控制自动机动态语义工作流图形建模有限状态自动机动态语义 Dynamic Semantics 过程元模型语义正确性图形表示过程执行过程模型运行时可表示反应式中心应用行为活动
	基于元胞模型的近现代黄河三角洲演化动态模拟学位论文 OAI收割中国科学院地理科学与资源研究所: 中国科学院研究生院, 2005 作者: 黄翀 \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2010/12/16 黄河三角洲元胞自动机元胞模型纵剖面自组织虚拟过程流路算法演化动态模拟海岸侵蚀
	格点自动机与探索复杂性期刊论文 OAI收割现代物理知识, 1994, 期号: S1, 页码: 150-151+154 秦荣山,王丽琴收藏 \| 浏览/下载：13/0 \| 提交时间：2012/04/12 格点自动机:9802 细胞自动机:1127 布鲁塞尔子:751 数学模型:613 复杂系统:597 探索复杂性:571 流体动力学模型:531 输运过程:525 分子动力学:488 马尔可夫过程:464