中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [11]
新疆理化技术研究所 [2]
沈阳自动化研究所 [2]
采集方式
OAI收割 [15]
内容类型
期刊论文 [10]
学位论文 [5]
发表日期
2021 [2]
2015 [1]
2013 [1]
2010 [1]
2008 [2]
2007 [1]
更多
学科主题
机械制造自动化 [1]
计算机软件::软件工... [1]
筛选
浏览/检索结果:
共15条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
物联网系统时间自动机建模的研究与应用
期刊论文
OAI收割
计算机应用与软件, 2021, 卷号: 38, 期号: 6, 页码: 84-93
作者:
陈光1,2,3,4
;
蒋同海1,5
;
王蒙1,3,4
;
唐新余1,3,4
;
季文飞1,2,3,4
  |  
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2021/06/24
时间自动机
建模
自动机理论
建模工具
建模方法
UPPAAL
模型检测
自定义SWRL知识图谱推理补全插件的实现
期刊论文
OAI收割
计算机工程与应用, 2021, 卷号: 57, 期号: 1, 页码: 261-270
作者:
陈光1,2,3,4
;
蒋同海1,3
;
王蒙1,4
;
唐新余1,4
;
季文飞1,2,4
  |  
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2021/01/28
知识图谱
知识补全
推理
SWRL语言
Protégé知识建模型工具
Pellet推理机
自定义插件
基于体系结构的网构软件建模研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2015
王健
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2015/06/04
软件体系结构
网构软件
建模工具
面向服务的体系结构
面向银行业的交互式审计建模工具的设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2013
梁汨
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2013/05/31
交互式
审计建模工具
类自然语言建模
图形化建模
InCoME软件成本估算工具
期刊论文
OAI收割
计算机工程与设计, 2010, 卷号: 31, 期号: 23, 页码: 5015-5018,5047
李效云
;
杨达
;
叶凯
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/05/23
软件成本估算
成本估算工具
InCoME
因子剪裁
支持建模
BPMN到BPEL2.0的模型转换方法
期刊论文
OAI收割
计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3363-3366
魏明
;
夏永霖
;
魏峻
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/06/10
业务流程管理
模型转换
业务流程建模符号
业务流程执行语言
模型
中国科学院
组件
转换方法
支持
实际运用
软件
建模工具
规范标准
工程中心
错误处理
研究所
可用性
语义
特性
适用
事务
设计
扩展
检验
基于笔的儿童故事角色建模工具的设计与实现
期刊论文
OAI收割
计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3391
李洁
;
王丹力
;
戴国忠
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2010/06/01
儿童讲故事
三维角色建模
笔式交互
草图建模工具
面向WS-BPEL的服务组合建模工具设计与实现
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2007
陈剑辉
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2011/03/17
BPMN
BPEL
服务组合
模型转换
建模工具
交通施工企业成本管理系统的研究与实现
期刊论文
OAI收割
制造业自动化, 2005, 卷号: 27, 期号: S, 页码: 204-208
作者:
顾雷
;
张毅
;
于莉莉
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2010/11/29
成本分析
成本估算
建模工具
基于SPIN/Promela的并发系统验证
期刊论文
OAI收割
计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208
肖美华
;
薛锦云
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/07/29
模型检测
并发系统
软件可靠性
SPIN/Promela
形式化验证
并发系统
逻辑一致性
计算机科学
安全性分析
验证技术
验证工具
研究领域
数据结构
软件系统
建模语言
基本算法
工作机理
分析验证
运用
应用
通道
输出
设计
模型