580 research outputs found
Asynchronous spiking neural P systems
We consider here spiking neural P systems with a non-synchronized (i.e., asynchronous) use of rules: in any step, a neuron can apply or not apply its rules which are enabled by the number of spikes it contains (further spikes can come, thus changing the rules enabled in the next step). Because the time between two firings of the output neuron is now irrelevant, the result of a computation is the number of spikes sent out by the system, not the distance between certain spikes leaving the system. The additional non-determinism introduced in the functioning of the system by the non-synchronization is proved not to decrease the computing power in the case of using extended rules (several spikes can be produced by a rule). That is, we obtain again the equivalence with Turing machines (interpreted as generators of sets of (vectors of) numbers). However, this problem remains open for the case of standard spiking neural P systems, whose rules can only produce one spike. On the other hand we prove that asynchronous systems, with extended rules, and where each neuron is either bounded or unbounded, are not computationally complete. For these systems, the configuration reachability, membership (in terms of generated vectors), emptiness, infiniteness, and disjointness problems are shown to be decidable. However, containment and equivalence are undecidable. © 2009 Elsevier B.V. All rights reserved
Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems
We consider parallel communicating pushdown automata systems (PCPA) and
define a property called known communication for it. We use this property to
prove that the power of a variant of PCPA, called returning centralized
parallel communicating pushdown automata (RCPCPA), is equivalent to that of
multi-head pushdown automata. The above result presents a new sub-class of
returning parallel communicating pushdown automata systems (RPCPA) called
simple-RPCPA and we show that it can be written as a finite intersection of
multi-head pushdown automata systems
Crack fronts and damage in glass at the nanometer scale
We have studied the low speed fracture regime for different glassy materials
with variable but controlled length scales of heterogeneity in a carefully
mastered surrounding atmosphere. By using optical and atomic force microscopy
(AFM) techniques we tracked in real-time the crack tip propagation at the
nanometer scale on a wide velocity range (mm/s - pm/s and below). The influence
of the heterogeneities on this velocity is presented and discussed. Our
experiments reveal also -for the first time- that the crack progresses through
nucleation, growth and coalescence of nanometric damage cavities within the
amorphous phase. This may explain the large fluctuations observed in the crack
tip velocities for the smallest values. This behaviour is very similar to what
is involved, at the micrometric scale, in ductile fracture. The only difference
is very likely due to the related length scales (nanometric instead of
micrometric). Consequences of such a nano-ductile fracture mode observed at a
temperature far below the glass transition temperature in glass is finally
discussed.Comment: 12 pages, 8 figures, submitted to Journal of Physics: Condensed
Matter; Invited talk at Glass and Optical Materials Division Fall 2002
Meeting, Pittsburgh, Pa, US
On Languages Accepted by P/T Systems Composed of joins
Recently, some studies linked the computational power of abstract computing
systems based on multiset rewriting to models of Petri nets and the computation
power of these nets to their topology. In turn, the computational power of
these abstract computing devices can be understood by just looking at their
topology, that is, information flow.
Here we continue this line of research introducing J languages and proving
that they can be accepted by place/transition systems whose underlying net is
composed only of joins. Moreover, we investigate how J languages relate to
other families of formal languages. In particular, we show that every J
language can be accepted by a log n space-bounded non-deterministic Turing
machine with a one-way read-only input. We also show that every J language has
a semilinear Parikh map and that J languages and context-free languages (CFLs)
are incomparable
THEORETICAL ASPECTS OF THE AERATION DRYING PROCESS WITH APPLICATION IN THE HAY TECHNOLOGY
In the current context of the development of mechanized agriculture in several directions in the field of feed storage needs appear in the effective implementation of the drying method used. In terms of maintaining higher production achieved by reducing losses of fodder harvesting and secondly by increasing the number of cycles of harvest due to reduced time of harvest (representing the time elapsed mowing fodder plant and to store hay), outline the need for a more careful study of the drying process. This paper presents some theoretical aspects that determine and control the drying process used in technology of hay
Application of the Nanofiltration Process for Concentration of Polyphenolic Compounds from Geranium robertianum and Salvia officinalis Extracts
The aim of this study was to prove the efficiency of the nanofiltration process for the concentration of polyphenolic compounds from Geranium robertianum and Salvia officinalis extracts and to evaluate the extract’s antioxidant activity. A lab-scale cross-flow set-up using flat-sheet configuration membrane was employed for all experiments.
Two nanofiltration membranes have been used: SelRO MPF-36 (Koch membrane) and an organic-inorganic membrane (polysulfone with SBA-15-NH2). When the organic-inorganic membranes were used in the nanofiltration process, the obtained concentrated extracts proved to have higher polyphenol and flavonoid rejections, in both cases (Geranium robertianum and Salvia officinalis). The obtained values were over 88 % DPPH inhibition, for concentrated extracts, using the DPPH method. The concentrated extracts obtained after nanofiltration NF2 (organic-inorganic membrane) had the strongest scavenging activity for all extracts and almost completely inhibited DPPH absorption (92.9 % for Geranium robertianum concentrated extract and 90.1 % for Salvia officinalis concentrated extract). These features turn the studied, concentrated extracts into a good source for further medicinal applications
The Critical Exponent is Computable for Automatic Sequences
The critical exponent of an infinite word is defined to be the supremum of
the exponent of each of its factors. For k-automatic sequences, we show that
this critical exponent is always either a rational number or infinite, and its
value is computable. Our results also apply to variants of the critical
exponent, such as the initial critical exponent of Berthe, Holton, and Zamboni
and the Diophantine exponent of Adamczewski and Bugeaud. Our work generalizes
or recovers previous results of Krieger and others, and is applicable to other
situations; e.g., the computation of the optimal recurrence constant for a
linearly recurrent k-automatic sequence.Comment: In Proceedings WORDS 2011, arXiv:1108.341
Recurrent allopolyploidizations diversify ecophysiological traits in marsh orchids (Dactylorhiza majalis s.l.).
Whole-genome duplication has shaped the evolution of angiosperms and other organisms, and is important for many crops. Structural reorganization of chromosomes and repatterning of gene expression are frequently observed in allopolyploids, with physiological and ecological consequences. Recurrent origins from different parental populations are widespread among polyploids, resulting in an array of lineages that provide excellent models to uncover mechanisms of adaptation to divergent environments in early phases of polyploid evolution. We integrate here transcriptomic and ecophysiological comparative studies to show that sibling allopolyploid marsh orchid species (Dactylorhiza, Orchidaceae) occur in different habitats (low nutrient fens vs. meadows with mesic soils) and are characterized by a complex suite of intertwined, pronounced ecophysiological differences between them. We uncover distinct features in leaf elemental chemistry, light-harvesting, photoprotection, nutrient transport and stomata activity of the two sibling allopolyploids, which appear to match their specific ecologies, in particular soil chemistry differences at their native sites. We argue that the phenotypic divergence between the sibling allopolyploids has a clear genetic basis, generating ecological barriers that maintain distinct, independent lineages, despite pervasive interspecific gene flow. This suggests that recurrent origins of polyploids bring about a long-term potential to trigger and maintain functional and ecological diversity in marsh orchids and other groups
A SURVEY REGARDING THE NEWEST SEEDLINGS PLANTING TECHNOLOGIES THAT CAN BE USED IN AGROFORESTY, LANDSCAPE ECOLOGY AND FOREST REGENERATION FIELDS
Nowadays the seedlings planting technologies are design to raise mechanization performance on forestry and pomiculture works. Their impact is manly on soil remediation, lowering the surface and depth erosion degree, capitalization of rainwater, lowering the dust pollution and natural calamity risk and the rehabilitation of inland flora. In this paper will be presented some of the most performant planting technologies, which can be used in the environmental management process that assures high establishment rate. In some cases, the ecological benefits can occur after a shorter period of time reducing considerably the calamity risks, encouraged the inland flora, forest and degraded the site restauration, but also landscape ecology.Â
- …