Maoguo Gong · Linqiang Pan Tao Song · Gexiang Zhang (Eds.) Communications in Computer and Information Science 681 Bio-inspired Computing – Theories and Applications 11th International Conference, BIC-TA 2016 Xi'an, China, October 28–30, 2016 Revised Selected Papers, Part I 123 Communications in Computer and Information Science 681 Commenced Publication in 2007 Founding and Former Series Editors: Alfredo Cuzzocrea, Dominik Ślęzak, and Xiaokang Yang Editorial Board Simone Diniz Junqueira Barbosa Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil Phoebe Chen La Trobe University, Melbourne, Australia Xiaoyong Du Renmin University of China, Beijing, China Joaquim Filipe Polytechnic Institute of Setúbal, Setúbal, Portugal Orhun Kara TÜBİTAK BİLGEM and Middle East Technical University, Ankara, Turkey Igor Kotenko St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences, St. Petersburg, Russia Ting Liu Harbin Institute of Technology (HIT), Harbin, China Krishna M. Sivalingam Indian Institute of Technology Madras, Chennai, India Takashi Washio Osaka University, Osaka, Japan More information about this series at http://www.springer.com/series/7899 Maoguo Gong Linqiang Pan (cid:129) Tao Song Gexiang Zhang (Eds.) (cid:129) – Bio-inspired Computing Theories and Applications 11th International Conference, BIC-TA 2016 ’ – Xi an, China, October 28 30, 2016 Revised Selected Papers, Part I 123 Editors MaoguoGong TaoSong XidianUniversity ChinaUniversity of Petroleum Xi’an Qingdao China China LinqiangPan and HuazhongUniversity of Science Faculty of Engineering, Computing andTechnology andScience Wuhan Swinburne University of Technology China SarawakCampus Kuching Malaysia Gexiang Zhang Southwest JiaotongUniversity Chengdu China ISSN 1865-0929 ISSN 1865-0937 (electronic) Communications in Computer andInformation Science ISBN 978-981-10-3610-1 ISBN978-981-10-3611-8 (eBook) DOI 10.1007/978-981-10-3611-8 LibraryofCongressControlNumber:2016962020 ©SpringerNatureSingaporePteLtd.2016 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerNatureSingaporePteLtd. Theregisteredcompanyaddressis:152BeachRoad,#21-01/04GatewayEast,Singapore189721,Singapore Preface Bio-inspired computing is a field of study that abstracts computing ideas (data struc- tures, operations with data, ways to control operations, computing models, etc.) from living phenomena or biological systems such as evolution, cells, tissues, neural net- works, immune system, and ant colonies. Bio-Inspired Computing: Theories and Applications(BIC-TA)isaseriesofconferencesthataimstobringtogetherresearchers working in the main areas of natural computing inspired from biology, for presenting their recent results, exchanging ideas, and cooperating in a friendly framework. The conference has four main topics: evolutionary computing, neural computing, DNA computing, and membrane computing. Since 2006, the conference has taken place at Wuhan (2006), Zhengzhou (2007), Adelaide (2008), Beijing (2009), Liverpool and Changsha (2010), Penang (2011), Gwalior (2012), Anhui (2013), Wuhan (2014), and Anhui (2015). Following the success of previous editions, the 11th International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA 2016) was organized by Xidian University, during October 28–30, 2016. BIC-TA 2016 attracted a wide spectrum of interesting research papers on various aspects of bio-inspired computing with a diverse range of theories and applications. We received 343 submissions, of which 115 papers were selected for two volumes of Communications in Computer and Information Science. We gratefully thank Xidian University, Huazhong University of Science and Technology, and Northwestern Polytechnical University for extensive assistance in organizing theconference.We also thank Dr. JiaoShiandall other volunteers, whose efforts ensured the smooth running of the conference. The editors warmly thank the Program Committee members for their prompt and efficient support in reviewing the papers, and the authors of the submitted papers for their interesting papers. Special thanks are due to Springer for their skilled cooperation in the timely pro- duction of these volumes. October 2016 Maoguo Gong Linqiang Pan Tao Song Gexiang Zhang Organization Steering Committee Guangzhao Cui Zhengzhou University of Light Industry, China Kalyanmoy Deb Indian Institute of Technology Kanpur, India Miki Hirabayashi National Institute of Information and Communications Technology (NICT), Japan Joshua Knowles University of Manchester, UK Thom LaBean North Carolina State University, USA Jiuyong Li University of South Australia, Australia Kenli Li University of Hunan, China Giancarlo Mauri Università di Milano-Bicocca, Italy Yongli Mi Hong Kong University of Science and Technology, Hong Kong, SAR China Atulya K. Nagar Liverpool Hope University, UK Linqiang Pan Huazhong University of Science and Technology, China Gheorghe Păun Romanian Academy, Bucharest, Romania Mario J. Pérez-Jiménez University of Seville, Spain K.G. Subramanian Universiti Sains Malaysia, Malaysia Robinson Thamburaj Madras Christian College, India Jin Xu Peking University, China Hao Yan Arizona State University, USA Program Committee Rosni Abdullah, Malaysia Michael Chen, China Muhammad Abulaish, Saudi Arabia Tsung-Che Chiang, Taiwan, China Chang Wook Ahn, South Korea Sung-Bae Cho, South Korea Adel Al-Jumaily, Australia Kadian Davis, Jamaica Bahareh Asadi, Iran Sumithra Devi K.A., India Li He, USA Ciprian Dobre, Romania Eduard Babulak, European Commission, Amit Dutta, India Community Research Carlos Fernandez-Llatas, Spain and Development Information Pierluigi Frisco, UK Mehdi Bahrami, Iran Maoguo Gong, China (Chair) Soumya Banerjee, India Shan He, UK Jagdish Chand Bansal, India Jer Lang Hong, Malaysia Debnath Bhattacharyya, India Tzung-Pei Hong, Taiwan, China Monowar H. Bhuyan, India Wei-Chiang Hong, Taiwan, China Kavita Burse, India Mo Hongwei, China VIII Organization Sriman Narayana Iyengar, India Balwinder Raj, India Antonio J. Jara, Spain Balasubramanian Raman, India Sunil Kumar Jha, India Nur’ Aini Abdul Rashid, Malaysia Guoli Ji, China Mehul Raval, India Mohamed Rawidean Mohd Kassim, Rawya Rizk, Egypt Malaysia Thamburaj Robinson, India M. Ayoub Khan, India Samrat Sabat, India Razib Hayat Khan, Norway S.M. Sameer, India Joanna Kolodziej, Poland Rajesh Sanghvi, India Ashwani Kush, India Aradhana Saxena, India Shyam Lal, India Sonia Schulenburg, UK Kenli Li, China G. Shivaprasad, India Chun-Wei Lin, China K.K. Shukla, India Wenjian Luo, China Madhusudan Singh, South Korea Mario J. Pérez-Jiménez, Spain Pramod Kumar Singh, India Vittorio Maniezzo, Italy Ravindra Singh, India Francesco Marcelloni, Italy Sanjeev Singh, India Hasimah Mohamed, Malaysia Satvir Singh, India Chilukuri K. Mohan, USA Don Sofge, USA Abdulqader Mohsen, Malaysia Tao Song, China Holger Morgenstern, Germany Kumbakonam Govindarajan Andres Muñoz, Spain Subramanian, Malaysia G.R.S. Murthy, India Ponnuthurai Suganthan, Singapore Akila Muthuramalingam, India S.R. Thangiah, USA Atulya Nagar, UK Nikolaos Thomaidis, India Asoke Nath, India D.G. Thomas, India Linqiang Pan, China (Chair) Ravi Sankar Vadali, India Mrutyunjaya Panda, India Ibrahim Venkat, Malaysia Manjaree Pandit, India Sudhir Warier, India Gheorghe Păun, Romania Ram Yadav, USA Andrei Păun, USA Umi Kalsom Yusof, Malaysia Yoseba Penya, Spain Sotirios Ziavras, USA Ninan Sajeeth Philip, India Pan Zheng, Malaysia Hugo Proença, Portugal Sponsors Xidian University Huazhong University of Science and Technology Northwestern Polytechnical University Contents – Part I DNA Computing DNA Self-assembly Model to Solve Compound Logic Operators Problem. . . 3 Shihua Zhou, Bin Wang, Xuedong Zheng, and Changjun Zhou Model Checking Computational Tree Logic Using Sticker Automata. . . . . . . 12 Weijun Zhu, Yanfeng Wang, Qinglei Zhou, and Kai Nie Two-Digit Full Subtractor Logical Operation Based on DNA Strand Displacement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 JunweiSun,XingLi,ChunHuang,Guangzhao Cui,andYanfeng Wang One-Bit Full Adder-Full Subtractor Logical Operation Based on DNA Strand Displacement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 Yanfeng Wang, XingLi,ChunHuang,GuangzhaoCui,andJunwei Sun Logic Gate Based on Circular DNA Structure with Strand Displacement . . . . 39 Guangzhao Cui, Xi Wang, Xuncai Zhang, Ying Niu, and Hua Liu The Working Operation Problem Based on Probe Machine Model . . . . . . . . 47 Jing Yang and Zhixiang Yin Matrix Flat Splicing Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 Rodica Ceterchi, Linqiang Pan, Bosheng Song, and K.G. Subramanian A Universal Platform for Building DNA Logic Circuits. . . . . . . . . . . . . . . . 64 Zicheng Wang, Jian Ai, Yanfeng Wang, Guangzhao Cui, and Lina Yao Membrane Computing A Hybrid “Fast-Slow” Convergent Framework for Genetic Algorithm Inspired by Membrane Computing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 Zhongwei Li, Shengyu Xia, Yun Jiang, Beibei Sun, Yuezhen Xin, and Xun Wang An Image Threshold Segmentation Algorithm with Hybrid Evolutionary Mechanisms Based on Membrane Computing. . . . . . . . . . . . . . . . . . . . . . . 85 Shuo Liu, Kang Zhou, Shan Zeng, Huaqing Qi, and Tingfang Wu K-Medoids-Based Consensus Clustering Based on Cell-Like P Systems with Promoters and Inhibitors. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 Xiyu Liu, Yuzhen Zhao, and Wenxing Sun X Contents – Part I Fault Classification of Power Transmission Lines Using Fuzzy Reasoning Spiking Neural P Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109 Kang Huang, Gexiang Zhang, Xiaoguang Wei, Haina Rong, Yangyang He, and Tao Wang Membrane Algorithm with Genetic Operation and VRPTW-Based Public Optimization System. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118 Yingying Duan, Kang Zhou, Huaqing Qi, and Zhiqiang Zhang An Immune Algorithm Based on P System for Classification. . . . . . . . . . . . 133 Lian Ye and Ping Guo SimulationofFuzzyACSHonMembraneswithMichaelis-MentenKinetics ... 142 J. Philomenal Karoline, P. Helen Chandra, S.M. Saroja Theerdus Kalavathy, and A. Mary Imelda Jayaseeli A Family P System of Realizing RSA Algorithm . . . . . . . . . . . . . . . . . . . . 155 Ping Guo and Wei Xu A General Object-Oriented Description for Membrane Computing. . . . . . . . . 168 Xiyu Liu, Yuzhen Zhao, and Wenping Wang Matrix Representation of Parallel Computation for Spiking Neural P Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187 Juan Hu, Guangchun Chen, Hong Peng, Jun Wang, Xiangnian Huang, and Xiaohui Luo The Computational Power of Array P System with Mate Operation. . . . . . . . 200 P. Helen Chandra, S.M. Saroja T. Kalavathy, and M. Nithya Kalyani The Computational Power of Watson-Crick Grammars: Revisited. . . . . . . . . 215 Nurul Liyana Mohamad Zulkufli, Sherzod Turaev, Mohd Izzuddin Mohd Tamrin, and Azeddine Messikh An Improvement of Small Universal Spiking Neural P Systems with Anti-Spikes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 226 Shuo Liu, Kang Zhou, Shan Zeng, Huaqing Qi, and Xing Chen The Implementation of Membrane Clustering Algorithm Based on FPGA . . . 237 Yunying Yang, Jun Ming, Jun Wang, Hong Peng, Zhang Sun, and Wenping Yu Tools and Simulators for Membrane Computing-A Literature Review . . . . . . 249 S. Raghavan and K. Chandrasekaran Parallel Contextual Hexagonal Array P Systems . . . . . . . . . . . . . . . . . . . . . 278 James Immanuel Suseelan, D.G. Thomas, Robinson Thamburaj, Atulya K. Nagar, and S. Jayasankar