In this paper we consider P systems with membrane creation working with symbol objects. As a result of a halting computation we do not take the set of numbers generated in a designated output membrane, instead we take...
详细信息
ISBN:
(纸本)0769524532
In this paper we consider P systems with membrane creation working with symbol objects. As a result of a halting computation we do not take the set of numbers generated in a designated output membrane, instead we take the resulting tree representing the membrane structure of the final configuration. We prove that each recursively enumerable tree language can be obtained by this system.
this paper presents a novel method to perform regression on a finite sample of noisy data. the purpose is to obtain a mathematical model for data which is both reliable and valid, yet the analytical expression is not ...
详细信息
ISBN:
(纸本)0769524532
this paper presents a novel method to perform regression on a finite sample of noisy data. the purpose is to obtain a mathematical model for data which is both reliable and valid, yet the analytical expression is not restricted to any particular form. To obtain a statistical model of the noisy data set we use symbolic regression with pseudorandom number generators. We begin by describing symbolic regression and our implementation of this technique using genetic programming (GP) and gene expression programming (GEP). We present some results for symbolic regression on computer generated and real financial data sets in the final part of this paper.
It is known that one of the most disastrous forms of collective human behavior is the kind of crowd stampede induced by panic. this situation often leads to fatalities as people are crushed or trampled this problem ha...
详细信息
ISBN:
(纸本)0769524532
It is known that one of the most disastrous forms of collective human behavior is the kind of crowd stampede induced by panic. this situation often leads to fatalities as people are crushed or trampled this problem has been well researched from a socio-psychological point of view. In this paper we attempt to study and analyze the crowd behavior by using an Ant Colony Optimization (ACO) based computational framework. the initial simulations refer to a panic situation generated in a few connected cities of a war affected country.
the investigation of biological dynamics involves many interesting aspects such as abstraction, modelling and simulation, but a very important aspect to consider is the representation of such dynamics. A correct, flex...
详细信息
ISBN:
(纸本)0769524532
the investigation of biological dynamics involves many interesting aspects such as abstraction, modelling and simulation, but a very important aspect to consider is the representation of such dynamics. A correct, flexible and formal representation mechanism of interesting behaviours is the right starting point for all successive modelling steps and it can be helpful in capturing the essence of the system under investigation. In particular, provided a formal representation of the relevant traits of biological systems behaviours, the application of P systems, to their modelling can become more and more fruitful. For this reason, here we present a formalism allowing us to represent biological oscillations by means of strings composed by parametric words that we call beats.
We present an algorithm that generates automatically (algebraic) invariant properties of a loop with conditionals. In the proposed algorithm program analysis is performed in order to transform the code into a form for...
详细信息
In this paper we describe comprehensive Grobner bases over finite fields by direct product of fields. In general, representations of comprehensive Grobner bases have some conditions on parameters. However in finite fi...
详细信息
ISBN:
(纸本)0769524532
In this paper we describe comprehensive Grobner bases over finite fields by direct product of fields. In general, representations of comprehensive Grobner bases have some conditions on parameters. However in finite fields we can construct comprehensive Grobner bases without conditions by the theory of von Neumann regular rings. Our comprehensive Grobner bases are defined as Grobner bases in polynomial rings over commutative von Neumann regular rings, hence our comprehensive Grobner bases have some nice properties. Our method is different from the methods of Weispfenning (CGB, CCGB), Monies (DisPGB), Sato and Suzuki (ACGB).
Dixon Resultant method can eliminate many variables simultaneously. It is often used to solve a system of polynomial equations. However, the Dixon matrix is often singular, and the Dixon Resultant vanishes identically...
详细信息
State-space reduction techniques for distributed discrete-event systems are normally based on detection of behavioral equivalences or symmetries. Well-Formed Nets (WN) are a Colored Petri Net flavor allowing the direc...
详细信息
ISBN:
(纸本)0769524532
State-space reduction techniques for distributed discrete-event systems are normally based on detection of behavioral equivalences or symmetries. Well-Formed Nets (WN) are a Colored Petri Net flavor allowing the direct construction of a quotient graph, the symbolic Reachability Graph (SRG), that captures symmetries suitably encoded in the WN color annotations, and holds the same information as the ordinary reachability graph. Like all those approaches based on static (global) symmetries, however the SRG is not effective in many real cases. In this paper a new quotient graph for colored PNs matching an extended WN-like syntax is introduced. the technique, which relies on a simple mapping of color domains into numerical domains, makes use of linear constraints to perform a sort of symbolic execution. We compare it with a recently presented approach exploiting local symmetries. the model of an asymmetric distributed algorithm is used as comparison term.
this paper describes the specification and verification techniques for network protocols, concentrating on one hand on process algebras, and on the other hand on techniques for specific layers. the original contributi...
详细信息
this paper studies the performance of generics, or templates as they are sometimes called, for scientificcomputing in various programming languages. In order to understand the cost of using generics, we develop a tes...
详细信息
暂无评论