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

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

帮助

条数/页：排序方式：
	激光诱导等离子体声波信号实时采集分析软件系统期刊论文 OAI收割光电工程, 2019, 卷号: 46, 期号: 8, 页码: 1-9 作者: 刘学军; 吴嘉俊; 乔红超; 赵吉宾; 李长云 \| 收藏 \| 浏览/下载：58/0 \| 提交时间：2019/08/29 激光冲击强化激光诱导等离子体声波在线检测实时采集分析软件系统
	面向智能制造实时监控的不确定复杂事件处理研究学位论文 OAI收割工学博士, 北京: 中国科学院大学, 2016 作者: 毛娜收藏 \| 浏览/下载：37/0 \| 提交时间：2016/06/15 实时监控 CEP NFA 不确定性否定操作符检测优化多规则耦合原型系统
	时间自动机模拟器CTAV-Simulator的设计与实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2014 喻灵婧 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2014/05/30 实时系统时间自动机时间Büchi自动机模型检测时序逻辑LTL 模拟器
	时间自动机模型检测具体反例的生成与图形化显示学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2013 信贤卫 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2013/05/31 实时系统模型检测时间自动机反例生成模拟器
	基于BM3803的星载计算机系统软件开发期刊论文 OAI收割计算机工程与设计, 2011, 期号: 2, 页码: 524-526,530 曹东坡; 胡晓惠; 赵军锁; 毛劲松 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/10/10 实时多处理器系统可扩展处理器体系架构系统软件板级支持包错误检测与纠正
	带时间约束的LTL公式的模型检测技术及工具实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2010 部德振 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2010/06/08 实时系统时间自动机时间约束 LTL性质模型检测
	改进的以SMT为基础的实时系统限界模型检测期刊论文 OAI收割软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502 徐亮 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/05/23 限界模型检测可满足性模块理论实时系统时间自动机时间Kripke结构带时间参数的计算树逻辑bounded model checking satisfiability modulo theories real-time system timed automata timed Kripke structure TCTL (timed computation tree logic)
	基于汽车检测线的实时网络监控系统期刊论文 OAI收割微计算机信息, 2010, 卷号: 26, 期号: 2, 页码: 18-19 作者: 孟庆春; 刘云卿收藏 \| 浏览/下载：19/0 \| 提交时间：2010/05/03 汽车检测线网络监控系统实时