学术报告第201702期

报告题目：Interactions and context in P systems

报 告 人：Artiom Alhazov博士（摩尔多瓦科学院高级研究员）

报告时间： 2017年1月13日（星期五）上午10：00

报告地点： 南一楼中311室

Abstract: The goal of this presentation is to introduce membrane systems with symbol-objects as a formal framework for parallel distributed multiset processing, focusing how various weak forms of interaction between finite kinds of elements of these system work together to reach universality/computational completeness (ability to implement any algorithm) and efficiency (ability to solve intractable problems in polynomial number of steps). Besides interaction, attention is focused on the context, allowing one element of the system to influence many elements simultaneously. The key concepts of membrane systems with symbol objects are multiset, rewriting, communication, parallelism and distributivity. Direct object-object interaction may be by rewriting, e.g., catalysts, possibly with states, and by communication, with or without rewriting. Alternatively, objects may interact with membranes, the membranes possibly having states (polarizations). Mass action by context may be carried out by promoters, inhibitors, priorities, changing membrane polarization or dissolving a membrane.

Biography: Artiom Alhazov is a Dr. Habil., Leading researcher of Institute of Mathematics and Computer Science, Academy of Science of Moldova. He obtained his PhD in Theoretical Computer Science from institute of Mathematics and Computer Science(IMI), academy of Sciences of Moldova (ASM), Chişinău in 2006. He heads Formal Languages and Applications, Information Systems at research Group on Mathematical Linguistics, Tarragona, Spain since 2003. He is a postdoctor in Computational Biomodelling Laboratory, Åbo Akademi University, Turku, Finland during 2007, then in Foundation of Computer Science Lab, Hiroshima University, Higashi-Hiroshima, Japan from 2008 to 2010. His main research areas are parallel distributed multiset/string processing, and research results have been published by over 20 international journals and over 35 in conferences of publication, including talks at over 20 conferences abroad. His publication could be obtained at http://aartiom.50webs.com/pub_aa.html