Membrane Computing Models: Implementations
暫譯: 膜計算模型：實作

膜計算的理論基礎在2000年代初期建立，通過對計算能力、複雜性方面及其與其他（非）傳統計算範式之間關係的基本研究。儘管這一核心理論研究持續快速而有力地增長，但隨後又增加了一個研究領域，專注於該模型在許多領域的應用，最顯著的包括系統與合成生物學、工程優化、電力系統故障診斷以及移動機器人控制器設計。這些應用的進一步發展及其被其他研究者廣泛採用，以及膜計算建模範式擴展到其他應用的需求，呼籲一套穩健、高效、可靠且易於使用的工具，以支持最重要的膜計算模型。本書提供了這些工具的全面描述，使其成為對膜計算模型感興趣的任何人的寶貴資源。

Gexiang Zhang

Professor at School of Control Engineering at Chengdu University of Information Technology, Chengdu, China. The President of the International Membrane Computing Society (IMCS), IET Fellow, IEEE Senior Member. Managing Editor of Journal of Membrane Computing (Springer) and Editorial Board member of International Journal of Parallel, Emergent and Distributed Systems. He is the main investigator of 5 scientific research projects funded by National Natural Science Foundation of China and of more than 20 scientific research projects at the national and provincial levels. He is the winner of the Grigore Moisil Prize of the Romanian Academy in 2019 and was awarded Sichuan Provincial Natural Science Award or Science and Technology Progress Awards in three consecutive years 2017-2019. Research areas include membrane computing, artificial intelligence, robotics, power systems, and their interactions. Author/co-author of more than 200 publications, two monographs, and (lead) guest editor/co-editor of more than 10 volumes/proceedings. He has more than 3800 citations with an H index of 34, according to Google Scholar.

Mario J. Pérez-Jiménez

Full Professor at the Department of Computer Science and Artificial Intelligence at Universidad de Sevilla, Spain, since 2009, and currently Emeritus Professor. From 2005 to 2007 he was a Guest Professor of the Huazhong University of Science and Technology, Wuhan, China. He is a numerary member of the Academia Europaea (The Academy of Europe) in the Section of Informatics. His main research interests include theory of computation, computational complexity theory, natural computing (DNA computing and membrane computing), bioinformatics and computational modelling for complex systems. He has published 19 books in computer science and mathematics, and over 300 scientific papers in international journals (collaborating with researchers worldwide) and he is a member of the Editorial Board of six ISI journals. He has been the first scientist awarded with "Important Contributions to Membrane Computing" under the auspices of the European Molecular Computing Consortium, Edinburgh, 2008. In 2014, he received the University of Sevilla's FAMA award for his outstanding research career. He has been the main researcher in various European, Asian, Spanish and Andalusian research grants. From 2003 he is an expert reviewer of the Prospective and Evaluation National Agency of Spain. From May 2006 he is an European Science Foundation peer reviewer, from July 2008 he is an expert reviewer from the Romanian National University Research Council and from October 2015 he is an international expert from the Russian Science Foundation, invited by the Russian International Affairs Council.

Agustín Riscos-Nuñez

Associate professor at the Department of Computer Science and Artificial Intelligence, guarantor researcher at the Smart Computer systems Research and Engineering Lab (SCORE), head of the Research Group on Natural Computing, founding member and Secretary of the Research Institute of Computer Engineering (I3US) at Universidad de Sevilla, Spain. Member of the Steering committee and the Program committee of the "International Conference on Membrane Computing" and the "Asian Conference on Membrane Computing". Founding member of the "International Membrane Computing Society (IMCS)", IEEE Member.

His main areas of expertise are bio-inspired computing and artificial intelligence. His research interests mainly focus in computational modelling of complex systems and population dynamics, as well as other practical applications in the fields of bioinformatics, biomedicine, high performance computing and robotics. Co-author of more than 30 papers on relevant international journals and several book chapters, more than 30 contributions to international conferences (several times as invited speaker), and co-editor for more than 10 volumes/proceedings.

Sergey Verlan

Associate Professor at the Department of Computer Science at the University of Paris Est Créteil, France, member of the International Conference on Membrane Computing steering committee, and member of the International Membrane Computing Society (IMCS). His research interests cover several topics, including membrane computing, natural/DNA computing, unconventional computing, formal language theory, study of complex dynamic systems, FPGA digital circuit design and applications in biological modeling and robotics. He has more than 100 publications, including 6 edited volumes of conference proceedings and special issues and more than 1400 citations, according to Google Scholar.

Savas Konur

Reader in Computer Science at University of Bradford. A committee member of IMCS, fellow of UK HEA, IEEE Member, and an Editor of Journal of Membrane Computing. His research interests cover computational modelling, formal verification, data-driven modelling and analysis, stochastic simulations and high-performance computing with applications to membrane computing, systems and synthetic biology, safety-critical systems and real-time systems. He has published in numerous prestigious journals as well as many leading conferences. He has led a number of research projects (funded by EPSRC, Innovate UK and Access Innovation), requiring a wide range of interdisciplinary collaborations. He has a strong track record on software platform development for engineering and life science research.

Thomas Hinze

Marian Gheorghe

Professor and 50th Anniversary Chair in Computational Models and Software Engineering at the University of Bradford, UK, Head of the Department of Computer Science (2018-2020) and Director of Research of the School of Electrical Engineering and Computer Science (2016-2018). His research interests cover of broad spectrum of topics, including membrane computing, various computational models, formal verification and testing, simulation based on agent systems, applications to systems and synthetic biology, software engineering, high performance computing. He has more that 100 papers featured by DPLP, with an H index of 30 and more than 3800 citations, according to Google Scholar.

**張革翔**
中國成都信息工程大學控制工程學院教授。國際膜計算學會（IMCS）會長，IET Fellow，IEEE 高級會員。《膜計算期刊》（Springer）主編及《國際平行、突現與分散系統期刊》編輯委員會成員。他是五個由中國國家自然科學基金資助的科學研究項目的主要研究者，以及二十多個國家和省級的科學研究項目負責人。他於2019年獲得羅馬尼亞科學院的Grigore Moisil獎，並在2017至2019年連續三年獲得四川省自然科學獎或科技進步獎。研究領域包括膜計算、人工智慧、機器人技術、電力系統及其相互作用。他是200多篇出版物的作者或合著者，兩本專著的作者，以及超過10本會議論文集的（主）客座編輯/共同編輯。根據Google Scholar，他的引用次數超過3800次，H指數為34。

**馬里奧·J·佩雷斯-希門茲**
自2009年以來擔任西班牙塞維利亞大學計算機科學與人工智慧系的全職教授，目前為名譽教授。2005年至2007年，他曾擔任中國武漢華中科技大學的客座教授。他是歐洲學院（Academia Europaea）資訊學部的正式成員。他的主要研究興趣包括計算理論、計算複雜性理論、自然計算（DNA計算和膜計算）、生物資訊學及複雜系統的計算建模。他在計算機科學和數學領域出版了19本書籍，並在國際期刊上發表了300多篇科學論文（與全球研究人員合作），同時是六本ISI期刊的編輯委員會成員。他是2008年在愛丁堡的歐洲分子計算聯盟下首位獲得“對膜計算的重要貢獻”獎的科學家。2014年，他因其卓越的研究生涯獲得塞維利亞大學的FAMA獎。他曾是多個歐洲、亞洲、西班牙和安達盧西亞研究資助的主要研究者。自2003年以來，他是西班牙前瞻性與評估國家機構的專家審稿人。自2006年5月以來，他是歐洲科學基金會的同行評審，自2008年7月以來，他是羅馬尼亞國家大學研究委員會的專家審稿人，自2015年10月以來，他是受俄羅斯國際事務委員會邀請的俄羅斯科學基金會的國際專家。

**阿古斯丁·里斯科斯-努涅斯**
西班牙塞維利亞大學計算機科學與人工智慧系的副教授，智能計算系統研究與工程實驗室（SCORE）的保證研究者，自然計算研究小組負責人，計算機工程研究所（I3US）的創始成員及秘書。國際膜計算會議和亞洲膜計算會議的指導委員會及程序委員會成員。國際膜計算學會（IMCS）的創始成員，IEEE會員。
他的主要專業領域是生物啟發計算和人工智慧。他的研究興趣主要集中在複雜系統和種群動態的計算建模，以及在生物資訊學、生物醫學、高性能計算和機器人技術等領域的其他實際應用。是30多篇國際期刊上相關論文的共同作者，以及幾個書籍章節的作者，參加了30多個國際會議（多次擔任邀請演講者），並擔任超過10本會議論文集的共同編輯。

**謝爾蓋·維爾蘭**
法國巴黎東大學計算機科學系的副教授，國際膜計算會議指導委員會成員，國際膜計算學會（IMCS）成員。他的研究興趣涵蓋多個主題，包括膜計算、自然/DNA計算、非常規計算、形式語言理論、複雜動態系統的研究、FPGA數位電路設計及其在生物建模和機器人技術中的應用。根據Google Scholar，他有超過100篇出版物，包括6本會議論文集和特刊，引用次數超過1400次。

**薩瓦斯·科努爾**
布拉德福德大學計算機科學講師，IMCS委員會成員，英國高等教育學會（UK HEA）會員，IEEE會員，以及《膜計算期刊》的編輯。他的研究興趣涵蓋計算建模、形式驗證、數據驅動建模與分析、隨機模擬及高性能計算，並應用於膜計算、系統與合成生物學、安全關鍵系統及實時系統。他在多個著名期刊及多個領先會議上發表過文章。他主導了多個研究項目（由EPSRC、Innovate UK和Access Innovation資助），需要廣泛的跨學科合作。他在工程和生命科學研究的軟體平台開發方面有著良好的記錄。

**托馬斯·欣策**
德國耶拿弗里德里希·席勒大學生物資訊學系副教授，高級講師及自然計算小組負責人，膜計算指導委員會成員及國際膜計算學會（IMCS）成員。他的研究興趣涵蓋生物信息處理的原則，包括進化、膜、分子、神經計算及人工生命，並結合系統生物學和生物資訊學的各個方面。他的科學出版物記錄包括約90篇作為作者或合著者的貢獻，包括兩項專利、兩本教科書和六本會議論文集的編輯。

**瑪莉安·喬治**
英國布拉德福德大學計算模型與軟體工程50週年講座教授，計算機科學系主任（2018-2020）及電氣工程與計算機科學學院研究主任（2016-2018）。他的研究興趣涵蓋廣泛的主題，包括膜計算、各種計算模型、形式驗證與測試、基於代理系統的模擬、系統與合成生物學的應用、軟體工程及高性能計算。根據Google Scholar，他的論文數量超過100篇，H指數為30，引用次數超過3800次。