This work presents the Church thesis, its proof, and the notion of stability and stabilization for analog algorithms. The Church thesis for discrete algorithms motivates us to consider the Church thesis for the case when we are dealing with analog algorithms. Its presentation and proof follows a similar construction to the one given for discrete algorithms. The notions of analog algorithm and dynamical system are postulated to be equivalent. The stability and stabilization concepts for analog algorithms are defined. The stability and stabilization presentation starts concentrating in continuous and discrete dynamical systems i.e., analog algorithms, described by differential or difference equations and continues considering Lyapunov energy functions.

10a03B0510a03D9910a68Q0110a93D051 aKÖNIGSBERG, ZVI, RETCHKIMAN1 aDERSHOWITZ, NACHUM uhttps://acadsol.eu/en/articles/23/2/1.pdf01813nas a2200193 4500008004100000022001400041245011300055210006900168260001200237300000700249490000700256520123700263653001001500653001001510653001001520653001001530100003301540856004601573 2018 eng d a1083-256400aMODELLING AND VERIFICATION ANALYSIS OF THE BIOLOGICAL INTERACTION BETWEEN SPECIES VIA A MODAL LOGIC APPROACH0 aMODELLING AND VERIFICATION ANALYSIS OF THE BIOLOGICAL INTERACTIO c07/2018 a140 v223 aThis paper addresses the interactions, among organisms of the same or different species associated with the need for a common resource that occurs in a limited supply relative to demand. If two competitors try to occupy the same realized niche, one species will try to eliminate the other. Therefore, two cases are worth to be considered. On the one hand, there is a need to cooperate sharing part of the resource so that both organisms will benefit from it. On the other hand, if one of the two species is stronger than the other, there will be no cooperation and the strongest species will impose its conditions. In the study of this interaction Lotka-Volterra models have been used. Other non-classical methodologies as Petri nets and first order logic have been employed too. In this work, the biological competition problem between species is modelled as a modal logic formula. Then, using the concept of logic implication, and transforming this logical implication relation into a set of clauses, a modal resolution qualitative method for verification (satisfiability) as well as performance issues, for some queries is applied.

10a08A9910a39A1110a93D3510a93D991 aKÖNIGSBERG, ZVI, RETCHKIMAN uhttps://acadsol.eu/en/articles/22/3/8.pdf01414nas a2200193 4500008004100000022001400041245012300055210006900178260001200247300000700259490000700266520082500273653001001098653001001108653001001118653001001128100003301138856004901171 2017 eng d a1083-256400aMODELLING AND VERIFICATION ANALYSIS OF THE BIOLOGICAL COOPERATIVE COMPETITION PROBLEM VIA A FIRST ORDER LOGIC APPROACH0 aMODELLING AND VERIFICATION ANALYSIS OF THE BIOLOGICAL COOPERATIV c04/2017 a160 v213 aThis paper addresses the biological cooperative competition problem among organisms of the same or different species associated with the need for a common resource that occurs in a limited supply relative to demand. If two competitors try to occupy the same realized niche, one species will try to eliminate the other. Therefore, there is a need to cooperate sharing part of the resource so that both organisms will benefit from it. In this work, the biological cooperative competition problem is modelled as a formula of the first order logic. Then, using the concept of logic implication, and transforming this logical implication relation into a set of clauses, called Skolem standard form, qualitative methods for verification as well as performance issues, for some queries, are applied.

10a08A9910a39A1110a93D3510a93D991 aKÖNIGSBERG, ZVI, RETCHKIMAN uhttp://www.acadsol.eu/en/articles/21/3/2.pdf