中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码？
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [19]
数学与系统科学研究院 [2]
自动化研究所 [1]
合肥物质科学研究院 [1]
采集方式
OAI收割 [23]
内容类型
学位论文 [12]
期刊论文 [11]
发表日期
2018 [1]
2008 [2]
2007 [2]
2006 [1]
2003 [1]
2002 [3]
更多
学科主题
筛选
浏览/检索结果:
共23条，第1-10条
帮助
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
面向社交媒体的个性化情感分析与立场挖掘方法研究
学位论文
OAI收割
北京: 中国科学院大学, 2018
作者:
林俊杰
|
收藏
|
浏览/下载：217/0
|
提交时间：2018/06/03
社交媒体分析
情感分析
立场挖掘
个性化信息
基于话题的建模与求精
高安全等级操作系统形式化开发技术研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2008
李丽萍
收藏
|
浏览/下载：14/0
|
提交时间：2011/03/17
安全操作系统
形式化
形式化安全策略模型
形式化顶层规范
求精
安全体系结构
微内核
一种改进的数据求精证明规则
期刊论文
OAI收割
计算机工程, 2008, 卷号: 34, 期号: 1, 页码: 23-25
张宏
;
贺也平
;
石志国
|
收藏
|
浏览/下载：23/0
|
提交时间：2010/08/23
多级安全系统
数据求精
前向模拟
后向模拟 multilevel secure system
data refinement
forward simulation
backward simulation
公平交换协议分析与实现技术研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2007
李改成
收藏
|
浏览/下载：23/0
|
提交时间：2011/03/17
公平交换协议
形式化方法
需求
求精
可信第三方
结合搜索空间划分和抽象进行LTL模型检测
期刊论文
OAI收割
中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520
蒲飞
;
张文辉
|
收藏
|
浏览/下载：8/0
|
提交时间：2011/07/01
搜索空间划分
求精
抽象
LTL模型检测
应用模型
状态空间爆炸
方法
空间复杂度
逐步求精
数值实验
检测
工业系统
障碍
验证
效率
消减
内存
Statecharts的组合语义与求精
期刊论文
OAI收割
软件学报, 2006, 期号: 4, 页码: 670-681
朱雪阳
;
唐稚松
|
收藏
|
浏览/下载：16/0
|
提交时间：2011/07/13
Statecharts
时序逻辑
XYZ/E
形式语义
组合
求精
一种基于构件的软件体系结构求精方法及其应用
期刊论文
OAI收割
重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5
晏荣杰
;
张广泉
|
收藏
|
浏览/下载：15/0
|
提交时间：2011/07/29
软件体系结构
构件
形式化描述
求精
XYZ/E
基于构件
软件体系结构
方法及
应用
求精方法
形式化描述
时序逻辑语言
研究领域
描述语言
开发实例
基于行为
工程学科
风格
基于XYZ/E描述和验证容错系统
期刊论文
OAI收割
软件学报, 2002, 卷号: 13, 期号: 5
郭亮
;
唐稚松
|
收藏
|
浏览/下载：11/0
|
提交时间：2010/08/26
容错系统
时序逻辑语言XYZ/E
求精
容错转换
规范
验证
基于XYZ/E重构SZRTOS实时操作系统内核
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002
郭亮
收藏
|
浏览/下载：21/0
|
提交时间：2011/03/17
线性时序逻辑语言XYZ/E
逐步求精
优先级继承
容错系统
验证
一个综合知识发现与知识求精系统—XFKDRS
期刊论文
OAI收割
模式识别与人工智能, 2002, 卷号: 015
作者:
杭小树
;
张友华
;
袁红春
;
黄河
;
熊范纶
|
收藏
|
浏览/下载：15/0
|
提交时间：2020/11/23
XFKDRS
知识发现
知识求精
专家系统
自动知识获取
