中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [5]
地理科学与资源研究所 [1]
自动化研究所 [1]
沈阳自动化研究所 [1]
采集方式
OAI收割 [8]
内容类型
学位论文 [4]
期刊论文 [4]
发表日期
2022 [1]
2014 [1]
2010 [1]
2008 [1]
2004 [1]
2001 [1]
更多
学科主题
筛选
浏览/检索结果:
共8条,第1-8条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
气候变化背景下极端事件影响与综合风险定量评估
学位论文
OAI收割
中国科学院地理科学与资源研究所: 中国科学院地理科学与资源研究所, 2022
作者:
刘路路
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2023/08/18
单灾种
多灾种
并发事件
脆弱性
风险
基于事件结构的并发程序可视化调试方法
期刊论文
OAI收割
软件学报, 2014, 卷号: 25, 期号: 3, 页码: 457-471
伍晓泉
;
魏峻
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
可视化调试
并发程序
事件结构
配置结构
标记迁移系统
并发处理机制在MES平台优化中的应用研究
期刊论文
OAI收割
计算机应用与软件, 2010, 卷号: 27, 期号: 8, 页码: 7-8
作者:
史海波
;
林硕
;
吕希胜
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2012/05/29
制造执行系统(MES)
并发处理
多线程
事件
事件驱动的BPEL引擎架构设计与实现
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2008
南方
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/03/17
BPEL
Web服务
事件驱动并发
中间件
移动数据库广播的并发控制算法研究
期刊论文
OAI收割
计算机工程与应用, 2004, 卷号: 40, 期号: 9, 页码: 166-169
曾斌
;
徐帆江
;
李之棠
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/07/29
移动数据库
广播
并发控制
移动数据库
数据广播
并发控制
算法研究
Mobile Database
移动信息服务
数据库服务器
一致性问题
移动客户
移动计算
同步更新
数据一致
控制算法
接收数据
操作规则
更新数据
并发执行
性服务
无冲突
事件
Verilog语言形式化语义研究
期刊论文
OAI收割
软件学报, 2001, 卷号: 12, 期号: 10
李勇坚
;
孙永强
;
何积丰
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2010/08/26
混合系统
Verilog
区间时态逻辑
离散事件调度
交叠式并发语义
多点多媒体通信系统———MBFT协议及其实现
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1997
贺志军
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/03/17
多点
并发
同步
线程
消息
事件
对象
多媒体通信系统
离散事件动态系统的PN机理论与方法研究
学位论文
OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1995
作者:
蒋昌俊
收藏
  |  
浏览/下载:80/0
  |  
提交时间:2015/09/02
离散事件动态系统
Petri网
PN机
形式语言
并发行为
并发模型
discrete event dynamic system
Petri net
PN machine
formal language
concurrent babavior
concurrent model