中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

北京大学 [5]

兰州理工大学 [3]

长春应用化学研究所 [3]

清华大学 [2]

西安交通大学 [2]

数学与系统科学研究院 [2]

内容类型

期刊论文 [19]

会议论文 [2]

学位论文 [1]

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共23条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets 期刊论文 International Journal of Systems Science, 2020, 卷号: 51, 期号: 5, 页码: 771-785 作者: Shaoyong, Li; Chunrun, Zhao 收藏 \| 浏览/下载：2/0 \| 提交时间：2022/02/17 Flexible manufacturing systems Linear programming Control place Controlled system Deadlock marking Deadlock prevention policy Linear programming problem Number of state Reachability graphs Sequence number
	Deadlock control policy using control transitions for flexible manufacturing systems 期刊论文 Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2019, 卷号: 36, 期号: 5, 页码: 795-802 作者: Li, Shao-Yong; Sun, Zhi-Dong; Cai, Ying; Hou, Cai-Qin; Han, Xi-Lian 收藏 \| 浏览/下载：2/0 \| 提交时间：2020/11/14 Petri nets Control place Controlled system Deadlock control policy Deadlock marking Deadlock prevention policy Maximally reachable number (MRN) Reachability graphs
	An efficient deadlock recovery policy for flexible manufacturing systems modeled with petri nets 期刊论文 IEEE Access, 2019, 卷号: 7, 页码: 11785-11795 作者: Dong, Yunyun; Chen, Yufeng; Li, Shaoyong; El-Meligy, Mohammed A.; Sharaf, Mohamed 收藏 \| 浏览/下载：8/0 \| 提交时间：2020/11/14 Flexible manufacturing systems Iterative methods Petri nets Control place deadlock Deadlock control policy Deadlock marking Deadlock problems Deadlock recovery Iteration step Reachability graphs
	Java Software for Petri-Net-Based Approaches to Discrete Event Systems 会议论文作者: Wang, Xiaojun; Han, Chun; Hu, Hesuan 收藏 \| 浏览/下载：9/0 \| 提交时间：2019/11/19 Graphical interface Inequality analysis Java language Minimal siphons Reachability graphs Search Algorithms Simulation platform Software platforms
	Modified Dynamic Programming Algorithm for Optimization of Total Energy Consumption in Flexible Manufacturing Systems 期刊论文 IEEE Transactions on Automation Science and Engineering, 2018 作者: Li, Xiaoling; Xing, Keyi; Zhou, MengChu; Wang, Xinnian; Wu, Yunchao 收藏 \| 浏览/下载：4/0 \| 提交时间：2019/11/26 Dynamic programming algorithm Energy consumption rates Evaluation function Heuristic functions Reachability graphs Scheduling problem Total energy consumption Transition sequences
	STAMP-based hazard analysis for computer-controlled systems using petri nets 期刊论文 International Journal of Performability Engineering, 2018, 卷号: 14, 页码: 1997-2007 作者: Zhu, D.; Yao, S.; Xu, C. 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/12/30 Accidents Hazards Petri nets Stamping Causality modeling Computer-controlled systems Extended Petri net Hazard analysis Process Modeling Reachability graphs STAMP-based hazard analysis System safety Process control
	Reachability in Fuzzy Game Graphs 期刊论文 IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017 Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Dechao 收藏 \| 浏览/下载：6/0 \| 提交时间：2017/12/03 Fuzzy automaton fuzzy logic fuzzy transition system (FTS) game graph reachability DISCRETE-EVENT SYSTEMS COMPUTATION TREE LOGIC OMEGA-REGULAR GAMES MODEL CHECKING TRANSITION-SYSTEMS SUPERVISORY CONTROL FINITE AUTOMATA MOBILE ROBOT APPROXIMATION SIMULATION
	基于完全有限前缀的过程实例表示图的分解期刊论文 2016, 2016 宋亮; 闻立杰; 王建民; 刘国平; 刘廷龙; 杨剑勇; SONG Liang; WEN Lijie; WANG Jianmin; LIU Guoping; LIU Tinglong; YANG Jianyong 收藏 \| 浏览/下载：9/0
	Efficient Graph Similarity Search Over Large Graph Databases 期刊论文 ieee知识与数据工程汇刊, 2015 Zheng, Weiguo; Zou, Lei; Lian, Xiang; Wang, Dong; Zhao, Dongyan 收藏 \| 浏览/下载：8/0 \| 提交时间：2015/11/10 Graph edit distance lower bound graph database graph similarity search EDIT DISTANCE COMMON SUBGRAPH ALGORITHM QUERIES REACHABILITY ISOMORPHISM JOINS TOOL
	Efficient processing of label-constraint reachability queries in large graphs 期刊论文 information systems, 2014 Zou, Lei; Xu, Kun; Yu, Jeffrey Xu; Chen, Lei; Xiao, Yanghua; Zhao, Dongyan 收藏 \| 浏览/下载：3/0 \| 提交时间：2015/11/10 Graph database Reachability query

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace