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

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

帮助

条数/页：排序方式：
	基于优先采样模型的离线强化学习期刊论文 OAI收割自动化学报, 2024, 卷号: 50, 期号: 1, 页码: 143-153 作者: 顾扬; 程玉虎; 王雪松 \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2024/04/12 离线强化学习优先采样模型时序差分误差鞅批约束深度Q学习
	现场可编程门阵列（FPGA）时序优化布线算法研究学位论文 OAI收割博士, 北京: 中国科学院大学, 2014 刘洋收藏 \| 浏览/下载：37/0 \| 提交时间：2014/02/13 FPGA 时序优化拆线-重布违反长路径约束选择性路径搜索
	带时间约束的LTL性质的模型检测的实现期刊论文 OAI收割计算机工程与设计, 2011, 期号: 2, 页码: 564-567 部德振收藏 \| 浏览/下载：21/0 \| 提交时间：2011/10/10 时间自动机模型检测线性时序逻辑性质时间约束空性检测
	DDR源同步接口的设计与时序约束方法期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 7, 页码: 4，1600-1602,1605 作者: 陈岚; 张华高 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2010/05/27 Ddr接口源同步静态时序分析时序约束数字集成电路
	数字同步技术的片上可编程实现学位论文 OAI收割硕士: 中国科学院西安光学精密机械研究所, 2007 黄蕾收藏 \| 浏览/下载：19/0 \| 提交时间：2011/10/09 同步计数触发晃动片上可编程系统系统内验证时序约束
	基于时序逻辑的并发系统测试用例生成学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 刘大光收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 基于模型的测试时序逻辑约束事件测试用例生成测试目的
	一种基于模型的并发系统测试目的描述期刊论文 OAI收割计算机工程与应用, 2007, 卷号: 43, 期号: 25, 页码: 105-110 刘大光; 林惠民; 吴鹏 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2010/08/24 基于模型的测试时序逻辑约束事件测试用例生成测试目的 model-based testing temporal logic constrained events test case generation test purpose
	一种面向业务用户的大粒度服务组合方法期刊论文 OAI收割计算机学报, 2005, 期号: 第4期, 页码: 694—703 作者: 李刚; 胡海涛; 韩燕波 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/11/01 业务端编程大粒度服务组合组合模板约束求解时序约束
	对Allen的时间理论的某些改进期刊论文 OAI收割信息与控制, 1995, 卷号: 24, 期号: 3, 页码: 148-156 作者: 王正方; 齐继光; 郑时雨; 肖湘东 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2010/11/29 时间点时区时间元素集时序推理约束传播