中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [24]
沈阳自动化研究所 [2]
计算技术研究所 [1]
新疆理化技术研究所 [1]
采集方式
OAI收割 [28]
内容类型
期刊论文 [16]
学位论文 [12]
发表日期
2020 [1]
2016 [1]
2014 [1]
2011 [1]
2010 [2]
2009 [4]
更多
学科主题
计算机科学技术基础学... [1]
筛选
浏览/检索结果:
共28条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
电网大数据预处理算法研究与实现
学位论文
OAI收割
沈阳: 中国科学院沈阳自动化研究所, 2020
作者:
付亚同
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2020/06/27
电网数据
数据质量
数据清洗
数据规约
基于IEC60870-5-104远动规约的PLC通信模块的设计与实现
期刊论文
OAI收割
高技术通讯, 2016, 卷号: 26, 期号: 4, 页码: 389-395
作者:
孙俊男
;
刘明哲
;
徐皑冬
;
郭廷廷
;
韩晓佳
收藏
  |  
浏览/下载:57/0
  |  
提交时间:2016/11/21
嵌入式系统
IEC60870-5-104
以太网通信
状态机
规约
SRLtoRadl生成系统及其范畴论语义
期刊论文
OAI收割
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶
;
薛锦云
;
左正康
  |  
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2014/12/16
结构化需求语言
形式化软件规约
自动生成系统
高可靠
范畴论语义
structural requirement language
formal software specification
automatic generation system
high reliability
category semantics
软件库调用规约挖掘
期刊论文
OAI收割
软件学报, 2011, 卷号: 22, 期号: 3, 页码: 408-416
钟浩
;
张路
;
梅宏
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/10/10
挖掘规约
软件库Libraries
Model checking
Research
SRL→Radl生成系统及其相关理论研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2010
王昌晶
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2012/06/20
结构化需求语言
形式化软件规约
生成系统
范畴论
规约相对正确性
卫命令模型检测工具的设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
王绍春
  |  
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2010/06/07
模型检测,卫命令,线性时序逻辑,自动机,偏序规约,双深度优先搜索,时序滤网
多语种构件技术的研究与实现
学位论文
OAI收割
中国科学院新疆理化技术研究所: 中国科学院研究生院, 2009
作者:
汪漪
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2014/10/14
多语种构件
构件模型
构件描述规约
Mlcdl
构件库
路径包含算法
构件获取
构件制作
构件分类
构件检索
基于基本块的控制流检错方法优化研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2009
肖贺
  |  
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2011/03/17
软错误
控制流检测
基本块规约
性能优化
采用基本块规约的控制流检测性能优化方法
期刊论文
OAI收割
小型微型计算机系统, 2009, 卷号: 30, 期号: 12, 页码: 2378-2382
肖贺
;
王永吉
;
潘远明
;
丁丽萍
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2010/08/17
软错误
控制流检测
基本块规约
性能优化
softerror
control-flowchecking
basicblockreduce
performaceoptimazation soft error
control-flow checking
basic block reduce
performace optimazation
基于时序逻辑证明编译优化程序变换的保义性
期刊论文
OAI收割
软件学报, 2009, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭
;
赵琛
;
郭亮
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2010/08/25
时序逻辑
形式规约
优化编译
程序变换
语句交换
变量替换
语句重排