Basic Arithmetic Calculations Through Virus-Based Machines

• Antonio Ramírez-de-Arellano ^[1] ; David Orellana-Martín ^[1] ; Mario J. Pérez-Jiménez ^[1]
  1. [1] Universidad de Sevilla

     Universidad de Sevilla

     Sevilla, España

     
• Localización: Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence: 9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, Proceedings, Part II / José Manuel Ferrández Vicente (dir. congr.) , José Ramón Álvarez Sánchez (dir. congr.) , Félix de la Paz López (dir. congr.) , Hojjat Adeli (aut.), 2022, ISBN 978-3-031-06527-9, págs. 403-412
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • In Natural Computing, several models of computation based on processes occurring in nature exist. While some of them are well-established computing framework, there are some types of devices that are underdeveloped. This is the case of Virus Machines, framework inspired by the movement of viruses between hosts, and how can they be replicated while certain events happen. The relevance of this work lies in the formal definition of the framework and both the insights presented about the formal verification of the different designs and the possible new research lines.In this work, Virus Machines are studied from a numerical point of view. In this sense, five different devices regarding the four basic arithmetic operators are created, and some insights about the proofs of their correctness are stated. While addition, subtraction and multiplication require only of one device, for division two different machines will be designed: one for the quotient of the division and the other for the remainder.