期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
DEADLOCK-FREE SCHEDULING METHOD BASED ON PETRI NET AND GA 被引量:1
1
作者 Xu Gang Wu ZhimingSchool of Automation,Shanghai Jiaotong University,Shanghai 200030, China 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2003年第4期371-375,共5页
An efficient algorithm for finding an optimal deadlock-free schedule in amanufacturing system with very limited buffer is presented. This algorithm is based on the effectivegenetic algorithm (GA) search method, and a ... An efficient algorithm for finding an optimal deadlock-free schedule in amanufacturing system with very limited buffer is presented. This algorithm is based on the effectivegenetic algorithm (GA) search method, and a formal Petri net structure is introduced to detect thetoken player assuring deadlock-free. In order to make the scheduling strategy generated by GA meetthe required constraint of deadlock-free, Petri net is involved to make the implementation of thejob scheduling in an FMS deadlock-free. The effectiveness and efficiency of the proposed approach isillustrated by using an example. 展开更多
关键词 GA Petri net deadlock-free scheduling
下载PDF
基于动作细化的握手扩展
2
作者 杨昕梅 孙秀莉 李绍荣 《电子科技大学学报》 EI CAS CSCD 北大核心 2011年第3期406-410,共5页
基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型。该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化... 基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型。该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化系统的正确性以及无死锁行为。构建的最大化并发模型,能有效地处理并发信息的综合和验证。 展开更多
关键词 并发系统 无死锁 握手扩展 真并发模型 等待事件结构
下载PDF
X-Hamiltonian Surface Broadcast Algorithm
3
作者 Amnah El-Obaid 《International Journal of Communications, Network and System Sciences》 2016年第6期269-279,共11页
Broadcast is one of the most important approach in distributed memory parallel computers that is used to find a routing approach from one source to all nodes in the mesh. Broadcasting is a data communication task in w... Broadcast is one of the most important approach in distributed memory parallel computers that is used to find a routing approach from one source to all nodes in the mesh. Broadcasting is a data communication task in which corresponds to one-to-all communication. Routing schema is the approach used to determine the road that is used to send a message from a source node to destination nodes. In this paper, we propose an efficient algorithm for broadcasting on an all-port wormhole-routed 3D mesh with arbitrary size. Wormhole routing is a fundamental routing mechanism in modern parallel computers which is characterized with low communication latency. We show how to apply this approach to 3-D meshes. In wormhole, routing large network packets are broken into small pieces called FLITs (flow control digits). The destination address is kept in the first flit which is called the header flit and sets up the routing behavior for all subsequent flits associated with the packet. In this paper, we introduce an efficient algorithm, X-Hamiltonian Surface Broadcast (X-HSB) which uses broadcast communication facility with deadlock-free wormhole routing in general three dimensional networks. In this paper, the behaviors of this algorithm are compared to the previous results using simulation;our paradigm reduces broadcast latency and is simpler. The results presented in this paper indicate the advantage of our proposed algorithm. 展开更多
关键词 Broadcasting Communication Wormhole Routing Hamiltonian Model 3-D Mesh deadlock-freE
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部