Chaos of discrete dynamical systems in complete metric spaces

International Nuclear Information System (INIS)

Shi Yuming; Chen Guanrong

2004-01-01

This paper is concerned with chaos of discrete dynamical systems in complete metric spaces. Discrete dynamical systems governed by continuous maps in general complete metric spaces are first discussed, and two criteria of chaos are then established. As a special case, two corresponding criteria of chaos for discrete dynamical systems in compact subsets of metric spaces are obtained. These results have extended and improved the existing relevant results of chaos in finite-dimensional Euclidean spaces

Quantum-enhanced reinforcement learning for finite-episode games with discrete state spaces

Science.gov (United States)

Neukart, Florian; Von Dollen, David; Seidel, Christian; Compostella, Gabriele

2017-12-01

Quantum annealing algorithms belong to the class of metaheuristic tools, applicable for solving binary optimization problems. Hardware implementations of quantum annealing, such as the quantum annealing machines produced by D-Wave Systems, have been subject to multiple analyses in research, with the aim of characterizing the technology's usefulness for optimization and sampling tasks. Here, we present a way to partially embed both Monte Carlo policy iteration for finding an optimal policy on random observations, as well as how to embed n sub-optimal state-value functions for approximating an improved state-value function given a policy for finite horizon games with discrete state spaces on a D-Wave 2000Q quantum processing unit (QPU). We explain how both problems can be expressed as a quadratic unconstrained binary optimization (QUBO) problem, and show that quantum-enhanced Monte Carlo policy evaluation allows for finding equivalent or better state-value functions for a given policy with the same number episodes compared to a purely classical Monte Carlo algorithm. Additionally, we describe a quantum-classical policy learning algorithm. Our first and foremost aim is to explain how to represent and solve parts of these problems with the help of the QPU, and not to prove supremacy over every existing classical policy evaluation algorithm.

A computational approach to extinction events in chemical reaction networks with discrete state spaces.

Science.gov (United States)

Johnston, Matthew D

2017-12-01

Recent work of Johnston et al. has produced sufficient conditions on the structure of a chemical reaction network which guarantee that the corresponding discrete state space system exhibits an extinction event. The conditions consist of a series of systems of equalities and inequalities on the edges of a modified reaction network called a domination-expanded reaction network. In this paper, we present a computational implementation of these conditions written in Python and apply the program on examples drawn from the biochemical literature. We also run the program on 458 models from the European Bioinformatics Institute's BioModels Database and report our results. Copyright © 2017 Elsevier Inc. All rights reserved.

Discrete density of states

International Nuclear Information System (INIS)

Aydin, Alhun; Sisman, Altug

2016-01-01

By considering the quantum-mechanically minimum allowable energy interval, we exactly count number of states (NOS) and introduce discrete density of states (DOS) concept for a particle in a box for various dimensions. Expressions for bounded and unbounded continua are analytically recovered from discrete ones. Even though substantial fluctuations prevail in discrete DOS, they're almost completely flattened out after summation or integration operation. It's seen that relative errors of analytical expressions of bounded/unbounded continua rapidly decrease for high NOS values (weak confinement or high energy conditions), while the proposed analytical expressions based on Weyl's conjecture always preserve their lower error characteristic. - Highlights: • Discrete density of states considering minimum energy difference is proposed. • Analytical DOS and NOS formulas based on Weyl conjecture are given. • Discrete DOS and NOS functions are examined for various dimensions. • Relative errors of analytical formulas are much better than the conventional ones.

Discrete coherent and squeezed states of many-qudit systems

International Nuclear Information System (INIS)

Klimov, Andrei B.; Munoz, Carlos; Sanchez-Soto, Luis L.

2009-01-01

We consider the phase space for n identical qudits (each one of dimension d, with d a primer number) as a grid of d n xd n points and use the finite Galois field GF(d n ) to label the corresponding axes. The associated displacement operators permit to define s-parametrized quasidistributions on this grid, with properties analogous to their continuous counterparts. These displacements allow also for the construction of finite coherent states, once a fiducial state is fixed. We take this reference as one eigenstate of the discrete Fourier transform and study the factorization properties of the resulting coherent states. We extend these ideas to include discrete squeezed states, and show their intriguing relation with entangled states of different qudits.

Discrete symmetries and coset space dimensional reduction

International Nuclear Information System (INIS)

Kapetanakis, D.; Zoupanos, G.

1989-01-01

We consider the discrete symmetries of all the six-dimensional coset spaces and we apply them in gauge theories defined in ten dimensions which are dimensionally reduced over these homogeneous spaces. Particular emphasis is given in the consequences of the discrete symmetries on the particle content as well as on the symmetry breaking a la Hosotani of the resulting four-dimensional theory. (orig.)

Discrete density of states

Energy Technology Data Exchange (ETDEWEB)

Aydin, Alhun; Sisman, Altug, E-mail: sismanal@itu.edu.tr

2016-03-22

By considering the quantum-mechanically minimum allowable energy interval, we exactly count number of states (NOS) and introduce discrete density of states (DOS) concept for a particle in a box for various dimensions. Expressions for bounded and unbounded continua are analytically recovered from discrete ones. Even though substantial fluctuations prevail in discrete DOS, they're almost completely flattened out after summation or integration operation. It's seen that relative errors of analytical expressions of bounded/unbounded continua rapidly decrease for high NOS values (weak confinement or high energy conditions), while the proposed analytical expressions based on Weyl's conjecture always preserve their lower error characteristic. - Highlights: • Discrete density of states considering minimum energy difference is proposed. • Analytical DOS and NOS formulas based on Weyl conjecture are given. • Discrete DOS and NOS functions are examined for various dimensions. • Relative errors of analytical formulas are much better than the conventional ones.

A discrete classical space-time could require 6 extra-dimensions

Science.gov (United States)

Guillemant, Philippe; Medale, Marc; Abid, Cherifa

2018-01-01

We consider a discrete space-time in which conservation laws are computed in such a way that the density of information is kept bounded. We use a 2D billiard as a toy model to compute the uncertainty propagation in ball positions after every shock and the corresponding loss of phase information. Our main result is the computation of a critical time step above which billiard calculations are no longer deterministic, meaning that a multiverse of distinct billiard histories begins to appear, caused by the lack of information. Then, we highlight unexpected properties of this critical time step and the subsequent exponential evolution of the number of histories with time, to observe that after certain duration all billiard states could become possible final states, independent of initial conditions. We conclude that if our space-time is really a discrete one, one would need to introduce extra-dimensions in order to provide supplementary constraints that specify which history should be played.

Graph-theoretic analysis of discrete-phase-space states for condition change detection and quantification of information

Science.gov (United States)

Hively, Lee M.

2014-09-16

Data collected from devices and human condition may be used to forewarn of critical events such as machine/structural failure or events from brain/heart wave data stroke. By monitoring the data, and determining what values are indicative of a failure forewarning, one can provide adequate notice of the impending failure in order to take preventive measures. This disclosure teaches a computer-based method to convert dynamical numeric data representing physical objects (unstructured data) into discrete-phase-space states, and hence into a graph (structured data) for extraction of condition change.

Physical models on discrete space and time

International Nuclear Information System (INIS)

Lorente, M.

1986-01-01

The idea of space and time quantum operators with a discrete spectrum has been proposed frequently since the discovery that some physical quantities exhibit measured values that are multiples of fundamental units. This paper first reviews a number of these physical models. They are: the method of finite elements proposed by Bender et al; the quantum field theory model on discrete space-time proposed by Yamamoto; the finite dimensional quantum mechanics approach proposed by Santhanam et al; the idea of space-time as lattices of n-simplices proposed by Kaplunovsky et al; and the theory of elementary processes proposed by Weizsaecker and his colleagues. The paper then presents a model proposed by the authors and based on the (n+1)-dimensional space-time lattice where fundamental entities interact among themselves 1 to 2n in order to build up a n-dimensional cubic lattice as a ground field where the physical interactions take place. The space-time coordinates are nothing more than the labelling of the ground field and take only discrete values. 11 references

Geometry and Hamiltonian mechanics on discrete spaces

NARCIS (Netherlands)

Talasila, V.; Clemente Gallardo, J.J.; Clemente-Gallardo, J.; van der Schaft, Arjan

2004-01-01

Numerical simulation is often crucial for analysing the behaviour of many complex systems which do not admit analytic solutions. To this end, one either converts a 'smooth' model into a discrete (in space and time) model, or models systems directly at a discrete level. The goal of this paper is to

Geometry and Hamiltonian mechanics on discrete spaces

International Nuclear Information System (INIS)

Talasila, V; Clemente-Gallardo, J; Schaft, A J van der

2004-01-01

Numerical simulation is often crucial for analysing the behaviour of many complex systems which do not admit analytic solutions. To this end, one either converts a 'smooth' model into a discrete (in space and time) model, or models systems directly at a discrete level. The goal of this paper is to provide a discrete analogue of differential geometry, and to define on these discrete models a formal discrete Hamiltonian structure-in doing so we try to bring together various fundamental concepts from numerical analysis, differential geometry, algebraic geometry, simplicial homology and classical Hamiltonian mechanics. For example, the concept of a twisted derivation is borrowed from algebraic geometry for developing a discrete calculus. The theory is applied to a nonlinear pendulum and we compare the dynamics obtained through a discrete modelling approach with the dynamics obtained via the usual discretization procedures. Also an example of an energy-conserving algorithm on a simple harmonic oscillator is presented, and its effect on the Poisson structure is discussed

Geometry and Hamiltonian mechanics on discrete spaces

NARCIS (Netherlands)

Talasila, V.; Clemente-Gallardo, J.; Schaft, A.J. van der

2004-01-01

Numerical simulation is often crucial for analysing the behaviour of many complex systems which do not admit analytic solutions. To this end, one either converts a ‘smooth’ model into a discrete (in space and time) model, or models systems directly at a discrete level. The goal of this paper is to

Discrete Morse functions for graph configuration spaces

International Nuclear Information System (INIS)

Sawicki, A

2012-01-01

We present an alternative application of discrete Morse theory for two-particle graph configuration spaces. In contrast to previous constructions, which are based on discrete Morse vector fields, our approach is through Morse functions, which have a nice physical interpretation as two-body potentials constructed from one-body potentials. We also give a brief introduction to discrete Morse theory. Our motivation comes from the problem of quantum statistics for particles on networks, for which generalized versions of anyon statistics can appear. (paper)

Discrete symmetries for spinor field in de Sitter space

International Nuclear Information System (INIS)

Moradi, S.; Rouhani, S.; Takook, M.V.

2005-01-01

Discrete symmetries, parity, time reversal, antipodal, and charge conjugation transformations for spinor field in de Sitter space, are presented in the ambient space notation, i.e., in a coordinate independent way. The PT and PCT transformations are also discussed in this notation. The five-current density is studied and their transformation under the discrete symmetries is discussed

The discretized Schroedinger equation for the finite square well and its relationship to solid-state physics

International Nuclear Information System (INIS)

Boykin, Timothy B; Klimeck, Gerhard

2005-01-01

The discretized Schroedinger equation is most often used to solve one-dimensional quantum mechanics problems numerically. While it has been recognized for some time that this equation is equivalent to a simple tight-binding model and that the discretization imposes an underlying bandstructure unlike free-space quantum mechanics on the problem, the physical implications of this equivalence largely have been unappreciated and the pedagogical advantages accruing from presenting the problem as one of solid-state physics (and not numerics) remain generally unexplored. This is especially true for the analytically solvable discretized finite square well presented here. There are profound differences in the physics of this model and its continuous-space counterpart which are direct consequences of the imposed bandstructure. For example, in the discrete model the number of bound states plus transmission resonances equals the number of atoms in the quantum well

Notes on qubit phase space and discrete symplectic structures

International Nuclear Information System (INIS)

Livine, Etera R

2010-01-01

We start from Wootter's construction of discrete phase spaces and Wigner functions for qubits and more generally for finite-dimensional Hilbert spaces. We look at this framework from a non-commutative space perspective and we focus on the Moyal product and the differential calculus on these discrete phase spaces. In particular, the qubit phase space provides the simplest example of a four-point non-commutative phase space. We give an explicit expression of the Moyal bracket as a differential operator. We then compare the quantum dynamics encoded by the Moyal bracket to the classical dynamics: we show that the classical Poisson bracket does not satisfy the Jacobi identity thus leaving the Moyal bracket as the only consistent symplectic structure. We finally generalize our analysis to Hilbert spaces of prime dimensions d and their associated d x d phase spaces.

Reinforcement learning in continuous state and action spaces

NARCIS (Netherlands)

H. P. van Hasselt (Hado); M.A. Wiering; M. van Otterlo

2012-01-01

textabstractMany traditional reinforcement-learning algorithms have been designed for problems with small finite state and action spaces. Learning in such discrete problems can been difficult, due to noise and delayed reinforcements. However, many real-world problems have continuous state or action

Using Continuous Action Spaces to Solve Discrete Problems

NARCIS (Netherlands)

van Hasselt, Hado; Wiering, Marco

2009-01-01

Real-world control problems are often modeled as Markov Decision Processes (MDPs) with discrete action spaces to facilitate the use of the many reinforcement learning algorithms that exist to find solutions for such MDPs. For many of these problems an underlying continuous action space can be

Discrete phase space - II: The second quantization of free relativistic wave fields

International Nuclear Information System (INIS)

Das, A.

2010-01-01

The Klein-Gordon equation, the Maxwell equation, and the Dirac equation are presented as partial difference equations in the eight-dimensional covariant discrete phase space. These equations are also furnished as difference-differential equations in the arena of discrete phase space and continuous time. The scalar field and electromagnetic fields are quantized with commutation relations. The spin-1/2 field is quantized with anti-commutation relations. Moreover, the total momentum, energy and charge of these free relativisitic quantized fields in the discrete phase space and continuous time are computed exactly. The results agree completely with those computed from the relativisitic fields defined on the space-time continuum. (author)

Active Affordance Learning in Continuous State and Action Spaces

NARCIS (Netherlands)

Wang, C.; Hindriks, K.V.; Babuska, R.

2014-01-01

Learning object affordances and manipulation skills is essential for developing cognitive service robots. We propose an active affordance learning approach in continuous state and action spaces without manual discretization of states or exploratory motor primitives. During exploration in the action

Continuous-time quantum random walks require discrete space

International Nuclear Information System (INIS)

Manouchehri, K; Wang, J B

2007-01-01

Quantum random walks are shown to have non-intuitive dynamics which makes them an attractive area of study for devising quantum algorithms for long-standing open problems as well as those arising in the field of quantum computing. In the case of continuous-time quantum random walks, such peculiar dynamics can arise from simple evolution operators closely resembling the quantum free-wave propagator. We investigate the divergence of quantum walk dynamics from the free-wave evolution and show that, in order for continuous-time quantum walks to display their characteristic propagation, the state space must be discrete. This behavior rules out many continuous quantum systems as possible candidates for implementing continuous-time quantum random walks

Continuous-time quantum random walks require discrete space

Science.gov (United States)

Manouchehri, K.; Wang, J. B.

2007-11-01

Quantum random walks are shown to have non-intuitive dynamics which makes them an attractive area of study for devising quantum algorithms for long-standing open problems as well as those arising in the field of quantum computing. In the case of continuous-time quantum random walks, such peculiar dynamics can arise from simple evolution operators closely resembling the quantum free-wave propagator. We investigate the divergence of quantum walk dynamics from the free-wave evolution and show that, in order for continuous-time quantum walks to display their characteristic propagation, the state space must be discrete. This behavior rules out many continuous quantum systems as possible candidates for implementing continuous-time quantum random walks.

Time Evolution Of The Wigner Function In Discrete Quantum Phase Space For A Soluble Quasi-spin Model

CERN Document Server

Galetti, D

2000-01-01

Summary: The discrete phase space approach to quantum mechanics of degrees of freedom without classical counterparts is applied to the many-fermions/quasi-spin Lipkin model. The Wigner function is written for some chosen states associated to discrete angle and angular momentum variables, and the time evolution is numerically calculated using the discrete von Neumann-Liouville equation. Direct evidences in the time evolution of the Wigner function are extracted that identify a tunnelling effect. A connection with an $SU(2)$-based semiclassical continuous approach to the Lipkin model is also presented.

Adaptive importance sampling of random walks on continuous state spaces

International Nuclear Information System (INIS)

Baggerly, K.; Cox, D.; Picard, R.

1998-01-01

The authors consider adaptive importance sampling for a random walk with scoring in a general state space. Conditions under which exponential convergence occurs to the zero-variance solution are reviewed. These results generalize previous work for finite, discrete state spaces in Kollman (1993) and in Kollman, Baggerly, Cox, and Picard (1996). This paper is intended for nonstatisticians and includes considerable explanatory material

The approximate inverse in action: IV. Semi-discrete equations in a Banach space setting

International Nuclear Information System (INIS)

Schuster, T; Schöpfer, F; Rieder, A

2012-01-01

This article concerns the method of approximate inverse to solve semi-discrete, linear operator equations in Banach spaces. Semi-discrete means that we search for a solution in an infinite-dimensional Banach space having only a finite number of data available. In this sense the situation is applicable to a large variety of applications where a measurement process delivers a discretization of an infinite-dimensional data space. The method of approximate inverse computes scalar products of the data with pre-computed reconstruction kernels which are associated with mollifiers and the dual of the model operator. The convergence, approximation power and regularization property of this method when applied to semi-discrete operator equations in Hilbert spaces has been investigated in three prequels to this paper. Here we extend these results to a Banach space setting. We prove convergence and stability for general Banach spaces and reproduce the results specifically for the integration operator acting on the space of continuous functions. (paper)

State-feedback control of fuzzy discrete-event systems.

Science.gov (United States)

Lin, Feng; Ying, Hao

2010-06-01

In a 2002 paper, we combined fuzzy logic with discrete-event systems (DESs) and established an automaton model of fuzzy DESs (FDESs). The model can effectively represent deterministic uncertainties and vagueness, as well as human subjective observation and judgment inherent to many real-world problems, particularly those in biomedicine. We also investigated optimal control of FDESs and applied the results to optimize HIV/AIDS treatments for individual patients. Since then, other researchers have investigated supervisory control problems in FDESs, and several results have been obtained. These results are mostly derived by extending the traditional supervisory control of (crisp) DESs, which are string based. In this paper, we develop state-feedback control of FDESs that is different from the supervisory control extensions. We use state space to describe the system behaviors and use state feedback in control. Both disablement and enforcement are allowed. Furthermore, we study controllability based on the state space and prove that a controller exists if and only if the controlled system behavior is (state-based) controllable. We discuss various properties of the state-based controllability. Aside from novelty, the proposed new framework has the advantages of being able to address a wide range of practical problems that cannot be effectively dealt with by existing approaches. We use the diabetes treatment as an example to illustrate some key aspects of our theoretical results.

Discrete-Time Systems

Indian Academy of Sciences (India)

We also describe discrete-time systems in terms of difference ... A more modern alternative, especially for larger systems, is to convert ... In other words, ..... picture?) State-variable equations are also called state-space equations because the ...

Radiative transfer on discrete spaces

CERN Document Server

Preisendorfer, Rudolph W; Stark, M; Ulam, S

1965-01-01

Pure and Applied Mathematics, Volume 74: Radiative Transfer on Discrete Spaces presents the geometrical structure of natural light fields. This book describes in detail with mathematical precision the radiometric interactions of light-scattering media in terms of a few well established principles.Organized into four parts encompassing 15 chapters, this volume begins with an overview of the derivations of the practical formulas and the arrangement of formulas leading to numerical solution procedures of radiative transfer problems in plane-parallel media. This text then constructs radiative tran

Discretization of space and time in wave mechanics: the validity limit

OpenAIRE

Roatta , Luca

2017-01-01

Assuming that space and time can only have discrete values, it is shown that wave mechanics must necessarily have a specific applicability limit: in a discrete context, unlike in a continuous one, frequencies can not have arbitrarily high values.

Successive and discrete spaced conditioning in active avoidance learning in young and aged zebrafish.

Science.gov (United States)

Yang, Peng; Kajiwara, Riki; Tonoki, Ayako; Itoh, Motoyuki

2018-05-01

We designed an automated device to study active avoidance learning abilities of zebrafish. Open source tools were used for the device control, statistical computing, and graphic outputs of data. Using the system, we developed active avoidance tests to examine the effects of trial spacing and aging on learning. Seven-month-old fish showed stronger avoidance behavior as measured by color preference index with discrete spaced training as compared to successive spaced training. Fifteen-month-old fish showed a similar trend, but with reduced cognitive abilities compared with 7-month-old fish. Further, in 7-month-old fish, an increase in learning ability during trials was observed with discrete, but not successive, spaced training. In contrast, 15-month-old fish did not show increase in learning ability during trials. Therefore, these data suggest that discrete spacing is more effective for learning than successive spacing, with the zebrafish active avoidance paradigm, and that the time course analysis of active avoidance using discrete spaced training is useful to detect age-related learning impairment. Copyright © 2017 Elsevier Ireland Ltd and Japan Neuroscience Society. All rights reserved.

The number of bound states for a discrete Schroedinger operator on ZN, N≥1, lattices

International Nuclear Information System (INIS)

Karachalios, N I

2008-01-01

We consider the discrete Schroedinger operator -Δ d +U in Z N , N≥1 in the case of a potential with negative part in an appropriate l σ -space (decays with an appropriate rate). We present a discrete analog of the method of Li and Yau (1983 Commun. Math. Phys. 88 309-18), proving an explicit upper estimate on the number of bound states N d (0)={j:μ j ≤0}, which is independent of the dimension of the lattice. This is a major difference with the continuous counterpart estimate, which is not valid when N = 1, 2. As a consequence, a dimension-independent smallness criterion for the existence of bound states is derived in contrast to the continuous case as well as to the discrete case of vanishing potential. A short comment is made on possible applications of the results to the study of the dynamics of some particular spatially discrete nonlinear systems

Spaces of fractional quotients, discrete operators, and their applications. II

International Nuclear Information System (INIS)

Lifanov, I K; Poltavskii, L N

1999-01-01

The theory of discrete operators in spaces of fractional quotients is developed. A theorem on the stability of discrete operators under smooth perturbations is proved. On this basis, using special quadrature formulae of rectangular kind, the convergence of approximate solutions of hypersingular integral equations to their exact solutions is demonstrated and a mathematical substantiation of the method of closed discrete vortex frameworks is obtained. The same line of argument is also applied to difference equations arising in the solution of the homogeneous Dirichlet problem for a general second-order elliptic equation with variable coefficients

Discrete Wigner function and quantum-state tomography

Science.gov (United States)

Leonhardt, Ulf

1996-05-01

The theory of discrete Wigner functions and of discrete quantum-state tomography [U. Leonhardt, Phys. Rev. Lett. 74, 4101 (1995)] is studied in more detail guided by the picture of precession tomography. Odd- and even-dimensional systems (angular momenta and spins, bosons, and fermions) are considered separately. Relations between simple number theory and the quantum mechanics of finite-dimensional systems are pointed out. In particular, the multicomplementarity of the precession states distinguishes prime dimensions from composite ones.

Discrete space charge affected field emission: Flat and hemisphere emitters

Energy Technology Data Exchange (ETDEWEB)

Jensen, Kevin L., E-mail: kevin.jensen@nrl.navy.mil [Code 6854, Naval Research Laboratory, Washington, DC 20375 (United States); Shiffler, Donald A.; Tang, Wilkin [Air Force Research Laboratory, Kirtland AFB, New Mexico 87117 (United States); Rittersdorf, Ian M. [Code 6770, Naval Research Laboratory, Washington, DC 20375 (United States); Lebowitz, Joel L. [Department of Mathematics and Department of Physics, Rutgers University, Piscataway, New Jersey 08854-8019 (United States); Harris, John R. [U.S. Navy Reserve, New Orleans, Louisiana 70143 (United States); Lau, Y. Y. [Department of Nuclear Engineering and Radiological Sciences, University of Michigan, Ann Arbor, Michigan 48109 (United States); Petillo, John J. [Leidos, Billerica, Massachusetts 01821 (United States); Luginsland, John W. [Physics and Electronics Directorate, AFOSR, Arlington, Virginia 22203 (United States)

2015-05-21

Models of space-charge affected thermal-field emission from protrusions, able to incorporate the effects of both surface roughness and elongated field emitter structures in beam optics codes, are desirable but difficult. The models proposed here treat the meso-scale diode region separate from the micro-scale regions characteristic of the emission sites. The consequences of discrete emission events are given for both one-dimensional (sheets of charge) and three dimensional (rings of charge) models: in the former, results converge to steady state conditions found by theory (e.g., Rokhlenko et al. [J. Appl. Phys. 107, 014904 (2010)]) but show oscillatory structure as they do. Surface roughness or geometric features are handled using a ring of charge model, from which the image charges are found and used to modify the apex field and emitted current. The roughness model is shown to have additional constraints related to the discrete nature of electron charge. The ability of a unit cell model to treat field emitter structures and incorporate surface roughness effects inside a beam optics code is assessed.

Performance on perceptual word identification is mediated by discrete states.

Science.gov (United States)

Swagman, April R; Province, Jordan M; Rouder, Jeffrey N

2015-02-01

We contrast predictions from discrete-state models of all-or-none information loss with signal-detection models of graded strength for the identification of briefly flashed English words. Previous assessments have focused on whether ROC curves are straight or not, which is a test of a discrete-state model where detection leads to the highest confidence response with certainty. We along with many others argue this certainty assumption is too constraining, and, consequently, the straight-line ROC test is too stringent. Instead, we assess a core property of discrete-state models, conditional independence, where the pattern of responses depends only on which state is entered. The conditional independence property implies that confidence ratings are a mixture of detect and guess state responses, and that stimulus strength factors, the duration of the flashed word in this report, affect only the probability of entering a state and not responses conditional on a state. To assess this mixture property, 50 participants saw words presented briefly on a computer screen at three variable flash durations followed by either a two-alternative confidence ratings task or a yes-no confidence ratings task. Comparable discrete-state and signal-detection models were fit to the data for each participant and task. The discrete-state models outperformed the signal detection models for 90 % of participants in the two-alternative task and for 68 % of participants in the yes-no task. We conclude discrete-state models are viable for predicting performance across stimulus conditions in a perceptual word identification task.

Phase-shift calculation using continuum-discretized states

International Nuclear Information System (INIS)

Suzuki, Y.; Horiuchi, W.; Arai, K.

2009-01-01

We present a method for calculating scattering phase shifts which utilizes continuum-discretized states obtained in a bound-state type calculation. The wrong asymptotic behavior of the discretized state is remedied by means of the Green's function formalism. Test examples confirm the accuracy of the method. The α+n scattering is described using realistic nucleon-nucleon potentials. The 3/2 - and 1/2 - phase shifts obtained in a single-channel calculation are too small in comparison with experiment. The 1/2 + phase shifts are in reasonable agreement with experiment, and gain contributions both from the tensor and central components of the nucleon-nucleon potential.

Computing the Gromov hyperbolicity of a discrete metric space

KAUST Repository

Fournier, Hervé ; Ismail, Anas; Vigneron, Antoine E.

2015-01-01

We give exact and approximation algorithms for computing the Gromov hyperbolicity of an n-point discrete metric space. We observe that computing the Gromov hyperbolicity from a fixed base-point reduces to a (max,min) matrix product. Hence, using

Identification of a Class of Non-linear State Space Models using RPE Techniques

DEFF Research Database (Denmark)

Zhou, Wei-Wu; Blanke, Mogens

1989-01-01

The RPE (recursive prediction error) method in state-space form is developed in the nonlinear systems and extended to include the exact form of a nonlinearity, thus enabling structure preservation for certain classes of nonlinear systems. Both the discrete and the continuous-discrete versions...... of the algorithm in an innovations model are investigated, and a nonlinear simulation example shows a quite convincing performance of the filter as combined parameter and state estimator...

Fermion Systems in Discrete Space-Time Exemplifying the Spontaneous Generation of a Causal Structure

Science.gov (United States)

Diethert, A.; Finster, F.; Schiefeneder, D.

As toy models for space-time at the Planck scale, we consider examples of fermion systems in discrete space-time which are composed of one or two particles defined on two up to nine space-time points. We study the self-organization of the particles as described by a variational principle both analytically and numerically. We find an effect of spontaneous symmetry breaking which leads to the emergence of a discrete causal structure.

Stochastic Kuramoto oscillators with discrete phase states

Science.gov (United States)

Jörg, David J.

2017-09-01

We present a generalization of the Kuramoto phase oscillator model in which phases advance in discrete phase increments through Poisson processes, rendering both intrinsic oscillations and coupling inherently stochastic. We study the effects of phase discretization on the synchronization and precision properties of the coupled system both analytically and numerically. Remarkably, many key observables such as the steady-state synchrony and the quality of oscillations show distinct extrema while converging to the classical Kuramoto model in the limit of a continuous phase. The phase-discretized model provides a general framework for coupled oscillations in a Markov chain setting.

Stochastic Kuramoto oscillators with discrete phase states.

Science.gov (United States)

Jörg, David J

2017-09-01

We present a generalization of the Kuramoto phase oscillator model in which phases advance in discrete phase increments through Poisson processes, rendering both intrinsic oscillations and coupling inherently stochastic. We study the effects of phase discretization on the synchronization and precision properties of the coupled system both analytically and numerically. Remarkably, many key observables such as the steady-state synchrony and the quality of oscillations show distinct extrema while converging to the classical Kuramoto model in the limit of a continuous phase. The phase-discretized model provides a general framework for coupled oscillations in a Markov chain setting.

Arbitrary Dimension Convection-Diffusion Schemes for Space-Time Discretizations

Energy Technology Data Exchange (ETDEWEB)

Bank, Randolph E. [Univ. of California, San Diego, CA (United States); Vassilevski, Panayot S. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Zikatanov, Ludmil T. [Bulgarian Academy of Sciences, Sofia (Bulgaria)

2016-01-20

This note proposes embedding a time dependent PDE into a convection-diffusion type PDE (in one space dimension higher) with singularity, for which two discretization schemes, the classical streamline-diffusion and the EAFE (edge average finite element) one, are investigated in terms of stability and error analysis. The EAFE scheme, in particular, is extended to be arbitrary order which is of interest on its own. Numerical results, in combined space-time domain demonstrate the feasibility of the proposed approach.

A Fully Discrete Galerkin Method for a Nonlinear Space-Fractional Diffusion Equation

Directory of Open Access Journals (Sweden)

Yunying Zheng

2011-01-01

Full Text Available The spatial transport process in fractal media is generally anomalous. The space-fractional advection-diffusion equation can be used to characterize such a process. In this paper, a fully discrete scheme is given for a type of nonlinear space-fractional anomalous advection-diffusion equation. In the spatial direction, we use the finite element method, and in the temporal direction, we use the modified Crank-Nicolson approximation. Here the fractional derivative indicates the Caputo derivative. The error estimate for the fully discrete scheme is derived. And the numerical examples are also included which are in line with the theoretical analysis.

Computing the Gromov hyperbolicity constant of a discrete metric space

KAUST Repository

Ismail, Anas

2012-01-01

, and many other areas of research. The Gromov hyperbolicity constant of several families of graphs and geometric spaces has been determined. However, so far, the only known algorithm for calculating the Gromov hyperbolicity constant δ of a discrete metric

Discrete Approximations of Determinantal Point Processes on Continuous Spaces: Tree Representations and Tail Triviality

Science.gov (United States)

Osada, Hirofumi; Osada, Shota

2018-01-01

We prove tail triviality of determinantal point processes μ on continuous spaces. Tail triviality has been proved for such processes only on discrete spaces, and hence we have generalized the result to continuous spaces. To do this, we construct tree representations, that is, discrete approximations of determinantal point processes enjoying a determinantal structure. There are many interesting examples of determinantal point processes on continuous spaces such as zero points of the hyperbolic Gaussian analytic function with Bergman kernel, and the thermodynamic limit of eigenvalues of Gaussian random matrices for Sine_2 , Airy_2 , Bessel_2 , and Ginibre point processes. Our main theorem proves all these point processes are tail trivial.

Density perturbations due to the inhomogeneous discrete spatial structure of space-time

International Nuclear Information System (INIS)

Wolf, C.

1998-01-01

For the case that space-time permits an inhomogeneous discrete spatial structure due to varying gravitational fields or a foam-like structure of space-time, it is demonstrated that thermodynamic reasoning implies that matter-density perturbations will arise in the early universe

On classical state space realizability of bilinear inout-output differential equations

OpenAIRE

Kotta, U.; Mullari, T.; Kotta, P.; Zinober, A.S.I.

2006-01-01

This paper studies the realizability property of continuous-time bilinear i/o equations in the classical state space form. Constraints on the parameters of the bilinear i/o model are suggested that lead to realizable models. The paper proves that the 2nd order bilinear i/o differential equation, unlike the discrete-time case, is always realizable in the classical state space form. The complete list of 3rd and 4th order realizable i/o bilinear models is given and two subclasses of realizable i...

Data driven discrete-time parsimonious identification of a nonlinear state-space model for a weakly nonlinear system with short data record

Science.gov (United States)

Relan, Rishi; Tiels, Koen; Marconato, Anna; Dreesen, Philippe; Schoukens, Johan

2018-05-01

Many real world systems exhibit a quasi linear or weakly nonlinear behavior during normal operation, and a hard saturation effect for high peaks of the input signal. In this paper, a methodology to identify a parsimonious discrete-time nonlinear state space model (NLSS) for the nonlinear dynamical system with relatively short data record is proposed. The capability of the NLSS model structure is demonstrated by introducing two different initialisation schemes, one of them using multivariate polynomials. In addition, a method using first-order information of the multivariate polynomials and tensor decomposition is employed to obtain the parsimonious decoupled representation of the set of multivariate real polynomials estimated during the identification of NLSS model. Finally, the experimental verification of the model structure is done on the cascaded water-benchmark identification problem.

Discretization of space and time: consequences of modified gravitational law

OpenAIRE

Roatta , Luca

2017-01-01

Assuming that space and time can only have discrete values, it is shown that the modified law of gravitational attraction implies that the third principle of dynamics is not fully respected and that only bodies with sufficient mass can exert gravitational attraction.

On the state space of the dipole ghost

International Nuclear Information System (INIS)

Binegar, B.

1984-01-01

A particular representation of SO(4, 2) is identified with the state space of the free dipole ghost. This representation is then given an explicit realization as the solution space of a 4th-order wave equation on a spacetime locally isomorphic to Minkowski space. A discrete basis for this solution space is given, as well as an explicit expression for its SO(4, 2) invariant inner product. The connection between the modes of dipole field and those of the massless scalar field is clarified, and a recent conjecture concerning the restriction of the dipole representation to the Poincare subgroup is confirmed. A particular coordinate transformation then reveals the theory of the dipole ghost in Minkowski space. Finally, it is shown that the solution space of the dipole equation is not unitarizable in a Poincare invariant manner. (orig.)

Energy Minimization of Discrete Protein Titration State Models Using Graph Theory

Science.gov (United States)

Purvine, Emilie; Monson, Kyle; Jurrus, Elizabeth; Star, Keith; Baker, Nathan A.

2016-01-01

There are several applications in computational biophysics which require the optimization of discrete interacting states; e.g., amino acid titration states, ligand oxidation states, or discrete rotamer angles. Such optimization can be very time-consuming as it scales exponentially in the number of sites to be optimized. In this paper, we describe a new polynomial-time algorithm for optimization of discrete states in macromolecular systems. This algorithm was adapted from image processing and uses techniques from discrete mathematics and graph theory to restate the optimization problem in terms of “maximum flow-minimum cut” graph analysis. The interaction energy graph, a graph in which vertices (amino acids) and edges (interactions) are weighted with their respective energies, is transformed into a flow network in which the value of the minimum cut in the network equals the minimum free energy of the protein, and the cut itself encodes the state that achieves the minimum free energy. Because of its deterministic nature and polynomial-time performance, this algorithm has the potential to allow for the ionization state of larger proteins to be discovered. PMID:27089174

Energy Minimization of Discrete Protein Titration State Models Using Graph Theory.

Science.gov (United States)

Purvine, Emilie; Monson, Kyle; Jurrus, Elizabeth; Star, Keith; Baker, Nathan A

2016-08-25

There are several applications in computational biophysics that require the optimization of discrete interacting states, for example, amino acid titration states, ligand oxidation states, or discrete rotamer angles. Such optimization can be very time-consuming as it scales exponentially in the number of sites to be optimized. In this paper, we describe a new polynomial time algorithm for optimization of discrete states in macromolecular systems. This algorithm was adapted from image processing and uses techniques from discrete mathematics and graph theory to restate the optimization problem in terms of "maximum flow-minimum cut" graph analysis. The interaction energy graph, a graph in which vertices (amino acids) and edges (interactions) are weighted with their respective energies, is transformed into a flow network in which the value of the minimum cut in the network equals the minimum free energy of the protein and the cut itself encodes the state that achieves the minimum free energy. Because of its deterministic nature and polynomial time performance, this algorithm has the potential to allow for the ionization state of larger proteins to be discovered.

Space discretization in SN methods: Features, improvements and convergence patterns

International Nuclear Information System (INIS)

Coppa, G.G.M.; Lapenta, G.; Ravetto, P.

1990-01-01

A comparative analysis of the space discretization schemes currently used in S N methods is performed and special attention is devoted to direct integration techniques. Some improvements are proposed in one- and two-dimensional applications, which are based on suitable choices for the spatial variation of the collision source. A study of the convergence pattern is carried out for eigenvalue calculations within the space asymptotic approximation by means of both analytical and numerical investigations. (orig.) [de

Quantum field theory on discrete space-time. II

International Nuclear Information System (INIS)

Yamamoto, H.

1985-01-01

A quantum field theory of bosons and fermions is formulated on discrete Lorentz space-time of four dimensions. The minimum intervals of space and time are assumed to have different values in this paper. As a result the difficulties encountered in the previous paper (complex energy, incompleteness of solutions, and inequivalence between phase representation and momentum representation) are removed. The problem in formulating a field theory of fermions is solved by introducing a new operator and considering a theorem of translation invariance. Any matrix element given by a Feynman diagram is calculated in this theory to give a finite value regardless of the kinds of particles concerned (massive and/or massless bosons and/or fermions)

Generalized Reduction Formula for Discrete Wigner Functions of Multiqubit Systems

Science.gov (United States)

Srinivasan, K.; Raghavan, G.

2018-03-01

Density matrices and Discrete Wigner Functions are equally valid representations of multiqubit quantum states. For density matrices, the partial trace operation is used to obtain the quantum state of subsystems, but an analogous prescription is not available for discrete Wigner Functions. Further, the discrete Wigner function corresponding to a density matrix is not unique but depends on the choice of the quantum net used for its reconstruction. In the present work, we derive a reduction formula for discrete Wigner functions of a general multiqubit state which works for arbitrary quantum nets. These results would be useful for the analysis and classification of entangled states and the study of decoherence purely in a discrete phase space setting and also in applications to quantum computing.

Discreteness of area in noncommutative space

Energy Technology Data Exchange (ETDEWEB)

Amelino-Camelia, Giovanni [Dipartimento di Fisica, Universita di Roma ' La Sapienza' and Sez. Roma1 INFN, P.le A. Moro 2, 00185 Roma (Italy)], E-mail: amelino@roma1.infn.it; Gubitosi, Giulia; Mercati, Flavio [Dipartimento di Fisica, Universita di Roma ' La Sapienza' and Sez. Roma1 INFN, P.le A. Moro 2, 00185 Roma (Italy)

2009-06-08

We introduce an area operator for the Moyal noncommutative plane. We find that the spectrum is discrete, but, contrary to the expectation formulated by other authors, not characterized by a 'minimum-area principle'. We show that an intuitive analysis of the uncertainty relations obtained from Moyal-plane noncommutativity is fully consistent with our results for the spectrum, and we argue that our area operator should be generalizable to several other noncommutative spaces. We also observe that the properties of distances and areas in the Moyal plane expose some weaknesses in the line of reasoning adopted in some of the heuristic analyses of the measurability of geometric spacetime observables in the quantum-gravity realm.

Discreteness of area in noncommutative space

International Nuclear Information System (INIS)

Amelino-Camelia, Giovanni; Gubitosi, Giulia; Mercati, Flavio

2009-01-01

We introduce an area operator for the Moyal noncommutative plane. We find that the spectrum is discrete, but, contrary to the expectation formulated by other authors, not characterized by a 'minimum-area principle'. We show that an intuitive analysis of the uncertainty relations obtained from Moyal-plane noncommutativity is fully consistent with our results for the spectrum, and we argue that our area operator should be generalizable to several other noncommutative spaces. We also observe that the properties of distances and areas in the Moyal plane expose some weaknesses in the line of reasoning adopted in some of the heuristic analyses of the measurability of geometric spacetime observables in the quantum-gravity realm.

Extended discrete-ordinate method considering full polarization state

International Nuclear Information System (INIS)

Box, Michael A.; Qin Yi

2006-01-01

This paper presents an extension to the standard discrete-ordinate method (DOM) to consider generalized sources including: beam sources which can be placed at any (vertical) position and illuminate in any direction, thermal emission from the atmosphere and angularly distributed sources which illuminate from a surface as continuous functions of zenith and azimuth angles. As special cases, the thermal emission from the surface and deep space can be implemented as angularly distributed sources. Analytical-particular solutions for all source types are derived using the infinite medium Green's function. Radiation field zenith angle interpolation using source function integration is developed for all source types. The development considers the full state of polarization, including the sources (as applicable) and the (BRDF) surface, but the development can be reduced easily to scalar problems and is ready to be implemented in a single set of code for both scalar and vector radiative transfer computation

Discrete Wigner Function Derivation of the Aaronson–Gottesman Tableau Algorithm

Directory of Open Access Journals (Sweden)

Lucas Kocia

2017-07-01

Full Text Available The Gottesman–Knill theorem established that stabilizer states and Clifford operations can be efficiently simulated classically. For qudits with odd dimension three and greater, stabilizer states and Clifford operations have been found to correspond to positive discrete Wigner functions and dynamics. We present a discrete Wigner function-based simulation algorithm for odd-d qudits that has the same time and space complexity as the Aaronson–Gottesman algorithm for qubits. We show that the efficiency of both algorithms is due to harmonic evolution in the symplectic structure of discrete phase space. The differences between the Wigner function algorithm for odd-d and the Aaronson–Gottesman algorithm for qubits are likely due only to the fact that the Weyl–Heisenberg group is not in S U ( d for d = 2 and that qubits exhibit state-independent contextuality. This may provide a guide for extending the discrete Wigner function approach to qubits.

Computing the Gromov hyperbolicity constant of a discrete metric space

KAUST Repository

Ismail, Anas

2012-07-01

Although it was invented by Mikhail Gromov, in 1987, to describe some family of groups[1], the notion of Gromov hyperbolicity has many applications and interpretations in different fields. It has applications in Biology, Networking, Graph Theory, and many other areas of research. The Gromov hyperbolicity constant of several families of graphs and geometric spaces has been determined. However, so far, the only known algorithm for calculating the Gromov hyperbolicity constant δ of a discrete metric space is the brute force algorithm with running time O (n4) using the four-point condition. In this thesis, we first introduce an approximation algorithm which calculates a O (log n)-approximation of the hyperbolicity constant δ, based on a layering approach, in time O(n2), where n is the number of points in the metric space. We also calculate the fixed base point hyperbolicity constant δr for a fixed point r using a (max, min)−matrix multiplication algorithm by Duan in time O(n2.688)[2]. We use this result to present a 2-approximation algorithm for calculating the hyper-bolicity constant in time O(n2.688). We also provide an exact algorithm to compute the hyperbolicity constant δ in time O(n3.688) for a discrete metric space. We then present some partial results we obtained for designing some approximation algorithms to compute the hyperbolicity constant δ.

Extended discrete-ordinate method considering full polarization state

Energy Technology Data Exchange (ETDEWEB)

Box, Michael A. [School of Physics, University of New South Wales (Australia)]. E-mail: m.box@unsw.edu.au; Qin Yi [School of Physics, University of New South Wales (Australia)]. E-mail: yi.qin@csiro.au

2006-01-15

This paper presents an extension to the standard discrete-ordinate method (DOM) to consider generalized sources including: beam sources which can be placed at any (vertical) position and illuminate in any direction, thermal emission from the atmosphere and angularly distributed sources which illuminate from a surface as continuous functions of zenith and azimuth angles. As special cases, the thermal emission from the surface and deep space can be implemented as angularly distributed sources. Analytical-particular solutions for all source types are derived using the infinite medium Green's function. Radiation field zenith angle interpolation using source function integration is developed for all source types. The development considers the full state of polarization, including the sources (as applicable) and the (BRDF) surface, but the development can be reduced easily to scalar problems and is ready to be implemented in a single set of code for both scalar and vector radiative transfer computation.

Discrete-Time Local Value Iteration Adaptive Dynamic Programming: Admissibility and Termination Analysis.

Science.gov (United States)

Wei, Qinglai; Liu, Derong; Lin, Qiao

In this paper, a novel local value iteration adaptive dynamic programming (ADP) algorithm is developed to solve infinite horizon optimal control problems for discrete-time nonlinear systems. The focuses of this paper are to study admissibility properties and the termination criteria of discrete-time local value iteration ADP algorithms. In the discrete-time local value iteration ADP algorithm, the iterative value functions and the iterative control laws are both updated in a given subset of the state space in each iteration, instead of the whole state space. For the first time, admissibility properties of iterative control laws are analyzed for the local value iteration ADP algorithm. New termination criteria are established, which terminate the iterative local ADP algorithm with an admissible approximate optimal control law. Finally, simulation results are given to illustrate the performance of the developed algorithm.In this paper, a novel local value iteration adaptive dynamic programming (ADP) algorithm is developed to solve infinite horizon optimal control problems for discrete-time nonlinear systems. The focuses of this paper are to study admissibility properties and the termination criteria of discrete-time local value iteration ADP algorithms. In the discrete-time local value iteration ADP algorithm, the iterative value functions and the iterative control laws are both updated in a given subset of the state space in each iteration, instead of the whole state space. For the first time, admissibility properties of iterative control laws are analyzed for the local value iteration ADP algorithm. New termination criteria are established, which terminate the iterative local ADP algorithm with an admissible approximate optimal control law. Finally, simulation results are given to illustrate the performance of the developed algorithm.

Analysis of Discrete L2 Projection on Polynomial Spaces with Random Evaluations

KAUST Repository

Migliorati, Giovanni; Nobile, Fabio; von Schwerin, Erik; Tempone, Raul

2014-01-01

We analyze the problem of approximating a multivariate function by discrete least-squares projection on a polynomial space starting from random, noise-free observations. An area of possible application of such technique is uncertainty quantification for computational models. We prove an optimal convergence estimate, up to a logarithmic factor, in the univariate case, when the observation points are sampled in a bounded domain from a probability density function bounded away from zero and bounded from above, provided the number of samples scales quadratically with the dimension of the polynomial space. Optimality is meant in the sense that the weighted L2 norm of the error committed by the random discrete projection is bounded with high probability from above by the best L∞ error achievable in the given polynomial space, up to logarithmic factors. Several numerical tests are presented in both the univariate and multivariate cases, confirming our theoretical estimates. The numerical tests also clarify how the convergence rate depends on the number of sampling points, on the polynomial degree, and on the smoothness of the target function. © 2014 SFoCM.

Analysis of Discrete L2 Projection on Polynomial Spaces with Random Evaluations

KAUST Repository

Migliorati, Giovanni

2014-03-05

We analyze the problem of approximating a multivariate function by discrete least-squares projection on a polynomial space starting from random, noise-free observations. An area of possible application of such technique is uncertainty quantification for computational models. We prove an optimal convergence estimate, up to a logarithmic factor, in the univariate case, when the observation points are sampled in a bounded domain from a probability density function bounded away from zero and bounded from above, provided the number of samples scales quadratically with the dimension of the polynomial space. Optimality is meant in the sense that the weighted L2 norm of the error committed by the random discrete projection is bounded with high probability from above by the best L∞ error achievable in the given polynomial space, up to logarithmic factors. Several numerical tests are presented in both the univariate and multivariate cases, confirming our theoretical estimates. The numerical tests also clarify how the convergence rate depends on the number of sampling points, on the polynomial degree, and on the smoothness of the target function. © 2014 SFoCM.

Unfolding and effective bandstructure calculations as discrete real- and reciprocal-space operations

Energy Technology Data Exchange (ETDEWEB)

Boykin, Timothy B., E-mail: boykin@ece.uah.edu [Department of Electrical and Computer Engineering, The University of Alabama in Huntsville, Huntsville, AL 35899 (United States); Ajoy, Arvind [School of Electrical and Computer Engineering, Cornell University, Ithaca, NY 14853 (United States); Ilatikhameneh, Hesameddin; Povolotskyi, Michael; Klimeck, Gerhard [Network for Computational Nanotechnology, School of Electrical and Computer Engineering, Purdue University, West Lafayette, IN 47907 (United States)

2016-06-15

In recent years, alloy electronic structure calculations based on supercell Brillouin zone unfolding have become popular. There are a number of formulations of the method which on the surface might appear different. Here we show that a discrete real-space description, based on discrete Fourier transforms, is fully general. Furthermore, such an approach can more easily show the effects of alloy scattering. We present such a method for treating the random alloy problem. This treatment features straightforward mathematics and a transparent physical interpretation of the calculated effective (i.e., approximate) energy bands.

40 CFR 1033.515 - Discrete-mode steady-state emission tests of locomotives and locomotive engines.

Science.gov (United States)

2010-07-01

... 40 Protection of Environment 32 2010-07-01 2010-07-01 false Discrete-mode steady-state emission... Procedures § 1033.515 Discrete-mode steady-state emission tests of locomotives and locomotive engines. This... a warm-up followed by a sequence of nominally steady-state discrete test modes, as described in...

Entropic Phase Maps in Discrete Quantum Gravity

Directory of Open Access Journals (Sweden)

Benjamin F. Dribus

2017-06-01

Full Text Available Path summation offers a flexible general approach to quantum theory, including quantum gravity. In the latter setting, summation is performed over a space of evolutionary pathways in a history configuration space. Discrete causal histories called acyclic directed sets offer certain advantages over similar models appearing in the literature, such as causal sets. Path summation defined in terms of these histories enables derivation of discrete Schrödinger-type equations describing quantum spacetime dynamics for any suitable choice of algebraic quantities associated with each evolutionary pathway. These quantities, called phases, collectively define a phase map from the space of evolutionary pathways to a target object, such as the unit circle S 1 ⊂ C , or an analogue such as S 3 or S 7 . This paper explores the problem of identifying suitable phase maps for discrete quantum gravity, focusing on a class of S 1 -valued maps defined in terms of “structural increments” of histories, called terminal states. Invariants such as state automorphism groups determine multiplicities of states, and induce families of natural entropy functions. A phase map defined in terms of such a function is called an entropic phase map. The associated dynamical law may be viewed as an abstract combination of Schrödinger’s equation and the second law of thermodynamics.

Practical Application of Neural Networks in State Space Control

DEFF Research Database (Denmark)

Bendtsen, Jan Dimon

the networks, although some modifications are needed for the method to apply to the multilayer perceptron network. In connection with the multilayer perceptron networks it is also pointed out how instantaneous, sample-by-sample linearized state space models can be extracted from a trained network, thus opening......In the present thesis we address some problems in discrete-time state space control of nonlinear dynamical systems and attempt to solve them using generic nonlinear models based on artificial neural networks. The main aim of the work is to examine how well such control algorithms perform when...... theoretic notions followed by a detailed description of the topology, neuron functions and learning rules of the two types of neural networks treated in the thesis, the multilayer perceptron and the neurofuzzy networks. In both cases, a Least Squares second-order gradient method is used to train...

A geometric renormalization group in discrete quantum space-time

International Nuclear Information System (INIS)

Requardt, Manfred

2003-01-01

We model quantum space-time on the Planck scale as dynamical networks of elementary relations or time dependent random graphs, the time dependence being an effect of the underlying dynamical network laws. We formulate a kind of geometric renormalization group on these (random) networks leading to a hierarchy of increasingly coarse-grained networks of overlapping lumps. We provide arguments that this process may generate a fixed limit phase, representing our continuous space-time on a mesoscopic or macroscopic scale, provided that the underlying discrete geometry is critical in a specific sense (geometric long range order). Our point of view is corroborated by a series of analytic and numerical results, which allow us to keep track of the geometric changes, taking place on the various scales of the resolution of space-time. Of particular conceptual importance are the notions of dimension of such random systems on the various scales and the notion of geometric criticality

Projective limits of state spaces IV. Fractal label sets

Science.gov (United States)

Lanéry, Suzanne; Thiemann, Thomas

2018-01-01

Instead of formulating the state space of a quantum field theory over one big Hilbert space, it has been proposed by Kijowski (1977) to represent quantum states as projective families of density matrices over a collection of smaller, simpler Hilbert spaces (see Lanéry (2016) [1] for a concise introduction to this formalism). One can thus bypass the need to select a vacuum state for the theory, and still be provided with an explicit and constructive description of the quantum state space, at least as long as the label set indexing the projective structure is countable. Because uncountable label sets are much less practical in this context, we develop in the present article a general procedure to trim an originally uncountable label set down to countable cardinality. In particular, we investigate how to perform this tightening of the label set in a way that preserves both the physical content of the algebra of observables and its symmetries. This work is notably motivated by applications to the holonomy-flux algebra underlying Loop Quantum Gravity. Building on earlier work by Okołów (2013), a projective state space was introduced for this algebra in Lanéry and Thiemann (2016). However, the non-trivial structure of the holonomy-flux algebra prevents the construction of satisfactory semi-classical states (Lanéry and Thiemann, 2017). Implementing the general procedure just mentioned in the case of a one-dimensional version of this algebra, we show how a discrete subalgebra can be extracted without destroying universality nor diffeomorphism invariance. On this subalgebra, quantum states can then be constructed which are more regular than was possible on the original algebra. In particular, this allows the design of semi-classical states whose semi-classicality is enforced step by step, starting from collective, macroscopic degrees of freedom and going down progressively toward smaller and smaller scales.

Cryptographic analysis on the key space of optical phase encryption algorithm based on the design of discrete random phase mask

Science.gov (United States)

Lin, Chao; Shen, Xueju; Li, Zengyan

2013-07-01

The key space of phase encryption algorithm using discrete random phase mask is investigated by numerical simulation in this paper. Random phase mask with finite and discrete phase levels is considered as the core component in most practical optical encryption architectures. The key space analysis is based on the design criteria of discrete random phase mask. The role of random amplitude mask and random phase mask in optical encryption system is identified from the perspective of confusion and diffusion. The properties of discrete random phase mask in a practical double random phase encoding scheme working in both amplitude encoding (AE) and phase encoding (PE) modes are comparably analyzed. The key space of random phase encryption algorithm is evaluated considering both the encryption quality and the brute-force attack resistibility. A method for enlarging the key space of phase encryption algorithm is also proposed to enhance the security of optical phase encryption techniques.

Discrete Dynamics Lab

Science.gov (United States)

Wuensche, Andrew

DDLab is interactive graphics software for creating, visualizing, and analyzing many aspects of Cellular Automata, Random Boolean Networks, and Discrete Dynamical Networks in general and studying their behavior, both from the time-series perspective — space-time patterns, and from the state-space perspective — attractor basins. DDLab is relevant to research, applications, and education in the fields of complexity, self-organization, emergent phenomena, chaos, collision-based computing, neural networks, content addressable memory, genetic regulatory networks, dynamical encryption, generative art and music, and the study of the abstract mathematical/physical/dynamical phenomena in their own right.

40 CFR 86.1363-2007 - Steady-state testing with a discrete-mode cycle.

Science.gov (United States)

2010-07-01

... 40 Protection of Environment 19 2010-07-01 2010-07-01 false Steady-state testing with a discrete-mode cycle. 86.1363-2007 Section 86.1363-2007 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY... Exhaust Test Procedures § 86.1363-2007 Steady-state testing with a discrete-mode cycle. This section...

Unstable quantum states and rigged Hilbert spaces

International Nuclear Information System (INIS)

Gorini, V.; Parravicini, G.

1978-10-01

Rigged Hilbert space techniques are applied to the quantum mechanical treatment of unstable states in nonrelativistic scattering theory. A method is discussed which is based on representations of decay amplitudes in terms of expansions over complete sets of generalized eigenvectors of the interacting Hamiltonian, corresponding to complex eigenvalues. These expansions contain both a discrete and a continuum contribution. The former corresponds to eigenvalues located at the second sheet poles of the S matrix, and yields the exponential terms in the survival amplitude. The latter arises from generalized eigenvectors associated to complex eigenvalues on background contours in the complex plane, and gives the corrections to the exponential law. 27 references

Discrete Fourier Transform in a Complex Vector Space

Science.gov (United States)

Dean, Bruce H. (Inventor)

2015-01-01

An image-based phase retrieval technique has been developed that can be used on board a space based iterative transformation system. Image-based wavefront sensing is computationally demanding due to the floating-point nature of the process. The discrete Fourier transform (DFT) calculation is presented in "diagonal" form. By diagonal we mean that a transformation of basis is introduced by an application of the similarity transform of linear algebra. The current method exploits the diagonal structure of the DFT in a special way, particularly when parts of the calculation do not have to be repeated at each iteration to converge to an acceptable solution in order to focus an image.

Discretization of space and time: a slight modification to the Newtonian gravitation which implies the existence of black holes

OpenAIRE

Roatta , Luca

2017-01-01

Assuming that space and time can only have discrete values, it is shown how deformed space and time cause gravitational attraction, whose law in a discrete context is slightly different from the Newtonian, but to it exactly coincident at large distance. This difference is directly connected to the existence of black holes, which result to have the structure of a hollow sphere.

Discrete-State-Based Vision Navigation Control Algorithm for One Bipedal Robot

Directory of Open Access Journals (Sweden)

Dunwen Wei

2015-01-01

Full Text Available Navigation with the specific objective can be defined by specifying desired timed trajectory. The concept of desired direction field is proposed to deal with such navigation problem. To lay down a principled discussion of the accuracy and efficiency of navigation algorithms, strictly quantitative definitions of tracking error, actuator effect, and time efficiency are established. In this paper, one vision navigation control method based on desired direction field is proposed. This proposed method uses discrete image sequences to form discrete state space, which is especially suitable for bipedal walking robots with single camera walking on a free-barrier plane surface to track the specific objective without overshoot. The shortest path method (SPM is proposed to design such direction field with the highest time efficiency. However, one improved control method called canonical piecewise-linear function (PLF is proposed. In order to restrain the noise disturbance from the camera sensor, the band width control method is presented to significantly decrease the error influence. The robustness and efficiency of the proposed algorithm are illustrated through a number of computer simulations considering the error from camera sensor. Simulation results show that the robustness and efficiency can be balanced by choosing the proper controlling value of band width.

Stabilization and discontinuity-capturing parameters for space-time flow computations with finite element and isogeometric discretizations

Science.gov (United States)

Takizawa, Kenji; Tezduyar, Tayfun E.; Otoguro, Yuto

2018-04-01

Stabilized methods, which have been very common in flow computations for many years, typically involve stabilization parameters, and discontinuity-capturing (DC) parameters if the method is supplemented with a DC term. Various well-performing stabilization and DC parameters have been introduced for stabilized space-time (ST) computational methods in the context of the advection-diffusion equation and the Navier-Stokes equations of incompressible and compressible flows. These parameters were all originally intended for finite element discretization but quite often used also for isogeometric discretization. The stabilization and DC parameters we present here for ST computations are in the context of the advection-diffusion equation and the Navier-Stokes equations of incompressible flows, target isogeometric discretization, and are also applicable to finite element discretization. The parameters are based on a direction-dependent element length expression. The expression is outcome of an easy to understand derivation. The key components of the derivation are mapping the direction vector from the physical ST element to the parent ST element, accounting for the discretization spacing along each of the parametric coordinates, and mapping what we have in the parent element back to the physical element. The test computations we present for pure-advection cases show that the parameters proposed result in good solution profiles.

Discrete random walk models for space-time fractional diffusion

International Nuclear Information System (INIS)

Gorenflo, Rudolf; Mainardi, Francesco; Moretti, Daniele; Pagnini, Gianni; Paradisi, Paolo

2002-01-01

A physical-mathematical approach to anomalous diffusion may be based on generalized diffusion equations (containing derivatives of fractional order in space or/and time) and related random walk models. By space-time fractional diffusion equation we mean an evolution equation obtained from the standard linear diffusion equation by replacing the second-order space derivative with a Riesz-Feller derivative of order α is part of (0,2] and skewness θ (moduleθ≤{α,2-α}), and the first-order time derivative with a Caputo derivative of order β is part of (0,1]. Such evolution equation implies for the flux a fractional Fick's law which accounts for spatial and temporal non-locality. The fundamental solution (for the Cauchy problem) of the fractional diffusion equation can be interpreted as a probability density evolving in time of a peculiar self-similar stochastic process that we view as a generalized diffusion process. By adopting appropriate finite-difference schemes of solution, we generate models of random walk discrete in space and time suitable for simulating random variables whose spatial probability density evolves in time according to this fractional diffusion equation

Study on discrete space charge effects in electron beams and guns

International Nuclear Information System (INIS)

Tang Tiantong

1990-01-01

The discrete space charge effects in electron beams are studied and a statistical dynamics equation of the ensemble of beam electrons is derived. An approximated analytical solution of this equation is given. This equation has been applied to beam crossover and field-emission and thermal-emission gun problems. The computer calculation results agree on the whole with those of Monte Carlo simulation and experimental data. (orig.)

Quantum phase space points for Wigner functions in finite-dimensional spaces

OpenAIRE

Luis Aina, Alfredo

2004-01-01

We introduce quantum states associated with single phase space points in the Wigner formalism for finite-dimensional spaces. We consider both continuous and discrete Wigner functions. This analysis provides a procedure for a direct practical observation of the Wigner functions for states and transformations without inversion formulas.

Quantum phase space points for Wigner functions in finite-dimensional spaces

International Nuclear Information System (INIS)

Luis, Alfredo

2004-01-01

We introduce quantum states associated with single phase space points in the Wigner formalism for finite-dimensional spaces. We consider both continuous and discrete Wigner functions. This analysis provides a procedure for a direct practical observation of the Wigner functions for states and transformations without inversion formulas

Finite approximations in discrete-time stochastic control quantized models and asymptotic optimality

CERN Document Server

Saldi, Naci; Yüksel, Serdar

2018-01-01

In a unified form, this monograph presents fundamental results on the approximation of centralized and decentralized stochastic control problems, with uncountable state, measurement, and action spaces. It demonstrates how quantization provides a system-independent and constructive method for the reduction of a system with Borel spaces to one with finite state, measurement, and action spaces. In addition to this constructive view, the book considers both the information transmission approach for discretization of actions, and the computational approach for discretization of states and actions. Part I of the text discusses Markov decision processes and their finite-state or finite-action approximations, while Part II builds from there to finite approximations in decentralized stochastic control problems. This volume is perfect for researchers and graduate students interested in stochastic controls. With the tools presented, readers will be able to establish the convergence of approximation models to original mo...

Discrete-space versus continuous-space lesion boundary and area definitions

International Nuclear Information System (INIS)

Sensakovic, William F.; Starkey, Adam; Roberts, Rachael Y.; Armato, Samuel G. III

2008-01-01

Measurement of the size of anatomic regions of interest in medical images is used to diagnose disease, track growth, and evaluate response to therapy. The discrete nature of medical images allows for both continuous and discrete definitions of region boundary. These definitions may, in turn, support several methods of area calculation that give substantially different quantitative values. This study investigated several boundary definitions (e.g., continuous polygon, internal discrete, and external discrete) and area calculation methods (pixel counting and Green's theorem). These methods were applied to three separate databases: A synthetic image database, the Lung Image Database Consortium database of lung nodules and a database of adrenal gland outlines. Average percent differences in area on the order of 20% were found among the different methods applied to the clinical databases. These results support the idea that inconsistent application of region boundary definition and area calculation may substantially impact measurement accuracy

Parallel symbolic state-space exploration is difficult, but what is the alternative?

Directory of Open Access Journals (Sweden)

Gianfranco Ciardo

2009-12-01

Full Text Available State-space exploration is an essential step in many modeling and analysis problems. Its goal is to find the states reachable from the initial state of a discrete-state model described. The state space can used to answer important questions, e.g., "Is there a dead state?" and "Can N become negative?", or as a starting point for sophisticated investigations expressed in temporal logic. Unfortunately, the state space is often so large that ordinary explicit data structures and sequential algorithms cannot cope, prompting the exploration of (1 parallel approaches using multiple processors, from simple workstation networks to shared-memory supercomputers, to satisfy large memory and runtime requirements and (2 symbolic approaches using decision diagrams to encode the large structured sets and relations manipulated during state-space generation. Both approaches have merits and limitations. Parallel explicit state-space generation is challenging, but almost linear speedup can be achieved; however, the analysis is ultimately limited by the memory and processors available. Symbolic methods are a heuristic that can efficiently encode many, but not all, functions over a structured and exponentially large domain; here the pitfalls are subtler: their performance varies widely depending on the class of decision diagram chosen, the state variable order, and obscure algorithmic parameters. As symbolic approaches are often much more efficient than explicit ones for many practical models, we argue for the need to parallelize symbolic state-space generation algorithms, so that we can realize the advantage of both approaches. This is a challenging endeavor, as the most efficient symbolic algorithm, Saturation, is inherently sequential. We conclude by discussing challenges, efforts, and promising directions toward this goal.

Polarization measurement by use of discrete space-variant sub wavelength dielectric gratings

International Nuclear Information System (INIS)

Biener, G.; Niv, A.; Gorodetski, Yu.; Kleiner, V.; Hasman, E.

2004-01-01

Full Text:Polarization measurement has been widely used for a large range of applications such as ellipsometry bio-imaging, imaging polarimetry and optical communications. A commonly used method is measuring of the time-dependent signal once the beam is transmitted through a photoelastic modulator or a rotating quarter-wave plate followed by an analyzer. The polarization state of the beam can be derived by Fourier analysis of the detected signal. This method, however, requires a sequence of consecutive measurements, thus making it impractical for real-time polarization measurement in an application such as adaptive polarization-mode dispersion compensation in optical communications. Recently, we developed a novel method for real-time polarization measurement by use of a discrete space-variant sub wavelength dielectric grating (DSG). The formation of the grating is done by discrete orientation of the local sub wavelength grooves. The complete polarization analysis of the incident beam is determined by spatial Fourier transform of the near-field intensity distribution transmitted through the DSG followed by a sub wavelength metal polarizer. We realized the gratings for CO 2 laser radiation at a wavelength of 10.6 micron on GaAs substrate utilizing advanced photo lithographic and etching techniques. We experimentally demonstrated the ability of our method to measure the polarization state for fully and partially polarized light. Unlike other methods based on Fourier analysis, no active elements are required. It is possible to integrate our polarimeter on a two-dimensional detector array for lab-on chip applications to achieve a high-throughput and low-cost commercial polarimeter for bio sensing. Currently we are investigating the possibility of using far-field measurement of the beam emerging from a DSG for polarization measurement

A study of discrete nonlinear systems

International Nuclear Information System (INIS)

Dhillon, H.S.

2001-04-01

An investigation of various spatially discrete time-independent nonlinear models was undertaken. These models are generically applicable to many different physical systems including electron-phonon interactions in solids, magnetic multilayers, layered superconductors and classical lattice systems. To characterise the possible magnetic structures created on magnetic multilayers a model has been formulated and studied. The Euler-Lagrange equation for this model is a discrete version of the Sine-Gordon equation. Solutions of this equation are generated by applying the methods of Chaotic Dynamics - treating the space variable associated with the layer number as a discrete time variable. The states found indicate periodic, quasiperiodic and chaotic structures. Analytic solutions to the discrete nonlinear Schroedinger Equation (DNSE) with cubic nonlinearity are presented in the strong coupling limit. Using these as a starting point, a procedure is developed to determine the wave function and the energy eigenvalue for moderate coupling. The energy eigenvalues of the different structures of the wave function are found to be in excellent agreement with the exact strong coupling result. The solutions to the DNSE indicate commensurate and incommensurate spatial structures associated with different localisation patterns of the wave function. The states which arise may be fractal, periodic, quasiperiodic or chaotic. This work is then extended to solve a first order discrete nonlinear equation. The exact solutions for both the first and second order discrete nonlinear equations with cubic nonlinearity suggests that this method of studying discrete nonlinear equations may be applied to solve discrete equations with any order difference and cubic nonlinearity. (author)

Representations of classical groups on the lattice and its application to the field theory on discrete space-time

OpenAIRE

Lorente, M.

2003-01-01

We explore the mathematical consequences of the assumption of a discrete space-time. The fundamental laws of physics have to be translated into the language of discrete mathematics. We find integral transformations that leave the lattice of any dimension invariant and apply these transformations to field equations.

The Discrete Emotions Questionnaire: A New Tool for Measuring State Self-Reported Emotions.

Science.gov (United States)

Harmon-Jones, Cindy; Bastian, Brock; Harmon-Jones, Eddie

2016-01-01

Several discrete emotions have broad theoretical and empirical importance, as shown by converging evidence from diverse areas of psychology, including facial displays, developmental behaviors, and neuroscience. However, the measurement of these states has not progressed along with theory, such that when researchers measure subjectively experienced emotions, they commonly rely on scales assessing broad dimensions of affect (positivity and negativity), rather than discrete emotions. The current manuscript presents four studies that validate a new instrument, the Discrete Emotions Questionnaire (DEQ), that is sensitive to eight distinct state emotions: anger, disgust, fear, anxiety, sadness, happiness, relaxation, and desire. Emotion theory supporting the importance of distinguishing these specific emotions is reviewed.

Displacement in the parameter space versus spurious solution of discretization with large time step

International Nuclear Information System (INIS)

Mendes, Eduardo; Letellier, Christophe

2004-01-01

In order to investigate a possible correspondence between differential and difference equations, it is important to possess discretization of ordinary differential equations. It is well known that when differential equations are discretized, the solution thus obtained depends on the time step used. In the majority of cases, such a solution is considered spurious when it does not resemble the expected solution of the differential equation. This often happens when the time step taken into consideration is too large. In this work, we show that, even for quite large time steps, some solutions which do not correspond to the expected ones are still topologically equivalent to solutions of the original continuous system if a displacement in the parameter space is considered. To reduce such a displacement, a judicious choice of the discretization scheme should be made. To this end, a recent discretization scheme, based on the Lie expansion of the original differential equations, proposed by Monaco and Normand-Cyrot will be analysed. Such a scheme will be shown to be sufficient for providing an adequate discretization for quite large time steps compared to the pseudo-period of the underlying dynamics

State transformations and Hamiltonian structures for optimal control in discrete systems

Science.gov (United States)

Sieniutycz, S.

2006-04-01

Preserving usual definition of Hamiltonian H as the scalar product of rates and generalized momenta we investigate two basic classes of discrete optimal control processes governed by the difference rather than differential equations for the state transformation. The first class, linear in the time interval θ, secures the constancy of optimal H and satisfies a discrete Hamilton-Jacobi equation. The second class, nonlinear in θ, does not assure the constancy of optimal H and satisfies only a relationship that may be regarded as an equation of Hamilton-Jacobi type. The basic question asked is if and when Hamilton's canonical structures emerge in optimal discrete systems. For a constrained discrete control, general optimization algorithms are derived that constitute powerful theoretical and computational tools when evaluating extremum properties of constrained physical systems. The mathematical basis is Bellman's method of dynamic programming (DP) and its extension in the form of the so-called Carathéodory-Boltyanski (CB) stage optimality criterion which allows a variation of the terminal state that is otherwise fixed in Bellman's method. For systems with unconstrained intervals of the holdup time θ two powerful optimization algorithms are obtained: an unconventional discrete algorithm with a constant H and its counterpart for models nonlinear in θ. We also present the time-interval-constrained extension of the second algorithm. The results are general; namely, one arrives at: discrete canonical equations of Hamilton, maximum principles, and (at the continuous limit of processes with free intervals of time) the classical Hamilton-Jacobi theory, along with basic results of variational calculus. A vast spectrum of applications and an example are briefly discussed with particular attention paid to models nonlinear in the time interval θ.

Path integral approach for superintegrable potentials on spaces of non-constant curvature. Pt. 2. Darboux spaces D{sub III} and D{sub IV}

Energy Technology Data Exchange (ETDEWEB)

Grosche, C. [Hamburg Univ. (Germany). 2. Inst. fuer Theoretische Physik; Pogosyan, G.S. [Joint Inst. of Nuclear Research, Moscow (Russian Federation). Bogoliubov Lab. of Theoretical Physics]|[Guadalajara Univ., Jalisco (Mexico). Dept. de Matematicas CUCEI; Sissakian, A.N. [Joint Inst. of Nuclear Research, Moscow (Russian Federation). Bogoliubov Lab. of Theoretical Physics

2006-08-15

This is the second paper on the path integral approach of superintegrable systems on Darboux spaces, spaces of non-constant curvature. We analyze in the spaces D{sub III} and D{sub IV} five respectively four superintegrable potentials, which were first given by Kalnins et al. We are able to evaluate the path integral in most of the separating coordinate systems, leading to expressions for the Green functions, the discrete and continuous wave-functions, and the discrete energy-spectra. In some cases, however, the discrete spectrum cannot be stated explicitly, because it is determined by a higher order polynomial equation. We show that also the free motion in Darboux space of type III can contain bound states, provided the boundary conditions are appropriate. We state the energy spectrum and the wave-functions, respectively. (orig.)

Canonical quantization of general relativity in discrete space-times.

Science.gov (United States)

Gambini, Rodolfo; Pullin, Jorge

2003-01-17

It has long been recognized that lattice gauge theory formulations, when applied to general relativity, conflict with the invariance of the theory under diffeomorphisms. We analyze discrete lattice general relativity and develop a canonical formalism that allows one to treat constrained theories in Lorentzian signature space-times. The presence of the lattice introduces a "dynamical gauge" fixing that makes the quantization of the theories conceptually clear, albeit computationally involved. The problem of a consistent algebra of constraints is automatically solved in our approach. The approach works successfully in other field theories as well, including topological theories. A simple cosmological application exhibits quantum elimination of the singularity at the big bang.

Application of real space Kerker method in simulating gate-all-around nanowire transistors with realistic discrete dopants*

International Nuclear Information System (INIS)

Li Chang-Sheng; Ma Lei; Guo Jie-Rong

2017-01-01

We adopt a self-consistent real space Kerker method to prevent the divergence from charge sloshing in the simulating transistors with realistic discrete dopants in the source and drain regions. The method achieves efficient convergence by avoiding unrealistic long range charge sloshing but keeping effects from short range charge sloshing. Numerical results show that discrete dopants in the source and drain regions could have a bigger influence on the electrical variability than the usual continuous doping without considering charge sloshing. Few discrete dopants and the narrow geometry create a situation with short range Coulomb screening and oscillations of charge density in real space. The dopants induced quasi-localized defect modes in the source region experience short range oscillations in order to reach the drain end of the device. The charging of the defect modes and the oscillations of the charge density are identified by the simulation of the electron density. (paper)

Topological horseshoes in travelling waves of discretized nonlinear wave equations

International Nuclear Information System (INIS)

Chen, Yi-Chiuan; Chen, Shyan-Shiou; Yuan, Juan-Ming

2014-01-01

Applying the concept of anti-integrable limit to coupled map lattices originated from space-time discretized nonlinear wave equations, we show that there exist topological horseshoes in the phase space formed by the initial states of travelling wave solutions. In particular, the coupled map lattices display spatio-temporal chaos on the horseshoes

Topological horseshoes in travelling waves of discretized nonlinear wave equations

Energy Technology Data Exchange (ETDEWEB)

Chen, Yi-Chiuan, E-mail: YCChen@math.sinica.edu.tw [Institute of Mathematics, Academia Sinica, Taipei 10617, Taiwan (China); Chen, Shyan-Shiou, E-mail: sschen@ntnu.edu.tw [Department of Mathematics, National Taiwan Normal University, Taipei 11677, Taiwan (China); Yuan, Juan-Ming, E-mail: jmyuan@pu.edu.tw [Department of Financial and Computational Mathematics, Providence University, Shalu, Taichung 43301, Taiwan (China)

2014-04-15

Applying the concept of anti-integrable limit to coupled map lattices originated from space-time discretized nonlinear wave equations, we show that there exist topological horseshoes in the phase space formed by the initial states of travelling wave solutions. In particular, the coupled map lattices display spatio-temporal chaos on the horseshoes.

State control of discrete-time linear systems to be bound in state variables by equality constraints

International Nuclear Information System (INIS)

Filasová, Anna; Krokavec, Dušan; Serbák, Vladimír

2014-01-01

The paper is concerned with the problem of designing the discrete-time equivalent PI controller to control the discrete-time linear systems in such a way that the closed-loop state variables satisfy the prescribed equality constraints. Since the problem is generally singular, using standard form of the Lyapunov function and a symmetric positive definite slack matrix, the design conditions are proposed in the form of the enhanced Lyapunov inequality. The results, offering the conditions of the control existence and the optimal performance with respect to the prescribed equality constraints for square discrete-time linear systems, are illustrated with the numerical example to note effectiveness and applicability of the considered approach

Discretized representations of harmonic variables by bilateral Jacobi operators

Directory of Open Access Journals (Sweden)

Andreas Ruffing

2000-01-01

Full Text Available Starting from a discrete Heisenberg algebra we solve several representation problems for a discretized quantum oscillator in a weighted sequence space. The Schrödinger operator for a discrete harmonic oscillator is derived. The representation problem for a q-oscillator algebra is studied in detail. The main result of the article is the fact that the energy representation for the discretized momentum operator can be interpreted as follows: It allows to calculate quantum properties of a large number of non-interacting harmonic oscillators at the same time. The results can be directly related to current research on squeezed laser states in quantum optics. They reveal and confirm the observation that discrete versions of continuum Schrodinger operators allow more structural freedom than their continuum analogs do.

Sweeping the State Space

DEFF Research Database (Denmark)

Mailund, Thomas

The thesis describes the sweep-line method, a newly developed reduction method for alleviating the state explosion problem inherent in explicit-state state space exploration. The basic idea underlying the sweep-line method is, when calculating the state space, to recognise and delete states...... that are not reachable from the currently unprocessed states. Intuitively we drag a sweep-line through the state space with the invariant that all states behind the sweep-line have been processed and are unreachable from the states in front of the sweep-line. When calculating the state space of a system we iteratively...

Classifier-guided sampling for discrete variable, discontinuous design space exploration: Convergence and computational performance

Energy Technology Data Exchange (ETDEWEB)

Backlund, Peter B. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Shahan, David W. [HRL Labs., LLC, Malibu, CA (United States); Seepersad, Carolyn Conner [Univ. of Texas, Austin, TX (United States)

2014-04-22

A classifier-guided sampling (CGS) method is introduced for solving engineering design optimization problems with discrete and/or continuous variables and continuous and/or discontinuous responses. The method merges concepts from metamodel-guided sampling and population-based optimization algorithms. The CGS method uses a Bayesian network classifier for predicting the performance of new designs based on a set of known observations or training points. Unlike most metamodeling techniques, however, the classifier assigns a categorical class label to a new design, rather than predicting the resulting response in continuous space, and thereby accommodates nondifferentiable and discontinuous functions of discrete or categorical variables. The CGS method uses these classifiers to guide a population-based sampling process towards combinations of discrete and/or continuous variable values with a high probability of yielding preferred performance. Accordingly, the CGS method is appropriate for discrete/discontinuous design problems that are ill-suited for conventional metamodeling techniques and too computationally expensive to be solved by population-based algorithms alone. In addition, the rates of convergence and computational properties of the CGS method are investigated when applied to a set of discrete variable optimization problems. Results show that the CGS method significantly improves the rate of convergence towards known global optima, on average, when compared to genetic algorithms.

Signatures of discrete breathers in coherent state quantum dynamics

International Nuclear Information System (INIS)

Igumenshchev, Kirill; Ovchinnikov, Misha; Prezhdo, Oleg; Maniadis, Panagiotis

2013-01-01

In classical mechanics, discrete breathers (DBs) – a spatial time-periodic localization of energy – are predicted in a large variety of nonlinear systems. Motivated by a conceptual bridging of the DB phenomena in classical and quantum mechanical representations, we study their signatures in the dynamics of a quantum equivalent of a classical mechanical point in phase space – a coherent state. In contrast to the classical point that exhibits either delocalized or localized motion, the coherent state shows signatures of both localized and delocalized behavior. The transition from normal to local modes have different characteristics in quantum and classical perspectives. Here, we get an insight into the connection between classical and quantum perspectives by analyzing the decomposition of the coherent state into system's eigenstates, and analyzing the spacial distribution of the wave-function density within these eigenstates. We find that the delocalized and localized eigenvalue components of the coherent state are separated by a mixed region, where both kinds of behavior can be observed. Further analysis leads to the following observations. Considered as a function of coupling, energy eigenstates go through avoided crossings between tunneling and non-tunneling modes. The dominance of tunneling modes in the high nonlinearity region is compromised by the appearance of new types of modes – high order tunneling modes – that are similar to the tunneling modes but have attributes of non-tunneling modes. Certain types of excitations preferentially excite higher order tunneling modes, allowing one to study their properties. Since auto-correlation functions decrease quickly in highly nonlinear systems, short-time dynamics are sufficient for modeling quantum DBs. This work provides a foundation for implementing modern semi-classical methods to model quantum DBs, bridging classical and quantum mechanical signatures of DBs, and understanding spectroscopic experiments

Discretization of space and time: determining the values of minimum length and minimum time

OpenAIRE

Roatta , Luca

2017-01-01

Assuming that space and time can only have discrete values, we obtain the expression of the minimum length and the minimum time interval. These values are found to be exactly coincident with the Planck's length and the Planck's time but for the presence of h instead of ħ .

Discrete quantum geometries and their effective dimension

International Nuclear Information System (INIS)

Thuerigen, Johannes

2015-01-01

In several approaches towards a quantum theory of gravity, such as group field theory and loop quantum gravity, quantum states and histories of the geometric degrees of freedom turn out to be based on discrete spacetime. The most pressing issue is then how the smooth geometries of general relativity, expressed in terms of suitable geometric observables, arise from such discrete quantum geometries in some semiclassical and continuum limit. In this thesis I tackle the question of suitable observables focusing on the effective dimension of discrete quantum geometries. For this purpose I give a purely combinatorial description of the discrete structures which these geometries have support on. As a side topic, this allows to present an extension of group field theory to cover the combinatorially larger kinematical state space of loop quantum gravity. Moreover, I introduce a discrete calculus for fields on such fundamentally discrete geometries with a particular focus on the Laplacian. This permits to define the effective-dimension observables for quantum geometries. Analysing various classes of quantum geometries, I find as a general result that the spectral dimension is more sensitive to the underlying combinatorial structure than to the details of the additional geometric data thereon. Semiclassical states in loop quantum gravity approximate the classical geometries they are peaking on rather well and there are no indications for stronger quantum effects. On the other hand, in the context of a more general model of states which are superposition over a large number of complexes, based on analytic solutions, there is a flow of the spectral dimension from the topological dimension d on low energy scales to a real number between 0 and d on high energy scales. In the particular case of 1 these results allow to understand the quantum geometry as effectively fractal.

Analysis of the stability and accuracy of the discrete least-squares approximation on multivariate polynomial spaces

KAUST Repository

Migliorati, Giovanni

2016-01-01

We review the main results achieved in the analysis of the stability and accuracy of the discrete leastsquares approximation on multivariate polynomial spaces, with noiseless evaluations at random points, noiseless evaluations at low

An evaluation of behavior inferences from Bayesian state-space models: A case study with the Pacific walrus

Science.gov (United States)

Beatty, William; Jay, Chadwick V.; Fischbach, Anthony S.

2016-01-01

State-space models offer researchers an objective approach to modeling complex animal location data sets, and state-space model behavior classifications are often assumed to have a link to animal behavior. In this study, we evaluated the behavioral classification accuracy of a Bayesian state-space model in Pacific walruses using Argos satellite tags with sensors to detect animal behavior in real time. We fit a two-state discrete-time continuous-space Bayesian state-space model to data from 306 Pacific walruses tagged in the Chukchi Sea. We matched predicted locations and behaviors from the state-space model (resident, transient behavior) to true animal behavior (foraging, swimming, hauled out) and evaluated classification accuracy with kappa statistics (κ) and root mean square error (RMSE). In addition, we compared biased random bridge utilization distributions generated with resident behavior locations to true foraging behavior locations to evaluate differences in space use patterns. Results indicated that the two-state model fairly classified true animal behavior (0.06 ≤ κ ≤ 0.26, 0.49 ≤ RMSE ≤ 0.59). Kernel overlap metrics indicated utilization distributions generated with resident behavior locations were generally smaller than utilization distributions generated with true foraging behavior locations. Consequently, we encourage researchers to carefully examine parameters and priors associated with behaviors in state-space models, and reconcile these parameters with the study species and its expected behaviors.

A road to practical dielectric elastomer actuators based robotics and mechatronics: discrete actuation

Science.gov (United States)

Plante, Jean-Sébastien; Devita, Lauren M.; Dubowsky, Steven

2007-04-01

Fundamental studies of Dielectric Elastomer Actuators (DEAs) using viscoelastic materials such as VHB 4905/4910 from 3M showed significant advantages at high stretch rates. The film's viscous forces increase actuator life and the short power-on times minimize energy losses through current leakage. This paper presents a design paradigm that exploits these fundamental properties of DEAs called discrete actuation. Discrete actuation uses DEAs at high stretch rates to change the states of robotic or mechatronic systems in discrete steps. Each state of the system is stable and can be maintained without actuator power. Discrete actuation can be used in robotic and mechatronic applications such as manipulation and locomotion. The resolution of such systems increases with the number of discrete states, 10 to 100 being sufficient for many applications. An MRI-guided needle positioning device for cancer treatments and a space exploration robot using hopping for locomotion are presented as examples of this concept.

H2-control and the separation principle for discrete-time jump systems with the Markov chain in a general state space

Science.gov (United States)

Figueiredo, Danilo Zucolli; Costa, Oswaldo Luiz do Valle

2017-10-01

This paper deals with the H2 optimal control problem of discrete-time Markov jump linear systems (MJLS) considering the case in which the Markov chain takes values in a general Borel space ?. It is assumed that the controller has access only to an output variable and to the jump parameter. The goal, in this case, is to design a dynamic Markov jump controller such that the H2-norm of the closed-loop system is minimised. It is shown that the H2-norm can be written as the sum of two H2-norms, such that one of them does not depend on the control, and the other one is obtained from the optimal filter for an infinite-horizon filtering problem. This result can be seen as a separation principle for MJLS with Markov chain in a Borel space ? considering the infinite time horizon case.

Discrete expansions of continuum functions. General concepts

International Nuclear Information System (INIS)

Bang, J.; Ershov, S.N.; Gareev, F.A.; Kazacha, G.S.

1979-01-01

Different discrete expansions of the continuum wave functions are considered: pole expansion (according to the Mittag-Lefler theorem), Weinberg states. The general property of these groups of states is their completeness in the finite region of space. They satisfy the Schroedinger type equations and are matched with free solutions of the Schroedinger equation at the boundary. Convergence of expansions for the S matrix, the Green functions and the continuous-spectrum wave functions is studied. A new group of states possessing the best convergence is introduced

IDENTIFIKASI PROFIL DASAR LAUT MENGGUNAKAN INSTRUMEN SIDE SCAN SONAR DENGAN METODE BEAM PATTERN DISCRETE-EQUI-SPACED UNSHADED LINE ARRAY

Directory of Open Access Journals (Sweden)

Muhammad Zainuddin Lubis

2017-05-01

Full Text Available Laut Punggur merupakan laut yang terletak di Batam, Kepulauan Riau yang mempunyai beragam habitat objek,dan bentuk struktur bawah laut yang memiliki dinamika laut yang sangat tinggi. Side scan sonar (SSS merupakan instrumen pengembangan sistem sonar yang mampu menunjukkan dalam gambar dua dimensional permukaan dasar laut dengan kondisi kontur, topografi, dan target secara bersamaan. Metode Beam Pattern Discrete-Equi-Spaced Unshaded Line Array digunakan untuk menghitung beam pattern dua dimensi yang tergantung pada sudut dari gelombang suara yang masuk dari sumbu array yang diterima tergantung pada sudut di mana sinar suara pada array. Penelitian ini dilakukan pada Desember 2016 di laut Punggur,Batam, Kepulauan Riau-Indonesia, dengan koordinat 104 ° 08,7102 E dan 1° 03,2448 N sampai 1 ° 03.3977 N dan 104 ° 08,8133 E, menggunakan instrumen Side Scan Sonar C-Max CM2 Tow fish dengan frekuensi 325 kHz. Hasil yang diperoleh dari perekaman terdapat 7 target, dan Beam pattern dari metode Beam Discrete-Equi-Spaced Unshaded Line Array target 4 memiliki nilai tertinggi pada directivity Pattern yaitu 21.08 dB. Hasil model beam pattern ini memiliki nilai pusat pada incidence angle (o terhadap Directivity pattern (dB tidak berada di nilai 0 ataupun pada pusat beam pattern yang dihasilkan pada target 6 dengan nilai incident angle -1.5 o dan 1.5o mengalami penurunan hingga -40 dB. Karakteristik sedimen dasar perairan di laut punggur ditemukan lebih banyak pasir. Hasil metode Beam Discrete-Equi-Spaced Unshaded Line Array ditemukan bangkai kapal tenggelam.Kata Kunci: Side Scan Sonar, Beam Pattern Discrete-Equi-Spaced Unshaded Line Array, Incidence angle, Directivity pattern IDENTIFICATION OF SEABED PROFILE USING SIDE SCAN SONAR INSTRUMENT WITH PATTERN DISCRETE-EQUI-SPACED UNSHADED LINE ARRAY METHODRiau Islands is an island that has a variety of habitat objects, and forms of submarine structures that have a very high ocean dynamics, Punggur Sea is the sea

On the relationship of steady states of continuous and discrete models arising from biology.

Science.gov (United States)

Veliz-Cuba, Alan; Arthur, Joseph; Hochstetler, Laura; Klomps, Victoria; Korpi, Erikka

2012-12-01

For many biological systems that have been modeled using continuous and discrete models, it has been shown that such models have similar dynamical properties. In this paper, we prove that this happens in more general cases. We show that under some conditions there is a bijection between the steady states of continuous and discrete models arising from biological systems. Our results also provide a novel method to analyze certain classes of nonlinear models using discrete mathematics.

On the influence of spatial discretization in LWR steady state and burnup calculations with HELIOS 1.9

International Nuclear Information System (INIS)

Merk, B.; Weiss, F. P.

2009-01-01

Cell and burnup calculations are fundamental to all deterministic static and transient 3D full core calculations for different operational states of the reactor. The spatial discretization used for the cell and burnup calculations influences significantly the results of full integral transport solutions. The influence of the discretization on k inf is shown for the steady state case and the influence on the neutron spectrum is analyzed. Moreover, the differences in k inf are presented for different spatial discretization strategies in the burnup calculation of Uranium Oxide (UOX) fuel. The resulting different flux distributions cause significant changes in the isotopic densities. The influence of the discretization strategies on the calculation of homogenized few group cross-sections is investigated. This detailed discretization study demonstrates the need for sufficiently fine discretization to produce reliable and accurate results when using integral transport methods. In contrast to the currently used discretization schemes, refined discretization is especially important in the moderator region of the unit cell to reproduce the influence on the thermal neutron spectrum. Additionally, the need for sufficient discretization affects the idea of full core calculations based on integral transport methods since it has to be discussed whether it is worth to do full core calculations with reduced discretization when facing this strong discretization effect. The computer resources required for full core calculations with fine discretization are currently not available. (authors)

Robust stability and ℋ ∞ -estimation for uncertain discrete systems with state-delay

Directory of Open Access Journals (Sweden)

Mahmoud Magdi S.

2001-01-01

Full Text Available In this paper, we investigate the problems of robust stability and ℋ ∞ -estimation for a class of linear discrete-time systems with time-varying norm-bounded parameter uncertainty and unknown state-delay. We provide complete results for robust stability with prescribed performance measure and establish a version of the discrete Bounded Real Lemma. Then, we design a linear estimator such that the estimation error dynamics is robustly stable with a guaranteed ℋ ∞ -performance irrespective of the parameteric uncertainties and unknown state delays. A numerical example is worked out to illustrate the developed theory.

Dynamic generation of light states with discrete symmetries

Science.gov (United States)

Cordero, S.; Nahmad-Achar, E.; Castaños, O.; López-Peña, R.

2018-01-01

A dynamic procedure is established within the generalized Tavis-Cummings model to generate light states with discrete point symmetries, given by the cyclic group Cn. We consider arbitrary dipolar coupling strengths of the atoms with a one-mode electromagnetic field in a cavity. The method uses mainly the matter-field entanglement properties of the system, which can be extended to any number of three-level atoms. An initial state constituted by the superposition of two states with definite total excitation numbers, |ψ〉 M1,and |ψ〉 M 2, is considered. It can be generated by the proper selection of the time of flight of an atom passing through the cavity. We demonstrate that the resulting Husimi function of the light is invariant under cyclic point transformations of order n =| M1-M2| .

Projective Synchronization of Chaotic Discrete Dynamical Systems via Linear State Error Feedback Control

Directory of Open Access Journals (Sweden)

Baogui Xin

2015-04-01

Full Text Available A projective synchronization scheme for a kind of n-dimensional discrete dynamical system is proposed by means of a linear feedback control technique. The scheme consists of master and slave discrete dynamical systems coupled by linear state error variables. A kind of novel 3-D chaotic discrete system is constructed, to which the test for chaos is applied. By using the stability principles of an upper or lower triangular matrix, two controllers for achieving projective synchronization are designed and illustrated with the novel systems. Lastly some numerical simulations are employed to validate the effectiveness of the proposed projective synchronization scheme.

Filtering with Discrete State Observations

International Nuclear Information System (INIS)

Dufour, F.; Elliott, R. J.

1999-01-01

The problem of estimating a finite state Markov chain observed via a process on the same state space is discussed. Optimal solutions are given for both the 'weak' and 'strong' formulations of the problem. The 'weak' formulation proceeds using a reference probability and a measure change for the Markov chain. The 'strong' formulation considers an observation process related to perturbations of the counting processes associated with the Markov chain. In this case the 'small noise' convergence is investigated

Discrete Mathematics

DEFF Research Database (Denmark)

Sørensen, John Aasted

2011-01-01

The objectives of Discrete Mathematics (IDISM2) are: The introduction of the mathematics needed for analysis, design and verification of discrete systems, including the application within programming languages for computer systems. Having passed the IDISM2 course, the student will be able...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics......; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...

Discrete Fourier Transform Analysis in a Complex Vector Space

Science.gov (United States)

Dean, Bruce H.

2009-01-01

Alternative computational strategies for the Discrete Fourier Transform (DFT) have been developed using analysis of geometric manifolds. This approach provides a general framework for performing DFT calculations, and suggests a more efficient implementation of the DFT for applications using iterative transform methods, particularly phase retrieval. The DFT can thus be implemented using fewer operations when compared to the usual DFT counterpart. The software decreases the run time of the DFT in certain applications such as phase retrieval that iteratively call the DFT function. The algorithm exploits a special computational approach based on analysis of the DFT as a transformation in a complex vector space. As such, this approach has the potential to realize a DFT computation that approaches N operations versus Nlog(N) operations for the equivalent Fast Fourier Transform (FFT) calculation.

Analysis of the stability and accuracy of the discrete least-squares approximation on multivariate polynomial spaces

KAUST Repository

Migliorati, Giovanni

2016-01-05

We review the main results achieved in the analysis of the stability and accuracy of the discrete leastsquares approximation on multivariate polynomial spaces, with noiseless evaluations at random points, noiseless evaluations at low-discrepancy point sets, and noisy evaluations at random points.

State estimation for discrete-time Markovian jumping neural networks with mixed mode-dependent delays

International Nuclear Information System (INIS)

Liu Yurong; Wang Zidong; Liu Xiaohui

2008-01-01

In this Letter, we investigate the state estimation problem for a new class of discrete-time neural networks with Markovian jumping parameters as well as mode-dependent mixed time-delays. The parameters of the discrete-time neural networks are subject to the switching from one mode to another at different times according to a Markov chain, and the mixed time-delays consist of both discrete and distributed delays that are dependent on the Markovian jumping mode. New techniques are developed to deal with the mixed time-delays in the discrete-time setting, and a novel Lyapunov-Krasovskii functional is put forward to reflect the mode-dependent time-delays. Sufficient conditions are established in terms of linear matrix inequalities (LMIs) that guarantee the existence of the state estimators. We show that both the existence conditions and the explicit expression of the desired estimator can be characterized in terms of the solution to an LMI. A numerical example is exploited to show the usefulness of the derived LMI-based conditions

Two exciton states in discrete and continuum alpha-helical proteins

International Nuclear Information System (INIS)

Latha, M.M.; Merlin, G.

2012-01-01

The dynamics of alpha-helical proteins is described by proposing a model Hamiltonian representing two exciton bound states. The dynamics is studied by constructing the equations of motion using a two exciton eigen-function in the discrete level. A numerical analysis shows the existence of two excitons in alpha-helical proteins and its propagation as solitons along the hydrogen bonding spines. The lattice model is also treated in the continuum limit which is a valid approximation in the low temperature, long wavelength limit. The resulting equation is studied using the multiple scale perturbation analysis which also shows the transfer of two exciton energy through alpha-helical proteins in the form of solitons with no change in velocity and amplitude. -- Highlights: ► The dynamics of alpha-helical proteins with two exciton states is studied. ► The dynamics is studied both in the discrete and continuum levels. ► The resulting equations are solved numerically and analytically. ► The solution supports the propagation of the energy in the form of solitons.

State Space Modeling Using SAS

Directory of Open Access Journals (Sweden)

Rajesh Selukar

2011-05-01

Full Text Available This article provides a brief introduction to the state space modeling capabilities in SAS, a well-known statistical software system. SAS provides state space modeling in a few different settings. SAS/ETS, the econometric and time series analysis module of the SAS system, contains many procedures that use state space models to analyze univariate and multivariate time series data. In addition, SAS/IML, an interactive matrix language in the SAS system, provides Kalman filtering and smoothing routines for stationary and nonstationary state space models. SAS/IML also provides support for linear algebra and nonlinear function optimization, which makes it a convenient environment for general-purpose state space modeling.

Stokes vector and its relationship to Discrete Wigner Functions of multiqubit states

Energy Technology Data Exchange (ETDEWEB)

Srinivasan, K., E-mail: sriniphysics@gmail.com; Raghavan, G.

2016-07-29

A Stokes vectors and Discrete Wigner Functions (DWF) provide two alternate ways of representing the state of multiqubit systems. A general relationship between the Stokes vector and the DWF is derived for arbitrary n-qubit states for all possible choices of quantum nets. The Stokes vector and the DWF are shown to be related through a Hadamard Matrix. Using these results, a relationship between the Stokes vector of a spin-flipped state and the DWF is derived. Finally, we also present a method to express the Minkowskian squared norm of the Stokes vector, corresponding to n-concurrence in terms of the DWF. - Highlights: • Relationship between Stokes vector (SV) and discrete Wigner function (DWF) for arbitrary multiqubit states is presented. • It is shown that SV and DWF are related to one another through Hadamard matrices. • We show that the Hadamard matrices depend on the choice of the quantum net. • Relationship between SV of the spin flipped state and the DWF is derived. • Expression to compute n-concurrence of the pure n-qubit systems purely in terms of DWF is given.

Stokes vector and its relationship to Discrete Wigner Functions of multiqubit states

International Nuclear Information System (INIS)

Srinivasan, K.; Raghavan, G.

2016-01-01

A Stokes vectors and Discrete Wigner Functions (DWF) provide two alternate ways of representing the state of multiqubit systems. A general relationship between the Stokes vector and the DWF is derived for arbitrary n-qubit states for all possible choices of quantum nets. The Stokes vector and the DWF are shown to be related through a Hadamard Matrix. Using these results, a relationship between the Stokes vector of a spin-flipped state and the DWF is derived. Finally, we also present a method to express the Minkowskian squared norm of the Stokes vector, corresponding to n-concurrence in terms of the DWF. - Highlights: • Relationship between Stokes vector (SV) and discrete Wigner function (DWF) for arbitrary multiqubit states is presented. • It is shown that SV and DWF are related to one another through Hadamard matrices. • We show that the Hadamard matrices depend on the choice of the quantum net. • Relationship between SV of the spin flipped state and the DWF is derived. • Expression to compute n-concurrence of the pure n-qubit systems purely in terms of DWF is given.

Discrete Localized States and Localization Dynamics in Discrete Nonlinear Schrödinger Equations

DEFF Research Database (Denmark)

Christiansen, Peter Leth; Gaididei, Yu.B.; Mezentsev, V.K.

1996-01-01

Dynamics of two-dimensional discrete structures is studied in the framework of the generalized two-dimensional discrete nonlinear Schrodinger equation. The nonlinear coupling in the form of the Ablowitz-Ladik nonlinearity is taken into account. Stability properties of the stationary solutions...

Fluctuation relations for equilibrium states with broken discrete or continuous symmetries

International Nuclear Information System (INIS)

Lacoste, D; Gaspard, P

2015-01-01

Isometric fluctuation relations are deduced for the fluctuations of the order parameter in equilibrium systems of condensed-matter physics with broken discrete or continuous symmetries. These relations are similar to their analogues obtained for non-equilibrium systems where the broken symmetry is time reversal. At equilibrium, these relations show that the ratio of the probabilities of opposite fluctuations goes exponentially with the symmetry-breaking external field and the magnitude of the fluctuations. These relations are applied to the Curie–Weiss, Heisenberg, and XY models of magnetism where the continuous rotational symmetry is broken, as well as to the q-state Potts model and the p-state clock model where discrete symmetries are broken. Broken symmetries are also considered in the anisotropic Curie–Weiss model. For infinite systems, the results are calculated using large-deviation theory. The relations are also applied to mean-field models of nematic liquid crystals where the order parameter is tensorial. Moreover, their extension to quantum systems is also deduced. (paper)

Connections on discrete fibre bundles

International Nuclear Information System (INIS)

Manton, N.S.; Cambridge Univ.

1987-01-01

A new approach to gauge fields on a discrete space-time is proposed, in which the fundamental object is a discrete version of a principal fibre bundle. If the bundle is twisted, the gauge fields are topologically non-trivial automatically. (orig.)

On the velocity space discretization for the Vlasov-Poisson system: comparison between implicit Hermite spectral and Particle-in-Cell methods

NARCIS (Netherlands)

E. Camporeale (Enrico); G.L. Delzanno; B.K. Bergen; J.D. Moulton

2016-01-01

htmlabstractWe describe a spectral method for the numerical solution of the Vlasov–Poisson system where the velocity space is decomposed by means of an Hermite basis, and the configuration space is discretized via a Fourier decomposition. The novelty of our approach is an implicit time

Control of discrete event systems modeled as hierarchical state machines

Science.gov (United States)

Brave, Y.; Heymann, M.

1991-01-01

The authors examine a class of discrete event systems (DESs) modeled as asynchronous hierarchical state machines (AHSMs). For this class of DESs, they provide an efficient method for testing reachability, which is an essential step in many control synthesis procedures. This method utilizes the asynchronous nature and hierarchical structure of AHSMs, thereby illustrating the advantage of the AHSM representation as compared with its equivalent (flat) state machine representation. An application of the method is presented where an online minimally restrictive solution is proposed for the problem of maintaining a controlled AHSM within prescribed legal bounds.

Neimark-Sacker bifurcation for the discrete-delay Kaldor model

International Nuclear Information System (INIS)

Dobrescu, Loretti I.; Opris, Dumitru

2009-01-01

We consider a discrete-delay time, Kaldor nonlinear business cycle model in income and capital. Given an investment function, resembling the one discussed by Rodano, we use the linear approximation analysis to state the local stability property and local bifurcations, in the parameter space. Finally, we will give some numerical examples to justify the theoretical results.

Theoretical foundation for the discrete dynamics of physicochemical systems: Chaos, self-organization, time and space in complex systems

Directory of Open Access Journals (Sweden)

V. Gontar

1997-01-01

Full Text Available A new theoretical foundation for the discrete dynamics of physicochemical systems is presented. Based on the analogy between the π-theorem of the theory of dimensionality, the second law of thermodynamics and the stoichiometry of complex physicochemical reactions, basic dynamic equations and an extreme principle were formulated. The meaning of discrete time and space in the proposed equations is discussed. Some results of numerical calculations are presented to demonstrate the potential of the proposed approach to the mathematical simulation of spatiotemporal physicochemical reaction dynamics.

Computing the Gromov hyperbolicity of a discrete metric space

KAUST Repository

Fournier, Hervé

2015-02-12

We give exact and approximation algorithms for computing the Gromov hyperbolicity of an n-point discrete metric space. We observe that computing the Gromov hyperbolicity from a fixed base-point reduces to a (max,min) matrix product. Hence, using the (max,min) matrix product algorithm by Duan and Pettie, the fixed base-point hyperbolicity can be determined in O(n2.69) time. It follows that the Gromov hyperbolicity can be computed in O(n3.69) time, and a 2-approximation can be found in O(n2.69) time. We also give a (2log2⁡n)-approximation algorithm that runs in O(n2) time, based on a tree-metric embedding by Gromov. We also show that hyperbolicity at a fixed base-point cannot be computed in O(n2.05) time, unless there exists a faster algorithm for (max,min) matrix multiplication than currently known.

Nonparametric Estimation of Interval Reliability for Discrete-Time Semi-Markov Systems

DEFF Research Database (Denmark)

Georgiadis, Stylianos; Limnios, Nikolaos

2016-01-01

In this article, we consider a repairable discrete-time semi-Markov system with finite state space. The measure of the interval reliability is given as the probability of the system being operational over a given finite-length time interval. A nonparametric estimator is proposed for the interval...

Foundations of a discrete physics

International Nuclear Information System (INIS)

McGoveran, D.; Noyes, P.

1988-01-01

Starting from the principles of finiteness, discreteness, finite computability and absolute nonuniqueness, we develop the ordering operator calculus, a strictly constructive mathematical system having the empirical properties required by quantum mechanical and special relativistic phenomena. We show how to construct discrete distance functions, and both rectangular and spherical coordinate systems(with a discrete version of ''π''). The richest discrete space constructible without a preferred axis and preserving translational and rotational invariance is shown to be a discrete 3-space with the usual symmetries. We introduce a local ordering parameter with local (proper) time-like properties and universal ordering parameters with global (cosmological) time-like properties. Constructed ''attribute velocities'' connect ensembles with attributes that are invariant as the appropriate time-like parameter increases. For each such attribute, we show how to construct attribute velocities which must satisfy the '' relativistic Doppler shift'' and the ''relativistic velocity composition law,'' as well as the Lorentz transformations. By construction, these velocities have finite maximum and minimum values. In the space of all attributes, the minimum of these maximum velocities will predominate in all multiple attribute computations, and hence can be identified as a fundamental limiting velocity, General commutation relations are constructed which under the physical interpretation are shown to reduce to the usual quantum mechanical commutation relations. 50 refs., 18 figs

Discrete repulsive oscillator wavefunctions

International Nuclear Information System (INIS)

Munoz, Carlos A; Rueda-Paz, Juvenal; Wolf, Kurt Bernardo

2009-01-01

For the study of infinite discrete systems on phase space, the three-dimensional Lorentz algebra and group, so(2,1) and SO(2,1), provide a discrete model of the repulsive oscillator. Its eigenfunctions are found in the principal irreducible representation series, where the compact generator-that we identify with the position operator-has the infinite discrete spectrum of the integers Z, while the spectrum of energies is a double continuum. The right- and left-moving wavefunctions are given by hypergeometric functions that form a Dirac basis for l 2 (Z). Under contraction, the discrete system limits to the well-known quantum repulsive oscillator. Numerical computations of finite approximations raise further questions on the use of Dirac bases for infinite discrete systems.

Distinct timing mechanisms produce discrete and continuous movements.

Directory of Open Access Journals (Sweden)

Raoul Huys

2008-04-01

Full Text Available The differentiation of discrete and continuous movement is one of the pillars of motor behavior classification. Discrete movements have a definite beginning and end, whereas continuous movements do not have such discriminable end points. In the past decade there has been vigorous debate whether this classification implies different control processes. This debate up until the present has been empirically based. Here, we present an unambiguous non-empirical classification based on theorems in dynamical system theory that sets discrete and continuous movements apart. Through computational simulations of representative modes of each class and topological analysis of the flow in state space, we show that distinct control mechanisms underwrite discrete and fast rhythmic movements. In particular, we demonstrate that discrete movements require a time keeper while fast rhythmic movements do not. We validate our computational findings experimentally using a behavioral paradigm in which human participants performed finger flexion-extension movements at various movement paces and under different instructions. Our results demonstrate that the human motor system employs different timing control mechanisms (presumably via differential recruitment of neural subsystems to accomplish varying behavioral functions such as speed constraints.

Time-Discrete Higher-Order ALE Formulations: Stability

KAUST Repository

Bonito, Andrea; Kyza, Irene; Nochetto, Ricardo H.

2013-01-01

on the stability of the PDE but may influence that of a discrete scheme. We examine this critical issue for higher-order time stepping without space discretization. We propose time-discrete discontinuous Galerkin (dG) numerical schemes of any order for a time

Approximation of Quantities of Interest in Stochastic PDEs by the Random Discrete L^2 Projection on Polynomial Spaces

KAUST Repository

Migliorati, G.; Nobile, F.; von Schwerin, E.; Tempone, Raul

2013-01-01

In this work we consider the random discrete L^2 projection on polynomial spaces (hereafter RDP) for the approximation of scalar quantities of interest (QOIs) related to the solution of a partial differential equation model with random input

Design of a Discrete Tracking Controller for a Magnetic Levitation System: A Nonlinear Rational Model Approach

Directory of Open Access Journals (Sweden)

Fernando Gómez-Salas

2015-01-01

Full Text Available This work proposes a discrete-time nonlinear rational approximate model for the unstable magnetic levitation system. Based on this model and as an application of the input-output linearization technique, a discrete-time tracking control design will be derived using the corresponding classical state space representation of the model. A simulation example illustrates the efficiency of the proposed methodology.

Discrete mechanics

CERN Document Server

Caltagirone, Jean-Paul

2014-01-01

This book presents the fundamental principles of mechanics to re-establish the equations of Discrete Mechanics. It introduces physics and thermodynamics associated to the physical modeling.  The development and the complementarity of sciences lead to review today the old concepts that were the basis for the development of continuum mechanics. The differential geometry is used to review the conservation laws of mechanics. For instance, this formalism requires a different location of vector and scalar quantities in space. The equations of Discrete Mechanics form a system of equations where the H

Discrete Mathematics

DEFF Research Database (Denmark)

Sørensen, John Aasted

2011-01-01

; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics...... to new problems. Relations and functions: Define a product set; define and apply equivalence relations; construct and apply functions. Apply these concepts to new problems. Natural numbers and induction: Define the natural numbers; apply the principle of induction to verify a selection of properties...

A General State-Space Formulation for Online Scheduling

Directory of Open Access Journals (Sweden)

Dhruv Gupta

2017-11-01

Full Text Available We present a generalized state-space model formulation particularly motivated by an online scheduling perspective, which allows modeling (1 task-delays and unit breakdowns; (2 fractional delays and unit downtimes, when using discrete-time grid; (3 variable batch-sizes; (4 robust scheduling through the use of conservative yield estimates and processing times; (5 feedback on task-yield estimates before the task finishes; (6 task termination during its execution; (7 post-production storage of material in unit; and (8 unit capacity degradation and maintenance. Through these proposed generalizations, we enable a natural way to handle routinely encountered disturbances and a rich set of corresponding counter-decisions. Thereby, greatly simplifying and extending the possible application of mathematical programming based online scheduling solutions to diverse application settings. Finally, we demonstrate the effectiveness of this model on a case study from the field of bio-manufacturing.

An Infinite Family of Circulant Graphs with Perfect State Transfer in Discrete Quantum Walks

OpenAIRE

Zhan, Hanmeng

2017-01-01

We study perfect state transfer in a discrete quantum walk. In particular, we show that there are infinitely many $4$-regular circulant graphs that admit perfect state transfer between antipodal vertices. To the best of our knowledge, previously there was no infinite family of $k$-regular graphs with perfect state transfer, for any $k\\ge 3$.

Approximation of Quantities of Interest in Stochastic PDEs by the Random Discrete L^2 Projection on Polynomial Spaces

KAUST Repository

Migliorati, G.

2013-05-30

In this work we consider the random discrete L^2 projection on polynomial spaces (hereafter RDP) for the approximation of scalar quantities of interest (QOIs) related to the solution of a partial differential equation model with random input parameters. In the RDP technique the QOI is first computed for independent samples of the random input parameters, as in a standard Monte Carlo approach, and then the QOI is approximated by a multivariate polynomial function of the input parameters using a discrete least squares approach. We consider several examples including the Darcy equations with random permeability, the linear elasticity equations with random elastic coefficient, and the Navier--Stokes equations in random geometries and with random fluid viscosity. We show that the RDP technique is well suited to QOIs that depend smoothly on a moderate number of random parameters. Our numerical tests confirm the theoretical findings in [G. Migliorati, F. Nobile, E. von Schwerin, and R. Tempone, Analysis of the Discrete $L^2$ Projection on Polynomial Spaces with Random Evaluations, MOX report 46-2011, Politecnico di Milano, Milano, Italy, submitted], which have shown that, in the case of a single uniformly distributed random parameter, the RDP technique is stable and optimally convergent if the number of sampling points is proportional to the square of the dimension of the polynomial space. Here optimality means that the weighted $L^2$ norm of the RDP error is bounded from above by the best $L^\\\\infty$ error achievable in the given polynomial space, up to logarithmic factors. In the case of several random input parameters, the numerical evidence indicates that the condition on quadratic growth of the number of sampling points could be relaxed to a linear growth and still achieve stable and optimal convergence. This makes the RDP technique very promising for moderately high dimensional uncertainty quantification.

Essential uncontrollability of discrete linear, time-invariant, dynamical systems

Science.gov (United States)

Cliff, E. M.

1975-01-01

The concept of a 'best approximating m-dimensional subspace' for a given set of vectors in n-dimensional whole space is introduced. Such a subspace is easily described in terms of the eigenvectors of an associated Gram matrix. This technique is used to approximate an achievable set for a discrete linear time-invariant dynamical system. This approximation characterizes the part of the state space that may be reached using modest levels of control. If the achievable set can be closely approximated by a proper subspace of the whole space then the system is 'essentially uncontrollable'. The notion finds application in studies of failure-tolerant systems, and in decoupling.

Poisson hierarchy of discrete strings

International Nuclear Information System (INIS)

Ioannidou, Theodora; Niemi, Antti J.

2016-01-01

The Poisson geometry of a discrete string in three dimensional Euclidean space is investigated. For this the Frenet frames are converted into a spinorial representation, the discrete spinor Frenet equation is interpreted in terms of a transfer matrix formalism, and Poisson brackets are introduced in terms of the spinor components. The construction is then generalised, in a self-similar manner, into an infinite hierarchy of Poisson algebras. As an example, the classical Virasoro (Witt) algebra that determines reparametrisation diffeomorphism along a continuous string, is identified as a particular sub-algebra, in the hierarchy of the discrete string Poisson algebra. - Highlights: • Witt (classical Virasoro) algebra is derived in the case of discrete string. • Infinite dimensional hierarchy of Poisson bracket algebras is constructed for discrete strings. • Spinor representation of discrete Frenet equations is developed.

Poisson hierarchy of discrete strings

Energy Technology Data Exchange (ETDEWEB)

Ioannidou, Theodora, E-mail: ti3@auth.gr [Faculty of Civil Engineering, School of Engineering, Aristotle University of Thessaloniki, 54249, Thessaloniki (Greece); Niemi, Antti J., E-mail: Antti.Niemi@physics.uu.se [Department of Physics and Astronomy, Uppsala University, P.O. Box 803, S-75108, Uppsala (Sweden); Laboratoire de Mathematiques et Physique Theorique CNRS UMR 6083, Fédération Denis Poisson, Université de Tours, Parc de Grandmont, F37200, Tours (France); Department of Physics, Beijing Institute of Technology, Haidian District, Beijing 100081 (China)

2016-01-28

The Poisson geometry of a discrete string in three dimensional Euclidean space is investigated. For this the Frenet frames are converted into a spinorial representation, the discrete spinor Frenet equation is interpreted in terms of a transfer matrix formalism, and Poisson brackets are introduced in terms of the spinor components. The construction is then generalised, in a self-similar manner, into an infinite hierarchy of Poisson algebras. As an example, the classical Virasoro (Witt) algebra that determines reparametrisation diffeomorphism along a continuous string, is identified as a particular sub-algebra, in the hierarchy of the discrete string Poisson algebra. - Highlights: • Witt (classical Virasoro) algebra is derived in the case of discrete string. • Infinite dimensional hierarchy of Poisson bracket algebras is constructed for discrete strings. • Spinor representation of discrete Frenet equations is developed.

Discrete Wigner functions and quantum computation

International Nuclear Information System (INIS)

Galvao, E.

2005-01-01

Full text: Gibbons et al. have recently defined a class of discrete Wigner functions W to represent quantum states in a finite Hilbert space dimension d. I characterize the set C d of states having non-negative W simultaneously in all definitions of W in this class. I then argue that states in this set behave classically in a well-defined computational sense. I show that one-qubit states in C 2 do not provide for universal computation in a recent model proposed by Bravyi and Kitaev [quant-ph/0403025]. More generally, I show that the only pure states in C d are stabilizer states, which have an efficient description using the stabilizer formalism. This result shows that two different notions of 'classical' states coincide: states with non-negative Wigner functions are those which have an efficient description. This suggests that negativity of W may be necessary for exponential speed-up in pure-state quantum computation. (author)

A robust state-space kinetics-guided framework for dynamic PET image reconstruction

International Nuclear Information System (INIS)

Tong, S; Alessio, A M; Kinahan, P E; Liu, H; Shi, P

2011-01-01

Dynamic PET image reconstruction is a challenging issue due to the low SNR and the large quantity of spatio-temporal data. We propose a robust state-space image reconstruction (SSIR) framework for activity reconstruction in dynamic PET. Unlike statistically-based frame-by-frame methods, tracer kinetic modeling is incorporated to provide physiological guidance for the reconstruction, harnessing the temporal information of the dynamic data. Dynamic reconstruction is formulated in a state-space representation, where a compartmental model describes the kinetic processes in a continuous-time system equation, and the imaging data are expressed in a discrete measurement equation. Tracer activity concentrations are treated as the state variables, and are estimated from the dynamic data. Sampled-data H ∞ filtering is adopted for robust estimation. H ∞ filtering makes no assumptions on the system and measurement statistics, and guarantees bounded estimation error for finite-energy disturbances, leading to robust performance for dynamic data with low SNR and/or errors. This alternative reconstruction approach could help us to deal with unpredictable situations in imaging (e.g. data corruption from failed detector blocks) or inaccurate noise models. Experiments on synthetic phantom and patient PET data are performed to demonstrate feasibility of the SSIR framework, and to explore its potential advantages over frame-by-frame statistical reconstruction approaches.

The magnetic flux dynamics in the critical state of one-dimensional discrete superconductor

International Nuclear Information System (INIS)

Ginzburg, S.L.; Nakin, A.V.; Savitskaya, N.E.

2006-01-01

We give a theoretical description of avalanche-like dynamics of magnetic flux in the critical state of discrete superconductors using a one-dimensional model of a multijunction SQUID. We show that the system under consideration demonstrates the self-organized criticality. The avalanches of vortices manifest themselves as jumps of the total magnetic flux in the sample. The sizes of these jumps have a power-law distribution. We argue that similarities in the behavior of discrete and usual type-II superconductors allows to extend our results for description of avalanche-like dynamics in type-II superconductors with strong pinning

Discrete excitation of mode pulses using a diode-pumped solid-state digital laser

CSIR Research Space (South Africa)

Ngcobo, Sandile

2016-02-01

Full Text Available In this paper, we experimentally demonstrate novel method of generating discrete excitation of on-demand Lagaurre-Gaussian (LG) mode pulses, in a diode pumped solid-state digital laser. The digital laser comprises of an intra-cavity spatial light...

Condensed State Spaces for Symmetrical Coloured Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt

1996-01-01

equivalence classes of states and equivalence classes of state changes. It is then possible to construct a condensed state space where each node represents an equivalence class of states while each arc represents an equivalence class of state changes. Such a condensed state space is often much smaller than...... the full state space and it is also much faster to construct. Nevertheless, it is possible to use the condensed state space to verify the same kind of behavioural properties as the full state space. Hence, we do not lose analytic power. We define state spaces and condensed state spaces for a language......-nets (or Petri nets in general) - although such knowledge will, of course, be a help. The first four sections of the paper introduce the basic concepts of CP-nets. The next three sections deal with state spaces, condensed state spaces and computer tools for state space analysis. Finally, there is a short...

SIMULATION FROM ENDPOINT-CONDITIONED, CONTINUOUS-TIME MARKOV CHAINS ON A FINITE STATE SPACE, WITH APPLICATIONS TO MOLECULAR EVOLUTION.

Science.gov (United States)

Hobolth, Asger; Stone, Eric A

2009-09-01

Analyses of serially-sampled data often begin with the assumption that the observations represent discrete samples from a latent continuous-time stochastic process. The continuous-time Markov chain (CTMC) is one such generative model whose popularity extends to a variety of disciplines ranging from computational finance to human genetics and genomics. A common theme among these diverse applications is the need to simulate sample paths of a CTMC conditional on realized data that is discretely observed. Here we present a general solution to this sampling problem when the CTMC is defined on a discrete and finite state space. Specifically, we consider the generation of sample paths, including intermediate states and times of transition, from a CTMC whose beginning and ending states are known across a time interval of length T. We first unify the literature through a discussion of the three predominant approaches: (1) modified rejection sampling, (2) direct sampling, and (3) uniformization. We then give analytical results for the complexity and efficiency of each method in terms of the instantaneous transition rate matrix Q of the CTMC, its beginning and ending states, and the length of sampling time T. In doing so, we show that no method dominates the others across all model specifications, and we give explicit proof of which method prevails for any given Q, T, and endpoints. Finally, we introduce and compare three applications of CTMCs to demonstrate the pitfalls of choosing an inefficient sampler.

GDSCalc: A Web-Based Application for Evaluating Discrete Graph Dynamical Systems.

Science.gov (United States)

Elmeligy Abdelhamid, Sherif H; Kuhlman, Chris J; Marathe, Madhav V; Mortveit, Henning S; Ravi, S S

2015-01-01

Discrete dynamical systems are used to model various realistic systems in network science, from social unrest in human populations to regulation in biological networks. A common approach is to model the agents of a system as vertices of a graph, and the pairwise interactions between agents as edges. Agents are in one of a finite set of states at each discrete time step and are assigned functions that describe how their states change based on neighborhood relations. Full characterization of state transitions of one system can give insights into fundamental behaviors of other dynamical systems. In this paper, we describe a discrete graph dynamical systems (GDSs) application called GDSCalc for computing and characterizing system dynamics. It is an open access system that is used through a web interface. We provide an overview of GDS theory. This theory is the basis of the web application; i.e., an understanding of GDS provides an understanding of the software features, while abstracting away implementation details. We present a set of illustrative examples to demonstrate its use in education and research. Finally, we compare GDSCalc with other discrete dynamical system software tools. Our perspective is that no single software tool will perform all computations that may be required by all users; tools typically have particular features that are more suitable for some tasks. We situate GDSCalc within this space of software tools.

A System of Poisson Equations for a Nonconstant Varadhan Functional on a Finite State Space

International Nuclear Information System (INIS)

Cavazos-Cadena, Rolando; Hernandez-Hernandez, Daniel

2006-01-01

Given a discrete-time Markov chain with finite state space and a stationary transition matrix, a system of 'local' Poisson equations characterizing the (exponential) Varadhan's functional J(.) is given. The main results, which are derived for an arbitrary transition structure so that J(.) may be nonconstant, are as follows: (i) Any solution to the local Poisson equations immediately renders Varadhan's functional, and (ii) a solution of the system always exist. The proof of this latter result is constructive and suggests a method to solve the local Poisson equations

Multipliers for continuous frames in Hilbert spaces

International Nuclear Information System (INIS)

Balazs, P; Bayer, D; Rahimi, A

2012-01-01

In this paper, we examine the general theory of continuous frame multipliers in Hilbert space. These operators are a generalization of the widely used notion of (discrete) frame multipliers. Well-known examples include anti-Wick operators, STFT multipliers or Calderón–Toeplitz operators. Due to the possible peculiarities of the underlying measure spaces, continuous frames do not behave quite as their discrete counterparts. Nonetheless, many results similar to the discrete case are proven for continuous frame multipliers as well, for instance compactness and Schatten-class properties. Furthermore, the concepts of controlled and weighted frames are transferred to the continuous setting. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘Coherent states: mathematical and physical aspects’. (paper)

Design of an optimal preview controller for linear discrete-time descriptor systems with state delay

Science.gov (United States)

Cao, Mengjuan; Liao, Fucheng

2015-04-01

In this paper, the linear discrete-time descriptor system with state delay is studied, and a design method for an optimal preview controller is proposed. First, by using the discrete lifting technique, the original system is transformed into a general descriptor system without state delay in form. Then, taking advantage of the first-order forward difference operator, we construct a descriptor augmented error system, including the state vectors of the lifted system, error vectors, and desired target signals. Rigorous mathematical proofs are given for the regularity, stabilisability, causal controllability, and causal observability of the descriptor augmented error system. Based on these, the optimal preview controller with preview feedforward compensation for the original system is obtained by using the standard optimal regulator theory of the descriptor system. The effectiveness of the proposed method is shown by numerical simulation.

My Life with State Space Models

DEFF Research Database (Denmark)

Lundbye-Christensen, Søren

2007-01-01

. The conceptual idea behind the state space model is that the evolution over time in the object we are observing and the measurement process itself are modelled separately. My very first serious analysis of a data set was done using a state space model, and since then I seem to have been "haunted" by state space...

The constrained discrete-time state-dependent Riccati equation technique for uncertain nonlinear systems

Science.gov (United States)

Chang, Insu

The objective of the thesis is to introduce a relatively general nonlinear controller/estimator synthesis framework using a special type of the state-dependent Riccati equation technique. The continuous time state-dependent Riccati equation (SDRE) technique is extended to discrete-time under input and state constraints, yielding constrained (C) discrete-time (D) SDRE, referred to as CD-SDRE. For the latter, stability analysis and calculation of a region of attraction are carried out. The derivation of the D-SDRE under state-dependent weights is provided. Stability of the D-SDRE feedback system is established using Lyapunov stability approach. Receding horizon strategy is used to take into account the constraints on D-SDRE controller. Stability condition of the CD-SDRE controller is analyzed by using a switched system. The use of CD-SDRE scheme in the presence of constraints is then systematically demonstrated by applying this scheme to problems of spacecraft formation orbit reconfiguration under limited performance on thrusters. Simulation results demonstrate the efficacy and reliability of the proposed CD-SDRE. The CD-SDRE technique is further investigated in a case where there are uncertainties in nonlinear systems to be controlled. First, the system stability under each of the controllers in the robust CD-SDRE technique is separately established. The stability of the closed-loop system under the robust CD-SDRE controller is then proven based on the stability of each control system comprising switching configuration. A high fidelity dynamical model of spacecraft attitude motion in 3-dimensional space is derived with a partially filled fuel tank, assumed to have the first fuel slosh mode. The proposed robust CD-SDRE controller is then applied to the spacecraft attitude control system to stabilize its motion in the presence of uncertainties characterized by the first fuel slosh mode. The performance of the robust CD-SDRE technique is discussed. Subsequently

State-Space Equations and the First-Phase Algorithm for Signal Control of Single Intersections

Institute of Scientific and Technical Information of China (English)

LI Jinyuan; PAN Xin; WANG Xiqin

2007-01-01

State-space equations were applied to formulate the queuing and delay of traffic at a single intersection in this paper. The signal control of a single intersection was then modeled as a discrete-time optimal control problem, with consideration of the constraints of stream conflicts, saturation flow rate, minimum green time, and maximum green time. The problem cannot be solved directly due to the nonlinear constraints.However, the results of qualitative analysis were used to develop a first-phase signal control algorithm. Simulation results show that the algorithm substantially reduces the total delay compared to fixed-time control.

Discrete wavelet transform-based denoising technique for advanced state-of-charge estimator of a lithium-ion battery in electric vehicles

International Nuclear Information System (INIS)

Lee, Seongjun; Kim, Jonghoon

2015-01-01

Sophisticated data of the experimental DCV (discharging/charging voltage) of a lithium-ion battery is required for high-accuracy SOC (state-of-charge) estimation algorithms based on the state-space ECM (electrical circuit model) in BMSs (battery management systems). However, when sensing noisy DCV signals, erroneous SOC estimation (which results in low BMS performance) is inevitable. Therefore, this manuscript describes the design and implementation of a DWT (discrete wavelet transform)-based denoising technique for DCV signals. The steps for denoising a noisy DCV measurement in the proposed approach are as follows. First, using MRA (multi-resolution analysis), the noise-riding DCV signal is decomposed into different frequency sub-bands (low- and high-frequency components, A n and D n ). Specifically, signal processing of the high frequency component D n that focuses on a short-time interval is necessary to reduce noise in the DCV measurement. Second, a hard-thresholding-based denoising rule is applied to adjust the wavelet coefficients of the DWT to achieve a clear separation between the signal and the noise. Third, the desired de-noised DCV signal is reconstructed by taking the IDWT (inverse discrete wavelet transform) of the filtered detailed coefficients. Finally, this signal is sent to the ECM-based SOC estimation algorithm using an EKF (extended Kalman filter). Experimental results indicate the robustness of the proposed approach for reliable SOC estimation. - Highlights: • Sophisticated data of the experimental DCV is required for high-accuracy SOC. • DWT (discrete wavelet transform)-based denoising technique is newly investigated. • Three steps for denoising a noisy DCV measurement in this work are implemented. • Experimental results indicate the robustness of the proposed work for reliable SOC

Fuzzy Stabilization for Nonlinear Discrete Ship Steering Stochastic Systems Subject to State Variance and Passivity Constraints

Directory of Open Access Journals (Sweden)

Wen-Jer Chang

2014-01-01

Full Text Available For nonlinear discrete-time stochastic systems, a fuzzy controller design methodology is developed in this paper subject to state variance constraint and passivity constraint. According to fuzzy model based control technique, the nonlinear discrete-time stochastic systems considered in this paper are represented by the discrete-time Takagi-Sugeno fuzzy models with multiplicative noise. Employing Lyapunov stability theory, upper bound covariance control theory, and passivity theory, some sufficient conditions are derived to find parallel distributed compensation based fuzzy controllers. In order to solve these sufficient conditions, an iterative linear matrix inequality algorithm is applied based on the linear matrix inequality technique. Finally, the fuzzy stabilization problem for nonlinear discrete ship steering stochastic systems is investigated in the numerical example to illustrate the feasibility and validity of proposed fuzzy controller design method.

Path integral approach for superintegrable potentials on spaces of non-constant curvature. Pt. 1. Darboux spaces D{sub I} and D{sub II}

Energy Technology Data Exchange (ETDEWEB)

Grosche, C. [Hamburg Univ. (Germany). 2. Inst. fuer Theoretische Physik; Pogosyan, G.S. [Joint Inst. of Nuclear Research, Moscow (Russian Federation). Bogoliubov Lab. of Theoretical Physics]|[Guadalajara Univ., Jalisco (Mexico). Dept. de Matematicas CUCEI; Sissakian, A.N. [Joint Inst. of Nuclear Research, Moscow (Russian Federation). Bogoliubov Lab. of Theoretical Physics

2006-07-15

In this paper the Feynman path integral technique is applied for superintegrable potentials on two-dimensional spaces of non-constant curvature: these spaces are Darboux spaces D{sub I} and D{sub II}, respectively. On D{sub I} there are three and on D{sub II} foru such potentials, respectively. We are able to evaluate the path integral in most of the separating coordinate systems, leading to expressions for the Green functions, the discrete and continuous wave-functions, and the discrete energy-spectra. In some cases, however, the discrete spectrum cannot be stated explicitly, because it is either determined by a transcendental equation involving parabolic cylinder functions (Darboux space I), or by a higher order polynomial equation. The solutions on D{sub I} in particular show that superintegrable systems are not necessarily degenerate. We can also show how the limiting cases of flat space (Constant curvature zero) and the two-dimensional hyperboloid (constant negative curvature) emerge. (Orig.)

Systematic continuum-discretized coupled-channels calculations of total fusion for 6Li with targets 28Si, 59Co, 96Zr, 198Pt, and 209Bi: Effect of resonance states

Science.gov (United States)

Gómez Camacho, A.; Wang, Bing; Zhang, H. Q.

2018-05-01

Continuum discretized coupled-channel (CDCC) calculations of total fusion cross sections for reactions induced by the weakly bound nucleus 6Li with targets 28Si, 59Co, 96Zr, 198Pt, and 209Bi at energies around the Coulomb barrier are presented. In the cluster structure frame of 6Li→α +d , short-range absorption potentials are considered for the interactions between the α and d fragments with the targets. The effect of resonance (l =2 , Jπ=3+,2+,1+ ) and nonresonance states of 6Li on fusion is studied by using two approaches: (1) by omitting the resonance states from the full discretized CDCC breakup space and (2) by considering only the resonance subspace. A systematic analysis of the effect on fusion from resonance breakup couplings is carried out from light to heavy mass targets. Among other things, it is found that resonance breakup states produce strong repulsive polarization potentials that lead to fusion suppression. Couplings from nonresonance states give place to weak repulsive potentials at high energies; however, these become attractive for the heavier targets at low energies.

Discretization of space and time: mass-energy relation, accelerating expansion of the Universe, Hubble constant

OpenAIRE

Roatta , Luca

2017-01-01

Assuming that space and time can only have discrete values, we obtain the expression of the gravitational potential energy that at large distance coincides with the Newtonian. In very precise circumstances it coincides with the relativistic mass-energy relation: this shows that the Universe is a black hole in which all bodies are subjected to an acceleration toward the border of the Universe itself. Since the Universe is a black hole with a fixed radius, we can obtain the density of the Unive...

On the structure of the space of geometric product-form models

NARCIS (Netherlands)

Bayer, Nimrod; Boucherie, Richardus J.

2002-01-01

This article deals with Markovian models defined on a finite-dimensional discrete state space and possess a stationary state distribution of a product-form. We view the space of such models as a mathematical object and explore its structure. We focus on models on an orthant [script Z]+n, which are

Illustrating chaos: a schematic discretization of the general three-body problem in Newtonian gravity

Science.gov (United States)

Leigh, Nathan W. C.; Wegsman, Shalma

2018-05-01

We present a formalism for constructing schematic diagrams to depict chaotic three-body interactions in Newtonian gravity. This is done by decomposing each interaction into a series of discrete transformations in energy- and angular momentum-space. Each time a transformation is applied, the system changes state as the particles re-distribute their energy and angular momenta. These diagrams have the virtue of containing all of the quantitative information needed to fully characterize most bound or unbound interactions through time and space, including the total duration of the interaction, the initial and final stable states in addition to every intervening temporary meta-stable state. As shown via an illustrative example for the bound case, prolonged excursions of one of the particles, which by far dominates the computational cost of the simulations, are reduced to a single discrete transformation in energy- and angular momentum-space, thereby potentially mitigating any computational expense. We further generalize our formalism to sequences of (unbound) three-body interactions, as occur in dense stellar environments during binary hardening. Finally, we provide a method for dynamically evolving entire populations of binaries via three-body scattering interactions, using a purely analytic formalism. In principle, the techniques presented here are adaptable to other three-body problems that conserve energy and angular momentum.

Modern approaches to discrete curvature

CERN Document Server

Romon, Pascal

2017-01-01

 This book provides a valuable glimpse into discrete curvature, a rich new field of research which blends discrete mathematics, differential geometry, probability and computer graphics. It includes a vast collection of ideas and tools which will offer something new to all interested readers. Discrete geometry has arisen as much as a theoretical development as in response to unforeseen challenges coming from applications. Discrete and continuous geometries have turned out to be intimately connected. Discrete curvature is the key concept connecting them through many bridges in numerous fields: metric spaces, Riemannian and Euclidean geometries, geometric measure theory, topology, partial differential equations, calculus of variations, gradient flows, asymptotic analysis, probability, harmonic analysis, graph theory, etc. In spite of its crucial importance both in theoretical mathematics and in applications, up to now, almost no books have provided a coherent outlook on this emerging field.

Discrete field theories and spatial properties of strings

International Nuclear Information System (INIS)

Klebanov, I.; Susskind, L.

1988-10-01

We use the ground-state wave function in the light-cone gauge to study the spatial properties of fundamental strings. We find that, as the cut-off in the parameter space is removed, the strings are smooth and have a divergent size. Guided by these properties, we consider a large-N lattice gauge theory which has an unstable phase where the size of strings diverges. We show that this phase exactly describes free fundamental strings. The lattice spacing does not have to be taken to zero for this equivalence to hold. Thus, exact rotation and translation invariance is restored in a discrete space. This suggests that the number of fundamental short-distance degrees of freedom in string theory is much smaller than in a conventional field theory. 11 refs., 4 figs

Local and global dynamics of Ramsey model: From continuous to discrete time.

Science.gov (United States)

Guzowska, Malgorzata; Michetti, Elisabetta

2018-05-01

The choice of time as a discrete or continuous variable may radically affect equilibrium stability in an endogenous growth model with durable consumption. In the continuous-time Ramsey model [F. P. Ramsey, Econ. J. 38(152), 543-559 (1928)], the steady state is locally saddle-path stable with monotonic convergence. However, in the discrete-time version, the steady state may be unstable or saddle-path stable with monotonic or oscillatory convergence or periodic solutions [see R.-A. Dana et al., Handbook on Optimal Growth 1 (Springer, 2006) and G. Sorger, Working Paper No. 1505 (2015)]. When this occurs, the discrete-time counterpart of the continuous-time model is not consistent with the initial framework. In order to obtain a discrete-time Ramsey model preserving the main properties of the continuous-time counterpart, we use a general backward and forward discretisation as initially proposed by Bosi and Ragot [Theor. Econ. Lett. 2(1), 10-15 (2012)]. The main result of the study here presented is that, with this hybrid discretisation method, fixed points and local dynamics do not change. For what it concerns global dynamics, i.e., long-run behavior for initial conditions taken on the state space, we mainly perform numerical analysis with the main scope of comparing both qualitative and quantitative evolution of the two systems, also varying some parameters of interest.

Toward Optimal Manifold Hashing via Discrete Locally Linear Embedding.

Science.gov (United States)

Rongrong Ji; Hong Liu; Liujuan Cao; Di Liu; Yongjian Wu; Feiyue Huang

2017-11-01

Binary code learning, also known as hashing, has received increasing attention in large-scale visual search. By transforming high-dimensional features to binary codes, the original Euclidean distance is approximated via Hamming distance. More recently, it is advocated that it is the manifold distance, rather than the Euclidean distance, that should be preserved in the Hamming space. However, it retains as an open problem to directly preserve the manifold structure by hashing. In particular, it first needs to build the local linear embedding in the original feature space, and then quantize such embedding to binary codes. Such a two-step coding is problematic and less optimized. Besides, the off-line learning is extremely time and memory consuming, which needs to calculate the similarity matrix of the original data. In this paper, we propose a novel hashing algorithm, termed discrete locality linear embedding hashing (DLLH), which well addresses the above challenges. The DLLH directly reconstructs the manifold structure in the Hamming space, which learns optimal hash codes to maintain the local linear relationship of data points. To learn discrete locally linear embeddingcodes, we further propose a discrete optimization algorithm with an iterative parameters updating scheme. Moreover, an anchor-based acceleration scheme, termed Anchor-DLLH, is further introduced, which approximates the large similarity matrix by the product of two low-rank matrices. Experimental results on three widely used benchmark data sets, i.e., CIFAR10, NUS-WIDE, and YouTube Face, have shown superior performance of the proposed DLLH over the state-of-the-art approaches.

ON THE ANISOTROPIC NORM OF DISCRETE TIME STOCHASTIC SYSTEMS WITH STATE DEPENDENT NOISE

Directory of Open Access Journals (Sweden)

Isaac Yaesh

2013-01-01

Full Text Available The purpose of this paper is to determine conditions for the bound-edness of the anisotropic norm of discrete-time linear stochastic sys-tems with state dependent noise. It is proved that these conditions canbe expressed in terms of the feasibility of a specific system of matrixinequalities.

Discrete energy formulation of neutron transport theory applied to solving the discrete ordinates equations

International Nuclear Information System (INIS)

Ching, J.; Oblow, E.M.; Goldstein, H.

1976-01-01

An algebraic equivalence between the point-energy and multigroup forms of the Boltzmann transport equation is demonstrated that allows the development of a discrete energy, discrete ordinates method for the solution of radiation transport problems. In the discrete energy method, the group averaging required in the cross-section processing for multigroup calculations is replaced by a faster numerical quadrature scheme capable of generating transfer cross sections describing all the physical processes of interest on a fine point-energy grid. Test calculations in which the discrete energy method is compared with the multigroup method show that, for the same energy grid, the discrete energy method is much faster, although somewhat less accurate, than the multigroup method. However, the accuracy of the discrete energy method increases rapidly as the spacing between energy grid points is decreased, approaching that of multigroup calculations. For problems requiring great detail in the energy spectrum, the discrete energy method is therefore expected to be far more economical than the multigroup technique for equivalent accuracy solutions. This advantage of the point method is demonstrated by application to the study of neutron transport in a thick iron slab

State Space Analysis of Hierarchical Coloured Petri Nets

DEFF Research Database (Denmark)

Christensen, Søren; Kristensen, Lars Michael

2003-01-01

In this paper, we consider state space analysis of Coloured Petri Nets. It is well-known that almost all dynamic properties of the considered system can be verified when the state space is finite. However, state space analysis is more than just formulating a set of formal requirements and invokin...... supporting computation and storage of state spaces which exploi the hierarchical structure of the models....... in which formal verification, partial state spaces, and analysis by means of graphical feedback and simulation are integrated entities. The focus of the paper is twofold: the support for graphical feedback and the way it has been integrated with simulation, and the underlying algorithms and data-structures......In this paper, we consider state space analysis of Coloured Petri Nets. It is well-known that almost all dynamic properties of the considered system can be verified when the state space is finite. However, state space analysis is more than just formulating a set of formal requirements and invoking...

Statistical Software for State Space Methods

Directory of Open Access Journals (Sweden)

Jacques J. F. Commandeur

2011-05-01

Full Text Available In this paper we review the state space approach to time series analysis and establish the notation that is adopted in this special volume of the Journal of Statistical Software. We first provide some background on the history of state space methods for the analysis of time series. This is followed by a concise overview of linear Gaussian state space analysis including the modelling framework and appropriate estimation methods. We discuss the important class of unobserved component models which incorporate a trend, a seasonal, a cycle, and fixed explanatory and intervention variables for the univariate and multivariate analysis of time series. We continue the discussion by presenting methods for the computation of different estimates for the unobserved state vector: filtering, prediction, and smoothing. Estimation approaches for the other parameters in the model are also considered. Next, we discuss how the estimation procedures can be used for constructing confidence intervals, detecting outlier observations and structural breaks, and testing model assumptions of residual independence, homoscedasticity, and normality. We then show how ARIMA and ARIMA components models fit in the state space framework to time series analysis. We also provide a basic introduction for non-Gaussian state space models. Finally, we present an overview of the software tools currently available for the analysis of time series with state space methods as they are discussed in the other contributions to this special volume.

State Space Methods for Timed Petri Nets

DEFF Research Database (Denmark)

Christensen, Søren; Jensen, Kurt; Mailund, Thomas

2001-01-01

it possible to condense the usually infinite state space of a timed Petri net into a finite condensed state space without loosing analysis power. The second method supports on-the-fly verification of certain safety properties of timed systems. We discuss the application of the two methods in a number......We present two recently developed state space methods for timed Petri nets. The two methods reconciles state space methods and time concepts based on the introduction of a global clock and associating time stamps to tokens. The first method is based on an equivalence relation on states which makes...

Quantum computers in phase space

International Nuclear Information System (INIS)

Miquel, Cesar; Paz, Juan Pablo; Saraceno, Marcos

2002-01-01

We represent both the states and the evolution of a quantum computer in phase space using the discrete Wigner function. We study properties of the phase space representation of quantum algorithms: apart from analyzing important examples, such as the Fourier transform and Grover's search, we examine the conditions for the existence of a direct correspondence between quantum and classical evolutions in phase space. Finally, we describe how to measure directly the Wigner function in a given phase-space point by means of a tomographic method that, itself, can be interpreted as a simple quantum algorithm

Laplacians on discrete and quantum geometries

International Nuclear Information System (INIS)

Calcagni, Gianluca; Oriti, Daniele; Thürigen, Johannes

2013-01-01

We extend discrete calculus for arbitrary (p-form) fields on embedded lattices to abstract discrete geometries based on combinatorial complexes. We then provide a general definition of discrete Laplacian using both the primal cellular complex and its combinatorial dual. The precise implementation of geometric volume factors is not unique and, comparing the definition with a circumcentric and a barycentric dual, we argue that the latter is, in general, more appropriate because it induces a Laplacian with more desirable properties. We give the expression of the discrete Laplacian in several different sets of geometric variables, suitable for computations in different quantum gravity formalisms. Furthermore, we investigate the possibility of transforming from position to momentum space for scalar fields, thus setting the stage for the calculation of heat kernel and spectral dimension in discrete quantum geometries. (paper)

Discrete Routh reduction

International Nuclear Information System (INIS)

Jalnapurkar, Sameer M; Leok, Melvin; Marsden, Jerrold E; West, Matthew

2006-01-01

This paper develops the theory of Abelian Routh reduction for discrete mechanical systems and applies it to the variational integration of mechanical systems with Abelian symmetry. The reduction of variational Runge-Kutta discretizations is considered, as well as the extent to which symmetry reduction and discretization commute. These reduced methods allow the direct simulation of dynamical features such as relative equilibria and relative periodic orbits that can be obscured or difficult to identify in the unreduced dynamics. The methods are demonstrated for the dynamics of an Earth orbiting satellite with a non-spherical J 2 correction, as well as the double spherical pendulum. The J 2 problem is interesting because in the unreduced picture, geometric phases inherent in the model and those due to numerical discretization can be hard to distinguish, but this issue does not appear in the reduced algorithm, where one can directly observe interesting dynamical structures in the reduced phase space (the cotangent bundle of shape space), in which the geometric phases have been removed. The main feature of the double spherical pendulum example is that it has a non-trivial magnetic term in its reduced symplectic form. Our method is still efficient as it can directly handle the essential non-canonical nature of the symplectic structure. In contrast, a traditional symplectic method for canonical systems could require repeated coordinate changes if one is evoking Darboux' theorem to transform the symplectic structure into canonical form, thereby incurring additional computational cost. Our method allows one to design reduced symplectic integrators in a natural way, despite the non-canonical nature of the symplectic structure

Neimark-Sacker bifurcation for the discrete-delay Kaldor-Kalecki model

International Nuclear Information System (INIS)

Dobrescu, Loretti I.; Opris, Dumitru

2009-01-01

The present work will focus on a Kaldor-Kalecki nonlinear business cycle model in income and capital, with discrete time and delay argument characteristics. What it will state, considering an investment function similar to the one proposed by Rodano and using the linear approximation analysis, are the local stability property and local bifurcations conditions, given the parameter space. Numerical examples will be given in the end, to support the theoretical results obtained.

Lectures on discrete geometry

CERN Document Server

2002-01-01

Discrete geometry investigates combinatorial properties of configurations of geometric objects. To a working mathematician or computer scientist, it offers sophisticated results and techniques of great diversity and it is a foundation for fields such as computational geometry or combinatorial optimization. This book is primarily a textbook introduction to various areas of discrete geometry. In each area, it explains several key results and methods, in an accessible and concrete manner. It also contains more advanced material in separate sections and thus it can serve as a collection of surveys in several narrower subfields. The main topics include: basics on convex sets, convex polytopes, and hyperplane arrangements; combinatorial complexity of geometric configurations; intersection patterns and transversals of convex sets; geometric Ramsey-type results; polyhedral combinatorics and high-dimensional convexity; and lastly, embeddings of finite metric spaces into normed spaces. Jiri Matousek is Professor of Com...

Discrete Variational Approach for Modeling Laser-Plasma Interactions

Science.gov (United States)

Reyes, J. Paxon; Shadwick, B. A.

2014-10-01

The traditional approach for fluid models of laser-plasma interactions begins by approximating fields and derivatives on a grid in space and time, leading to difference equations that are manipulated to create a time-advance algorithm. In contrast, by introducing the spatial discretization at the level of the action, the resulting Euler-Lagrange equations have particular differencing approximations that will exactly satisfy discrete versions of the relevant conservation laws. For example, applying a spatial discretization in the Lagrangian density leads to continuous-time, discrete-space equations and exact energy conservation regardless of the spatial grid resolution. We compare the results of two discrete variational methods using the variational principles from Chen and Sudan and Brizard. Since the fluid system conserves energy and momentum, the relative errors in these conserved quantities are well-motivated physically as figures of merit for a particular method. This work was supported by the U. S. Department of Energy under Contract No. DE-SC0008382 and by the National Science Foundation under Contract No. PHY-1104683.

Projective loop quantum gravity. I. State space

Science.gov (United States)

Lanéry, Suzanne; Thiemann, Thomas

2016-12-01

Instead of formulating the state space of a quantum field theory over one big Hilbert space, it has been proposed by Kijowski to describe quantum states as projective families of density matrices over a collection of smaller, simpler Hilbert spaces. Beside the physical motivations for this approach, it could help designing a quantum state space holding the states we need. In a latter work by Okolów, the description of a theory of Abelian connections within this framework was developed, an important insight being to use building blocks labeled by combinations of edges and surfaces. The present work generalizes this construction to an arbitrary gauge group G (in particular, G is neither assumed to be Abelian nor compact). This involves refining the definition of the label set, as well as deriving explicit formulas to relate the Hilbert spaces attached to different labels. If the gauge group happens to be compact, we also have at our disposal the well-established Ashtekar-Lewandowski Hilbert space, which is defined as an inductive limit using building blocks labeled by edges only. We then show that the quantum state space presented here can be thought as a natural extension of the space of density matrices over this Hilbert space. In addition, it is manifest from the classical counterparts of both formalisms that the projective approach allows for a more balanced treatment of the holonomy and flux variables, so it might pave the way for the development of more satisfactory coherent states.

Interactions of Soliton Waves for a Generalized Discrete KdV Equation

International Nuclear Information System (INIS)

Zhou Tong; Zhu Zuo-Nong

2017-01-01

It is well known that soliton interactions in discrete integrable systems often possess new properties which are different from the continuous integrable systems, e.g., we found that there are such discrete solitons in a semidiscrete integrable system (the time variable is continuous and the space one is discrete) that the shorter solitary waves travel faster than the taller ones. Very recently, this kind of soliton was also observed in a full discrete generalized KdV system (the both of time and space variables are discrete) introduced by Kanki et al. In this paper, for the generalized discrete KdV (gdKdV) equation, we describe its richer structures of one-soliton solutions. The interactions of two-soliton waves to the gdKdV equation are studied. Some new features of the soliton interactions are proposed by rigorous theoretical analysis. (paper)

Periodic oscillations of discrete NLS solitons in the presence of diffraction management

International Nuclear Information System (INIS)

Panayotaros, Panayotis; Pelinovsky, Dmitry

2008-01-01

We consider the discrete NLS equation with a small-amplitude time-periodic diffraction coefficient which models diffraction management in nonlinear lattices. In the space of one dimension and at the zero-amplitude diffraction management, multi-peak localized modes (called discrete solitons or discrete breathers) are stationary solutions of the discrete NLS equation which are uniquely continued from the anti-continuum limit, where they are compactly supported on finitely many non-zero nodes. We prove that the multi-peak localized modes are uniquely continued to the time-periodic space-localized solutions for small-amplitude diffraction management if the period of the diffraction coefficient is not multiple to the period of the stationary solution. The same result is extended to multi-peaked localized modes in the space of two and three dimensions (which include discrete vortices) under additional non-degeneracy assumptions on the stationary solutions in the anti-continuum limit

Discrete ellipsoidal statistical BGK model and Burnett equations

Science.gov (United States)

Zhang, Yu-Dong; Xu, Ai-Guo; Zhang, Guang-Cai; Chen, Zhi-Hua; Wang, Pei

2018-06-01

A new discrete Boltzmann model, the discrete ellipsoidal statistical Bhatnagar-Gross-Krook (ESBGK) model, is proposed to simulate nonequilibrium compressible flows. Compared with the original discrete BGK model, the discrete ES-BGK has a flexible Prandtl number. For the discrete ES-BGK model in the Burnett level, two kinds of discrete velocity model are introduced and the relations between nonequilibrium quantities and the viscous stress and heat flux in the Burnett level are established. The model is verified via four benchmark tests. In addition, a new idea is introduced to recover the actual distribution function through the macroscopic quantities and their space derivatives. The recovery scheme works not only for discrete Boltzmann simulation but also for hydrodynamic ones, for example, those based on the Navier-Stokes or the Burnett equations.

Space-Time Crystal and Space-Time Group.

Science.gov (United States)

Xu, Shenglong; Wu, Congjun

2018-03-02

Crystal structures and the Bloch theorem play a fundamental role in condensed matter physics. We extend the static crystal to the dynamic "space-time" crystal characterized by the general intertwined space-time periodicities in D+1 dimensions, which include both the static crystal and the Floquet crystal as special cases. A new group structure dubbed a "space-time" group is constructed to describe the discrete symmetries of a space-time crystal. Compared to space and magnetic groups, the space-time group is augmented by "time-screw" rotations and "time-glide" reflections involving fractional translations along the time direction. A complete classification of the 13 space-time groups in one-plus-one dimensions (1+1D) is performed. The Kramers-type degeneracy can arise from the glide time-reversal symmetry without the half-integer spinor structure, which constrains the winding number patterns of spectral dispersions. In 2+1D, nonsymmorphic space-time symmetries enforce spectral degeneracies, leading to protected Floquet semimetal states. We provide a general framework for further studying topological properties of the (D+1)-dimensional space-time crystal.

Discrete breathers for a discrete nonlinear Schrödinger ring coupled to a central site.

Science.gov (United States)

Jason, Peter; Johansson, Magnus

2016-01-01

We examine the existence and properties of certain discrete breathers for a discrete nonlinear Schrödinger model where all but one site are placed in a ring and coupled to the additional central site. The discrete breathers we focus on are stationary solutions mainly localized on one or a few of the ring sites and possibly also the central site. By numerical methods, we trace out and study the continuous families the discrete breathers belong to. Our main result is the discovery of a split bifurcation at a critical value of the coupling between neighboring ring sites. Below this critical value, families form closed loops in a certain parameter space, implying that discrete breathers with and without central-site occupation belong to the same family. Above the split bifurcation the families split up into several separate ones, which bifurcate with solutions with constant ring amplitudes. For symmetry reasons, the families have different properties below the split bifurcation for even and odd numbers of sites. It is also determined under which conditions the discrete breathers are linearly stable. The dynamics of some simpler initial conditions that approximate the discrete breathers are also studied and the parameter regimes where the dynamics remain localized close to the initially excited ring site are related to the linear stability of the exact discrete breathers.

Discrete Emotion Effects on Lexical Decision Response Times

Science.gov (United States)

Briesemeister, Benny B.; Kuchinke, Lars; Jacobs, Arthur M.

2011-01-01

Our knowledge about affective processes, especially concerning effects on cognitive demands like word processing, is increasing steadily. Several studies consistently document valence and arousal effects, and although there is some debate on possible interactions and different notions of valence, broad agreement on a two dimensional model of affective space has been achieved. Alternative models like the discrete emotion theory have received little interest in word recognition research so far. Using backward elimination and multiple regression analyses, we show that five discrete emotions (i.e., happiness, disgust, fear, anger and sadness) explain as much variance as two published dimensional models assuming continuous or categorical valence, with the variables happiness, disgust and fear significantly contributing to this account. Moreover, these effects even persist in an experiment with discrete emotion conditions when the stimuli are controlled for emotional valence and arousal levels. We interpret this result as evidence for discrete emotion effects in visual word recognition that cannot be explained by the two dimensional affective space account. PMID:21887307

Discrete emotion effects on lexical decision response times.

Science.gov (United States)

Briesemeister, Benny B; Kuchinke, Lars; Jacobs, Arthur M

2011-01-01

Our knowledge about affective processes, especially concerning effects on cognitive demands like word processing, is increasing steadily. Several studies consistently document valence and arousal effects, and although there is some debate on possible interactions and different notions of valence, broad agreement on a two dimensional model of affective space has been achieved. Alternative models like the discrete emotion theory have received little interest in word recognition research so far. Using backward elimination and multiple regression analyses, we show that five discrete emotions (i.e., happiness, disgust, fear, anger and sadness) explain as much variance as two published dimensional models assuming continuous or categorical valence, with the variables happiness, disgust and fear significantly contributing to this account. Moreover, these effects even persist in an experiment with discrete emotion conditions when the stimuli are controlled for emotional valence and arousal levels. We interpret this result as evidence for discrete emotion effects in visual word recognition that cannot be explained by the two dimensional affective space account.

Discrete emotion effects on lexical decision response times.

Directory of Open Access Journals (Sweden)

Benny B Briesemeister

Full Text Available Our knowledge about affective processes, especially concerning effects on cognitive demands like word processing, is increasing steadily. Several studies consistently document valence and arousal effects, and although there is some debate on possible interactions and different notions of valence, broad agreement on a two dimensional model of affective space has been achieved. Alternative models like the discrete emotion theory have received little interest in word recognition research so far. Using backward elimination and multiple regression analyses, we show that five discrete emotions (i.e., happiness, disgust, fear, anger and sadness explain as much variance as two published dimensional models assuming continuous or categorical valence, with the variables happiness, disgust and fear significantly contributing to this account. Moreover, these effects even persist in an experiment with discrete emotion conditions when the stimuli are controlled for emotional valence and arousal levels. We interpret this result as evidence for discrete emotion effects in visual word recognition that cannot be explained by the two dimensional affective space account.

Random discrete Morse theory and a new library of triangulations

DEFF Research Database (Denmark)

Benedetti, Bruno; Lutz, Frank Hagen

2014-01-01

We introduce random discrete Morse theory as a computational scheme to measure the complexity of a triangulation. The idea is to try to quantify the frequency of discrete Morse matchings with few critical cells. Our measure will depend on the topology of the space, but also on how nicely the space...... is triangulated. The scheme we propose looks for optimal discrete Morse functions with an elementary random heuristic. Despite its naiveté, this approach turns out to be very successful even in the case of huge inputs. In our view, the existing libraries of examples in computational topology are “too easy......” for testing algorithms based on discrete Morse theory. We propose a new library containing more complicated (and thus more meaningful) test examples....

Compact state-space models for complex superconducting radio-frequency structures based on model order reduction and concatenation methods

International Nuclear Information System (INIS)

Flisgen, Thomas

2015-01-01

The modeling of large chains of superconducting cavities with couplers is a challenging task in computational electrical engineering. The direct numerical treatment of these structures can easily lead to problems with more than ten million degrees of freedom. Problems of this complexity are typically solved with the help of parallel programs running on supercomputing infrastructures. However, these infrastructures are expensive to purchase, to operate, and to maintain. The aim of this thesis is to introduce and to validate an approach which allows for modeling large structures on a standard workstation. The novel technique is called State-Space Concatenations and is based on the decomposition of the complete structure into individual segments. The radio-frequency properties of the generated segments are described by a set of state-space equations which either emerge from analytical considerations or from numerical discretization schemes. The model order of these equations is reduced using dedicated model order reduction techniques. In a final step, the reduced-order state-space models of the segments are concatenated in accordance with the topology of the complete structure. The concatenation is based on algebraic continuity constraints of electric and magnetic fields on the decomposition planes and results in a compact state-space system of the complete radio-frequency structure. Compared to the original problem, the number of degrees of freedom is drastically reduced, i.e. a problem with more than ten million degrees of freedom can be reduced on a standard workstation to a problem with less than one thousand degrees of freedom. The final state-space system allows for determining frequency-domain transfer functions, field distributions, resonances, and quality factors of the complete structure in a convenient manner. This thesis presents the theory of the state-space concatenation approach and discusses several validation and application examples. The examples

Optimization of stochastic discrete systems and control on complex networks computational networks

CERN Document Server

Lozovanu, Dmitrii

2014-01-01

This book presents the latest findings on stochastic dynamic programming models and on solving optimal control problems in networks. It includes the authors' new findings on determining the optimal solution of discrete optimal control problems in networks and on solving game variants of Markov decision problems in the context of computational networks. First, the book studies the finite state space of Markov processes and reviews the existing methods and algorithms for determining the main characteristics in Markov chains, before proposing new approaches based on dynamic programming and combinatorial methods. Chapter two is dedicated to infinite horizon stochastic discrete optimal control models and Markov decision problems with average and expected total discounted optimization criteria, while Chapter three develops a special game-theoretical approach to Markov decision processes and stochastic discrete optimal control problems. In closing, the book's final chapter is devoted to finite horizon stochastic con...

State-Space Formulation for Circuit Analysis

Science.gov (United States)

Martinez-Marin, T.

2010-01-01

This paper presents a new state-space approach for temporal analysis of electrical circuits. The method systematically obtains the state-space formulation of nondegenerate linear networks without using concepts of topology. It employs nodal/mesh systematic analysis to reduce the number of undesired variables. This approach helps students to…

Discrete symmetries and de Sitter spacetime

Energy Technology Data Exchange (ETDEWEB)

Cotăescu, Ion I., E-mail: gpascu@physics.uvt.ro; Pascu, Gabriel, E-mail: gpascu@physics.uvt.ro [West University of Timişoara, V. Pârvan Ave. 4, RO-300223 Timişoara (Romania)

2014-11-24

Aspects of the ambiguity in defining quantum modes on de Sitter spacetime using a commuting system composed only of differential operators are discussed. Discrete symmetries and their actions on the wavefunction in commonly used coordinate charts are reviewed. It is argued that the system of commuting operators can be supplemented by requiring the invariance of the wavefunction to combined discrete symmetries- a criterion which selects a single state out of the α-vacuum family. Two such members of this family are singled out by particular combined discrete symmetries- states between which exists a well-known thermality relation.

Exact discretization of Schrödinger equation

Energy Technology Data Exchange (ETDEWEB)

Tarasov, Vasily E., E-mail: tarasov@theory.sinp.msu.ru

2016-01-08

There are different approaches to discretization of the Schrödinger equation with some approximations. In this paper we derive a discrete equation that can be considered as exact discretization of the continuous Schrödinger equation. The proposed discrete equation is an equation with difference of integer order that is represented by infinite series. We suggest differences, which are characterized by power-law Fourier transforms. These differences can be considered as exact discrete analogs of derivatives of integer orders. Physically the suggested discrete equation describes a chain (or lattice) model with long-range interaction of power-law form. Mathematically it is a uniquely highlighted difference equation that exactly corresponds to the continuous Schrödinger equation. Using the Young's inequality for convolution, we prove that suggested differences are operators on the Hilbert space of square-summable sequences. We prove that the wave functions, which are exact discrete analogs of the free particle and harmonic oscillator solutions of the continuous Schrödinger equations, are solutions of the suggested discrete Schrödinger equations. - Highlights: • Exact discretization of the continuous Schrödinger equation is suggested. • New long-range interactions of power-law form are suggested. • Solutions of discrete Schrödinger equation are exact discrete analogs of continuous solutions.

Exact discretization of Schrödinger equation

International Nuclear Information System (INIS)

Tarasov, Vasily E.

2016-01-01

There are different approaches to discretization of the Schrödinger equation with some approximations. In this paper we derive a discrete equation that can be considered as exact discretization of the continuous Schrödinger equation. The proposed discrete equation is an equation with difference of integer order that is represented by infinite series. We suggest differences, which are characterized by power-law Fourier transforms. These differences can be considered as exact discrete analogs of derivatives of integer orders. Physically the suggested discrete equation describes a chain (or lattice) model with long-range interaction of power-law form. Mathematically it is a uniquely highlighted difference equation that exactly corresponds to the continuous Schrödinger equation. Using the Young's inequality for convolution, we prove that suggested differences are operators on the Hilbert space of square-summable sequences. We prove that the wave functions, which are exact discrete analogs of the free particle and harmonic oscillator solutions of the continuous Schrödinger equations, are solutions of the suggested discrete Schrödinger equations. - Highlights: • Exact discretization of the continuous Schrödinger equation is suggested. • New long-range interactions of power-law form are suggested. • Solutions of discrete Schrödinger equation are exact discrete analogs of continuous solutions.

Discrete breathers in graphane: Effect of temperature

Energy Technology Data Exchange (ETDEWEB)

Baimova, J. A., E-mail: julia.a.baimova@gmail.com [Russian Academy of Sciences, Institute of Metal Physics, Ural Branch (Russian Federation); Murzaev, R. T.; Lobzenko, I. P.; Dmitriev, S. V. [Russian Academy of Sciences, Institute for Metals Superplasticity Problems (Russian Federation); Zhou, Kun [Nanyang Technological University, School of Mechanical and Aerospace Engineering (Singapore)

2016-05-15

The discrete breathers in graphane in thermodynamic equilibrium in the temperature range 50–600 K are studied by molecular dynamics simulation. A discrete breather is a hydrogen atom vibrating along the normal to a sheet of graphane at a high amplitude. As was found earlier, the lifetime of a discrete breather at zero temperature corresponds to several tens of thousands of vibrations. The effect of temperature on the decay time of discrete breathers and the probability of their detachment from a sheet of graphane are studied in this work. It is shown that closely spaced breathers can exchange energy with each other at zero temperature. The data obtained suggest that thermally activated discrete breathers can be involved in the dehydrogenation of graphane, which is important for hydrogen energetics.

Mathematical Modeling of Contact Problems of Elasticity Theory with Unilateral Discrete Contact

Directory of Open Access Journals (Sweden)

I. V. Stankevich

2015-01-01

Full Text Available Development and operation of modern machinery and latest technology require reliable estimates of the strength characteristics of the critical elements of structures and technological equipment under the impact of high-intensity thermomechanical loading, accompanied, as a rule, by complex contact interaction. Mathematical modeling of stress-strain state of such parts and components in the contact area, based on adequate mathematical models, modern numerical methods and efficient algorithms that implement the direct determination of displacement fields, strains and stresses, is the main tool that allows fast acquisition of data required for the calculations of strength and durability. The paper considers an algorithm for constructing the numerical solution of the contact problem of elasticity theory in relation to the body, which has an obvious one-sided discrete contact interaction with an elastic half-space. The proposed algorithm is specially designed to have a correction of the tangential forces at discrete contact points, allowing us to achieve sufficiently accurate implementation of the adopted law of friction. The algorithm is embedded in a general finite element technology, with which the application code is generated. Numerical study of discrete unilateral contact interaction of an elastic plate and a rigid half-space showed a high efficiency of the developed algorithm and the application code that implements it.

Online soft sensor for hybrid systems with mixed continuous and discrete measurements

Czech Academy of Sciences Publication Activity Database

Suzdaleva, Evgenia; Nagy, Ivan

2012-01-01

Roč. 36, č. 10 (2012), s. 294-300 ISSN 0098-1354 R&D Projects: GA MŠk 1M0572; GA TA ČR TA01030123 Grant - others:Skoda Auto, a.s.(CZ) ENS/2009/UTIA Institutional research plan: CEZ:AV0Z10750506 Keywords : online state prediction * hybrid filter * state-space model * mixed data Subject RIV: BC - Control Systems Theory Impact factor: 2.091, year: 2012 http://library.utia.cas.cz/separaty/2011/AS/suzdaleva-online soft sensor for hybrid systems with mixed continuous and discrete measurements.pdf

Environmental spaces

DEFF Research Database (Denmark)

Larsen, Henrik Gutzon

Using the development of intergovernmental environmental cooperation in the Baltic Sea area as a concrete example, the aim of this study is to explore how the 'environment' in situations of environmental interdependence is identified and institutionalised as political-geographical objects....... 'Environmental interdependence' is to this end conceptualised as a tension between 'political spaces' of discrete state territories and 'environmental spaces' of spatially nested ecosystems. This tension between geographies of political separateness and environmental wholeness is the implicit or explicit basis...... for a large and varied literature. But in both its critical and problemsolving manifestations, this literature tends to naturalise the spatiality of environmental concerns: environmental spaces are generally taken for granted. On the suggestion that there is a subtle politics to the specification...

Discrete particle noise in particle-in-cell simulations of plasma microturbulence

International Nuclear Information System (INIS)

Nevins, W.M.; Hammett, G.W.; Dimits, A.M.; Dorland, W.; Shumaker, D.E.

2005-01-01

Recent gyrokinetic simulations of electron temperature gradient (ETG) turbulence with the global particle-in-cell (PIC) code GTC [Z. Lin et al., Proceedings of the 20th Fusion Energy Conference, Vilamoura, Portugal, 2004 (IAEA, Vienna, 2005)] yielded different results from earlier flux-tube continuum code simulations [F. Jenko and W. Dorland, Phys. Rev. Lett. 89, 225001 (2002)] despite similar plasma parameters. Differences between the simulation results were attributed to insufficient phase-space resolution and novel physics associated with global simulation models. The results of the global PIC code are reproduced here using the flux-tube PIC code PG3EQ [A. M. Dimits et al., Phys. Rev. Lett. 77, 71 (1996)], thereby eliminating global effects as the cause of the discrepancy. The late-time decay of the ETG turbulence and the steady-state heat transport observed in these PIC simulations are shown to result from discrete particle noise. Discrete particle noise is a numerical artifact, so both these PG3EQ simulations and, by inference, the GTC simulations that they reproduced have little to say about steady-state ETG turbulence and the associated anomalous heat transport. In the course of this work several diagnostics are developed to retrospectively test whether a particular PIC simulation is dominated by discrete particle noise

Discrete Green’s functions for propagators between complex objects in discrete space-time nonlinear electromagnetics

NARCIS (Netherlands)

Arnold, J.M.; Hon, de B.P.; Graglia, R.D.

2007-01-01

We propose a potential-based form of the FDTD scheme, with potentials driven by sources that are themselves simple dynamical systems. This formulation admits a radiative boundary condition for the discrete-mesh Maxwell's equations in a multiply connected exterior domain, which facilitates

Improved method for solving the neutron transport problem by discretization of space and energy variables

International Nuclear Information System (INIS)

Bosevski, T.

1971-01-01

The polynomial interpolation of neutron flux between the chosen space and energy variables enabled transformation of the integral transport equation into a system of linear equations with constant coefficients. Solutions of this system are the needed values of flux for chosen values of space and energy variables. The proposed improved method for solving the neutron transport problem including the mathematical formalism is simple and efficient since the number of needed input data is decreased both in treating the spatial and energy variables. Mathematical method based on this approach gives more stable solutions with significantly decreased probability of numerical errors. Computer code based on the proposed method was used for calculations of one heavy water and one light water reactor cell, and the results were compared to results of other very precise calculations. The proposed method was better concerning convergence rate, decreased computing time and needed computer memory. Discretization of variables enabled direct comparison of theoretical and experimental results

Statistical and Probabilistic Extensions to Ground Operations' Discrete Event Simulation Modeling

Science.gov (United States)

Trocine, Linda; Cummings, Nicholas H.; Bazzana, Ashley M.; Rychlik, Nathan; LeCroy, Kenneth L.; Cates, Grant R.

2010-01-01

NASA's human exploration initiatives will invest in technologies, public/private partnerships, and infrastructure, paving the way for the expansion of human civilization into the solar system and beyond. As it is has been for the past half century, the Kennedy Space Center will be the embarkation point for humankind's journey into the cosmos. Functioning as a next generation space launch complex, Kennedy's launch pads, integration facilities, processing areas, launch and recovery ranges will bustle with the activities of the world's space transportation providers. In developing this complex, KSC teams work through the potential operational scenarios: conducting trade studies, planning and budgeting for expensive and limited resources, and simulating alternative operational schemes. Numerous tools, among them discrete event simulation (DES), were matured during the Constellation Program to conduct such analyses with the purpose of optimizing the launch complex for maximum efficiency, safety, and flexibility while minimizing life cycle costs. Discrete event simulation is a computer-based modeling technique for complex and dynamic systems where the state of the system changes at discrete points in time and whose inputs may include random variables. DES is used to assess timelines and throughput, and to support operability studies and contingency analyses. It is applicable to any space launch campaign and informs decision-makers of the effects of varying numbers of expensive resources and the impact of off nominal scenarios on measures of performance. In order to develop representative DES models, methods were adopted, exploited, or created to extend traditional uses of DES. The Delphi method was adopted and utilized for task duration estimation. DES software was exploited for probabilistic event variation. A roll-up process was used, which was developed to reuse models and model elements in other less - detailed models. The DES team continues to innovate and expand

Group-theoretical aspects of the discrete sine-Gordon equation

International Nuclear Information System (INIS)

Orfanidis, S.J.

1980-01-01

The group-theoretical interpretation of the sine-Gordon equation in terms of connection forms on fiber bundles is extended to the discrete case. Solutions of the discrete sine-Gordon equation induce surfaces on a lattice in the SU(2) group space. The inverse scattering representation, expressing the parallel transport of fibers, is implemented by means of finite rotations. Discrete Baecklund transformations are realized as gauge transformations. The three-dimensional inverse scattering representation is used to derive a discrete nonlinear sigma model, and the corresponding Baecklund transformation and Pohlmeyer's R transformation are constructed

A latent low-dimensional common input drives a pool of motor neurons: a probabilistic latent state-space model.

Science.gov (United States)

Feeney, Daniel F; Meyer, François G; Noone, Nicholas; Enoka, Roger M

2017-10-01

Motor neurons appear to be activated with a common input signal that modulates the discharge activity of all neurons in the motor nucleus. It has proven difficult for neurophysiologists to quantify the variability in a common input signal, but characterization of such a signal may improve our understanding of how the activation signal varies across motor tasks. Contemporary methods of quantifying the common input to motor neurons rely on compiling discrete action potentials into continuous time series, assuming the motor pool acts as a linear filter, and requiring signals to be of sufficient duration for frequency analysis. We introduce a space-state model in which the discharge activity of motor neurons is modeled as inhomogeneous Poisson processes and propose a method to quantify an abstract latent trajectory that represents the common input received by motor neurons. The approach also approximates the variation in synaptic noise in the common input signal. The model is validated with four data sets: a simulation of 120 motor units, a pair of integrate-and-fire neurons with a Renshaw cell providing inhibitory feedback, the discharge activity of 10 integrate-and-fire neurons, and the discharge times of concurrently active motor units during an isometric voluntary contraction. The simulations revealed that a latent state-space model is able to quantify the trajectory and variability of the common input signal across all four conditions. When compared with the cumulative spike train method of characterizing common input, the state-space approach was more sensitive to the details of the common input current and was less influenced by the duration of the signal. The state-space approach appears to be capable of detecting rather modest changes in common input signals across conditions. NEW & NOTEWORTHY We propose a state-space model that explicitly delineates a common input signal sent to motor neurons and the physiological noise inherent in synaptic signal

TQ-bifurcations in discrete dynamical systems: Analysis of qualitative rearrangements of the oscillation mode

Energy Technology Data Exchange (ETDEWEB)

Makarenko, A. V., E-mail: avm.science@mail.ru [Constructive Cybernetics Research Group (Russian Federation)

2016-10-15

A new class of bifurcations is defined in discrete dynamical systems, and methods for their diagnostics and the analysis of their properties are presented. The TQ-bifurcations considered are implemented in discrete mappings and are related to the qualitative rearrangement of the shape of trajectories in an extended space of states. Within the demonstration of the main capabilities of the toolkit, an analysis is carried out of a logistic mapping in a domain to the right of the period-doubling limit point. Five critical values of the parameter are found for which the geometric structure of the trajectories of the mapping experiences a qualitative rearrangement. In addition, an analysis is carried out of the so-called “trace map,” which arises in the problems of quantum-mechanical description of various properties of discrete crystalline and quasicrystalline lattices.

Understanding how discrete populations of hypothalamic neurons orchestrate complicated behavioral states

Directory of Open Access Journals (Sweden)

Allison eGraebner

2015-08-01

Full Text Available A major question in systems neuroscience is how a single population of neurons can interact with the rest of the brain to orchestrate complex behavioral states. The hypothalamus contains many such discrete neuronal populations that individually regulate arousal, feeding, and drinking. For example, hypothalamic neurons that express hypocretin (Hcrt neuropeptides can sense homeostatic and metabolic factors affecting wakefulness and orchestrate organismal arousal. Neurons that express agouti-related protein (AgRP can sense the metabolic needs of the body and orchestrate a state of hunger. The organum vasculosum of the lamina terminalis (OVLT can detect the hypertonicity of blood and orchestrate a state of thirst. Each hypothalamic population is sufficient to generate complicated behavioral states through the combined efforts of distinct efferent projections. The principal challenge to understanding these brain systems is therefore to determine the individual roles of each downstream projection for each behavioral state. In recent years, the development and application of temporally precise, genetically encoded tools have greatly improved our understanding of the structure and function of these neural systems. This review will survey recent advances in our understanding of how these individual hypothalamic populations can orchestrate complicated behavioral states due to the combined efforts of individual downstream projections.

Phase-space networks of geometrically frustrated systems.

Science.gov (United States)

Han, Yilong

2009-11-01

We illustrate a network approach to the phase-space study by using two geometrical frustration models: antiferromagnet on triangular lattice and square ice. Their highly degenerated ground states are mapped as discrete networks such that the quantitative network analysis can be applied to phase-space studies. The resulting phase spaces share some comon features and establish a class of complex networks with unique Gaussian spectral densities. Although phase-space networks are heterogeneously connected, the systems are still ergodic due to the random Poisson processes. This network approach can be generalized to phase spaces of some other complex systems.

Vol. 33 - Compact State-Space Models for Complex Superconducting Radio-Frequency Structures Based on Model Order Reduction and Concatenation Methods

CERN Document Server

Flisgen, Thomas

2015-01-01

The modeling of large chains of superconducting cavities with couplers is a challeng- ing task in computational electrical engineering. The direct numerical treatment of these structures can easily lead to problems with more than ten million degrees of freedom. Problems of this complexity are typically solved with the help of parallel programs running on supercomputing infrastructures. However, these infrastructures are expensive to purchase, to operate, and to maintain. The aim of this thesis is to introduce and to validate an approach which allows for modeling large structures on a standard workstation. The novel technique is called State-Space Concatena- tions and is based on the decomposition of the complete structure into individual segments. The radio-frequency properties of the generated segments are described by a set of state-space equations which either emerge from analytical considera- tions or from numerical discretization schemes. The model order of these equations is reduced...

Discrete- vs. Continuous-Time Modeling of Unequally Spaced Experience Sampling Method Data

Directory of Open Access Journals (Sweden)

Silvia de Haan-Rietdijk

2017-10-01

Full Text Available The Experience Sampling Method is a common approach in psychological research for collecting intensive longitudinal data with high ecological validity. One characteristic of ESM data is that it is often unequally spaced, because the measurement intervals within a day are deliberately varied, and measurement continues over several days. This poses a problem for discrete-time (DT modeling approaches, which are based on the assumption that all measurements are equally spaced. Nevertheless, DT approaches such as (vector autoregressive modeling are often used to analyze ESM data, for instance in the context of affective dynamics research. There are equivalent continuous-time (CT models, but they are more difficult to implement. In this paper we take a pragmatic approach and evaluate the practical relevance of the violated model assumption in DT AR(1 and VAR(1 models, for the N = 1 case. We use simulated data under an ESM measurement design to investigate the bias in the parameters of interest under four different model implementations, ranging from the true CT model that accounts for all the exact measurement times, to the crudest possible DT model implementation, where even the nighttime is treated as a regular interval. An analysis of empirical affect data illustrates how the differences between DT and CT modeling can play out in practice. We find that the size and the direction of the bias in DT (VAR models for unequally spaced ESM data depend quite strongly on the true parameter in addition to data characteristics. Our recommendation is to use CT modeling whenever possible, especially now that new software implementations have become available.

Discrete Sparse Coding.

Science.gov (United States)

Exarchakis, Georgios; Lücke, Jörg

2017-11-01

Sparse coding algorithms with continuous latent variables have been the subject of a large number of studies. However, discrete latent spaces for sparse coding have been largely ignored. In this work, we study sparse coding with latents described by discrete instead of continuous prior distributions. We consider the general case in which the latents (while being sparse) can take on any value of a finite set of possible values and in which we learn the prior probability of any value from data. This approach can be applied to any data generated by discrete causes, and it can be applied as an approximation of continuous causes. As the prior probabilities are learned, the approach then allows for estimating the prior shape without assuming specific functional forms. To efficiently train the parameters of our probabilistic generative model, we apply a truncated expectation-maximization approach (expectation truncation) that we modify to work with a general discrete prior. We evaluate the performance of the algorithm by applying it to a variety of tasks: (1) we use artificial data to verify that the algorithm can recover the generating parameters from a random initialization, (2) use image patches of natural images and discuss the role of the prior for the extraction of image components, (3) use extracellular recordings of neurons to present a novel method of analysis for spiking neurons that includes an intuitive discretization strategy, and (4) apply the algorithm on the task of encoding audio waveforms of human speech. The diverse set of numerical experiments presented in this letter suggests that discrete sparse coding algorithms can scale efficiently to work with realistic data sets and provide novel statistical quantities to describe the structure of the data.

Hybrid discrete-time neural networks.

Science.gov (United States)

Cao, Hongjun; Ibarz, Borja

2010-11-13

Hybrid dynamical systems combine evolution equations with state transitions. When the evolution equations are discrete-time (also called map-based), the result is a hybrid discrete-time system. A class of biological neural network models that has recently received some attention falls within this category: map-based neuron models connected by means of fast threshold modulation (FTM). FTM is a connection scheme that aims to mimic the switching dynamics of a neuron subject to synaptic inputs. The dynamic equations of the neuron adopt different forms according to the state (either firing or not firing) and type (excitatory or inhibitory) of their presynaptic neighbours. Therefore, the mathematical model of one such network is a combination of discrete-time evolution equations with transitions between states, constituting a hybrid discrete-time (map-based) neural network. In this paper, we review previous work within the context of these models, exemplifying useful techniques to analyse them. Typical map-based neuron models are low-dimensional and amenable to phase-plane analysis. In bursting models, fast-slow decomposition can be used to reduce dimensionality further, so that the dynamics of a pair of connected neurons can be easily understood. We also discuss a model that includes electrical synapses in addition to chemical synapses with FTM. Furthermore, we describe how master stability functions can predict the stability of synchronized states in these networks. The main results are extended to larger map-based neural networks.

Stringy origin of non-Abelian discrete flavor symmetries

International Nuclear Information System (INIS)

Kobayashi, Tatsuo; Nilles, Hans Peter; Ploeger, Felix; Raby, Stuart; Ratz, Michael

2007-01-01

We study the origin of non-Abelian discrete flavor symmetries in superstring theory. We classify all possible non-Abelian discrete flavor symmetries which can appear in heterotic orbifold models. These symmetries include D 4 and Δ(54). We find that the symmetries of the couplings are always larger than the symmetries of the compact space. This is because they are a consequence of the geometry of the orbifold combined with the space group selection rules of the string. We also study possible breaking patterns. Our analysis yields a simple geometric understanding of the realization of non-Abelian flavor symmetries

Rational solutions of the discrete time Toda lattice and the alternate discrete Painleve II equation

International Nuclear Information System (INIS)

Common, Alan K; Hone, Andrew N W

2008-01-01

The Yablonskii-Vorob'ev polynomials y n (t), which are defined by a second-order bilinear differential-difference equation, provide rational solutions of the Toda lattice. They are also polynomial tau-functions for the rational solutions of the second Painleve equation (P II ). Here we define two-variable polynomials Y n (t, h) on a lattice with spacing h, by considering rational solutions of the discrete time Toda lattice as introduced by Suris. These polynomials are shown to have many properties that are analogous to those of the Yablonskii-Vorob'ev polynomials, to which they reduce when h = 0. They also provide rational solutions for a particular discretization of P II , namely the so-called alternate discrete P II , and this connection leads to an expression in terms of the Umemura polynomials for the third Painleve equation (P III ). It is shown that the Baecklund transformation for the alternate discrete Painleve equation is a symplectic map, and the shift in time is also symplectic. Finally we present a Lax pair for the alternate discrete P II , which recovers Jimbo and Miwa's Lax pair for P II in the continuum limit h → 0

A representation theorem for linear discrete-space systems

Directory of Open Access Journals (Sweden)

Sandberg Irwin W.

1998-01-01

Full Text Available The cornerstone of the theory of discrete-time single-input single-output linear systems is the idea that every such system has an input–output map H that can be represented by a convolution or the familiar generalization of a convolution. This thinking involves an oversight which is corrected in this note by adding an additional term to the representation.

Space strategy and governance of ESA small member states

Science.gov (United States)

Sagath, Daniel; Papadimitriou, Angeliki; Adriaensen, Maarten; Giannopapa, Christina

2018-01-01

The European Space Agency (ESA) has twenty-two Member States with a variety of governance structures and strategic priorities regarding their space activities. The objective of this paper is to provide an up-to date overview and a holistic assessment of the national space governance structures and strategic priorities of the eleven smaller Member States (based on annual ESA contributions). A link is made between the governance structure and the main strategic objectives. The specific needs and interests of small and new Member States in the frame of European Space Integration are addressed. The first part of the paper focuses on the national space governance structures in the eleven smaller ESA Member States. The governance models of these Member States are identified including the responsible ministries and the entities entrusted with the implementation of space strategy/policy and programmes of the country. The second part of this paper focuses on the content and analysis of the national space strategies and indicates the main priorities and trends in the eleven smaller ESA Member States. The priorities are categorised with regards to technology domains, the role of space in the areas of sustainability and the motivators for space investments. In a third and final part, attention is given to the specific needs and interests of the smaller Member States in the frame of European space integration. ESA instruments are tailored to facilitate the needs and interests of the eleven smaller and/or new Member States.

A Sweep-Line Method for State Space Exploration

DEFF Research Database (Denmark)

Christensen, Søren; Kristensen, Lars Michael; Mailund, Thomas

2001-01-01

generation, since these states can never be reached again. This in turn reduces the memory used for state space storage during the task of verification. Examples of progress measures are sequence numbers in communication protocols and time in certain models with time. We illustrate the application...... of the method on a number of Coloured Petri Net models, and give a first evaluation of its practicality by means of an implementation based on the Design/CPN state space tool. Our experiments show significant reductions in both space and time used during state space exploration. The method is not specific...... to Coloured Petri Nets but applicable to a wide range of modelling languages....

Quantum circuit dynamics via path integrals: Is there a classical action for discrete-time paths?

Science.gov (United States)

Penney, Mark D.; Enshan Koh, Dax; Spekkens, Robert W.

2017-07-01

It is straightforward to compute the transition amplitudes of a quantum circuit using the sum-over-paths methodology when the gates in the circuit are balanced, where a balanced gate is one for which all non-zero transition amplitudes are of equal magnitude. Here we consider the question of whether, for such circuits, the relative phases of different discrete-time paths through the configuration space can be defined in terms of a classical action, as they are for continuous-time paths. We show how to do so for certain kinds of quantum circuits, namely, Clifford circuits where the elementary systems are continuous-variable systems or discrete systems of odd-prime dimension. These types of circuit are distinguished by having phase-space representations that serve to define their classical counterparts. For discrete systems, the phase-space coordinates are also discrete variables. We show that for each gate in the generating set, one can associate a symplectomorphism on the phase-space and to each of these one can associate a generating function, defined on two copies of the configuration space. For discrete systems, the latter association is achieved using tools from algebraic geometry. Finally, we show that if the action functional for a discrete-time path through a sequence of gates is defined using the sum of the corresponding generating functions, then it yields the correct relative phases for the path-sum expression. These results are likely to be relevant for quantizing physical theories where time is fundamentally discrete, characterizing the classical limit of discrete-time quantum dynamics, and proving complexity results for quantum circuits.

Perfect discretization of path integrals

International Nuclear Information System (INIS)

Steinhaus, Sebastian

2012-01-01

In order to obtain a well-defined path integral one often employs discretizations. In the case of General Relativity these generically break diffeomorphism symmetry, which has severe consequences since these symmetries determine the dynamics of the corresponding system. In this article we consider the path integral of reparametrization invariant systems as a toy example and present an improvement procedure for the discretized propagator. Fixed points and convergence of the procedure are discussed. Furthermore we show that a reparametrization invariant path integral implies discretization independence and acts as a projector onto physical states.

Perfect discretization of path integrals

Science.gov (United States)

Steinhaus, Sebastian

2012-05-01

In order to obtain a well-defined path integral one often employs discretizations. In the case of General Relativity these generically break diffeomorphism symmetry, which has severe consequences since these symmetries determine the dynamics of the corresponding system. In this article we consider the path integral of reparametrization invariant systems as a toy example and present an improvement procedure for the discretized propagator. Fixed points and convergence of the procedure are discussed. Furthermore we show that a reparametrization invariant path integral implies discretization independence and acts as a projector onto physical states.

Simultaneous Robust Fault and State Estimation for Linear Discrete-Time Uncertain Systems

Directory of Open Access Journals (Sweden)

Feten Gannouni

2017-01-01

Full Text Available We consider the problem of robust simultaneous fault and state estimation for linear uncertain discrete-time systems with unknown faults which affect both the state and the observation matrices. Using transformation of the original system, a new robust proportional integral filter (RPIF having an error variance with an optimized guaranteed upper bound for any allowed uncertainty is proposed to improve robust estimation of unknown time-varying faults and to improve robustness against uncertainties. In this study, the minimization problem of the upper bound of the estimation error variance is formulated as a convex optimization problem subject to linear matrix inequalities (LMI for all admissible uncertainties. The proportional and the integral gains are optimally chosen by solving the convex optimization problem. Simulation results are given in order to illustrate the performance of the proposed filter, in particular to solve the problem of joint fault and state estimation.

How Triage Nurses Use Discretion: a Literature Review

Directory of Open Access Journals (Sweden)

Lars Emil Fagernes Johannessen

2016-02-01

Full Text Available Discretion is quintessential for professional work. This review aims to understand how nurses use discretion when they perform urgency assessments in emergency departments with formalised triage systems—systems that are intended to reduce nurses’ use of discretion. Because little research has dealt explicitly with this topic, this review addresses the discretionary aspects of triage by reinterpreting qualitative studies of how triage nurses perform urgency assessments. The review shows (a how inexhaustive guidelines and a hectic work environment are factors that necessitate nurses’ use of discretion and (b how nurses reason within this discretionary space by relying on their experience and intuition, judging patients according to criteria such as appropriateness and believability, and creating urgency ratings together with their patients. The review also offers a synthesis of the findings’ discretionary aspects and suggests a new interactionist dimension of discretion.Keywords: Triage, discretion, emergency department, meta-ethnography, review, decision-making

Coupling effects of resonant and discretized non-resonant continuum states in 4He+6Li scattering at 10 MeV/A

International Nuclear Information System (INIS)

Sinha, T.; Kanungo, R.; Samanta, C.; Ghosh, S.; Basu, P.; Rebel, H.

1996-01-01

Alpha- particle scattering from the resonant (3 + 1 ) and non-resonant continuum states of 6 Li is studied at incident energy 10 MeV/A. The α+d breakup continuum part within the excitation energy E ex = 1.475-2.475 MeV is discretized in two energy bins. Unlike the results at higher incident energies, here the coupled-channel calculations show significant breakup continuum coupling effects on the elastic and inelastic scattering. It is shown that even when the continuum-continuum coupling effects are strong, the experimental data of the ground state and the resonant as well as discretized non-resonant continuum states impose stringent constraint on the coupling strengths of the non-resonant continuum states. (orig.). With 2 figs., 1 tab

Periodic, quasiperiodic and chaotic discrete breathers in a parametrical driven two-dimensional discrete diatomic Klein–Gordon lattice

International Nuclear Information System (INIS)

Quan, Xu; Qiang, Tian

2009-01-01

We study a two-dimensional (2D) diatomic lattice of anharmonic oscillators with only quartic nearest-neighbor interactions, in which discrete breathers (DBs) can be explicitly constructed by an exact separation of their time and space dependence. DBs can stably exist in the 2D discrete diatomic Klein–Gordon lattice with hard and soft on-site potentials. When a parametric driving term is introduced in the factor multiplying the harmonic part of the on-site potential of the system, we can obtain the stable quasiperiodic discrete breathers (QDBs) and chaotic discrete breathers (CDBs) by changing the amplitude of the driver. But the DBs and QDBs with symmetric and anti-symmetric profiles that are centered at a heavy atom are more stable than at a light atom, because the frequencies of the DBs and QDBs centered at a heavy atom are lower than those centered at a light atom

Discrete Weighted Pseudo-Almost Automorphy and Applications

Directory of Open Access Journals (Sweden)

Zhinan Xia

2014-01-01

Full Text Available We deal with discrete weighted pseudo almost automorphy which extends some classical concepts and systematically explore its properties in Banach space including a composition result. As an application, we establish some sufficient criteria for the existence and uniqueness of the discrete weighted pseudo almost automorphic solutions to the Volterra difference equations of convolution type and also to nonautonomous semilinear difference equations. Some examples are presented to illustrate the main findings.

Thermal Performance of Solar Air Heater Having Absorber Plate with V-Down Discrete Rib Roughness for Space-Heating Applications

Directory of Open Access Journals (Sweden)

Rajendra Karwa

2013-01-01

Full Text Available The paper presents results of thermal performance analysis of a solar air heater with v-down discrete rib roughness on the air flow side of the absorber plate, which supplies heated air for space heating applications. The air heater operates in a closed loop mode with inlet air at a fixed temperature of 295 K from the conditional space. The ambient temperature varied from 278 K to 288 K corresponding to the winter season of Western Rajasthan, India. The results of the analysis are presented in the form of performance plots, which can be utilized by a designer for calculating desired air flow rate at different ambient temperature and solar insolation values.

Finite Word-Length Effects in Digital State-Space Filters

Directory of Open Access Journals (Sweden)

B. Psenicka

1999-12-01

Full Text Available The state-space description of digital filters involves except the relationship between input and output signals an additional set of state variables. The state-space structures of digital filters have many positive properties compared with direct canonical structures. The main advantage of digital filter structures developed using state-space technique is a smaller sensitivity to quantization effects by fixed-point implementation. In our presentation, the emphasis is on the analysis of coefficient quantization and on existence of zero-input limit cycles in state-space digital filters. The comparison with direct form II structure is presented.

GXNOR-Net: Training deep neural networks with ternary weights and activations without full-precision memory under a unified discretization framework.

Science.gov (United States)

Deng, Lei; Jiao, Peng; Pei, Jing; Wu, Zhenzhi; Li, Guoqi

2018-04-01

Although deep neural networks (DNNs) are being a revolutionary power to open up the AI era, the notoriously huge hardware overhead has challenged their applications. Recently, several binary and ternary networks, in which the costly multiply-accumulate operations can be replaced by accumulations or even binary logic operations, make the on-chip training of DNNs quite promising. Therefore there is a pressing need to build an architecture that could subsume these networks under a unified framework that achieves both higher performance and less overhead. To this end, two fundamental issues are yet to be addressed. The first one is how to implement the back propagation when neuronal activations are discrete. The second one is how to remove the full-precision hidden weights in the training phase to break the bottlenecks of memory/computation consumption. To address the first issue, we present a multi-step neuronal activation discretization method and a derivative approximation technique that enable the implementing the back propagation algorithm on discrete DNNs. While for the second issue, we propose a discrete state transition (DST) methodology to constrain the weights in a discrete space without saving the hidden weights. Through this way, we build a unified framework that subsumes the binary or ternary networks as its special cases, and under which a heuristic algorithm is provided at the website https://github.com/AcrossV/Gated-XNOR. More particularly, we find that when both the weights and activations become ternary values, the DNNs can be reduced to sparse binary networks, termed as gated XNOR networks (GXNOR-Nets) since only the event of non-zero weight and non-zero activation enables the control gate to start the XNOR logic operations in the original binary networks. This promises the event-driven hardware design for efficient mobile intelligence. We achieve advanced performance compared with state-of-the-art algorithms. Furthermore, the computational sparsity

Quantum circuit dynamics via path integrals: Is there a classical action for discrete-time paths?

International Nuclear Information System (INIS)

Penney, Mark D; Koh, Dax Enshan; Spekkens, Robert W

2017-01-01

It is straightforward to compute the transition amplitudes of a quantum circuit using the sum-over-paths methodology when the gates in the circuit are balanced, where a balanced gate is one for which all non-zero transition amplitudes are of equal magnitude. Here we consider the question of whether, for such circuits, the relative phases of different discrete-time paths through the configuration space can be defined in terms of a classical action, as they are for continuous-time paths. We show how to do so for certain kinds of quantum circuits, namely, Clifford circuits where the elementary systems are continuous-variable systems or discrete systems of odd-prime dimension. These types of circuit are distinguished by having phase-space representations that serve to define their classical counterparts. For discrete systems, the phase-space coordinates are also discrete variables. We show that for each gate in the generating set, one can associate a symplectomorphism on the phase-space and to each of these one can associate a generating function, defined on two copies of the configuration space. For discrete systems, the latter association is achieved using tools from algebraic geometry. Finally, we show that if the action functional for a discrete-time path through a sequence of gates is defined using the sum of the corresponding generating functions, then it yields the correct relative phases for the path-sum expression. These results are likely to be relevant for quantizing physical theories where time is fundamentally discrete, characterizing the classical limit of discrete-time quantum dynamics, and proving complexity results for quantum circuits. (paper)

Digital atom interferometer with single particle control on a discretized space-time geometry.

Science.gov (United States)

Steffen, Andreas; Alberti, Andrea; Alt, Wolfgang; Belmechri, Noomen; Hild, Sebastian; Karski, Michał; Widera, Artur; Meschede, Dieter

2012-06-19

Engineering quantum particle systems, such as quantum simulators and quantum cellular automata, relies on full coherent control of quantum paths at the single particle level. Here we present an atom interferometer operating with single trapped atoms, where single particle wave packets are controlled through spin-dependent potentials. The interferometer is constructed from a sequence of discrete operations based on a set of elementary building blocks, which permit composing arbitrary interferometer geometries in a digital manner. We use this modularity to devise a space-time analogue of the well-known spin echo technique, yielding insight into decoherence mechanisms. We also demonstrate mesoscopic delocalization of single atoms with a separation-to-localization ratio exceeding 500; this result suggests their utilization beyond quantum logic applications as nano-resolution quantum probes in precision measurements, being able to measure potential gradients with precision 5 x 10(-4) in units of gravitational acceleration g.

Discrete Events as Units of Perceived Time

Science.gov (United States)

Liverence, Brandon M.; Scholl, Brian J.

2012-01-01

In visual images, we perceive both space (as a continuous visual medium) and objects (that inhabit space). Similarly, in dynamic visual experience, we perceive both continuous time and discrete events. What is the relationship between these units of experience? The most intuitive answer may be similar to the spatial case: time is perceived as an…

A Database Approach to Distributed State Space Generation

NARCIS (Netherlands)

Blom, Stefan; Lisser, Bert; van de Pol, Jan Cornelis; Weber, M.

2007-01-01

We study distributed state space generation on a cluster of workstations. It is explained why state space partitioning by a global hash function is problematic when states contain variables from unbounded domains, such as lists or other recursive datatypes. Our solution is to introduce a database

A Database Approach to Distributed State Space Generation

NARCIS (Netherlands)

Blom, Stefan; Lisser, Bert; van de Pol, Jan Cornelis; Weber, M.; Cerna, I.; Haverkort, Boudewijn R.H.M.

2008-01-01

We study distributed state space generation on a cluster of workstations. It is explained why state space partitioning by a global hash function is problematic when states contain variables from unbounded domains, such as lists or other recursive datatypes. Our solution is to introduce a database

Discrete gradients in discrete classical mechanics

International Nuclear Information System (INIS)

Renna, L.

1987-01-01

A simple model of discrete classical mechanics is given where, starting from the continuous Hamilton equations, discrete equations of motion are established together with a proper discrete gradient definition. The conservation laws of the total discrete momentum, angular momentum, and energy are demonstrated

State-Space Inference and Learning with Gaussian Processes

OpenAIRE

Turner, R; Deisenroth, MP; Rasmussen, CE

2010-01-01

18.10.13 KB. Ok to add author version to spiral, authors hold copyright. State-space inference and learning with Gaussian processes (GPs) is an unsolved problem. We propose a new, general methodology for inference and learning in nonlinear state-space models that are described probabilistically by non-parametric GP models. We apply the expectation maximization algorithm to iterate between inference in the latent state-space and learning the parameters of the underlying GP dynamics model. C...

ASAP: An Extensible Platform for State Space Analysis

DEFF Research Database (Denmark)

Westergaard, Michael; Evangelista, Sami; Kristensen, Lars Michael

2009-01-01

The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide range of state space reduction techniques and is intended to be easy to extend and to use, making it a suitable tool fo...... for students, researchers, and industrial users that would like to analyze protocols and/or experiment with different algorithms. This paper presents ASAP from these two perspectives....

A Compositional Sweep-Line State Space Exploration Method

DEFF Research Database (Denmark)

Kristensen, Lars Michael; Mailund, Thomas

2002-01-01

State space exploration is a main approach to verification of finite-state systems. The sweep-line method exploits a certain kind of progress present in many systems to reduce peak memory usage during state space exploration. We present a new sweep-line algorithm for a compositional setting where...

Designing key-dependent chaotic S-box with larger key space

International Nuclear Information System (INIS)

Yin Ruming; Yuan Jian; Wang Jian; Shan Xiuming; Wang Xiqin

2009-01-01

The construction of cryptographically strong substitution boxes (S-boxes) is an important concern in designing secure cryptosystems. The key-dependent S-boxes designed using chaotic maps have received increasing attention in recent years. However, the key space of such S-boxes does not seem to be sufficiently large due to the limited parameter range of discretized chaotic maps. In this paper, we propose a new key-dependent S-box based on the iteration of continuous chaotic maps. We explore the continuous-valued state space of chaotic systems, and devise the discrete mapping between the input and the output of the S-box. A key-dependent S-box is constructed with the logistic map in this paper. We show that its key space could be much larger than the current key-dependent chaotic S-boxes.

Parameter and State Estimator for State Space Models

Directory of Open Access Journals (Sweden)

Ruifeng Ding

2014-01-01

Full Text Available This paper proposes a parameter and state estimator for canonical state space systems from measured input-output data. The key is to solve the system state from the state equation and to substitute it into the output equation, eliminating the state variables, and the resulting equation contains only the system inputs and outputs, and to derive a least squares parameter identification algorithm. Furthermore, the system states are computed from the estimated parameters and the input-output data. Convergence analysis using the martingale convergence theorem indicates that the parameter estimates converge to their true values. Finally, an illustrative example is provided to show that the proposed algorithm is effective.

Testing Preference Axioms in Discrete Choice experiments

DEFF Research Database (Denmark)

Hougaard, Jens Leth; Østerdal, Lars Peter; Tjur, Tue

Recent studies have tested the preference axioms of completeness and transitivity, and have detected other preference phenomena such as unstability, learning- and tiredness effects, ordering effects and dominance, in stated preference discrete choice experiments. However, it has not been explicitly...... of the preference axioms and other preference phenomena in the context of stated preference discrete choice experiments, and examine whether or how these can be subject to meaningful (statistical) tests...

Solving discrete zero point problems

NARCIS (Netherlands)

van der Laan, G.; Talman, A.J.J.; Yang, Z.F.

2004-01-01

In this paper an algorithm is proposed to .nd a discrete zero point of a function on the collection of integral points in the n-dimensional Euclidean space IRn.Starting with a given integral point, the algorithm generates a .nite sequence of adjacent integral simplices of varying dimension and

Discrete quantum gravitation in formalism of Regge calculus

International Nuclear Information System (INIS)

Khatsimovskij, V.M.

2005-01-01

One deals with approach to the discrete quantum gravitation in terms of the Regge calculus formalism. The Regge calculus represents the general relativity theory for the Riemann varieties - the piecewise planar varieties. The Regge calculus makes use of the discrete set of variables, triangulation lengths, and contains the continuous general relativity theory serving as a limiting special case when lengths tend to zero. In terms of our approach the quantum mean values of the mentioned lengths differ from zero and 10 -33 cm Planck length and it implies the discrete structure of space-time at the mentioned scales [ru

Priorities in national space strategies and governance of the member states of the European Space Agency

Science.gov (United States)

Adriaensen, Maarten; Giannopapa, Christina; Sagath, Daniel; Papastefanou, Anastasia

2015-12-01

The European Space Agency (ESA) has twenty Member States with a variety of strategic priorities and governance structures regarding their space activities. A number of countries engage in space activities exclusively though ESA, while others have also their own national space programme. Some consider ESA as their prime space agency and others have additionally their own national agency with respective programmes. The main objective of this paper is to provide an up-to date overview and a holistic assessment of strategic priorities and the national space governance structures in 20 ESA Member States. This analysis and assessment has been conducted by analysing the Member States public documents, information provided at ESA workshop on this topic and though unstructured interviews. The paper is structured to include two main elements: priorities and trends in national space strategies and space governance in ESA Member States. The first part of this paper focuses on the content and analysis of the national space strategies and indicates the main priorities and trends in Member States. The priorities are categorised with regards to technology domains, the role of space in the areas of sustainability and the motivators that boost engagement in space. These vary from one Member State to another and include with different levels of engagement in technology domains amongst others: science and exploration, navigation, Earth observation, human space flight, launchers, telecommunications, and integrated applications. Member States allocate a different role of space as enabling tool adding to the advancement of sustainability areas including: security, resources, environment and climate change, transport and communication, energy, and knowledge and education. The motivators motivating reasoning which enhances or hinders space engagement also differs. The motivators identified are industrial competitiveness, job creation, technology development and transfer, social benefits

The fundamental groupoid of the quotient of a Hausdorff space by a discontinuous action of a discrete group is the orbit groupoid of the induced action

OpenAIRE

Brown, Ronald; Higgins, Philip J.

2002-01-01

The main result is that the fundamental groupoid of the orbit space of a discontinuous action of a discrete group on a Hausdorff space which admits a universal cover is the orbit groupoid of the fundamental groupoid of the space. We also describe work of Higgins and of Taylor which makes this result usable for calculations. As an example, we compute the fundamental group of the symmetric square of a space. The main result, which is related to work of Armstrong, is due to Brown and Higgins in ...

Asymptotic analysis of discrete schemes for non-equilibrium radiation diffusion

International Nuclear Information System (INIS)

Cui, Xia; Yuan, Guang-wei; Shen, Zhi-jun

2016-01-01

Motivated by providing well-behaved fully discrete schemes in practice, this paper extends the asymptotic analysis on time integration methods for non-equilibrium radiation diffusion in [2] to space discretizations. Therein studies were carried out on a two-temperature model with Larsen's flux-limited diffusion operator, both the implicitly balanced (IB) and linearly implicit (LI) methods were shown asymptotic-preserving. In this paper, we focus on asymptotic analysis for space discrete schemes in dimensions one and two. First, in construction of the schemes, in contrast to traditional first-order approximations, asymmetric second-order accurate spatial approximations are devised for flux-limiters on boundary, and discrete schemes with second-order accuracy on global spatial domain are acquired consequently. Then by employing formal asymptotic analysis, the first-order asymptotic-preserving property for these schemes and furthermore for the fully discrete schemes is shown. Finally, with the help of manufactured solutions, numerical tests are performed, which demonstrate quantitatively the fully discrete schemes with IB time evolution indeed have the accuracy and asymptotic convergence as theory predicts, hence are well qualified for both non-equilibrium and equilibrium radiation diffusion. - Highlights: • Provide AP fully discrete schemes for non-equilibrium radiation diffusion. • Propose second order accurate schemes by asymmetric approach for boundary flux-limiter. • Show first order AP property of spatially and fully discrete schemes with IB evolution. • Devise subtle artificial solutions; verify accuracy and AP property quantitatively. • Ideas can be generalized to 3-dimensional problems and higher order implicit schemes.

A high-order method for the integration of the Galerkin semi-discretized nuclear reactor kinetics equations

International Nuclear Information System (INIS)

Vargas, L.

1988-01-01

The numerical approximate solution of the space-time nuclear reactor kinetics equation is investigated using a finite-element discretization of the space variable and a high order integration scheme for the resulting semi-discretized parabolic equation. The Galerkin method with spatial piecewise polynomial Lagrange basis functions are used to obtained a continuous time semi-discretized form of the space-time reactor kinetics equation. A temporal discretization is then carried out with a numerical scheme based on the Iterated Defect Correction (IDC) method using piecewise quadratic polynomials or exponential functions. The kinetics equations are thus solved with in a general finite element framework with respect to space as well as time variables in which the order of convergence of the spatial and temporal discretizations is consistently high. A computer code GALFEM/IDC is developed, to implement the numerical schemes described above. This issued to solve a one space dimensional benchmark problem. The results of the numerical experiments confirm the theoretical arguments and show that the convergence is very fast and the overall procedure is quite efficient. This is due to the good asymptotic properties of the numerical scheme which is of third order in the time interval

On the meaningfulness of testing preference axioms in stated preference discrete choice experiments

DEFF Research Database (Denmark)

Hougaard, Jens Leth; Tjur, Carl Tue; Østerdal, Lars Peter Raahave

2012-01-01

A stream of studies on evaluation of health care services and public goods have developed tests of the preference axioms of completeness and transitivity and methods for detecting other preference phenomena such as unstability, learning- and tiredness effects, and random error, in stated preference...... discrete choice experiments. This methodological paper tries to identify the role of the preference axioms and other preference phenomena in the context of such experiments and discusses whether or howsuch axioms and phenomena can be subject to meaningful (statistical) tests....

Are Health State Valuations from the General Public Biased? A Test of Health State Reference Dependency Using Self-assessed Health and an Efficient Discrete Choice Experiment.

Science.gov (United States)

Jonker, Marcel F; Attema, Arthur E; Donkers, Bas; Stolk, Elly A; Versteegh, Matthijs M

2017-12-01

Health state valuations of patients and non-patients are not the same, whereas health state values obtained from general population samples are a weighted average of both. The latter constitutes an often-overlooked source of bias. This study investigates the resulting bias and tests for the impact of reference dependency on health state valuations using an efficient discrete choice experiment administered to a Dutch nationally representative sample of 788 respondents. A Bayesian discrete choice experiment design consisting of eight sets of 24 (matched pairwise) choice tasks was developed, with each set providing full identification of the included parameters. Mixed logit models were used to estimate health state preferences with respondents' own health included as an additional predictor. Our results indicate that respondents with impaired health worse than or equal to the health state levels under evaluation have approximately 30% smaller health state decrements. This confirms that reference dependency can be observed in general population samples and affirms the relevance of prospect theory in health state valuations. At the same time, the limited number of respondents with severe health impairments does not appear to bias social tariffs as obtained from general population samples. Copyright © 2016 John Wiley & Sons, Ltd. Copyright © 2016 John Wiley & Sons, Ltd.

Discrete Curvatures and Discrete Minimal Surfaces

KAUST Repository

Sun, Xiang

2012-06-01

This thesis presents an overview of some approaches to compute Gaussian and mean curvature on discrete surfaces and discusses discrete minimal surfaces. The variety of applications of differential geometry in visualization and shape design leads to great interest in studying discrete surfaces. With the rich smooth surface theory in hand, one would hope that this elegant theory can still be applied to the discrete counter part. Such a generalization, however, is not always successful. While discrete surfaces have the advantage of being finite dimensional, thus easier to treat, their geometric properties such as curvatures are not well defined in the classical sense. Furthermore, the powerful calculus tool can hardly be applied. The methods in this thesis, including angular defect formula, cotangent formula, parallel meshes, relative geometry etc. are approaches based on offset meshes or generalized offset meshes. As an important application, we discuss discrete minimal surfaces and discrete Koenigs meshes.

Uncertainty evaluation for IIR (infinite impulse response) filtering using a state-space approach

International Nuclear Information System (INIS)

Link, Alfred; Elster, Clemens

2009-01-01

A novel method is proposed for evaluating the uncertainty associated with the output of a discrete-time IIR filter when the input signal is corrupted by additive noise and the filter coefficients are uncertain. This task arises, for instance, when the noise-corrupted output of a measurement system is compensated by a digital filter which has been designed on the basis of the characteristics of the measurement system. We assume that the noise is either stationary or uncorrelated, and we presume knowledge about its autocovariance function or its time-dependent variances, respectively. Uncertainty evaluation is considered in line with the 'Guide to the Expression of Uncertainty in Measurement'. A state-space representation is used to derive a calculation scheme which allows the uncertainties to be evaluated in an easy way and also enables real-time applications. The proposed procedure is illustrated by an example

Lindblad-driven discretized leads for nonequilibrium steady-state transport in quantum impurity models: Recovering the continuum limit

Science.gov (United States)

Schwarz, F.; Goldstein, M.; Dorda, A.; Arrigoni, E.; Weichselbaum, A.; von Delft, J.

2016-10-01

The description of interacting quantum impurity models in steady-state nonequilibrium is an open challenge for computational many-particle methods: the numerical requirement of using a finite number of lead levels and the physical requirement of describing a truly open quantum system are seemingly incompatible. One possibility to bridge this gap is the use of Lindblad-driven discretized leads (LDDL): one couples auxiliary continuous reservoirs to the discretized lead levels and represents these additional reservoirs by Lindblad terms in the Liouville equation. For quadratic models governed by Lindbladian dynamics, we present an elementary approach for obtaining correlation functions analytically. In a second part, we use this approach to explicitly discuss the conditions under which the continuum limit of the LDDL approach recovers the correct representation of thermal reservoirs. As an analytically solvable example, the nonequilibrium resonant level model is studied in greater detail. Lastly, we present ideas towards a numerical evaluation of the suggested Lindblad equation for interacting impurities based on matrix product states. In particular, we present a reformulation of the Lindblad equation, which has the useful property that the leads can be mapped onto a chain where both the Hamiltonian dynamics and the Lindblad driving are local at the same time. Moreover, we discuss the possibility to combine the Lindblad approach with a logarithmic discretization needed for the exploration of exponentially small energy scales.

Multidimensional electron-photon transport with standard discrete ordinates codes

International Nuclear Information System (INIS)

Drumm, C.R.

1995-01-01

A method is described for generating electron cross sections that are compatible with standard discrete ordinates codes without modification. There are many advantages of using an established discrete ordinates solver, e.g. immediately available adjoint capability. Coupled electron-photon transport capability is needed for many applications, including the modeling of the response of electronics components to space and man-made radiation environments. The cross sections have been successfully used in the DORT, TWODANT and TORT discrete ordinates codes. The cross sections are shown to provide accurate and efficient solutions to certain multidimensional electronphoton transport problems

Optimization of Operations Resources via Discrete Event Simulation Modeling

Science.gov (United States)

Joshi, B.; Morris, D.; White, N.; Unal, R.

1996-01-01

The resource levels required for operation and support of reusable launch vehicles are typically defined through discrete event simulation modeling. Minimizing these resources constitutes an optimization problem involving discrete variables and simulation. Conventional approaches to solve such optimization problems involving integer valued decision variables are the pattern search and statistical methods. However, in a simulation environment that is characterized by search spaces of unknown topology and stochastic measures, these optimization approaches often prove inadequate. In this paper, we have explored the applicability of genetic algorithms to the simulation domain. Genetic algorithms provide a robust search strategy that does not require continuity and differentiability of the problem domain. The genetic algorithm successfully minimized the operation and support activities for a space vehicle, through a discrete event simulation model. The practical issues associated with simulation optimization, such as stochastic variables and constraints, were also taken into consideration.

Local bounds preserving stabilization for continuous Galerkin discretization of hyperbolic systems

Science.gov (United States)

Mabuza, Sibusiso; Shadid, John N.; Kuzmin, Dmitri

2018-05-01

The objective of this paper is to present a local bounds preserving stabilized finite element scheme for hyperbolic systems on unstructured meshes based on continuous Galerkin (CG) discretization in space. A CG semi-discrete scheme with low order artificial dissipation that satisfies the local extremum diminishing (LED) condition for systems is used to discretize a system of conservation equations in space. The low order artificial diffusion is based on approximate Riemann solvers for hyperbolic conservation laws. In this case we consider both Rusanov and Roe artificial diffusion operators. In the Rusanov case, two designs are considered, a nodal based diffusion operator and a local projection stabilization operator. The result is a discretization that is LED and has first order convergence behavior. To achieve high resolution, limited antidiffusion is added back to the semi-discrete form where the limiter is constructed from a linearity preserving local projection stabilization operator. The procedure follows the algebraic flux correction procedure usually used in flux corrected transport algorithms. To further deal with phase errors (or terracing) common in FCT type methods, high order background dissipation is added to the antidiffusive correction. The resulting stabilized semi-discrete scheme can be discretized in time using a wide variety of time integrators. Numerical examples involving nonlinear scalar Burgers equation, and several shock hydrodynamics simulations for the Euler system are considered to demonstrate the performance of the method. For time discretization, Crank-Nicolson scheme and backward Euler scheme are utilized.

Coherent states in the fermionic Fock space

International Nuclear Information System (INIS)

Oeckl, Robert

2015-01-01

We construct the coherent states in the sense of Gilmore and Perelomov for the fermionic Fock space. Our treatment is from the outset adapted to the infinite-dimensional case. The fermionic Fock space becomes in this way a reproducing kernel Hilbert space of continuous holomorphic functions. (paper)

Discrete symmetries and their stringy origin

International Nuclear Information System (INIS)

Mayorga Pena, Damian Kaloni

2014-05-01

Discrete symmetries have proven to be very useful in controlling the phenomenology of theories beyond the standard model. In this work we explore how these symmetries emerge from string compactifications. Our approach is twofold: On the one hand, we consider the heterotic string on orbifold backgrounds. In this case the discrete symmetries can be derived from the orbifold conformal field theory, and it can be shown that they are in close relation with the orbifold geometry. We devote special attention to R-symmetries, which arise from discrete remnants of the Lorentz group in compact space. Further we discuss the physical implications of these symmetries both in the heterotic mini-landscape and in newly constructed models based on the Z 2 x Z 4 orbifold. In both cases we observe that the discrete symmetries favor particular locations in the orbifold where the particles of standard model should live. On the other hand we consider a class of F-theory models exhibiting an SU(5) gauge group, times additional U(1) symmetries. In this case, the smooth compactification background does not permit us to track the discrete symmetries as transparently as in orbifold models. Hence, we follow a different approach and search for discrete subgroups emerging after the U(1)s are broken. We observe that in this approach it is possible to obtain the standard Z 2 matter parity of the MSSM.

A Learning State-Space Model for Image Retrieval

Directory of Open Access Journals (Sweden)

Lee Greg C

2007-01-01

Full Text Available This paper proposes an approach based on a state-space model for learning the user concepts in image retrieval. We first design a scheme of region-based image representation based on concept units, which are integrated with different types of feature spaces and with different region scales of image segmentation. The design of the concept units aims at describing similar characteristics at a certain perspective among relevant images. We present the details of our proposed approach based on a state-space model for interactive image retrieval, including likelihood and transition models, and we also describe some experiments that show the efficacy of our proposed model. This work demonstrates the feasibility of using a state-space model to estimate the user intuition in image retrieval.

Stabilization of discrete-time LTI positive systems

Directory of Open Access Journals (Sweden)

Krokavec Dušan

2017-12-01

Full Text Available The paper mitigates the existing conditions reported in the previous literature for control design of discrete-time linear positive systems. Incorporating an associated structure of linear matrix inequalities, combined with the Lyapunov inequality guaranteing asymptotic stability of discrete-time positive system structures, new conditions are presented with which the state-feedback controllers and the system state observers can be designed. Associated solutions of the proposed design conditions are illustrated by numerical illustrative examples.

High-order solution methods for grey discrete ordinates thermal radiative transfer

Energy Technology Data Exchange (ETDEWEB)

Maginot, Peter G., E-mail: maginot1@llnl.gov [Lawrence Livermore National Laboratory, Livermore, CA 94551 (United States); Ragusa, Jean C., E-mail: jean.ragusa@tamu.edu [Department of Nuclear Engineering, Texas A& M University, College Station, TX 77843 (United States); Morel, Jim E., E-mail: morel@tamu.edu [Department of Nuclear Engineering, Texas A& M University, College Station, TX 77843 (United States)

2016-12-15

This work presents a solution methodology for solving the grey radiative transfer equations that is both spatially and temporally more accurate than the canonical radiative transfer solution technique of linear discontinuous finite element discretization in space with implicit Euler integration in time. We solve the grey radiative transfer equations by fully converging the nonlinear temperature dependence of the material specific heat, material opacities, and Planck function. The grey radiative transfer equations are discretized in space using arbitrary-order self-lumping discontinuous finite elements and integrated in time with arbitrary-order diagonally implicit Runge–Kutta time integration techniques. Iterative convergence of the radiation equation is accelerated using a modified interior penalty diffusion operator to precondition the full discrete ordinates transport operator.

Generalized Detectability for Discrete Event Systems

Science.gov (United States)

Shu, Shaolong; Lin, Feng

2011-01-01

In our previous work, we investigated detectability of discrete event systems, which is defined as the ability to determine the current and subsequent states of a system based on observation. For different applications, we defined four types of detectabilities: (weak) detectability, strong detectability, (weak) periodic detectability, and strong periodic detectability. In this paper, we extend our results in three aspects. (1) We extend detectability from deterministic systems to nondeterministic systems. Such a generalization is necessary because there are many systems that need to be modeled as nondeterministic discrete event systems. (2) We develop polynomial algorithms to check strong detectability. The previous algorithms are based on observer whose construction is of exponential complexity, while the new algorithms are based on a new automaton called detector. (3) We extend detectability to D-detectability. While detectability requires determining the exact state of a system, D-detectability relaxes this requirement by asking only to distinguish certain pairs of states. With these extensions, the theory on detectability of discrete event systems becomes more applicable in solving many practical problems. PMID:21691432

Perfect discretization of reparametrization invariant path integrals

International Nuclear Information System (INIS)

Bahr, Benjamin; Dittrich, Bianca; Steinhaus, Sebastian

2011-01-01

To obtain a well-defined path integral one often employs discretizations. In the case of gravity and reparametrization-invariant systems, the latter of which we consider here as a toy example, discretizations generically break diffeomorphism and reparametrization symmetry, respectively. This has severe implications, as these symmetries determine the dynamics of the corresponding system. Indeed we will show that a discretized path integral with reparametrization-invariance is necessarily also discretization independent and therefore uniquely determined by the corresponding continuum quantum mechanical propagator. We use this insight to develop an iterative method for constructing such a discretized path integral, akin to a Wilsonian RG flow. This allows us to address the problem of discretization ambiguities and of an anomaly-free path integral measure for such systems. The latter is needed to obtain a path integral, that can act as a projector onto the physical states, satisfying the quantum constraints. We will comment on implications for discrete quantum gravity models, such as spin foams.

Perfect discretization of reparametrization invariant path integrals

Science.gov (United States)

Bahr, Benjamin; Dittrich, Bianca; Steinhaus, Sebastian

2011-05-01

To obtain a well-defined path integral one often employs discretizations. In the case of gravity and reparametrization-invariant systems, the latter of which we consider here as a toy example, discretizations generically break diffeomorphism and reparametrization symmetry, respectively. This has severe implications, as these symmetries determine the dynamics of the corresponding system. Indeed we will show that a discretized path integral with reparametrization-invariance is necessarily also discretization independent and therefore uniquely determined by the corresponding continuum quantum mechanical propagator. We use this insight to develop an iterative method for constructing such a discretized path integral, akin to a Wilsonian RG flow. This allows us to address the problem of discretization ambiguities and of an anomaly-free path integral measure for such systems. The latter is needed to obtain a path integral, that can act as a projector onto the physical states, satisfying the quantum constraints. We will comment on implications for discrete quantum gravity models, such as spin foams.

Application of a discrete-energy, discrete-ordinates technique to the study of neutron transport in iron

International Nuclear Information System (INIS)

Ching, J.T.

1975-01-01

An algebraic equivalence between the point-energy and multigroup forms of the Boltzmann transport equation is demonstrated which allows the development of a discrete-energy, discrete-ordinates method for the solution of radiation transport problems. The method utilizes a modified version of a cross section processing scheme devised for the moments method code BMT and the transport equation solution algorithm from the one-dimensional discrete-ordinates transport code ANISN. The combined system, identified as MOMANS, computes fluxes directly from point cross sections in a single operation. In the cross-section processing, the group averaging required for multigroup calculations is replaced by a fast numerical scheme capable of generating a set of transfer cross sections containing all the physical features of interest, thereby increasing the detail in the calculated results. Test calculations in which the discrete-energy method was compared with the multigroup method have shown that for the same energy grid (number of points = number of groups), the discrete-energy method is faster but somewhat less accurate than the multigroup method. However, the accuracy of the discrete-energy method increases rapidly as the spacing between energy points is decreased, approaching that of multigroup calculations. For problems requiring great detail in the energy spectrum the discrete-energy method has therefore proven to be as accurate as, and more economical than, the multigroup technique. This was demonstrated by the application of the method to the study of the transport of neutrons in an iron sphere. Using the capability of the discrete-energy method for rapidly treating changes in cross-section sets, the propagation of neutrons from a 14 MeV source in a 22 cm radius sphere of iron was analyzed for sensitivity to changes in the microscopic scattering mechanisms

Error analysis for a monolithic discretization of coupled Darcy and Stokes problems

KAUST Repository

Girault, V.; Kanschat, G.; Riviè re, B.

2014-01-01

© de Gruyter 2014. The coupled Stokes and Darcy equations are approximated by a strongly conservative finite element method. The discrete spaces are the divergence-conforming velocity space with matching pressure space such as the Raviart

Collective Robotic Assembly of Discrete Lattice Elements (CRADLE)

Data.gov (United States)

National Aeronautics and Space Administration — CRADLE seeks to address this need through a novel application of an integrated robot-structure-material system based on discrete lattice construction using task...

Graph-cut based discrete-valued image reconstruction.

Science.gov (United States)

Tuysuzoglu, Ahmet; Karl, W Clem; Stojanovic, Ivana; Castañòn, David; Ünlü, M Selim

2015-05-01

Efficient graph-cut methods have been used with great success for labeling and denoising problems occurring in computer vision. Unfortunately, the presence of linear image mappings has prevented the use of these techniques in most discrete-amplitude image reconstruction problems. In this paper, we develop a graph-cut based framework for the direct solution of discrete amplitude linear image reconstruction problems cast as regularized energy function minimizations. We first analyze the structure of discrete linear inverse problem cost functions to show that the obstacle to the application of graph-cut methods to their solution is the variable mixing caused by the presence of the linear sensing operator. We then propose to use a surrogate energy functional that overcomes the challenges imposed by the sensing operator yet can be utilized efficiently in existing graph-cut frameworks. We use this surrogate energy functional to devise a monotonic iterative algorithm for the solution of discrete valued inverse problems. We first provide experiments using local convolutional operators and show the robustness of the proposed technique to noise and stability to changes in regularization parameter. Then we focus on nonlocal, tomographic examples where we consider limited-angle data problems. We compare our technique with state-of-the-art discrete and continuous image reconstruction techniques. Experiments show that the proposed method outperforms state-of-the-art techniques in challenging scenarios involving discrete valued unknowns.

Uniform stability for time-varying infinite-dimensional discrete linear systems

International Nuclear Information System (INIS)

Kubrusly, C.S.

1988-09-01

Stability for time-varying discrete linear systems in a Banach space is investigated. On the one hand, it established a fairly complete collection of necessary and sufficient conditions for uniform asymptotic equistability for input-free systems. This includes uniform and strong power equistability, and uniform and strong l p -equistability, among other technical conditions which also play essential role in stability theory. On other hand, it is shown that uniform asymptotic equistability for input-free systems is equivalent to each of the following concepts of uniform stability for forced systems: l p -input l p -state, c o -input c o -state, bounded-input bounded-state, l p>1 -input bounded-state, c sub (o)-input bounded-state, and convergent-input bounded-state; which are also equivalent to their nonuniform counterparts. For time-varying convergent systems, the above is also equivalent to convergent-input convergent-state stability. The proofs presented here are all ''elementary'' in the sense that they are based essentially only on the Banach-Steinhaus theorem. (autor) [pt

Existence for a class of discrete hyperbolic problems

Directory of Open Access Journals (Sweden)

Luca Rodica

2006-01-01

Full Text Available We investigate the existence and uniqueness of solutions to a class of discrete hyperbolic systems with some nonlinear extreme conditions and initial data, in a real Hilbert space.

Application of an efficient Bayesian discretization method to biomedical data

Directory of Open Access Journals (Sweden)

Gopalakrishnan Vanathi

2011-07-01

Full Text Available Abstract Background Several data mining methods require data that are discrete, and other methods often perform better with discrete data. We introduce an efficient Bayesian discretization (EBD method for optimal discretization of variables that runs efficiently on high-dimensional biomedical datasets. The EBD method consists of two components, namely, a Bayesian score to evaluate discretizations and a dynamic programming search procedure to efficiently search the space of possible discretizations. We compared the performance of EBD to Fayyad and Irani's (FI discretization method, which is commonly used for discretization. Results On 24 biomedical datasets obtained from high-throughput transcriptomic and proteomic studies, the classification performances of the C4.5 classifier and the naïve Bayes classifier were statistically significantly better when the predictor variables were discretized using EBD over FI. EBD was statistically significantly more stable to the variability of the datasets than FI. However, EBD was less robust, though not statistically significantly so, than FI and produced slightly more complex discretizations than FI. Conclusions On a range of biomedical datasets, a Bayesian discretization method (EBD yielded better classification performance and stability but was less robust than the widely used FI discretization method. The EBD discretization method is easy to implement, permits the incorporation of prior knowledge and belief, and is sufficiently fast for application to high-dimensional data.

Using Discrete Event Simulation to Model Integrated Commodities Consumption for a Launch Campaign of the Space Launch System

Science.gov (United States)

Leonard, Daniel; Parsons, Jeremy W.; Cates, Grant

2014-01-01

In May 2013, NASA's GSDO Program requested a study to develop a discrete event simulation (DES) model that analyzes the launch campaign process of the Space Launch System (SLS) from an integrated commodities perspective. The scope of the study includes launch countdown and scrub turnaround and focuses on four core launch commodities: hydrogen, oxygen, nitrogen, and helium. Previously, the commodities were only analyzed individually and deterministically for their launch support capability, but this study was the first to integrate them to examine the impact of their interactions on a launch campaign as well as the effects of process variability on commodity availability. The study produced a validated DES model with Rockwell Arena that showed that Kennedy Space Center's ground systems were capable of supporting a 48-hour scrub turnaround for the SLS. The model will be maintained and updated to provide commodity consumption analysis of future ground system and SLS configurations.

State-space prediction model for chaotic time series

Science.gov (United States)

Alparslan, A. K.; Sayar, M.; Atilgan, A. R.

1998-08-01

A simple method for predicting the continuation of scalar chaotic time series ahead in time is proposed. The false nearest neighbors technique in connection with the time-delayed embedding is employed so as to reconstruct the state space. A local forecasting model based upon the time evolution of the topological neighboring in the reconstructed phase space is suggested. A moving root-mean-square error is utilized in order to monitor the error along the prediction horizon. The model is tested for the convection amplitude of the Lorenz model. The results indicate that for approximately 100 cycles of the training data, the prediction follows the actual continuation very closely about six cycles. The proposed model, like other state-space forecasting models, captures the long-term behavior of the system due to the use of spatial neighbors in the state space.

State Machine Modeling of the Space Launch System Solid Rocket Boosters

Science.gov (United States)

Harris, Joshua A.; Patterson-Hine, Ann

2013-01-01

The Space Launch System is a Shuttle-derived heavy-lift vehicle currently in development to serve as NASA's premiere launch vehicle for space exploration. The Space Launch System is a multistage rocket with two Solid Rocket Boosters and multiple payloads, including the Multi-Purpose Crew Vehicle. Planned Space Launch System destinations include near-Earth asteroids, the Moon, Mars, and Lagrange points. The Space Launch System is a complex system with many subsystems, requiring considerable systems engineering and integration. To this end, state machine analysis offers a method to support engineering and operational e orts, identify and avert undesirable or potentially hazardous system states, and evaluate system requirements. Finite State Machines model a system as a finite number of states, with transitions between states controlled by state-based and event-based logic. State machines are a useful tool for understanding complex system behaviors and evaluating "what-if" scenarios. This work contributes to a state machine model of the Space Launch System developed at NASA Ames Research Center. The Space Launch System Solid Rocket Booster avionics and ignition subsystems are modeled using MATLAB/Stateflow software. This model is integrated into a larger model of Space Launch System avionics used for verification and validation of Space Launch System operating procedures and design requirements. This includes testing both nominal and o -nominal system states and command sequences.

International Conference eXtended Discretization MethodS

CERN Document Server

Benvenuti, Elena

2016-01-01

This book gathers selected contributions on emerging research work presented at the International Conference eXtended Discretization MethodS (X-DMS), held in Ferrara in September 2015. It highlights the most relevant advances made at the international level in the context of expanding classical discretization methods, like finite elements, to the numerical analysis of a variety of physical problems. The improvements are intended to achieve higher computational efficiency and to account for special features of the solution directly in the approximation space and/or in the discretization procedure. The methods described include, among others, partition of unity methods (meshfree, XFEM, GFEM), virtual element methods, fictitious domain methods, and special techniques for static and evolving interfaces. The uniting feature of all contributions is the direct link between computational methodologies and their application to different engineering areas.

Reversibility and the structure of the local state space

International Nuclear Information System (INIS)

Al-Safi, Sabri W; Richens, Jonathan

2015-01-01

The richness of quantum theory’s reversible dynamics is one of its unique operational characteristics, with recent results suggesting deep links between the theory’s reversible dynamics, its local state space and the degree of non-locality it permits. We explore the delicate interplay between these features, demonstrating that reversibility places strong constraints on both the local and global state space. Firstly, we show that all reversible dynamics are trivial (composed of local transformations and permutations of subsytems) in maximally non-local theories whose local state spaces satisfy a dichotomy criterion; this applies to a range of operational models that have previously been studied, such as d-dimensional ‘hyperballs’ and almost all regular polytope systems. By separately deriving a similar result for odd-sided polygons, we show that classical systems are the only regular polytope state spaces whose maximally non-local composites allow for non-trivial reversible dynamics. Secondly, we show that non-trivial reversible dynamics do exist in maximally non-local theories whose state spaces are reducible into two or more smaller spaces. We conjecture that this is a necessary condition for the existence of such dynamics, but that reversible entanglement generation remains impossible even in this scenario. (paper)

Switching dynamics in reaction networks induced by molecular discreteness

International Nuclear Information System (INIS)

Togashi, Yuichi; Kaneko, Kunihiko

2007-01-01

To study the fluctuations and dynamics in chemical reaction processes, stochastic differential equations based on the rate equation involving chemical concentrations are often adopted. When the number of molecules is very small, however, the discreteness in the number of molecules cannot be neglected since the number of molecules must be an integer. This discreteness can be important in biochemical reactions, where the total number of molecules is not significantly larger than the number of chemical species. To elucidate the effects of such discreteness, we study autocatalytic reaction systems comprising several chemical species through stochastic particle simulations. The generation of novel states is observed; it is caused by the extinction of some molecular species due to the discreteness in their number. We demonstrate that the reaction dynamics are switched by a single molecule, which leads to the reconstruction of the acting network structure. We also show the strong dependence of the chemical concentrations on the system size, which is caused by transitions to discreteness-induced novel states

On the mixed discretization of the time domain magnetic field integral equation

KAUST Repository

Ulku, Huseyin Arda

2012-09-01

Time domain magnetic field integral equation (MFIE) is discretized using divergence-conforming Rao-Wilton-Glisson (RWG) and curl-conforming Buffa-Christiansen (BC) functions as spatial basis and testing functions, respectively. The resulting mixed discretization scheme, unlike the classical scheme which uses RWG functions as both basis and testing functions, is proper: Testing functions belong to dual space of the basis functions. Numerical results demonstrate that the marching on-in-time (MOT) solution of the mixed discretized MFIE yields more accurate results than that of classically discretized MFIE. © 2012 IEEE.

Aggregation patterns from nonlocal interactions: Discrete stochastic and continuum modeling

KAUST Repository

Hackett-Jones, Emily J.

2012-04-17

Conservation equations governed by a nonlocal interaction potential generate aggregates from an initial uniform distribution of particles. We address the evolution and formation of these aggregating steady states when the interaction potential has both attractive and repulsive singularities. Currently, no existence theory for such potentials is available. We develop and compare two complementary solution methods, a continuous pseudoinverse method and a discrete stochastic lattice approach, and formally show a connection between the two. Interesting aggregation patterns involving multiple peaks for a simple doubly singular attractive-repulsive potential are determined. For a swarming Morse potential, characteristic slow-fast dynamics in the scaled inverse energy is observed in the evolution to steady state in both the continuous and discrete approaches. The discrete approach is found to be remarkably robust to modifications in movement rules, related to the potential function. The comparable evolution dynamics and steady states of the discrete model with the continuum model suggest that the discrete stochastic approach is a promising way of probing aggregation patterns arising from two- and three-dimensional nonlocal interaction conservation equations. © 2012 American Physical Society.

No firewalls in quantum gravity: the role of discreteness of quantum geometry in resolving the information loss paradox

International Nuclear Information System (INIS)

Perez, Alejandro

2015-01-01

In an approach to quantum gravity where space-time arises from coarse graining of fundamentally discrete structures, black hole formation and subsequent evaporation can be described by a unitary evolution without the problems encountered by the standard remnant scenario or the schemes where information is assumed to come out with the radiation during evaporation (firewalls and complementarity). The final state is purified by correlations with the fundamental pre-geometric structures (in the sense of Wheeler), which are available in such approaches, and, like defects in the underlying space-time weave, can carry zero energy. (paper)

No firewalls in quantum gravity: the role of discreteness of quantum geometry in resolving the information loss paradox

Science.gov (United States)

Perez, Alejandro

2015-04-01

In an approach to quantum gravity where space-time arises from coarse graining of fundamentally discrete structures, black hole formation and subsequent evaporation can be described by a unitary evolution without the problems encountered by the standard remnant scenario or the schemes where information is assumed to come out with the radiation during evaporation (firewalls and complementarity). The final state is purified by correlations with the fundamental pre-geometric structures (in the sense of Wheeler), which are available in such approaches, and, like defects in the underlying space-time weave, can carry zero energy.

A Systematic Controller Design for a Grid-Connected Inverter with LCL Filter Using a Discrete-Time Integral State Feedback Control and State Observer

Directory of Open Access Journals (Sweden)

Seung-Jin Yoon

2018-02-01

Full Text Available Inductive-capacitive-inductive (LCL-type filters are currently preferred as a replacement for L-type filters in distributed generation (DG power systems, due to their superior harmonic attenuation capability. However, the third-order dynamics introduced by LCL filters pose a challenge to design a satisfactory controller for such a system. Conventionally, an LCL-filtered grid-connected inverter can be effectively controlled by using a full-state feedback control. However, this control approach requires the measurement of all system state variables, which brings about more complexity for the inverter system. To address this issue, this paper presents a systematic procedure to design an observer-based integral state feedback control for a LCL-filtered grid-connected inverter in the discrete-time domain. The proposed control scheme consists of an integral state feedback controller and a full-state observer which uses the control input, grid-side currents, and grid voltages to predict all the system state variables. Therefore, only the grid-side current sensors and grid voltage sensors are required to implement the proposed control scheme. Due to the discrete-time integrator incorporated in the state feedback controller, the proposed control scheme ensures both the reference tracking and disturbance rejection performance of the inverter system in a practical and simple way. As a result, superior control performance can be achieved by using the reduced number of sensors, which significantly reduces the cost and complexity of the LCL-filtered grid-connected inverter system in DG applications. To verify the practical usefulness of the proposed control scheme, a 2 kW three-phase prototype grid-connected inverter has been constructed, and the proposed control system has been implemented based on 32-bit floating-point digital signal processor (DSP TMS320F28335. The effectiveness of the proposed scheme is demonstrated through the comprehensive simulation

Identified state-space prediction model for aero-optical wavefronts

Science.gov (United States)

Faghihi, Azin; Tesch, Jonathan; Gibson, Steve

2013-07-01

A state-space disturbance model and associated prediction filter for aero-optical wavefronts are described. The model is computed by system identification from a sequence of wavefronts measured in an airborne laboratory. Estimates of the statistics and flow velocity of the wavefront data are shown and can be computed from the matrices in the state-space model without returning to the original data. Numerical results compare velocity values and power spectra computed from the identified state-space model with those computed from the aero-optical data.

Distributed Graph-Based State Space Generation

NARCIS (Netherlands)

Blom, Stefan; Kant, Gijs; Rensink, Arend; De Lara, J.; Varro, D.

LTSMIN provides a framework in which state space generation can be distributed easily over many cores on a single compute node, as well as over multiple compute nodes. The tool works on the basis of a vector representation of the states; the individual cores are assigned the task of computing all

Advances in Discrete-Event Simulation for MSL Command Validation

Science.gov (United States)

Patrikalakis, Alexander; O'Reilly, Taifun

2013-01-01

In the last five years, the discrete event simulator, SEQuence GENerator (SEQGEN), developed at the Jet Propulsion Laboratory to plan deep-space missions, has greatly increased uplink operations capacity to deal with increasingly complicated missions. In this paper, we describe how the Mars Science Laboratory (MSL) project makes full use of an interpreted environment to simulate change in more than fifty thousand flight software parameters and conditional command sequences to predict the result of executing a conditional branch in a command sequence, and enable the ability to warn users whenever one or more simulated spacecraft states change in an unexpected manner. Using these new SEQGEN features, operators plan more activities in one sol than ever before.

Space groups for solid state scientists

CERN Document Server

Glazer, Michael; Glazer, Alexander N

2014-01-01

This Second Edition provides solid state scientists, who are not necessarily experts in crystallography, with an understandable and comprehensive guide to the new International Tables for Crystallography. The basic ideas of symmetry, lattices, point groups, and space groups are explained in a clear and detailed manner. Notation is introduced in a step-by-step way so that the reader is supplied with the tools necessary to derive and apply space group information. Of particular interest in this second edition are the discussions of space groups application to such timely topics as high-te

Gauge origin of discrete flavor symmetries in heterotic orbifolds

Directory of Open Access Journals (Sweden)

Florian Beye

2014-09-01

Full Text Available We show that non-Abelian discrete symmetries in orbifold string models have a gauge origin. This can be understood when looking at the vicinity of a symmetry enhanced point in moduli space. At such an enhanced point, orbifold fixed points are characterized by an enhanced gauge symmetry. This gauge symmetry can be broken to a discrete subgroup by a nontrivial vacuum expectation value of the Kähler modulus T. Using this mechanism it is shown that the Δ(54 non-Abelian discrete symmetry group originates from a SU(3 gauge symmetry, whereas the D4 symmetry group is obtained from a SU(2 gauge symmetry.

Quantization of Space-like States in Lorentz-Violating Theories

Science.gov (United States)

Colladay, Don

2018-01-01

Lorentz violation frequently induces modified dispersion relations that can yield space-like states that impede the standard quantization procedures. In certain cases, an extended Hamiltonian formalism can be used to define observer-covariant normalization factors for field expansions and phase space integrals. These factors extend the theory to include non-concordant frames in which there are negative-energy states. This formalism provides a rigorous way to quantize certain theories containing space-like states and allows for the consistent computation of Cherenkov radiation rates in arbitrary frames and avoids singular expressions.

A low noise discrete velocity method for the Boltzmann equation with quantized rotational and vibrational energy

Science.gov (United States)

Clarke, Peter; Varghese, Philip; Goldstein, David

2018-01-01

A discrete velocity method is developed for gas mixtures of diatomic molecules with both rotational and vibrational energy states. A full quantized model is described, and rotation-translation and vibration-translation energy exchanges are simulated using a Larsen-Borgnakke exchange model. Elastic and inelastic molecular interactions are modeled during every simulated collision to help produce smooth internal energy distributions. The method is verified by comparing simulations of homogeneous relaxation by our discrete velocity method to numerical solutions of the Jeans and Landau-Teller equations, and to direct simulation Monte Carlo. We compute the structure of a 1D shock using this method, and determine how the rotational energy distribution varies with spatial location in the shock and with position in velocity space.

Fractional equations of kicked systems and discrete maps

International Nuclear Information System (INIS)

Tarasov, Vasily E; Zaslavsky, George M

2008-01-01

Starting from kicked equations of motion with derivatives of non-integer orders, we obtain 'fractional' discrete maps. These maps are generalizations of well-known universal, standard, dissipative, kicked damped rotator maps. The main property of the suggested fractional maps is a long-term memory. The memory effects in the fractional discrete maps mean that their present state evolution depends on all past states with special forms of weights. These forms are represented by combinations of power-law functions

On an integrable discretization of the modified Korteweg-de Vries equation

Science.gov (United States)

Suris, Yuri B.

1997-02-01

We find time discretizations for the two “second flows” of the Ablowitz-Ladik hierachy. These discretizations are described by local equations of motion, as opposed to the previously known ones, due to Taha and Ablowitz. Certain superpositions of our maps allow a one-field reduction and serve therefore as valid space-time discretizations of the modified Korteweg-de Vries equation. We expect the performance of these discretizations to be much better then that of the Taha-Ablowitz scheme. The way of finding interpolating Hamiltonians for our maps is also indicated, as well as the solution of an initial value problem in terms of matrix factorizations.

System resiliency quantification using non-state-space and state-space analytic models

International Nuclear Information System (INIS)

Ghosh, Rahul; Kim, DongSeong; Trivedi, Kishor S.

2013-01-01

Resiliency is becoming an important service attribute for large scale distributed systems and networks. Key problems in resiliency quantification are lack of consensus on the definition of resiliency and systematic approach to quantify system resiliency. In general, resiliency is defined as the ability of (system/person/organization) to recover/defy/resist from any shock, insult, or disturbance [1]. Many researchers interpret resiliency as a synonym for fault-tolerance and reliability/availability. However, effect of failure/repair on systems is already covered by reliability/availability measures and that of on individual jobs is well covered under the umbrella of performability [2] and task completion time analysis [3]. We use Laprie [4] and Simoncini [5]'s definition in which resiliency is the persistence of service delivery that can justifiably be trusted, when facing changes. The changes we are referring to here are beyond the envelope of system configurations already considered during system design, that is, beyond fault tolerance. In this paper, we outline a general approach for system resiliency quantification. Using examples of non-state-space and state-space stochastic models, we analytically–numerically quantify the resiliency of system performance, reliability, availability and performability measures w.r.t. structural and parametric changes

States in the Hilbert space formulation and in the phase space formulation of quantum mechanics

International Nuclear Information System (INIS)

Tosiek, J.; Brzykcy, P.

2013-01-01

We consider the problem of testing whether a given matrix in the Hilbert space formulation of quantum mechanics or a function considered in the phase space formulation of quantum theory represents a quantum state. We propose several practical criteria for recognising states in these two versions of quantum physics. After minor modifications, they can be applied to check positivity of any operators acting in a Hilbert space or positivity of any functions from an algebra with a ∗-product of Weyl type. -- Highlights: ► Methods of testing whether a given matrix represents a quantum state. ► The Stratonovich–Weyl correspondence on an arbitrary symplectic manifold. ► Criteria for checking whether a function on a symplectic space is a Wigner function

How to upload a physical quantum state into correlation space

International Nuclear Information System (INIS)

Morimae, Tomoyuki

2011-01-01

In the framework of the computational tensor network [Phys. Rev. Lett. 98, 220503 (2007)], the quantum computation is performed in a virtual linear space called the correlation space. It was recently shown [Phys. Rev. Lett. 103, 050503 (2009)] that a state in a correlation space can be downloaded to the real physical space. In this paper, conversely, we study how to upload a state from a real physical space to the correlation space. After showing the impossibility of cloning a state between a real physical space and the correlation space, we propose a simple teleportation-like method of uploading. This method also enables the Gottesman-Chuang gate teleportation trick and entanglement swapping in the virtual-real hybrid setting. Furthermore, compared with the inverse of the downloading method by Cai et al. [Phys. Rev. Lett. 103, 050503 (2009)], which also works to upload, the proposed uploading method has several advantages.

State-space approach for evaluating the soil-plant-atmosphere system

International Nuclear Information System (INIS)

Timm, L.C.; Reichardt, K.; Cassaro, F.A.M.; Tominaga, T.T.; Bacchi, O.O.S.; Oliveira, J.C.M.; Dourado-Neto, D.

2004-01-01

Using as examples one sugarcane and one forage oat experiment, both carried out in the State of Sao Paulo, Brazil, this chapter presents recent state-space approaches used to evaluate the relation between soil and plant properties. A contrast is made between classical statistics methodologies that do not take into account the sampling position coordinates, and the more recently used methodologies which include the position coordinates, and allow a better interpretation of the field-sampled data. Classical concepts are first introduced, followed by spatially referenced methodologies like the autocorrelation function, the cross correlation function, and the state-space approach. Two variations of the state-space approach are given: one emphasizes the evolution of the state system while the other based on the bayesian formulation emphasizes the evolution of the estimated observations. It is concluded that these state-space analyses using dynamic regression models improve data analyses and are therefore recommended for analyzing time and space data series related to the performance of a given soil-plant-atmosphere system. (author)

The coherent state on SUq(2) homogeneous space

International Nuclear Information System (INIS)

Aizawa, N; Chakrabarti, R

2009-01-01

The generalized coherent states for quantum groups introduced by Jurco and StovIcek are studied for the simplest example SU q (2) in full detail. It is shown that the normalized SU q (2) coherent states enjoy the property of completeness, and allow a resolution of the unity. This feature is expected to play a key role in the application of these coherent states in physical models. The homogeneous space of SU q (2), i.e. the q-sphere of Podles, is reproduced in complex coordinates by using the coherent states. Differential calculus in the complex form on the homogeneous space is developed. The high spin limit of the SU q (2) coherent states is also discussed.

Non-local PDEs with discrete state-dependent delays: Well-posedness in a metric space

Czech Academy of Sciences Publication Activity Database

Rezunenko, Oleksandr; Zagalak, Petr

2013-01-01

Roč. 33, č. 2 (2013), s. 819-835 ISSN 1078-0947 R&D Projects: GA ČR(CZ) GAP103/12/2431 Institutional support: RVO:67985556 Keywords : Partial differential equations with delay s * well-posedness * metric space Subject RIV: BC - Control Systems Theory Impact factor: 0.923, year: 2013 http://library.utia.cas.cz/separaty/2012/AS/zagalak-0381969.pdf

Optimized waveform relaxation domain decomposition method for discrete finite volume non stationary convection diffusion equation

International Nuclear Information System (INIS)

Berthe, P.M.

2013-01-01

In the context of nuclear waste repositories, we consider the numerical discretization of the non stationary convection diffusion equation. Discontinuous physical parameters and heterogeneous space and time scales lead us to use different space and time discretizations in different parts of the domain. In this work, we choose the discrete duality finite volume (DDFV) scheme and the discontinuous Galerkin scheme in time, coupled by an optimized Schwarz waveform relaxation (OSWR) domain decomposition method, because this allows the use of non-conforming space-time meshes. The main difficulty lies in finding an upwind discretization of the convective flux which remains local to a sub-domain and such that the multi domain scheme is equivalent to the mono domain one. These difficulties are first dealt with in the one-dimensional context, where different discretizations are studied. The chosen scheme introduces a hybrid unknown on the cell interfaces. The idea of up winding with respect to this hybrid unknown is extended to the DDFV scheme in the two-dimensional setting. The well-posedness of the scheme and of an equivalent multi domain scheme is shown. The latter is solved by an OSWR algorithm, the convergence of which is proved. The optimized parameters in the Robin transmission conditions are obtained by studying the continuous or discrete convergence rates. Several test-cases, one of which inspired by nuclear waste repositories, illustrate these results. (author) [fr

Complexity in Simplicity: Flexible Agent-based State Space Exploration

DEFF Research Database (Denmark)

Rasmussen, Jacob Illum; Larsen, Kim Guldstrand

2007-01-01

In this paper, we describe a new flexible framework for state space exploration based on cooperating agents. The idea is to let various agents with different search patterns explore the state space individually and communicate information about fruitful subpaths of the search tree to each other...

Space-time least-squares Petrov-Galerkin projection in nonlinear model reduction.

Energy Technology Data Exchange (ETDEWEB)

Choi, Youngsoo [Sandia National Laboratories (SNL-CA), Livermore, CA (United States). Extreme-scale Data Science and Analytics Dept.; Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Carlberg, Kevin Thomas [Sandia National Laboratories (SNL-CA), Livermore, CA (United States). Extreme-scale Data Science and Analytics Dept.

2017-09-01

Our work proposes a space-time least-squares Petrov-Galerkin (ST-LSPG) projection method for model reduction of nonlinear dynamical systems. In contrast to typical nonlinear model-reduction methods that first apply Petrov-Galerkin projection in the spatial dimension and subsequently apply time integration to numerically resolve the resulting low-dimensional dynamical system, the proposed method applies projection in space and time simultaneously. To accomplish this, the method first introduces a low-dimensional space-time trial subspace, which can be obtained by computing tensor decompositions of state-snapshot data. The method then computes discrete-optimal approximations in this space-time trial subspace by minimizing the residual arising after time discretization over all space and time in a weighted ℓ²-norm. This norm can be de ned to enable complexity reduction (i.e., hyper-reduction) in time, which leads to space-time collocation and space-time GNAT variants of the ST-LSPG method. Advantages of the approach relative to typical spatial-projection-based nonlinear model reduction methods such as Galerkin projection and least-squares Petrov-Galerkin projection include: (1) a reduction of both the spatial and temporal dimensions of the dynamical system, (2) the removal of spurious temporal modes (e.g., unstable growth) from the state space, and (3) error bounds that exhibit slower growth in time. Numerical examples performed on model problems in fluid dynamics demonstrate the ability of the method to generate orders-of-magnitude computational savings relative to spatial-projection-based reduced-order models without sacrificing accuracy.

Discrete Approaches to Quantum Gravity in Four Dimensions

Directory of Open Access Journals (Sweden)

Loll Renate

1998-01-01

Full Text Available The construction of a consistent theory of quantum gravity is a problem in theoretical physics that has so far defied all attempts at resolution. One ansatz to try to obtain a non-trivial quantum theory proceeds via a discretization of space-time and the Einstein action. I review here three major areas of research: gauge-theoretic approaches, both in a path-integral and a Hamiltonian formulation; quantum Regge calculus; and the method of dynamical triangulations, confining attention to work that is strictly four-dimensional, strictly discrete, and strictly quantum in nature.

An Australian discrete choice experiment to value eq-5d health states.

Science.gov (United States)

Viney, Rosalie; Norman, Richard; Brazier, John; Cronin, Paula; King, Madeleine T; Ratcliffe, Julie; Street, Deborah

2014-06-01

Conventionally, generic quality-of-life health states, defined within multi-attribute utility instruments, have been valued using a Standard Gamble or a Time Trade-Off. Both are grounded in expected utility theory but impose strong assumptions about the form of the utility function. Preference elicitation tasks for both are complicated, limiting the number of health states that each respondent can value and, therefore, that can be valued overall. The usual approach has been to value a set of the possible health states and impute values for the remainder. Discrete Choice Experiments (DCEs) offer an attractive alternative, allowing investigation of more flexible specifications of the utility function and greater coverage of the response surface. We designed a DCE to obtain values for EQ-5D health states and implemented it in an Australia-representative online panel (n = 1,031). A range of specifications investigating non-linear preferences with respect to time and interactions between EQ-5D levels were estimated using a random-effects probit model. The results provide empirical support for a flexible utility function, including at least some two-factor interactions. We then constructed a preference index such that full health and death were valued at 1 and 0, respectively, to provide a DCE-based algorithm for Australian cost-utility analyses. Copyright © 2013 John Wiley & Sons, Ltd.

Multiple-event probability in general-relativistic quantum mechanics. II. A discrete model

International Nuclear Information System (INIS)

Mondragon, Mauricio; Perez, Alejandro; Rovelli, Carlo

2007-01-01

We introduce a simple quantum mechanical model in which time and space are discrete and periodic. These features avoid the complications related to continuous-spectrum operators and infinite-norm states. The model provides a tool for discussing the probabilistic interpretation of generally covariant quantum systems, without the confusion generated by spurious infinities. We use the model to illustrate the formalism of general-relativistic quantum mechanics, and to test the definition of multiple-event probability introduced in a companion paper [Phys. Rev. D 75, 084033 (2007)]. We consider a version of the model with unitary time evolution and a version without unitary time evolution

The effects of valence-based and discrete emotional states on aesthetic response.

Science.gov (United States)

Cheng, Yin-Hui

2013-01-01

There is increasing recognition that consumer aesthetics--the responses of consumers to the aesthetic or appearance aspects of products--has become an important area of marketing in recent years. Consumer aesthetic responses to a product are a source of pleasure for the consumer. Previous research into the aesthetic responses to products has often emphasized exterior factors and visual design, but studies have seldom considered the psychological aesthetic experience of consumers, and in particular their emotional state. This study attempts to bridge this gap by examining the link between consumers' emotions and their aesthetic response to a product. Thus, the major goal of this study was to determine how valence-based and discrete emotional states influence choice. In Studies 1 and 2, positive and negative emotions were manipulated to implement two different induction techniques and explore the effect of emotions on participants' choices in two separate experiments. The results of both experiments confirmed the predictions, indicating that aesthetic responses and purchase intention are functions of emotional valence, such that both are stronger for people in a positive emotional state than for those in a negative emotional state. Study 2 also used a neutral affective state to establish the robustness of this observed effect of incidental affect. The results of Study 3 demonstrate that aesthetic response and purchase intention are not only a function of affect valence, but also are affected by the certainty appraisal associated with specific affective states. This research, therefore, contributes to the literature by offering empirical evidence that incidental affect is a determinant of aesthetic response.

Baecklund transformations for discrete Painleve equations: Discrete PII-PV

International Nuclear Information System (INIS)

Sakka, A.; Mugan, U.

2006-01-01

Transformation properties of discrete Painleve equations are investigated by using an algorithmic method. This method yields explicit transformations which relates the solutions of discrete Painleve equations, discrete P II -P V , with different values of parameters. The particular solutions which are expressible in terms of the discrete analogue of the classical special functions of discrete Painleve equations can also be obtained from these transformations

Control of Discrete-Event Systems Automata and Petri Net Perspectives

CERN Document Server

Silva, Manuel; Schuppen, Jan

2013-01-01

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar wi...

Operator algebras for general one-dimensional quantum mechanical potentials with discrete spectrum

International Nuclear Information System (INIS)

Wuensche, Alfred

2002-01-01

We define general lowering and raising operators of the eigenstates for one-dimensional quantum mechanical potential problems leading to discrete energy spectra and investigate their associative algebra. The Hamilton operator is quadratic in these lowering and raising operators and corresponding representations of operators for action and angle are found. The normally ordered representation of general operators using combinatorial elements such as partitions is derived. The introduction of generalized coherent states is discussed. Linear laws for the spacing of the energy eigenvalues lead to the Heisenberg-Weyl group and general quadratic laws of level spacing to unitary irreducible representations of the Lie group SU(1, 1) that is considered in detail together with a limiting transition from this group to the Heisenberg-Weyl group. The relation of the approach to quantum deformations is discussed. In two appendices, the classical and quantum mechanical treatment of the squared tangent potential is presented as a special case of a system with quadratic level spacing

Making Faces - State-Space Models Applied to Multi-Modal Signal Processing

DEFF Research Database (Denmark)

Lehn-Schiøler, Tue

2005-01-01

The two main focus areas of this thesis are State-Space Models and multi modal signal processing. The general State-Space Model is investigated and an addition to the class of sequential sampling methods is proposed. This new algorithm is denoted as the Parzen Particle Filter. Furthermore...... optimizer can be applied to speed up convergence. The linear version of the State-Space Model, the Kalman Filter, is applied to multi modal signal processing. It is demonstrated how a State-Space Model can be used to map from speech to lip movements. Besides the State-Space Model and the multi modal...... application an information theoretic vector quantizer is also proposed. Based on interactions between particles, it is shown how a quantizing scheme based on an analytic cost function can be derived....

Topology of sustainable management of dynamical systems with desirable states: from defining planetary boundaries to safe operating spaces in the Earth System

Science.gov (United States)

Heitzig, Jobst; Kittel, Tim; Donges, Jonathan; Molkenthin, Nora

2016-04-01

To keep the Earth System in a desirable region of its state space, such as defined by the recently suggested "tolerable environment and development window", "guardrails", "planetary boundaries", or "safe (and just) operating space for humanity", one not only needs to understand the quantitative internal dynamics of the system and the available options for influencing it (management), but also the structure of the system's state space with regard to certain qualitative differences. Important questions are: Which state space regions can be reached from which others with or without leaving the desirable region? Which regions are in a variety of senses "safe" to stay in when management options might break away, and which qualitative decision problems may occur as a consequence of this topological structure? In this work, we develop a mathematical theory of the qualitative topology of the state space of a dynamical system with management options and desirable states, as a complement to the existing literature on optimal control which is more focussed on quantitative optimization and is much applied in both the engineering and the integrated assessment literature. We suggest a certain terminology for the various resulting regions of the state space and perform a detailed formal classification of the possible states with respect to the possibility of avoiding or leaving the undesired region. Our results indicate that before performing some form of quantitative optimization such as of indicators of human well-being for achieving certain sustainable development goals, a sustainable and resilient management of the Earth System may require decisions of a more discrete type that come in the form of several dilemmas, e.g., choosing between eventual safety and uninterrupted desirability, or between uninterrupted safety and larger flexibility. We illustrate the concepts and dilemmas drawing on conceptual models from climate science, ecology, coevolutionary Earth System modeling

Volumes of conditioned bipartite state spaces

International Nuclear Information System (INIS)

Milz, Simon; Strunz, Walter T

2015-01-01

We analyze the metric properties of conditioned quantum state spaces M η (n×m) . These spaces are the convex sets of nm×nm density matrices that, when partially traced over m degrees of freedom, respectively yield the given n × n density matrix η. For the case n = 2, the volume of M η (2×m) equipped with the Hilbert–Schmidt measure can be conjectured to be a simple polynomial of the radius of η in the Bloch-ball. Remarkably, for m=2,3 we find numerically that the probability p sep (2×m) (η) to find a separable state in M η (2×m) is independent of η (except for η pure). For m>3, the same holds for p PosPart (2×m) (η), the probability to find a state with a positive partial transpose in M η (2×m) . These results are proven analytically for the case of the family of 4 × 4 X-states, and thoroughly numerically investigated for the general case. The important implications of these findings for the clarification of open problems in quantum theory are pointed out and discussed. (paper)

Adjoint Based A Posteriori Analysis of Multiscale Mortar Discretizations with Multinumerics

KAUST Repository

Tavener, Simon

2013-01-01

In this paper we derive a posteriori error estimates for linear functionals of the solution to an elliptic problem discretized using a multiscale nonoverlapping domain decomposition method. The error estimates are based on the solution of an appropriately defined adjoint problem. We present a general framework that allows us to consider both primal and mixed formulations of the forward and adjoint problems within each subdomain. The primal subdomains are discretized using either an interior penalty discontinuous Galerkin method or a continuous Galerkin method with weakly imposed Dirichlet conditions. The mixed subdomains are discretized using Raviart- Thomas mixed finite elements. The a posteriori error estimate also accounts for the errors due to adjoint-inconsistent subdomain discretizations. The coupling between the subdomain discretizations is achieved via a mortar space. We show that the numerical discretization error can be broken down into subdomain and mortar components which may be used to drive adaptive refinement.Copyright © by SIAM.

Discrete-Time Nonlinear Control of VSC-HVDC System

Directory of Open Access Journals (Sweden)

TianTian Qian

2015-01-01

Full Text Available Because VSC-HVDC is a kind of strong nonlinear, coupling, and multi-input multioutput (MIMO system, its control problem is always attracting much attention from scholars. And a lot of papers have done research on its control strategy in the continuous-time domain. But the control system is implemented through the computer discrete sampling in practical engineering. It is necessary to study the mathematical model and control algorithm in the discrete-time domain. The discrete mathematical model based on output feedback linearization and discrete sliding mode control algorithm is proposed in this paper. And to ensure the effectiveness of the control system in the quasi sliding mode state, the fast output sampling method is used in the output feedback. The results from simulation experiment in MATLAB/SIMULINK prove that the proposed discrete control algorithm can make the VSC-HVDC system have good static, dynamic, and robust characteristics in discrete-time domain.

Nonlinear Estimation of Discrete-Time Signals Under Random Observation Delay

International Nuclear Information System (INIS)

Caballero-Aguila, R.; Jimenez-Lopez, J. D.; Hermoso-Carazo, A.; Linares-Perez, J.; Nakamori, S.

2008-01-01

This paper presents an approximation to the nonlinear least-squares estimation problem of discrete-time stochastic signals using nonlinear observations with additive white noise which can be randomly delayed by one sampling time. The observation delay is modelled by a sequence of independent Bernoulli random variables whose values, zero or one, indicate that the real observation arrives on time or it is delayed and, hence, the available measurement to estimate the signal is not up-to-date. Assuming that the state-space model generating the signal is unknown and only the covariance functions of the processes involved in the observation equation are ready for use, a filtering algorithm based on linear approximations of the real observations is proposed.

Projective limits of state spaces II. Quantum formalism

Science.gov (United States)

Lanéry, Suzanne; Thiemann, Thomas

2017-06-01

In this series of papers, we investigate the projective framework initiated by Kijowski (1977) and Okołów (2009, 2014, 2013), which describes the states of a quantum theory as projective families of density matrices. A short reading guide to the series can be found in Lanéry (2016). After discussing the formalism at the classical level in a first paper (Lanéry, 2017), the present second paper is devoted to the quantum theory. In particular, we inspect in detail how such quantum projective state spaces relate to inductive limit Hilbert spaces and to infinite tensor product constructions (Lanéry, 2016, subsection 3.1) [1]. Regarding the quantization of classical projective structures into quantum ones, we extend the results by Okołów (2013), that were set up in the context of linear configuration spaces, to configuration spaces given by simply-connected Lie groups, and to holomorphic quantization of complex phase spaces (Lanéry, 2016, subsection 2.2) [1].

Convergence of discrete Aubry–Mather model in the continuous limit

Science.gov (United States)

Su, Xifeng; Thieullen, Philippe

2018-05-01

We develop two approximation schemes for solving the cell equation and the discounted cell equation using Aubry–Mather–Fathi theory. The Hamiltonian is supposed to be Tonelli, time-independent and periodic in space. By Legendre transform it is equivalent to find a fixed point of some nonlinear operator, called Lax-Oleinik operator, which may be discounted or not. By discretizing in time, we are led to solve an additive eigenvalue problem involving a discrete Lax–Oleinik operator. We show how to approximate the effective Hamiltonian and some weak KAM solutions by letting the time step in the discrete model tend to zero. We also obtain a selected discrete weak KAM solution as in Davini et al (2016 Invent. Math. 206 29–55), and show that it converges to a particular solution of the cell equation. In order to unify the two settings, continuous and discrete, we develop a more general formalism of the short-range interactions.

A discrete control model of PLANT

Science.gov (United States)

Mitchell, C. M.

1985-01-01

A model of the PLANT system using the discrete control modeling techniques developed by Miller is described. Discrete control models attempt to represent in a mathematical form how a human operator might decompose a complex system into simpler parts and how the control actions and system configuration are coordinated so that acceptable overall system performance is achieved. Basic questions include knowledge representation, information flow, and decision making in complex systems. The structure of the model is a general hierarchical/heterarchical scheme which structurally accounts for coordination and dynamic focus of attention. Mathematically, the discrete control model is defined in terms of a network of finite state systems. Specifically, the discrete control model accounts for how specific control actions are selected from information about the controlled system, the environment, and the context of the situation. The objective is to provide a plausible and empirically testable accounting and, if possible, explanation of control behavior.

On approximation of Lie groups by discrete subgroups

Indian Academy of Sciences (India)

1Department of Mathematics, Faculty of Sciences at Sfax, University of Sfax,. Route Soukra ... Let S (G) denote the space of discrete co-compact subgroup of a Lie group G. We ..... For example, it suffices to apply the following fact: The mapping.

State-Space Modelling in Marine Science

DEFF Research Database (Denmark)

Albertsen, Christoffer Moesgaard

State-space models provide a natural framework for analysing time series that cannot be observed without error. This is the case for fisheries stock assessments and movement data from marine animals. In fisheries stock assessments, the aim is to estimate the stock size; however, the only data...... available is the number of fish removed from the population and samples on a small fraction of the population. In marine animal movement, accurate position systems such as GPS cannot be used. Instead, inaccurate alternative must be used yielding observations with large errors. Both assessment and individual...... animal movement models are important for management and conservation of marine animals. Consequently, models should be developed to be operational in a management context while adequately evaluating uncertainties in the models. This thesis develops state-space models using the Laplace approximation...

The unitary space of particle internal states

International Nuclear Information System (INIS)

Perjes, Z.

1978-09-01

A relativistic theory of particle internal properties has been developed. Suppressing space-time information, internal wave functions and -observables are constructed in a 3-complex-dimensional space. The quantum numbers of a spinning point particle in this unitary space correspond with those of a low-mass hadron. Unitary space physics is linked with space-time notions via the Penrose theory of twistors, where new flavors may be represented by many-twistor systems. It is shown here that a four-twistor particle fits into the unitary space picture as a system of two points with equal masses and oppositely pointing unitary spins. Quantum states fall into the ISU(3) irreducible representations discovered by Sparling and the author. Full details of the computation involving SU(3) recoupling techniques are given. (author)

Many-Body Quantum Spin Dynamics with Monte Carlo Trajectories on a Discrete Phase Space

Directory of Open Access Journals (Sweden)

J. Schachenmayer

2015-02-01

Full Text Available Interacting spin systems are of fundamental relevance in different areas of physics, as well as in quantum information science and biology. These spin models represent the simplest, yet not fully understood, manifestation of quantum many-body systems. An important outstanding problem is the efficient numerical computation of dynamics in large spin systems. Here, we propose a new semiclassical method to study many-body spin dynamics in generic spin lattice models. The method is based on a discrete Monte Carlo sampling in phase space in the framework of the so-called truncated Wigner approximation. Comparisons with analytical and numerically exact calculations demonstrate the power of the technique. They show that it correctly reproduces the dynamics of one- and two-point correlations and spin squeezing at short times, thus capturing entanglement. Our results open the possibility to study the quantum dynamics accessible to recent experiments in regimes where other numerical methods are inapplicable.

From Discrete Breathers to Many Body Localization and Flatbands

Science.gov (United States)

Flach, Sergej

Discrete breathers (DB) and intrinsic localized modes (ILM) are synonymic dynamical states on nonlinear lattices - periodic in time and localized in space, and widely observed in many applications. I will discuss the connections between DBs and many-body localization (MBL) and the properties of DBs on flatband networks. A dense quantized gas of strongly excited DBs can lead to a MBL phase in a variety of different lattice models. Its classical counterpart corresponds to a 'nonergodic metal' in the MBL language, or to a nonGibbsean selftrapped state in the language of nonlinear dynamics. Flatband networks are lattices with small amplitude waves exhibiting macroscopic degeneracy in their band structure due to local symmetries, destructive interference, compact localized eigenstates and horizontal flat bands. DBs can preserve the compactness of localization in the presence of nonlinearity with properly tuned internal phase relationships, making them promising tools for control of the phase coherence of waves. Also at New Zealand Institute of Advanced Study, Massey University, Auckland, New Zealand.

Hyponormal differential operators with discrete spectrum

Directory of Open Access Journals (Sweden)

Zameddin I. Ismailov

2010-01-01

Full Text Available In this work, we first describe all the maximal hyponormal extensions of a minimal operator generated by a linear differential-operator expression of the first-order in the Hilbert space of vector-functions in a finite interval. Next, we investigate the discreteness of the spectrum and the asymptotical behavior of the modules of the eigenvalues for these maximal hyponormal extensions.

Weak form of Stokes-Dirac structures and geometric discretization of port-Hamiltonian systems

Science.gov (United States)

Kotyczka, Paul; Maschke, Bernhard; Lefèvre, Laurent

2018-05-01

We present the mixed Galerkin discretization of distributed parameter port-Hamiltonian systems. On the prototypical example of hyperbolic systems of two conservation laws in arbitrary spatial dimension, we derive the main contributions: (i) A weak formulation of the underlying geometric (Stokes-Dirac) structure with a segmented boundary according to the causality of the boundary ports. (ii) The geometric approximation of the Stokes-Dirac structure by a finite-dimensional Dirac structure is realized using a mixed Galerkin approach and power-preserving linear maps, which define minimal discrete power variables. (iii) With a consistent approximation of the Hamiltonian, we obtain finite-dimensional port-Hamiltonian state space models. By the degrees of freedom in the power-preserving maps, the resulting family of structure-preserving schemes allows for trade-offs between centered approximations and upwinding. We illustrate the method on the example of Whitney finite elements on a 2D simplicial triangulation and compare the eigenvalue approximation in 1D with a related approach.

Quasicanonical structure of optimal control in constrained discrete systems

Science.gov (United States)

Sieniutycz, S.

2003-06-01

This paper considers discrete processes governed by difference rather than differential equations for the state transformation. The basic question asked is if and when Hamiltonian canonical structures are possible in optimal discrete systems. Considering constrained discrete control, general optimization algorithms are derived that constitute suitable theoretical and computational tools when evaluating extremum properties of constrained physical models. The mathematical basis of the general theory is the Bellman method of dynamic programming (DP) and its extension in the form of the so-called Carathéodory-Boltyanski (CB) stage criterion which allows a variation of the terminal state that is otherwise fixed in the Bellman's method. Two relatively unknown, powerful optimization algorithms are obtained: an unconventional discrete formalism of optimization based on a Hamiltonian for multistage systems with unconstrained intervals of holdup time, and the time interval constrained extension of the formalism. These results are general; namely, one arrives at: the discrete canonical Hamilton equations, maximum principles, and (at the continuous limit of processes with free intervals of time) the classical Hamilton-Jacobi theory along with all basic results of variational calculus. Vast spectrum of applications of the theory is briefly discussed.

Discrete Curvatures and Discrete Minimal Surfaces

KAUST Repository

Sun, Xiang

2012-01-01

This thesis presents an overview of some approaches to compute Gaussian and mean curvature on discrete surfaces and discusses discrete minimal surfaces. The variety of applications of differential geometry in visualization and shape design leads

Interaction of discrete and continuous boundary layer modes to cause transition

International Nuclear Information System (INIS)

Durbin, Paul A.; Zaki, Tamer A.; Liu Yang

2009-01-01

The interaction of discrete and continuous Orr-Sommerfeld modes in a boundary layer is studied by computer simulation. The discrete mode is an unstable Tollmien-Schlichting wave. The continuous modes generate jet-like disturbances inside the boundary layer. Either mode alone does not cause transition to turbulence; however, the interaction between them does. The continuous mode jets distort the discrete modes, producing Λ shaped vortices. Breakdown to turbulence is subsequent. The lateral spacing of the Λ's is sometimes the same as the wavelength of the continuous mode, sometimes it differs, depending on the ratio of wavelength to boundary layer thickness.

Error estimates for discretized quantum stochastic differential inclusions

International Nuclear Information System (INIS)

Ayoola, E.O.

2001-09-01

This paper is concerned with the error estimates involved in the solution of a discrete approximation of a quantum stochastic differential inclusion (QSDI). Our main results rely on certain properties of the averaged modulus of continuity for multivalued sesquilinear forms associated with QSDI. We obtained results concerning the estimates of the Hausdorff distance between the set of solutions of the QSDI and the set of solutions of its discrete approximation. This extend the results of Dontchev and Farkhi concerning classical differential inclusions to the present noncommutative Quantum setting involving inclusions in certain locally convex space. (author)

Discrete singular convolution for the generalized variable-coefficient ...

African Journals Online (AJOL)

Numerical solutions of the generalized variable-coefficient Korteweg-de Vries equation are obtained using a discrete singular convolution and a fourth order singly diagonally implicit Runge-Kutta method for space and time discretisation, respectively. The theoretical convergence of the proposed method is rigorously ...

A discrete history of the Lorentzian path integral

NARCIS (Netherlands)

Loll, R.

2003-01-01

In these lecture notes, I describe the motivation behind a recent formulation of a non-perturbative gravitational path integral for Lorentzian (instead of the usual Euclidean) space-times, and give a pedagogical introduction to its main features. At the regularized, discrete level this approach

Discrete bacteria foraging optimization algorithm for graph based problems - a transition from continuous to discrete

Science.gov (United States)

Sur, Chiranjib; Shukla, Anupam

2018-03-01

Bacteria Foraging Optimisation Algorithm is a collective behaviour-based meta-heuristics searching depending on the social influence of the bacteria co-agents in the search space of the problem. The algorithm faces tremendous hindrance in terms of its application for discrete problems and graph-based problems due to biased mathematical modelling and dynamic structure of the algorithm. This had been the key factor to revive and introduce the discrete form called Discrete Bacteria Foraging Optimisation (DBFO) Algorithm for discrete problems which exceeds the number of continuous domain problems represented by mathematical and numerical equations in real life. In this work, we have mainly simulated a graph-based road multi-objective optimisation problem and have discussed the prospect of its utilisation in other similar optimisation problems and graph-based problems. The various solution representations that can be handled by this DBFO has also been discussed. The implications and dynamics of the various parameters used in the DBFO are illustrated from the point view of the problems and has been a combination of both exploration and exploitation. The result of DBFO has been compared with Ant Colony Optimisation and Intelligent Water Drops Algorithms. Important features of DBFO are that the bacteria agents do not depend on the local heuristic information but estimates new exploration schemes depending upon the previous experience and covered path analysis. This makes the algorithm better in combination generation for graph-based problems and combination generation for NP hard problems.

On the convergence of multigroup discrete-ordinates approximations

International Nuclear Information System (INIS)

Victory, H.D. Jr.; Allen, E.J.; Ganguly, K.

1987-01-01

Our analysis is divided into two distinct parts which we label for convenience as Part A and Part B. In Part A, we demonstrate that the multigroup discrete-ordinates approximations are well-defined and converge to the exact transport solution in any subcritical setting. For the most part, we focus on transport in two-dimensional Cartesian geometry. A Nystroem technique is used to extend the discrete ordinates multigroup approximates to all values of the angular and energy variables. Such an extension enables us to employ collectively compact operator theory to deduce stability and convergence of the approximates. In Part B, we perform a thorough convergence analysis for the multigroup discrete-ordinates method for an anisotropically-scattering subcritical medium in slab geometry. The diamond-difference and step-characteristic spatial approximation methods are each studied. The multigroup neutron fluxes are shown to converge in a Banach space setting under realistic smoothness conditions on the solution. This is the first thorough convergence analysis for the fully-discretized multigroup neutron transport equations

General definitions of chaos for continuous and discrete-time processes

OpenAIRE

Vieru, Andrei

2008-01-01

A precise definition of chaos for discrete processes based on iteration already exists. We shall first reformulate it in a more general frame, taking into account the fact that discrete chaotic behavior is neither necessarily based on iteration nor strictly related to compact metric spaces or to bounded functions. Then we shall apply the central idea of this definition to continuous processes. We shall try to see what chaos is, regardless of the way it is generated.

Averaged multivalued solutions and time discretization for conservation laws

International Nuclear Information System (INIS)

Brenier, Y.

1985-01-01

It is noted that the correct shock solutions can be approximated by averaging in some sense the multivalued solution given by the method of characteristics for the nonlinear scalar conservation law (NSCL). A time discretization for the NSCL equation based on this principle is considered. An equivalent analytical formulation is shown to lead quite easily to a convergence result, and a third formulation is introduced which can be generalized for the systems of conservation laws. Various numerical schemes are constructed from the proposed time discretization. The first family of schemes is obtained by using a spatial grid and projecting the results of the time discretization. Many known schemes are then recognized (mainly schemes by Osher, Roe, and LeVeque). A second way to discretize leads to a particle scheme without space grid, which is very efficient (at least in the scalar case). Finally, a close relationship between the proposed method and the Boltzmann type schemes is established. 14 references

Observer-based adaptive control of chaos in nonlinear discrete-time systems using time-delayed state feedback

International Nuclear Information System (INIS)

Goharrizi, Amin Yazdanpanah; Khaki-Sedigh, Ali; Sepehri, Nariman

2009-01-01

A new approach to adaptive control of chaos in a class of nonlinear discrete-time-varying systems, using a delayed state feedback scheme, is presented. It is discussed that such systems can show chaotic behavior as their parameters change. A strategy is employed for on-line calculation of the Lyapunov exponents that will be used within an adaptive scheme that decides on the control effort to suppress the chaotic behavior once detected. The scheme is further augmented with a nonlinear observer for estimation of the states that are required by the controller but are hard to measure. Simulation results for chaotic control problem of Jin map are provided to show the effectiveness of the proposed scheme.

General conditions for maximal violation of non-contextuality in discrete and continuous variables

International Nuclear Information System (INIS)

Laversanne-Finot, A; Ketterer, A; Coudreau, T; Keller, A; Milman, P; Barros, M R; Walborn, S P

2017-01-01

The contextuality of quantum mechanics can be shown by the violation of inequalities based on measurements of well chosen observables. An important property of such observables is that their expectation value can be expressed in terms of probabilities for obtaining two exclusive outcomes. Examples of such inequalities have been constructed using either observables with a dichotomic spectrum or using periodic functions obtained from displacement operators in phase space. Here we identify the general conditions on the spectral decomposition of observables demonstrating state independent contextuality of quantum mechanics. Our results not only unify existing strategies for maximal violation of state independent non-contextuality inequalities but also lead to new scenarios enabling such violations. Among the consequences of our results is the impossibility of having a state independent maximal violation of non-contextuality in the Peres–Mermin scenario with discrete observables of odd dimensions. (paper)

Numerical discretization-based estimation methods for ordinary differential equation models via penalized spline smoothing with applications in biomedical research.

Science.gov (United States)

Wu, Hulin; Xue, Hongqi; Kumar, Arun

2012-06-01

Differential equations are extensively used for modeling dynamics of physical processes in many scientific fields such as engineering, physics, and biomedical sciences. Parameter estimation of differential equation models is a challenging problem because of high computational cost and high-dimensional parameter space. In this article, we propose a novel class of methods for estimating parameters in ordinary differential equation (ODE) models, which is motivated by HIV dynamics modeling. The new methods exploit the form of numerical discretization algorithms for an ODE solver to formulate estimating equations. First, a penalized-spline approach is employed to estimate the state variables and the estimated state variables are then plugged in a discretization formula of an ODE solver to obtain the ODE parameter estimates via a regression approach. We consider three different order of discretization methods, Euler's method, trapezoidal rule, and Runge-Kutta method. A higher-order numerical algorithm reduces numerical error in the approximation of the derivative, which produces a more accurate estimate, but its computational cost is higher. To balance the computational cost and estimation accuracy, we demonstrate, via simulation studies, that the trapezoidal discretization-based estimate is the best and is recommended for practical use. The asymptotic properties for the proposed numerical discretization-based estimators are established. Comparisons between the proposed methods and existing methods show a clear benefit of the proposed methods in regards to the trade-off between computational cost and estimation accuracy. We apply the proposed methods t an HIV study to further illustrate the usefulness of the proposed approaches. © 2012, The International Biometric Society.

Distinguishability notion based on Wootters statistical distance: Application to discrete maps

Science.gov (United States)

Gomez, Ignacio S.; Portesi, M.; Lamberti, P. W.

2017-08-01

We study the distinguishability notion given by Wootters for states represented by probability density functions. This presents the particularity that it can also be used for defining a statistical distance in chaotic unidimensional maps. Based on that definition, we provide a metric d ¯ for an arbitrary discrete map. Moreover, from d ¯ , we associate a metric space with each invariant density of a given map, which results to be the set of all distinguished points when the number of iterations of the map tends to infinity. Also, we give a characterization of the wandering set of a map in terms of the metric d ¯ , which allows us to identify the dissipative regions in the phase space. We illustrate the results in the case of the logistic and the circle maps numerically and analytically, and we obtain d ¯ and the wandering set for some characteristic values of their parameters. Finally, an extension of the metric space associated for arbitrary probability distributions (not necessarily invariant densities) is given along with some consequences. The statistical properties of distributions given by histograms are characterized in terms of the cardinal of the associated metric space. For two conjugate variables, the uncertainty principle is expressed in terms of the diameters of the associated metric space with those variables.

State space in BRST-quantization and Kugo-Ojima quartets

International Nuclear Information System (INIS)

Rybkin, G.N.

1989-01-01

The structure of the state space in the BRST-quantization is considered and the connection between different approaches to the proof of the positive definiteness of the metric on the physical state space is established. The correspondence between different expressions for the BRST-charge, quadratic in fields, is obtained. The relation between different representations of the BRST-algebra is found. 22 refs

Multivariate time series with linear state space structure

CERN Document Server

Gómez, Víctor

2016-01-01

This book presents a comprehensive study of multivariate time series with linear state space structure. The emphasis is put on both the clarity of the theoretical concepts and on efficient algorithms for implementing the theory. In particular, it investigates the relationship between VARMA and state space models, including canonical forms. It also highlights the relationship between Wiener-Kolmogorov and Kalman filtering both with an infinite and a finite sample. The strength of the book also lies in the numerous algorithms included for state space models that take advantage of the recursive nature of the models. Many of these algorithms can be made robust, fast, reliable and efficient. The book is accompanied by a MATLAB package called SSMMATLAB and a webpage presenting implemented algorithms with many examples and case studies. Though it lays a solid theoretical foundation, the book also focuses on practical application, and includes exercises in each chapter. It is intended for researchers and students wor...

On Yang's Noncommutative Space Time Algebra, Holography, Area Quantization and C-space Relativity

CERN Document Server

Castro, C

2004-01-01

An isomorphism between Yang's Noncommutative space-time algebra (involving two length scales) and the holographic-area-coordinates algebra of C-spaces (Clifford spaces) is constructed via an AdS_5 space-time which is instrumental in explaining the origins of an extra (infrared) scale R in conjunction to the (ultraviolet) Planck scale lambda characteristic of C-spaces. Yang's space-time algebra allowed Tanaka to explain the origins behind the discrete nature of the spectrum for the spatial coordinates and spatial momenta which yields a minimum length-scale lambda (ultraviolet cutoff) and a minimum momentum p = (\\hbar / R) (maximal length R, infrared cutoff). The double-scaling limit of Yang's algebra : lambda goes to 0, and R goes to infinity, in conjunction with the large n infinity limit, leads naturally to the area quantization condition : lambda R = L^2 = n lambda^2 (in Planck area units) given in terms of the discrete angular-momentum eigenvalues n . The generalized Weyl-Heisenberg algebra in C-spaces is ...

State-Space Realization of the Wave-Radiation Force within FAST: Preprint

Energy Technology Data Exchange (ETDEWEB)

Duarte, T.; Sarmento, A.; Alves, M.; Jonkman, J.

2013-06-01

Several methods have been proposed in the literature to find a state-space model for the wave-radiation forces. In this paper, four methods were compared, two in the frequency domain and two in the time domain. The frequency-response function and the impulse response of the resulting state-space models were compared against the ones derived by the numerical code WAMIT. The implementation of the state-space module within the FAST offshore wind turbine computer-aided engineering (CAE) tool was verified, comparing the results against the previously implemented numerical convolution method. The results agreed between the two methods, with a significant reduction in required computational time when using the state-space module.

On a discrete version of the CP 1 sigma model and surfaces immersed in R3

International Nuclear Information System (INIS)

Grundland, A M; Levi, D; Martina, L

2003-01-01

We present a discretization of the CP 1 sigma model. We show that the discrete CP 1 sigma model is described by a nonlinear partial second-order difference equation with rational nonlinearity. To derive discrete surfaces immersed in three-dimensional Euclidean space a 'complex' lattice is introduced. The so-obtained surfaces are characterized in terms of the quadrilateral cross-ratio of four surface points. In this way we prove that all surfaces associated with the discrete CP 1 sigma model are of constant mean curvature. An explicit example of such discrete surfaces is constructed

Transition probability spaces in loop quantum gravity

Science.gov (United States)

Guo, Xiao-Kan

2018-03-01

We study the (generalized) transition probability spaces, in the sense of Mielnik and Cantoni, for spacetime quantum states in loop quantum gravity. First, we show that loop quantum gravity admits the structures of transition probability spaces. This is exemplified by first checking such structures in covariant quantum mechanics and then identifying the transition probability spaces in spin foam models via a simplified version of general boundary formulation. The transition probability space thus defined gives a simple way to reconstruct the discrete analog of the Hilbert space of the canonical theory and the relevant quantum logical structures. Second, we show that the transition probability space and in particular the spin foam model are 2-categories. Then we discuss how to realize in spin foam models two proposals by Crane about the mathematical structures of quantum gravity, namely, the quantum topos and causal sites. We conclude that transition probability spaces provide us with an alternative framework to understand various foundational questions of loop quantum gravity.

A quaternionic map for the steady states of the Heisenberg spin-chain

Energy Technology Data Exchange (ETDEWEB)

Mehta, Mitaxi P., E-mail: mitaxi.mehta@ahduni.edu.in [IICT, Ahmedabad University, Opp. IIM, Navrangpura, Ahmedabad (India); Dutta, Souvik; Tiwari, Shubhanshu [BITS-Pilani, K.K. Birla Goa campus, Goa (India)

2014-01-17

We show that the steady states of the classical Heisenberg XXX spin-chain in an external magnetic field can be found by iterations of a quaternionic map. A restricted model, e.g., the xy spin-chain is known to have spatially chaotic steady states and the phase space occupied by these chaotic states is known to go through discrete changes as the field strength is varied. The same phenomenon is studied for the xxx spin-chain. It is seen that in this model the phase space volume varies smoothly with the external field.

A quaternionic map for the steady states of the Heisenberg spin-chain

International Nuclear Information System (INIS)

Mehta, Mitaxi P.; Dutta, Souvik; Tiwari, Shubhanshu

2014-01-01

We show that the steady states of the classical Heisenberg XXX spin-chain in an external magnetic field can be found by iterations of a quaternionic map. A restricted model, e.g., the xy spin-chain is known to have spatially chaotic steady states and the phase space occupied by these chaotic states is known to go through discrete changes as the field strength is varied. The same phenomenon is studied for the xxx spin-chain. It is seen that in this model the phase space volume varies smoothly with the external field.

Advanced Solid State Lighting for AES Deep Space Hab

Data.gov (United States)

National Aeronautics and Space Administration — The advanced Solid State Lighting (SSL) assemblies augmented 2nd generation modules under development for the Advanced Exploration Systems Deep Space Habitat in...

Scattering of electromagnetic waves from a half-space of randomly distributed discrete scatterers and polarized backscattering ratio law

Science.gov (United States)

Zhu, P. Y.

1991-01-01

The effective-medium approximation is applied to investigate scattering from a half-space of randomly and densely distributed discrete scatterers. Starting from vector wave equations, an approximation, called effective-medium Born approximation, a particular way, treating Green's functions, and special coordinates, of which the origin is set at the field point, are used to calculate the bistatic- and back-scatterings. An analytic solution of backscattering with closed form is obtained and it shows a depolarization effect. The theoretical results are in good agreement with the experimental measurements in the cases of snow, multi- and first-year sea-ice. The root product ratio of polarization to depolarization in backscattering is equal to 8; this result constitutes a law about polarized scattering phenomena in the nature.

A dynamical topology for the space of states

International Nuclear Information System (INIS)

Dittrich, J.

1979-01-01

A new topology is introduced for the space of states of a physical system. This topology is given by dynamics, every state has a neighbourhood consisting of states connected by the time evolution only. With respect to the new topology, all conservation laws can be treated as topological laws. (author)

Error analysis for a monolithic discretization of coupled Darcy and Stokes problems

KAUST Repository

Girault, V.

2014-01-01

© de Gruyter 2014. The coupled Stokes and Darcy equations are approximated by a strongly conservative finite element method. The discrete spaces are the divergence-conforming velocity space with matching pressure space such as the Raviart-Thomas spaces. This work proves optimal error estimate of the velocity in the L2 norm in the domain and on the interface. Lipschitz regularity of the interface is sufficient to obtain the results.

Mimetic discretization methods

CERN Document Server

Castillo, Jose E

2013-01-01

To help solve physical and engineering problems, mimetic or compatible algebraic discretization methods employ discrete constructs to mimic the continuous identities and theorems found in vector calculus. Mimetic Discretization Methods focuses on the recent mimetic discretization method co-developed by the first author. Based on the Castillo-Grone operators, this simple mimetic discretization method is invariably valid for spatial dimensions no greater than three. The book also presents a numerical method for obtaining corresponding discrete operators that mimic the continuum differential and

Space Sciences Education and Outreach Project of Moscow State University

Science.gov (United States)

Krasotkin, S.

2006-11-01

sergekras@mail.ru The space sciences education and outreach project was initiated at Moscow State University in order to incorporate modern space research into the curriculum popularize the basics of space physics, and enhance public interest in space exploration. On 20 January 2005 the first Russian University Satellite “Universitetskiy-Tatyana” was launched into circular polar orbit (inclination 83 deg., altitude 940-980 km). The onboard scientific complex “Tatyana“, as well as the mission control and information receiving centre, was designed and developed at Moscow State University. The scientific programme of the mission includes measurements of space radiation in different energy channels and Earth UV luminosity and lightning. The current education programme consists of basic multimedia lectures “Life of the Earth in the Solar Atmosphere” and computerized practice exercises “Space Practice” (based on the quasi-real-time data obtained from “Universitetskiy-Tatyana” satellite and other Internet resources). A multimedia lectures LIFE OF EARTH IN THE SOLAR ATMOSPHERE containing the basic information and demonstrations of heliophysics (including Sun structure and solar activity, heliosphere and geophysics, solar-terrestrial connections and solar influence on the Earth’s life) was created for upper high-school and junior university students. For the upper-university students there a dozen special computerized hands-on exercises were created based on the experimental quasi-real-time data obtained from our satellites. Students specializing in space physics from a few Russian universities are involved in scientific work. Educational materials focus on upper high school, middle university and special level for space physics students. Moscow State University is now extending its space science education programme by creating multimedia lectures on remote sensing, space factors and materials study, satellite design and development, etc. The space

Quotients of irreducible N=2 superconformal coset theories by discrete symmetries

International Nuclear Information System (INIS)

Bailin, D.; Love, A.

1990-01-01

The spectrum of massless states is studied for the irreducible N=2 superconformal coset theories when these theories are quotiented by discrete symmetries, including the effect of embedding the discrete symmetries in the gauge group. (orig.)

State space modeling of Memristor-based Wien oscillator

KAUST Repository

Talukdar, Abdul Hafiz Ibne; Radwan, Ahmed G.; Salama, Khaled N.

2011-01-01

State space modeling of Memristor based Wien 'A' oscillator has been demonstrated for the first time considering nonlinear ion drift in Memristor. Time dependant oscillating resistance of Memristor is reported in both state space solution and SPICE simulation which plausibly provide the basis of realizing parametric oscillation by Memristor based Wien oscillator. In addition to this part Memristor is shown to stabilize the final oscillation amplitude by means of its nonlinear dynamic resistance which hints for eliminating diode in the feedback network of conventional Wien oscillator. © 2011 IEEE.

State space modeling of Memristor-based Wien oscillator

KAUST Repository

Talukdar, Abdul Hafiz Ibne

2011-12-01

State space modeling of Memristor based Wien \\'A\\' oscillator has been demonstrated for the first time considering nonlinear ion drift in Memristor. Time dependant oscillating resistance of Memristor is reported in both state space solution and SPICE simulation which plausibly provide the basis of realizing parametric oscillation by Memristor based Wien oscillator. In addition to this part Memristor is shown to stabilize the final oscillation amplitude by means of its nonlinear dynamic resistance which hints for eliminating diode in the feedback network of conventional Wien oscillator. © 2011 IEEE.

Coherent and squeezed states in phase space

International Nuclear Information System (INIS)

Jannussis, A.; Bartzis, V.; Vlahos, E.

1990-01-01

In the present paper, the coherent and the squeezed states in phase space have been studied. From the wave functions of the coherent and the squeezed state, their corresponding Wigner distribution functions are calculated. Especially the calculation of the corresponding Wigner functions for the above states permits the determination of the mean values of position and momentum and thus the Heisenberg uncertainty relation. In fact, from the related results, it is concluded that the uncertainty relation of the coherent and associated squeezed states is the same

Discrete Optimization in Chemical Space Reference Manual

Science.gov (United States)

2012-10-01

includes instructions on setting up constrained optimizations of substitutional frameworks and the full application programming interface ( API ) necessary...space size • bool space size computed • ulong bits • bool bits computed • string Nam 4.26.1 Detailed Description This class provides the API that...1, 0) 1102 (O, 0, 1.4, -3, 120, -2, 180) 1103 (C, 1, 1.5, 0, 120, -3, -30(150)) 1104 (H, 2, 1.1, 1, 109.47, 0,180) 1105 (H, 2, 1.1, 1, 109.47, 3, 120

A Discrete Model for Color Naming

Science.gov (United States)

Menegaz, G.; Le Troter, A.; Sequeira, J.; Boi, J. M.

2006-12-01

The ability to associate labels to colors is very natural for human beings. Though, this apparently simple task hides very complex and still unsolved problems, spreading over many different disciplines ranging from neurophysiology to psychology and imaging. In this paper, we propose a discrete model for computational color categorization and naming. Starting from the 424 color specimens of the OSA-UCS set, we propose a fuzzy partitioning of the color space. Each of the 11 basic color categories identified by Berlin and Kay is modeled as a fuzzy set whose membership function is implicitly defined by fitting the model to the results of an ad hoc psychophysical experiment (Experiment 1). Each OSA-UCS sample is represented by a feature vector whose components are the memberships to the different categories. The discrete model consists of a three-dimensional Delaunay triangulation of the CIELAB color space which associates each OSA-UCS sample to a vertex of a 3D tetrahedron. Linear interpolation is used to estimate the membership values of any other point in the color space. Model validation is performed both directly, through the comparison of the predicted membership values to the subjective counterparts, as evaluated via another psychophysical test (Experiment 2), and indirectly, through the investigation of its exploitability for image segmentation. The model has proved to be successful in both cases, providing an estimation of the membership values in good agreement with the subjective measures as well as a semantically meaningful color-based segmentation map.

Alternative to dead reckoning for model state quantisation when migrating to a quantised discrete

CSIR Research Space (South Africa)

Duvenhage, A

2008-06-01

Full Text Available Some progress has recently been made on migrating an existing distributed parallel discrete time simulator to a quantised discrete event architecture. The migration is done to increase the scale of the real-time simulations supported...

Effect of Electrostatic Discharge on Electrical Characteristics of Discrete Electronic Components

Data.gov (United States)

National Aeronautics and Space Administration — This article reports on preliminary results of a study conducted to examine how temporary electrical overstress seed fault conditions in discrete power electronic...

Discrete diffusion Lyman α radiative transfer

Science.gov (United States)

Smith, Aaron; Tsang, Benny T.-H.; Bromm, Volker; Milosavljević, Miloš

2018-06-01

Due to its accuracy and generality, Monte Carlo radiative transfer (MCRT) has emerged as the prevalent method for Lyα radiative transfer in arbitrary geometries. The standard MCRT encounters a significant efficiency barrier in the high optical depth, diffusion regime. Multiple acceleration schemes have been developed to improve the efficiency of MCRT but the noise from photon packet discretization remains a challenge. The discrete diffusion Monte Carlo (DDMC) scheme has been successfully applied in state-of-the-art radiation hydrodynamics (RHD) simulations. Still, the established framework is not optimal for resonant line transfer. Inspired by the DDMC paradigm, we present a novel extension to resonant DDMC (rDDMC) in which diffusion in space and frequency are treated on equal footing. We explore the robustness of our new method and demonstrate a level of performance that justifies incorporating the method into existing Lyα codes. We present computational speedups of ˜102-106 relative to contemporary MCRT implementations with schemes that skip scattering in the core of the line profile. This is because the rDDMC runtime scales with the spatial and frequency resolution rather than the number of scatterings—the latter is typically ∝τ0 for static media, or ∝(aτ0)2/3 with core-skipping. We anticipate new frontiers in which on-the-fly Lyα radiative transfer calculations are feasible in 3D RHD. More generally, rDDMC is transferable to any computationally demanding problem amenable to a Fokker-Planck approximation of frequency redistribution.

Formulating state space models in R with focus on longitudinal regression models

DEFF Research Database (Denmark)

Dethlefsen, Claus; Lundbye-Christensen, Søren

  We provide a language for formulating a range of state space models. The described methodology is implemented in the R -package sspir available from cran.r-project.org . A state space model is specified similarly to a generalized linear model in R , by marking the time-varying terms in the form......  We provide a language for formulating a range of state space models. The described methodology is implemented in the R -package sspir available from cran.r-project.org . A state space model is specified similarly to a generalized linear model in R , by marking the time-varying terms...

Modeling volatility using state space models.

Science.gov (United States)

Timmer, J; Weigend, A S

1997-08-01

In time series problems, noise can be divided into two categories: dynamic noise which drives the process, and observational noise which is added in the measurement process, but does not influence future values of the system. In this framework, we show that empirical volatilities (the squared relative returns of prices) exhibit a significant amount of observational noise. To model and predict their time evolution adequately, we estimate state space models that explicitly include observational noise. We obtain relaxation times for shocks in the logarithm of volatility ranging from three weeks (for foreign exchange) to three to five months (for stock indices). In most cases, a two-dimensional hidden state is required to yield residuals that are consistent with white noise. We compare these results with ordinary autoregressive models (without a hidden state) and find that autoregressive models underestimate the relaxation times by about two orders of magnitude since they do not distinguish between observational and dynamic noise. This new interpretation of the dynamics of volatility in terms of relaxators in a state space model carries over to stochastic volatility models and to GARCH models, and is useful for several problems in finance, including risk management and the pricing of derivative securities. Data sets used: Olsen & Associates high frequency DEM/USD foreign exchange rates (8 years). Nikkei 225 index (40 years). Dow Jones Industrial Average (25 years).

Discrete Feature Model (DFM) User Documentation

Energy Technology Data Exchange (ETDEWEB)

Geier, Joel (Clearwater Hardrock Consulting, Corvallis, OR (United States))

2008-06-15

software, the geometry of discrete features and their hydrologic properties are defined as a mesh composed of triangular, finite elements. Hydrologic boundary conditions arc prescribed as a simulation sequence, which permits specification of conditions ranging from simple, steady-state flow to complex situations where both the magnitude and type of boundary conditions may vary over time

Discrete Feature Model (DFM) User Documentation

International Nuclear Information System (INIS)

Geier, Joel

2008-06-01

geometry of discrete features and their hydrologic properties are defined as a mesh composed of triangular, finite elements. Hydrologic boundary conditions arc prescribed as a simulation sequence, which permits specification of conditions ranging from simple, steady-state flow to complex situations where both the magnitude and type of boundary conditions may vary over time

Energy-pointwise discrete ordinates transport methods

International Nuclear Information System (INIS)

Williams, M.L.; Asgari, M.; Tashakorri, R.

1997-01-01

A very brief description is given of a one-dimensional code, CENTRM, which computes a detailed, space-dependent flux spectrum in a pointwise-energy representation within the resolved resonance range. The code will become a component in the SCALE system to improve computation of self-shielded cross sections, thereby enhancing the accuracy of codes such as KENO. CENTRM uses discrete-ordinates transport theory with an arbitrary angular quadrature order and a Legendre expansion of scattering anisotropy for moderator materials and heavy nuclides. The CENTRM program provides capability to deterministically compute full energy range, space-dependent angular flux spectra, rigorously accounting for resonance fine-structure and scattering anisotropy effects

State Space Reduction for Model Checking Agent Programs

NARCIS (Netherlands)

S.-S.T.Q. Jongmans (Sung-Shik); K.V. Hindriks; M.B. van Riemsdijk; L. Dennis; O. Boissier; R.H. Bordini (Rafael)

2012-01-01

htmlabstractState space reduction techniques have been developed to increase the efficiency of model checking in the context of imperative programming languages. Unfortunately, these techniques cannot straightforwardly be applied to agents: the nature of states in the two programming paradigms

On the Importance of Both Dimensional and Discrete Models of Emotion.

Science.gov (United States)

Harmon-Jones, Eddie; Harmon-Jones, Cindy; Summerell, Elizabeth

2017-09-29

We review research on the structure and functions of emotions that has benefitted from a serious consideration of both discrete and dimensional perspectives on emotion. To illustrate this point, we review research that demonstrates: (1) how affective valence within discrete emotions differs as a function of individuals and situations, and how these differences relate to various functions; (2) that anger (and other emotional states) should be considered as a discrete emotion but there are dimensions around and within anger; (3) that similarities exist between approach-related positive and negative discrete emotions and they have unique motivational functions; (4) that discrete emotions and broad dimensions of emotions both have unique functions; and (5) evidence that a "new" discrete emotion with discrete functions exists within a broader emotion family. We hope that this consideration of both discrete and dimensional perspectives on emotion will assist in understanding the functions of emotions.

On the Importance of Both Dimensional and Discrete Models of Emotion

Science.gov (United States)

Harmon-Jones, Eddie

2017-01-01

We review research on the structure and functions of emotions that has benefitted from a serious consideration of both discrete and dimensional perspectives on emotion. To illustrate this point, we review research that demonstrates: (1) how affective valence within discrete emotions differs as a function of individuals and situations, and how these differences relate to various functions; (2) that anger (and other emotional states) should be considered as a discrete emotion but there are dimensions around and within anger; (3) that similarities exist between approach-related positive and negative discrete emotions and they have unique motivational functions; (4) that discrete emotions and broad dimensions of emotions both have unique functions; and (5) evidence that a “new” discrete emotion with discrete functions exists within a broader emotion family. We hope that this consideration of both discrete and dimensional perspectives on emotion will assist in understanding the functions of emotions. PMID:28961185

Discrete Bose-Einstein spectra

International Nuclear Information System (INIS)

Vlad, Valentin I.; Ionescu-Pallas, Nicholas

2001-03-01

The Bose-Einstein energy spectrum of a quantum gas, confined in a rigid cubic box, is shown to become discrete and strongly dependent on the box geometry (size L), temperature, T and atomic mass number, A at , in the region of small γ=A at TV 1/3 . This behavior is the consequence of the random state degeneracy in the box. Furthermore, we demonstrate that the total energy does not obey the conventional law any longer, but a new law, which depends on γ and on the quantum gas fugacity. This energy law imposes a faster decrease to zero than it is classically expected, for γ→0. The lighter the gas atoms, the higher the temperatures or the box size, for the same effects in the discrete Bose-Einstein regime. (author)

Automatic Design of a Maglev Controller in State Space

Science.gov (United States)

1991-12-01

Design of a Maglev Controller in State Space Feng Zhao Richard Thornton Abstract We describe the automatic synthesis of a global nonlinear controller for...the global switching points of the controller is presented. The synthesized control system can stabilize the maglev vehicle with large initial displace...NUMBERS Automation Desing of a Maglev Controller in State Space N00014-89-J-3202 MIP-9001651 6. AUTHOR(S) Feng Zhao and Richard Thornton 7. PERFORMING

Transformation of Socioeconomic Space: The Role of the State

Directory of Open Access Journals (Sweden)

Alexander Nikolaevich Shvetsov

2015-03-01

Full Text Available Modern Russia is traditionally characterized by a special and strong public participation in solving problems of spatial development. Thus, the state has following diverse roles: 1 the creator of the modern space configuration; 2 the mastermind and main driving force of modern spatial transformations; 3 the regulator and investor of these processes; 4 the main sponsor and beneficiary of space transformation; and, finally, the hostage of its own dominance in the processes of spatial transformation. However, stereotypes are being gradually overcome and public policy in the area of spatial transformations focuses not only on «public projects» but also on self-development of regions, combined with the interests of big business which plays an increasing role in the transformation of socioeconomic space. The article reveals the meaning and content of the problem of systemic interaction between the state and space concerning the modernization of the country. The author explores the range of fundamental research and applied issues resulting from the contradictory combination of traditional (historical stereotypes and the latest Russian circumstances. These issues determine the background, nature and consequences of state impacts on socio-economic space, as well as the composition, content and validity of the used instruments

Information Theoretic Characterization of Physical Theories with Projective State Space

Science.gov (United States)

Zaopo, Marco

2015-08-01

Probabilistic theories are a natural framework to investigate the foundations of quantum theory and possible alternative or deeper theories. In a generic probabilistic theory, states of a physical system are represented as vectors of outcomes probabilities and state spaces are convex cones. In this picture the physics of a given theory is related to the geometric shape of the cone of states. In quantum theory, for instance, the shape of the cone of states corresponds to a projective space over complex numbers. In this paper we investigate geometric constraints on the state space of a generic theory imposed by the following information theoretic requirements: every non completely mixed state of a system is perfectly distinguishable from some other state in a single shot measurement; information capacity of physical systems is conserved under making mixtures of states. These assumptions guarantee that a generic physical system satisfies a natural principle asserting that the more a state of the system is mixed the less information can be stored in the system using that state as logical value. We show that all theories satisfying the above assumptions are such that the shape of their cones of states is that of a projective space over a generic field of numbers. Remarkably, these theories constitute generalizations of quantum theory where superposition principle holds with coefficients pertaining to a generic field of numbers in place of complex numbers. If the field of numbers is trivial and contains only one element we obtain classical theory. This result tells that superposition principle is quite common among probabilistic theories while its absence gives evidence of either classical theory or an implausible theory.

Continuous versus discrete structures II -- Discrete Hamiltonian systems and Helmholtz conditions

OpenAIRE

Cresson, Jacky; Pierret, Frédéric

2015-01-01

We define discrete Hamiltonian systems in the framework of discrete embeddings. An explicit comparison with previous attempts is given. We then solve the discrete Helmholtz's inverse problem for the discrete calculus of variation in the Hamiltonian setting. Several applications are discussed.

Construction of spaces of kinematic quantum states for field theories via projective techniques

International Nuclear Information System (INIS)

Okołów, Andrzej

2013-01-01

We present a method of constructing a space of quantum states for a field theory: given phase space of a theory, we define a family of physical systems each possessing a finite number of degrees of freedom, next we define a space of quantum states for each finite system, finally using projective techniques we organize all these spaces into a space of quantum states which corresponds to the original phase space. This construction is kinematic in this sense that it bases merely on the structure of the phase space of a theory and does not take into account possible constraints on the space. The construction is a generalization of a construction by Kijowski—the latter one is limited to theories of linear phase spaces, while the former one is free of this limitation. The method presented in this paper enables to construct a space of quantum states for the teleparallel equivalent of general relativity. (paper)

Problem of short-term forecasting of near-earth space state

International Nuclear Information System (INIS)

Eselevich, V.G.; Ashmanets, V.I.; Startsev, S.A.

1996-01-01

The paper deals with actual and practically important problem of investigation and forecasting of state condition during magnetic storms. The available methods of forecasting of near-earth space state are analyzed. Forecasting of magnetic storms was conducted for control of space vehicles. Quasi-determinate method of magnetic storm forecasting is suggested. 13 refs., 3 figs

Dense time discretization technique for verification of real time systems

International Nuclear Information System (INIS)

Makackas, Dalius; Miseviciene, Regina

2016-01-01

Verifying the real-time system there are two different models to control the time: discrete and dense time based models. This paper argues a novel verification technique, which calculates discrete time intervals from dense time in order to create all the system states that can be reached from the initial system state. The technique is designed for real-time systems specified by a piece-linear aggregate approach. Key words: real-time system, dense time, verification, model checking, piece-linear aggregate

Digital Discretion

DEFF Research Database (Denmark)

Busch, Peter Andre; Zinner Henriksen, Helle

2018-01-01

discretion is suggested to reduce this footprint by influencing or replacing their discretionary practices using ICT. What is less researched is whether digital discretion can cause changes in public policy outcomes, and under what conditions such changes can occur. Using the concept of public service values......This study reviews 44 peer-reviewed articles on digital discretion published in the period from 1998 to January 2017. Street-level bureaucrats have traditionally had a wide ability to exercise discretion stirring debate since they can add their personal footprint on public policies. Digital......, we suggest that digital discretion can strengthen ethical and democratic values but weaken professional and relational values. Furthermore, we conclude that contextual factors such as considerations made by policy makers on the macro-level and the degree of professionalization of street...

Deformed two-photon squeezed states in noncommutative space

International Nuclear Information System (INIS)

Zhang Jianzu

2004-01-01

Recent studies on nonperturbation aspects of noncommutative quantum mechanics explored a new type of boson commutation relations at the deformed level, described by deformed annihilation-creation operators in noncommutative space. This correlated boson commutator correlates different degrees of freedom, and shows an essential influence on dynamics. This Letter devotes to the development of formalism of deformed two-photon squeezed states in noncommutative space. General representations of deformed annihilation-creation operators and the consistency condition for the electromagnetic wave with a single mode of frequency in noncommunicative space are obtained. Two-photon squeezed states are studied. One finds that variances of the dimensionless Hermitian quadratures of the annihilation operator in one degree of freedom include variances in the other degree of freedom. Such correlations show the new feature of spatial noncommutativity and allow a deeper understanding of the correlated boson commutator

On the application of Discrete Time Optimal Control Concepts to ...

African Journals Online (AJOL)

On the application of Discrete Time Optimal Control Concepts to Economic Problems. ... Journal of the Nigerian Association of Mathematical Physics ... Abstract. An extension of the use of the maximum principle to solve Discrete-time Optimal Control Problems (DTOCP), in which the state equations are in the form of general ...

The discretized Schroedinger equation and simple models for semiconductor quantum wells

International Nuclear Information System (INIS)

Boykin, Timothy B; Klimeck, Gerhard

2004-01-01

The discretized Schroedinger equation is one of the most commonly employed methods for solving one-dimensional quantum mechanics problems on the computer, yet many of its characteristics remain poorly understood. The differences with the continuous Schroedinger equation are generally viewed as shortcomings of the discrete model and are typically described in purely mathematical terms. This is unfortunate since the discretized equation is more productively viewed from the perspective of solid-state physics, which naturally links the discrete model to realistic semiconductor quantum wells and nanoelectronic devices. While the relationship between the discrete model and a one-dimensional tight-binding model has been known for some time, the fact that the discrete Schroedinger equation admits analytic solutions for quantum wells has gone unnoted. Here we present a solution to this new analytically solvable problem. We show that the differences between the discrete and continuous models are due to their fundamentally different bandstructures, and present evidence for our belief that the discrete model is the more physically reasonable one

On the Importance of Both Dimensional and Discrete Models of Emotion

Directory of Open Access Journals (Sweden)

Eddie Harmon-Jones

2017-09-01

Full Text Available We review research on the structure and functions of emotions that has benefitted from a serious consideration of both discrete and dimensional perspectives on emotion. To illustrate this point, we review research that demonstrates: (1 how affective valence within discrete emotions differs as a function of individuals and situations, and how these differences relate to various functions; (2 that anger (and other emotional states should be considered as a discrete emotion but there are dimensions around and within anger; (3 that similarities exist between approach-related positive and negative discrete emotions and they have unique motivational functions; (4 that discrete emotions and broad dimensions of emotions both have unique functions; and (5 evidence that a “new” discrete emotion with discrete functions exists within a broader emotion family. We hope that this consideration of both discrete and dimensional perspectives on emotion will assist in understanding the functions of emotions.

Modeling discrete time-to-event data

CERN Document Server

Tutz, Gerhard

2016-01-01

This book focuses on statistical methods for the analysis of discrete failure times. Failure time analysis is one of the most important fields in statistical research, with applications affecting a wide range of disciplines, in particular, demography, econometrics, epidemiology and clinical research. Although there are a large variety of statistical methods for failure time analysis, many techniques are designed for failure times that are measured on a continuous scale. In empirical studies, however, failure times are often discrete, either because they have been measured in intervals (e.g., quarterly or yearly) or because they have been rounded or grouped. The book covers well-established methods like life-table analysis and discrete hazard regression models, but also introduces state-of-the art techniques for model evaluation, nonparametric estimation and variable selection. Throughout, the methods are illustrated by real life applications, and relationships to survival analysis in continuous time are expla...

A Sweep-Line Method for State Space Exploration

DEFF Research Database (Denmark)

Christensen, Søren; Kristensen, Lars Michael; Mailund, Thomas

2001-01-01

generation, since these states can never be reached again. This in turn reduces the memory used for state space storage during the task of verification. Examples of progress measures are sequence numbers in communication protocols and time in certain models with time. We illustrate the application...

Data-Driven Process Discovery: A Discrete Time Algebra for Relational Signal Analysis

National Research Council Canada - National Science Library

Conrad, David

1996-01-01

.... Proposed is a time series transformation that encodes and compresses real-valued data into a well defined, discrete-space of 13 primitive elements where comparative evaluation between variables...

Discrete breathers in Bose–Einstein condensates

International Nuclear Information System (INIS)

Franzosi, Roberto; Politi, Antonio; Livi, Roberto; Oppo, Gian-Luca

2011-01-01

Discrete breathers, originally introduced in the context of biopolymers and coupled nonlinear oscillators, are also localized modes of excitation of Bose–Einstein condensates (BEC) in periodic potentials such as those generated by counter-propagating laser beams in an optical lattice. Static and dynamical properties of breather states are analysed in the discrete nonlinear Schrödinger equation that is derived in the limit of deep potential wells, tight-binding and the superfluid regime of the condensate. Static and mobile breathers can be formed by progressive re-shaping of initial Gaussian wave-packets or by transporting atomic density towards dissipative boundaries of the lattice. Static breathers generated via boundary dissipations are determined via a transfer-matrix approach and discussed in the two analytic limits of highly localized and very broad profiles. Mobile breathers that move across the lattice are well approximated by modified analytical expressions derived from integrable models with two independent parameters: the core-phase gradient and the peak amplitude. Finally, possible experimental realizations of discrete breathers in BEC in optical lattices are discussed in the presence of residual harmonic trapping and in interferometry configurations suitable to investigate discrete breathers' interactions. (invited article)

A Discrete Model for Color Naming

Directory of Open Access Journals (Sweden)

J. M. Boi

2007-01-01

Full Text Available The ability to associate labels to colors is very natural for human beings. Though, this apparently simple task hides very complex and still unsolved problems, spreading over many different disciplines ranging from neurophysiology to psychology and imaging. In this paper, we propose a discrete model for computational color categorization and naming. Starting from the 424 color specimens of the OSA-UCS set, we propose a fuzzy partitioning of the color space. Each of the 11 basic color categories identified by Berlin and Kay is modeled as a fuzzy set whose membership function is implicitly defined by fitting the model to the results of an ad hoc psychophysical experiment (Experiment 1. Each OSA-UCS sample is represented by a feature vector whose components are the memberships to the different categories. The discrete model consists of a three-dimensional Delaunay triangulation of the CIELAB color space which associates each OSA-UCS sample to a vertex of a 3D tetrahedron. Linear interpolation is used to estimate the membership values of any other point in the color space. Model validation is performed both directly, through the comparison of the predicted membership values to the subjective counterparts, as evaluated via another psychophysical test (Experiment 2, and indirectly, through the investigation of its exploitability for image segmentation. The model has proved to be successful in both cases, providing an estimation of the membership values in good agreement with the subjective measures as well as a semantically meaningful color-based segmentation map.

Can a quantum state over time resemble a quantum state at a single time?

Science.gov (United States)

Horsman, Dominic; Heunen, Chris; Pusey, Matthew F; Barrett, Jonathan; Spekkens, Robert W

2017-09-01

The standard formalism of quantum theory treats space and time in fundamentally different ways. In particular, a composite system at a given time is represented by a joint state, but the formalism does not prescribe a joint state for a composite of systems at different times. If there were a way of defining such a joint state, this would potentially permit a more even-handed treatment of space and time, and would strengthen the existing analogy between quantum states and classical probability distributions. Under the assumption that the joint state over time is an operator on the tensor product of single-time Hilbert spaces, we analyse various proposals for such a joint state, including one due to Leifer and Spekkens, one due to Fitzsimons, Jones and Vedral, and another based on discrete Wigner functions. Finding various problems with each, we identify five criteria for a quantum joint state over time to satisfy if it is to play a role similar to the standard joint state for a composite system: that it is a Hermitian operator on the tensor product of the single-time Hilbert spaces; that it represents probabilistic mixing appropriately; that it has the appropriate classical limit; that it has the appropriate single-time marginals; that composing over multiple time steps is associative. We show that no construction satisfies all these requirements. If Hermiticity is dropped, then there is an essentially unique construction that satisfies the remaining four criteria.

Quantum State Engineering Via Coherent-State Superpositions

Science.gov (United States)

Janszky, Jozsef; Adam, P.; Szabo, S.; Domokos, P.

1996-01-01

The quantum interference between the two parts of the optical Schrodinger-cat state makes possible to construct a wide class of quantum states via discrete superpositions of coherent states. Even a small number of coherent states can approximate the given quantum states at a high accuracy when the distance between the coherent states is optimized, e. g. nearly perfect Fock state can be constructed by discrete superpositions of n + 1 coherent states lying in the vicinity of the vacuum state.

Quantum evolution by discrete measurements

International Nuclear Information System (INIS)

Roa, L; Guevara, M L Ladron de; Delgado, A; Olivares-RenterIa, G; Klimov, A B

2007-01-01

In this article we review two ways of driving a quantum system to a known pure state via a sequence discrete of von Neumann measurements. The first of them assumes that the initial state of the system is unknown, and the evolution is attained only with the help of two non-commuting observables. For this method, the overall success probability is maximized when the eigentstates of the involved observables constitute mutually unbiased bases. The second method assumes the initial state is known and it uses N observables which are consecutively measured to make the state of the system approach the target state. The probability of success of this procedure converges to 1 as the number of observables increases

Quantum evolution by discrete measurements

Energy Technology Data Exchange (ETDEWEB)

Roa, L [Center for Quantum Optics and Quantum Information, Departamento de Fisica, Universidad de Concepcion, Casilla 160-C, Concepcion (Chile); Guevara, M L Ladron de [Departamento de Fisica, Universidad Catolica del Norte, Casilla 1280, Antofagasta (Chile); Delgado, A [Center for Quantum Optics and Quantum Information, Departamento de Fisica, Universidad de Concepcion, Casilla 160-C, Concepcion (Chile); Olivares-RenterIa, G [Center for Quantum Optics and Quantum Information, Departamento de Fisica, Universidad de Concepcion, Casilla 160-C, Concepcion (Chile); Klimov, A B [Departamento de Fisica, Universidad de Guadalajara, Revolucion 1500, 44420 Guadalajara, Jalisco (Mexico)

2007-10-15

In this article we review two ways of driving a quantum system to a known pure state via a sequence discrete of von Neumann measurements. The first of them assumes that the initial state of the system is unknown, and the evolution is attained only with the help of two non-commuting observables. For this method, the overall success probability is maximized when the eigentstates of the involved observables constitute mutually unbiased bases. The second method assumes the initial state is known and it uses N observables which are consecutively measured to make the state of the system approach the target state. The probability of success of this procedure converges to 1 as the number of observables increases.

Geometry of the Gene Expression Space of Individual Cells.

Directory of Open Access Journals (Sweden)

Yael Korem

2015-07-01

Full Text Available There is a revolution in the ability to analyze gene expression of single cells in a tissue. To understand this data we must comprehend how cells are distributed in a high-dimensional gene expression space. One open question is whether cell types form discrete clusters or whether gene expression forms a continuum of states. If such a continuum exists, what is its geometry? Recent theory on evolutionary trade-offs suggests that cells that need to perform multiple tasks are arranged in a polygon or polyhedron (line, triangle, tetrahedron and so on, generally called polytopes in gene expression space, whose vertices are the expression profiles optimal for each task. Here, we analyze single-cell data from human and mouse tissues profiled using a variety of single-cell technologies. We fit the data to shapes with different numbers of vertices, compute their statistical significance, and infer their tasks. We find cases in which single cells fill out a continuum of expression states within a polyhedron. This occurs in intestinal progenitor cells, which fill out a tetrahedron in gene expression space. The four vertices of this tetrahedron are each enriched with genes for a specific task related to stemness and early differentiation. A polyhedral continuum of states is also found in spleen dendritic cells, known to perform multiple immune tasks: cells fill out a tetrahedron whose vertices correspond to key tasks related to maturation, pathogen sensing and communication with lymphocytes. A mixture of continuum-like distributions and discrete clusters is found in other cell types, including bone marrow and differentiated intestinal crypt cells. This approach can be used to understand the geometry and biological tasks of a wide range of single-cell datasets. The present results suggest that the concept of cell type may be expanded. In addition to discreet clusters in gene-expression space, we suggest a new possibility: a continuum of states within a

Discrete Exterior Calculus Discretization of Incompressible Navier-Stokes Equations

KAUST Repository

Mohamed, Mamdouh S.

2017-05-23

A conservative discretization of incompressible Navier-Stokes equations over surface simplicial meshes is developed using discrete exterior calculus (DEC). Numerical experiments for flows over surfaces reveal a second order accuracy for the developed scheme when using structured-triangular meshes, and first order accuracy otherwise. The mimetic character of many of the DEC operators provides exact conservation of both mass and vorticity, in addition to superior kinetic energy conservation. The employment of barycentric Hodge star allows the discretization to admit arbitrary simplicial meshes. The discretization scheme is presented along with various numerical test cases demonstrating its main characteristics.

A fast iterative model for discrete velocity calculations on triangular grids

International Nuclear Information System (INIS)

Szalmas, Lajos; Valougeorgis, Dimitris

2010-01-01

A fast synthetic type iterative model is proposed to speed up the slow convergence of discrete velocity algorithms for solving linear kinetic equations on triangular lattices. The efficiency of the scheme is verified both theoretically by a discrete Fourier stability analysis and computationally by solving a rarefied gas flow problem. The stability analysis of the discrete kinetic equations yields the spectral radius of the typical and the proposed iterative algorithms and reveal the drastically improved performance of the latter one for any grid resolution. This is the first time that stability analysis of the full discrete kinetic equations related to rarefied gas theory is formulated, providing the detailed dependency of the iteration scheme on the discretization parameters in the phase space. The corresponding characteristics of the model deduced by solving numerically the rarefied gas flow through a duct with triangular cross section are in complete agreement with the theoretical findings. The proposed approach may open a way for fast computation of rarefied gas flows on complex geometries in the whole range of gas rarefaction including the hydrodynamic regime.

A notion of continuity in discrete spaces and applications

Directory of Open Access Journals (Sweden)

Valerio Capraro

2013-04-01

Full Text Available We propose a notion of continuous path for locally finite metric spaces, taking inspiration from the recent development of A-theory for locally finite connected graphs. We use this notion of continuity to derive an analogue in Z2 of the Jordan curve theorem and to extend to a quite large class of locally finite metric spaces (containing all finite metric spaces an inequality for the ℓp-distortion of a metric space that has been recently proved by Pierre-Nicolas Jolissaint and Alain Valette for finite connected graphs.

Relativistic resonances as non-orthogonal states in Hilbert space

CERN Document Server

Blum, W

2003-01-01

We analyze the energy-momentum properties of relativistic short-lived particles with the result that they are characterized by two 4-vectors: in addition to the familiar energy-momentum vector (timelike) there is an energy-momentum 'spread vector' (spacelike). The wave functions in space and time for unstable particles are constructed. For the relativistic properties of unstable states we refer to Wigner's method of Poincare group representations that are induced by representations of the space-time translation and rotation groups. If stable particles, unstable particles and resonances are treated as elementary objects that are not fundamentally different one has to take into account that they will not generally be orthogonal to each other in their state space. The scalar product between a stable and an unstable state with otherwise identical properties is calculated in a particular Lorentz frame. The spin of an unstable particle is not infinitely sharp but has a 'spin spread' giving rise to 'spin neighbors'....

NONLINEAR MULTIGRID SOLVER EXPLOITING AMGe COARSE SPACES WITH APPROXIMATION PROPERTIES

Energy Technology Data Exchange (ETDEWEB)

Christensen, Max La Cour [Technical Univ. of Denmark, Lyngby (Denmark); Villa, Umberto E. [Univ. of Texas, Austin, TX (United States); Engsig-Karup, Allan P. [Technical Univ. of Denmark, Lyngby (Denmark); Vassilevski, Panayot S. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)

2016-01-22

The paper introduces a nonlinear multigrid solver for mixed nite element discretizations based on the Full Approximation Scheme (FAS) and element-based Algebraic Multigrid (AMGe). The main motivation to use FAS for unstruc- tured problems is the guaranteed approximation property of the AMGe coarse spaces that were developed recently at Lawrence Livermore National Laboratory. These give the ability to derive stable and accurate coarse nonlinear discretization problems. The previous attempts (including ones with the original AMGe method, [5, 11]), were less successful due to lack of such good approximation properties of the coarse spaces. With coarse spaces with approximation properties, our FAS approach on un- structured meshes should be as powerful/successful as FAS on geometrically re ned meshes. For comparison, Newton's method and Picard iterations with an inner state-of-the-art linear solver is compared to FAS on a nonlinear saddle point problem with applications to porous media ow. It is demonstrated that FAS is faster than Newton's method and Picard iterations for the experiments considered here. Due to the guaranteed approximation properties of our AMGe, the coarse spaces are very accurate, providing a solver with the potential for mesh-independent convergence on general unstructured meshes.

Finite Volumes Discretization of Topology Optimization Problems

DEFF Research Database (Denmark)

Evgrafov, Anton; Gregersen, Misha Marie; Sørensen, Mads Peter

, FVMs represent a standard method of discretization within engineering communities dealing with computational uid dy- namics, transport, and convection-reaction problems. Among various avours of FVMs, cell based approaches, where all variables are associated only with cell centers, are particularly...... computations is done using nite element methods (FEMs). Despite some limited recent eorts [1, 2], we have only started to develop our understanding of the interplay between the control in the coecients and FVMs. Recent advances in discrete functional analysis allow us to analyze convergence of FVM...... of the induced parametrization of the design space that allows optimization algorithms to eciently explore it, and the ease of integration with existing computational codes in a variety of application areas, the simplicity and eciency of sensitivity analyses|all stemming from the use of the same grid throughout...

Anyons in discrete gauge theories with Chern-Simons terms

International Nuclear Information System (INIS)

Bais, F.A.; Driel, P. van; Wild Propitius, M. de

1993-01-01

A gauge theory with a discrete group H in (2+1)-dimensional space-time is known to describe (non-abelian) anyons. We study the effect of adding a Chern-Simons term to such a theory. As in a previous paper, we emphasize the algebraic structure underlying a discrete H gauge theory, namely the Hopf algebra D(H). For H≅Z N , we argue on physical grounds that a Chern-Simons term in the action leads to a non-trivial 3-cocycle on D(H). Accordingly, the physically inequivalent models are labeled by the elements of the cohomology group H 3 (H, U(1)). It depends periodically on the coefficient of the Chern-Simons term which model is realized. This establishes a relation with the discrete topological field theories of Dijkgraaf and Witten. We extrapolate these results to non-abelian H, and work out the representative example H≅anti D 2 . (orig.)

Asymptotic behavior of dynamical and control systems under perturbation and discretization

CERN Document Server

Grüne, Lars

2002-01-01

This book provides an approach to the study of perturbation and discretization effects on the long-time behavior of dynamical and control systems. It analyzes the impact of time and space discretizations on asymptotically stable attracting sets, attractors, asumptotically controllable sets and their respective domains of attractions and reachable sets. Combining robust stability concepts from nonlinear control theory, techniques from optimal control and differential games and methods from nonsmooth analysis, both qualitative and quantitative results are obtained and new algorithms are developed, analyzed and illustrated by examples.

ANALYSIS OF INPATIENT HOSPITAL STAFF MENTAL WORKLOAD BY MEANS OF DISCRETE-EVENT SIMULATION

Science.gov (United States)

2016-03-24

ANALYSIS OF INPATIENT HOSPITAL STAFF MENTAL WORKLOAD BY MEANS OF DISCRETE -EVENT SIMULATION...in the United States. AFIT-ENV-MS-16-M-166 ANALYSIS OF INPATIENT HOSPITAL STAFF MENTAL WORKLOAD BY MEANS OF DISCRETE -EVENT SIMULATION...UNLIMITED. AFIT-ENV-MS-16-M-166 ANALYSIS OF INPATIENT HOSPITAL STAFF MENTAL WORKLOAD BY MEANS OF DISCRETE -EVENT SIMULATION Erich W

Stability and Linear Quadratic Differential Games of Discrete-Time Markovian Jump Linear Systems with State-Dependent Noise

Directory of Open Access Journals (Sweden)

Huiying Sun

2014-01-01

Full Text Available We mainly consider the stability of discrete-time Markovian jump linear systems with state-dependent noise as well as its linear quadratic (LQ differential games. A necessary and sufficient condition involved with the connection between stochastic Tn-stability of Markovian jump linear systems with state-dependent noise and Lyapunov equation is proposed. And using the theory of stochastic Tn-stability, we give the optimal strategies and the optimal cost values for infinite horizon LQ stochastic differential games. It is demonstrated that the solutions of infinite horizon LQ stochastic differential games are concerned with four coupled generalized algebraic Riccati equations (GAREs. Finally, an iterative algorithm is presented to solve the four coupled GAREs and a simulation example is given to illustrate the effectiveness of it.

Adaptive Control and Function Projective Synchronization in 2D Discrete-Time Chaotic Systems

International Nuclear Information System (INIS)

Li Yin; Chen Yong; Li Biao

2009-01-01

This study addresses the adaptive control and function projective synchronization problems between 2D Rulkov discrete-time system and Network discrete-time system. Based on backstepping design with three controllers, a systematic, concrete and automatic scheme is developed to investigate the function projective synchronization of discrete-time chaotic systems. In addition, the adaptive control function is applied to achieve the state synchronization of two discrete-time systems. Numerical results demonstrate the effectiveness of the proposed control scheme.

Recent developments in discrete ordinates electron transport

International Nuclear Information System (INIS)

Morel, J.E.; Lorence, L.J. Jr.

1986-01-01

The discrete ordinates method is a deterministic method for numerically solving the Boltzmann equation. It was originally developed for neutron transport calculations, but is routinely used for photon and coupled neutron-photon transport calculations as well. The computational state of the art for coupled electron-photon transport (CEPT) calculations is not as developed as that for neutron transport calculations. The only production codes currently available for CEPT calculations are condensed-history Monte Carlo codes such as the ETRAN and ITS codes. A deterministic capability for production calculations is clearly needed. In response to this need, we have begun the development of a production discrete ordinates code for CEPT calculations. The purpose of this paper is to describe the basic approach we are taking, discuss the current status of the project, and present some new computational results. Although further characterization of the coupled electron-photon discrete ordinates method remains to be done, the results to date indicate that the discrete ordinates method can be just as accurate and from 10 to 100 times faster than the Monte Carlo method for a wide variety of problems. We stress that these results are obtained with standard discrete ordinates codes such as ONETRAN. It is clear that even greater efficiency can be obtained by developing a new generation of production discrete ordinates codes specifically designed to solve the Boltzmann-Fokker-Planck equation. However, the prospects for such development in the near future appear to be remote

Return of the icecream men. A discrete hotelling game

NARCIS (Netherlands)

Abudaldah, Nabi; Heijman, W.J.M.; Heringa, Pieter; Mouche, van P.H.M.

2015-01-01

We consider a finite symmetric game in strategic form between two players which can be interpreted as a discrete variant of the Hotelling game in a one or two-dimensional space. As the analytical investigation of this game is tedious, we simulte with Maple and formulate some conjectures. In addition

Ecological monitoring in a discrete-time prey-predator model.

Science.gov (United States)

Gámez, M; López, I; Rodríguez, C; Varga, Z; Garay, J

2017-09-21

The paper is aimed at the methodological development of ecological monitoring in discrete-time dynamic models. In earlier papers, in the framework of continuous-time models, we have shown how a systems-theoretical methodology can be applied to the monitoring of the state process of a system of interacting populations, also estimating certain abiotic environmental changes such as pollution, climatic or seasonal changes. In practice, however, there may be good reasons to use discrete-time models. (For instance, there may be discrete cycles in the development of the populations, or observations can be made only at discrete time steps.) Therefore the present paper is devoted to the development of the monitoring methodology in the framework of discrete-time models of population ecology. By monitoring we mean that, observing only certain component(s) of the system, we reconstruct the whole state process. This may be necessary, e.g., when in a complex ecosystem the observation of the densities of certain species is impossible, or too expensive. For the first presentation of the offered methodology, we have chosen a discrete-time version of the classical Lotka-Volterra prey-predator model. This is a minimal but not trivial system where the methodology can still be presented. We also show how this methodology can be applied to estimate the effect of an abiotic environmental change, using a component of the population system as an environmental indicator. Although this approach is illustrated in a simplest possible case, it can be easily extended to larger ecosystems with several interacting populations and different types of abiotic environmental effects. Copyright © 2017 Elsevier Ltd. All rights reserved.

'May issue' gun carrying laws and police discretion: Some evidence from Massachusetts.

Science.gov (United States)

Hemenway, David; Hicks, James G

2015-08-01

In almost all states in the United States, to carry a concealed handgun legally requires a permit from the police. Many states have changed from may-issue laws (where the local police chief has discretion about to whom to issue a license) to shall-issue laws (where the police chief must issue a permit if the applicant passes a computerized federal background check). Studies conflict on the effect on crime. None considered the situation in may-issue states when police used discretion and refused to issue a permit. We provide suggestive evidence from a December 2013 survey of police chiefs in Massachusetts' 351 cities and towns. Of the 121 responding police chiefs, a large majority favored retaining police discretion. Chiefs issued few discretionary denials - median 2 per year, citing providing false information, a history of assault (often domestic violence), a history of drug or alcohol abuse, or of mental-health issues as the most common reasons for denial.

Utilization of the Discrete Differential Evolution for Optimization in Multidimensional Point Clouds.

Science.gov (United States)

Uher, Vojtěch; Gajdoš, Petr; Radecký, Michal; Snášel, Václav

2016-01-01

The Differential Evolution (DE) is a widely used bioinspired optimization algorithm developed by Storn and Price. It is popular for its simplicity and robustness. This algorithm was primarily designed for real-valued problems and continuous functions, but several modified versions optimizing both integer and discrete-valued problems have been developed. The discrete-coded DE has been mostly used for combinatorial problems in a set of enumerative variants. However, the DE has a great potential in the spatial data analysis and pattern recognition. This paper formulates the problem as a search of a combination of distinct vertices which meet the specified conditions. It proposes a novel approach called the Multidimensional Discrete Differential Evolution (MDDE) applying the principle of the discrete-coded DE in discrete point clouds (PCs). The paper examines the local searching abilities of the MDDE and its convergence to the global optimum in the PCs. The multidimensional discrete vertices cannot be simply ordered to get a convenient course of the discrete data, which is crucial for good convergence of a population. A novel mutation operator utilizing linear ordering of spatial data based on the space filling curves is introduced. The algorithm is tested on several spatial datasets and optimization problems. The experiments show that the MDDE is an efficient and fast method for discrete optimizations in the multidimensional point clouds.

Discretion in the “Backyard of Law”: Case Handling of Debt Relief in Sweden

Directory of Open Access Journals (Sweden)

Bengt Larsson

2013-04-01

Full Text Available This article explores discretion in welfare professional work. The aim is to analyse what room for discretionary decision-making that exist in case handling of debt relief at the Swedish Enforcement Authority (SEA. The analysis is guided by a conceptual distinction between structural and epistemic aspects of discretion, as well as between substantive and procedural aspects. The data comprises official and internal SEA documents, interviews with management and staff and field notes from observations. The analysis points to a change in the balance between standards and discretion in relation to the on-going formalization of case handling at the SEA, though not in the simplistic sense that discretion is diminished through formalization. When taking into account the different analytical aspects of discretion, it is concluded that discretion is narrowed only in some respects. There is still space for case officers in selecting and interpreting information and assess-ing the conditions regarding subject matter.

Estimation methods for nonlinear state-space models in ecology

DEFF Research Database (Denmark)

Pedersen, Martin Wæver; Berg, Casper Willestofte; Thygesen, Uffe Høgsbro

2011-01-01

The use of nonlinear state-space models for analyzing ecological systems is increasing. A wide range of estimation methods for such models are available to ecologists, however it is not always clear, which is the appropriate method to choose. To this end, three approaches to estimation in the theta...... logistic model for population dynamics were benchmarked by Wang (2007). Similarly, we examine and compare the estimation performance of three alternative methods using simulated data. The first approach is to partition the state-space into a finite number of states and formulate the problem as a hidden...... Markov model (HMM). The second method uses the mixed effects modeling and fast numerical integration framework of the AD Model Builder (ADMB) open-source software. The third alternative is to use the popular Bayesian framework of BUGS. The study showed that state and parameter estimation performance...

Modelling population dynamics model formulation, fitting and assessment using state-space methods

CERN Document Server

Newman, K B; Morgan, B J T; King, R; Borchers, D L; Cole, D J; Besbeas, P; Gimenez, O; Thomas, L

2014-01-01

This book gives a unifying framework for estimating the abundance of open populations: populations subject to births, deaths and movement, given imperfect measurements or samples of the populations.  The focus is primarily on populations of vertebrates for which dynamics are typically modelled within the framework of an annual cycle, and for which stochastic variability in the demographic processes is usually modest. Discrete-time models are developed in which animals can be assigned to discrete states such as age class, gender, maturity,  population (within a metapopulation), or species (for multi-species models). The book goes well beyond estimation of abundance, allowing inference on underlying population processes such as birth or recruitment, survival and movement. This requires the formulation and fitting of population dynamics models.  The resulting fitted models yield both estimates of abundance and estimates of parameters characterizing the underlying processes.  

Coexistence of unlimited bipartite and genuine multipartite entanglement: Promiscuous quantum correlations arising from discrete to continuous-variable systems

International Nuclear Information System (INIS)

Adesso, Gerardo; Ericsson, Marie; Illuminati, Fabrizio

2007-01-01

Quantum mechanics imposes 'monogamy' constraints on the sharing of entanglement. We show that, despite these limitations, entanglement can be fully 'promiscuous', i.e., simultaneously present in unlimited two-body and many-body forms in states living in an infinite-dimensional Hilbert space. Monogamy just bounds the divergence rate of the various entanglement contributions. This is demonstrated in simple families of N-mode (N≥4) Gaussian states of light fields or atomic ensembles, which therefore enable infinitely more freedom in the distribution of information, as opposed to systems of individual qubits. Such a finding is of importance for the quantification, understanding, and potential exploitation of shared quantum correlations in continuous variable systems. We discuss how promiscuity gradually arises when considering simple families of discrete variable states, with increasing Hilbert space dimension towards the continuous variable limit. Such models are somehow analogous to Gaussian states with asymptotically diverging, but finite, squeezing. In this respect, we find that non-Gaussian states (which in general are more entangled than Gaussian states) exhibit also the interesting feature that their entanglement is more shareable: in the non-Gaussian multipartite arena, unlimited promiscuity can be already achieved among three entangled parties, while this is impossible for Gaussian, even infinitely squeezed states

Multimedia Mapping using Continuous State Space Models

DEFF Research Database (Denmark)

Lehn-Schiøler, Tue

2004-01-01

In this paper a system that transforms speech waveforms to animated faces are proposed. The system relies on continuous state space models to perform the mapping, this makes it possible to ensure video with no sudden jumps and allows continuous control of the parameters in 'face space'. Simulations...... are performed on recordings of 3-5 sec. video sequences with sentences from the Timit database. The model is able to construct an image sequence from an unknown noisy speech sequence fairly well even though the number of training examples are limited....

Emergent properties of gene evolution: Species as attractors in phenotypic space

Science.gov (United States)

Reuveni, Eli; Giuliani, Alessandro

2012-02-01

The question how the observed discrete character of the phenotype emerges from a continuous genetic distance metrics is the core argument of two contrasted evolutionary theories: punctuated equilibrium (stable evolution scattered with saltations in the phenotype) and phyletic gradualism (smooth and linear evolution of the phenotype). Identifying phenotypic saltation on the molecular levels is critical to support the first model of evolution. We have used DNA sequences of ∼1300 genes from 6 isolated populations of the budding yeast Saccharomyces cerevisiae. We demonstrate that while the equivalent measure of the genetic distance show a continuum between lineage distance with no evidence of discrete states, the phenotypic space illustrates only two (discrete) possible states that can be associated with a saltation of the species phenotype. The fact that such saltation spans large fraction of the genome and follows by continuous genetic distance is a proof of the concept that the genotype-phenotype relation is not univocal and may have severe implication when looking for disease related genes and mutations. We used this finding with analogy to attractor-like dynamics and show that punctuated equilibrium could be explained in the framework of non-linear dynamics systems.

Modelling machine ensembles with discrete event dynamical system theory

Science.gov (United States)

Hunter, Dan

1990-01-01

Discrete Event Dynamical System (DEDS) theory can be utilized as a control strategy for future complex machine ensembles that will be required for in-space construction. The control strategy involves orchestrating a set of interactive submachines to perform a set of tasks for a given set of constraints such as minimum time, minimum energy, or maximum machine utilization. Machine ensembles can be hierarchically modeled as a global model that combines the operations of the individual submachines. These submachines are represented in the global model as local models. Local models, from the perspective of DEDS theory , are described by the following: a set of system and transition states, an event alphabet that portrays actions that takes a submachine from one state to another, an initial system state, a partial function that maps the current state and event alphabet to the next state, and the time required for the event to occur. Each submachine in the machine ensemble is presented by a unique local model. The global model combines the local models such that the local models can operate in parallel under the additional logistic and physical constraints due to submachine interactions. The global model is constructed from the states, events, event functions, and timing requirements of the local models. Supervisory control can be implemented in the global model by various methods such as task scheduling (open-loop control) or implementing a feedback DEDS controller (closed-loop control).

Mimetic discretization of the Abelian Chern-Simons theory and link invariants

Energy Technology Data Exchange (ETDEWEB)

Di Bartolo, Cayetano; Grau, Javier [Departamento de Física, Universidad Simón Bolívar, Apartado Postal 89000, Caracas 1080-A (Venezuela, Bolivarian Republic of); Leal, Lorenzo [Departamento de Física, Universidad Simón Bolívar, Apartado Postal 89000, Caracas 1080-A (Venezuela, Bolivarian Republic of); Centro de Física Teórica y Computacional, Facultad de Ciencias, Universidad Central de Venezuela, Apartado Postal 47270, Caracas 1041-A (Venezuela, Bolivarian Republic of)

2013-12-15

A mimetic discretization of the Abelian Chern-Simons theory is presented. The study relies on the formulation of a theory of differential forms in the lattice, including a consistent definition of the Hodge duality operation. Explicit expressions for the Gauss Linking Number in the lattice, which correspond to their continuum counterparts are given. A discussion of the discretization of metric structures in the space of transverse vector densities is presented. The study of these metrics could serve to obtain explicit formulae for knot an link invariants in the lattice.

Multidimensional electron-photon transport with standard discrete ordinates codes

International Nuclear Information System (INIS)

Drumm, C.R.

1997-01-01

A method is described for generating electron cross sections that are comparable with standard discrete ordinates codes without modification. There are many advantages of using an established discrete ordinates solver, e.g. immediately available adjoint capability. Coupled electron-photon transport capability is needed for many applications, including the modeling of the response of electronics components to space and man-made radiation environments. The cross sections have been successfully used in the DORT, TWODANT and TORT discrete ordinates codes. The cross sections are shown to provide accurate and efficient solutions to certain multidimensional electron-photon transport problems. The key to the method is a simultaneous solution of the continuous-slowing-down (CSD) portion and elastic-scattering portion of the scattering source by the Goudsmit-Saunderson theory. The resulting multigroup-Legendre cross sections are much smaller than the true scattering cross sections that they represent. Under certain conditions, the cross sections are guaranteed positive and converge with a low-order Legendre expansion

Multidimensional electron-photon transport with standard discrete ordinates codes

International Nuclear Information System (INIS)

Drumm, C.R.

1997-01-01

A method is described for generating electron cross sections that are compatible with standard discrete ordinates codes without modification. There are many advantages to using an established discrete ordinates solver, e.g., immediately available adjoint capability. Coupled electron-photon transport capability is needed for many applications, including the modeling of the response of electronics components to space and synthetic radiation environments. The cross sections have been successfully used in the DORT, TWODANT, and TORT discrete ordinates codes. The cross sections are shown to provide accurate and efficient solutions to certain multidimensional electron-photon transport problems. The key to the method is a simultaneous solution of the continuous-slowing-down and elastic-scattering portions of the scattering source by the Goudsmit-Saunderson theory. The resulting multigroup-Legendre cross sections are much smaller than the true scattering cross sections that they represent. Under certain conditions, the cross sections are guaranteed positive and converge with a low-order Legendre expansion

Convergence of Cell Based Finite Volume Discretizations for Problems of Control in the Conduction Coefficients