Science.gov

Sample records for symbolic dynamical systems

  1. q-entropy for symbolic dynamical systems

    NASA Astrophysics Data System (ADS)

    Zhao, Yun; Pesin, Yakov

    2015-12-01

    For symbolic dynamical systems we use the Carathéodory construction as described in (Pesin 1997 Dimension Theory in Dynamical Systems, ConTemporary Views and Applications (Chicago: University of Chicago Press)) to introduce the notions of q-topological and q-metric entropies. We describe some basic properties of these entropies and in particular, discuss relations between q-metric entropy and local metric entropy. Both q-topological and q-metric entropies are new invariants respectively under homeomorphisms and metric isomorphisms of dynamical systems.

  2. Prediction of dynamical systems by symbolic regression

    NASA Astrophysics Data System (ADS)

    Quade, Markus; Abel, Markus; Shafi, Kamran; Niven, Robert K.; Noack, Bernd R.

    2016-07-01

    We study the modeling and prediction of dynamical systems based on conventional models derived from measurements. Such algorithms are highly desirable in situations where the underlying dynamics are hard to model from physical principles or simplified models need to be found. We focus on symbolic regression methods as a part of machine learning. These algorithms are capable of learning an analytically tractable model from data, a highly valuable property. Symbolic regression methods can be considered as generalized regression methods. We investigate two particular algorithms, the so-called fast function extraction which is a generalized linear regression algorithm, and genetic programming which is a very general method. Both are able to combine functions in a certain way such that a good model for the prediction of the temporal evolution of a dynamical system can be identified. We illustrate the algorithms by finding a prediction for the evolution of a harmonic oscillator based on measurements, by detecting an arriving front in an excitable system, and as a real-world application, the prediction of solar power production based on energy production observations at a given site together with the weather forecast.

  3. Prediction of dynamical systems by symbolic regression.

    PubMed

    Quade, Markus; Abel, Markus; Shafi, Kamran; Niven, Robert K; Noack, Bernd R

    2016-07-01

    We study the modeling and prediction of dynamical systems based on conventional models derived from measurements. Such algorithms are highly desirable in situations where the underlying dynamics are hard to model from physical principles or simplified models need to be found. We focus on symbolic regression methods as a part of machine learning. These algorithms are capable of learning an analytically tractable model from data, a highly valuable property. Symbolic regression methods can be considered as generalized regression methods. We investigate two particular algorithms, the so-called fast function extraction which is a generalized linear regression algorithm, and genetic programming which is a very general method. Both are able to combine functions in a certain way such that a good model for the prediction of the temporal evolution of a dynamical system can be identified. We illustrate the algorithms by finding a prediction for the evolution of a harmonic oscillator based on measurements, by detecting an arriving front in an excitable system, and as a real-world application, the prediction of solar power production based on energy production observations at a given site together with the weather forecast. PMID:27575130

  4. Determination of eigenvalues of dynamical systems by symbolic computation

    NASA Technical Reports Server (NTRS)

    Howard, J. C.

    1982-01-01

    A symbolic computation technique for determining the eigenvalues of dynamical systems is described wherein algebraic operations, symbolic differentiation, matrix formulation and inversion, etc., can be performed on a digital computer equipped with a formula-manipulation compiler. An example is included that demonstrates the facility with which the system dynamics matrix and the control distribution matrix from the state space formulation of the equations of motion can be processed to obtain eigenvalue loci as a function of a system parameter. The example chosen to demonstrate the technique is a fourth-order system representing the longitudinal response of a DC 8 aircraft to elevator inputs. This simplified system has two dominant modes, one of which is lightly damped and the other well damped. The loci may be used to determine the value of the controlling parameter that satisfied design requirements. The results were obtained using the MACSYMA symbolic manipulation system.

  5. Causation entropy from symbolic representations of dynamical systems

    SciTech Connect

    Cafaro, Carlo; Lord, Warren M.; Sun, Jie; Bollt, Erik M.

    2015-04-15

    Identification of causal structures and quantification of direct information flows in complex systems is a challenging yet important task, with practical applications in many fields. Data generated by dynamical processes or large-scale systems are often symbolized, either because of the finite resolution of the measurement apparatus, or because of the need of statistical estimation. By algorithmic application of causation entropy, we investigated the effects of symbolization on important concepts such as Markov order and causal structure of the tent map. We uncovered that these quantities depend nonmonotonically and, most of all, sensitively on the choice of symbolization. Indeed, we show that Markov order and causal structure do not necessarily converge to their original analog counterparts as the resolution of the partitioning becomes finer.

  6. Causation entropy from symbolic representations of dynamical systems.

    PubMed

    Cafaro, Carlo; Lord, Warren M; Sun, Jie; Bollt, Erik M

    2015-04-01

    Identification of causal structures and quantification of direct information flows in complex systems is a challenging yet important task, with practical applications in many fields. Data generated by dynamical processes or large-scale systems are often symbolized, either because of the finite resolution of the measurement apparatus, or because of the need of statistical estimation. By algorithmic application of causation entropy, we investigated the effects of symbolization on important concepts such as Markov order and causal structure of the tent map. We uncovered that these quantities depend nonmonotonically and, most of all, sensitively on the choice of symbolization. Indeed, we show that Markov order and causal structure do not necessarily converge to their original analog counterparts as the resolution of the partitioning becomes finer. PMID:25933654

  7. Causation entropy from symbolic representations of dynamical systems

    NASA Astrophysics Data System (ADS)

    Cafaro, Carlo; Lord, Warren M.; Sun, Jie; Bollt, Erik M.

    2015-04-01

    Identification of causal structures and quantification of direct information flows in complex systems is a challenging yet important task, with practical applications in many fields. Data generated by dynamical processes or large-scale systems are often symbolized, either because of the finite resolution of the measurement apparatus, or because of the need of statistical estimation. By algorithmic application of causation entropy, we investigated the effects of symbolization on important concepts such as Markov order and causal structure of the tent map. We uncovered that these quantities depend nonmonotonically and, most of all, sensitively on the choice of symbolization. Indeed, we show that Markov order and causal structure do not necessarily converge to their original analog counterparts as the resolution of the partitioning becomes finer.

  8. A dynamical systems perspective on the relationship between symbolic and non-symbolic computation.

    PubMed

    Tabor, Whitney

    2009-12-01

    It has been claimed that connectionist (artificial neural network) models of language processing, which do not appear to employ "rules", are doing something different in kind from classical symbol processing models, which treat "rules" as atoms (e.g., McClelland and Patterson in Trends Cogn Sci 6(11):465-472, 2002). This claim is hard to assess in the absence of careful, formal comparisons between the two approaches. This paper formally investigates the symbol-processing properties of simple dynamical systems called affine dynamical automata, which are close relatives of several recurrent connectionist models of language processing (e.g., Elman in Cogn Sci 14:179-211, 1990). In line with related work (Moore in Theor Comput Sci 201:99-136, 1998; Siegelmann in Neural networks and analog computation: beyond the Turing limit. Birkhäuser, Boston, 1999), the analysis shows that affine dynamical automata exhibit a range of symbol processing behaviors, some of which can be mirrored by various Turing machine devices, and others of which cannot be. On the assumption that the Turing machine framework is a good way to formalize the "computation" part of our understanding of classical symbol processing, this finding supports the view that there is a fundamental "incompatibility" between connectionist and classical models (see Fodor and Pylyshyn 1988; Smolensky in Behav Brain Sci 11(1):1-74, 1988; beim Graben in Mind Matter 2(2):29--51,2004b). Given the empirical successes of connectionist models, the more general, super-Turing framework is a preferable vantage point from which to consider cognitive phenomena. This vantage may give us insight into ill-formed as well as well-formed language behavior and shed light on important structural properties of learning processes. PMID:19898957

  9. Applications of symbolic computing methods to the dynamic analysis of large systems

    NASA Technical Reports Server (NTRS)

    Lorenzo, C. F.; Riehl, J. P.

    1971-01-01

    Since the symbolic computing language is very well suited to the operations with algebraic equations, techniques use the transfer function concept as a tool for the analysis of large linear dynamic systems. Techniques were coded in the experimental symbolic computer language FORMAC. The first of these approaches, REDUCE 1, establishes the techniques and a computer program to symbolically reduce arbitrary block diagrams associated with large systems for desired transfer functions. Symbolic closed form solutions are determined in several forms including an expanded form in terms of the driving frequencies and system constants. Programs are also written to numerically evaluate the symbolic solutions. A second computer program, REDUCE 2, is also based on the use of symbolic computing methods and was written to accommodate large engineering systems.

  10. Self-organizing Symbol Acquisition and Motion Generation based on Dynamics-based Information Processing System

    NASA Astrophysics Data System (ADS)

    Okada, Masafumi; Nakamura, Daisuke; Nakamura, Yoshihiko

    The symbol acquisition and manipulation abilities are one of the inherent characteristics of human beings comparing with other creatures. In this paper, based on recurrent self-organizing map and dynamics-based information processing system, we propose a dynamics based self-organizing map (DBSOM). This method enables designing a topological map using time sequence data, which causes recognition and generation of the robot motion. Using this method, we design the self-organizing symbol acquisition system and robot motion generation system for a humanoid robot. By implementing DBSOM to the robot in the real world, we realize the symbol acquisition from the experimental data and investigate the spatial property of the obtained DBSOM.

  11. Reconciling symbolic and dynamic aspects of language

    PubMed Central

    Rączaszek-Leonardi, Joanna; Kelso, J.A. Scott

    2009-01-01

    The present paper examines natural language as a dynamical system. The oft-expressed view of language as “a static system of symbols” is here seen as an element of a larger system that embraces the mutuality of symbols and dynamics. Following along the lines of the theoretical biologist H.H. Pattee, the relation between symbolic and dynamic aspects of language is expressed within a more general framework that deals with the role of information in biological systems. In this framework, symbols are seen as information-bearing entities that emerge under pressures of communicative needs and that serve as concrete constraints on development and communication. In an attempt to identify relevant dynamic aspects of such a system, one has to take into account events that happen on different time scales: evolutionary language change (i.e., a diachronic aspect), processes of communication (language use) and language acquisition. Acknowledging the role of dynamic processes in shaping and sustaining the structures of natural language calls for a change in methodology. In particular, a purely synchronic analysis of a system of symbols as “meaning-containing entities” is not sufficient to obtain answers to certain recurring problems in linguistics and the philosophy of language. A more encompassing research framework may be the one designed specifically for studying informationally based coupled dynamical systems (coordination dynamics) in which processes of self-organization take place over different time scales. PMID:19173014

  12. Perceptual symbol systems.

    PubMed

    Barsalou, L W

    1999-08-01

    Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statistics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement recording systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The storage and reactivation of perceptual symbols operates at the level of perceptual components--not at the level of holistic perceptual experiences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a common frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspection (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and abstract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinatorially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent

  13. Symbolic dynamics approach to parameter estimation without initial value

    NASA Astrophysics Data System (ADS)

    Wang, Kai; Pei, Wenjiang; Hou, Xubo; Shen, Yi; He, Zhenya

    2009-12-01

    Symbolic dynamics, which partitions the infinite number of finite length trajectories into a finite number of trajectory sets, allows a simplified and “coarse-grained” description of the dynamics of a system with a limited number of symbols. In this Letter, we will show that control parameters affect dynamical characters of symbolic sequences. To be more specific, we will analyze how control parameters affect statistical property of Skewed Tent map symbolic sequences. Besides, we will also analyze how control parameters affect ergodic property of both Logistic map and Tent map symbolic sequences. Both theoretical and experimental results show that the above mentioned effects of control parameters discourage the use of chaotic symbolic sequences in cryptography. Furthermore, we will propose an improved scheme utilizing asymptotic deterministic randomness to avoid the undesirable effects.

  14. Deconstructing spatiotemporal chaos using local symbolic dynamics.

    PubMed

    Pethel, Shawn D; Corron, Ned J; Bollt, Erik

    2007-11-23

    We find that the global symbolic dynamics of a diffusively coupled map lattice is well approximated by a very small local model for weak to moderate coupling strengths. A local symbolic model is a truncation of the full symbolic model to one that considers only a single element and a few neighbors. Using interval analysis, we give rigorous results for a range of coupling strengths and different local model widths. Examples are presented of extracting a local symbolic model from data and of controlling spatiotemporal chaos. PMID:18233220

  15. Abstraction in perceptual symbol systems.

    PubMed Central

    Barsalou, Lawrence W

    2003-01-01

    After reviewing six senses of abstraction, this article focuses on abstractions that take the form of summary representations. Three central properties of these abstractions are established: ( i ) type-token interpretation; (ii) structured representation; and (iii) dynamic realization. Traditional theories of representation handle interpretation and structure well but are not sufficiently dynamical. Conversely, connectionist theories are exquisitely dynamic but have problems with structure. Perceptual symbol systems offer an approach that implements all three properties naturally. Within this framework, a loose collection of property and relation simulators develops to represent abstractions. Type-token interpretation results from binding a property simulator to a region of a perceived or simulated category member. Structured representation results from binding a configuration of property and relation simulators to multiple regions in an integrated manner. Dynamic realization results from applying different subsets of property and relation simulators to category members on different occasions. From this standpoint, there are no permanent or complete abstractions of a category in memory. Instead, abstraction is the skill to construct temporary online interpretations of a category's members. Although an infinite number of abstractions are possible, attractors develop for habitual approaches to interpretation. This approach provides new ways of thinking about abstraction phenomena in categorization, inference, background knowledge and learning. PMID:12903648

  16. Symbol synchronization in convolutionally coded systems

    NASA Technical Reports Server (NTRS)

    Baumert, L. D.; Mceliece, R. J.; Van Tilborg, H. C. A.

    1979-01-01

    Alternate symbol inversion is sometimes applied to the output of convolutional encoders to guarantee sufficient richness of symbol transition for the receiver symbol synchronizer. A bound is given for the length of the transition-free symbol stream in such systems, and those convolutional codes are characterized in which arbitrarily long transition free runs occur.

  17. Non-sequential Recursive Pair Substitutions and Numerical Entropy Estimates in Symbolic Dynamical Systems

    NASA Astrophysics Data System (ADS)

    Calcagnile, Lucio M.; Galatolo, Stefano; Menconi, Giulia

    2010-12-01

    We numerically test the method of non-sequential recursive pair substitutions to estimate the entropy of an ergodic source. We compare its performance with other classical methods to estimate the entropy (empirical frequencies, return times, and Lyapunov exponent). We have considered as a benchmark for the methods several systems with different statistical properties: renewal processes, dynamical systems provided and not provided with a Markov partition, and slow or fast decay of correlations. Most experiments are supported by rigorous mathematical results, which are explained in the paper.

  18. Symbolic Execution Enhanced System Testing

    NASA Technical Reports Server (NTRS)

    Davies, Misty D.; Pasareanu, Corina S.; Raman, Vishwanath

    2012-01-01

    We describe a testing technique that uses information computed by symbolic execution of a program unit to guide the generation of inputs to the system containing the unit, in such a way that the unit's, and hence the system's, coverage is increased. The symbolic execution computes unit constraints at run-time, along program paths obtained by system simulations. We use machine learning techniques treatment learning and function fitting to approximate the system input constraints that will lead to the satisfaction of the unit constraints. Execution of system input predictions either uncovers new code regions in the unit under analysis or provides information that can be used to improve the approximation. We have implemented the technique and we have demonstrated its effectiveness on several examples, including one from the aerospace domain.

  19. Symbolic dynamics and the discrete variational principle

    NASA Astrophysics Data System (ADS)

    Dullin, H. R.

    1998-11-01

    We show how to construct symbolic dynamics for the class of 2d-dimensional twist mappings generated by piecewise strictly convex/concave generating functions. The method is constructive and gives an efficient way to find all periodic orbits of these high-dimensional symplectic mappings. It is illustrated with the cardioid and the stadium billiard.

  20. Quantitative characterisation of audio data by ordinal symbolic dynamics

    NASA Astrophysics Data System (ADS)

    Aschenbrenner, T.; Monetti, R.; Amigó, J. M.; Bunk, W.

    2013-06-01

    Ordinal symbolic dynamics has developed into a valuable method to describe complex systems. Recently, using the concept of transcripts, the coupling behaviour of systems was assessed, combining the properties of the symmetric group with information theoretic ideas. In this contribution, methods from the field of ordinal symbolic dynamics are applied to the characterisation of audio data. Coupling complexity between frequency bands of solo violin music, as a fingerprint of the instrument, is used for classification purposes within a support vector machine scheme. Our results suggest that coupling complexity is able to capture essential characteristics, sufficient to distinguish among different violins.

  1. Symbolic computation in system simulation and design

    NASA Astrophysics Data System (ADS)

    Evans, Brian L.; Gu, Steve X.; Kalavade, Asa; Lee, Edward A.

    1995-06-01

    This paper examines some of the roles that symbolic computation plays in assisting system- level simulation and design. By symbolic computation, we mean programs like Mathematica that perform symbolic algebra and apply transformation rules based on algebraic identities. At a behavioral level, symbolic computation can compute parameters, generate new models, and optimize parameter settings. At the synthesis level, symbolic computation can work in tandem with synthesis tools to rewrite cascade and parallel combinations on components in sub- systems to meet design constraints. Symbolic computation represents one type of tool that may be invoked in the complex flow of the system design process. The paper discusses the qualities that a formal infrastructure for managing system design should have. The paper also describes an implementation of this infrastructure called DesignMaker, implemented in the Ptolemy environment, which manages the flow of tool invocations in an efficient manner using a graphical file dependency mechanism.

  2. Symbolic dynamics-based error analysis on chaos synchronization via noisy channels

    NASA Astrophysics Data System (ADS)

    Lin, Da; Zhang, Fuchen; Liu, Jia-Ming

    2014-07-01

    In this study, symbolic dynamics is used to research the error of chaos synchronization via noisy channels. The theory of symbolic dynamics reduces chaos to a shift map that acts on a discrete set of symbols, each of which contains information about the system state. Using this transformation, a coder-decoder scheme is proposed. A model for the relationship among word length, region number of a partition, and synchronization error is provided. According to the model, the fundamental trade-off between word length and region number can be optimized to minimize the synchronization error. Numerical simulations provide support for our results.

  3. Quantification of cardiorespiratory interactions based on joint symbolic dynamics.

    PubMed

    Kabir, Muammar M; Saint, David A; Nalivaiko, Eugene; Abbott, Derek; Voss, Andreas; Baumert, Mathias

    2011-10-01

    Cardiac and respiratory rhythms are highly nonlinear and nonstationary. As a result traditional time-domain techniques are often inadequate to characterize their complex dynamics. In this article, we introduce a novel technique to investigate the interactions between R-R intervals and respiratory phases based on their joint symbolic dynamics. To evaluate the technique, electrocardiograms (ECG) and respiratory signals were recorded in 13 healthy subjects in different body postures during spontaneous and controlled breathing. Herein, the R-R time series were extracted from ECG and respiratory phases were obtained from abdomen impedance belts using the Hilbert transform. Both time series were transformed into ternary symbol vectors based on the changes between two successive R-R intervals or respiratory phases. Subsequently, words of different symbol lengths were formed and the correspondence between the two series of words was determined to quantify the interaction between cardiac and respiratory cycles. To validate our results, respiratory sinus arrhythmia (RSA) was further studied using the phase-averaged characterization of the RSA pattern. The percentage of similarity of the sequence of symbols, between the respective words of the two series determined by joint symbolic dynamics, was significantly reduced in the upright position compared to the supine position (26.4 ± 4.7 vs. 20.5 ± 5.4%, p < 0.01). Similarly, RSA was also reduced during upright posture, but the difference was less significant (0.11 ± 0.02 vs. 0.08 ± 0.01 s, p < 0.05). In conclusion, joint symbolic dynamics provides a new efficient technique for the analysis of cardiorespiratory interaction that is highly sensitive to the effects of orthostatic challenge. PMID:21618043

  4. Dynamic Assessment of Graphic Symbol Combinations by Children with Autism.

    ERIC Educational Resources Information Center

    Nigam, Ravi

    2001-01-01

    This article offers teaching strategies in the dynamic assessment of the potential of students with autism to acquire and use multiple graphic symbol combinations for communicative purposes. Examples are given of the matrix strategy and milieu language teaching strategies. It also describes the Individualized Communication-Care Protocol, which…

  5. Application of symbolic computation to the analysis of mechanical systems, including robot arms

    NASA Technical Reports Server (NTRS)

    Hussain, M. A.; Noble, B.

    1984-01-01

    This paper illustrates the application of symbolic computation in connection with three aspects of mechanical systems: (1) The derivation of dynamical equations by Lagrangian methods; (2) The analysis and synthesis of kinematic mechanisms; and (3) A robot manipulator arm.

  6. Symbolic dynamics of successive quantum-mechanical measurements

    NASA Astrophysics Data System (ADS)

    Beck, Christian; Graudenz, Dirk

    1992-11-01

    We consider successive measurements on quantum-mechnical systems and investigate the way in which sequences of measurements produce information. The eigenvalues of suitable projection operators form symbolic sequences that characterize the quantum system under consideration. For several model systems with finite-dimensional state space, we explicitly calculate the probabilities to observe certain symbol sequences and determine the corresponding Rényi entropies K(β) with the help of the transfer-matrix method. A nontrivial dependence on β is observed. We show that the Rényi entropies as well as the symbol-sequence probabilities of the quantum-mechanical measurement process coincide with those of appropriate classes of one-dimensional chaotic maps.

  7. Prognostic decision support using symbolic dynamics in CTG monitoring.

    PubMed

    Cesarelli, Mario; Romano, Maria; Bifulco, Paolo; Improta, Giovanni; D'Addio, Giovanni

    2013-01-01

    Foetal heart rate variability is one of the most important parameters to monitor foetal wellbeing. Linear parameters, widely employed to study foetal heart variability, have shown some limitations in highlight dynamics potentially relevant. During the last decades, therefore, nonlinear analysis methods have gained a growing interest to analyze the chaotic nature of cardiac activity. Parameters derived by techniques investigating nonlinear can be included in computerised systems of cardiotocographic monitoring. In this work, we described an application of symbolic dynamics to analyze foetal heart rate variability in healthy foetuses and a concise index, introduced for its classification in antepartum CTG monitoring. The introduced index demonstrated to be capable to highlight differences in heart rate variability and resulted correlated with the Apgar score at birth, in particular, higher variability indexes values are associated to early greater vitality at birth. These preliminary results confirm that SD can be a helpful tool in CTG monitoring, supporting medical decisions in order to assure the maximum well-being of newborns. PMID:23542985

  8. Symbolic dynamics and periodic orbits for the cardioid billiard

    NASA Astrophysics Data System (ADS)

    Bäcker, A.; Dullin, H. R.

    1997-03-01

    The periodic orbits of the strongly chaotic cardioid billiard are studied by introducing a binary symbolic dynamics. The corresponding partition is mapped to a topologically well ordered symbol plane. In the symbol plane the pruning front is obtained from orbits running either into or through the cusp. We show that all periodic orbits correspond to maxima of the Lagrangian and give a complete list up to code length 15. The symmetry reduction is done on the level of the symbol sequences and the periodic orbits are classified using symmetry lines. We show that there exists an infinite number of families of periodic orbits accumulating in length and that all other families of geometrically short periodic orbits eventually get pruned. All these orbits are related to finite orbits starting and ending in the cusp. We obtain an analytical estimate of the Kolmogorov - Sinai entropy and find a good agreement with the numerically calculated value and the one obtained by averaging periodic orbits. Furthermore, the statistical properties of periodic orbits are investigated.

  9. An Acoustic OFDM System with Symbol-by-Symbol Doppler Compensation for Underwater Communication.

    PubMed

    MinhHai, Tran; Rie, Saotome; Suzuki, Taisaku; Wada, Tomohisa

    2016-01-01

    We propose an acoustic OFDM system for underwater communication, specifically for vertical link communications such as between a robot in the sea bottom and a mother ship in the surface. The main contributions are (1) estimation of time varying Doppler shift using continual pilots in conjunction with monitoring the drift of Power Delay Profile and (2) symbol-by-symbol Doppler compensation in frequency domain by an ICI matrix representing nonuniform Doppler. In addition, we compare our proposal against a resampling method. Simulation and experimental results confirm that our system outperforms the resampling method when the velocity changes roughly over OFDM symbols. Overall, experimental results taken in Shizuoka, Japan, show our system using 16QAM, and 64QAM achieved a data throughput of 7.5 Kbit/sec with a transmitter moving at maximum 2 m/s, in a complicated trajectory, over 30 m vertically. PMID:27057558

  10. An Acoustic OFDM System with Symbol-by-Symbol Doppler Compensation for Underwater Communication

    PubMed Central

    MinhHai, Tran; Rie, Saotome; Suzuki, Taisaku; Wada, Tomohisa

    2016-01-01

    We propose an acoustic OFDM system for underwater communication, specifically for vertical link communications such as between a robot in the sea bottom and a mother ship in the surface. The main contributions are (1) estimation of time varying Doppler shift using continual pilots in conjunction with monitoring the drift of Power Delay Profile and (2) symbol-by-symbol Doppler compensation in frequency domain by an ICI matrix representing nonuniform Doppler. In addition, we compare our proposal against a resampling method. Simulation and experimental results confirm that our system outperforms the resampling method when the velocity changes roughly over OFDM symbols. Overall, experimental results taken in Shizuoka, Japan, show our system using 16QAM, and 64QAM achieved a data throughput of 7.5 Kbit/sec with a transmitter moving at maximum 2 m/s, in a complicated trajectory, over 30 m vertically. PMID:27057558

  11. Testing for spatial association of qualitative data using symbolic dynamics

    NASA Astrophysics Data System (ADS)

    Ruiz, Manuel; López, Fernando; Páez, Antonio

    2010-09-01

    Qualitative spatial variables are important in many fields of research. However, unlike the decades-worth of research devoted to the spatial association of quantitative variables, the exploratory analysis of spatial qualitative variables is relatively less developed. The objective of the present paper is to propose a new test ( Q) for spatial independence. This is a simple, consistent, and powerful statistic for qualitative spatial independence that we develop using concepts from symbolic dynamics and symbolic entropy. The Q test can be used to detect, given a spatial distribution of events, patterns of spatial association of qualitative variables in a wide variety of settings. In order to enable hypothesis testing, we give a standard asymptotic distribution of an affine transformation of the symbolic entropy under the null hypothesis of independence in the spatial qualitative process. We include numerical experiments to demonstrate the finite sample behaviour of the test, and show its application by means of an empirical example that explores the spatial association of fast food establishments in the Greater Toronto Area in Canada.

  12. Quantification of fetal heart rate regularity using symbolic dynamics

    NASA Astrophysics Data System (ADS)

    van Leeuwen, P.; Cysarz, D.; Lange, S.; Geue, D.; Groenemeyer, D.

    2007-03-01

    Fetal heart rate complexity was examined on the basis of RR interval time series obtained in the second and third trimester of pregnancy. In each fetal RR interval time series, short term beat-to-beat heart rate changes were coded in 8bit binary sequences. Redundancies of the 28 different binary patterns were reduced by two different procedures. The complexity of these sequences was quantified using the approximate entropy (ApEn), resulting in discrete ApEn values which were used for classifying the sequences into 17 pattern sets. Also, the sequences were grouped into 20 pattern classes with respect to identity after rotation or inversion of the binary value. There was a specific, nonuniform distribution of the sequences in the pattern sets and this differed from the distribution found in surrogate data. In the course of gestation, the number of sequences increased in seven pattern sets, decreased in four and remained unchanged in six. Sequences that occurred less often over time, both regular and irregular, were characterized by patterns reflecting frequent beat-to-beat reversals in heart rate. They were also predominant in the surrogate data, suggesting that these patterns are associated with stochastic heart beat trains. Sequences that occurred more frequently over time were relatively rare in the surrogate data. Some of these sequences had a high degree of regularity and corresponded to prolonged heart rate accelerations or decelerations which may be associated with directed fetal activity or movement or baroreflex activity. Application of the pattern classes revealed that those sequences with a high degree of irregularity correspond to heart rate patterns resulting from complex physiological activity such as fetal breathing movements. The results suggest that the development of the autonomic nervous system and the emergence of fetal behavioral states lead to increases in not only irregular but also regular heart rate patterns. Using symbolic dynamics to

  13. Mathematical modelling and symbolic dynamics analysis of three new Galton board models

    NASA Astrophysics Data System (ADS)

    Mat Daud, Auni Aslah

    2014-10-01

    A Galton board, also known as a quincunx, is a device invented by Francis Galton in 1873 that consists of two upright boards with rows of pins, and a funnel. In this paper, three new mathematical models of Galton board that are of increasing complexity are formulated. The discussion includes a brief literature review, the description of the systems, the important physical processes, the assumptions employed and the derivation of the governing equations of the models. The quincunx models are folded into a discrete-time deterministic dynamical system, called the quincunx maps, that enables a simplified analysis of the symbolic dynamics. While Galton and countless subsequent statisticians have suggested that a small ball falling through a quincunx would exhibit random walk; the results of the symbolic dynamics analysis demonstrate that this is not the case. This paper presents evidence that the details of the deterministic models are not essential for demonstrating deviations from the statistical models.

  14. Color and symbology: symbolic systems of color ordering

    NASA Astrophysics Data System (ADS)

    Varela, Diana

    2002-06-01

    Color has been used symbolically in various different fields, such as Heraldry, Music, Liturgy, Alchemy, Art and Literature. In this study, we shall investigate and analyse the structures of relationships that have taken shape as symbolic systems within each specific area of analysis. We shall discuss the most significant symbolic fields and their systems of color ording, considering each one of them as a topological model based on a logic that determines the total organization, according to the scale of reciprocities applied, and the cultural context that gives it meaning.

  15. Neural computing for numeric-to-symbolic conversion in control systems

    NASA Technical Reports Server (NTRS)

    Passino, Kevin M.; Sartori, Michael A.; Antsaklis, Panos J.

    1989-01-01

    A type of neural network, the multilayer perceptron, is used to classify numeric data and assign appropriate symbols to various classes. This numeric-to-symbolic conversion results in a type of information extraction, which is similar to what is called data reduction in pattern recognition. The use of the neural network as a numeric-to-symbolic converter is introduced, its application in autonomous control is discussed, and several applications are studied. The perceptron is used as a numeric-to-symbolic converter for a discrete-event system controller supervising a continuous variable dynamic system. It is also shown how the perceptron can implement fault trees, which provide useful information (alarms) in a biological system and information for failure diagnosis and control purposes in an aircraft example.

  16. Distinguishing chaotic and stochastic dynamics from time series by using a multiscale symbolic approach.

    PubMed

    Zunino, L; Soriano, M C; Rosso, O A

    2012-10-01

    In this paper we introduce a multiscale symbolic information-theory approach for discriminating nonlinear deterministic and stochastic dynamics from time series associated with complex systems. More precisely, we show that the multiscale complexity-entropy causality plane is a useful representation space to identify the range of scales at which deterministic or noisy behaviors dominate the system's dynamics. Numerical simulations obtained from the well-known and widely used Mackey-Glass oscillator operating in a high-dimensional chaotic regime were used as test beds. The effect of an increased amount of observational white noise was carefully examined. The results obtained were contrasted with those derived from correlated stochastic processes and continuous stochastic limit cycles. Finally, several experimental and natural time series were analyzed in order to show the applicability of this scale-dependent symbolic approach in practical situations. PMID:23214666

  17. Symbolic dynamics of jejunal motility in the irritable bowel

    NASA Astrophysics Data System (ADS)

    Wackerbauer, Renate; Schmidt, Thomas

    1999-09-01

    Different studies of the irritable bowel syndrome (IBS) by conventional analysis of jejunal motility report conflicting results. Therefore, our aim is to quantify the jejunal contraction activity by symbolic dynamics in order to discriminate between IBS and control subjects. Contraction amplitudes during fasting motility (phase II) are analyzed for 30 IBS and 30 healthy subjects. On the basis of a particular scale-independent discretization of the contraction amplitudes with respect to the median, IBS patients are characterized by increased block entropy as well as increased mean contraction amplitude. In a further more elementary level of analysis these differences can be reduced to specific contraction patterns within the time series, namely the fact that successive large contraction amplitudes are less ordered in IBS than in controls. These significant differences in jejunal motility may point to an altered control of the gut in IBS, although further studies on a representative number of patients have to be done for a validation of these findings.

  18. Symbolic dynamics and computation in model gene networks.

    PubMed

    Edwards, R.; Siegelmann, H. T.; Aziza, K.; Glass, L.

    2001-03-01

    We analyze a class of ordinary differential equations representing a simplified model of a genetic network. In this network, the model genes control the production rates of other genes by a logical function. The dynamics in these equations are represented by a directed graph on an n-dimensional hypercube (n-cube) in which each edge is directed in a unique orientation. The vertices of the n-cube correspond to orthants of state space, and the edges correspond to boundaries between adjacent orthants. The dynamics in these equations can be represented symbolically. Starting from a point on the boundary between neighboring orthants, the equation is integrated until the boundary is crossed for a second time. Each different cycle, corresponding to a different sequence of orthants that are traversed during the integration of the equation always starting on a boundary and ending the first time that same boundary is reached, generates a different letter of the alphabet. A word consists of a sequence of letters corresponding to a possible sequence of orthants that arise from integration of the equation starting and ending on the same boundary. The union of the words defines the language. Letters and words correspond to analytically computable Poincare maps of the equation. This formalism allows us to define bifurcations of chaotic dynamics of the differential equation that correspond to changes in the associated language. Qualitative knowledge about the dynamics found by integrating the equation can be used to help solve the inverse problem of determining the underlying network generating the dynamics. This work places the study of dynamics in genetic networks in a context comprising both nonlinear dynamics and the theory of computation. (c) 2001 American Institute of Physics. PMID:12779450

  19. Estimating and improving the signal-to-noise ratio of time series by symbolic dynamics.

    PubMed

    Graben, P

    2001-11-01

    We investigate the effect of symbolic encoding applied to times series consisting of some deterministic signal and additive noise, as well as time series given by a deterministic signal with randomly distributed initial conditions as a model of event-related brain potentials. We introduce an estimator of the signal-to-noise ratio (SNR) of the system by means of time averages of running complexity measures such as Shannon and Rényi entropies, and prove its asymptotical equivalence with the linear SNR in the case of Shannon entropies of symbol distributions. A SNR improvement factor is defined, exhibiting a maximum for intermediate values of noise amplitude in analogy to stochastic resonance phenomena. We demonstrate that the maximum of the SNR improvement factor can be shifted toward smaller noise amplitudes by using higher order Rényi entropies instead of the Shannon entropy. For a further improvement of the SNR, a half wave encoding of noisy time series is introduced. Finally, we discuss the effect of noisy phases on the linear SNR as well as on the SNR defined by symbolic dynamics. It is shown that longer symbol sequences yield an improvement of the latter. PMID:11735897

  20. Symbolic dynamics of pulse transit time and heart period in children with upper airway obstruction.

    PubMed

    Baumert, Mathias; Kohler, Mark; Pamula, Yvonne; Immanuel, Sarah A

    2015-08-01

    Upper airway obstruction (UAO) is a relatively common condition during childhood that is characterized by periods of partial or complete upper airway closure, resulting in restless sleep. It has also been suggested that UAO triggers early cardiovascular changes that may predispose to an increased risk of developing cardiovascular diseases later in life. The aim of this study was to assess the temporal dynamics of heart period (HP) and pulse transit time (PTT) during quite, event-free periods of sleep in children with UAO (n = 40) and matched healthy controls. The dynamics of HP and PTT were symbolized based on the sextiles of their distribution and words of length three were formed and classified into four types based on their patterns. Joint symbolic dynamics represent the concomitant occurrence of words in HP and PTT. Children with UAO showed a significantly increased frequency in word types of monotonously increasing and decreasing HP and PTT as well as joint dynamics across all stages of sleep. The dynamics of HP showed a marked sleep stage dependence, while PTT dynamics appeared to be relatively unaffected. In conclusion, cardiovascular dynamics are altered in children with UAO during scored event-free sleep, indicative of frequent bursts in sympathetic nervous system activity, possibly reflecting subcortical arousal responses to brief and subtle increases in UAO. PMID:26736629

  1. Space telescope coordinate systems, symbols, and nomenclature definitions

    NASA Technical Reports Server (NTRS)

    Kennel, H. F.

    1976-01-01

    The major coordinate systems as well as the transformations and transformation angles between them, for the Space Telescope are defined. The coordinate systems were primarily developed for use in pointing and control system analysis and simulation. Additional useful information (on nomenclature, symbols, quaternion operations, etc.) is also contained.

  2. Randomization of Symbol Repetition of Punch Cards with Superimposed Coding in Information-Search Systems.

    ERIC Educational Resources Information Center

    Pirovich, L. Ya

    The article shows the effect of the irregularity of using separate symbols on search noise on punch cards with superimposed symbol coding in information-search system (IPS). A binomial law of random value distribution of repetition of each symbol is established and analyzed. A method of determining the maximum value of symbol repetition is…

  3. Combining Automated Theorem Provers with Symbolic Algebraic Systems: Position Paper

    NASA Technical Reports Server (NTRS)

    Schumann, Johann; Koga, Dennis (Technical Monitor)

    1999-01-01

    In contrast to pure mathematical applications where automated theorem provers (ATPs) are quite capable, proof tasks arising form real-world applications from the area of Software Engineering show quite different characteristics: they usually do not only contain much arithmetic (albeit often quite simple one), but they also often contain reasoning about specific structures (e.g. graphics, sets). Thus, an ATP must be capable of performing reasoning together with a fair amount of simplification, calculation and solving. Therefore, powerful simplifiers and other (symbolic and semi-symbolic) algorithms seem to be ideally suited to augment ATPs. In the following we shortly describe two major points of interest in combining SASs (symbolic algebraic systems) with top-down automated theorem provers (here: SETHEO [Let92, GLMS94]).

  4. Linking somatic and symbolic representation in semantic memory: the dynamic multilevel reactivation framework.

    PubMed

    Reilly, Jamie; Peelle, Jonathan E; Garcia, Amanda; Crutch, Sebastian J

    2016-08-01

    Biological plausibility is an essential constraint for any viable model of semantic memory. Yet, we have only the most rudimentary understanding of how the human brain conducts abstract symbolic transformations that underlie word and object meaning. Neuroscience has evolved a sophisticated arsenal of techniques for elucidating the architecture of conceptual representation. Nevertheless, theoretical convergence remains elusive. Here we describe several contrastive approaches to the organization of semantic knowledge, and in turn we offer our own perspective on two recurring questions in semantic memory research: (1) to what extent are conceptual representations mediated by sensorimotor knowledge (i.e., to what degree is semantic memory embodied)? (2) How might an embodied semantic system represent abstract concepts such as modularity, symbol, or proposition? To address these questions, we review the merits of sensorimotor (i.e., embodied) and amodal (i.e., disembodied) semantic theories and address the neurobiological constraints underlying each. We conclude that the shortcomings of both perspectives in their extreme forms necessitate a hybrid middle ground. We accordingly propose the Dynamic Multilevel Reactivation Framework-an integrative model predicated upon flexible interplay between sensorimotor and amodal symbolic representations mediated by multiple cortical hubs. We discuss applications of the dynamic multilevel reactivation framework to abstract and concrete concept representation and describe how a multidimensional conceptual topography based on emotion, sensation, and magnitude can successfully frame a semantic space containing meanings for both abstract and concrete words. The consideration of 'abstract conceptual features' does not diminish the role of logical and/or executive processing in activating, manipulating and using information stored in conceptual representations. Rather, it proposes that the materials upon which these processes operate

  5. The Dynamic Role of Symbols in Human Meaning Making

    ERIC Educational Resources Information Center

    Tracy, Rita

    2012-01-01

    The author reviews "Symbolic Transformation: The Mind in Movement Through Culture and Society," an important first book in a new series that aimed at understanding the myriad ways "social representation processes operate in one's everyday feeling, thinking and acting." The book consists of a series of chapters brought together to develop a rich…

  6. EMD-Based Symbolic Dynamic Analysis for the Recognition of Human and Nonhuman Pyroelectric Infrared Signals.

    PubMed

    Zhao, Jiaduo; Gong, Weiguo; Tang, Yuzhen; Li, Weihong

    2016-01-01

    In this paper, we propose an effective human and nonhuman pyroelectric infrared (PIR) signal recognition method to reduce PIR detector false alarms. First, using the mathematical model of the PIR detector, we analyze the physical characteristics of the human and nonhuman PIR signals; second, based on the analysis results, we propose an empirical mode decomposition (EMD)-based symbolic dynamic analysis method for the recognition of human and nonhuman PIR signals. In the proposed method, first, we extract the detailed features of a PIR signal into five symbol sequences using an EMD-based symbolization method, then, we generate five feature descriptors for each PIR signal through constructing five probabilistic finite state automata with the symbol sequences. Finally, we use a weighted voting classification strategy to classify the PIR signals with their feature descriptors. Comparative experiments show that the proposed method can effectively classify the human and nonhuman PIR signals and reduce PIR detector's false alarms. PMID:26805837

  7. EMD-Based Symbolic Dynamic Analysis for the Recognition of Human and Nonhuman Pyroelectric Infrared Signals

    PubMed Central

    Zhao, Jiaduo; Gong, Weiguo; Tang, Yuzhen; Li, Weihong

    2016-01-01

    In this paper, we propose an effective human and nonhuman pyroelectric infrared (PIR) signal recognition method to reduce PIR detector false alarms. First, using the mathematical model of the PIR detector, we analyze the physical characteristics of the human and nonhuman PIR signals; second, based on the analysis results, we propose an empirical mode decomposition (EMD)-based symbolic dynamic analysis method for the recognition of human and nonhuman PIR signals. In the proposed method, first, we extract the detailed features of a PIR signal into five symbol sequences using an EMD-based symbolization method, then, we generate five feature descriptors for each PIR signal through constructing five probabilistic finite state automata with the symbol sequences. Finally, we use a weighted voting classification strategy to classify the PIR signals with their feature descriptors. Comparative experiments show that the proposed method can effectively classify the human and nonhuman PIR signals and reduce PIR detector’s false alarms. PMID:26805837

  8. Chaos and crises in a model for cooperative hunting: A symbolic dynamics approach

    NASA Astrophysics Data System (ADS)

    Duarte, Jorge; Januário, Cristina; Martins, Nuno; Sardanyés, Josep

    2009-12-01

    In this work we investigate the population dynamics of cooperative hunting extending the McCann and Yodzis model for a three-species food chain system with a predator, a prey, and a resource species. The new model considers that a given fraction σ of predators cooperates in prey's hunting, while the rest of the population 1-σ hunts without cooperation. We use the theory of symbolic dynamics to study the topological entropy and the parameter space ordering of the kneading sequences associated with one-dimensional maps that reproduce significant aspects of the dynamics of the species under several degrees of cooperative hunting. Our model also allows us to investigate the so-called deterministic extinction via chaotic crisis and transient chaos in the framework of cooperative hunting. The symbolic sequences allow us to identify a critical boundary in the parameter spaces (K ,C0) and (K ,σ) which separates two scenarios: (i) all-species coexistence and (ii) predator's extinction via chaotic crisis. We show that the crisis value of the carrying capacity Kc decreases at increasing σ, indicating that predator's populations with high degree of cooperative hunting are more sensitive to the chaotic crises. We also show that the control method of Dhamala and Lai [Phys. Rev. E 59, 1646 (1999)] can sustain the chaotic behavior after the crisis for systems with cooperative hunting. We finally analyze and quantify the inner structure of the target regions obtained with this control method for wider parameter values beyond the crisis, showing a power law dependence of the extinction transients on such critical parameters.

  9. Symbolic Simulation Of Engineering Systems On A Supercomputer

    NASA Astrophysics Data System (ADS)

    Ragheb, Magdi; Gvillo, Dennis; Makowitz, Henry

    1986-03-01

    Model-Based Production-Rule systems for analysis are developed for the symbolic simulation of Complex Engineering systems on a CRAY X-MP Supercomputer. The Fault-Tree and Event-Tree Analysis methodologies from Systems-Analysis are used for problem representation and are coupled to the Rule-Based System Paradigm from Knowledge Engineering to provide modelling of engineering devices. Modelling is based on knowledge of the structure and function of the device rather than on human expertise alone. To implement the methodology, we developed a Production-Rule Analysis System that uses both backward-chaining and forward-chaining: HAL-1986. The inference engine uses an Induction-Deduction-Oriented antecedent-consequent logic and is programmed in Portable Standard Lisp (PSL). The inference engine is general and can accommodate general modifications and additions to the knowledge base. The methodologies used will be demonstrated using a model for the identification of faults, and subsequent recovery from abnormal situations in Nuclear Reactor Safety Analysis. The use of the exposed methodologies for the prognostication of future device responses under operational and accident conditions using coupled symbolic and procedural programming is discussed.

  10. Identification of statistical patterns in complex systems via symbolic time series analysis.

    PubMed

    Gupta, Shalabh; Khatkhate, Amol; Ray, Asok; Keller, Eric

    2006-10-01

    Identification of statistical patterns from observed time series of spatially distributed sensor data is critical for performance monitoring and decision making in human-engineered complex systems, such as electric power generation, petrochemical, and networked transportation. This paper presents an information-theoretic approach to identification of statistical patterns in such systems, where the main objective is to enhance structural integrity and operation reliability. The core concept of pattern identification is built upon the principles of Symbolic Dynamics, Automata Theory, and Information Theory. To this end, a symbolic time series analysis method has been formulated and experimentally validated on a special-purpose test apparatus that is designed for data acquisition and real-time analysis of fatigue damage in polycrystalline alloys. PMID:17063932

  11. Joint symbolic dynamics for the assessment of cardiovascular and cardiorespiratory interactions

    PubMed Central

    Baumert, Mathias; Javorka, Michal; Kabir, Muammar

    2015-01-01

    Beat-to-beat variations in heart period provide information on cardiovascular control and are closely linked to variations in arterial pressure and respiration. Joint symbolic analysis of heart period, systolic arterial pressure and respiration allows for a simple description of their shared short-term dynamics that are governed by cardiac baroreflex control and cardiorespiratory coupling. In this review, we discuss methodology and research applications. Studies suggest that analysis of joint symbolic dynamics provides a powerful tool for identifying physiological and pathophysiological changes in cardiovascular and cardiorespiratory control. PMID:25548272

  12. Joint symbolic dynamics for the assessment of cardiovascular and cardiorespiratory interactions.

    PubMed

    Baumert, Mathias; Javorka, Michal; Kabir, Muammar

    2015-02-13

    Beat-to-beat variations in heart period provide information on cardiovascular control and are closely linked to variations in arterial pressure and respiration. Joint symbolic analysis of heart period, systolic arterial pressure and respiration allows for a simple description of their shared short-term dynamics that are governed by cardiac baroreflex control and cardiorespiratory coupling. In this review, we discuss methodology and research applications. Studies suggest that analysis of joint symbolic dynamics provides a powerful tool for identifying physiological and pathophysiological changes in cardiovascular and cardiorespiratory control. PMID:25548272

  13. Arbitrary mechanical system description by a symbolic line

    NASA Astrophysics Data System (ADS)

    Dmitrochenko, O.; Mikkola, A.; Olshevskiy, A.

    2016-04-01

    A single-line symbolic notation is proposed for description of an arbitrary multibody system. The kinematics is represented by a sequence of elementary transformations, each of those being marked by a reserved alphabetic character. Force and constraint links between the bodies are also defined by reserved characters. The parameters of the system, such as identifiers of degrees of freedom, inertia parameters and others, are assigned default names if not specified. However, user-defined names, parameters and functions can be placed instead if needed. The proposed description in its shortest form is suitable for academic purpose to identify only the essential properties of a multibody system. In an extended form, by explicit mentioning names of variables and parameters and other data like initial conditions, this description can serve as input data for a multibody analysis software. Lots of examples from the academic area and technical applications are given to show the applicability of the description.

  14. Linearly interpolated sub-symbol optical phase noise suppression in CO-OFDM system.

    PubMed

    Hong, Xuezhi; Hong, Xiaojian; He, Sailing

    2015-02-23

    An optical phase noise suppression algorithm, LI-SCPEC, based on phase linear interpolation and sub-symbol processing is proposed for CO-OFDM system. By increasing the temporal resolution of carrier phase tracking through dividing one symbol into several sub-blocks, i.e., sub-symbols, inter-carrier-interference (ICI) mitigation is achieved in the proposed algorithm. Linear interpolation is employed to obtain a reliable temporal reference for sub-symbol phase estimation. The new algorithm, with only a few number of sub-symbols (N(B) = 4), can provide a considerably larger laser linewidth tolerance than several other ICI mitigation algorithms as demonstrated by Monte-Carlo simulations. Numerical analysis verifies that the best performance is achieved with an optimal and moderate number of sub-symbols. Complexity analysis shows that the required number of complex-valued multiplications is independent of the number of sub-symbols used in the proposed algorithm. PMID:25836506

  15. A Symbolic Dynamics Perspective of Conway’s Game of Life

    NASA Astrophysics Data System (ADS)

    Chen, Fangyue; Chen, Bo; Guan, Junbiao; Jin, Weifeng

    An interesting question is whether the intrinsic complexity of the gliders in D-dimensional cellular automata could be quantitatively analyzed in rigorously mathematical sense. In this paper, by introducing the D-dimensional symbolic space, some fundamental dynamical properties of D-dimensional shift map are explored in a subtle way. The purpose of this article is to present an accurate characterization of complex symbolic dynamics of gliders in Conway’s game of life. A series of dynamical properties of gliders on their concrete subsystems are investigated by means of the directed graph representation and transition matrix. More specifically, the gliders here are topologically mixing and possess the positive topological entropy on their subsystems. Finally, it is worth mentioning that the method presented in this paper is also applicable to other gliders in different D dimensions.

  16. Chaos Theory: Self-Organization and Symbolic Representation in Family Systems.

    ERIC Educational Resources Information Center

    Butz, Michael R.; Carlson, J. Matthew; Carlson, Jon

    1998-01-01

    Proposes an integration of the use of symbols and metaphors that illustrates nonlinear dynamics through a case example weaving together contemporary science and human development in the context of family therapy. Discusses areas of future study. (Author/MKA)

  17. Standardization of a Graphic Symbol System as an Alternative Communication Tool for Turkish

    ERIC Educational Resources Information Center

    Karal, Yasemin; Karal, Hasan; Silbir, Lokman; Altun, Taner

    2016-01-01

    Graphic symbols are commonly used across countries in order to support individuals with communicative deficiency. The literature review revealed the absence of such a system for Turkish socio-cultural context. In this study, the aim was to develop a symbol system appropriate for the Turkish socio-cultural context. The process began with studies…

  18. Problem Solving in Calculus with Symbolic Geometry and CAS

    ERIC Educational Resources Information Center

    Todd, Philip; Wiechmann, James

    2008-01-01

    Computer algebra systems (CAS) have been around for a number of years, as has dynamic geometry. Symbolic geometry software is new. It bears a superficial similarity to dynamic geometry software, but differs in that problems may be set up involving symbolic variables and constants, and measurements are given as symbolic expressions. Mathematical…

  19. Symbolic Representation for Introduction of Concept of Decimal System in Mexican School Children

    ERIC Educational Resources Information Center

    Solovieva, Y.; Rosas Rivera, Y.; Quintanar, L.; García, M. A.

    2013-01-01

    The present study describes the usage of strategies of symbolic representation during teaching introduction of decimal system in primary school in Mexico. Our research is based on Activity Theory conception of teaching-learning process and of gradual introduction of scientific concepts in school age. The method includes symbolic external…

  20. The analysis of control trajectories using symbolic and database computing

    NASA Technical Reports Server (NTRS)

    Grossman, Robert

    1991-01-01

    The research broadly concerned the symbolic computation, mixed numeric-symbolic computation, and data base computation of trajectories of dynamical systems, especially control systems. It was determined that trees can be used to compute symbolically series which approximate solutions to differential equations.

  1. The Development of a Universal Tangible Symbol System

    ERIC Educational Resources Information Center

    Trief, Ellen; Bruce, Susan M.; Cascella, Paul W.; Ivy, Sarah

    2009-01-01

    Tangible symbols are objects or partial objects with qualities, such as shape, texture, and consistency, that can be used to represent a person, place, object, activity, or concept. They can be handled and share a perceptual relationship with what they represent, known as the referent. This article presents a study on the development of a…

  2. Foundations of Representation: Where Might Graphical Symbol Systems Come from?

    ERIC Educational Resources Information Center

    Garrod, Simon; Fay, Nicolas; Lee, John; Oberlander, Jon; MacLeod, Tracy

    2007-01-01

    It has been suggested that iconic graphical signs evolve into symbolic graphical signs through repeated usage. This article reports a series of interactive graphical communication experiments using a "pictionary" task to establish the conditions under which the evolution might occur. Experiment 1 rules out a simple repetition based account in…

  3. Symbolic dynamics marker of heart rate variability combined with clinical variables enhance obstructive sleep apnea screening.

    PubMed

    Ravelo-García, A G; Saavedra-Santana, P; Juliá-Serdá, G; Navarro-Mesa, J L; Navarro-Esteva, J; Álvarez-López, X; Gapelyuk, A; Penzel, T; Wessel, N

    2014-06-01

    Many sleep centres try to perform a reduced portable test in order to decrease the number of overnight polysomnographies that are expensive, time-consuming, and disturbing. With some limitations, heart rate variability (HRV) has been useful in this task. The aim of this investigation was to evaluate if inclusion of symbolic dynamics variables to a logistic regression model integrating clinical and physical variables, can improve the detection of subjects for further polysomnographies. To our knowledge, this is the first contribution that innovates in that strategy. A group of 133 patients has been referred to the sleep center for suspected sleep apnea. Clinical assessment of the patients consisted of a sleep related questionnaire and a physical examination. The clinical variables related to apnea and selected in the statistical model were age (p < 10(-3)), neck circumference (p < 10(-3)), score on a questionnaire scale intended to quantify daytime sleepiness (p < 10(-3)), and intensity of snoring (p < 10(-3)). The validation of this model demonstrated an increase in classification performance when a variable based on non-linear dynamics of HRV (p < 0.01) was used additionally to the other variables. For diagnostic rule based only on clinical and physical variables, the corresponding area under the receiver operating characteristic (ROC) curve was 0.907 (95% confidence interval (CI) = 0.848, 0.967), (sensitivity 87.10% and specificity 80%). For the model including the average of a symbolic dynamic variable, the area under the ROC curve was increased to 0.941 (95% = 0.897, 0.985), (sensitivity 88.71% and specificity 82.86%). In conclusion, symbolic dynamics, coupled with significant clinical and physical variables can help to prioritize polysomnographies in patients with a high probability of apnea. In addition, the processing of the HRV is a well established low cost and robust technique. PMID:24985458

  4. Symbolic dynamics marker of heart rate variability combined with clinical variables enhance obstructive sleep apnea screening

    NASA Astrophysics Data System (ADS)

    Ravelo-García, A. G.; Saavedra-Santana, P.; Juliá-Serdá, G.; Navarro-Mesa, J. L.; Navarro-Esteva, J.; Álvarez-López, X.; Gapelyuk, A.; Penzel, T.; Wessel, N.

    2014-06-01

    Many sleep centres try to perform a reduced portable test in order to decrease the number of overnight polysomnographies that are expensive, time-consuming, and disturbing. With some limitations, heart rate variability (HRV) has been useful in this task. The aim of this investigation was to evaluate if inclusion of symbolic dynamics variables to a logistic regression model integrating clinical and physical variables, can improve the detection of subjects for further polysomnographies. To our knowledge, this is the first contribution that innovates in that strategy. A group of 133 patients has been referred to the sleep center for suspected sleep apnea. Clinical assessment of the patients consisted of a sleep related questionnaire and a physical examination. The clinical variables related to apnea and selected in the statistical model were age (p < 10-3), neck circumference (p < 10-3), score on a questionnaire scale intended to quantify daytime sleepiness (p < 10-3), and intensity of snoring (p < 10-3). The validation of this model demonstrated an increase in classification performance when a variable based on non-linear dynamics of HRV (p < 0.01) was used additionally to the other variables. For diagnostic rule based only on clinical and physical variables, the corresponding area under the receiver operating characteristic (ROC) curve was 0.907 (95% confidence interval (CI) = 0.848, 0.967), (sensitivity 87.10% and specificity 80%). For the model including the average of a symbolic dynamic variable, the area under the ROC curve was increased to 0.941 (95% = 0.897, 0.985), (sensitivity 88.71% and specificity 82.86%). In conclusion, symbolic dynamics, coupled with significant clinical and physical variables can help to prioritize polysomnographies in patients with a high probability of apnea. In addition, the processing of the HRV is a well established low cost and robust technique.

  5. Mapping sea ice leads with a coupled numeric/symbolic system

    NASA Technical Reports Server (NTRS)

    Key, J.; Schweiger, A. J.; Maslanik, J. A.

    1990-01-01

    A method is presented which facilitates the detection and delineation of leads with single-channel Landsat data by coupling numeric and symbolic procedures. The procedure consists of three steps: (1) using the dynamic threshold method, an image is mapped to a lead/no lead binary image; (2) the likelihood of fragments to be real leads is examined with a set of numeric rules; and (3) pairs of objects are examined geometrically and merged where possible. The processing ends when all fragments are merged and statistical characteristics are determined, and a map of valid lead objects are left which summarizes useful physical in the lead complexes. Direct implementation of domain knowledge and rapid prototyping are two benefits of the rule-based system. The approach is found to be more successfully applied to mid- and high-level processing, and the system can retrieve statistics about sea-ice leads as well as detect the leads.

  6. Foundations of representation: where might graphical symbol systems come from?

    PubMed

    Garrod, Simon; Fay, Nicolas; Lee, John; Oberlander, Jon; Macleod, Tracy

    2007-11-12

    It has been suggested that iconic graphical signs evolve into symbolic graphical signs through repeated usage. This article reports a series of interactive graphical communication experiments using a 'pictionary' task to establish the conditions under which the evolution might occur. Experiment 1 rules out a simple repetition based account in favor of an account that requires feedback and interaction between communicators. Experiment 2 shows how the degree of interaction affects the evolution of signs according to a process of grounding. Experiment 3 confirms the prediction that those not involved directly in the interaction have trouble interpreting the graphical signs produced in Experiment 1. On the basis of these results, this article argues that icons evolve into symbols as a consequence of the systematic shift in the locus of information from the sign to the users' memory of the sign's usage supported by an interactive grounding process. PMID:21635324

  7. Combining metric episodes with semantic event concepts within the Symbolic and Sub-Symbolic Robotics Intelligence Control System (SS-RICS)

    NASA Astrophysics Data System (ADS)

    Kelley, Troy D.; McGhee, S.

    2013-05-01

    This paper describes the ongoing development of a robotic control architecture that inspired by computational cognitive architectures from the discipline of cognitive psychology. The Symbolic and Sub-Symbolic Robotics Intelligence Control System (SS-RICS) combines symbolic and sub-symbolic representations of knowledge into a unified control architecture. The new architecture leverages previous work in cognitive architectures, specifically the development of the Adaptive Character of Thought-Rational (ACT-R) and Soar. This paper details current work on learning from episodes or events. The use of episodic memory as a learning mechanism has, until recently, been largely ignored by computational cognitive architectures. This paper details work on metric level episodic memory streams and methods for translating episodes into abstract schemas. The presentation will include research on learning through novelty and self generated feedback mechanisms for autonomous systems.

  8. Symbolism in prehistoric man.

    PubMed

    Facchini, F

    2000-12-01

    The aptitude for symbolization, characteristic of man, is revealed not only in artistic representations and funerary practices. It is exhibited by every manifestation of human activity or representation of natural phenomena that assumes or refers to a meaning. We can recognize functional symbolism (tool-making, habitative or food technology), social symbolism, (language and social communication) and spiritual symbolism (funerary practices and artistic expressions). On the basis of these concepts, research into symbolism in prehistoric man allows us to recognize forms of symbolism already in the manifestations of the most ancient humans, starting with Homo habilis (or rudolfensis). Toolmaking, social organization and organization of the territory are oriented toward survival and the life of the family group. They attest to symbolic behaviors and constitute symbolic systems by means of which man expresses himself, lives and transmits his symbolic world. The diverse forms of symbolism are discussed with reference to the different phases of prehistoric humanity. PMID:11216422

  9. Symbolic generation of elastic rotor blade equations using a FORTRAN processor and numerical study on dynamic inflow effects on the stability of helicopter rotors

    NASA Technical Reports Server (NTRS)

    Reddy, T. S. R.

    1986-01-01

    The process of performing an automated stability analysis for an elastic-bladed helicopter rotor is discussed. A symbolic manipulation program, written in FORTRAN, is used to aid in the derivation of the governing equations of motion for the rotor. The blades undergo coupled bending and torsional deformations. Two-dimensional quasi-steady aerodynamics below stall are used. Although reversed flow effects are neglected, unsteady effects, modeled as dynamic inflow are included. Using a Lagrangian approach, the governing equations are derived in generalized coordinates using the symbolic program. The program generates the steady and perturbed equations and writes into subroutines to be called by numerical routines. The symbolic program can operate on both expressions and matrices. For the case of hovering flight, the blade and dynamic inflow equations are converted to equations in a multiblade coordinate system by rearranging the coefficients of the equations. For the case of forward flight, the multiblade equations are obtained through the symbolic program. The final multiblade equations are capable of accommodating any number of elastic blade modes. The computer implementation of this procedure consists of three stages: (1) the symbolic derivation of equations; (2) the coding of the equations into subroutines; and (3) the numerical study after identifying mass, damping, and stiffness coefficients. Damping results are presented in hover and in forward flight with and without dynamic inflow effects for various rotor blade models, including rigid blade lag-flap, elastic flap-lag, flap-lag-torsion, and quasi-static torsion. Results from dynamic inflow effects which are obtained from a lift deficiency function for a quasi-static inflow model in hover are also presented.

  10. Changing the precision of preschoolers' approximate number system representations changes their symbolic math performance.

    PubMed

    Wang, Jinjing Jenny; Odic, Darko; Halberda, Justin; Feigenson, Lisa

    2016-07-01

    From early in life, humans have access to an approximate number system (ANS) that supports an intuitive sense of numerical quantity. Previous work in both children and adults suggests that individual differences in the precision of ANS representations correlate with symbolic math performance. However, this work has been almost entirely correlational in nature. Here we tested for a causal link between ANS precision and symbolic math performance by asking whether a temporary modulation of ANS precision changes symbolic math performance. First, we replicated a recent finding that 5-year-old children make more precise ANS discriminations when starting with easier trials and gradually progressing to harder ones, compared with the reverse. Next, we show that this brief modulation of ANS precision influenced children's performance on a subsequent symbolic math task but not a vocabulary task. In a supplemental experiment, we present evidence that children who performed ANS discriminations in a random trial order showed intermediate performance on both the ANS task and the symbolic math task, compared with children who made ordered discriminations. Thus, our results point to a specific causal link from the ANS to symbolic math performance. PMID:27061668

  11. The influence of dynamic inflow and torsional flexibility on rotor damping in forward flight from symbolically generated equations

    NASA Technical Reports Server (NTRS)

    Reddy, T. S. R.; Warmbrodt, W.

    1985-01-01

    The combined effects of blade torsion and dynamic inflow on the aeroelastic stability of an elastic rotor blade in forward flight are studied. The governing sets of equations of motion (fully nonlinear, linearized, and multiblade equations) used in this study are derived symbolically using a program written in FORTRAN. Stability results are presented for different structural models with and without dynamic inflow. A combination of symbolic and numerical programs at the proper stage in the derivation process makes the obtainment of final stability results an efficient and straightforward procedure.

  12. Data-derived symbol synchronization of MASK and QASK signals. [for multilevel digital communication systems

    NASA Technical Reports Server (NTRS)

    Simon, M. K.

    1974-01-01

    Multilevel amplitude-shift-keying (MASK) and quadrature amplitude-shift-keying (QASK) as signaling techniques for multilevel digital communications systems, and the problem of providing symbol synchronization in the receivers of such systems are discussed. A technique is presented for extracting symbol sync from an MASK or QASK signal. The scheme is a generalization of the data transition tracking loop used in PSK systems. The performance of the loop was analyzed in terms of its mean-squared jitter and its effects on the data detection process in MASK and QASK systems.

  13. Cardiorespiratory and cardiovascular interactions in cardiomyopathy patients using joint symbolic dynamic analysis.

    PubMed

    Giraldo, Beatriz F; Rodriguez, Javier; Caminal, Pere; Bayes-Genis, Antonio; Voss, Andreas

    2015-01-01

    Cardiovascular diseases are the first cause of death in developed countries. Using electrocardiographic (ECG), blood pressure (BP) and respiratory flow signals, we obtained parameters for classifying cardiomyopathy patients. 42 patients with ischemic (ICM) and dilated (DCM) cardiomyopathies were studied. The left ventricular ejection fraction (LVEF) was used to stratify patients with low risk (LR: LVEF>35%, 14 patients) and high risk (HR: LVEF≤ 35%, 28 patients) of heart attack. RR, SBP and TTot time series were extracted from the ECG, BP and respiratory flow signals, respectively. The time series were transformed to a binary space and then analyzed using Joint Symbolic Dynamic with a word length of three, characterizing them by the probability of occurrence of the words. Extracted parameters were then reduced using correlation and statistical analysis. Principal component analysis and support vector machines methods were applied to characterize the cardiorespiratory and cardiovascular interactions in ICM and DCM cardiomyopathies, obtaining an accuracy of 85.7%. PMID:26736261

  14. Topological entropy and symbolic dynamics for three-dimensional fluid mixing

    NASA Astrophysics Data System (ADS)

    Mitchell, Kevin; Maelfeyt, Bryan; Arenson, Joshua

    2015-11-01

    Topological entropy provides an important metric of mixing in two-dimensional fluid flows; it has led to a quantification of mixing for various periodic stirring protocols and other chaotic flows. In this context, the topological entropy can be viewed as the exponential growth rate of a material line. In this talk, we explain how one can compute an analogous entropy for topological mixing in three-dimensional flows. This entropy amounts to an exponential growth rate in the size of material sheets. Our approach involves the extraction of symbolic dynamics from the intersections of two-dimensional stable and unstable manifolds of the flow field. We illustrate our theory with a mathematical model of a chaotic ring vortex.

  15. An Application of the Cosmologic Concepts and Astronomical Symbols in the Ancient Medical Science and Astrology Systems

    NASA Astrophysics Data System (ADS)

    Pikichyan, H. V.

    2015-07-01

    Employing the cosmologic concepts and astronomical symbols, the features of the ancient subjective approach of the achievement or perception of the knowledge and its systematic delivery ways are presented. In particular, the ancient systems of the natural medical science and the art of astrology are discussed, whereas the relations of the five cosmological elements, three dynamical agents, nine luminaries and twelve zodiac signs are applied. It is pointed out some misunderstandings encountered in the contemporary interpretation on the evaluation of ancient systems of the knowledge.

  16. Beyond words: evidence for automatic language-gesture integration of symbolic gestures but not dynamic landscapes.

    PubMed

    Vainiger, Dana; Labruna, Ludovica; Ivry, Richard B; Lavidor, Michal

    2014-01-01

    Understanding actions based on either language or action observation is presumed to involve the motor system, reflecting the engagement of an embodied conceptual network. We examined how linguistic and gestural information were integrated in a series of cross-domain priming studies. We varied the task demands across three experiments in which symbolic gestures served as primes for verbal targets. Primes were clips of symbolic gestures taken from a rich set of emblems. Participants responded by making a lexical decision to the target (Experiment 1), naming the target (Experiment 2), or performing a semantic relatedness judgment (Experiment 3). The magnitude of semantic priming was larger in the relatedness judgment and lexical decision tasks compared to the naming task. Priming was also observed in a control task in which the primes were pictures of landscapes with conceptually related verbal targets. However, for these stimuli, the amount of priming was similar across the three tasks. We propose that action observation triggers an automatic, pre-lexical spread of activation, consistent with the idea that language-gesture integration occurs in an obligatory and automatic fashion. PMID:23307151

  17. System Dynamics

    NASA Astrophysics Data System (ADS)

    Morecroft, John

    System dynamics is an approach for thinking about and simulating situations and organisations of all kinds and sizes by visualising how the elements fit together, interact and change over time. This chapter, written by John Morecroft, describes modern system dynamics which retains the fundamentals developed in the 1950s by Jay W. Forrester of the MIT Sloan School of Management. It looks at feedback loops and time delays that affect system behaviour in a non-linear way, and illustrates how dynamic behaviour depends upon feedback loop structures. It also recognises improvements as part of the ongoing process of managing a situation in order to achieve goals. Significantly it recognises the importance of context, and practitioner skills. Feedback systems thinking views problems and solutions as being intertwined. The main concepts and tools: feedback structure and behaviour, causal loop diagrams, dynamics, are practically illustrated in a wide variety of contexts from a hot water shower through to a symphony orchestra and the practical application of the approach is described through several real examples of its use for strategic planning and evaluation.

  18. General American Speech and Phonic Symbols.

    ERIC Educational Resources Information Center

    Calvert, Donald R.

    1982-01-01

    General American Symbols, speech and phonic symbols adapted from the Northampton symbols, are presented as a simplified system for teaching reading and speech to deaf children. Ways to use symbols for indicating features of speech production are suggested. (Author)

  19. Symbolic local information transfer

    NASA Astrophysics Data System (ADS)

    Nakajima, K.; Haruna, T.

    2013-06-01

    Recently, the permutation-information theoretic approach has been used in a broad range of research fields. In particular, in the study of high-dimensional dynamical systems, it has been shown that this approach can be effective in characterizing global properties, including the complexity of their spatiotemporal dynamics. Here, we show that this approach can also be applied to reveal local spatiotemporal profiles of distributed computations existing at each spatiotemporal point in the system. J. T. Lizier et al. have recently introduced the concept of local information dynamics, which consists of information storage, transfer, and modification. This concept has been intensively studied with regard to cellular automata, and has provided quantitative evidence of several characteristic behaviors observed in the system. In this paper, by focusing on the local information transfer, we demonstrate that the application of the permutation-information theoretic approach, which introduces natural symbolization methods, makes the concept easily extendible to systems that have continuous states. We propose measures called symbolic local transfer entropies, and apply these measures to two test models, the coupled map lattice (CML) system and the Bak-Sneppen model (BS-model), to show their relevance to spatiotemporal systems that have continuous states. In the CML, we demonstrate that it can be successfully used as a spatiotemporal filter to stress a coherent structure buried in the system. In particular, we show that the approach can clearly stress out defect turbulences or Brownian motion of defects from the background, which gives quantitative evidence suggesting that these moving patterns are the information transfer substrate in the spatiotemporal system. We then show that these measures reveal qualitatively different properties from the conventional approach using the sliding window method, and are also robust against external noise. In the BS-model, we demonstrate that

  20. A prototype symbolic model of canonical functional neuroanatomy of the motor system.

    PubMed

    Talos, Ion-Florin; Rubin, Daniel L; Halle, Michael; Musen, Mark; Kikinis, Ron

    2008-04-01

    Recent advances in bioinformatics have opened entire new avenues for organizing, integrating and retrieving neuroscientific data, in a digital, machine-processable format, which can be at the same time understood by humans, using ontological, symbolic data representations. Declarative information stored in ontological format can be perused and maintained by domain experts, interpreted by machines, and serve as basis for a multitude of decision support, computerized simulation, data mining, and teaching applications. We have developed a prototype symbolic model of canonical neuroanatomy of the motor system. Our symbolic model is intended to support symbolic look up, logical inference and mathematical modeling by integrating descriptive, qualitative and quantitative functional neuroanatomical knowledge. Furthermore, we show how our approach can be extended to modeling impaired brain connectivity in disease states, such as common movement disorders. In developing our ontology, we adopted a disciplined modeling approach, relying on a set of declared principles, a high-level schema, Aristotelian definitions, and a frame-based authoring system. These features, along with the use of the Unified Medical Language System (UMLS) vocabulary, enable the alignment of our functional ontology with an existing comprehensive ontology of human anatomy, and thus allow for combining the structural and functional views of neuroanatomy for clinical decision support and neuroanatomy teaching applications. Although the scope of our current prototype ontology is limited to a particular functional system in the brain, it may be possible to adapt this approach for modeling other brain functional systems as well. PMID:18164666

  1. SYMBOD - A computer program for the automatic generation of symbolic equations of motion for systems of hinge-connected rigid bodies

    NASA Technical Reports Server (NTRS)

    Macala, G. A.

    1983-01-01

    A computer program is described that can automatically generate symbolic equations of motion for systems of hinge-connected rigid bodies with tree topologies. The dynamical formulation underlying the program is outlined, and examples are given to show how a symbolic language is used to code the formulation. The program is applied to generate the equations of motion for a four-body model of the Galileo spacecraft. The resulting equations are shown to be a factor of three faster in execution time than conventional numerical subroutines.

  2. Knowledge through "Know How": Systemic Functional Grammatics and the Symbolic Reading

    ERIC Educational Resources Information Center

    Macken-Horarik, Mary

    2006-01-01

    This article investigates the potential of systemic functional linguistics (SFL) for exploring students' achievements in writing, thus moving beyond "deficit models" of grammar in school English. It considers the semantic features of successful interpretations of examination narratives, using what I call the "symbolic reading". Halliday has…

  3. Development of an expert system for haemodynamic monitoring: computerized symbolization of on-line monitoring data.

    PubMed

    Koski, E M; Mäkivirta, A; Sukuvaara, T; Kari, A

    The development of intelligent alarm systems for intensive care benefits from the transformation of data from a quantitative to a qualitative mode. We constructed a computerized algorithm for the symbolization of on-line monitoring data of heart rate, systemic arterial, pulmonary arterial and central venous pressures, as well as central and peripheral temperatures. We tested the ability of the algorithm to symbolize the levels of the parameters and to detect significant long-term trends in ten adult patients admitted to the intensive care unit after cardiac surgery. The estimations of an experienced clinician were taken as the 'gold standard'. The symbolization of the levels of the monitored parameters was in agreement with the clinician in 99.4% of the estimations. The algorithm detected 93.0% of the trends correctly and also estimated their reliability. The clinician considered its estimations to be accurate in 96.2% of cases. On the other hand, the clinician considered unreliable 2.4% of all the trends detected and classified as reliable by the algorithm. The computerized algorithm for the symbolization of real-time monitoring data performed efficiently enough for its further use in expert systems for intelligent monitoring. PMID:1820419

  4. Remote Symbolic Computation of Loci

    ERIC Educational Resources Information Center

    Abanades, Miguel A.; Escribano, Jesus; Botana, Francisco

    2010-01-01

    This article presents a web-based tool designed to compute certified equations and graphs of geometric loci specified using standard Dynamic Geometry Systems (DGS). Complementing the graphing abilities of the considered DGS, the equations of the loci produced by the application are remotely computed using symbolic algebraic techniques from the…

  5. The Picture Exchange Communication System: Digital Photographs versus Picture Symbols

    ERIC Educational Resources Information Center

    Jonaitis, Carmen

    2011-01-01

    The Picture Exchange Communication System (PECS) is an augmentative and alternative system (AAC) used to improve and increase communication for children with Autism Spectrum Disorder (ASD) and other developmental disorders. Research addressing the efficacy of this system is increasing; however, there is limited information published that evaluates…

  6. Tuning of power system controllers using symbolic eigensensitivity analysis and linear programming

    SciTech Connect

    Xu, L.; Ahmed-Zaid, S.

    1995-02-01

    In this paper, a systematic method for the tuning of multiple power system controllers using symbolic eigensensitivity analysis and linear programming is presented. The concept of eigenvalue sensitivity is used here to formulate the linear first-order variation of the real part of the dominant system eigenvalue as a symbolic function of controller parameters. This eigenvalue variation is minimized iteratively subject to linear equality and inequality constraints. All controller parameters are tuned correctly when the objective function meets the desired performance criteria. In this method, no special assumptions are made on the type of power devices and linear feedback controllers present in the system. The proposed method is illustrated with three examples of a single-machine system with a power system stabilizer and a controller for a thyristor-controlled series capacitor. The tested configurations are supplemented with nonlinear time-domain simulations validating the small-signal stability results.

  7. Unravelling the community structure of the climate system by using lags and symbolic time-series analysis

    NASA Astrophysics Data System (ADS)

    Tirabassi, Giulio; Masoller, Cristina

    2016-07-01

    Many natural systems can be represented by complex networks of dynamical units with modular structure in the form of communities of densely interconnected nodes. Unraveling this community structure from observed data requires the development of appropriate tools, particularly when the nodes are embedded in a regular space grid and the datasets are short and noisy. Here we propose two methods to identify communities, and validate them with the analysis of climate datasets recorded at a regular grid of geographical locations covering the Earth surface. By identifying mutual lags among time-series recorded at different grid points, and by applying symbolic time-series analysis, we are able to extract meaningful regional communities, which can be interpreted in terms of large-scale climate phenomena. The methods proposed here are valuable tools for the study of other systems represented by networks of dynamical units, allowing the identification of communities, through time-series analysis of the observed output signals.

  8. Unravelling the community structure of the climate system by using lags and symbolic time-series analysis

    PubMed Central

    Tirabassi, Giulio; Masoller, Cristina

    2016-01-01

    Many natural systems can be represented by complex networks of dynamical units with modular structure in the form of communities of densely interconnected nodes. Unraveling this community structure from observed data requires the development of appropriate tools, particularly when the nodes are embedded in a regular space grid and the datasets are short and noisy. Here we propose two methods to identify communities, and validate them with the analysis of climate datasets recorded at a regular grid of geographical locations covering the Earth surface. By identifying mutual lags among time-series recorded at different grid points, and by applying symbolic time-series analysis, we are able to extract meaningful regional communities, which can be interpreted in terms of large-scale climate phenomena. The methods proposed here are valuable tools for the study of other systems represented by networks of dynamical units, allowing the identification of communities, through time-series analysis of the observed output signals. PMID:27406342

  9. Unravelling the community structure of the climate system by using lags and symbolic time-series analysis.

    PubMed

    Tirabassi, Giulio; Masoller, Cristina

    2016-01-01

    Many natural systems can be represented by complex networks of dynamical units with modular structure in the form of communities of densely interconnected nodes. Unraveling this community structure from observed data requires the development of appropriate tools, particularly when the nodes are embedded in a regular space grid and the datasets are short and noisy. Here we propose two methods to identify communities, and validate them with the analysis of climate datasets recorded at a regular grid of geographical locations covering the Earth surface. By identifying mutual lags among time-series recorded at different grid points, and by applying symbolic time-series analysis, we are able to extract meaningful regional communities, which can be interpreted in terms of large-scale climate phenomena. The methods proposed here are valuable tools for the study of other systems represented by networks of dynamical units, allowing the identification of communities, through time-series analysis of the observed output signals. PMID:27406342

  10. Symbolic inversion of control relationships in model-based expert systems

    NASA Technical Reports Server (NTRS)

    Thomas, Stan

    1988-01-01

    Symbolic inversion is examined from several perspectives. First, a number of symbolic algebra and mathematical tool packages were studied in order to evaluate their capabilities and methods, specifically with respect to symbolic inversion. Second, the KATE system (without hardware interface) was ported to a Zenith Z-248 microcomputer running Golden Common Lisp. The interesting thing about the port is that it allows the user to have measurements vary and components fail in a non-deterministic manner based upon random value from probability distributions. Third, INVERT was studied as currently implemented in KATE, its operation documented, some of its weaknesses identified, and corrections made to it. The corrections and enhancements are primarily in the way that logical conditions involving AND's and OR's and inequalities are processed. In addition, the capability to handle equalities was also added. Suggestions were also made regarding the handling of ranges in INVERT. Last, other approaches to the inversion process were studied and recommendations were made as to how future versions of KATE should perform symbolic inversion.

  11. Random vibration and the single degree-of-freedom vibratory system: A symbolic quantification of isolation and packaging performance

    SciTech Connect

    Redfield, R.C. . Dept. of Mechanical Engineering)

    1994-01-01

    With twenty years of research, active and semi-active systems have been shown to have certain performance advantages over passive suspensions in certain operating regimes. Chalasani and Redfield and Karnopp have shown that, depending on the performance index and weightings, active control improves performance from little to moderately. There are situations where passive control is quite satisfactory and the complexities and cost of more active means may not be warranted. To further the understanding of the tradeoffs involved and the performance potentials of active suspensions, this paper symbolically quantifies the isolation and stroke performance for a one degree-of-freedom vibratory system subject to a stochastic disturbance input acting through the suspension. The system of this paper models that of tracked vehicles and a class of isolation systems quite well. It also gives insight into low and high frequency performance for two degree-of-freedom systems such as a typical suspension model for automobiles, aircraft, and rail vehicles. Because of the nature of the single degree-of-freedom model, issues of handling cannot be readily addressed in this work. The 1 DOF model does not adequately predict dynamic tire forces. The main contributions of this work are the closed form symbolic solutions developed for optimal suspension response and the demonstration of the marked similarity between the frequency and mean square response of the 1 degree-of-freedom model of this paper and the more involved 2 degree-of-freedom model incorporating a so-called unsprung mass.''

  12. Implementation of cartographic symbols for planetary mapping in geographic information systems

    NASA Astrophysics Data System (ADS)

    Nass, A.; van Gasselt, S.; Jaumann, R.; Asche, H.

    2011-09-01

    The steadily growing international interest in the exploration of planets in our Solar System and many advances in the development of space-sensor technology have led to the launch of a multitude of planetary missions to Mercury, Venus, the Earth's moon, Mars and various Outer-Solar System objects, such as the Jovian and Saturnian satellites. Camera instruments carried along on these missions image surfaces in different wavelength ranges and under different viewing angles, permitting additional data to be derived, such as spectral data or digital terrain models. Such data enable researchers to explore and investigate the development of planetary surfaces by analyzing and interpreting the inventory of surface units and structures. Results of such work are commonly abstracted and represented in thematic, mostly geological and geomorphological, maps. In order to facilitate efficient collaboration among different planetary research disciplines, mapping results need to be prepared, described, managed, archived, and visualized in a uniform way. These tasks have been increasingly carried out by means of computer-based geographic information systems (GIS or GI systems) which have come to be widely employed in the field of planetary research since the last two decades. In this paper we focus on the simplification of mapping processes, putting specific emphasis on a cartographically correct visualization of planetary mapping data using GIS-based environments. We present and discuss the implementation of a set of standardized cartographic symbols for planetary mapping based on the Digital Cartographic Standard for Geologic Map Symbolization as prepared by the United States Geological Survey (USGS) for the Federal Geographic Data Committee (FGDC). Furthermore, we discuss various options to integrate this symbol catalog into generic GI systems, and more specifically into the Environmental Systems Research Institute's (ESRI) ArcGIS environment, and focus on requirements for

  13. Symbolic perception-based autonomous driving in dynamic environments using 4D/RCS

    NASA Astrophysics Data System (ADS)

    Foedisch, M.,; Madhavan, R.; Schlenoff, C.

    2007-04-01

    4D/RCS is a hierarchical architecture designed for the control of intelligent systems. One of the main areas that 4D/RCS has been applied to recently is the control of autonomous vehicles. To accomplish this, a hierarchical decomposition of on-road driving activities has been performed which has resulted in implementation of 4D/RCS tailored towards this application. This implementation has seven layers and ranges from a journey manager which determines the order of the places you wish to drive to, through a destination manager which provides turn-by-turn directions on how to get to a destination, through a route segment, drive behavior, elemental maneuver, goal path trajectory, and then finally to servo controllers. In this paper, we show, within the 4D/RCS architecture, how knowledge-driven top-down symbolic representations combined with low-level bottom-up tasks can synergistically provide valuable information for on-road driving better than what is possible with either of them alone. We demonstrate these ideas using field data obtained from an Unmanned Ground Vehicle (UGV) traversing urban on-road environments.

  14. Symbolic gestures and spoken language are processed by a common neural system

    PubMed Central

    Xu, Jiang; Gannon, Patrick J.; Emmorey, Karen; Smith, Jason F.; Braun, Allen R.

    2009-01-01

    Symbolic gestures, such as pantomimes that signify actions (e.g., threading a needle) or emblems that facilitate social transactions (e.g., finger to lips indicating “be quiet”), play an important role in human communication. They are autonomous, can fully take the place of words, and function as complete utterances in their own right. The relationship between these gestures and spoken language remains unclear. We used functional MRI to investigate whether these two forms of communication are processed by the same system in the human brain. Responses to symbolic gestures, to their spoken glosses (expressing the gestures' meaning in English), and to visually and acoustically matched control stimuli were compared in a randomized block design. General Linear Models (GLM) contrasts identified shared and unique activations and functional connectivity analyses delineated regional interactions associated with each condition. Results support a model in which bilateral modality-specific areas in superior and inferior temporal cortices extract salient features from vocal-auditory and gestural-visual stimuli respectively. However, both classes of stimuli activate a common, left-lateralized network of inferior frontal and posterior temporal regions in which symbolic gestures and spoken words may be mapped onto common, corresponding conceptual representations. We suggest that these anterior and posterior perisylvian areas, identified since the mid-19th century as the core of the brain's language system, are not in fact committed to language processing, but may function as a modality-independent semiotic system that plays a broader role in human communication, linking meaning with symbols whether these are words, gestures, images, sounds, or objects. PMID:19923436

  15. Symbolic gestures and spoken language are processed by a common neural system.

    PubMed

    Xu, Jiang; Gannon, Patrick J; Emmorey, Karen; Smith, Jason F; Braun, Allen R

    2009-12-01

    Symbolic gestures, such as pantomimes that signify actions (e.g., threading a needle) or emblems that facilitate social transactions (e.g., finger to lips indicating "be quiet"), play an important role in human communication. They are autonomous, can fully take the place of words, and function as complete utterances in their own right. The relationship between these gestures and spoken language remains unclear. We used functional MRI to investigate whether these two forms of communication are processed by the same system in the human brain. Responses to symbolic gestures, to their spoken glosses (expressing the gestures' meaning in English), and to visually and acoustically matched control stimuli were compared in a randomized block design. General Linear Models (GLM) contrasts identified shared and unique activations and functional connectivity analyses delineated regional interactions associated with each condition. Results support a model in which bilateral modality-specific areas in superior and inferior temporal cortices extract salient features from vocal-auditory and gestural-visual stimuli respectively. However, both classes of stimuli activate a common, left-lateralized network of inferior frontal and posterior temporal regions in which symbolic gestures and spoken words may be mapped onto common, corresponding conceptual representations. We suggest that these anterior and posterior perisylvian areas, identified since the mid-19th century as the core of the brain's language system, are not in fact committed to language processing, but may function as a modality-independent semiotic system that plays a broader role in human communication, linking meaning with symbols whether these are words, gestures, images, sounds, or objects. PMID:19923436

  16. Neural systems supporting linguistic structure, linguistic experience, and symbolic communication in sign language and gesture.

    PubMed

    Newman, Aaron J; Supalla, Ted; Fernandez, Nina; Newport, Elissa L; Bavelier, Daphne

    2015-09-15

    Sign languages used by deaf communities around the world possess the same structural and organizational properties as spoken languages: In particular, they are richly expressive and also tightly grammatically constrained. They therefore offer the opportunity to investigate the extent to which the neural organization for language is modality independent, as well as to identify ways in which modality influences this organization. The fact that sign languages share the visual-manual modality with a nonlinguistic symbolic communicative system-gesture-further allows us to investigate where the boundaries lie between language and symbolic communication more generally. In the present study, we had three goals: to investigate the neural processing of linguistic structure in American Sign Language (using verbs of motion classifier constructions, which may lie at the boundary between language and gesture); to determine whether we could dissociate the brain systems involved in deriving meaning from symbolic communication (including both language and gesture) from those specifically engaged by linguistically structured content (sign language); and to assess whether sign language experience influences the neural systems used for understanding nonlinguistic gesture. The results demonstrated that even sign language constructions that appear on the surface to be similar to gesture are processed within the left-lateralized frontal-temporal network used for spoken languages-supporting claims that these constructions are linguistically structured. Moreover, although nonsigners engage regions involved in human action perception to process communicative, symbolic gestures, signers instead engage parts of the language-processing network-demonstrating an influence of experience on the perception of nonlinguistic stimuli. PMID:26283352

  17. Per-symbol-based digital back-propagation approach for PDM-CO-OFDM transmission systems.

    PubMed

    Peng, Wei-Ren; Takahashi, Hidenori; Morita, Itsuro; Tsuritani, Takehiro

    2013-01-28

    For polarization-division-multiplexing coherent optical orthogonal frequency division multiplexing (PDM-CO-OFDM) systems, we propose a per-symbol-based digital back-propagation (DBP) approach which, after cyclic prefix removal, conducts DBP for each OFDM symbol. Compared with previous DBP, this new proposal avoids the use of inefficient overlap-and-add operation and saves one fast Fourier transform (FFT) module, therefore simplifying the hardware implementation. Transmitting a 16-QAM, 42.8-Gb/s PDM-CO-OFDM signal over 960-km standard single mode fiber (SSMF), we compare the previous and the proposed DBP approaches with different receiver's sampling rates and different step lengths in each DBP iteration, and found that the proposed DBP can achieve a similar performance as that of the previous DBP while enjoying a simpler implementation. We have also specifically introduced a small self-phase modulation (SPM) model for DBP and demonstrated its feasibility with the same experimental setup. PMID:23389137

  18. Pilot-symbols-aided cycle slip mitigation for DP-16QAM optical communication systems.

    PubMed

    Cheng, Haiquan; Li, Yan; Zhang, Fangzheng; Wu, Jian; Lu, Jianxin; Zhang, Guoyi; Xu, Jian; Lin, Jintong

    2013-09-23

    A pilot-symbols-aided phase unwrapping (PAPU), which utilizes the time-division multiplexed pilot symbols that are transmitted with data, is proposed to do cycle slip detection and correction with the carrier phase estimation (CPE). Numerical simulations for 10 Gbaud dual-polarization 16-ary quadrature amplitude modulation (DP-16QAM) systems show that the block averaging quadrature phase-shift keying (QPSK) partitioning with PAPU greatly eliminates the performance degradation caused by cycle slips, maintains a low CS probability with less influence of filter length, and achieves a bit-error-rate (BER) performance below soft-decision forward error correction (FEC) limit 2 × 10⁻² at 15 dB optical signal-to-noise ratio with only 1.56% overhead and 6 MHz combined laser linewidth. PMID:24104108

  19. Neural systems supporting linguistic structure, linguistic experience, and symbolic communication in sign language and gesture

    PubMed Central

    Newman, Aaron J.; Supalla, Ted; Fernandez, Nina; Newport, Elissa L.; Bavelier, Daphne

    2015-01-01

    Sign languages used by deaf communities around the world possess the same structural and organizational properties as spoken languages: In particular, they are richly expressive and also tightly grammatically constrained. They therefore offer the opportunity to investigate the extent to which the neural organization for language is modality independent, as well as to identify ways in which modality influences this organization. The fact that sign languages share the visual–manual modality with a nonlinguistic symbolic communicative system—gesture—further allows us to investigate where the boundaries lie between language and symbolic communication more generally. In the present study, we had three goals: to investigate the neural processing of linguistic structure in American Sign Language (using verbs of motion classifier constructions, which may lie at the boundary between language and gesture); to determine whether we could dissociate the brain systems involved in deriving meaning from symbolic communication (including both language and gesture) from those specifically engaged by linguistically structured content (sign language); and to assess whether sign language experience influences the neural systems used for understanding nonlinguistic gesture. The results demonstrated that even sign language constructions that appear on the surface to be similar to gesture are processed within the left-lateralized frontal-temporal network used for spoken languages—supporting claims that these constructions are linguistically structured. Moreover, although nonsigners engage regions involved in human action perception to process communicative, symbolic gestures, signers instead engage parts of the language-processing network—demonstrating an influence of experience on the perception of nonlinguistic stimuli. PMID:26283352

  20. Sound Symbolism.

    ERIC Educational Resources Information Center

    Hinton, Leanne, Ed.; And Others

    Sound symbolism is the study of the relationship between the sound of an utterance and its meaning. In this interdisciplinary collection of new studies, 24 leading scholars discuss the role of sound symbolism in a theory of language. Contributions and authors include the following: "Sound-Symbolic Processes" (Leanne Hinton, Johanna Nichols, John…

  1. Symbolic computations of nonlinear observability

    NASA Astrophysics Data System (ADS)

    Bianco-Martinez, Ezequiel; Baptista, Murilo S.; Letellier, Christophe

    2015-06-01

    Observability is a very useful concept for determining whether the dynamics of complicated systems can be correctly reconstructed from a single (univariate or multivariate) time series. When the governing equations of dynamical systems are high-dimensional and/or rational, analytical computations of observability coefficients produce large polynomial functions with a number of terms that become exponentially large with the dimension and the nature of the system. In order to overcome this difficulty, we introduce here a symbolic observability coefficient based on a symbolic computation of the determinant of the observability matrix. The computation of such coefficients is straightforward and can be easily analytically carried out, as demonstrated in this paper for a five-dimensional rational system.

  2. Symbolic computations of nonlinear observability.

    PubMed

    Bianco-Martinez, Ezequiel; Baptista, Murilo S; Letellier, Christophe

    2015-06-01

    Observability is a very useful concept for determining whether the dynamics of complicated systems can be correctly reconstructed from a single (univariate or multivariate) time series. When the governing equations of dynamical systems are high-dimensional and/or rational, analytical computations of observability coefficients produce large polynomial functions with a number of terms that become exponentially large with the dimension and the nature of the system. In order to overcome this difficulty, we introduce here a symbolic observability coefficient based on a symbolic computation of the determinant of the observability matrix. The computation of such coefficients is straightforward and can be easily analytically carried out, as demonstrated in this paper for a five-dimensional rational system. PMID:26172777

  3. Fock space, symbolic algebra, and analytical solutions for small stochastic systems

    NASA Astrophysics Data System (ADS)

    Santos, Fernando A. N.; Gadêlha, Hermes; Gaffney, Eamonn A.

    2015-12-01

    Randomness is ubiquitous in nature. From single-molecule biochemical reactions to macroscale biological systems, stochasticity permeates individual interactions and often regulates emergent properties of the system. While such systems are regularly studied from a modeling viewpoint using stochastic simulation algorithms, numerous potential analytical tools can be inherited from statistical and quantum physics, replacing randomness due to quantum fluctuations with low-copy-number stochasticity. Nevertheless, classical studies remained limited to the abstract level, demonstrating a more general applicability and equivalence between systems in physics and biology rather than exploiting the physics tools to study biological systems. Here the Fock space representation, used in quantum mechanics, is combined with the symbolic algebra of creation and annihilation operators to consider explicit solutions for the chemical master equations describing small, well-mixed, biochemical, or biological systems. This is illustrated with an exact solution for a Michaelis-Menten single enzyme interacting with limited substrate, including a consideration of very short time scales, which emphasizes when stiffness is present even for small copy numbers. Furthermore, we present a general matrix representation for Michaelis-Menten kinetics with an arbitrary number of enzymes and substrates that, following diagonalization, leads to the solution of this ubiquitous, nonlinear enzyme kinetics problem. For this, a flexible symbolic maple code is provided, demonstrating the prospective advantages of this framework compared to stochastic simulation algorithms. This further highlights the possibilities for analytically based studies of stochastic systems in biology and chemistry using tools from theoretical quantum physics.

  4. Fock space, symbolic algebra, and analytical solutions for small stochastic systems.

    PubMed

    Santos, Fernando A N; Gadêlha, Hermes; Gaffney, Eamonn A

    2015-12-01

    Randomness is ubiquitous in nature. From single-molecule biochemical reactions to macroscale biological systems, stochasticity permeates individual interactions and often regulates emergent properties of the system. While such systems are regularly studied from a modeling viewpoint using stochastic simulation algorithms, numerous potential analytical tools can be inherited from statistical and quantum physics, replacing randomness due to quantum fluctuations with low-copy-number stochasticity. Nevertheless, classical studies remained limited to the abstract level, demonstrating a more general applicability and equivalence between systems in physics and biology rather than exploiting the physics tools to study biological systems. Here the Fock space representation, used in quantum mechanics, is combined with the symbolic algebra of creation and annihilation operators to consider explicit solutions for the chemical master equations describing small, well-mixed, biochemical, or biological systems. This is illustrated with an exact solution for a Michaelis-Menten single enzyme interacting with limited substrate, including a consideration of very short time scales, which emphasizes when stiffness is present even for small copy numbers. Furthermore, we present a general matrix representation for Michaelis-Menten kinetics with an arbitrary number of enzymes and substrates that, following diagonalization, leads to the solution of this ubiquitous, nonlinear enzyme kinetics problem. For this, a flexible symbolic maple code is provided, demonstrating the prospective advantages of this framework compared to stochastic simulation algorithms. This further highlights the possibilities for analytically based studies of stochastic systems in biology and chemistry using tools from theoretical quantum physics. PMID:26764734

  5. Integrability aspects and soliton solutions for the inhomogeneous reduced Maxwell-Bloch system in nonlinear optics with symbolic computation

    NASA Astrophysics Data System (ADS)

    Hao, Hui-Qin; Zhang, Jian-Wen

    2015-05-01

    In this paper, we investigate the inhomogeneous reduced Maxwell-Bloch system, which describes the propagation of the intense ultra-short optical pulses through an inhomogeneous two-level dielectric medium. Through symbolic computation, the integrability aspects including the Painlevé integrable condition, Lax pair and infinite conservation laws are derived. By virtue of the Darboux transformation method, one- and two-soliton solutions are generated on the nonvanishing background, including the bright solitons, dark solitons, periodic solutions and some two-soliton solutions. The asymptotic analysis method is performed to verify the elastic interaction between two solitons. Furthermore, by virtue of some figures, the dynamic properties of those solitons are discussed. The results may be useful in the study of the ultrashort pulses propagation in such situations as the model of the two-level dielectric media.

  6. PANSYM: a symbolic equation generator for mathematical modelling, analysis and control of metabolic and pharmacokinetic systems.

    PubMed

    Thomaseth, K

    1994-02-14

    Software is presented for automatic generation of first-order ordinary differential equations (ODE) that arise from lumped parameter representations of metabolic and pharmacokinetic systems. The definition of system structures is accomplished by fractional transfer rates between state variables, together with input/output equations and initial conditions of state variables. General non-linear mathematical expressions can be assigned to all structure definition items. The software parses and interprets the system definitions and generates symbolically the mathematical expression of the model's set of ODE. In addition, symbolic derivatives of state equations are determined with respect to model parameters, state variables and external inputs. These derivatives represent the constituents of systems of sensitivity-differential and adjoint-differential equations that arise in identification and optimal control problems. Finally, output routines generate source code that, once compiled and linked to simulation programs, allows efficient numerical integration of the system of ODE. This software has been developed in PROLOG on Macintosh computers and has been extensively used with the programming environment MATLAB. Possible applications of this software include model building, sensitivity analysis, identification, optimal experiment design and numerical solution of optimal control problems. PMID:8205801

  7. Symbol error rate bound of DPSK modulation system in directional wave propagation

    NASA Astrophysics Data System (ADS)

    Hua, Jingyu; Zhuang, Changfei; Zhao, Xiaomin; Li, Gang; Meng, Qingmin

    This paper presents a new approach to determine the symbol error rate (SER) bound of differential phase shift keying (DPSK) systems in a directional fading channel, where the von Mises distribution is used to illustrate the non-isotropic angle of arrival (AOA). Our approach relies on the closed-form expression of the phase difference probability density function (pdf) in coherent fading channels and leads to expressions of the DPSK SER bound involving a single finite-range integral which can be readily evaluated numerically. Moreover, the simulation yields results consistent with numerical computation.

  8. Multicanonical Determination of the Symbol Error Ratio of WDM Polarization Multiplexed QPSK Systems

    NASA Astrophysics Data System (ADS)

    Soliman, George; Yevick, David

    2014-12-01

    The multicanonical method is applied to the calculation of the symbol error ratio (SER) as a function of the optical signal to noise ratio (OSNR) at the receiver for a polarization multiplexed quadrature phase shift keying (PM-QPSK) wavelength division multiplexed (WDM) system. We improve upon previous calculations by including polarization mode dispersion (PMD) and subsequently verifying the numerical accuracy of our calculations. Our numerical studies demonstrate that acceptable accuracy can be achieved even when advancing the polarization through the fiber with relatively large propagation step lengths.

  9. Advanced data management design for autonomous telerobotic systems in space using spaceborne symbolic processors

    NASA Technical Reports Server (NTRS)

    Goforth, Andre

    1987-01-01

    The use of computers in autonomous telerobots is reaching the point where advanced distributed processing concepts and techniques are needed to support the functioning of Space Station era telerobotic systems. Three major issues that have impact on the design of data management functions in a telerobot are covered. It also presents a design concept that incorporates an intelligent systems manager (ISM) running on a spaceborne symbolic processor (SSP), to address these issues. The first issue is the support of a system-wide control architecture or control philosophy. Salient features of two candidates are presented that impose constraints on data management design. The second issue is the role of data management in terms of system integration. This referes to providing shared or coordinated data processing and storage resources to a variety of telerobotic components such as vision, mechanical sensing, real-time coordinated multiple limb and end effector control, and planning and reasoning. The third issue is hardware that supports symbolic processing in conjunction with standard data I/O and numeric processing. A SSP that currently is seen to be technologically feasible and is being developed is described and used as a baseline in the design concept.

  10. Origin of symbol-using systems: speech, but not sign, without the semantic urge.

    PubMed

    Sereno, Martin I

    2014-09-19

    Natural language--spoken and signed--is a multichannel phenomenon, involving facial and body expression, and voice and visual intonation that is often used in the service of a social urge to communicate meaning. Given that iconicity seems easier and less abstract than making arbitrary connections between sound and meaning, iconicity and gesture have often been invoked in the origin of language alongside the urge to convey meaning. To get a fresh perspective, we critically distinguish the origin of a system capable of evolution from the subsequent evolution that system becomes capable of. Human language arose on a substrate of a system already capable of Darwinian evolution; the genetically supported uniquely human ability to learn a language reflects a key contact point between Darwinian evolution and language. Though implemented in brains generated by DNA symbols coding for protein meaning, the second higher-level symbol-using system of language now operates in a world mostly decoupled from Darwinian evolutionary constraints. Examination of Darwinian evolution of vocal learning in other animals suggests that the initial fixation of a key prerequisite to language into the human genome may actually have required initially side-stepping not only iconicity, but the urge to mean itself. If sign languages came later, they would not have faced this constraint. PMID:25092671

  11. Origin of symbol-using systems: speech, but not sign, without the semantic urge

    PubMed Central

    Sereno, Martin I.

    2014-01-01

    Natural language—spoken and signed—is a multichannel phenomenon, involving facial and body expression, and voice and visual intonation that is often used in the service of a social urge to communicate meaning. Given that iconicity seems easier and less abstract than making arbitrary connections between sound and meaning, iconicity and gesture have often been invoked in the origin of language alongside the urge to convey meaning. To get a fresh perspective, we critically distinguish the origin of a system capable of evolution from the subsequent evolution that system becomes capable of. Human language arose on a substrate of a system already capable of Darwinian evolution; the genetically supported uniquely human ability to learn a language reflects a key contact point between Darwinian evolution and language. Though implemented in brains generated by DNA symbols coding for protein meaning, the second higher-level symbol-using system of language now operates in a world mostly decoupled from Darwinian evolutionary constraints. Examination of Darwinian evolution of vocal learning in other animals suggests that the initial fixation of a key prerequisite to language into the human genome may actually have required initially side-stepping not only iconicity, but the urge to mean itself. If sign languages came later, they would not have faced this constraint. PMID:25092671

  12. Symbolic Constraint Maintenance Grid

    NASA Technical Reports Server (NTRS)

    James, Mark

    2006-01-01

    Version 3.1 of Symbolic Constraint Maintenance Grid (SCMG) is a software system that provides a general conceptual framework for utilizing pre-existing programming techniques to perform symbolic transformations of data. SCMG also provides a language (and an associated communication method and protocol) for representing constraints on the original non-symbolic data. SCMG provides a facility for exchanging information between numeric and symbolic components without knowing the details of the components themselves. In essence, it integrates symbolic software tools (for diagnosis, prognosis, and planning) with non-artificial-intelligence software. SCMG executes a process of symbolic summarization and monitoring of continuous time series data that are being abstractly represented as symbolic templates of information exchange. This summarization process enables such symbolic- reasoning computing systems as artificial- intelligence planning systems to evaluate the significance and effects of channels of data more efficiently than would otherwise be possible. As a result of the increased efficiency in representation, reasoning software can monitor more channels and is thus able to perform monitoring and control functions more effectively.

  13. Short-term forecasting of life-threatening cardiac arrhythmias based on symbolic dynamics and finite-time growth rates

    NASA Astrophysics Data System (ADS)

    Wessel, Niels; Ziehmann, Christine; Kurths, Jürgen; Meyerfeldt, Udo; Schirdewan, Alexander; Voss, Andreas

    2000-01-01

    Ventricular tachycardia or fibrillation (VT-VF) as fatal cardiac arrhythmias are the main factors triggering sudden cardiac death. The objective of this study is to find early signs of sustained VT-VF in patients with an implanted cardioverter-defibrillator (ICD). These devices are able to safeguard patients by returning their hearts to a normal rhythm via strong defibrillatory shocks; additionally, they store the 1000 beat-to-beat intervals immediately before the onset of a life-threatening arrhythmia. We study these 1000 beat-to-beat intervals of 17 chronic heart failure ICD patients before the onset of a life-threatening arrhythmia and at a control time, i.e., without a VT-VF event. To characterize these rather short data sets, we calculate heart rate variability parameters from the time and frequency domain, from symbolic dynamics as well as the finite-time growth rates. We find that neither the time nor the frequency domain parameters show significant differences between the VT-VF and the control time series. However, two parameters from symbolic dynamics as well as the finite-time growth rates discriminate significantly both groups. These findings could be of importance in algorithms for next generation ICD's to improve the diagnostics and therapy of VT-VF.

  14. Symbolic Speech

    ERIC Educational Resources Information Center

    Podgor, Ellen S.

    1976-01-01

    The concept of symbolic speech emanates from the 1967 case of United States v. O'Brien. These discussions of flag desecration, grooming and dress codes, nude entertainment, buttons and badges, and musical expression show that the courts place symbolic speech in different strata from verbal communication. (LBH)

  15. Symbolic dynamics of heart rate variability - a promising tool to investigate cardiac sympathovagal control in attention deficit/hyperactivity disorder (ADHD)?

    PubMed

    Tonhajzerova, Ingrid; Farsky, Ivan; Mestanik, Michal; Visnovcova, Zuzana; Mestanikova, Andrea; Hrtanek, Igor; Ondrejka, Igor

    2016-06-01

    We aimed to evaluate complex cardiac sympathovagal control in attention deficit/hyperactivity disorder (ADHD) by using heart rate variability (HRV) nonlinear analysis - symbolic dynamics. We examined 29 boys with untreated ADHD and 25 healthy boys (age 8-13 years). ADHD symptoms were evaluated by ADHD-RS-IV scale. ECG was recorded in 3 positions: baseline supine position, orthostasis, and clinostasis. Symbolic dynamics indices were used for the assessment of complex cardiac sympathovagal regulation: normalised complexity index (NCI), normalised unpredictability index (NUPI), and pattern classification measures (0V%, 1V%, 2LV%, 2UV%). The results showed that HRV complexity was significantly reduced at rest (NUPI) and during standing position (NCI, NUPI) in ADHD group compared to controls. Cardiac-linked sympathetic index 0V% was significantly higher during all posture positions and cardiovagal index 2LV% was significantly lower to standing in boys suffering from ADHD. Importantly, ADHD symptom inattention positively correlated with 0V%, and negatively correlated with NCI, NUPI. Concluding, symbolic dynamics revealed impaired complex neurocardiac control characterised by potential cardiac beta-adrenergic overactivity and vagal deficiency at rest and to posture changes in boys suffering from ADHD that is correlated with inattention. We suggest that symbolic dynamics indices could represent promising cardiac biomarkers in ADHD. PMID:26963175

  16. Integrating Symbolic and Statistical Methods for Testing Intelligent Systems Applications to Machine Learning and Computer Vision

    SciTech Connect

    Jha, Sumit Kumar; Pullum, Laura L; Ramanathan, Arvind

    2016-01-01

    Embedded intelligent systems ranging from tiny im- plantable biomedical devices to large swarms of autonomous un- manned aerial systems are becoming pervasive in our daily lives. While we depend on the flawless functioning of such intelligent systems, and often take their behavioral correctness and safety for granted, it is notoriously difficult to generate test cases that expose subtle errors in the implementations of machine learning algorithms. Hence, the validation of intelligent systems is usually achieved by studying their behavior on representative data sets, using methods such as cross-validation and bootstrapping.In this paper, we present a new testing methodology for studying the correctness of intelligent systems. Our approach uses symbolic decision procedures coupled with statistical hypothesis testing to. We also use our algorithm to analyze the robustness of a human detection algorithm built using the OpenCV open-source computer vision library. We show that the human detection implementation can fail to detect humans in perturbed video frames even when the perturbations are so small that the corresponding frames look identical to the naked eye.

  17. Low-complexity joint symbol synchronization and sampling frequency offset estimation scheme for optical IMDD OFDM systems.

    PubMed

    Zhang, Zhen; Zhang, Qianwu; Chen, Jian; Li, Yingchun; Song, Yingxiong

    2016-06-13

    A low-complexity joint symbol synchronization and SFO estimation scheme for asynchronous optical IMDD OFDM systems based on only one training symbol is proposed. Numerical simulations and experimental demonstrations are also under taken to evaluate the performance of the mentioned scheme. The experimental results show that robust and precise symbol synchronization and the SFO estimation can be achieved simultaneously at received optical power as low as -20dBm in asynchronous OOFDM systems. SFO estimation accuracy in MSE can be lower than 1 × 10-11 under SFO range from -60ppm to 60ppm after 25km SSMF transmission. Optimal System performance can be maintained until cumulate number of employed frames for calculation is less than 50 under above-mentioned conditions. Meanwhile, the proposed joint scheme has a low level of operation complexity comparing with existing methods, when the symbol synchronization and SFO estimation are considered together. Above-mentioned results can give an important reference in practical system designs. PMID:27410279

  18. An Examination of the Potential for Blissymbolics to Serve as the Foundation for a Tactile Symbol System

    ERIC Educational Resources Information Center

    Isaacson, Mickey

    2012-01-01

    The primary purpose of this study was to determine whether Blissymbolics have the potential for being developed into a tactile symbol communication system. Tactile techniques are used by many individuals with augmentative and alternative communication (AAC) needs. Tactile processing is optimized by the use of minimalistic stimuli, i.e., stimuli…

  19. Symbolic Dynamics Analysis of Short Data Sets: an Application to Heart Rate Variability from Implantable Defibrillator Devices

    NASA Astrophysics Data System (ADS)

    Zebrowski, Jan J.; Baranowski, Rafal; Przybylski, Andrzej

    2003-07-01

    A method is described for the assessment of the complexity of short data sets by nonlinear dynamics. The method was devised for and tested on human heart rate recordings approximately 2000 to 9000 RR intervals long which were extracted from the memory of implantable defibrillator devices (ICD). It is, however, applicable in a more general context. The ICDs are meant to control life-threatening episodes of ventricular tachycardia and/or ventricular fibrillation by applying a electric shock to the heart through intracardiac electrodes. It is well known that conventional ICD algorithms yield approximately 20--30 % of spurious interventions. The main aim of this work is to look for nonlinear dynamics methods to enhance the appropriateness of the ICD intervention. We first showed that nonlinear dynamics methods first applied to 24-hour heart rate variability analysis were able to detect the need for the ICD intervention. To be applicable to future ICD use, the methods must also be low in computational requirements. Methods to analyse the complexity of the short and non-stationary sets were devised. We calculated the Shannon entropy of symbolic words obtained in a sliding 50 beat window and analysed the dependence of this complexity measure on the time. Precursors were found extending much earlier time than the time the standard ICD algorithms span.

  20. Symbolic transfer entropy.

    PubMed

    Staniek, Matthäus; Lehnertz, Klaus

    2008-04-18

    We propose to estimate transfer entropy using a technique of symbolization. We demonstrate numerically that symbolic transfer entropy is a robust and computationally fast method to quantify the dominating direction of information flow between time series from structurally identical and nonidentical coupled systems. Analyzing multiday, multichannel electroencephalographic recordings from 15 epilepsy patients our approach allowed us to reliably identify the hemisphere containing the epileptic focus without observing actual seizure activity. PMID:18518155

  1. Symbolic Transfer Entropy

    NASA Astrophysics Data System (ADS)

    Staniek, Matthäus; Lehnertz, Klaus

    2008-04-01

    We propose to estimate transfer entropy using a technique of symbolization. We demonstrate numerically that symbolic transfer entropy is a robust and computationally fast method to quantify the dominating direction of information flow between time series from structurally identical and nonidentical coupled systems. Analyzing multiday, multichannel electroencephalographic recordings from 15 epilepsy patients our approach allowed us to reliably identify the hemisphere containing the epileptic focus without observing actual seizure activity.

  2. Communication patterns in a psychotherapy following traumatic brain injury: A quantitative case study based on symbolic dynamics

    PubMed Central

    2011-01-01

    Background The role of psychotherapy in the treatment of traumatic brain injury is receiving increased attention. The evaluation of psychotherapy with these patients has been conducted largely in the absence of quantitative data concerning the therapy itself. Quantitative methods for characterizing the sequence-sensitive structure of patient-therapist communication are now being developed with the objective of improving the effectiveness of psychotherapy following traumatic brain injury. Methods The content of three therapy session transcripts (sessions were separated by four months) obtained from a patient with a history of several motor vehicle accidents who was receiving dialectical behavior therapy was scored and analyzed using methods derived from the mathematical theory of symbolic dynamics. Results The analysis of symbol frequencies was largely uninformative. When repeated triples were examined a marked pattern of change in content was observed over the three sessions. The context free grammar complexity and the Lempel-Ziv complexity were calculated for each therapy session. For both measures, the rate of complexity generation, expressed as bits per minute, increased longitudinally during the course of therapy. The between-session increases in complexity generation rates are consistent with calculations of mutual information. Taken together these results indicate that there was a quantifiable increase in the variability of patient-therapist verbal behavior during the course of therapy. Comparison of complexity values against values obtained from equiprobable random surrogates established the presence of a nonrandom structure in patient-therapist dialog (P = .002). Conclusions While recognizing that only limited conclusions can be based on a case history, it can be noted that these quantitative observations are consistent with qualitative clinical observations of increases in the flexibility of discourse during therapy. These procedures can be of particular

  3. Selforganization of Symbols and Information

    NASA Astrophysics Data System (ADS)

    Ebeling, Werner; Feistel, Rainer

    2014-12-01

    Following the spirit of the late John Nicolis, the purpose of this paper is to develop an evolutionary approach for the basic problem of generation, storage and dissipation of information in physical and biological systems via dynamical processes. After analysing the relation of entropy and information we develop our view that information is in general a nonphysical, emergent quantity, in spite of the fact that information transfer is always connected with flows of physical energy and entropy. We argue that information can have two basic forms: free information (like that of disks, tapes, books), that is what is transferred between sender and receiver, and bound information, that is a physical non-equilibrium structure which retains potential information reflecting the history of its formation (like fossils, geological strata or galaxies). As a basic concept we consider a kinetic phase transition of the second kind, termed the ritualization transition, which leads to the self-organized emergence of symbols, the key elements of free information. Ritualization occurs only in the context of life. Hence, the simplest physical example for a ritualization process is a system that starts as a physical and ends as a biological one, in other words, the origin of life. Our interest in this transition is focussed on the self-organization of information, on the way how a physical system can be enabled to create symbols and the related symbol-processing machinery out of ordinary pre-biological roots.

  4. Solar dynamic systems

    NASA Technical Reports Server (NTRS)

    Dustin, M. O.

    1985-01-01

    The development of the solar dynamic system is discussed. The benefits of the solar dynamic system over pv systems are enumerated. The history of the solar dynamic development is recounted. The purpose and approach of the advanced development are outlined. Critical concentrator technology and critical heat recover technology are examined.

  5. Symbolic transfer entropy: inferring directionality in biosignals.

    PubMed

    Staniek, Matthäus; Lehnertz, Klaus

    2009-12-01

    Inferring directional interactions from biosignals is of crucial importance to improve understanding of dynamical interdependences underlying various physiological and pathophysiological conditions. We here present symbolic transfer entropy as a robust measure to infer the direction of interactions between multidimensional dynamical systems. We demonstrate its performance in quantifying driver-responder relationships in a network of coupled nonlinear oscillators and in the human epileptic brain. PMID:19938889

  6. Joint Symbol Timing and CFO Estimation for OFDM/OQAM Systems in Multipath Channels

    NASA Astrophysics Data System (ADS)

    Fusco, Tilde; Petrella, Angelo; Tanda, Mario

    2009-12-01

    The problem of data-aided synchronization for orthogonal frequency division multiplexing (OFDM) systems based on offset quadrature amplitude modulation (OQAM) in multipath channels is considered. In particular, the joint maximum-likelihood (ML) estimator for carrier-frequency offset (CFO), amplitudes, phases, and delays, exploiting a short known preamble, is derived. The ML estimators for phases and amplitudes are in closed form. Moreover, under the assumption that the CFO is sufficiently small, a closed form approximate ML (AML) CFO estimator is obtained. By exploiting the obtained closed form solutions a cost function whose peaks provide an estimate of the delays is derived. In particular, the symbol timing (i.e., the delay of the first multipath component) is obtained by considering the smallest estimated delay. The performance of the proposed joint AML estimator is assessed via computer simulations and compared with that achieved by the joint AML estimator designed for AWGN channel and that achieved by a previously derived joint estimator for OFDM systems.

  7. MINING NUCLEAR TRANSIENT DATA THROUGH SYMBOLIC CONVERSION

    SciTech Connect

    Diego MAndelli; Tunc Aldemir; Alper Yilmaz; Curtis Smith

    2013-09-01

    Dynamic Probabilistic Risk Assessment (DPRA) methodologies generate enormous amounts of data for a very large number of simulations. The data contain temporal information of both the state variables of the simulator and the temporal status of specific systems/components. In order to measure system performances, limitations and resilience, such data need to be carefully analyzed with the objective of discovering the correlations between sequence/timing of events and system dynamics. A first approach toward discovering these correlations from data generated by DPRA methodologies has been performed by organizing scenarios into groups using classification or clustering based algorithms. The identification of the correlations between system dynamics and timing/sequencing of events is performed by observing the temporal distribution of these events in each group of scenarios. Instead of performing “a posteriori” analysis of these correlations, this paper shows how it is possible to identify the correlations implicitly by performing a symbolic conversion of both continuous (temporal profiles of simulator state variables) and discrete (status of systems and components) data. Symbolic conversion is performed for each simulation by properly quantizing both continuous and discrete data and then converting them as a series of symbols. After merging both series together, a temporal phrase is obtained. This phrase preserves duration, coincidence and sequence of both continuous and discrete data in a uniform and consistent manner. In this paper it is also shown that by using specific distance measures, it is still possible to post-process such symbolic data using clustering and classification techniques but in considerably less time since the memory needed to store the data is greatly reduced by the symbolic conversion.

  8. Symbolic functions from neural computation.

    PubMed

    Smolensky, Paul

    2012-07-28

    Is thought computation over ideas? Turing, and many cognitive scientists since, have assumed so, and formulated computational systems in which meaningful concepts are encoded by symbols which are the objects of computation. Cognition has been carved into parts, each a function defined over such symbols. This paper reports on a research program aimed at computing these symbolic functions without computing over the symbols. Symbols are encoded as patterns of numerical activation over multiple abstract neurons, each neuron simultaneously contributing to the encoding of multiple symbols. Computation is carried out over the numerical activation values of such neurons, which individually have no conceptual meaning. This is massively parallel numerical computation operating within a continuous computational medium. The paper presents an axiomatic framework for such a computational account of cognition, including a number of formal results. Within the framework, a class of recursive symbolic functions can be computed. Formal languages defined by symbolic rewrite rules can also be specified, the subsymbolic computations producing symbolic outputs that simultaneously display central properties of both facets of human language: universal symbolic grammatical competence and statistical, imperfect performance. PMID:22711873

  9. Symbolic computer vector analysis

    NASA Technical Reports Server (NTRS)

    Stoutemyer, D. R.

    1977-01-01

    A MACSYMA program is described which performs symbolic vector algebra and vector calculus. The program can combine and simplify symbolic expressions including dot products and cross products, together with the gradient, divergence, curl, and Laplacian operators. The distribution of these operators over sums or products is under user control, as are various other expansions, including expansion into components in any specific orthogonal coordinate system. There is also a capability for deriving the scalar or vector potential of a vector field. Examples include derivation of the partial differential equations describing fluid flow and magnetohydrodynamics, for 12 different classic orthogonal curvilinear coordinate systems.

  10. How Attentional Systems Process Conflicting Cues. The Superiority of Social over Symbolic Orienting Revisited

    ERIC Educational Resources Information Center

    Nummenmaa, Lauri; Hietanen, Jari K.

    2009-01-01

    We investigated orienting of attention by social and symbolic cues presented inside/outside the locus of attention. Participants responded to laterally presented targets preceded by simultaneously presented gaze and arrow cues. Participants' attention was allocated to either of the cues and the other cue served as a distractor. In Experiments 1-4…

  11. Towards Transformation: The Power of Phonetic Symbols Embedded in the Multimedia Learning Management System

    ERIC Educational Resources Information Center

    Por, Fei Ping; Fong, Soon Fook

    2011-01-01

    The conventional way of using letter-to-sound approach to acquire English pronunciation competence is limited to simple and regular English words in elementary level. This limitation signifies the potentialities of phonetic symbols that are applicable to the pronunciation of all the words of human languages. The researchers are exploring the…

  12. Symbol Sourcebook; An Authoritative Guide to International Graphic Symbols.

    ERIC Educational Resources Information Center

    Dreyfuss, Henry

    There are today some 5,000 languages and dialects in use throughout the world; in most instances, intercommunication among them ranges from difficult to impossible. This sourcebook of graphic symbols was compiled as a first step toward a basic means of communication through a system of universally recognizable symbols. The sourcebook is limited to…

  13. Directed Incremental Symbolic Execution

    NASA Technical Reports Server (NTRS)

    Person, Suzette; Yang, Guowei; Rungta, Neha; Khurshid, Sarfraz

    2011-01-01

    The last few years have seen a resurgence of interest in the use of symbolic execution -- a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains challenging despite recent algorithmic and technological advances. An alternative to solving the problem of scalability is to reduce the scope of the analysis. One approach that is widely studied in the context of regression analysis is to analyze the differences between two related program versions. While such an approach is intuitive in theory, finding efficient and precise ways to identify program differences, and characterize their effects on how the program executes has proved challenging in practice. In this paper, we present Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes. The novelty of DiSE is to combine the efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore program execution paths and generate path conditions affected by the differences. DiSE is a complementary technique to other reduction or bounding techniques developed to improve symbolic execution. Furthermore, DiSE does not require analysis results to be carried forward as the software evolves -- only the source code for two related program versions is required. A case-study of our implementation of DiSE illustrates its effectiveness at detecting and characterizing the effects of program changes.

  14. The motion behind the symbols: a vital role for dynamism in the conceptualization of limits and continuity in expert mathematics.

    PubMed

    Marghetis, Tyler; Núñez, Rafael

    2013-04-01

    The canonical history of mathematics suggests that the late 19th-century "arithmetization" of calculus marked a shift away from spatial-dynamic intuitions, grounding concepts in static, rigorous definitions. Instead, we argue that mathematicians, both historically and currently, rely on dynamic conceptualizations of mathematical concepts like continuity, limits, and functions. In this article, we present two studies of the role of dynamic conceptual systems in expert proof. The first is an analysis of co-speech gesture produced by mathematics graduate students while proving a theorem, which reveals a reliance on dynamic conceptual resources. The second is a cognitive-historical case study of an incident in 19th-century mathematics that suggests a functional role for such dynamism in the reasoning of the renowned mathematician Augustin Cauchy. Taken together, these two studies indicate that essential concepts in calculus that have been defined entirely in abstract, static terms are nevertheless conceptualized dynamically, in both contemporary and historical practice. PMID:23460466

  15. Symbolic extensions applied to multiscale structure of genomes.

    PubMed

    Downarowicz, Tomasz; Travisany, Dante; Montecino, Martin; Maass, Alejandro

    2014-06-01

    A genome of a living organism consists of a long string of symbols over a finite alphabet carrying critical information for the organism. This includes its ability to control post natal growth, homeostasis, adaptation to changes in the surrounding environment, or to biochemically respond at the cellular level to various specific regulatory signals. In this sense, a genome represents a symbolic encoding of a highly organized system of information whose functioning may be revealed as a natural multilayer structure in terms of complexity and prominence. In this paper we use the mathematical theory of symbolic extensions as a framework to shed light onto how this multilayer organization is reflected in the symbolic coding of the genome. The distribution of data in an element of a standard symbolic extension of a dynamical system has a specific form: the symbolic sequence is divided into several subsequences (which we call layers) encoding the dynamics on various "scales". We propose that a similar structure resides within the genomes, building our analogy on some of the most recent findings in the field of regulation of genomic DNA functioning. PMID:24728912

  16. Development of the Symbolic Manipulator Laboratory modeling package for the kinematic design and optimization of the Future Armor Rearm System robot. Ammunition Logistics Program

    SciTech Connect

    March-Leuba, S.; Jansen, J.F.; Kress, R.L.; Babcock, S.M.; Dubey, R.V.

    1992-08-01

    A new program package, Symbolic Manipulator Laboratory (SML), for the automatic generation of both kinematic and static manipulator models in symbolic form is presented. Critical design parameters may be identified and optimized using symbolic models as shown in the sample application presented for the Future Armor Rearm System (FARS) arm. The computer-aided development of the symbolic models yields equations with reduced numerical complexity. Important considerations have been placed on the closed form solutions simplification and on the user friendly operation. The main emphasis of this research is the development of a methodology which is implemented in a computer program capable of generating symbolic kinematic and static forces models of manipulators. The fact that the models are obtained trigonometrically reduced is among the most significant results of this work and the most difficult to implement. Mathematica, a commercial program that allows symbolic manipulation, is used to implement the program package. SML is written such that the user can change any of the subroutines or create new ones easily. To assist the user, an on-line help has been written to make of SML a user friendly package. Some sample applications are presented. The design and optimization of the 5-degrees-of-freedom (DOF) FARS manipulator using SML is discussed. Finally, the kinematic and static models of two different 7-DOF manipulators are calculated symbolically.

  17. Development of the Symbolic Manipulator Laboratory modeling package for the kinematic design and optimization of the Future Armor Rearm System robot

    SciTech Connect

    March-Leuba, S.; Jansen, J.F.; Kress, R.L.; Babcock, S.M. ); Dubey, R.V. . Dept. of Mechanical and Aerospace Engineering)

    1992-08-01

    A new program package, Symbolic Manipulator Laboratory (SML), for the automatic generation of both kinematic and static manipulator models in symbolic form is presented. Critical design parameters may be identified and optimized using symbolic models as shown in the sample application presented for the Future Armor Rearm System (FARS) arm. The computer-aided development of the symbolic models yields equations with reduced numerical complexity. Important considerations have been placed on the closed form solutions simplification and on the user friendly operation. The main emphasis of this research is the development of a methodology which is implemented in a computer program capable of generating symbolic kinematic and static forces models of manipulators. The fact that the models are obtained trigonometrically reduced is among the most significant results of this work and the most difficult to implement. Mathematica, a commercial program that allows symbolic manipulation, is used to implement the program package. SML is written such that the user can change any of the subroutines or create new ones easily. To assist the user, an on-line help has been written to make of SML a user friendly package. Some sample applications are presented. The design and optimization of the 5-degrees-of-freedom (DOF) FARS manipulator using SML is discussed. Finally, the kinematic and static models of two different 7-DOF manipulators are calculated symbolically.

  18. Symbolic computation of conservation laws and exact solutions of a coupled variable-coefficient modified Korteweg-de Vries system

    NASA Astrophysics Data System (ADS)

    Adem, Abdullahi Rashid; Khalique, Chaudry Masood

    2016-04-01

    In this paper we study a generalized coupled variable-coefficient modified Korteweg-de Vries (CVCmKdV) system that models a two-layer fluid, which is applied to investigate the atmospheric and oceanic phenomena such as the atmospheric blockings, interactions between the atmosphere and ocean, oceanic circulations and hurricanes. The conservation laws of the CVCmKdV system are derived using the multiplier approach and a new conservation theorem. In addition to this, a similarity reduction and exact solutions with the aid of symbolic computation are computed.

  19. Vulnerability of dynamic systems

    NASA Technical Reports Server (NTRS)

    Siljak, D. D.

    1976-01-01

    Directed graphs are associated with dynamic systems in order to determine in any given system if each state can be reached by at least one input (input reachability), or can each state reach at least one output (output reachability). Then, the structural perturbations of a dynamic system are identified as lines or points removals from the corresponding digraph, and a system is considered vulnerable at those lines or points of the digraph whose removal destroys its input or output reachability. A suitable framework is formulated for resolving the problems of reachability and vulnerability which applies to both linear and nonlinear systems alike.

  20. Large scale dynamic systems

    NASA Technical Reports Server (NTRS)

    Doolin, B. F.

    1975-01-01

    Classes of large scale dynamic systems were discussed in the context of modern control theory. Specific examples discussed were in the technical fields of aeronautics, water resources and electric power.

  1. Active vision and image/video understanding systems built upon network-symbolic models for perception-based navigation of mobile robots in real-world environments

    NASA Astrophysics Data System (ADS)

    Kuvich, Gary

    2004-12-01

    To be completely successful, robots need to have reliable perceptual systems that are similar to human vision. It is hard to use geometric operations for processing of natural images. Instead, the brain builds a relational network-symbolic structure of visual scene, using different clues to set up the relational order of surfaces and objects with respect to the observer and to each other. Feature, symbol, and predicate are equivalent in the biologically inspired Network-Symbolic systems. A linking mechanism binds these features/symbols into coherent structures, and image converts from a "raster" into a "vector" representation. View-based object recognition is a hard problem for traditional algorithms that directly match a primary view of an object to a model. In Network-Symbolic Models, the derived structure, not the primary view, is a subject for recognition. Such recognition is not affected by local changes and appearances of the object as seen from a set of similar views. Once built, the model of visual scene changes slower then local information in the visual buffer. It allows for disambiguating visual information and effective control of actions and navigation via incremental relational changes in visual buffer. Network-Symbolic models can be seamlessly integrated into the NIST 4D/RCS architecture and better interpret images/video for situation awareness, target recognition, navigation and actions.

  2. The analysis of control trajectories using symbolic and database computing

    NASA Technical Reports Server (NTRS)

    Grossman, Robert

    1995-01-01

    This final report comprises the formal semi-annual status reports for this grant for the periods June 30-December 31, 1993, January 1-June 30, 1994, and June 1-December 31, 1994. The research supported by this grant is broadly concerned with the symbolic computation, mixed numeric-symbolic computation, and database computation of trajectories of dynamical systems, especially control systems. A review of work during the report period covers: trajectories and approximating series, the Cayley algebra of trees, actions of differential operators, geometrically stable integration algorithms, hybrid systems, trajectory stores, PTool, and other activities. A list of publications written during the report period is attached.

  3. Using chaos to model random symbols for improved unsupervised information processing

    NASA Astrophysics Data System (ADS)

    Mukhopadhyay, Sumona; Leung, Henry

    We present theoretical analyses that may allow strengthening the connection between chaotic dynamical system and information processing. The analytical and empirical studies prove that computing with chaos and nonlinear characterization of information improves unsupervised information processing. Traditional supervised techniques for information retrieval from noisy environment achieve optimal performance. However, the need for training symbols is an inefficient strategy. We prove that with a chaotic generator as an information source, unsupervised performance is close to that of supervised with a white Gaussian stochastic process. Analytical results show that unsupervised technique using chaotic symbolic dynamics is equivalent to that of supervised when using random symbolic information. We conclude from the concepts of measure theory and ergodic theory, that random symbolic information can be modeled by a chaotic dynamical system via symbolic dynamics. We observe that the performance of unsupervised information retrieval is equivalent to that of supervised, when random symbolic information and a dynamical representation of it are used in conjunction. This fact enables to apply nonlinear dynamics to design improved communication systems. This research is supported by Alberta Innovates Technology Futures doctoral scholarship.

  4. Decreased entropy of symbolic heart rate dynamics during daily activity as a predictor of positive head-up tilt test in patients with alleged neurocardiogenic syncope

    NASA Astrophysics Data System (ADS)

    Kim, June-Soo; Park, Jeong-Euy; Seo, Jung-Don; Lee, Won-Ro; Kim, Hee-Soo; Noh, Jung-Il; Kim, Nam-Su; Yum, Myung-Kul

    2000-11-01

    Entropy measures of RR interval variability during daily activity over a 24 h period were compared in 30 patients with a positive head-up tilt (HUT) test and 30 patients with a negative HUT test who had a history of alleged neurocardiogenic syncope. Two different entropies, approximate entropy (ApEn) and entropy of symbolic dynamics (SymEn), were employed. In patients showing a positive HUT test, the entropies were significantly decreased when compared with the patients with a negative HUT test. In addition, SymEn in the patients with a negative HUT test was significantly lower than in the normal controls. Discriminant analysis using SymEn could correctly identify 89.3% (520/582) of the 1 h RR interval data of the patients with a positive HUT test regardless of the time of day. Baseline entropies of heart rate dynamics during daily activity were found to be significantly lower in patients with alleged neurocardiogenic syncope and a positive HUT test than in those with the same history but with a negative HUT test. The decreased entropy of symbolic heart rate dynamics may be of predictive value of a positive HUT test in patients with alleged neurocardiogenic syncope.

  5. Dynamic system classifier

    NASA Astrophysics Data System (ADS)

    Pumpe, Daniel; Greiner, Maksim; Müller, Ewald; Enßlin, Torsten A.

    2016-07-01

    Stochastic differential equations describe well many physical, biological, and sociological systems, despite the simplification often made in their derivation. Here the usage of simple stochastic differential equations to characterize and classify complex dynamical systems is proposed within a Bayesian framework. To this end, we develop a dynamic system classifier (DSC). The DSC first abstracts training data of a system in terms of time-dependent coefficients of the descriptive stochastic differential equation. Thereby the DSC identifies unique correlation structures within the training data. For definiteness we restrict the presentation of the DSC to oscillation processes with a time-dependent frequency ω (t ) and damping factor γ (t ) . Although real systems might be more complex, this simple oscillator captures many characteristic features. The ω and γ time lines represent the abstract system characterization and permit the construction of efficient signal classifiers. Numerical experiments show that such classifiers perform well even in the low signal-to-noise regime.

  6. SD-CAS: Spin Dynamics by Computer Algebra System.

    PubMed

    Filip, Xenia; Filip, Claudiu

    2010-11-01

    A computer algebra tool for describing the Liouville-space quantum evolution of nuclear 1/2-spins is introduced and implemented within a computational framework named Spin Dynamics by Computer Algebra System (SD-CAS). A distinctive feature compared with numerical and previous computer algebra approaches to solving spin dynamics problems results from the fact that no matrix representation for spin operators is used in SD-CAS, which determines a full symbolic character to the performed computations. Spin correlations are stored in SD-CAS as four-entry nested lists of which size increases linearly with the number of spins into the system and are easily mapped into analytical expressions in terms of spin operator products. For the so defined SD-CAS spin correlations a set of specialized functions and procedures is introduced that are essential for implementing basic spin algebra operations, such as the spin operator products, commutators, and scalar products. They provide results in an abstract algebraic form: specific procedures to quantitatively evaluate such symbolic expressions with respect to the involved spin interaction parameters and experimental conditions are also discussed. Although the main focus in the present work is on laying the foundation for spin dynamics symbolic computation in NMR based on a non-matrix formalism, practical aspects are also considered throughout the theoretical development process. In particular, specific SD-CAS routines have been implemented using the YACAS computer algebra package (http://yacas.sourceforge.net), and their functionality was demonstrated on a few illustrative examples. PMID:20843716

  7. On the periodicity of symbolic observations of piecewise smooth discrete-time systems

    NASA Technical Reports Server (NTRS)

    Ramadge, Peter J.

    1990-01-01

    A study is made of the behavior of discrete-time systems composed of a set of smooth transition maps coupled by a quantized feedback function. The feedback function partitions the state space into disjoint regions and assigns a smooth transition function to each region. The main result is that under a constraint on the norm of the derivative of the transition maps, a bounded state trajectory with limit points in the interior of the switching regions leads to a region index sequence that is eventually periodic. Under these assumptions, it is shown that eventually the feedback function is determined by a finite state automaton. A similar result is proved in the case of finite state dynamic feedback.

  8. Perception system with scene understanding capabilities upon network-symbolic models for intelligent tactical behavior of mobile robots in real-world environments

    NASA Astrophysics Data System (ADS)

    Kuvich, Gary

    2005-10-01

    Tactical behavior of UGVs, which is needed for successful autonomous off-road driving, can be in many cases achieved by covering most possible driving situations with a set of rules and switching into a "drive-me-away" semi-autonomous mode when no such rule exists. However, the unpredictable and rapidly changing nature of combat situations requires more intelligent tactical behavior that must be based on predictive situation awareness with ongoing scene understanding and fast autonomous decision making. The implementation of image understanding and active vision is possible in the form of biologically inspired Network-Symbolic models, which combine the power of Computational Intelligence with graph and diagrammatic representation of knowledge. A Network-Symbolic system converts image information into an "understandable" Network-Symbolic format, which is similar to relational knowledge models. The traditional linear bottom-up "segmentation-grouping-learning-recognition" approach cannot provide a reliable separation of an object from its background/clutter, while human vision unambiguously solves this problem. An Image/Video Analysis that is based on Network-Symbolic approach is a combination of recursive hierarchical bottom-up and top-down processes. Logic of visual scenes can be captured in the Network-Symbolic models and used for the reliable disambiguation of visual information, including object detection and identification. Such a system can better interpret images/video for situation awareness, target recognition, navigation and actions and seamlessly integrates into 4D/RCS architecture.

  9. Dynamics insulation systems

    NASA Astrophysics Data System (ADS)

    Chen, W. E. W.; Hepler, W. A.; Yuan, S. W. K.; Frederking, T. H. K.

    1985-10-01

    Advanced dynamic insulation systems were analyzed from a thermodynamic point of view. A particular performance measure is proposed in order to characterize various insulations in a unique manner. This measure is related to a base quantity, the refrigeration power ratio. The latter is the minimum refrigeration power, for a particular dynamic insulation limit, to the actual reliquefaction power associated with cryoliquid boiloff. This ratio serves as reference quantity which is approximately constant for a specific ductless insulation at a chosen normal boiling point. Each real container with support structure, vent tube, and other transverse components requires a larger refrigeration power. The ratio of the actual experimental power to the theoretical value of the support-less system is a suitable measure of the entire insulation performance as far as parasitic heat leakage is concerned. The present characterization is illustrated using simple thermodynamic system examples including experiments with liquid nitrogen. Numerical values are presented and a comparison with liquid helium is given.

  10. Abstract Expression Grammar Symbolic Regression

    NASA Astrophysics Data System (ADS)

    Korns, Michael F.

    This chapter examines the use of Abstract Expression Grammars to perform the entire Symbolic Regression process without the use of Genetic Programming per se. The techniques explored produce a symbolic regression engine which has absolutely no bloat, which allows total user control of the search space and output formulas, which is faster, and more accurate than the engines produced in our previous papers using Genetic Programming. The genome is an all vector structure with four chromosomes plus additional epigenetic and constraint vectors, allowing total user control of the search space and the final output formulas. A combination of specialized compiler techniques, genetic algorithms, particle swarm, aged layered populations, plus discrete and continuous differential evolution are used to produce an improved symbolic regression sytem. Nine base test cases, from the literature, are used to test the improvement in speed and accuracy. The improved results indicate that these techniques move us a big step closer toward future industrial strength symbolic regression systems.

  11. Solar System Dynamics

    NASA Technical Reports Server (NTRS)

    Wisdom, Jack

    2002-01-01

    In these 18 years, the research has touched every major dynamical problem in the solar system, including: the effect of chaotic zones on the distribution of asteroids, the delivery of meteorites along chaotic pathways, the chaotic motion of Pluto, the chaotic motion of the outer planets and that of the whole solar system, the delivery of short period comets from the Kuiper belt, the tidal evolution of the Uranian arid Galilean satellites, the chaotic tumbling of Hyperion and other irregular satellites, the large chaotic variations of the obliquity of Mars, the evolution of the Earth-Moon system, and the resonant core- mantle dynamics of Earth and Venus. It has introduced new analytical and numerical tools that are in widespread use. Today, nearly every long-term integration of our solar system, its subsystems, and other solar systems uses algorithms that was invented. This research has all been primarily Supported by this sequence of PGG NASA grants. During this period published major investigations of tidal evolution of the Earth-Moon system and of the passage of the Earth and Venus through non-linear core-mantle resonances were completed. It has published a major innovation in symplectic algorithms: the symplectic corrector. A paper was completed on non-perturbative hydrostatic equilibrium.

  12. ELECTROMAGNETISM, OPTICS, ACOUSTICS, HEAT TRANSFER, CLASSICAL MECHANICS, AND FLUID DYNAMICS: Pulse Amplification in Dispersion-Decreasing Fibers with Symbolic Computation

    NASA Astrophysics Data System (ADS)

    Liu, Wen-Jun; Tian, Bo; Xu, Tao; Cai, Ke-Jie; Zhang, Huan

    2009-12-01

    The pulse amplification in the dispersion-decreasing fiber (DDF) is investigated via symbolic computation to solve the variable-coefficient higher-order nonlinear Schrödinger equation with the effects of third-order dispersion, self-steepening, and stimulated Raman scattering. The analytic one-soliton solution of this model is obtained with a set of parametric conditions. Based on this solution, the fundamental soliton is shown to be amplified in the DDF. The comparison of the amplitude of pulses for different dispersion profiles of the DDF is also performed through the graphical analysis. The results of this paper would be of certain value to the study of signal amplification and pulse compression.

  13. Teaching Young People Who Are Blind and Have Autism to Make Requests Using a Variation on the Picture Exchange Communication System with Tactile Symbols: A Preliminary Investigation

    ERIC Educational Resources Information Center

    Lund, Shelley K.; Troha, Jeanette M.

    2008-01-01

    This study used a single-subject multiple baseline across participants design to evaluate the effectiveness of a modified picture exchange communication system (PECS) teaching protocol with tactile symbols. Three students (two male, one female) aged 12-17 years who had autism and were blind participated in the study. The instructional program…

  14. The Nexus of Knowledge and Behavior for School-Aged Children: Implementation of Health Education Programs and a Nutritional Symbol System

    ERIC Educational Resources Information Center

    Miller, Judith; Graham, Lorraine; Pennington, Jim

    2013-01-01

    Health-related knowledge has been assumed to inform lifestyle choices for school-aged students. A "health-promoting school" provides the conceptual framework for this intervention. A large boarding school developed, implemented and refined a Nutritional Symbol System for their dining hall. The effectiveness of this social marketing…

  15. Effectiveness of Combining Tangible Symbols with the Picture Exchange Communication System to Teach Requesting Skills to Children with Multiple Disabilities Including Visual Impairment

    ERIC Educational Resources Information Center

    Ali, Emad; MacFarland, Stephanie Z.; Umbreit, John

    2011-01-01

    The Picture Exchange Communication System (PECS) is an augmentative and alternative communication (AAC) program used to teach functional requesting and commenting skills to people with disabilities (Bondy & Frost, 1993; Frost & Bondy, 2002). In this study, tangible symbols were added to PECS in teaching requesting to four students (ages 7-14) with…

  16. Firing-rate, symbolic dynamics and frequency dependence in periodically driven spiking models: a piecewise-smooth approach

    NASA Astrophysics Data System (ADS)

    Granados, Albert; Krupa, Maciej

    2015-05-01

    In this work we consider a periodically forced generic integrate-and-fire model with a unique attracting equilibrium in the subthreshold dynamics and study the dependence of the firing-rate on the frequency of the drive. In an earlier study we have obtained rigorous results on the bifurcation structure in such systems, with emphasis on the relation between the firing-rate and the rotation number of the existing periodic orbits. In this work we study how these bifurcation structures behave upon variation of the frequency of the input. This allows us to show that the dependence of the firing-rate on frequency of the drive follows a devil's staircase with non-monotonic steps and that there is an optimal response in the whole frequency domain. We also characterize certain bounded frequency windows in which the firing-rate exhibits a bell-shaped envelope with a global maximum.

  17. Adaptive modulation and intra-symbol frequency-domain averaging scheme for multiband OFDM UWB over fiber system

    NASA Astrophysics Data System (ADS)

    He, Jing; Li, Teng; Wen, Xuejie; Deng, Rui; Chen, Ming; Chen, Lin

    2016-01-01

    To overcome the unbalanced error bit distribution among subcarriers caused by inter-subcarriers mixing interference (ISMI) and frequency selective fading (FSF), an adaptive modulation scheme based on 64/16/4QAM modulation is proposed and experimentally investigated in the intensity-modulation direct-detection (IM/DD) multiband orthogonal frequency division multiplexing (MB-OFDM) ultra-wideband (UWB) over fiber system. After 50 km standard single mode fiber (SSMF) transmission, at the bit error ratio (BER) of 1×10-3, the experimental results show that the power penalty of the IM/DD MB-OFDM UWBoF system with 64/16/4QAM adaptive modulation scheme is about 3.6 dB, compared to that with the 64QAM modulation scheme. Moreover, the receiver sensitivity has been improved about 0.52 dB when the intra-symbol frequency-domain averaging (ISFA) algorithm is employed in the IM/DD MB-OFDM UWBoF system based on the 64/16/4QAM adaptive modulation scheme. Meanwhile, after 50 km SSMF transmission, there is a negligible power penalty in the adaptively modulated IM/DD MB-OFDM UWBoF system, compared to the optical back-to-back case.

  18. Symbolic Shadowing and the Computation of Entropy for Observed Time Series

    NASA Astrophysics Data System (ADS)

    Mendes, Diana A.; Mendes, Vivaldo M.; Ferreira, Nuno; Menezes, Rui

    Order, disorder and recurrence are common features observed in complex time series that can be encountered in many fields, like finance, economics, biology and physiology. These phenomena can be modelled by chaotic dynamical systems and one way to undertake a rigorous analysis is via symbolic dynamics, a mathematical-statistical technique that allows the detection of the underlying topological and metrical structures in the time series. Symbolic dynamics is a powerful tool initially developed for the investigation of discrete dynamical systems. The main idea consists in constructing a partition, that is, a finite collection of disjoint subsets whose union is the state space. By identifying each subset with a distinct symbol, we obtain sequences of symbols that correspond to each trajectory of the original system. One of the major problems in defining a "good" symbolic description of the corresponding time series is to obtain a generating partition, that is, the assignment of symbolic sequences to trajectories that is unique, up to a set of measure zero. Unfortunately, this is not a trivial task, and, moreover, for observed time series the notion of a generating partition is no longer well defined in the presence of noise. In this paper we apply symbolic shadowing, a deterministic algorithm using tessellations, in order to estimate a generating partition for a financial time series (PSI20) and consequently to compute its entropy. This algorithm allows producing partitions such that the symbolic sequences uniquely encode all periodic points up to some order. We compare these results with those obtained by considering the Pesin's identity, that is, the metric entropy is equal to the sum of positive Lyapunov exponents. To obtain the Lyapunov exponents, we reconstruct the state space of the PSI20 data by applying an embedding process and estimate them by using the Wolf et al. algorithm.

  19. Universal Symbols and Cartography.

    ERIC Educational Resources Information Center

    Modley, Rudolf

    The broad use of maps by non-cartographers imposes on the cartographer the burden to make maps not only accurate, but to use symbols which make map-reading easier for the public. The latter requirement implies a need for universal symbols. Although there are no universal symbols today (letters, words, and figures, to a lesser extent, are dependent…

  20. Pedagogical Symbols and Reality.

    ERIC Educational Resources Information Center

    Zolin, P. M.

    1992-01-01

    Discusses symbolism in society, literature, and education. Describes the use of symbolism in the changes accompanying the Bolshevik revolution and the establishment of Marxist-Leninist society in the Soviet Union. Suggests that no effort has been made to develop a set of symbols to accompany the changes of perestroika. (DK)

  1. Dynamic Information Architecture System

    SciTech Connect

    Christiansen, John

    1997-02-12

    The Dynamic Information System (DIAS) is a flexible object-based software framework for concurrent, multidiscplinary modeling of arbitrary (but related) processes. These processes are modeled as interrelated actions caused by and affecting the collection of diverse real-world objects represented in a simulation. The DIAS architecture allows independent process models to work together harmoniously in the same frame of reference and provides a wide range of data ingestion and output capabilities, including Geographic Information System (GIS) type map-based displays and photorealistic visualization of simulations in progress. In the DIAS implementation of the object-based approach, software objects carry within them not only the data which describe their static characteristics, but also the methods, or functions, which describe their dynamic behaviors. There are two categories of objects: (1) Entity objects which have real-world counterparts and are the actors in a simulation, and (2) Software infrastructure objects which make it possible to carry out the simulations. The Entity objects contain lists of Aspect objects, each of which addresses a single aspect of the Entity''s behavior. For example, a DIAS Stream Entity representing a section of a river can have many aspects correspondimg to its behavior in terms of hydrology (as a drainage system component), navigation (as a link in a waterborne transportation system), meteorology (in terms of moisture, heat, and momentum exchange with the atmospheric boundary layer), and visualization (for photorealistic visualization or map type displays), etc. This makes it possible for each real-world object to exhibit any or all of its unique behaviors within the context of a single simulation.

  2. Dynamic Information Architecture System

    Energy Science and Technology Software Center (ESTSC)

    1997-02-12

    The Dynamic Information System (DIAS) is a flexible object-based software framework for concurrent, multidiscplinary modeling of arbitrary (but related) processes. These processes are modeled as interrelated actions caused by and affecting the collection of diverse real-world objects represented in a simulation. The DIAS architecture allows independent process models to work together harmoniously in the same frame of reference and provides a wide range of data ingestion and output capabilities, including Geographic Information System (GIS) typemore » map-based displays and photorealistic visualization of simulations in progress. In the DIAS implementation of the object-based approach, software objects carry within them not only the data which describe their static characteristics, but also the methods, or functions, which describe their dynamic behaviors. There are two categories of objects: (1) Entity objects which have real-world counterparts and are the actors in a simulation, and (2) Software infrastructure objects which make it possible to carry out the simulations. The Entity objects contain lists of Aspect objects, each of which addresses a single aspect of the Entity''s behavior. For example, a DIAS Stream Entity representing a section of a river can have many aspects correspondimg to its behavior in terms of hydrology (as a drainage system component), navigation (as a link in a waterborne transportation system), meteorology (in terms of moisture, heat, and momentum exchange with the atmospheric boundary layer), and visualization (for photorealistic visualization or map type displays), etc. This makes it possible for each real-world object to exhibit any or all of its unique behaviors within the context of a single simulation.« less

  3. Identifying delayed directional couplings with symbolic transfer entropy.

    PubMed

    Dickten, Henning; Lehnertz, Klaus

    2014-12-01

    We propose a straightforward extension of symbolic transfer entropy to enable the investigation of delayed directional relationships between coupled dynamical systems from time series. Analyzing time series from chaotic model systems, we demonstrate the applicability and limitations of our approach. Our findings obtained from applying our method to infer delayed directed interactions in the human epileptic brain underline the importance of our approach for improving the construction of functional network structures from data. PMID:25615128

  4. Identifying delayed directional couplings with symbolic transfer entropy

    NASA Astrophysics Data System (ADS)

    Dickten, Henning; Lehnertz, Klaus

    2014-12-01

    We propose a straightforward extension of symbolic transfer entropy to enable the investigation of delayed directional relationships between coupled dynamical systems from time series. Analyzing time series from chaotic model systems, we demonstrate the applicability and limitations of our approach. Our findings obtained from applying our method to infer delayed directed interactions in the human epileptic brain underline the importance of our approach for improving the construction of functional network structures from data.

  5. Data Systems Dynamic Simulator

    NASA Technical Reports Server (NTRS)

    Rouff, Christopher; Clark, Melana; Davenport, Bill; Message, Philip

    1993-01-01

    The Data System Dynamic Simulator (DSDS) is a discrete event simulation tool. It was developed for NASA for the specific purpose of evaluating candidate architectures for data systems of the Space Station era. DSDS provides three methods for meeting this requirement. First, the user has access to a library of standard pre-programmed elements. These elements represent tailorable components of NASA data systems and can be connected in any logical manner. Secondly, DSDS supports the development of additional elements. This allows the more sophisticated DSDS user the option of extending the standard element set. Thirdly, DSDS supports the use of data streams simulation. Data streams is the name given to a technique that ignores packet boundaries, but is sensitive to rate changes. Because rate changes are rare compared to packet arrivals in a typical NASA data system, data stream simulations require a fraction of the CPU run time. Additionally, the data stream technique is considerably more accurate than another commonly-used optimization technique.

  6. Symbols of a cosmic order

    NASA Astrophysics Data System (ADS)

    Madjid, F. Hadi; Myers, John M.

    2016-10-01

    The world runs on networks over which signals communicate sequences of symbols, e.g. numerals. Examining both engineered and natural communications networks reveals an unsuspected order that depends on contact with an unpredictable entity. This order has three roots. The first is a proof within quantum theory that no evidence can ever determine its explanation, so that an agent choosing an explanation must do so unpredictably. The second root is the showing that clocks that step computers do not "tell time" but serve as self-adjusting symbol-handling agents that regulate "logically synchronized" motion in response to unpredictable disturbances. Such a clock-agent has a certain independence as well as the capacity to communicate via unpredictable symbols with other clock-agents and to adjust its own tick rate in response to that communication. The third root is the noticing of unpredictable symbol exchange in natural systems, including the transmission of symbols found in molecular biology. We introduce a symbol-handling agent as a role played in some cases by a person, for example a physicist who chooses an explanation of given experimental outcomes, and in other cases by some other biological entity, and in still other cases by an inanimate device, such as a computer-based detector used in physical measurements. While we forbear to try to explain the propensity of agents at all levels from cells to civilizations to form and operate networks of logically synchronized symbol-handling agents, we point to this propensity as an overlooked cosmic order, an order structured by the unpredictability ensuing from the proof. Appreciating the cosmic order leads to a conception of agency that replaces volition by unpredictability and reconceives the notion of objectivity in a way that makes a place for agency in the world as described by physics. Some specific implications for physics are outlined.

  7. Towards Symbolic Model Checking for Multi-Agent Systems via OBDDs

    NASA Technical Reports Server (NTRS)

    Raimondi, Franco; Lomunscio, Alessio

    2004-01-01

    We present an algorithm for model checking temporal-epistemic properties of multi-agent systems, expressed in the formalism of interpreted systems. We first introduce a technique for the translation of interpreted systems into boolean formulae, and then present a model-checking algorithm based on this translation. The algorithm is based on OBDD's, as they offer a compact and efficient representation for boolean formulae.

  8. A perceptual account of symbolic reasoning

    PubMed Central

    Landy, David; Allen, Colin; Zednik, Carlos

    2014-01-01

    People can be taught to manipulate symbols according to formal mathematical and logical rules. Cognitive scientists have traditionally viewed this capacity—the capacity for symbolic reasoning—as grounded in the ability to internally represent numbers, logical relationships, and mathematical rules in an abstract, amodal fashion. We present an alternative view, portraying symbolic reasoning as a special kind of embodied reasoning in which arithmetic and logical formulae, externally represented as notations, serve as targets for powerful perceptual and sensorimotor systems. Although symbolic reasoning often conforms to abstract mathematical principles, it is typically implemented by perceptual and sensorimotor engagement with concrete environmental structures. PMID:24795662

  9. Dynamic Modeling of ALS Systems

    NASA Technical Reports Server (NTRS)

    Jones, Harry

    2002-01-01

    The purpose of dynamic modeling and simulation of Advanced Life Support (ALS) systems is to help design them. Static steady state systems analysis provides basic information and is necessary to guide dynamic modeling, but static analysis is not sufficient to design and compare systems. ALS systems must respond to external input variations and internal off-nominal behavior. Buffer sizing, resupply scheduling, failure response, and control system design are aspects of dynamic system design. We develop two dynamic mass flow models and use them in simulations to evaluate systems issues, optimize designs, and make system design trades. One model is of nitrogen leakage in the space station, the other is of a waste processor failure in a regenerative life support system. Most systems analyses are concerned with optimizing the cost/benefit of a system at its nominal steady-state operating point. ALS analysis must go beyond the static steady state to include dynamic system design. All life support systems exhibit behavior that varies over time. ALS systems must respond to equipment operating cycles, repair schedules, and occasional off-nominal behavior or malfunctions. Biological components, such as bioreactors, composters, and food plant growth chambers, usually have operating cycles or other complex time behavior. Buffer sizes, material stocks, and resupply rates determine dynamic system behavior and directly affect system mass and cost. Dynamic simulation is needed to avoid the extremes of costly over-design of buffers and material reserves or system failure due to insufficient buffers and lack of stored material.

  10. Arithmetic coding as a non-linear dynamical system

    NASA Astrophysics Data System (ADS)

    Nagaraj, Nithin; Vaidya, Prabhakar G.; Bhat, Kishor G.

    2009-04-01

    In order to perform source coding (data compression), we treat messages emitted by independent and identically distributed sources as imprecise measurements (symbolic sequence) of a chaotic, ergodic, Lebesgue measure preserving, non-linear dynamical system known as Generalized Luröth Series (GLS). GLS achieves Shannon's entropy bound and turns out to be a generalization of arithmetic coding, a popular source coding algorithm, used in international compression standards such as JPEG2000 and H.264. We further generalize GLS to piecewise non-linear maps (Skewed-nGLS). We motivate the use of Skewed-nGLS as a framework for joint source coding and encryption.

  11. Child and Symbol Factors in Learning to Read a Visually Complex Writing System

    ERIC Educational Resources Information Center

    Nag, Sonali; Snowling, Margaret; Quinlan, Philip; Hulme, Charles

    2014-01-01

    In Kannada, visual features are arranged in blocks called "akshara," making this a visually more complex writing system than typical alphabetic orthographies. Akshara knowledge was assessed concurrently and 8 months later in 113 children in the first years of reading instruction (aged 4-7 years). Mixed effects logistic regression models…

  12. Computerized Symbol Processing for Handicapped Persons.

    ERIC Educational Resources Information Center

    Osguthorpe, Russell T.; And Others

    The paper describes the development of a computerized symbol processing system which allows nonspeaking severely handicapped persons to create communication electronically. Two pilot studies investigated the use of Rebus and Bliss Symbols with either an Apple Graphics Tablet or the Power Pad, a peripheral which allowed users to activate the…

  13. Landscape Construction in Dynamical Systems

    NASA Astrophysics Data System (ADS)

    Tang, Ying; Yuan, Ruoshi; Wang, Gaowei; Ao, Ping

    The idea of landscape has been recently applied to study various of biological problems. We demonstrate that a dynamical structure built into nonlinear dynamical systems allows us to construct such a global optimization landscape, which serves as the Lyapunov function for the ordinary differential equation. We find exact constructions on the landscape for a class of dynamical systems, including a van der Pol type oscillator, competitive Lotka-Volterra systems, and a chaotic system. The landscape constructed provides a new angle for understanding and modelling biological network dynamics.

  14. Handwritten mathematical symbols dataset.

    PubMed

    Chajri, Yassine; Bouikhalene, Belaid

    2016-06-01

    Due to the technological advances in recent years, paper scientific documents are used less and less. Thus, the trend in the scientific community to use digital documents has increased considerably. Among these documents, there are scientific documents and more specifically mathematics documents. In this context, we present our own dataset of handwritten mathematical symbols composed of 10,379 images. This dataset gathers Arabic characters, Latin characters, Arabic numerals, Latin numerals, arithmetic operators, set-symbols, comparison symbols, delimiters, etc. PMID:27006975

  15. Handwritten mathematical symbols dataset

    PubMed Central

    Chajri, Yassine; Bouikhalene, Belaid

    2016-01-01

    Due to the technological advances in recent years, paper scientific documents are used less and less. Thus, the trend in the scientific community to use digital documents has increased considerably. Among these documents, there are scientific documents and more specifically mathematics documents. In this context, we present our own dataset of handwritten mathematical symbols composed of 10,379 images. This dataset gathers Arabic characters, Latin characters, Arabic numerals, Latin numerals, arithmetic operators, set-symbols, comparison symbols, delimiters, etc. PMID:27006975

  16. Culture as a Moving Symbolic Border.

    PubMed

    Simão, Lívia Mathias

    2016-03-01

    The aim of this paper is to propose the notion of culture as a symbolic moving border. Departing from both, Boesch's (1991) concept of culture as a symbolic field of action, and Herbst's (1995) co-genetic logic, I will discuss the dynamics of self-other relationships in terms of their potentiality as sources of movement in culture. A brief analysis of an empirical material is given in illustrative character of the ideas here exposed. PMID:26245862

  17. The Effects of the Davis Symbol Mastery System to Assist a Fourth Grader with Dyslexia in Spelling: A Case Report

    ERIC Educational Resources Information Center

    Amsberry, Gianna; McLaughlin, T. F.; Derby, K. Mark; Waco, Teresa

    2012-01-01

    The purpose of this study was to determine the effectiveness of using the Davis Symbol Mastery Procedure for Words (Davis, 1994) for improving spelling skills. The participant was a fourth-grade male diagnosed with a significant learning disability. The intervention consisted of having the participant write each word, its definition, the word in a…

  18. Comparison of nonlinear methods symbolic dynamics, detrended fluctuation, and Poincaré plot analysis in risk stratification in patients with dilated cardiomyopathy

    NASA Astrophysics Data System (ADS)

    Voss, Andreas; Schroeder, Rico; Truebner, Sandra; Goernig, Matthias; Figulla, Hans Reiner; Schirdewan, Alexander

    2007-03-01

    Dilated cardiomyopathy (DCM) has an incidence of about 20/100 000 new cases per annum and accounts for nearly 10 000 deaths per year in the United States. Approximately 36% of patients with dilated cardiomyopathy (DCM) suffer from cardiac death within five years after diagnosis. Currently applied methods for an early risk prediction in DCM patients are rather insufficient. The objective of this study was to investigate the suitability of short-term nonlinear methods symbolic dynamics (STSD), detrended fluctuation (DFA), and Poincaré plot analysis (PPA) for risk stratification in these patients. From 91 DCM patients and 30 healthy subjects (REF), heart rate and blood pressure variability (HRV, BPV), STSD, DFA, and PPA were analyzed. Measures from BPV analysis, DFA, and PPA revealed highly significant differences (p<0.0011) discriminating REF and DCM. For risk stratification in DCM patients, four parameters from BPV analysis, STSD, and PPA revealed significant differences between low and high risk (maximum sensitivity: 90%, specificity: 90%). These results suggest that STSD and PPA are useful nonlinear methods for enhanced risk stratification in DCM patients.

  19. Generalized Symbolic Execution for Model Checking and Testing

    NASA Technical Reports Server (NTRS)

    Khurshid, Sarfraz; Pasareanu, Corina; Visser, Willem; Kofmeyer, David (Technical Monitor)

    2003-01-01

    Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches: one, we define a program instrumentation, which enables standard model checkers to perform symbolic execution; two, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity of lists), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore program heap configurations (using a systematic treatment of aliasing) and manipulate logical formulae on program data values (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker.

  20. Dynamical Aspects of Nuclear Fission

    NASA Astrophysics Data System (ADS)

    Kliman, J.; Itkis, M. G.; Gmuca, Š.

    2008-11-01

    Fission dynamics. Dependence of scission-neutron yield on light-fragment mass for [symbol]=1/2 [et al.]. Dynamics of capture quasifission and fusion-fission competition / L. Stuttgé ... [et al.] -- Fission-fission. The processes of fusion-fission and quasi-fission of superheavy nuclei / M. G. Itkis ... [et al.]. Fission and quasifission in the reactions [symbol]Ca+[symbol]Pb and [symbol]Ni+[symbol]W / G. N. Knyazheva ... [et al.]. Mass-energy characteristics of reactions [symbol]Fe+[symbol][symbol][symbol]266Hs and [symbol]Mg+[symbol]Cm[symbol][symbol]Hs at Coulomb barrier / L. Krupa ... [et al.]. Fusion of heavy ions at extreme sub-barrier energies / Ş. Mişicu and H. Esbensen. Fusion and fission dynamics of heavy nuclear system / V. Zagrebaev and W. Greiner. Time-dependent potential energy for fusion and fission processes / A. V. Karpov ... [et al.] -- Superheavy elements. Advances in the understanding of structure and production mechanisms for superheavy elements / W. Greiner and V. Zagrebaev. Fission barriers of heaviest nuclei / A. Sobiczewski ... [et al.]. Possibility of synthesizing doubly magic superheavy nuclei / Y Aritomo ... [et al.]. Synthesis of superheavy nuclei in [symbol]Ca-induced reactions / V. K. Utyonkov ... [et al.] -- Fragmentation. Production of neutron-rich nuclei in the nucleus-nucleus collisions around the Fermi energy / M. Veselský. Signals of enlarged core in [symbol]Al / Y. G. Ma ... [et al.] -- Exotic modes. New insight into the fission process from experiments with relativistic heavy-ion beams / K.-H. Schmidt ... [et al.]. New results for the intensity of bimodal fission in binary and ternary spontaneous fission of [symbol]Cf / C. Goodin ... [et al.]. Rare fission modes: study of multi-cluster decays of actinide nuclei / D. V. Kamanin ... [et al.]. Energy distribution of ternary [symbol]-particles in [symbol]Cf(sf) / M. Mutterer ... [et al.]. Preliminary results of experiment aimed at searching for collinear cluster tripartition of

  1. The Symbolic Identity Technique.

    ERIC Educational Resources Information Center

    Goud, Nelson H.

    2001-01-01

    Explains the role of symbols in attaining total psychic growth by applying concepts of C. Jung, R. Assagiolo, and L. Kubie. Describes a new strategy, the symbolic identity technique, which involves environmental exploration in a relaxed, receptive manner in order to discover something in the outer environment that reflects one's inner nature.…

  2. Quantities, Units, and Symbols.

    ERIC Educational Resources Information Center

    Royal Society, London (England).

    This booklet provides a reference to the quantities, units, and their symbols which are used in physical science. It is a revision of a 1969 report and takes account of the progress which has been made in obtaining international agreement on the definitions, names, and symbols for units and on the rules for the expression of relations involving…

  3. Computers for symbolic processing

    NASA Technical Reports Server (NTRS)

    Wah, Benjamin W.; Lowrie, Matthew B.; Li, Guo-Jie

    1989-01-01

    A detailed survey on the motivations, design, applications, current status, and limitations of computers designed for symbolic processing is provided. Symbolic processing computations are performed at the word, relation, or meaning levels, and the knowledge used in symbolic applications may be fuzzy, uncertain, indeterminate, and ill represented. Various techniques for knowledge representation and processing are discussed from both the designers' and users' points of view. The design and choice of a suitable language for symbolic processing and the mapping of applications into a software architecture are then considered. The process of refining the application requirements into hardware and software architectures is treated, and state-of-the-art sequential and parallel computers designed for symbolic processing are discussed.

  4. The Symbolic Order of School: Waldorf and College Prep.

    ERIC Educational Resources Information Center

    Henry, Mary E.

    Schools embody a "symbolic order" communicated through school rituals and social and symbolic relationships. Schools possess a moral vision, a system of values and norms that they wish to develop in students. This paper compares the symbolic order of two independent schools, one a traditional college preparatory school (preschool-grade 12), the…

  5. Dynamic granularity of imaging systems

    NASA Astrophysics Data System (ADS)

    Geissel, Matthias; Smith, Ian C.; Shores, Jonathon E.; Porter, John L.

    2015-11-01

    Imaging systems that include a specific source, imaging concept, geometry, and detector have unique properties such as signal-to-noise ratio, dynamic range, spatial resolution, distortions, and contrast. Some of these properties are inherently connected, particularly dynamic range and spatial resolution. It must be emphasized that spatial resolution is not a single number but must be seen in the context of dynamic range and consequently is better described by a function or distribution. We introduce the "dynamic granularity" G dyn as a standardized, objective relation between a detector's spatial resolution (granularity) and dynamic range for complex imaging systems in a given environment rather than the widely found characterization of detectors such as cameras or films by themselves. This relation can partly be explained through consideration of the signal's photon statistics, background noise, and detector sensitivity, but a comprehensive description including some unpredictable data such as dust, damages, or an unknown spectral distribution will ultimately have to be based on measurements. Measured dynamic granularities can be objectively used to assess the limits of an imaging system's performance including all contributing noise sources and to qualify the influence of alternative components within an imaging system. This article explains the construction criteria to formulate a dynamic granularity and compares measured dynamic granularities for different detectors used in the X-ray backlighting scheme employed at Sandia's Z-Backlighter facility.

  6. The physics of symbols: bridging the epistemic cut.

    PubMed

    Pattee, H H

    2001-01-01

    Evolution requires the genotype-phenotype distinction, a primeval epistemic cut that separates energy-degenerate, rate-independent genetic symbols from the rate-dependent dynamics of construction that they control. This symbol-matter or subject-object distinction occurs at all higher levels where symbols are related to a referent by an arbitrary code. The converse of control is measurement in which a rate-dependent dynamical state is coded into quiescent symbols. Non-integrable constraints are one necessary condition for bridging the epistemic cut by measurement, control, and coding. Additional properties of heteropolymer constraints are necessary for biological evolution. PMID:11325500

  7. Dynamic granularity of imaging systems

    SciTech Connect

    Geissel, Matthias; Smith, Ian C.; Shores, Jonathon E.; Porter, John L.

    2015-11-04

    Imaging systems that include a specific source, imaging concept, geometry, and detector have unique properties such as signal-to-noise ratio, dynamic range, spatial resolution, distortions, and contrast. Some of these properties are inherently connected, particularly dynamic range and spatial resolution. It must be emphasized that spatial resolution is not a single number but must be seen in the context of dynamic range and consequently is better described by a function or distribution. We introduce the “dynamic granularity” Gdyn as a standardized, objective relation between a detector’s spatial resolution (granularity) and dynamic range for complex imaging systems in a given environment rather than the widely found characterization of detectors such as cameras or films by themselves. We found that this relation can partly be explained through consideration of the signal’s photon statistics, background noise, and detector sensitivity, but a comprehensive description including some unpredictable data such as dust, damages, or an unknown spectral distribution will ultimately have to be based on measurements. Measured dynamic granularities can be objectively used to assess the limits of an imaging system’s performance including all contributing noise sources and to qualify the influence of alternative components within an imaging system. Our article explains the construction criteria to formulate a dynamic granularity and compares measured dynamic granularities for different detectors used in the X-ray backlighting scheme employed at Sandia’s Z-Backlighter facility.

  8. Dynamic granularity of imaging systems

    DOE PAGESBeta

    Geissel, Matthias; Smith, Ian C.; Shores, Jonathon E.; Porter, John L.

    2015-11-04

    Imaging systems that include a specific source, imaging concept, geometry, and detector have unique properties such as signal-to-noise ratio, dynamic range, spatial resolution, distortions, and contrast. Some of these properties are inherently connected, particularly dynamic range and spatial resolution. It must be emphasized that spatial resolution is not a single number but must be seen in the context of dynamic range and consequently is better described by a function or distribution. We introduce the “dynamic granularity” Gdyn as a standardized, objective relation between a detector’s spatial resolution (granularity) and dynamic range for complex imaging systems in a given environment rathermore » than the widely found characterization of detectors such as cameras or films by themselves. We found that this relation can partly be explained through consideration of the signal’s photon statistics, background noise, and detector sensitivity, but a comprehensive description including some unpredictable data such as dust, damages, or an unknown spectral distribution will ultimately have to be based on measurements. Measured dynamic granularities can be objectively used to assess the limits of an imaging system’s performance including all contributing noise sources and to qualify the influence of alternative components within an imaging system. Our article explains the construction criteria to formulate a dynamic granularity and compares measured dynamic granularities for different detectors used in the X-ray backlighting scheme employed at Sandia’s Z-Backlighter facility.« less

  9. How Do You Describe a Symbol? The Problems Involved in Retrieving Symbols from a Database.

    ERIC Educational Resources Information Center

    Dyson, Mary C.

    1992-01-01

    Analyzes attributes of symbols and identifies the need for a suitable management system for retrieving images from a database. A classification structure that incorporates graphic, semantic, and bibliographic dimensions is described; experiments with describing, sorting, and drawing symbols are reviewed; and future work on a database management…

  10. Homecoming for Library Symbol.

    ERIC Educational Resources Information Center

    Egan, Bessie

    1987-01-01

    Discusses the significance and development of the library symbol and the history of its acceptance by the American Library Association (ALA) and the Canadian Library Association (CLA). Suggestions are made for its use. (CLB)

  11. Dynamic stability of maglev systems

    SciTech Connect

    Cai, Y.; Chen, S.S.; Mulcahy, T.M.; Rote, D.M.

    1994-05-01

    Because dynamic instabilities are not acceptable in any commercial maglev system, it is important to consider dynamic instability in the development of all maglev systems. This study considers the stability of maglev systems based on experimental data, scoping calculations, and simple mathematical models. Divergence and flutter are obtained for coupled vibration of a three-degree-of-freedom maglev vehicle on a guideway consisting of double L-shaped aluminum segments. The theory and analysis developed in this study provides basic stability characteristics and identifies future research needs for maglev systems.

  12. Dynamic stability of maglev systems

    SciTech Connect

    Cai, Y.; Chen, S.S.; Mulcahy, T.M.; Rote, D.M.

    1992-09-01

    Since the occurrence of dynamic instabilities is not acceptable for any commercial maglev systems, it is important to consider the dynamic instability in the development of all maglev systems. This study is to consider the stability of maglev systems based on experimental data, scoping calculations and simple mathematical models. Divergence and flutter are obtained for coupled vibration of a three-degree-of-freedom maglev vehicle on the guideway which consists of double L-shaped aluminum segments attached to a rotating wheel. The theory and analysis developed in this study provides basic stability characteristics and identifies future research needs for maglev system.

  13. Dynamic stability of maglev systems

    SciTech Connect

    Cai, Y.; Chen, S.S.; Mulcahy, T.M.; Rote, D.M.

    1992-01-01

    Since the occurrence of dynamic instabilities is not acceptable for any commercial maglev systems, it is important to consider the dynamic instability in the development of all maglev systems. This study is to consider the stability of maglev systems based on experimental data, scoping calculations and simple mathematical models. Divergence and flutter are obtained for coupled vibration of a three-degree-of-freedom maglev vehicle on the guideway which consists of double L-shaped aluminum segments attached to a rotating wheel. The theory and analysis developed in this study provides basic stability characteristics and identifies future research needs for maglev system.

  14. Systoles in discrete dynamical systems

    NASA Astrophysics Data System (ADS)

    Fernandes, Sara; Grácio, Clara; Ramos, Carlos Correia

    2013-01-01

    The fruitful relationship between Geometry and Graph Theory has been explored by several authors benefiting also the Theory of discrete dynamical systems seen as Markov chains in graphs. In this work we will further explore the relation between these areas, giving a geometrical interpretation of notions from dynamical systems. In particular, we relate the topological entropy with the systole, here defined in the context of discrete dynamical systems. We show that for continuous interval maps the systole is trivial; however, for the class of interval maps with one discontinuity point the systole acquires relevance from the point of view of the dynamical behavior. Moreover, we define the geodesic length spectrum associated to a Markov interval map and we compute the referred spectrum in several examples.

  15. Matter and symbols of the artificial

    SciTech Connect

    Rocha, L.M.

    1998-08-01

    The study of complex systems should be based on a systems-theoretic framework which requires both self-organizing and symbolic dimensions. An inclusive framework based on the notion of semiotics is advanced to build models capable of representing, as well as evolving in their environments, with implications for Artificial Life. Such undertaking is pursued by discussing the ways in which symbol and matter are irreducibly intertwined in evolutionary systems. The problem is thus phrased in terms of the semiotic categories of syntax, semantics, and pragmatics. With this semiotic view of matter and symbols the requirements of semiotic closure are expressed in models with both self-organizing and symbolic characteristics. Situated action and recent developments in the evolution of cellular automata rules to solve non-trivial tasks are discussed in this context. Finally, indirect encoding schemes for genetic algorithms are developed which follow the semiotic framework here proposed.

  16. Dynamic modeling of power systems

    SciTech Connect

    Reed, M.; White, J.

    1995-12-01

    Morgantown Energy Technology Center`s (METC) Process and Project Engineering (P&PE) personnel continue to refine and modify dynamic modeling or simulations for advanced power systems. P&PE, supported by Gilbert/Commonwealth, Inc. (G/C), has adapted PC/TRAX commercial dynamic software to include equipment found in advanced power systems. PC/TRAX`s software contains the equations that describe the operation of standard power plant equipment such as gas turbines, feedwater pumps, and steam turbines. The METC team has incorporated customized dynamic models using Advanced Continuous Simulation Language (ACSL) code for pressurized circulating fluidized-bed combustors, carbonizers, and other components that are found in Advanced Pressurized Fluidized-Bed Combustion (APFBC) systems. A dynamic model of a commercial-size APFBC power plant was constructed in order to determine representative operating characteristics of the plant and to gain some insight into the best type of control system design. The dynamic model contains both process and control model components. This presentation covers development of a model used to describe the commercial APFBC power plant. Results of exercising the model to simulate plant performance are described and illustrated. Information gained during the APFBC study was applied to a dynamic model of a 1-1/2 generation PFBC system. Some initial results from this study are also presented.

  17. Realization of dynamical electronic systems

    NASA Astrophysics Data System (ADS)

    Hammari, Elena; Catthoor, Francky; Iasemidis, Leonidas; Kjeldsberg, Per Gunnar; Huisken, Jos; Tsakalis, Konstantinos

    2014-04-01

    This article gives an overview of a methodology for building dynamical electronic systems. As an example a part of a system for epileptic seizure prediction is used, which monitors EEG signals and continuously calculates the largest short-term Lyapunov exponents. In dynamical electronic systems, the cost of exploitation, for instance energy consumption, may vary substantially with the values of input signals. In addition, the functions describing the variations are not known at the time the system is designed. As a result, the architecture of the system must accommodate for the worst case exploitation costs, which rapidly exceed the available resources (for instance battery life) when accumulated over time. The presented system scenario methodology solves these challenges by identifying at design time groups of possible exploitation costs, called system scenarios, and implementing a mechanism to detect system scenarios at run time and re-configure the system to cost-efficiently accommodate them. During reconfiguration, the optimized system architecture settings for the active system scenario are selected and the total exploitation cost is reduced. When the dynamic behavior is due to input data variables with a large number of possible values, current techniques for bottom-up scenario identification and detection becomes too complex. A new top-down technique, based on polygonal regions, is presented in this paper. The results for the example system indicate that with 10 system scenarios the average energy consumption of the system can be reduced by 28% and brought within 5% of the theoretically best solution.

  18. Solar system dynamics

    NASA Technical Reports Server (NTRS)

    Wisdom, Jack

    1987-01-01

    The rotational dynamics of irregularly shaped satellites and the origin of Kirkwood Gaps are discussed. The chaotic tumbling of Hyperion and the anomalously low eccentricity of Deimos are examined. The Digital Orrery is used to explore the phase space of the ellipic restricted three body problem near the principal commensurabilities (2/1, 5/2, 3/1, and 3/2). The results for the 3/1 commensurability are in close agreement with those found earlier with the algebraic mapping method. Large chaotic zones are associated with the 3/1, 2/1 and 5/2 resonances, where there are gaps in the distribution of asteroids. The region near the 3/2 resonance, where the Hilda group of asteroids is located, is largely devoid of chaotic behavior. Thus, there is a qualitative agreement between the character of the motion and the distribution of asteroids.

  19. Memoized Symbolic Execution

    NASA Technical Reports Server (NTRS)

    Yang, Guowei; Pasareanu, Corina S.; Khurshid, Sarfraz

    2012-01-01

    This paper introduces memoized symbolic execution (Memoise), a novel approach for more efficient application of forward symbolic execution, which is a well-studied technique for systematic exploration of program behaviors based on bounded execution paths. Our key insight is that application of symbolic execution often requires several successive runs of the technique on largely similar underlying problems, e.g., running it once to check a program to find a bug, fixing the bug, and running it again to check the modified program. Memoise introduces a trie-based data structure that stores the key elements of a run of symbolic execution. Maintenance of the trie during successive runs allows re-use of previously computed results of symbolic execution without the need for re-computing them as is traditionally done. Experiments using our prototype embodiment of Memoise show the benefits it holds in various standard scenarios of using symbolic execution, e.g., with iterative deepening of exploration depth, to perform regression analysis, or to enhance coverage.

  20. Modeling Manic-Depression with Symbolic Logic

    PubMed Central

    Webster, Charles; Banks, Gordon

    1989-01-01

    We characterize manic-depression in terms of symbolic logic and dynamical systems, and describe a computer simulation used to develop our theory. A formal theory of cognitive deficit has four parts. (1) For a normal representation we use the concept of sound and complete “self-axioms.” (2) Normal processing occurs when changes in our personal environment trigger a search for a new set of sound and complete self-axioms. (3) Deficits can lead to unsound judgement in mania and incomplete judgement in depression. (4) Adaptation may consist of attempts to suppress or use the changes in reasoning style. Since manic-depression involves changes in the temporal organization of mood and judgement, it can be classified as a dynamical disease. Nonlinear dynamical systems exhibit transitions between steady state, periodic, and chaotic behavior. We illustrate our approach with a computer simulation that searches through a small set of “self-axioms” while exhibiting periodic and chaotic behavior. In conclusion we conjecture that manic-depression may represent a bifurcation from the chaotic dynamics of normal emotional lability to the pathological periodicity of affective illness.

  1. Symbolism in the Feature Film.

    ERIC Educational Resources Information Center

    Bakony, Edward

    A study of symbolism in feature films reveals how the symbolism employed by film makers can serve as a bridge between feeling and thought, and between aesthetics and cognition. What individuals read from and learn through a symbol varies with what they bring to it. The filmmaker's symbolims must be universal and not private. However, symbolism in…

  2. Biologically inspired dynamic material systems.

    PubMed

    Studart, André R

    2015-03-01

    Numerous examples of material systems that dynamically interact with and adapt to the surrounding environment are found in nature, from hair-based mechanoreceptors in animals to self-shaping seed dispersal units in plants to remodeling bone in vertebrates. Inspired by such fascinating biological structures, a wide range of synthetic material systems have been created to replicate the design concepts of dynamic natural architectures. Examples of biological structures and their man-made counterparts are herein revisited to illustrate how dynamic and adaptive responses emerge from the intimate microscale combination of building blocks with intrinsic nanoscale properties. By using top-down photolithographic methods and bottom-up assembly approaches, biologically inspired dynamic material systems have been created 1) to sense liquid flow with hair-inspired microelectromechanical systems, 2) to autonomously change shape by utilizing plantlike heterogeneous architectures, 3) to homeostatically influence the surrounding environment through self-regulating adaptive surfaces, and 4) to spatially concentrate chemical species by using synthetic microcompartments. The ever-increasing complexity and remarkable functionalities of such synthetic systems offer an encouraging perspective to the rich set of dynamic and adaptive properties that can potentially be implemented in future man-made material systems. PMID:25583299

  3. A modified non-binary LDPC scheme based on watermark symbols in high speed optical transmission systems

    NASA Astrophysics Data System (ADS)

    Wang, Liming; Qiao, Yaojun; Yu, Qian; Zhang, Wenbo

    2016-04-01

    We introduce a watermark non-binary low-density parity check code (NB-LDPC) scheme, which can estimate the time-varying noise variance by using prior information of watermark symbols, to improve the performance of NB-LDPC codes. And compared with the prior-art counterpart, the watermark scheme can bring about 0.25 dB improvement in net coding gain (NCG) at bit error rate (BER) of 1e-6 and 36.8-81% reduction of the iteration numbers. Obviously, the proposed scheme shows great potential in terms of error correction performance and decoding efficiency.

  4. Safety symbol comprehension: effects of symbol type, familiarity, and age.

    PubMed

    Hancock, Holly E; Rogers, Wendy A; Schroeder, Derek; Fisk, Arthur D

    2004-01-01

    A new procedure for evaluating symbol comprehension, the phrase generation procedure, was assessed with 52 younger and 52 older adults. Participants generated as many phrases as came to mind when viewing 40 different safety symbols (hazard alerting, mandatory action, prohibition, and information symbols). Symbol familiarity was also assessed. Comprehension rates for both groups were lower than the 85% level recommended by the American National Standards Institute. Moreover, older participants' comprehension was significantly worse than younger participants', and the older adults also generated significantly fewer phrases. Generally, prohibition symbols were comprehended best and hazard alerting symbols worst. In addition, symbol familiarity was positively correlated with symbol comprehension. These findings indicate that important safety information depicted on signs and household products may be misunderstood if presented in symbolic form. Furthermore, certain types of symbols may be better understood (e.g., prohibition symbols) than other types (e.g., hazard alerting symbols) by both younger and older individuals. These findings signify the utility of the phrase generation procedure as a method for evaluating symbol comprehension, particularly when it is not possible or desirable to provide contextual information. Actual or potential applications of this research include using the phrase generation approach to identify poorly comprehended symbols, including identification of critical confusions that may arise when processing symbolic information. PMID:15359669

  5. Self-Supervised Dynamical Systems

    NASA Technical Reports Server (NTRS)

    Zak, Michail

    2003-01-01

    Some progress has been made in a continuing effort to develop mathematical models of the behaviors of multi-agent systems known in biology, economics, and sociology (e.g., systems ranging from single or a few biomolecules to many interacting higher organisms). Living systems can be characterized by nonlinear evolution of probability distributions over different possible choices of the next steps in their motions. One of the main challenges in mathematical modeling of living systems is to distinguish between random walks of purely physical origin (for instance, Brownian motions) and those of biological origin. Following a line of reasoning from prior research, it has been assumed, in the present development, that a biological random walk can be represented by a nonlinear mathematical model that represents coupled mental and motor dynamics incorporating the psychological concept of reflection or self-image. The nonlinear dynamics impart the lifelike ability to behave in ways and to exhibit patterns that depart from thermodynamic equilibrium. Reflection or self-image has traditionally been recognized as a basic element of intelligence. The nonlinear mathematical models of the present development are denoted self-supervised dynamical systems. They include (1) equations of classical dynamics, including random components caused by uncertainties in initial conditions and by Langevin forces, coupled with (2) the corresponding Liouville or Fokker-Planck equations that describe the evolutions of probability densities that represent the uncertainties. The coupling is effected by fictitious information-based forces, denoted supervising forces, composed of probability densities and functionals thereof. The equations of classical mechanics represent motor dynamics that is, dynamics in the traditional sense, signifying Newton s equations of motion. The evolution of the probability densities represents mental dynamics or self-image. Then the interaction between the physical and

  6. Dynamically reconfigurable photovoltaic system

    DOEpatents

    Okandan, Murat; Nielson, Gregory N.

    2016-05-31

    A PV system composed of sub-arrays, each having a group of PV cells that are electrically connected to each other. A power management circuit for each sub-array has a communications interface and serves to connect or disconnect the sub-array to a programmable power grid. The power grid has bus rows and bus columns. A bus management circuit is positioned at a respective junction of a bus column and a bus row and is programmable through its communication interface to connect or disconnect a power path in the grid. As a result, selected sub-arrays are connected by selected power paths to be in parallel so as to produce a low system voltage, and, alternately in series so as to produce a high system voltage that is greater than the low voltage by at least a factor of ten.

  7. Constraint elimination in dynamical systems

    NASA Technical Reports Server (NTRS)

    Singh, R. P.; Likins, P. W.

    1989-01-01

    Large space structures (LSSs) and other dynamical systems of current interest are often extremely complex assemblies of rigid and flexible bodies subjected to kinematical constraints. A formulation is presented for the governing equations of constrained multibody systems via the application of singular value decomposition (SVD). The resulting equations of motion are shown to be of minimum dimension.

  8. Symbol discriminability models for improved flight displays

    NASA Astrophysics Data System (ADS)

    Ahumada, Albert J.; Trujillo San-Martin, Maite; Gille, Jennifer

    2006-02-01

    Aviation display system designers and evaluators need to know how discriminable displayed symbols will be over a wide range of conditions to assess the adequacy and effectiveness of flight display systems. If flight display symbols are to be safely recognized by pilots, it is necessary that they can be easily discriminated from each other. Sometimes psychophysical measurements can answer this question, but computational modeling may be required to assess the numerous conditions and even help design the empirical experiments that may be needed. Here we present an image discrimination model that includes position compensation. The model takes as input the luminance values for the pixels of two symbol images, the effective viewing distance, and gives as output the discriminability in just-noticeable-differences (d') and the x and y offset in pixels needed to minimize the discriminability. The model predictions are shown to be a useful upper bound for human symbol identification performance.

  9. Exact and Approximate Probabilistic Symbolic Execution

    NASA Technical Reports Server (NTRS)

    Luckow, Kasper; Pasareanu, Corina S.; Dwyer, Matthew B.; Filieri, Antonio; Visser, Willem

    2014-01-01

    Probabilistic software analysis seeks to quantify the likelihood of reaching a target event under uncertain environments. Recent approaches compute probabilities of execution paths using symbolic execution, but do not support nondeterminism. Nondeterminism arises naturally when no suitable probabilistic model can capture a program behavior, e.g., for multithreading or distributed systems. In this work, we propose a technique, based on symbolic execution, to synthesize schedulers that resolve nondeterminism to maximize the probability of reaching a target event. To scale to large systems, we also introduce approximate algorithms to search for good schedulers, speeding up established random sampling and reinforcement learning results through the quantification of path probabilities based on symbolic execution. We implemented the techniques in Symbolic PathFinder and evaluated them on nondeterministic Java programs. We show that our algorithms significantly improve upon a state-of- the-art statistical model checking algorithm, originally developed for Markov Decision Processes.

  10. Managing Complex Dynamical Systems

    ERIC Educational Resources Information Center

    Cox, John C.; Webster, Robert L.; Curry, Jeanie A.; Hammond, Kevin L.

    2011-01-01

    Management commonly engages in a variety of research designed to provide insight into the motivation and relationships of individuals, departments, organizations, etc. This paper demonstrates how the application of concepts associated with the analysis of complex systems applied to such data sets can yield enhanced insights for managerial action.

  11. Symbolically Modeling Concurrent MCAPI Executions

    NASA Technical Reports Server (NTRS)

    Fischer, Topher; Mercer, Eric; Rungta, Neha

    2011-01-01

    Improper use of Inter-Process Communication (IPC) within concurrent systems often creates data races which can lead to bugs that are challenging to discover. Techniques that use Satisfiability Modulo Theories (SMT) problems to symbolically model possible executions of concurrent software have recently been proposed for use in the formal verification of software. In this work we describe a new technique for modeling executions of concurrent software that use a message passing API called MCAPI. Our technique uses an execution trace to create an SMT problem that symbolically models all possible concurrent executions and follows the same sequence of conditional branch outcomes as the provided execution trace. We check if there exists a satisfying assignment to the SMT problem with respect to specific safety properties. If such an assignment exists, it provides the conditions that lead to the violation of the property. We show how our method models behaviors of MCAPI applications that are ignored in previously published techniques.

  12. A hybrid system using symbolic and numeric knowledge for the semantic annotation of sulco-gyral anatomy in brain MRI images.

    PubMed

    Mechouche, Ammar; Morandi, Xavier; Golbreich, Christine; Gibaud, Bernard

    2009-08-01

    This paper describes an interactive system for the semantic annotation of brain magnetic resonance images. The system uses both a numerical atlas and symbolic knowledge of brain anatomical structures depicted using the Semantic Web standards. This knowledge is combined with graphical data, automatically extracted from the images by imaging tools. The annotations of parts of gyri and sulci, in a region of interest, rely on constraint satisfaction problem solving and description logics inferences. The system is run on a client-server architecture, using Web services and including a sophisticated visualization tool. An evaluation of the system was done using normal (healthy) and pathological cases. The results obtained so far demonstrate that the system produces annotations with high precision and quality. PMID:19622437

  13. Coherent structures and dynamical systems

    NASA Technical Reports Server (NTRS)

    Jimenez, Javier

    1987-01-01

    Any flow of a viscous fluid has a finite number of degrees of freedom, and can therefore be seen as a dynamical system. A coherent structure can be thought of as a lower dimensional manifold in whose neighborhood the dynamical system spends a substantial fraction of its time. If such a manifold exists, and if its dimensionality is substantially lower that that of the full flow, it is conceivable that the flow could be described in terms of the reduced set of degrees of freedom, and that such a description would be simpler than one in which the existence of structure was not recognized. Several examples are briefly summarized.

  14. Getting symbols out of a neural architecture

    NASA Astrophysics Data System (ADS)

    Hummel, John E.

    2011-06-01

    Traditional connectionist networks are sharply limited as general accounts of human perception and cognition because they are unable to represent relational ideas such as loves (John, Mary) or bigger-than (Volkswagen, breadbox) in a way that allows them to be manipulated as explicitly relational structures. This paper reviews and critiques the four major responses to this problem in the modelling community: (1) reject connectionism (in any form) in favour of traditional symbolic approaches to modelling the mind; (2) reject the idea that mental representations are symbolic (i.e. reject the idea that we can represent relations); and (3) attempt to represent symbolic structures in a connectionist/neural architecture by finding a way to represent role-filler bindings. Approach (3) is further subdivided into (3a) approaches based on varieties of conjunctive coding and (3b) approaches based on dynamic role-filler binding. I will argue that (3b) is necessary to get symbolic processing out of a neural computing architecture. Specifically, I will argue that vector addition is both the best way to accomplish dynamic binding and an essential part of the proper treatment of symbols in a neural architecture.

  15. Tethered satellite system dynamics and control

    NASA Technical Reports Server (NTRS)

    Musetti, B.; Cibrario, B.; Bussolino, L.; Bodley, C. S.; Flanders, H. A.; Mowery, D. K.; Tomlin, D. D.

    1990-01-01

    The first tethered satellite system, scheduled for launch in May 1991, is reviewed. The system dynamics, dynamics control, and dynamics simulations are discussed. Particular attention is given to in-plane and out-of-plane librations; tether oscillation modes; orbiter and sub-satellite dynamics; deployer control system; the sub-satellite attitude measurement and control system; the Aeritalia Dynamics Model; the Martin-Marietta and NASA-MSFC Dynamics Model; and simulation results.

  16. Ordinal symbolic analysis and its application to biomedical recordings

    PubMed Central

    Amigó, José M.; Keller, Karsten; Unakafova, Valentina A.

    2015-01-01

    Ordinal symbolic analysis opens an interesting and powerful perspective on time-series analysis. Here, we review this relatively new approach and highlight its relation to symbolic dynamics and representations. Our exposition reaches from the general ideas up to recent developments, with special emphasis on its applications to biomedical recordings. The latter will be illustrated with epilepsy data. PMID:25548264

  17. System dynamics and energy use

    SciTech Connect

    Mitchell, J.W.

    1986-01-01

    The goals of the project were to evaluate the importance of process dynamics in building HVAC systems. The specific objectives were: 1. To study the dynamics of a building HVAC system using test data and computer models; 2. To determine the effect of the time between control decisions on the energy consumption of an HVAC system; 3. To determine dynamic HVAC operating strategies that will potentially reduce energy consumption. The HVAC system of the 11 story IBM building in Atlanta, Georgia, was studied using a combination of data collected at the site and models of the components. The HVAC system consists of two 550 ton centrifugal chillers, a cooling tower with two cells and a two speed fan in each cell, and variable and constant air volume air distribution systems. An energy management and control system (EMCS) that monitors the flow rates, temperatures, and pressures throughout the system, controls the operating modes, and sets the status of major components was installed in the building.

  18. Symbolic dynamics to discriminate healthy and ischaemic dilated cardiomyopathy populations: an application to the variability of heart period and QT interval

    PubMed Central

    Valencia, José Fernando; Vallverdu, Montserrat; Rivero, Isidre; Voss, Andreas; de Luna, Antonio Bayes; Porta, Alberto; Caminal, Pere

    2015-01-01

    Myocardial ischaemia is hypothesized to stimulate the cardiac sympathetic excitatory afferents and, therefore, the spontaneous changes of heart period (approximated as the RR interval), and the QT interval in ischaemic dilated cardiomyopathy (IDC) patients might reflect this sympathetic activation. Symbolic analysis is a nonlinear and powerful tool for the extraction and classification of patterns in time-series analysis, which implies a transformation of the original series into symbols and the construction of patterns with the symbols. The aim of this work was to investigate whether symbolic transformations of RR and QT cardiac series can provide a better separation between IDC patients and healthy control (HC) subjects compared with traditional linear measures. The variability of these cardiac series was studied during daytime and night-time periods and also during the complete 24 h recording over windows of short data sequences of approximately 5 min. The IDC group was characterized by an increase in the occurrence rate of patterns without variations (0 V%) and a reduction in the occurrence rate of patterns with one variation (1 V%) and two variations (2 V%). Concerning the RR variability during the daytime, the highest number of patterns had 0 V%, whereas the rates of 1 V% and 2 V% were lower. During the night, 1 V% and 2 V% increased at the expense of diminishing 0 V%. Patterns with and without variations between consecutive symbols were able to increase the separation between the IDC and HC groups, allowing accuracies higher than 80%. With regard to entropy measures, an increase in RR regularity was associated with cardiac disease described by accuracy >70% in the RR series and by accuracy >60% in the QTc series. These results could be associated with an increase in the sympathetic tone in IDC patients. PMID:25548268

  19. Detailed balance, nonequilibrium states, and dissipation in symbolic sequences

    NASA Astrophysics Data System (ADS)

    Nicolis, G.; Nicolis, C.

    2016-05-01

    Symbolic sequences arising from the coarse graining of deterministic dynamical systems continuous in phase space are considered. The extent to which signatures of the time irreversibility and of the nonequilibrium constraints at the level of the original system, such as fluxes or dissipation, can be identified at the coarse-grained level is analyzed. The roles of the partition, of the time window, and of time averaging in distinguishing in a clear-cut way the equilibrium versus nonequilibrium character of the sequence are brought out.

  20. Symbolic Analysis of Concurrent Programs with Polymorphism

    NASA Technical Reports Server (NTRS)

    Rungta, Neha Shyam

    2010-01-01

    The current trend of multi-core and multi-processor computing is causing a paradigm shift from inherently sequential to highly concurrent and parallel applications. Certain thread interleavings, data input values, or combinations of both often cause errors in the system. Systematic verification techniques such as explicit state model checking and symbolic execution are extensively used to detect errors in such systems [7, 9]. Explicit state model checking enumerates possible thread schedules and input data values of a program in order to check for errors [3, 9]. To partially mitigate the state space explosion from data input values, symbolic execution techniques substitute data input values with symbolic values [5, 7, 6]. Explicit state model checking and symbolic execution techniques used in conjunction with exhaustive search techniques such as depth-first search are unable to detect errors in medium to large-sized concurrent programs because the number of behaviors caused by data and thread non-determinism is extremely large. We present an overview of abstraction-guided symbolic execution for concurrent programs that detects errors manifested by a combination of thread schedules and data values [8]. The technique generates a set of key program locations relevant in testing the reachability of the target locations. The symbolic execution is then guided along these locations in an attempt to generate a feasible execution path to the error state. This allows the execution to focus in parts of the behavior space more likely to contain an error.

  1. Waddington, Dynamic Systems, and Epigenetics

    PubMed Central

    Tronick, Ed; Hunter, Richard G.

    2016-01-01

    Waddington coined the term “epigenetic” to attempt to explain the complex, dynamic interactions between the developmental environment and the genome that led to the production of phenotype. Waddington's thoughts on the importance of both adaptability and canalization of phenotypic development are worth recalling as well, as they emphasize the available range for epigenetic action and the importance of environmental feedback (or lack thereof) in the development of complex traits. We suggest that a dynamic systems view fits well with Waddington's conception of epigenetics in the developmental context, as well as shedding light on the study of the molecular epigenetic effects of the environment on brain and behavior. Further, the dynamic systems view emphasizes the importance of the multi-directional interchange between the organism, the genome and various aspects of the environment to the ultimate phenotype. PMID:27375447

  2. Dynamics of Variable Mass Systems

    NASA Technical Reports Server (NTRS)

    Eke, Fidelis O.

    1998-01-01

    This report presents the results of an investigation of the effects of mass loss on the attitude behavior of spinning bodies in flight. The principal goal is to determine whether there are circumstances under which the motion of variable mass systems can become unstable in the sense that their transverse angular velocities become unbounded. Obviously, results from a study of this kind would find immediate application in the aerospace field. The first part of this study features a complete and mathematically rigorous derivation of a set of equations that govern both the translational and rotational motions of general variable mass systems. The remainder of the study is then devoted to the application of the equations obtained to a systematic investigation of the effect of various mass loss scenarios on the dynamics of increasingly complex models of variable mass systems. It is found that mass loss can have a major impact on the dynamics of mechanical systems, including a possible change in the systems stability picture. Factors such as nozzle geometry, combustion chamber geometry, propellant's initial shape, size and relative mass, and propellant location can all have important influences on the system's dynamic behavior. The relative importance of these parameters on-system motion are quantified in a way that is useful for design purposes.

  3. There Is More to Mathematics than Symbols

    ERIC Educational Resources Information Center

    Rivera, Ferdinand

    2010-01-01

    When teachers provide students with every opportunity to visually understand a mathematical concept, process, definition, or notation, they allow them to construct and manipulate relevant and useful images in their minds. Visual understanding has a dynamic character that they do not easily develop with alphanumeric symbols alone despite the…

  4. Mass properties measurement system dynamics

    NASA Technical Reports Server (NTRS)

    Doty, Keith L.

    1993-01-01

    The MPMS mechanism possess two revolute degrees-of-freedom and allows the user to measure the mass, center of gravity, and the inertia tensor of an unknown mass. The dynamics of the Mass Properties Measurement System (MPMS) from the Lagrangian approach to illustrate the dependency of the motion on the unknown parameters.

  5. Dynamic Operations of Thought Systems.

    ERIC Educational Resources Information Center

    McGuire, William J.

    1990-01-01

    Reports on two studies on the dynamic relationships among parts of a thought system. The first study examines the effects of changes in the desirability or likelihood of a core event on thoughts about antecedents and consequences; the second examines the effects of changes in the antecedents and consequences on the core thought. (FMW)

  6. Dynamic stability of maglev systems

    SciTech Connect

    Cai, Y.; Chen, S.S.; Mulcahy, T.M.; Rote, D.M.

    1992-04-01

    Because dynamic instability is not acceptable for any commercial maglev systems, it is important to consider this phenomenon in the development of all maglev systems. This study considers the stability of maglev systems based on experimental data, scoping calculations, and simple mathematical models. Divergence and flutter are obtained for coupled vibration of a three-degree-of-freedom maglev vehicle on a guideway consisting of double L-shaped aluminum segments attached to a rotating wheel. The theory and analysis developed in this study identifies basic stability characteristics and future research needs of maglev systems.

  7. Analog computation with dynamical systems

    NASA Astrophysics Data System (ADS)

    Siegelmann, Hava T.; Fishman, Shmuel

    1998-09-01

    Physical systems exhibit various levels of complexity: their long term dynamics may converge to fixed points or exhibit complex chaotic behavior. This paper presents a theory that enables to interpret natural processes as special purpose analog computers. Since physical systems are naturally described in continuous time, a definition of computational complexity for continuous time systems is required. In analogy with the classical discrete theory we develop fundamentals of computational complexity for dynamical systems, discrete or continuous in time, on the basis of an intrinsic time scale of the system. Dissipative dynamical systems are classified into the computational complexity classes P d, Co-RP d, NP d and EXP d, corresponding to their standard counterparts, according to the complexity of their long term behavior. The complexity of chaotic attractors relative to regular ones leads to the conjecture P d ≠ NP d. Continuous time flows have been proven useful in solving various practical problems. Our theory provides the tools for an algorithmic analysis of such flows. As an example we analyze the continuous Hopfield network.

  8. A Simulation System for Validating the Analytical Prediction of Performance of the Convolutional Encoded and Symbol Interleaved TDRSS S-band Return Link Service in a Pulsed RFI Environment

    NASA Technical Reports Server (NTRS)

    1981-01-01

    A hardware integrated convolutional coding/symbol interleaving and integrated symbol deinterleaving/Viterbi decoding simulation system is described. Validation on the system of the performance of the TDRSS S-band return link with BPSK modulation, operating in a pulsed RFI environment is included. The system consists of three components, the Fast Linkabit Error Rate Tester (FLERT), the Transition Probability Generator (TPG), and a modified LV7017B which includes rate 1/3 capability as well as a periodic interleaver/deinterleaver. Operating and maintenance manuals for each of these units are included.

  9. Dynamics of immune system vulnerabilities

    NASA Astrophysics Data System (ADS)

    Stromberg, Sean P.

    The adaptive immune system can be viewed as a complex system, which adapts, over time, to reflect the history of infections experienced by the organism. Understanding its operation requires viewing it in terms of tradeoffs under constraints and evolutionary history. It typically displays "robust, yet fragile" behavior, meaning common tasks are robust to small changes but novel threats or changes in environment can have dire consequences. In this dissertation we use mechanistic models to study several biological processes: the immune response, the homeostasis of cells in the lymphatic system, and the process that normally prevents autoreactive cells from entering the lymphatic system. Using these models we then study the effects of these processes interacting. We show that the mechanisms that regulate the numbers of cells in the immune system, in conjunction with the immune response, can act to suppress autoreactive cells from proliferating, thus showing quantitatively how pathogenic infections can suppress autoimmune disease. We also show that over long periods of time this same effect can thin the repertoire of cells that defend against novel threats, leading to an age correlated vulnerability. This vulnerability is shown to be a consequence of system dynamics, not due to degradation of immune system components with age. Finally, modeling a specific tolerance mechanism that normally prevents autoimmune disease, in conjunction with models of the immune response and homeostasis we look at the consequences of the immune system mistakenly incorporating pathogenic molecules into its tolerizing mechanisms. The signature of this dynamic matches closely that of the dengue virus system.

  10. Dynamical systems probabilistic risk assessment.

    SciTech Connect

    Denman, Matthew R.; Ames, Arlo Leroy

    2014-03-01

    Probabilistic Risk Assessment (PRA) is the primary tool used to risk-inform nuclear power regulatory and licensing activities. Risk-informed regulations are intended to reduce inherent conservatism in regulatory metrics (e.g., allowable operating conditions and technical specifications) which are built into the regulatory framework by quantifying both the total risk profile as well as the change in the risk profile caused by an event or action (e.g., in-service inspection procedures or power uprates). Dynamical Systems (DS) analysis has been used to understand unintended time-dependent feedbacks in both industrial and organizational settings. In dynamical systems analysis, feedback loops can be characterized and studied as a function of time to describe the changes to the reliability of plant Structures, Systems and Components (SSCs). While DS has been used in many subject areas, some even within the PRA community, it has not been applied toward creating long-time horizon, dynamic PRAs (with time scales ranging between days and decades depending upon the analysis). Understanding slowly developing dynamic effects, such as wear-out, on SSC reliabilities may be instrumental in ensuring a safely and reliably operating nuclear fleet. Improving the estimation of a plant's continuously changing risk profile will allow for more meaningful risk insights, greater stakeholder confidence in risk insights, and increased operational flexibility.

  11. Sign, Symbol and Form.

    ERIC Educational Resources Information Center

    Ballinger, Louise Bowen; Ballinger, Raymond A.

    Signs are such a commonplace sight in our everyday lives, that we can easily miss the artistic beauty and graphic harmony of the symbols used. Thoughtfully well designed and planned signs communicate with a simplicity and directness that signmakers and designers have adhered to for ages. Even contemporary signs still reflect their timelessness…

  12. Exploring Native American Symbolism.

    ERIC Educational Resources Information Center

    Dufrene, Phoebe

    This paper described the events and results of a workshop on Native American symbolism presented to educators and held in Kansas City, Missouri. The presenter maintained that some of the most crucial problems facing U.S. educators and students are caused by racial misunderstandings, and that the universality of artistic expression can be a vehicle…

  13. Simbolos Nacionales. National Symbols.

    ERIC Educational Resources Information Center

    Toro, Leonor

    Written in Spanish and English, this booklet contains information on Puerto Rico's national symbols, including its anthem, emblem, and flag. Verses to "La Borinquena," the national anthem, are given , as well as the song's historical background and musical evolution, covering contributions of Felix Astol Artes, Paco Ramirez Ortiz, Lola Rodriques…

  14. Use of symbolic computation in robotics education

    NASA Technical Reports Server (NTRS)

    Vira, Naren; Tunstel, Edward

    1992-01-01

    An application of symbolic computation in robotics education is described. A software package is presented which combines generality, user interaction, and user-friendliness with the systematic usage of symbolic computation and artificial intelligence techniques. The software utilizes MACSYMA, a LISP-based symbolic algebra language, to automatically generate closed-form expressions representing forward and inverse kinematics solutions, the Jacobian transformation matrices, robot pose error-compensation models equations, and Lagrange dynamics formulation for N degree-of-freedom, open chain robotic manipulators. The goal of such a package is to aid faculty and students in the robotics course by removing burdensome tasks of mathematical manipulations. The software package has been successfully tested for its accuracy using commercially available robots.

  15. Hidden attractors in dynamical systems

    NASA Astrophysics Data System (ADS)

    Dudkowski, Dawid; Jafari, Sajad; Kapitaniak, Tomasz; Kuznetsov, Nikolay V.; Leonov, Gennady A.; Prasad, Awadhesh

    2016-06-01

    Complex dynamical systems, ranging from the climate, ecosystems to financial markets and engineering applications typically have many coexisting attractors. This property of the system is called multistability. The final state, i.e., the attractor on which the multistable system evolves strongly depends on the initial conditions. Additionally, such systems are very sensitive towards noise and system parameters so a sudden shift to a contrasting regime may occur. To understand the dynamics of these systems one has to identify all possible attractors and their basins of attraction. Recently, it has been shown that multistability is connected with the occurrence of unpredictable attractors which have been called hidden attractors. The basins of attraction of the hidden attractors do not touch unstable fixed points (if exists) and are located far away from such points. Numerical localization of the hidden attractors is not straightforward since there are no transient processes leading to them from the neighborhoods of unstable fixed points and one has to use the special analytical-numerical procedures. From the viewpoint of applications, the identification of hidden attractors is the major issue. The knowledge about the emergence and properties of hidden attractors can increase the likelihood that the system will remain on the most desirable attractor and reduce the risk of the sudden jump to undesired behavior. We review the most representative examples of hidden attractors, discuss their theoretical properties and experimental observations. We also describe numerical methods which allow identification of the hidden attractors.

  16. The Development of Symbolic Coordination: Representation of Imagined Objects, Executive Function, and Theory of Mind

    ERIC Educational Resources Information Center

    Dick, Anthony Steven; Overton, Willis F.; Kovacs, Stacie L.

    2005-01-01

    Children's developing competence with symbolic representations was assessed in 3 studies. Study 1 examined the hypothesis that the production of imaginary symbolic objects in pantomime requires the simultaneous coordination of the dual representations of a dynamic action and a symbolic object. We explored this coordination of symbolic…

  17. The Use of Pronunciation Symbols.

    ERIC Educational Resources Information Center

    Cronnell, Bruce

    The use of pronunciation symbols is investigated in this paper, with emphasis on the pronunciation symbols used by the Rules of Correspondence Activity and based on the conventions employed in linguistics, the agreement and variety of the pronunciation symbols commonly used in textbooks and dictionaries, and a suggested set of pronunciation…

  18. On Rank Driven Dynamical Systems

    NASA Astrophysics Data System (ADS)

    Veerman, J. J. P.; Prieto, F. J.

    2014-08-01

    We investigate a class of models related to the Bak-Sneppen (BS) model, initially proposed to study evolution. The BS model is extremely simple and yet captures some forms of "complex behavior" such as self-organized criticality that is often observed in physical and biological systems. In this model, random fitnesses in are associated to agents located at the vertices of a graph . Their fitnesses are ranked from worst (0) to best (1). At every time-step the agent with the worst fitness and some others with a priori given rank probabilities are replaced by new agents with random fitnesses. We consider two cases: The exogenous case where the new fitnesses are taken from an a priori fixed distribution, and the endogenous case where the new fitnesses are taken from the current distribution as it evolves. We approximate the dynamics by making a simplifying independence assumption. We use Order Statistics and Dynamical Systems to define a rank-driven dynamical system that approximates the evolution of the distribution of the fitnesses in these rank-driven models, as well as in the BS model. For this simplified model we can find the limiting marginal distribution as a function of the initial conditions. Agreement with experimental results of the BS model is excellent.

  19. From dynamical systems to renormalization

    SciTech Connect

    Menous, Frédéric

    2013-09-15

    In this paper we study logarithmic derivatives associated to derivations on completed graded Lie algebra, as well as the existence of inverses. These logarithmic derivatives, when invertible, generalize the exp-log correspondence between a Lie algebra and its Lie group. Such correspondences occur naturally in the study of dynamical systems when dealing with the linearization of vector fields and the non linearizability of a resonant vector fields corresponds to the non invertibility of a logarithmic derivative and to the existence of normal forms. These concepts, stemming from the theory of dynamical systems, can be rephrased in the abstract setting of Lie algebra and the same difficulties as in perturbative quantum field theory (pQFT) arise here. Surprisingly, one can adopt the same ideas as in pQFT with fruitful results such as new constructions of normal forms with the help of the Birkhoff decomposition. The analogy goes even further (locality of counter terms, choice of a renormalization scheme) and shall lead to more interactions between dynamical systems and quantum field theory.

  20. Dynamically controlled crystal growth system

    NASA Technical Reports Server (NTRS)

    Bray, Terry L. (Inventor); Kim, Larry J. (Inventor); Harrington, Michael (Inventor); DeLucas, Lawrence J. (Inventor)

    2002-01-01

    Crystal growth can be initiated and controlled by dynamically controlled vapor diffusion or temperature change. In one aspect, the present invention uses a precisely controlled vapor diffusion approach to monitor and control protein crystal growth. The system utilizes a humidity sensor and various interfaces under computer control to effect virtually any evaporation rate from a number of different growth solutions simultaneously by means of an evaporative gas flow. A static laser light scattering sensor can be used to detect aggregation events and trigger a change in the evaporation rate for a growth solution. A control/follower configuration can be used to actively monitor one chamber and accurately control replicate chambers relative to the control chamber. In a second aspect, the invention exploits the varying solubility of proteins versus temperature to control the growth of protein crystals. This system contains miniature thermoelectric devices under microcomputer control that change temperature as needed to grow crystals of a given protein. Complex temperature ramps are possible using this approach. A static laser light scattering probe also can be used in this system as a non-invasive probe for detection of aggregation events. The automated dynamic control system provides systematic and predictable responses with regard to crystal size. These systems can be used for microgravity crystallization projects, for example in a space shuttle, and for crystallization work under terrestial conditions. The present invention is particularly useful for macromolecular crystallization, e.g. for proteins, polypeptides, nucleic acids, viruses and virus particles.

  1. Dynamic security assessment processing system

    NASA Astrophysics Data System (ADS)

    Tang, Lei

    The architecture of dynamic security assessment processing system (DSAPS) is proposed to address online dynamic security assessment (DSA) with focus of the dissertation on low-probability, high-consequence events. DSAPS upgrades current online DSA functions and adds new functions to fit into the modern power grid. Trajectory sensitivity analysis is introduced and its applications in power system are reviewed. An index is presented to assess transient voltage dips quantitatively using trajectory sensitivities. Then the framework of anticipatory computing system (ACS) for cascading defense is presented as an important function of DSAPS. ACS addresses various security problems and the uncertainties in cascading outages. Corrective control design is automated to mitigate the system stress in cascading progressions. The corrective controls introduced in the dissertation include corrective security constrained optimal power flow, a two-stage load control for severe under-frequency conditions, and transient stability constrained optimal power flow for cascading outages. With state-of-the-art computing facilities to perform high-speed extended-term time-domain simulation and optimization for large-scale systems, DSAPS/ACS efficiently addresses online DSA for low-probability, high-consequence events, which are not addressed by today's industrial practice. Human interference is reduced in the computationally burdensome analysis.

  2. Survivability of Deterministic Dynamical Systems

    PubMed Central

    Hellmann, Frank; Schultz, Paul; Grabow, Carsten; Heitzig, Jobst; Kurths, Jürgen

    2016-01-01

    The notion of a part of phase space containing desired (or allowed) states of a dynamical system is important in a wide range of complex systems research. It has been called the safe operating space, the viability kernel or the sunny region. In this paper we define the notion of survivability: Given a random initial condition, what is the likelihood that the transient behaviour of a deterministic system does not leave a region of desirable states. We demonstrate the utility of this novel stability measure by considering models from climate science, neuronal networks and power grids. We also show that a semi-analytic lower bound for the survivability of linear systems allows a numerically very efficient survivability analysis in realistic models of power grids. Our numerical and semi-analytic work underlines that the type of stability measured by survivability is not captured by common asymptotic stability measures. PMID:27405955

  3. Survivability of Deterministic Dynamical Systems.

    PubMed

    Hellmann, Frank; Schultz, Paul; Grabow, Carsten; Heitzig, Jobst; Kurths, Jürgen

    2016-01-01

    The notion of a part of phase space containing desired (or allowed) states of a dynamical system is important in a wide range of complex systems research. It has been called the safe operating space, the viability kernel or the sunny region. In this paper we define the notion of survivability: Given a random initial condition, what is the likelihood that the transient behaviour of a deterministic system does not leave a region of desirable states. We demonstrate the utility of this novel stability measure by considering models from climate science, neuronal networks and power grids. We also show that a semi-analytic lower bound for the survivability of linear systems allows a numerically very efficient survivability analysis in realistic models of power grids. Our numerical and semi-analytic work underlines that the type of stability measured by survivability is not captured by common asymptotic stability measures. PMID:27405955

  4. Survivability of Deterministic Dynamical Systems

    NASA Astrophysics Data System (ADS)

    Hellmann, Frank; Schultz, Paul; Grabow, Carsten; Heitzig, Jobst; Kurths, Jürgen

    2016-07-01

    The notion of a part of phase space containing desired (or allowed) states of a dynamical system is important in a wide range of complex systems research. It has been called the safe operating space, the viability kernel or the sunny region. In this paper we define the notion of survivability: Given a random initial condition, what is the likelihood that the transient behaviour of a deterministic system does not leave a region of desirable states. We demonstrate the utility of this novel stability measure by considering models from climate science, neuronal networks and power grids. We also show that a semi-analytic lower bound for the survivability of linear systems allows a numerically very efficient survivability analysis in realistic models of power grids. Our numerical and semi-analytic work underlines that the type of stability measured by survivability is not captured by common asymptotic stability measures.

  5. Structural Dynamics of Electronic Systems

    NASA Astrophysics Data System (ADS)

    Suhir, E.

    2013-03-01

    The published work on analytical ("mathematical") and computer-aided, primarily finite-element-analysis (FEA) based, predictive modeling of the dynamic response of electronic systems to shocks and vibrations is reviewed. While understanding the physics of and the ability to predict the response of an electronic structure to dynamic loading has been always of significant importance in military, avionic, aeronautic, automotive and maritime electronics, during the last decade this problem has become especially important also in commercial, and, particularly, in portable electronics in connection with accelerated testing of various surface mount technology (SMT) systems on the board level. The emphasis of the review is on the nonlinear shock-excited vibrations of flexible printed circuit boards (PCBs) experiencing shock loading applied to their support contours during drop tests. At the end of the review we provide, as a suitable and useful illustration, the exact solution to a highly nonlinear problem of the dynamic response of a "flexible-and-heavy" PCB to an impact load applied to its support contour during drop testing.

  6. Generalized Abstract Symbolic Summaries

    NASA Technical Reports Server (NTRS)

    Person, Suzette; Dwyer, Matthew B.

    2009-01-01

    Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program s lifetime. This is due, in large part, to the use of syntactic program techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we develop techniques for performing abstract semantic differencing of program behaviors that offer the potential for improved precision.

  7. Noise in Nonlinear Dynamical Systems

    NASA Astrophysics Data System (ADS)

    Moss, Frank; McClintock, P. V. E.

    2009-08-01

    List of contributors; Preface; Introduction to volume three; 1. The effects of coloured quadratic noise on a turbulent transition in liquid He II J. T. Tough; 2. Electrohydrodynamic instability of nematic liquid crystals: growth process and influence of noise S. Kai; 3. Suppression of electrohydrodynamic instabilities by external noise Helmut R. Brand; 4. Coloured noise in dye laser fluctuations R. Roy, A. W. Yu and S. Zhu; 5. Noisy dynamics in optically bistable systems E. Arimondo, D. Hennequin and P. Glorieux; 6. Use of an electronic model as a guideline in experiments on transient optical bistability W. Lange; 7. Computer experiments in nonlinear stochastic physics Riccardo Mannella; 8. Analogue simulations of stochastic processes by means of minimum component electronic devices Leone Fronzoni; 9. Analogue techniques for the study of problems in stochastic nonlinear dynamics P. V. E. McClintock and Frank Moss; Index.

  8. Handwriting generates variable visual output to facilitate symbol learning.

    PubMed

    Li, Julia X; James, Karin H

    2016-03-01

    Recent research has demonstrated that handwriting practice facilitates letter categorization in young children. The present experiments investigated why handwriting practice facilitates visual categorization by comparing 2 hypotheses: that handwriting exerts its facilitative effect because of the visual-motor production of forms, resulting in a direct link between motor and perceptual systems, or because handwriting produces variable visual instances of a named category in the environment that then changes neural systems. We addressed these issues by measuring performance of 5-year-old children on a categorization task involving novel, Greek symbols across 6 different types of learning conditions: 3 involving visual-motor practice (copying typed symbols independently, tracing typed symbols, tracing handwritten symbols) and 3 involving visual-auditory practice (seeing and saying typed symbols of a single typed font, of variable typed fonts, and of handwritten examples). We could therefore compare visual-motor production with visual perception both of variable and similar forms. Comparisons across the 6 conditions (N = 72) demonstrated that all conditions that involved studying highly variable instances of a symbol facilitated symbol categorization relative to conditions where similar instances of a symbol were learned, regardless of visual-motor production. Therefore, learning perceptually variable instances of a category enhanced performance, suggesting that handwriting facilitates symbol understanding by virtue of its environmental output: supporting the notion of developmental change though brain-body-environment interactions. (PsycINFO Database Record PMID:26726913

  9. Handwriting generates variable visual input to facilitate symbol learning

    PubMed Central

    Li, Julia X.; James, Karin H.

    2015-01-01

    Recent research has demonstrated that handwriting practice facilitates letter categorization in young children. The present experiments investigated why handwriting practice facilitates visual categorization by comparing two hypotheses: That handwriting exerts its facilitative effect because of the visual-motor production of forms, resulting in a direct link between motor and perceptual systems, or because handwriting produces variable visual instances of a named category in the environment that then changes neural systems. We addressed these issues by measuring performance of 5 year-old children on a categorization task involving novel, Greek symbols across 6 different types of learning conditions: three involving visual-motor practice (copying typed symbols independently, tracing typed symbols, tracing handwritten symbols) and three involving visual-auditory practice (seeing and saying typed symbols of a single typed font, of variable typed fonts, and of handwritten examples). We could therefore compare visual-motor production with visual perception both of variable and similar forms. Comparisons across the six conditions (N=72) demonstrated that all conditions that involved studying highly variable instances of a symbol facilitated symbol categorization relative to conditions where similar instances of a symbol were learned, regardless of visual-motor production. Therefore, learning perceptually variable instances of a category enhanced performance, suggesting that handwriting facilitates symbol understanding by virtue of its environmental output: supporting the notion of developmental change though brain-body-environment interactions. PMID:26726913

  10. Dynamical habitability of planetary systems.

    PubMed

    Dvorak, Rudolf; Pilat-Lohinger, Elke; Bois, Eric; Schwarz, Richard; Funk, Barbara; Beichman, Charles; Danchi, William; Eiroa, Carlos; Fridlund, Malcolm; Henning, Thomas; Herbst, Tom; Kaltenegger, Lisa; Lammer, Helmut; Léger, Alain; Liseau, René; Lunine, Jonathan; Paresce, Francesco; Penny, Alan; Quirrenbach, Andreas; Röttgering, Huub; Selsis, Frank; Schneider, Jean; Stam, Daphne; Tinetti, Giovanna; White, Glenn J

    2010-01-01

    The problem of the stability of planetary systems, a question that concerns only multiplanetary systems that host at least two planets, is discussed. The problem of mean motion resonances is addressed prior to discussion of the dynamical structure of the more than 350 known planets. The difference with regard to our own Solar System with eight planets on low eccentricity is evident in that 60% of the known extrasolar planets have orbits with eccentricity e > 0.2. We theoretically highlight the studies concerning possible terrestrial planets in systems with a Jupiter-like planet. We emphasize that an orbit of a particular nature only will keep a planet within the habitable zone around a host star with respect to the semimajor axis and its eccentricity. In addition, some results are given for individual systems (e.g., Gl777A) with regard to the stability of orbits within habitable zones. We also review what is known about the orbits of planets in double-star systems around only one component (e.g., gamma Cephei) and around both stars (e.g., eclipsing binaries). PMID:20307181