×
验证码:
换一张
忘记密码?
记住我
切换中国科技网通行证登录
×
切换中国科技网通行证登录
登录
中文版
|
English
中国科学院数学与系统科学研究院机构知识库
KMS Of Academy of mathematics and systems sciences, CAS
登录
注册
ALL
ORCID
题名
作者
发表日期
学科领域
关键词
文献类型
出处
存缴日期
收录类别
出版者
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
国家数学与交叉科学中... [1]
作者
郭雷 [1]
文献类型
期刊论文 [7]
发表日期
2011 [7]
语种
英语 [7]
出处
计算机学报 [3]
软件学报 [2]
中国管理科学 [1]
科技导报北京 [1]
资助项目
收录类别
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共7条,第1-7条
帮助
限定条件
发表日期:2011
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
WOS被引频次升序
WOS被引频次降序
发表日期升序
发表日期降序
题名升序
题名降序
期刊影响因子升序
期刊影响因子降序
作者升序
作者降序
提交时间升序
提交时间降序
基于时间自动机的物联网服务建模和验证
期刊论文
计算机学报, 2011, 卷号: 034, 期号: 008, 页码: 1365
作者:
李力行
;
金芝
;
李戈
收藏
  |  
浏览/下载:109/0
  |  
提交时间:2020/01/10
上证指数波动持久性在牛熊市的差异
期刊论文
中国管理科学, 2011, 卷号: 019, 期号: 002, 页码: 57
作者:
祖垒
;
崔志伟
;
李自然
;
张锦
收藏
  |  
浏览/下载:39/0
  |  
提交时间:2020/01/10
建立国家科技报告体系势在必行
期刊论文
科技导报北京, 2011, 卷号: 029, 期号: 021, 页码: 15
作者:
冯长根
;
饶子和
;
王陇德
;
姚建年
;
邓中翰
;
陈赛娟
;
李大鹏
;
许智宏
;
刘德培
;
程津培
;
钟南山
;
袁驷
;
彭先觉
;
姒建敏
;
龚克
;
郑南宁
;
陈运泰
;
杜祥琬
;
张泽
;
干勇
;
朱道本
;
韦钰
;
沈岩
;
旭日干
;
詹文龙
;
赵忠贤
;
杨卫
;
郭雷
;
王光谦
;
姚献平
;
王鸣
;
徐秋芳
;
陆大道
;
郑度
;
刘旭
;
魏复盛
;
柯炳生
;
谢俊奇
;
肖金城
;
王金南
收藏
  |  
浏览/下载:215/0
  |  
提交时间:2020/01/10
基于问题框架的需求建模:一种本体制导的方法
期刊论文
软件学报, 2011, 卷号: 022, 期号: 002, 页码: 177
作者:
尹斌
;
金芝
;
陈小红
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2020/01/10
知识引导的软件可信性需求的提取
期刊论文
计算机学报, 2011, 卷号: 034, 期号: 011, 页码: 2165
作者:
王越
;
刘春
;
张伟
;
金芝
收藏
  |  
浏览/下载:86/0
  |  
提交时间:2020/01/10
从交互情景出发的需求捕获方法及其支撑工具
期刊论文
计算机学报, 2011, 卷号: 034, 期号: 002, 页码: 329
作者:
陈小红
;
尹斌
;
金芝
收藏
  |  
浏览/下载:36/0
  |  
提交时间:2020/01/10
一种服务Agent的可信性评估方法
期刊论文
软件学报, 2011, 卷号: 022, 期号: 011, 页码: 2593
作者:
朱曼玲
;
金芝
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2020/01/10