机构

• 计算技术研究所 [3]
• 工程热物理研究所 [2]
• 微电子研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [7]

内容类型

• 期刊论文 [5]
• 会议论文 [2]

发表日期

• 2014 [2]
• 2005 [2]
• 2003 [1]
• 1995 [2]

学科主题

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 严重段塞流特性实验及控制模拟研究 会议论文  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 作者:  张广梅;  李晓维   |  收藏  |  浏览/下载：10/0  |  提交时间：2010/11/23 动态内存错误  路径别名分析  稀疏控制流图  程序调用图   UML活动图的时序逻辑语义 期刊论文  OAI收割 计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松   |  收藏  |  浏览/下载：19/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 作者:  杜子德   |  收藏  |  浏览/下载：3/0  |  提交时间：2023/12/04 程序设计工具  控制流图  程序设计环境