中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [3]
工程热物理研究所 [2]
微电子研究所 [1]
软件研究所 [1]
采集方式
OAI收割 [7]
内容类型
期刊论文 [5]
会议论文 [2]
发表日期
2014 [2]
2005 [2]
2003 [1]
1995 [2]
学科主题
筛选
浏览/检索结果:
共7条,第1-7条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
严重段塞流特性实验及控制模拟研究
会议论文
OAI收割
2014年中国工程热物理学会, 2014-11
周宏亮
;
郭烈锦
;
郭正斌
收藏
  |  
浏览/下载:42/0
  |  
提交时间:2014/12/10
S型立管
段塞流特性
手动节流
PID自动控制
霍普夫分岔图
严重段塞流特性实验及控制模拟研究
会议论文
OAI收割
2014-11
作者:
郭烈锦
;
郭正斌
;
周宏亮
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2014/12/10
S型立管
段塞流特性
手动节流
Pid自动控制
霍普夫分岔图
动态内存错误的静态检测
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2005, 卷号: 17, 期号: 3
作者:
张广梅
;
李晓维
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2010/11/23
动态内存错误
路径别名分析
稀疏控制流图
程序调用图
UML活动图的时序逻辑语义
期刊论文
OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳
;
唐稚松
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/28
UML
活动图
形式化语义
时序逻辑
XYZ/E
活动图
线性时序逻辑语言
逻辑语义
UML Activity Diagrams
形式化
系统行为
语义转换
行为建模
描述系统
逻辑框架
动态行为
图结构
控制流
可表示
程序性
基础
软/硬件协同设计方法学研究的现状与分析
期刊论文
OAI收割
固体电子学研究与进展, 2003, 卷号: 23, 期号: 2, 页码: 6,205-209,245
作者:
魏少军
;
汤磊
;
仇玉林
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2010/05/25
软/硬件协同设计
系统级综合
系统代价
约束条件
控制数据流图
集成电路
POPE:一个面向FORTRAN的程序设计环境
期刊论文
OAI收割
计算机研究与发展, 1995, 卷号: 32, 期号: 11, 页码: 44
作者:
杜子德
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
静态分析
动态分析
可视化
程序设计环境
调用图
控制流图
用户界面
程序控制流图:一种可视化的程序设计工具
期刊论文
OAI收割
计算机研究与发展, 1995, 卷号: 32.0, 期号: 012, 页码: 15
作者:
杜子德
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
程序设计工具
控制流图
程序设计环境