中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [7]
测量与地球物理研究所 [2]
心理研究所 [2]
上海应用物理研究所 [2]
国家授时中心 [2]
南京地质古生物研究所 [1]
更多
采集方式
OAI收割 [19]
内容类型
期刊论文 [9]
学位论文 [7]
会议论文 [3]
发表日期
2016 [2]
2013 [2]
2011 [1]
2008 [1]
2007 [3]
2006 [1]
更多
学科主题
天文和天体物理 [1]
计算机应用::计算机... [1]
筛选
浏览/检索结果:
共19条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
上海光源面探测器图像数据获取与处理系统设计
期刊论文
OAI收割
核电子学与探测技术, 2016, 期号: 4, 页码: "400-403+407"
作者:
杨凡
;
张招红
;
郑丽芳
;
薛松
  |  
收藏
  |  
浏览/下载:140/0
  |  
提交时间:2018/08/17
Python语言
Epics
面探测器
数据获取
图像处理
图形用户界面
上海光源面探测器图像数据获取与处理系统设计
学位论文
OAI收割
: 中国科学院研究生院(上海应用物理研究所), 2016
作者:
杨凡
  |  
收藏
  |  
浏览/下载:45/0
  |  
提交时间:2018/08/23
Python语言
Epics
面探测器
数据获取
图像处理
图形用户界面
面向银行业的交互式审计建模工具的设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2013
梁汨
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2013/05/31
交互式
审计建模工具
类自然语言建模
图形化建模
面向儿童的图形化编程语言和工具
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2013, 卷号: 25, 期号: 4, 页码: 584-591
王婷婷
;
王丹力
;
路璐
;
何亮
;
王宏安
;
戴国忠
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/09/17
图形化编程
语言描述
图形化编程工具
儿童
面向儿童的图形化编程系统的研究和实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2011
陈厦建
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/06/13
儿童编程、图形化编程语言、图形块、编程工具、面向对象编程、事件驱动
基于代数的软件过程建模系统的设计与实现
期刊论文
OAI收割
计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539
杨国伟
;
杨秋松
;
翟健
;
袁峰
  |  
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2011/06/10
软件过程建模
多元π演算
ASPMS系统
形式化分析
验证
代数
软件过程建模语言
建模系统
设计
软件开发过程
易于理解
表示方式
表达能力
图形化
形式化语义
组织
生产质量
开发效率
π演算
模型
描述
矛盾
基于LabVIEW的仪器控制方法与实现
会议论文
OAI收割
第十七届全国测控计量仪器仪表学术年会, 中国福建厦门, 2007
刘枫
;
吴海涛
;
卢晓春
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2012/10/19
仪器控制
LabVIEW
VISA
CNT-90
模块化编程|Abstract
仪器控制在自动测试领域有着广泛的应用。本文介绍了仪器控制的概念
并使用图形化编程语言LabVIEW为CNT-90计时器/计数器/分析仪开发了控制程序。所开发的程序基于VISA技术与设备通讯
提供了对不同接口(USB和GPIB)的支持。除了可设定仪器工作参数
读取并显示测量结果外
程序还增加了数据记录和后期处理模块
对仪器功能进行了扩展。文章最后讨论了使用LabVIEW开发仪器控制程序的一般方法
在测试工程中具有普遍的意义。
双重软件体系结构描述框架XYZ/ADL
期刊论文
OAI收割
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2011/07/01
软件体系结构
体系结构描述语言
双重描述框架
XYZ/E
时序逻辑
UML
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念Formal languages
Formal methods
Semantics
Software engineering
Software reliability
Tem
基于移动Agent的位置信息服务系统研究
学位论文
OAI收割
博士, 武汉: 中国科学院测量与地球物理研究所, 2006
钟世明
收藏
  |  
浏览/下载:69/0
  |  
提交时间:2013/01/16
位置信息服务
移动Agent
分布式计算技术
移动定位技术
数据流压缩
移动通信
对称密钥加密
动态路径串行迁移
消息模型
事件驱动
负载控制
连接池
任务分担
地理信息系统
可扩展标签语言
无线应用协议
地理标签语言
可缩放矢量图形
话音可扩展标签语言
无线标签语言