中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [13]
计算技术研究所 [3]
地理科学与资源研究所 [2]
沈阳自动化研究所 [2]
金属研究所 [1]
合肥物质科学研究院 [1]
更多
采集方式
OAI收割 [22]
内容类型
期刊论文 [12]
学位论文 [7]
中文期刊论文 [2]
会议论文 [1]
发表日期
2023 [1]
2018 [1]
2012 [1]
2008 [3]
2006 [2]
2005 [1]
更多
学科主题
筛选
浏览/检索结果:
共22条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
2型糖尿病患者周围神经病变预测模型的构建
期刊论文
OAI收割
护理学杂志, 2023, 卷号: 38
作者:
李梦圆
;
马学娅
;
张小玉
;
孙婷
;
李素梅
  |  
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2024/11/20
type 2 diabetes mellitus
diabetic peripheral neuropathy
clinical examination with 5 methods
nerve conduction study
vibration perception threshold
local thermal hyperemia
nomogram
prediction model
2型糖尿病
糖尿病周围神经病变
临床5项筛查
神经传导检查
震动感觉阈值
局部热充血
列线图
预测模型
软式内镜操控机器人YunSRobot在人体胃镜检查中的初步应用
期刊论文
OAI收割
中华医学杂志, 2018, 卷号: 98, 期号: 48, 页码: 3963-3968
作者:
王重阳
;
周圆圆
;
张旭
;
史以超
;
张修礼
  |  
收藏
  |  
浏览/下载:184/0
  |  
提交时间:2019/03/30
软式内镜操控机器人
YunSRobot
上消化道内镜检查
上消化道内镜仿真模型
RCSM:多主体系统中的可靠关键子系统模型
期刊论文
OAI收割
高技术通讯, 2012, 卷号: 22.0, 期号: 007, 页码: 689
作者:
张冬蕾
;
史忠植
;
王鹏
;
赵亮
  |  
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2023/12/04
多主体系统(MAS)
可靠性模型
关键子系统
检查点
复制技术
基于多重索引模型的大规模词典近似匹配算法
期刊论文
OAI收割
计算机研究与发展, 2008, 期号: 第10期, 页码: 1776~1781页
作者:
许洪波
;
黄玉兰
;
龚才春
;
白 硕
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2010/10/13
模式匹配
近似匹配
多重索引模型
大规模词典
拼写检查
土地利用数据质量检查方法研究与实现
中文期刊论文
OAI收割
2008
作者:
诸云强
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2012/05/15
土地利用数据
质量检查
评价模型
数据错误处理
基于多重索引模型的大规模词典近似匹配算法
期刊论文
OAI收割
计算机研究与发展, 2008, 卷号: 45.0, 期号: 010, 页码: 1776
作者:
龚才春
;
黄玉兰
;
许洪波
;
白硕
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2023/12/04
模式匹配
近似匹配
多重索引模型
大规模词典
拼写检查
形式化分析方法在OnceAS设计和实现中的应用
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2006
李彦
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/03/17
应用服务器
J2EE
模型检查
正确性
基于模型检查实现J2EE规范的实例研究
期刊论文
OAI收割
计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254
李彦
;
张文博
;
陈宁江
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/07/13
J2EE规范
模型检查
SPIN
基于模型
检查工具
规范要求
Model Checking
应用服务器
描述方式
设计方案
兼容性测试
形式化模型
分析与验证
自然语言
证明
使用模型
技术设计
规范描述
规范方法
多层应用
中科院
分布式
二义性
数字地形模型数据产品特点与评估分析
中文期刊论文
OAI收割
2005
李爽
;
姚静
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2012/05/23
数字高程模型
SRTM
全球变化
3D剖面法
检查点法
面向产品的综合式CAPP系统研究和应用
学位论文
OAI收割
硕士, 中国科学院沈阳自动化研究所: 中国科学院沈阳自动化研究所, 2004
王岩
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2012/08/29
综合式CAPP
面向产品
组件
规则检查
数字产品模型