中国开放科研知识云: 检索

基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳

收藏 | 浏览/下载：18/0 | 提交时间：2014/06/06

收藏 | 浏览/下载：17/0 | 提交时间：2014/12/16

面向PaaS的分布式缓存服务关键技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2013
秦秀磊

收藏 | 浏览/下载：32/0 | 提交时间：2014/01/03

The Application of the Combinatorial Relaxation Theory on the Structural Index Reduction of DAE 会议论文
12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES), London, ENGLAND, SEP 02-04, 2012
Wu, Xuesong; Zeng, Yan; Cao, Jianwen

收藏 | 浏览/下载：13/0 | 提交时间：2014/12/16

solving generalized optimization problems subject to smt constraints 会议论文
6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012
Ma Feifei; Yan Jun; Zhang Jian

收藏 | 浏览/下载：15/0 | 提交时间：2013/09/22

analysis and implementation for the algorithm based on combinatorial relaxation for computing the structure index of dae 会议论文
Asia Simulation Conference and the International Conference on System Simulation and Scientific Computing 2012, AsiaSim and ICSC 2012, Shanghai, China, October 27, 2012 - October 30, 2012
Zeng Yan; Wu Xuesong; Cao Jianwen

收藏 | 浏览/下载：8/0 | 提交时间：2013/09/22

基于主动规则推理的故障诊断系统设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2011
李欣

收藏 | 浏览/下载：7/0 | 提交时间：2011/06/07

大规模场景流体模拟的耦合算法 期刊论文
计算机辅助设计与图形学学报, 2011, 卷号: 23, 期号: 6, 页码: 1028-1033
武小龙; 吴恩华; 张辉

收藏 | 浏览/下载：12/0 | 提交时间：2011/10/10

自适应笔式用户界面研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2009
徐礼爽