中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 学位论文

view all items

(Results 1-20 of 218)
Help
Items/Page:    Sort:
时滞动态系统的形式验证与控制生成 [学位论文]
博士, 北京: 中国科学院大学, 2019-05-24
陈明帅
  |  View/Download:21/1
 
SMT约束的解计数方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-05-20
葛存菁
  |  View/Download:8/0
 
网络算法编程语言的设计、实现与代码自动生成 [学位论文]
硕士, 北京: 中国科学院研究生院, 2019-05-17
王健
  |  View/Download:13/0
 
加强感知的边缘提取及其在去模糊和超像素分割中的应用 [学位论文]
硕士, 北京: 中国科学院研究生院, 2019-05-17
邱枫
  |  View/Download:8/0
 
带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 [学位论文]
硕士, 北京: 中国科学院大学, 2019-05-17
高冲
  |  View/Download:12/1
 
约束优化难解问题的高效算法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-05-14
王少将
  |  View/Download:9/0
 
三维模型骨架提取方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2019-05
李雷
  |  View/Download:4/0
 
基于关联规则学习的带参验证系统 [学位论文]
硕士, 北京: 中国科学院大学, 2019-05
曹嘉伦
  |  View/Download:7/0
 
基于稀疏轨迹数据的城市人群移动可视分析 [学位论文]
硕士, 北京: 中国科学院大学, 2019-05
黄聪聪
  |  View/Download:28/0
 
多线程程序中并发缺陷的动态分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 2019-05
朱碧云
  |  View/Download:10/0
 
基于结构信息的数据分析原理与技术 [学位论文]
博士, 北京: 中国科学院大学, 2019-05
殷宪晨
  |  View/Download:13/0
 
基于深度学习的光照估计研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2019-05
程大川
  |  View/Download:17/0
 
一种新型形式化验证方法——理论与工具 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-03-08
刘坚
  |  View/Download:46/1
 
安卓应用活动分析与测试优化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2019
王平
  |  View/Download:11/0
 
使用增量Voronoi点集的实时点画 [学位论文]
博士, 北京: 中国科学院研究生院, 2018-11-22
马雷
  |  View/Download:31/1
 
分批次主动学习方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2018-11
汪涵默
  |  View/Download:31/3
 
含有replaceAll函数的字符串约束求解 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-23
陈艳
  |  View/Download:30/1
 
针对软件测试数据生成与Petri网可达性分析的适度函数 [学位论文]
博士, 北京: 中国科学院大学, 2018-05-22
徐雄
  |  View/Download:45/2
 
基于大规模移动性分析的城市人群全景可视化 [学位论文]
硕士, 北京: 中国科学院大学, 2018-05-22
江涛
  |  View/Download:58/7
 
安全攸关嵌入式系统代码自动生成技术研究 [学位论文]
博士, 北京: 中国科学院大学, 2018-05-21
严高高
  |  View/Download:68/5
 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace