中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [4]
计算技术研究所 [2]
新疆生态与地理研究所 [1]
自动化研究所 [1]
武汉岩土力学研究所 [1]
采集方式
OAI收割 [9]
内容类型
期刊论文 [9]
发表日期
2023 [1]
2015 [1]
2014 [1]
2010 [1]
2008 [1]
2007 [1]
更多
学科主题
筛选
浏览/检索结果:
共9条,第1-9条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于Petri网的组合设备建模与调度综述
期刊论文
OAI收割
自动化学报, 2023, 卷号: 49, 期号: 5, 页码: 929-948
作者:
袁凤连
;
黄波
;
王际鹏
;
潘春荣
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2024/05/09
晶圆制造
Petri网
组合设备
建模
调度
两条尼龙阻沙网不同组合间距的积沙量对比分析[J]
期刊论文
OAI收割
干旱区研究, 2015, 卷号: 2, 页码: 347-353
作者:
康向光
;
李生宇
;
马学喜
;
王海峰
;
雷加强
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2017/12/29
积沙量
组合间距
尼龙阻沙网
塔克拉玛干沙漠
Deposited
Sand
Mass
Intervals
Of
Combinated
Models
Nylon
Mesh
San
Barrier
Taklimakan
Desert
面向门级网表的VLSI三模冗余加固设计
期刊论文
OAI收割
计算机工程与科学, 2014, 卷号: 36.0, 期号: 012, 页码: 2355
作者:
徐冉冉
;
孟海波
;
桂小琰
;
申小伟
;
安述倩
  |  
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2023/12/04
可靠性
三模冗余
时序单元
组合逻辑
门级网表
基于有色Petri网的Web服务组合建模与分析
期刊论文
OAI收割
苏州大学学报(工科版), 2010, 卷号: 30, 期号: 4, 页码: 14-19
张侃
;
朱稷涵
;
张广泉
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/05/23
有色Petri网
Web服务组合
建模
可达性分析
松弛隔离性下的事务性网构应用并发控制研究
期刊论文
OAI收割
计算机科学与探索, 2008, 卷号: 2, 期号: 4
赵宗涛
;
丁晓宁
;
钟华
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2010/08/24
网构软件
服务组合
松弛隔离性
依赖
并发控制
internetware
servicecomposition
relaxedisolation
dependency
concurrencycontrol
Petri网共享P型子网合成及其在系统设计中的应用
期刊论文
OAI收割
系统仿真学报, 2007, 卷号: 19, 期号: 2, 页码: 355-360,404
夏传良
;
鞠彦兵
;
李盛恩
收藏
  |  
浏览/下载:92/7
  |  
提交时间:2011/07/01
Petri网
合成
系统设计
有界性
活性
共享库
子网合成
系统设计
应用
柔性制造系统
设计和分析
动态性质
网系统
系统合成
解决方案
充分条件
保持问题
有界性
组合
考察
活性
构成
朝川矿煤巷锚网索支护参数优化研究
期刊论文
OAI收割
采矿与安全工程学报, 2006, 期号: 01, 页码: 95-98
作者:
李化敏
;
蔡建德
;
韩和平
;
熊祖强
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2018/06/25
锚网索支护
松动圈
组合梁
补强作用
悬吊原则
基于颜色Petri网的Web服务组合建模及应用
期刊论文
OAI收割
计算机应用研究, 2006, 卷号: 23.0, 期号: 009, 页码: 149
作者:
李景霞
;
侯紫峰
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
Web服务
Web服务组合
Petri网
颜色Petri网
基于工作流网的实时协同系统模拟技术
期刊论文
OAI收割
计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481
杜玉越
;
蒋昌俊
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/07/29
逻辑Petri网
工作流
逻辑工作流网
实时协同系统
模拟与验证
逻辑工作流网
实时协同系统
状态空间爆炸问题
企业销售系统
模拟与分析
逻辑表达式
系统设计
模拟分析
继承问题
组合网
抑制弧
形式化
应用
输入
输出
人员
扩展
技术
概念Computer simulation
Formal logic
Petri nets
Real time systems
Specifications