×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [27]
内容类型
期刊论文 [12]
学位论文 [9]
会议论文 [6]
发表日期
2016 [1]
2015 [2]
2014 [5]
2013 [1]
2012 [6]
2011 [1]
更多...
学科主题
Automation... [2]
Computer S... [1]
Computer S... [1]
Computer S... [1]
计算机应用::计算机... [1]
计算机软件 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共27条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
SandroidSat-1卫星姿态确定系统研究
学位论文
硕士, 北京: 中国科学院研究生院, 2016
赵晶晶
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/06/01
纳方星
手机卫星
姿态确定系统
卡尔曼滤波器
扩展卡尔曼滤波器
组合测试:测试生成、错误定位与应用
学位论文
博士, 北京: 中国科学院大学, 2015
张智强
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2015/06/30
组合测试
测试生成
错误定位
Practical-time related-key attack on Hummingbird-2
期刊论文
IET INFORMATION SECURITY, 2015, 卷号: 9, 期号: 6, 页码: 321-327
Shi, ZQ
;
Zhang, B
;
Feng, DG
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/12/13
divide and conquer methods
cryptography
practical-time related-key attack
Hummingbird-2
lightweight cipher
MAC functionality
cryptographic notion
combination points
differential equation
internal state bits
divide and conquer strategy
cryptographic S-boxes
Semantic consistency: A local subspace based method for distant supervised relation extraction
会议论文
52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014, Baltimore, MD, United states, June 22, 2014 - June 27, 2014
Han, Xianpei (1)
;
Sun, Le (1)
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2014/12/16
Double configuration checking in stochastic local search for satisfiability
会议论文
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Luo, Chuan (1)
;
Cai, Shaowei (2)
;
Wu, Wei (1)
;
Su, Kaile (1)
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2014/12/16
不等距网格上求解ODE特征值问题若干高精度格式的计算与分析
期刊论文
数值计算与计算机应用, 2014, 卷号: 35, 期号: 2, 页码: 131-152
张慧荣
;
曹建文
;
孙家昶
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
特征值问题
不等距网格
高精度格式
质量集中
加权组合
Generating combinatorial test suite using combinatorial optimization
期刊论文
Journal of Systems and Software, 2014, 卷号: 98, 页码: 191-207
Zhang, Zhiqiang (1)
;
Yan, Jun (3)
;
Zhao, Yong (5)
;
Zhang, Jian (1)
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2014/12/16
Combinatorial testing
Test generation
Combinatorial optimization
More efficient two-mode stochastic local search for random 3-satisfiability
期刊论文
Applied Intelligence, 2014, 卷号: 41, 期号: 3, 页码: 665-680
Luo, Chuan (1)
;
Su, Kaile (2)
;
Cai, Shaowei (3)
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
Local search
Satisfiability
Linear combination
Greedy
Diversification
Property
Diversifying Tag Selection Result for Tag Clouds by Enhancing both Coverage and Dissimilarity
会议论文
14th International Conference on Web Information Systems Engineering (WISE), Nanjing, PEOPLES R CHINA, OCT 13-15, 2013
Wang, Meiling
;
Zhou, Xiang
;
Tao, Qiuming
;
wu, Wei
;
Zhao, Chen
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
Tag Cloud
Tag Selection
Result Diversification
Coverage
Dissimilarity
Submodularity
Greedy Algorithm
a radio-driven time synchronization protocol in hybrid simulation systems
会议论文
2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, PADS 2012, Zhangjiajie, China, July 15, 2012 - July 19, 2012
Huang Zhiyu
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2013/09/22
Embedded systems
Network layers
Sensor nodes
©版权所有 ©2017 CSpace - Powered by
CSpace