中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共64条，第1-10条 帮助

条数/页： 排序方式：
扩展时序协作逻辑的模型检测方法研究 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2016
纪玮
  |  收藏  |  浏览/下载：19/0  |  提交时间：2016/06/27
不对称卟啉共价固载于硅基介孔薄膜材料模拟反馈回路的研究 期刊论文  OAI收割
发光学报, 2015, 期号: 02, 页码: 206-212
作者:  李鹏;  骆永石;  范镝;  高颉;  张黎明
收藏  |  浏览/下载：15/0  |  提交时间：2016/07/06
时间自动机模拟器CTAV-Simulator的设计与实现 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2014
喻灵婧
  |  收藏  |  浏览/下载：18/0  |  提交时间：2014/05/30
线性时序逻辑转换Buchi自动机的按需即时算法 期刊论文  OAI收割
清华大学学报. 自然科学版, 2014, 卷号: 54, 期号: 2, 页码: 281-288
单来祥; 覃征; 卢欣晔; 卢正才
  |  收藏  |  浏览/下载：29/0  |  提交时间：2014/12/16
面向门级网表的VLSI三模冗余加固设计 期刊论文  OAI收割
计算机工程与科学, 2014, 卷号: 36.0, 期号: 012, 页码: 2355
作者:  徐冉冉;  孟海波;  桂小琰;  申小伟;  安述倩
  |  收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
基于DSP+FPGA的图像处理嵌入式开发平台 期刊论文  OAI收割
科学技术与工程, 2013, 卷号: 13, 期号: 22
王旭辉; 周姗姗; 裴浩东
收藏  |  浏览/下载：27/0  |  提交时间：2014/11/05
时序逻辑博弈问题的必胜策略检测 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2012
梁虹
  |  收藏  |  浏览/下载：20/0  |  提交时间：2012/06/01
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2012
马明
  |  收藏  |  浏览/下载：18/0  |  提交时间：2012/06/13
带时间约束的LTL性质的模型检测的实现 期刊论文  OAI收割
计算机工程与设计, 2011, 期号: 2, 页码: 564-567
部德振
收藏  |  浏览/下载：19/0  |  提交时间：2011/10/10
构建度量区时序逻辑的时间自动机 期刊论文  OAI收割
计算机工程与设计, 2011, 期号: 2, 页码: 568-571,575
王勤思
  |  收藏  |  浏览/下载：20/0  |  提交时间：2011/10/10