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

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

帮助

条数/页：排序方式：
	类脑脉冲神经网络模型优化方法研究学位论文 OAI收割 2024 作者: 李杨 \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2024/06/04 脉冲神经网络优化人工神经网络-脉冲神经网络转换时空反向传播时序高效知识蒸馏高性能低延迟
	基于DCT-PLS算法的MODIS LST缺值填补方法研究 CNKI期刊论文 OAI收割 2022 作者: 刘恒孜; 吕宁; 姜侯; 姚凌 \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2022/09/29 MODIS 缺值填补地表温度长时序离散余弦变换惩罚最小二乘算法优化粤港澳大湾区
	现场可编程门阵列（FPGA）时序优化布线算法研究学位论文 OAI收割博士, 北京: 中国科学院大学, 2014 刘洋收藏 \| 浏览/下载：38/0 \| 提交时间：2014/02/13 FPGA 时序优化拆线-重布违反长路径约束选择性路径搜索
	一种编译优化测试用例自动生成方法的设计与实现期刊论文 OAI收割小型微型计算机系统, 2009, 卷号: 30, 期号: 1, 页码: 13-18 曾伟明; 薛云志; 赵琛; 贺也平 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2010/08/23 编译器测试覆盖率编译优化时序逻辑测试用例 compiler test coverage test compiler optimization temporal logic test case
	基于时序逻辑证明编译优化程序变换的保义性期刊论文 OAI收割软件学报, 2009, 卷号: 20, 期号: 8, 页码: 2074-2086 陶秋铭; 赵琛; 郭亮 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2010/08/25 时序逻辑形式规约优化编译程序变换语句交换变量替换语句重排
	基于分支时序逻辑的编译优化测试用例自动生成方法的研究与实现学位论文 OAI收割硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008 曾伟明 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/03/17 编译器测试编译优化时序逻辑测试用例覆盖率
	基于时序逻辑的编译优化测试用例生成方法期刊论文 OAI收割计算机应用研究, 2007, 卷号: 24, 期号: 7, 页码: 46-48 夏勇; 薛云志; 赵琛 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2010/08/25 编译优化测试用例时序逻辑基本块关键节点控制图
	基于CTL的循环优化变换描述方法期刊论文 OAI收割计算机应用研究, 2007, 卷号: 24, 期号: 7, 页码: 49 夏勇; 薛云志; 陶秋铭; 赵琛 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/08/25 循环优化变换分支时序逻辑依赖分析
	基于时序逻辑的编译优化形式化描述及测试用例生成方法学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 夏勇收藏 \| 浏览/下载：33/0 \| 提交时间：2011/03/17 编译优化循环优化时序逻辑关键结点控制图重写规则