Membrane computing: traces, neural inspired models, controls

Membrane Computing:Traces, Neural Inspired Models, ControlsAutor: Armand-Mihai IonescuDirectores: Dr. Victor Mitrana (URV)Dr. Takashi Yokomori (Universidad Waseda, Japón)Resumen Castellano:El presente trabajo está dedicado a una área muy activa del cálculo natural (que intenta descubrir la odalidad en la cual la naturaleza calcula, especialmente al nivel biológico), es decir el cálculo con membranas, y más preciso, a los modelos de membranas inspirados de la funcionalidad biológica de la neurona.La disertación contribuye al área de cálculo con membranas en tres direcciones principales. Primero, introducimos una nueva manera de definir el resultado de una computación siguiendo los rastros de un objeto especificado dentro de una estructura celular o de una estructura neuronal. A continuación, nos acercamos al ámbito de la biología del cerebro, con el objetivo de obtener varias maneras de controlar la computación por medio de procesos que inhiben/de-inhiben. Tercero, introducimos e investigamos en detallo - aunque en una fase preliminar porque muchos aspectos tienen que ser clarificados - una clase de sistemas inspirados de la manera en la cual las neuronas cooperan por medio de spikes, pulsos eléctricos de formas idénticas.English summary:The present work is dedicated to a very active branch of natural computing (which tries to discover the way nature computes, especially at a biological level), namely membrane computing, more precisely, to those models of membrane systems mainly inspired from the functioning of the neural cell.The present dissertation contributes to membrane computing in three main directions. First, we introduce a new way of defining the result of a computation by means of following the traces of a specified object within a cell structure or a neural structure. Then, we get closer to the biology of the brain, considering various ways to control the computation by means of inhibiting/de-inhibiting processes. Third, we introduce and investigate in a great - though preliminary, as many issues remain to be clarified - detail a class of P systems inspired from the way neurons cooperate by means of spikes, electrical pulses of identical shapes

Communication in membrana Systems with symbol Objects.

Esta tesis está dedicada a los sistemas de membranas con objetos-símbolo como marco teórico de los sistemas paralelos y distribuidos de procesamiento de multiconjuntos.Una computación de parada puede aceptar, generar o procesar un número, un vector o una palabra; por tanto el sistema define globalmente (a través de los resultados de todas sus computaciones) un conjunto de números, de vectores, de palabras (es decir, un lenguaje), o bien una función. En esta tesis estudiamos la capacidad de estos sistemas para resolver problemas particulares, así como su potencia computacional. Por ejemplo, las familias de lenguajes definidas por diversas clases de estos sistemas se comparan con las familias clásicas, esto es, lenguajes regulares, independientes del contexto, generados por sistemas 0L tabulados extendidos, generados por gramáticas matriciales sin chequeo de apariciones, recursivamente enumerables, etc. Se prestará especial atención a la comunicación de objetos entre regiones y a las distintas formas de cooperación entre ellos.Se pretende (Sección 3.4) realizar una formalización los sistemas de membranas y construir una herramienta tipo software para la variante que usa cooperación no distribuida, el navegador de configuraciones, es decir, un simulador, en el cual el usuario selecciona la siguiente configuración entre todas las posibles, estando permitido volver hacia atrás. Se considerarán diversos modelos distribuidos. En el modelo de evolución y comunicación (Capítulo 4) separamos las reglas tipo-reescritura y las reglas de transporte (llamadas symport y antiport). Los sistemas de bombeo de protones (proton pumping, Secciones 4.8, 4.9) constituyen una variante de los sistemas de evolución y comunicación con un modo restrictivo de cooperación. Un modelo especial de computación con membranas es el modelo puramente comunicativo, en el cual los objetos traspasan juntos una membrana. Estudiamos la potencia computacional de las sistemas de membranas con symport/antiport de 2 o 3 objetos (Capítulo 5) y la potencia computacional de las sistemas de membranas con alfabeto limitado (Capítulo 6).El determinismo (Secciones 4.7, 5.5, etc.) es una característica especial (restrictiva) de los sistemas computacionales. Se pondrá especial énfasis en analizar si esta restricción reduce o no la potencia computacional de los mismos. Los resultados obtenidos para sistemas de bombeo del protones están transferidos (Sección 7.3) a sistemas con catalizadores bistabiles. Unos ejemplos de aplicación concreta de los sistemas de membranas (Secciones 7.1, 7.2) son la resolución de problemas NP-completos en tiempo polinomial y la resolución de problemas de ordenación.This thesis deals with membrane systems with symbol objects as a theoretical framework of distributed parallel multiset processing systems.A halting computation can accept, generate or process a number, a vector or a word, so the system globally defines (by the results of all its computations) a set of numbers or a set of vectors or a set of words, (i.e., a language), or a function. The ability of these systems to solve particular problems is investigated, as well as their computational power, e.g., the language families defined by different classes of these systems are compared to the classical ones, i.e., regular, context-free, languages generated by extended tabled 0L systems, languages generated by matrix grammars without appearance checking, recursively enumerable languages, etc. Special attention is paid to communication of objects between the regions and to the ways of cooperation between the objects.An attempt to formalize the membrane systems is made (Section 3.4), and a software tool is constructed for the non-distributed cooperative variant, the configuration browser, i.e., a simulator, where the user chooses the next configuration among the possible ones and can go back. Different distributed models are considered. In the evolution-communication model (Chapter 4) rewriting-like rules are separated from transport rules. Proton pumping systems (Sections 4.8, 4.9) are a variant of the evolution-communication systems with a restricted way of cooperation. A special membrane computing model is a purely communicative one: the objects are moved together through a membrane. We study the computational power of membrane systems with symport/antiport of 2 or 3 objects (Chapter 5) and the computational power of membrane systems with a limited alphabet (Chapter 6).Determinism (Sections 4.7, 5.5, etc.) is a special property of computational systems; the question of whether this restriction reduces the computational power is addressed. The results on proton pumping systems can be carried over (Section 7.3) to the systems with bi-stable catalysts. Some particular examples of membrane systems applications are solving NP-complete problems in polynomial time, and solving the sorting problem

Air Force Institute of Technology Research Report 2000

This report summarizes the research activities of the Air Force Institute of Technology’s Graduate School of Engineering and Management. It describes research interests and faculty expertise; lists student theses/dissertations; identifies research sponsors and contributions; and outlines the procedures for contacting the school. Included in the report are: faculty publications, conference presentations, consultations, and funded research projects. Research was conducted in the areas of Aeronautical and Astronautical Engineering, Electrical Engineering and Electro-Optics, Computer Engineering and Computer Science, Systems and Engineering Management, Operational Sciences, and Engineering Physics

Analysis of Parameterized Networks

In particular, the thesis will focus on parameterized networks of discrete-event systems. These are collections of interacting, isomorphic subsystems, where the number of subsystems is, for practical purposes, arbitrary; thus, the system parameter of interest is, in this case, the size of the network as characterized by the number of subsystems. Parameterized networks are reasonable models of real systems where the number of subsystems is large, unknown, or time-varying: examples include communication, computer and transportation networks. Intuition and engineering practice suggest that, in checking properties of such networks , it should be sufficient to consider a ``testbed'' network of limited size. However, there is presently little rigorous support for such an approach. In general, the problem of deciding whether a temporal property holds for a parameterized network of finite-state systems is undecidable; and the only decidable subproblems that have so far been identified place unreasonable restrictions on the means by which subsystems may interact. The key to ensuring decidability, and therefore the existence of effective solutions to the problem, is to identify restrictions that limit the computational power of the network. This can be done not only by limiting communication but also by restricting the structure of individual subsystems. In this thesis, we take both approaches, and also their combination on two different network topologies: ring networks and fully connected networks

Моделювання, керування та інформаційні технології

Aniksuhyn A., Zhyvolovych O. Generalized solvability and optimal control for an integro-differential equation of a hyperbolic type 8 Babudzhan R., Isaienkov K., Krasii D., Melkonian R., Vodka O., Zadorozhniy I. Collection and processing of bearing vibration data for their technical condition classification by machine learning methods 10 Bardan A., Bihun Y. Computer modeling of differential games . 16 Beridze Z., Shavadze Ju., Imnaishvili G., Geladze M. Concept and functions of building a private network (VPN) 19 Bomba A., Klymiuk Y. Computer prediction of technological modes of rapid cone shaped adsorption filters with automated discharge of part of heat from separation surfaces in filtering model 21 Boyko N., Dypko O. Analysis of machine learning methods using spam filtering 25 Boyko N., Kulchytska O. Analysis of tumor classification algorithms for breast cancer prediction by machine learning methods 29 Denysov S., Semenov V., Vedel Ya. A novel adaptive method for operator inclusions 33 Didmanidze M., Chachanidze G., Didmanidze T. Modern trends in unemployment . 36 Bagrationi I., Zaslavski V., Didmanidze I., Yamkova O. Ethics of information technology in the context of a global worldview . 38 Didmanidze D., Zoidze K., Akhvlediani N., Tsitskishvili G., Samnidze N., Diasamidze M. Use of computer teaching systems in the learning process . 42 Dobrydnyk Yu., Khrystyuk A. Analysis of the elevator as an object of automation 44 Gamzayev R., Shkoda B. Development and investigation of adaptive micro-service architecture for messaging software systems . 46 Gayev Ye. Student' own discoveries in information theory curriculum 50 Didmanidze I., Geladze D., Motskobili Ia, Akhvlediani D., Koridze L. Follow digitally by using a blog . 52 Kirpichnikov A., Khrystyuk A. Automatic apiary care system 54 Kunytskyi S., Ivanchuk N. Mathematical modeling of water purification in a bioplato filter 56 Kyrylych V., Milchenko O. Optimal control of a hyperbolic system that describes Slutsky demand . 58 6 Makaradze N., Nakashidze-Makharadze T., Zaslavski V., Gurgenidze M., Samnidze N., Diasamidze M. Challenges of using computer-based educational technologies in higher education 60 Mamenko P., Zinchenko S., Nosov P., Kyrychenko K., Popovych I., Nahrybelnyi Ya., Kobets V. Research of divergence trajectory with a given risk of ships collisions . 64 Mateichuk V., Zinchenko S., Tovstokoryi O., Nosov P., Nahrybelnyi Ya., Popovych I., Kobets V. Automatic vessel control in stormy conditions 68 Petrivskyi Ya., Petrivskyi V., Bychkov O., Pyzh O. Some features of creating a computer vision system 72 Poliakov V. Calculation of organic substrate decomposition in biofilm and bioreactor-filter taking into account its limitation and inhibition 75 Poliakov V. Mathematical modeling of suspension filtration on a rapid filter at an unregulated rate 78 Prokip V. On the semi-scalar equivalence of polynomial matrices 80 Pysarchuk O., Mironov Y. A proposal of algorithm for automated chromosomal abnormality detection . 83 Rybak O., Tarasenko S. Sperner’s Theorem . 87 Sandrakov G., Hulianytskyi A., Semenov V. Modeling of filtration processes in periodic porous media 90 Stepanets O., Mariiash Yu. Optimal control of the blowing mode parameters during basic oxygen furnace steelmaking process . 94 Stepanchenko O., Shostak L., Kozhushko O., Moshynskyi V., Martyniuk P. Modelling soil organic carbon turnover with assimilation of satellite soil moisture data 97 Vinnychenko D., Nazarova N., Vinnychenko I. The dependence of the deviation of the output stabilized current of the resonant power supply during frequency control in the systems of materials pulse processing 100 Voloshchuk V., Nekrashevych O., Gikalo P. Exergy analysis of a reversible chiller 105 Шарко О., Петрушенко Н., Мосін М., Шарко М., Василенко Н., Белоусов А. Інформаційно-керуючі системи та технології оцінки ступеня підготовленості підприємств до інноваційної діяльності за допомогою ланцюгів Маркова . 107 Барановський С., Бомба А., Прищепа О. Модифікація моделі інфекційного захворювання для урахування дифузійних збурень в умовах логістичної динаміки 110 Бомба А., Бойчура М., Мічута О. Ідентифікація параметрів структури ґрунтових криволінійних масивів числовими методами квазіконформних відображень . 112 Василець К. Метод оцінювання невизначеності вимірювання електроенергії вузлом комерційного обліку 114 Волощук В., Некрашевич О., Гікало П. Доцільність застосування критеріїв ексергетичного аналізу для оцінювання ефективності об'єктів теплоенергетики . 117 Гудь В. Математичне моделювання енергетичної ефективності постійних магнітів в циліндричних магнітних системах . 120 Демидюк М. Параметрична оптимізація циклічних транспортних операцій маніпуляторів з активними і пасивними приводами 122 Клепач М., Клепач М. Вейвлет аналіз температурних трендів днища скловарної печі 125 Козирєв С. Керування високовольтним імпульсним розрядом в екзотермічному середовищі . 127 Очко О., Аврука І. Безпечне збереження конфіденційної інформації на серверах . 131 Реут Д., Древецький В., Матус С. Застосування комп’ютерного зору для автоматичного вимірювання швидкості рідин з тонкодисперсними домішками 133 Сафоник А., Грицюк І. Розроблення інформаційної системи для спектрофотометричного аналізу . 135 Ткачук В. Квантовий генетичний алгоритм та його реалізація на квантовому компютері 137 Цвєткова Т. Комп’ютерна візуалізація гідродинамічного поля в області зкриволінійними межами 140 Шпортько О., Бомба А., Шпортько Л. Пристосування словникових методів компресії до прогресуючого ієрархічного стиснення зображень без втрат . 142 Сафоник А., Таргоній І. Розробка системи керування напруженістю магнітного поля для процесу знезалізнення технологічних вод . 14

Life Sciences Program Tasks and Bibliography for FY 1996

This document includes information on all peer reviewed projects funded by the Office of Life and Microgravity Sciences and Applications, Life Sciences Division during fiscal year 1996. This document will be published annually and made available to scientists in the space life sciences field both as a hard copy and as an interactive Internet web page