×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [40]
内容类型
期刊论文 [40]
发表日期
2010 [40]
学科主题
Computer ... [40]
Artificial... [3]
Informatio... [3]
Electrical... [2]
Electrical... [2]
Software E... [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共40条,第1-10条
帮助
限定条件
发表日期:2010
学科主题:Computer Science
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
面向服务的舰船导弹防御及服务扰动建模
期刊论文
系统工程与电子技术, 2010, 卷号: 32, 期号: 4, 页码: 791-794,811
邓勇
;
胡晓惠
;
张中兆
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/05/23
Web服务
建模
扰动
导弹防御Computer crime
Data processing
Marine missiles
Military applications
Military rockets
Radar tracking
Tracking radar
a robust dynamic niching genetic algorithm with niche migration for automatic clustering problem
期刊论文
PATTERN RECOGNITION, 2010, 卷号: 43, 期号: 4, 页码: 1346-1360
Chang Dong-Xia
;
Zhang Xian-Da
;
Zheng Chang-Wen
;
Zhang Dao-Ming
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/05/24
Clustering
Genetic algorithms
Niching method
Niche migration
Remote sensing image
分布式仿真系统中的数据传输研究
期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 56-59,63
陈晓怡
;
吕品
;
王宇心
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/05/23
分布式仿真
数据传输
运行时间支撑系统
数据分发管理
套接字distributed simulation
data transmission
RTI
DDM
socket
外包数据库模型中的完整性检测方案
期刊论文
计算机研究与发展, 2010, 卷号: 47, 期号: 6, 页码: 1107-1115
咸鹤群
;
冯登国
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/05/23
数据库安全
外包数据库完整性
带掩码的验证树
验证数据结构
验证时间Data structures
Database systems
Model checking
基于延后策略的动态多路径分析方法
期刊论文
计算机学报, 2010, 卷号: 33, 期号: 3, 页码: 493-503
陈恺
;
冯登国
;
苏璞睿
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/05/23
多路径分析
可执行程序
漏洞检测
动态分析
延后策略Dynamic analysis
基于动态对等网层次结构的网络预警模型研究
期刊论文
计算机研究与发展, 2010, 卷号: 47, 期号: 9, 页码: 1574-1586
许佳
;
冯登国
;
苏璞睿
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/05/23
恶意代码
网络预警
协同安全
对等覆盖网
分布式共享Computer crime
Distributed computer systems
Heterogeneous networks
Internet
Network security
基于考生比例的考场编排问题的分治算法
期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 12, 页码: 2872-2875
王文发
;
张根耀
;
马春梅
;
李红达
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2011/05/23
分治算法
考场编排
多约束分配
流程图
复杂度sub-rule algorithm
arrangement of examination seat
multi-constraint assignment
flow chart
complexity
differential geometry images: remeshing and morphing with local shape preservation
期刊论文
VISUAL COMPUTER, 2010, 卷号: 26, 期号: 1, 页码: 51-62
Meng Weiliang
;
Sheng Bin
;
Lv Weiwei
;
Sun Hanqiu
;
Wu Enhua
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2011/05/23
Remesh
Geometry images
Differential coordinates
Laplacian matrix
Shape space
基于一阶迁移系统的限界模型检测工具实现
期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/05/23
限界模型检测
一阶迁移系统
通道
验证算法
协议分析bounded model checking
first order transition system
channel
verification algorithm
protocol analysis
dynamic tree-based authenticated group key exchange protocol
期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 8, 页码: 1591-1602
Li Hui
;
Wu ChuanKun
;
Teng Jikai
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/05/23
tree-based
group key exchange
dynamic
provable security
©版权所有 ©2017 CSpace - Powered by
CSpace