中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [5]
国家授时中心 [4]
过程工程研究所 [2]
计算技术研究所 [1]
高能物理研究所 [1]
海洋研究所 [1]
更多
采集方式
OAI收割 [17]
内容类型
期刊论文 [13]
学位论文 [2]
专利 [1]
会议论文 [1]
发表日期
2016 [1]
2010 [1]
2008 [2]
2007 [1]
2005 [1]
2004 [1]
更多
学科主题
计算机应用技术 [1]
筛选
浏览/检索结果:
共17条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
网络教学资源的时间动态推荐算法研究及应用
学位论文
OAI收割
工学博士, 北京: 中国科学院研究生院, 2016
作者:
张海东
收藏
  |  
浏览/下载:192/0
  |  
提交时间:2017/01/19
协同过滤
推荐系统
隐马尔科夫模型
时间动态变化
隐状态转换
课程序列
双极化X波段雷达海浪参数测量系统
专利
OAI收割
专利类型: 发明, 专利号: CN200910017953.8, 申请日期: 2010-02-03, 公开日期: 2010-02-03
何宜军
;
崔利民
;
申 辉
;
汪学刚
;
陈祝明
;
朱晓章
收藏
  |  
浏览/下载:67/0
  |  
提交时间:2014/08/04
1.一种双极化X波段雷达海浪参数测量系统
所述雷达主机一输入端与雷达控制单元连接
所述雷达主机一输出端与显示器连接
所述雷达主机另一输出端通过通讯接口与计算机的数据采集模块连接
所述数据采集模块采集雷达主机输出的视频信号
所述计算机通过I/O接口与极化切换控制模块连接
所述双极化天线一端与雷达主机通讯连接
包括一雷达
接收控制单元的控制信号
显示未处理的海杂波视频信号
并将视频信号转换为数字信号存储于计算机的存储单元
所述计算机通过极化切换控制模块与双极化天线控制连接
另一端通过与极化切换控制模块连接。
其特征在于
计算机通过数据处理程序处理数字信号
所述雷达由雷达主机及与雷达主机通讯连接的双极化天线组成
通过显示单元显示海浪参数信息
数据处理平台的研究与实现
期刊论文
OAI收割
计算机工程与设计, 2008, 卷号: 29, 期号: 7, 页码: 1800-1803,1852
蔡玉宝
;
左春
;
张正
;
邹志强
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/06/10
数据处理
作业管理
日志管理
异常恢复
影响域
数据处理平台
系统运行效率
异常处理
系统开发效率
作业
数据处理系统
状态转换
应用开发
体系架构
目录服务
图模型
规则管理
定位异常
调度问题
程序方法
无循环
样本
模板
强磁场电源精密电压参考源的设计
期刊论文
OAI收割
微计算机信息, 2008, 卷号: 024
作者:
段娟
;
刘小宁
;
陈滋健
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2020/11/23
稳定度
温度系数
数模转换器
程序控制
数据采集
基于STIL的测试向量转换模型及其实现
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 1
作者:
韩银和
;
王飞
;
李晓维
;
吴明行
;
胡瑜
  |  
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2010/11/22
测试向量
转换模型
测试程序
标准测试接口语言
UML活动图的时序逻辑语义
期刊论文
OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳
;
唐稚松
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/28
UML
活动图
形式化语义
时序逻辑
XYZ/E
活动图
线性时序逻辑语言
逻辑语义
UML Activity Diagrams
形式化
系统行为
语义转换
行为建模
描述系统
逻辑框架
动态行为
图结构
控制流
可表示
程序性
基础
利用打印驱动程序生成SVG文件
期刊论文
OAI收割
计算机工程与设计, 2004, 卷号: 25, 期号: 10
张国锋
;
孙庚
;
范植华
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2010/08/20
SVG
打印机驱动程序
格式转换
Windows2000
UNITY与典型程序设计模型的比较
期刊论文
OAI收割
计算机工程与应用, 2003, 卷号: 39, 期号: 32, 页码: 52-54,104
肖美华
;
薛锦云
;
化志章
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/07/29
程序设计模型
UNITY
形式语义
程序转换
Seuss
程序转换
证明系统
设计模型
结构模式
计算模型
程序映射
新策略
命令式
逻辑式
计算机
函数式
规则式
体系
能力
理论
基础
机理
交互系统及其基于XYZ/E的规范与逐步求精
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998
郑小立
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/03/17
交互
算法
输入
输出
状态转换
交互对象
交互程序设计语言Li
开放系统
封闭系统
时间
人机交互
时序逻辑
不变式
XYZ系统
规范
验证
逐步求精
再论银道坐标系的定义
期刊论文
OAI收割
陕西天文台台刊, 1990, 期号: 1, 页码: 26-29
刘次沅
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2012/07/10
银道坐标系:8313
参数定义:3399
转换公式:2077
计算机语言程序:1983
天球坐标系:1610
天文台:1557
位置角:1402
自由度:1214
赤道坐标系:1204
精度:1080