期刊文献+

并行计算的Petri网建模和FPGA实现 被引量:4

Petri net modeling and FPGA implementation of parallel computing
下载PDF
导出
摘要 在分析现有Petri网建模及其FPGA实现方法的基础上,首先探讨了并行计算的Petri网建模方法,将并行计算任务分解成多个并行处理单元,用IOPT网为系统进行建模;然后提出了构造监控层和算法层的双层结构以实现模型到FPGA实现的具体映射,有效解决了Petri网模型中变迁只能表示简单加减运算的问题。通过矩阵乘法的应用示例,表明了上述方法的正确性和通用性。最后提出了进一步的研究方向。 In the analysis of existing methods of Petri net modeling and FPGA implementation of the models, this paper firstly discussed the Petri net modeling of parallel computing. This method included decomposing the parallel computing task into mul- tiple parallel processing units, and modeling the system by using IOPT net. Then it proposed the double layer structure, which contained monitoring layer and of algorithm layer, in order to map the Petri net model to FPGA implementation. This implemen- tation method was an effective solution to the problem that transitions of Petri nets model could only represent the simple addi- tion and subtraction operations. A matrix muhiplication application shows that the above methods are correct and generic. Fi- nally,it gave further research directions.
作者 万军 赵不贿
出处 《计算机应用研究》 CSCD 北大核心 2013年第9期2660-2663,共4页 Application Research of Computers
基金 国家自然科学基金资助项目(61070058) 江苏高校优势学科建设工程资助项目(苏政办发〔2011〕6号)
关键词 并行计算 PETRI网 建模 FPGA parallel computing Petri net modeling FPGA
  • 相关文献

参考文献11

  • 1陈国良,孙广中,徐云,龙柏.并行计算的一体化研究现状与发展趋势[J].科学通报,2009,54(8):1043-1049. 被引量:96
  • 2CHANG N, KWON W H. FPGA-based implementation of synchronous Petri nets[ C ]//Proc of the 22nd IEEE International Conference on Industrial Electronics, Control, and Instrumentation. [ S. 1. ] : IEEE Press, 1996:469-474.
  • 3UZAM M, KOC I B, GELEN G, et al. Asynchronous implementation of discrete event controllers based on safe automation Petri nets [ J]. in- ternational Journal of Advanced Manufacturing Technology, 2009,41 (5-6) :595-612. .
  • 4BUKOWIEC A, ADAMSKI M. Synthesis of Petri nets into FPGA with operation flexible memories [ C ]//Proc of the 15th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Sys- tems. Piscataway: IEEE Computer Society,2012 : 16- 21.
  • 5WAGNER F, MUNCH P, LIU S,et al. Development process for de- pendable high-performance controllers using Petri nets and FPGA technology[ C ]//Proc of the 1 st IFAC Workshop on Dependable Con- trol of Discrete Systems. 2007 : 139-144.
  • 6KUBTOV/. H. Direct implementation of Petri net based model in FP- GA[ C ]//Proc of International Workshop on Discrete-Event System Design. Zielona Gora : Univm ity of Zielona Gora,2004:31 - 36.
  • 7GOMES L, COSTA A, BARROS J P, et al. From Petri net models to VHDL implementation of digital controllers [ C ]//Proc of the 33rd Annual Conference of the IEEE Industrial Electronics Society. Pisca- taway : IEEE Computer Society ,2007:94-99.
  • 8赵不贿,景亮,严仰光.Petri网的硬件实现[J].软件学报,2002,13(8):1652-1657. 被引量:18
  • 9赵不贿,严仰光,陆继远,唐平.控制电路基于Petri网元件的图形化设计与仿真研究[J].电路与系统学报,2005,10(5):54-58. 被引量:4
  • 10COMES L, BARROS J P, COSTA A,et al. The input-output place- transition Petri net class and associated tools[ C ]//Proc of the 5th IEEE International Conference on Industrial Informatics. Piscataway: IEEE Computer Society,2007:509- 514.

二级参考文献44

  • 1陈国良,梁维发,沈鸿.并行图论算法研究进展[J].计算机研究与发展,1995,32(9):1-16. 被引量:13
  • 2Chen G L, Sun G Z, Zhang Y Q, et al. Study on parallel computing. J Comput Sci Tech, 2006.21(5): 665--673.
  • 3Grama A, Gupta A, Karypis G, et al. Introduction to parallel computing. Boston: Benjaming/Cummings Publish Company, Inc., 2003.
  • 4Chen G L. A partitioning selection algorithm on multiprocessors. J Comput Sci Tech, 1988, 3(4): 241--250.
  • 5Zhang F, Chen G L, Zhang Z Q. OpenMP on Networks of Workstations for Software DSMs. J Comput Sci Tech, 2002, 17(1): 90--100.
  • 6Sutter H, Larus J. Software and the concurrency revolution. Q focus: Multiprocessors, 2005, 3(7): 54--62.
  • 7Rajkumar B, Chee S Y, Srikumar V. Market-oriented cloud computing: Vision, hype, and reality for delivering IT services as computing utilities. In: Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008 Sept 25-27, Dalian. Los Alamitos, CA: IEEE CS Press, 2008. 15--22.
  • 8Asanovic K, Bodik R, James J, et al. The landscape of parallel computing research: A view from Berkeley. Technical Report, Electrical Engineering and Computer Sciences, University of California, Berkeley. 2006.
  • 9Zhang Y Q, Chen G L, Sun G Z, et al. Models of parallel computation: a survey and classification. Front Comput Sci China, 2007, 1(2): 156--165.
  • 10Sun X H. Scalable computing in the multicore era. In: Proceedings of the Inaugural Symposium on Parallel Algorithms, Architechures and Programming, 2008 8ep 16-18, Hefei. Hefei: University of Science and Technology of China Press, 2008. 1--18.

共引文献115

同被引文献31

  • 1杜天艳,唐平.Petri网的一种硬件实现方法[J].江苏大学学报(自然科学版),2004,25(5):441-444. 被引量:8
  • 2Bruce Hendrickson,Tamara G Kolda.Graph partitioning models for parallel computing[J].Parallel Computing.2000(12)
  • 3Grand Roman Joldes,Adam Wittek,Karol Miller.Real-time nonlinear finite element computations on GPU — Application to neurosurgical simulation[J].Computer Methods in Applied Mechanics and Engineering.2010
  • 4Wi-Fi Alliance. Wi-Fi protected setup specification version 1.0 [ S ]. 2007.
  • 5VIEHBOCK S. Brute forcing Wi-Fi protected setup[ EB/OL]. (2011- 12-26) [ 2013-02-01 ]. http://sviehb, files, wordpress, corn/2011/ 12/viehboeck_wps. pdf.
  • 6HWANG H,JUNG G,SOHN K,et al. A study on MITM(man in the middle) vulnerability in wireless network using 802. lx and EAP [C]//Proc of International Conference on Information Science and Security. [ S. h ] : IEEE Press,2008 : 164-170.
  • 7ZISIADIS D, KOPSIDAS S, VARALIS A, et al. Enhancing WPS secu- rity[ C]//Proc of IFIP International Conference on Wireless Days. [ S. 1. ] : IEEE Press,2012 : 1 - 3.
  • 8BROWN A, MORTIER R, RODDEN T. MultiNet : usable and secure WiFi device association[ J ]. ACM SIGCOMM Computer Commu- nication Review,2012,42(4) :275-276.
  • 9Me Culloch W S, Pitts W. A logical calculus of the i- deas immanent in nervous activity [J]. Bulletin of Mathematical Biophsics, 1943(5) : 115-137.
  • 10Marcos Vicente Moreira, Joao Carlos Basilio. Bridging the gap between design and implementation of discrete- event controllers[J]. IEEE Transactions on Automa- tion and Engineering, 2014,11(1) :48-65.

引证文献4

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部