1,758,589 research outputs found
Probabilistic Guarded P Systems, A New Formal Modelling Framework
Multienvironment P systems constitute a general, formal
framework for modelling the dynamics of population biology, which consists
of two main approaches: stochastic and probabilistic. The framework
has been successfully used to model biologic systems at both micro (e.g.
bacteria colony) and macro (e.g. real ecosystems) levels, respectively.
In this paper, we extend the general framework in order to include
a new case study related to P. Oleracea species. The extension is made
by a new variant within the probabilistic approach, called Probabilistic
Guarded P systems (in short, PGP systems). We provide a formal definition,
a simulation algorithm to capture the dynamics, and a survey of
the associated software.Ministerio de EconomÃa y Competitividad TIN2012- 37434Junta de AndalucÃa P08-TIC-0420
Formal solutions of stargenvalue equations
The formal solution of a general stargenvalue equation is presented, its
properties studied and a geometrical interpretation given in terms of
star-hypersurfaces in quantum phase space. Our approach deals with discrete and
continuous spectra in a unified fashion and includes a systematic treatment of
non-diagonal stargenfunctions. The formalism is used to obtain a complete
formal solution of Wigner quantum mechanics in the Heisenberg picture and to
write a general formula for the stargenfunctions of Hamiltonians quadratic in
the phase space variables in arbitrary dimension. A variety of systems is then
used to illustrate the former results.Comment: 29 pages. Revised version, to appear in Annals of Physic
Introduction to the ISO specification language LOTOS
LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment. LOTOS is expected to become an ISO international standard by 1988
Safe Neighborhood Computation for Hybrid System Verification
For the design and implementation of engineering systems, performing
model-based analysis can disclose potential safety issues at an early stage.
The analysis of hybrid system models is in general difficult due to the
intrinsic complexity of hybrid dynamics. In this paper, a simulation-based
approach to formal verification of hybrid systems is presented.Comment: In Proceedings HAS 2014, arXiv:1501.0540
Towards a Theory of Glue
We propose and study the notions of behaviour type and composition operator
making a first step towards the definition of a formal framework for studying
behaviour composition in a setting sufficiently general to provide insight into
how the component-based systems should be modelled and compared. We illustrate
the proposed notions on classical examples (Traces, Labelled Transition Systems
and Coalgebras). Finally, the definition of memoryless glue operators, takes us
one step closer to a formal understanding of the separation of concerns
principle stipulating that computational aspects of a system should be
localised within its atomic components, whereas coordination layer responsible
for managing concurrency should be realised by memoryless glue operators.Comment: In Proceedings ICE 2012, arXiv:1212.345
Analysis of Seed Potato Systems in Ethiopia
This study aimed to analyze the seed potato systems in Ethiopia, identify constraints and prioritize improvement options, combining desk research, rapid appraisal and formal surveys, expert elicitation, field observations and local knowledge. In Ethiopia, informal, alternative and formal seed systems co-exist. The informal system, with low quality seed, is dominant. The formal system is too small to contribute significantly to improve that situation. The informal seed system should prioritize improving seed quality by increasing awareness and skills of farmers, improving seed tuber quality of early generations and market access. The alternative and formal seed systems should prioritize improving the production capacity of quality seed by availing new varieties, designing quality control methods and improving farmer’s awareness. To improve overall seed potato supply in Ethiopia, experts postulated co-existence and linkage of the three seed systems and development of self-regulation and selfcertification in the informal, alternative and formal cooperative seed potato systems. Resumen Este estudio tuvo el propósito de analizar los sistemas de producción de papa en Etiopia, identificar limitantes, y priorizar opciones de mejorar, mediante la combinación de investigación de escritorio, apreciaciones rápidas y estudios formales, encuestas a expertos, observaciones de campo y conocimiento local. En Etiopia co-existen sistemas de semilla informal, alternativo y formal. Domina el sistema informal, con baja calidad de semilla. El sistema formal es muy pequeño como para contribuir significativamente al mejoramiento de esa situación. El sistema informal de semilla deberÃa tener como prioridad el mejoramiento en la calidad de la semilla mediante el aumento en la atención y habilidades de los productores, mejorando la calidad de la semilla-tubérculo de las generaciones tempranas y el acceso al mercado. Los sistemas alternativo y formal de semilla deberÃan priorizar el mejoramiento en la capacidad de producción de semilla de calidad, mediante la validación de nuevas variedades, el diseño de métodos de control de calidad, y mejorando la atención del productor. Para mejorar el suministro general de semilla de papa en Etiopia, los expertos postularon la co-existencia y asociación de los tres sistemas de semillas y el desarrollo de autorregulación y autocertificación en los sistemas cooperativos de semilla de papa informal, alternativo y formal. Keywords Potato . Seed quality . Seed tuber . Seed system . Quality improvement . Expert elicitation . Solanum tuberosum Introductio
*-Continuous Kleene -Algebras for Energy Problems
Energy problems are important in the formal analysis of embedded or
autonomous systems. Using recent results on star-continuous Kleene
omega-algebras, we show here that energy problems can be solved by algebraic
manipulations on the transition matrix of energy automata. To this end, we
prove general results about certain classes of finitely additive functions on
complete lattices which should be of a more general interest.Comment: In Proceedings FICS 2015, arXiv:1509.0282
- …