836 research outputs found

    Low Disruption Transformations on Cyclic Automata

    Get PDF
    We extend the edit operators of substitution, deletion, and insertion of a symbol over a word by introducing two new operators (partial copy and partial elimination) inspired by biological gene duplication. We define a disruption measure for an operator over a word and prove that whereas the traditional edit operators are disruptive, partial copy and partial elimination are non-disruptive. Moreover, we show that the application of only edit operators does not generate (with low disruption) all the words over a binary alphabet, but this can indeed be done by combining partial copy and partial elimination with the substitution operator

    Evolving Complexity and Similarity in an Artificial Life Framework based on Formal Language Theory

    Get PDF
    In this thesis, a formal framework where the evolution of biological complexity can be studied in an objective way is defined. That objectivity is due to state complexity for regular languages is used and it is a well-known and rigorous complexity measure. Such a framework is composed of a population of cyclic unary regular languages (individuals) that try to adapt to a given environment (that also consists of cyclic unary regular languages) by means of evolutionary computation

    Time-Varying Graphs and Dynamic Networks

    Full text link
    The past few years have seen intensive research efforts carried out in some apparently unrelated areas of dynamic systems -- delay-tolerant networks, opportunistic-mobility networks, social networks -- obtaining closely related insights. Indeed, the concepts discovered in these investigations can be viewed as parts of the same conceptual universe; and the formal models proposed so far to express some specific concepts are components of a larger formal description of this universe. The main contribution of this paper is to integrate the vast collection of concepts, formalisms, and results found in the literature into a unified framework, which we call TVG (for time-varying graphs). Using this framework, it is possible to express directly in the same formalism not only the concepts common to all those different areas, but also those specific to each. Based on this definitional work, employing both existing results and original observations, we present a hierarchical classification of TVGs; each class corresponds to a significant property examined in the distributed computing literature. We then examine how TVGs can be used to study the evolution of network properties, and propose different techniques, depending on whether the indicators for these properties are a-temporal (as in the majority of existing studies) or temporal. Finally, we briefly discuss the introduction of randomness in TVGs.Comment: A short version appeared in ADHOC-NOW'11. This version is to be published in Internation Journal of Parallel, Emergent and Distributed System

    USSR Space Life Sciences Digest, issue 30

    Get PDF
    This is the thirtieth issue of NASA's Space Life Sciences Digest. It contains abstracts of 47 journal papers or book chapters published in Russian and of three Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. The abstracts in this issue have been identified as relevant to 20 areas of space biology and medicine. These areas include: adaptation, biospheric research, cardiovascular and respiratory systems, endocrinology, equipment and instrumentation, gastrointestinal system, group dynamics, habitability and environmental effects, hematology, human performance, immunology, life support systems, mathematical modeling, metabolism, musculoskeletal system, neurophysiology, nutrition, psychology, radiobiology, and space biology and medicine

    Deterministic Chaos in Digital Cryptography

    Get PDF
    This thesis studies the application of deterministic chaos to digital cryptography. Cryptographic systems such as pseudo-random generators (PRNG), block ciphers and hash functions are regarded as a dynamic system (X, j), where X is a state space (Le. message space) and f : X -+ X is an iterated function. In both chaos theory and cryptography, the object of study is a dynamic system that performs an iterative nonlinear transformation of information in an apparently unpredictable but deterministic manner. In terms of chaos theory, the sensitivity to the initial conditions together with the mixing property ensures cryptographic confusion (statistical independence) and diffusion (uniform propagation of plaintext and key randomness into cihertext). This synergetic relationship between the properties of chaotic and cryptographic systems is considered at both the theoretical and practical levels: The theoretical background upon which this relationship is based, includes discussions on chaos, ergodicity, complexity, randomness, unpredictability and entropy. Two approaches to the finite-state implementation of chaotic systems (Le. pseudo-chaos) are considered: (i) floating-point approximation of continuous-state chaos; (ii) binary pseudo-chaos. An overview is given of chaotic systems underpinning cryptographic algorithms along with their strengths and weaknesses. Though all conventional cryposystems are considered binary pseudo-chaos, neither chaos, nor pseudo-chaos are sufficient to guarantee cryptographic strength and security. A dynamic system is said to have an analytical solution Xn = (xo) if any trajectory point Xn can be computed directly from the initial conditions Xo, without performing n iterations. A chaotic system with an analytical solution may have a unpredictable multi-valued map Xn+l = f(xn). Their floating-point approximation is studied in the context of pseudo-random generators. A cryptographic software system E-Larm â„¢ implementing a multistream pseudo-chaotic generator is described. Several pseudo-chaotic systems including the logistic map, sine map, tangent- and logarithm feedback maps, sawteeth and tent maps are evaluated by means of floating point computations. Two types of partitioning are used to extract pseudo-random from the floating-point state variable: (i) combining the last significant bits of the floating-point number (for nonlinear maps); and (ii) threshold partitioning (for piecewise linear maps). Multi-round iterations are produced to decrease the bit dependence and increase non-linearity. Relationships between pseudo-chaotic systems are introduced to avoid short cycles (each system influences periodically the states of other systems used in the encryption session). An evaluation of cryptographic properties of E-Larm is given using graphical plots such as state distributions, phase-space portraits, spectral density Fourier transform, approximated entropy (APEN), cycle length histogram, as well as a variety of statistical tests from the National Institute of Standards and Technology (NIST) suite. Though E-Larm passes all tests recommended by NIST, an approach based on the floating-point approximation of chaos is inefficient in terms of the quality/performance ratio (compared with existing PRNG algorithms). Also no solution is known to control short cycles. In conclusion, the role of chaos theory in cryptography is identified; disadvantages of floating-point pseudo-chaos are emphasized although binary pseudo-chaos is considered useful for cryptographic applications.Durand Technology Limite

    Modelling, analysing and model checking commit protocols

    Get PDF

    Multiscale Biomechanics and Tribology of Inorganic and Organic Systems

    Get PDF
    This open access book gathers authoritative contributions concerning multiscale problems in biomechanics, geomechanics, materials science and tribology. It is written in memory of Sergey Grigorievich Psakhie to feature various aspects of his multifaceted research interests, ranging from theoretical physics, computer modeling of materials and material characterization at the atomic scale, to applications in space industry, medicine and geotectonics, and including organizational, psychological and philosophical aspects of scientific research and teaching as well. This book covers new advances relating to orthopedic implants, concerning the physiological, tribological and materials aspects of their behavior; medical and geological applications of permeable fluid-saturated materials; earthquake dynamics together with aspects relating to their managed and gentle release; lubrication, wear and material transfer in natural and artificial joints; material research in manufacturing processes; hard-soft matter interaction, including adhesive and capillary effects; using nanostructures for influencing living cells and for cancer treatment; manufacturing of surfaces with desired properties; self-organization of hierarchical structures during plastic deformation and thermal treatment; mechanics of composites and coatings; and many more. Covering established knowledge as well as new models and methods, this book provides readers with a comprehensive overview of the field, yet also with extensive details on each single topic

    Iannis Xenakis and Sieve Theory: An Analysis of the Late Music (1984-1993)

    Get PDF
    This thesis is divided in three parts, the first two of which are theoretical and the third analytical. Part I is an investigation of lannis Xenakis's general theory of composition, the theory of outside-time musical structures. This theory appears in many of Xenakis's writings, sometimes quite idiosyncratically. The aim of this part is to reveal the function of the non-temporal in Xenakis's musical structures, by means of a historical approach through his writings. This exploration serves to unveil certain aspects discussed more thoroughly through a deconstructive approach. The deconstructive is demonstrated in the classification of musical structures and aims partly at showing the nature of Time in Xenakis's theory. Part II is preoccupied with Xenakis's Sieve Theory. In the earlier writings on Sieve Theory he presented a slightly different approach than in the later, where he also provided an analytical algorithm that he developed gradually from the mid1980s until 1990. The rationale of this algorithm and the pitch-sieves of 1980-1993 guides Part III, which is preoccupied with a methodology of sieve analysis, its application, and an exploration of the employment of sieves in some of Xenakis's compositions of the 1980s. When possible, the analysis takes in consideration the pre-compositional sketches, available at the Archives Xenakis, Bibliotheque Nationale de France. The sketches reveal aspects of the application of Sieve Theory, not included in Xenakis's theoretical writings. As with the application of other theories, Xenakis progressed to less formalised processes. However, this does not mean that Sieve Theory ceased to inform the process of scale-construction. As the conclusion of this dissertation indicates, he employed Sieve Theory in order to achieve structures that conform to his general aesthetic principles that relate to various degrees of symmetry and periodicity
    • …
    corecore