Semiclassical expanding discrete space-times

International Nuclear Information System (INIS)

Cobb, W.K.; Smalley, L.L.

1981-01-01

Given the close ties between general relativity and geometry one might reasonably expect that quantum effects associated with gravitation might also be tied to the geometry of space-time, namely, to some sort of discreteness in space-time itself. In particular it is supposed that space-time consists of a discrete lattice of points rather than the usual continuum. Since astronomical evidence seems to suggest that the universe is expanding, the lattice must also expand. Some of the implications of such a model are that the proton should presently be stable, and the universe should be closed although the mechanism for closure is quantum mechanical. (author)

On discrete models of space-time

International Nuclear Information System (INIS)

Horzela, A.; Kempczynski, J.; Kapuscik, E.; Georgia Univ., Athens, GA; Uzes, Ch.

1992-02-01

Analyzing the Einstein radiolocation method we come to the conclusion that results of any measurement of space-time coordinates should be expressed in terms of rational numbers. We show that this property is Lorentz invariant and may be used in the construction of discrete models of space-time different from the models of the lattice type constructed in the process of discretization of continuous models. (author)

A discrete-space urban model with environmental amenities

Science.gov (United States)

Liaila Tajibaeva; Robert G. Haight; Stephen Polasky

2008-01-01

This paper analyzes the effects of providing environmental amenities associated with open space in a discrete-space urban model and characterizes optimal provision of open space across a metropolitan area. The discrete-space model assumes distinct neighborhoods in which developable land is homogeneous within a neighborhood but heterogeneous across neighborhoods. Open...

Cuspidal discrete series for semisimple symmetric spaces

DEFF Research Database (Denmark)

Andersen, Nils Byrial; Flensted-Jensen, Mogens; Schlichtkrull, Henrik

2012-01-01

We propose a notion of cusp forms on semisimple symmetric spaces. We then study the real hyperbolic spaces in detail, and show that there exists both cuspidal and non-cuspidal discrete series. In particular, we show that all the spherical discrete series are non-cuspidal. (C) 2012 Elsevier Inc. All...

An Embeddable Virtual Machine for State Space Generation

NARCIS (Netherlands)

Weber, M.; Bosnacki, D.; Edelkamp, S.

2007-01-01

The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to reuse them in newly developed tools. We report on experiments with a virtual machine-based approach for state space generation. The

Theoretical formulation of finite-dimensional discrete phase spaces: I. Algebraic structures and uncertainty principles

International Nuclear Information System (INIS)

Marchiolli, M.A.; Ruzzi, M.

2012-01-01

We propose a self-consistent theoretical framework for a wide class of physical systems characterized by a finite space of states which allows us, within several mathematical virtues, to construct a discrete version of the Weyl–Wigner–Moyal (WWM) formalism for finite-dimensional discrete phase spaces with toroidal topology. As a first and important application from this ab initio approach, we initially investigate the Robertson–Schrödinger (RS) uncertainty principle related to the discrete coordinate and momentum operators, as well as its implications for physical systems with periodic boundary conditions. The second interesting application is associated with a particular uncertainty principle inherent to the unitary operators, which is based on the Wiener–Khinchin theorem for signal processing. Furthermore, we also establish a modified discrete version for the well-known Heisenberg–Kennard–Robertson (HKR) uncertainty principle, which exhibits additional terms (or corrections) that resemble the generalized uncertainty principle (GUP) into the context of quantum gravity. The results obtained from this new algebraic approach touch on some fundamental questions inherent to quantum mechanics and certainly represent an object of future investigations in physics. - Highlights: ► We construct a discrete version of the Weyl–Wigner–Moyal formalism. ► Coherent states for finite-dimensional discrete phase spaces are established. ► Discrete coordinate and momentum operators are properly defined. ► Uncertainty principles depend on the topology of finite physical systems. ► Corrections for the discrete Heisenberg uncertainty relation are also obtained.

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.

State-space modeling of the radio frequency inductively-coupled plasma generator

International Nuclear Information System (INIS)

Dewangan, Rakesh Kumar; Punjabi, Sangeeta B; Mangalvedekar, H A; Lande, B K; Joshi, N K; Barve, D N

2010-01-01

Computational fluid dynamics models of RF-ICP are useful in understanding the basic transport phenomenon in an ICP torch under a wide variety of operating conditions. However, these models lack the ability to evaluate the effects of the plasma condition on the RF generator. In this paper, simulation of an induction plasma generator has been done using state space modelling by considering inductively coupled plasma as a part of RF network .The time dependent response of the RF-ICP generator circuit to given input excitation has been computed by extracting the circuit's state-space variables and their constraint matrices. MATLAB 7.1 software has been used to solve the state equations. The values of RF coil current, frequency and plasma power has been measured experimentally also at different plate bias voltage. The simulated model is able to predict RF coil current, frequency, plasma power, overall efficiency of the generator. The simulated and measured values are in agreement with each other. This model can prove useful as a design tool for the Induction plasma generator.

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)

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.

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

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.

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.

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.

Generating Importance Map for Geometry Splitting using Discrete Ordinates Code in Deep Shielding Problem

International Nuclear Information System (INIS)

Kim, Jong Woon; Lee, Young Ouk

2016-01-01

When we use MCNP code for a deep shielding problem, we prefer to use variance reduction technique such as geometry splitting, or weight window, or source biasing to have relative error within reliable confidence interval. To generate importance map for geometry splitting in MCNP calculation, we should know the track entering number and previous importance on each cells since a new importance is calculated based on these information. If a problem is deep shielding problem such that we have zero tracks entering on a cell, we cannot generate new importance map. In this case, discrete ordinates code can provide information to generate importance map easily. In this paper, we use AETIUS code as a discrete ordinates code. Importance map for MCNP is generated based on a zone average flux of AETIUS calculation. The discretization of space, angle, and energy is not necessary for MCNP calculation. This is the big merit of MCNP code compared to the deterministic code. However, deterministic code (i.e., AETIUS) can provide a rough estimate of the flux throughout a problem relatively quickly. This can help MCNP by providing variance reduction parameters. Recently, ADVANTG code is released. This is an automated tool for generating variance reduction parameters for fixed-source continuous-energy Monte Carlo simulations with MCNP5 v1.60

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

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

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

Wind power scenario generation through state-space specifications for uncertainty analysis of wind power plants

International Nuclear Information System (INIS)

Díaz, Guzmán; Gómez-Aleixandre, Javier; Coto, José

2016-01-01

Highlights: • State space representations for simulating wind power plant output are proposed. • The representation of wind speed in state space allows structural analysis. • The joint model incorporates the temporal and spatial dependence structure. • The models are easily integrable into a backward/forward sweep algorithm. • Results evidence the remarkable differences between joint and marginal models. - Abstract: This paper proposes the use of state space models to generate scenarios for the analysis of wind power plant (WPP) generation capabilities. The proposal is rooted on the advantages that state space models present for dealing with stochastic processes; mainly their structural definition and the use of Kalman filter to naturally tackle some involved operations. The specification proposed in this paper comprises a structured representation of individual Box–Jenkins models, with indications about further improvements that can be easily performed. These marginal models are combined to form a joint model in which the dependence structure is easily handled. Indications about the procedure to calibrate and check the model, as well as a validation of its statistical appropriateness, are provided. Application of the proposed state space models provides insight on the need to properly specify the structural dependence between wind speeds. In this paper the joint and marginal models are smoothly integrated into a backward–forward sweep algorithm to determine the performance indicators (voltages and powers) of a WPP through simulation. As a result, visibly heavy tails emerge in the generated power probability distribution through the use of the joint model—incorporating a detailed description of the dependence structure—in contrast with the normally distributed power yielded by the margin-based model.

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.

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...

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

Discrete second order trajectory generator with nonlinear constraints

NARCIS (Netherlands)

Morselli, R.; Zanasi, R.; Stramigioli, Stefano

2005-01-01

A discrete second order trajectory generator for motion control systems is presented. The considered generator is a nonlinear system which receives as input a raw reference signal and provides as output a smooth reference signal satisfying nonlinear constraints on the output derivatives as UM-(x) ≤

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)

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

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.

On Generating Discrete Integrable Systems via Lie Algebras and Commutator Equations

International Nuclear Information System (INIS)

Zhang Yu-Feng; Tam, Honwah

2016-01-01

In the paper, we introduce the Lie algebras and the commutator equations to rewrite the Tu-d scheme for generating discrete integrable systems regularly. By the approach the various loop algebras of the Lie algebra A_1 are defined so that the well-known Toda hierarchy and a novel discrete integrable system are obtained, respectively. A reduction of the later hierarchy is just right the famous Ablowitz–Ladik hierarchy. Finally, via two different enlarging Lie algebras of the Lie algebra A_1, we derive two resulting differential-difference integrable couplings of the Toda hierarchy, of course, they are all various discrete expanding integrable models of the Toda hierarchy. When the introduced spectral matrices are higher degrees, the way presented in the paper is more convenient to generate discrete integrable equations than the Tu-d scheme by using the software Maple. (paper)

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...

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.

A discrete stress-strength interference model based on universal generating function

International Nuclear Information System (INIS)

An Zongwen; Huang Hongzhong; Liu Yu

2008-01-01

Continuous stress-strength interference (SSI) model regards stress and strength as continuous random variables with known probability density function. This, to some extent, results in a limitation of its application. In this paper, stress and strength are treated as discrete random variables, and a discrete SSI model is presented by using the universal generating function (UGF) method. Finally, case studies demonstrate the validity of the discrete model in a variety of circumstances, in which stress and strength can be represented by continuous random variables, discrete random variables, or two groups of experimental data

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.

Solid-State Power Generating Microdevices for Distributed Space System Architectures

Science.gov (United States)

Fleurial, J.-P.; Patel, J.; Snyder, G. J.; Huang, C.-K.; Averback, R.; Hill, C.; Chen, G.

2001-01-01

Deep space missions have a strong need for compact, high power density, reliable and long life electrical power generation and storage under extreme temperature conditions. Conventional power generating devices become inefficient at very low temperatures (temperatures lower than 200 K encountered during Mars missions for example) and rechargeable energy storage devices cannot be operated thereby limiting mission duration. At elevated temperatures (for example for planned solar probe or Venus lander missions), thin film interdiffusion destroys electronic devices used for generating and storing power. Solar power generation strongly depends upon the light intensity, which falls rapidly in deep interplanetary missions (beyond 5 AU), and in planetary missions in the sun shadow or in dusty environments (Mars, for example). Radioisotope thermoelectric generators (RTGs) have been successfully used for a number of deep space missions RTGs. However, their energy conversion efficiency and specific power characteristics are quite low, and this technology has been limited to relatively large systems (more than 100 W). The National Aeronautics and Space Administration (NASA) and the Jet Propulsion Laboratory (JPL) have been planning the use of much smaller spacecrafts that will incorporate a variety of microdevices and miniature vehicles such as microdetectors, microsensors, and microrovers. Except for electrochemical batteries and solar cells, there are currently no available miniaturized power sources. Novel technologies that will function reliably over a long duration mission (ten years and over), in harsh environments (temperature, pressure, and atmosphere) must be developed to enable the success of future space missions. It is also expected that such micropower sources could have a wide range of terrestrial applications, in particular when the limited lifetime and environmental limitations of batteries are key factors. Additional information is contained in the original

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.)

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.

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)

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.

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.

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)

Generation of discrete inelastic and elastic transfer matrix

International Nuclear Information System (INIS)

Garcia, R.D.M.; Santina, M.D.

1985-01-01

A technique developed for the calculation of the isotropic and linearly anisotropic components components of elastic and discrete inelastic transfer matrices is presented in this work. The implementation of the technique is discussed in detail and numerical results obtained for some examples are compared with results reported in the literature or generated with the use of several processing codes. (author) [pt

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.

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

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 δ.

NASA's Next Generation Space Geodesy Network

Science.gov (United States)

Desai, S. D.; Gross, R. S.; Hilliard, L.; Lemoine, F. G.; Long, J. L.; Ma, C.; McGarry, J. F.; Merkowitz, S. M.; Murphy, D.; Noll, C. E.;

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.

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

which was a sea of Riau Island in Indonesia. Side scan sonar (SSS is an instrument based on sonar system wich capable of showing the image of two-dimensional surface of the seabed with contour conditions, topography, and the underwater target simultaneously. Beam Pattern Discrete-equispaced unshaded Line Array Method is used to compute the two-dimensional beam pattern which depends on the angle of the incoming sound waves from the axis of the array are acceptable depending on the angle at which the sound beam array. This research was conducted in December 2016 in the sea Punggur, Batam, Riau Islands-Indonesia, with coordinate system  104 ° 08,7102 E and 1° 03,2448 N until 1 ° 03.3977N and 104 ° 08,8133 E,  using Side Scan Sonar Tow C-Max CM2 fish instruments with a frequency of 325 kHz. The Results obtained from the recording there are 7 targets, and Beam pattern of Discrete-Beam method Equi-Spaced unshaded Line Array in targets 4 have the highest value in the Pattern is 21:08 dB directivity. The results of the model's beam pattern have anaxis value at the incidence angle (o of the directivity pattern (dB are not on the value 0 or the central beam pattern generated on the target 6 with incident angle -1.5 o and 1.5o have declined by -40 dB. Characteristics of bottom sediment in the sea waters Punggur found more sand.Discrete-method result Beam Equi-Spaced unshaded Line Array discovered the sunken wreck. Keywords: Side Scan Sonar, Beam Pattern Discrete-Equi-Spaced Unshaded Line Array, Incidence angle, Directivity pattern

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

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...

Commutativity of the source generation procedure and integrable semi-discretizations: the two-dimensional Leznov lattice

International Nuclear Information System (INIS)

Hu Juan; Yu Guofu; Tam, Hon-Wah

2012-01-01

The source generation procedure (SGP) is applied to a y-directional discrete version and an x-directional discrete version of the Leznov lattice. Consequently, a y-discrete Leznov lattice equation with self-consistent sources (y-discrete Leznov ESCS) and an x-discrete Leznov ESCS are presented. Also utilizing the SGP, a new type of Leznov lattice equation with self-consistent sources (new Leznov ESCS) is derived. It is interesting that the two semi-discrete Leznov ESCS produced constitute a y-discretization for the Leznov ESCS given by Wang et al (2007 J. Phys. A: Math. Theor. 40 12691) and an x-discretization for the new Leznov ESCS, respectively. This means that the commutativity of SGP and integrable semi-discretizations is valid for the two-dimensional Leznov lattice equation. (paper)

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.

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....

Generation and monitoring of discrete stable random processes using multiple immigration population models

Energy Technology Data Exchange (ETDEWEB)

Matthews, J O; Hopcraft, K I; Jakeman, E [Applied Mathematics Division, School of Mathematical Sciences, University of Nottingham, Nottingham, NG7 2RD (United Kingdom)

2003-11-21

Some properties of classical population processes that comprise births, deaths and multiple immigrations are investigated. The rates at which the immigrants arrive can be tailored to produce a population whose steady state fluctuations are described by a pre-selected distribution. Attention is focused on the class of distributions with a discrete stable law, which have power-law tails and whose moments and autocorrelation function do not exist. The separate problem of monitoring and characterizing the fluctuations is studied, analysing the statistics of individuals that leave the population. The fluctuations in the size of the population are transferred to the times between emigrants that form an intermittent time series of events. The emigrants are counted with a detector of finite dynamic range and response time. This is modelled through clipping the time series or saturating it at an arbitrary but finite level, whereupon its moments and correlation properties become finite. Distributions for the time to the first counted event and for the time between events exhibit power-law regimes that are characteristic of the fluctuations in population size. The processes provide analytical models with which properties of complex discrete random phenomena can be explored, and in addition provide generic means by which random time series encompassing a wide range of intermittent and other discrete random behaviour may be generated.

Generation and monitoring of discrete stable random processes using multiple immigration population models

International Nuclear Information System (INIS)

Matthews, J O; Hopcraft, K I; Jakeman, E

2003-01-01

Some properties of classical population processes that comprise births, deaths and multiple immigrations are investigated. The rates at which the immigrants arrive can be tailored to produce a population whose steady state fluctuations are described by a pre-selected distribution. Attention is focused on the class of distributions with a discrete stable law, which have power-law tails and whose moments and autocorrelation function do not exist. The separate problem of monitoring and characterizing the fluctuations is studied, analysing the statistics of individuals that leave the population. The fluctuations in the size of the population are transferred to the times between emigrants that form an intermittent time series of events. The emigrants are counted with a detector of finite dynamic range and response time. This is modelled through clipping the time series or saturating it at an arbitrary but finite level, whereupon its moments and correlation properties become finite. Distributions for the time to the first counted event and for the time between events exhibit power-law regimes that are characteristic of the fluctuations in population size. The processes provide analytical models with which properties of complex discrete random phenomena can be explored, and in addition provide generic means by which random time series encompassing a wide range of intermittent and other discrete random behaviour may be generated

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...

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

System for Automatic Generation of Examination Papers in Discrete Mathematics

Science.gov (United States)

Fridenfalk, Mikael

2013-01-01

A system was developed for automatic generation of problems and solutions for examinations in a university distance course in discrete mathematics and tested in a pilot experiment involving 200 students. Considering the success of such systems in the past, particularly including automatic assessment, it should not take long before such systems are…

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.

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...

SURF: a subroutine code to draw the axonometric projection of a surface generated by a scalar function over a discretized plane domain using finite element computations

International Nuclear Information System (INIS)

Giuliani, Giovanni; Giuliani, Silvano.

1980-01-01

The FORTRAN IV subroutine SURF has been designed to help visualising the results of Finite Element computations. It drawns the axonometric projection of a surface generated in 3-dimensional space by a scalar function over a discretized plane domain. The most important characteristic of the routine is to remove the hidden lines and in this way it enables a clear vision of the details of the generated surface

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

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...

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.

Next Generation NASA Initiative for Space Geodesy

Science.gov (United States)

Merkowitz, S. M.; Desai, S.; Gross, R. S.; Hilliard, L.; Lemoine, F. G.; Long, J. L.; Ma, C.; McGarry J. F.; Murphy, D.; Noll, C. E.;

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.

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.

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

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.

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

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.

Properties of Griffin-Hill-Wheeler spaces - 2. one-parameters and two-conjugate parameter families of generator states

International Nuclear Information System (INIS)

Passos, E.J.V. de; Toledo Piza, A.F.R. de.

The properties of the subspaces of the many-body Hilbert space which are associated with the use of the Generator Coordinate Method (GCM) in connection with one parameter, and with two-conjugate parameter families of generator states are examined in detail. It is shown that natural orthonormal base vectors in each case are immediately related to Peierls-Voccoz and Peierls-Thouless projections respectively. Through the formal consideration of a canonical transformation to collective, P and Q, and intrinsic degrees of freedom, the properties of the GCM subspaces with respect to the kinematical separation of these degrees of freedom are discussed in detail. An application is made, using the ideas developed in this paper, a) to translation; b) to illustrate the qualitative understanting of the content of existing GCM calculations of giant ressonances in light nuclei and c) to the definition of appropriate asymptotic states in current GCM descriptions of scattering [pt

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

Parallel Polarization State Generation.

Science.gov (United States)

She, Alan; Capasso, Federico

2016-05-17

The control of polarization, an essential property of light, is of wide scientific and technological interest. The general problem of generating arbitrary time-varying states of polarization (SOP) has always been mathematically formulated by a series of linear transformations, i.e. a product of matrices, imposing a serial architecture. Here we show a parallel architecture described by a sum of matrices. The theory is experimentally demonstrated by modulating spatially-separated polarization components of a laser using a digital micromirror device that are subsequently beam combined. This method greatly expands the parameter space for engineering devices that control polarization. Consequently, performance characteristics, such as speed, stability, and spectral range, are entirely dictated by the technologies of optical intensity modulation, including absorption, reflection, emission, and scattering. This opens up important prospects for polarization state generation (PSG) with unique performance characteristics with applications in spectroscopic ellipsometry, spectropolarimetry, communications, imaging, and security.

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 θ.

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.

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...

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.)

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

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.

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

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.

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.

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

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

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.

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

Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method

DEFF Research Database (Denmark)

Lorentsen, Louise; Kristensen, Lars Michael

2001-01-01

The symmetry method is a main reduction paradigm for alleviating the state explosion problem. For large symmetry groups deciding whether two states are symmetric becomes time expensive due to the apparent high time complexity of the orbit problem. The contribution of this paper is to alleviate th...... the negative impact of the orbit problem by the specification of canonical representatives for equivalence classes of states in Coloured Petri Nets, and by giving algorithms exploiting stabilizers and parallelism for computing the condensed state space....

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)

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

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 ħ .

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.

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

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.

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.

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

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)

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)

A constructive presentation of rigged Hilbert spaces

International Nuclear Information System (INIS)

Celeghini, Enrico

2015-01-01

We construct a rigged Hilbert space for the square integrable functions on the line L2(R) adding to the generators of the Weyl-Heisenberg algebra a new discrete operator, related to the degree of the Hermite polynomials. All together, continuous and discrete operators, constitute the generators of the projective algebra io(2). L 2 (R) and the vector space of the line R are shown to be isomorphic representations of such an algebra and, as both these representations are irreducible, all operators defined on the rigged Hilbert spaces L 2 (R) or R are shown to belong to the universal enveloping algebra of io(2). The procedure can be extended to orthogonal and pseudo-orthogonal spaces of arbitrary dimension by tensorialization.Circumventing all formal problems the paper proposes a kind of toy model, well defined from a mathematical point of view, of rigged Hilbert spaces where, in contrast with the Hilbert spaces, operators with different cardinality are allowed. (paper)

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.

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...

Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method

DEFF Research Database (Denmark)

Lorentsen, Louise; Kristensen, Lars Michael

2001-01-01

The symmetry method is a main reduction paradigm for alleviating the state explosion problem. For large symmetry groups deciding whether two states are symmetric becomes time expensive due to the apparent high time complexity of the orbit problem. The contribution of this paper is to alleviate th...... the negative impact of the orbit problem by the specification of canonical representatives for equivalence classes of states in Coloured Petri Nets, and by giving algorithms exploiting stabilizers and parallelism for computing the condensed state space.......The symmetry method is a main reduction paradigm for alleviating the state explosion problem. For large symmetry groups deciding whether two states are symmetric becomes time expensive due to the apparent high time complexity of the orbit problem. The contribution of this paper is to alleviate...

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

Physiological modules for generating discrete and rhythmic movements: component analysis of EMG signals.

Science.gov (United States)

Bengoetxea, Ana; Leurs, Françoise; Hoellinger, Thomas; Cebolla, Ana Maria; Dan, Bernard; Cheron, Guy; McIntyre, Joseph

2014-01-01

A central question in Neuroscience is that of how the nervous system generates the spatiotemporal commands needed to realize complex gestures, such as handwriting. A key postulate is that the central nervous system (CNS) builds up complex movements from a set of simpler motor primitives or control modules. In this study we examined the control modules underlying the generation of muscle activations when performing different types of movement: discrete, point-to-point movements in eight different directions and continuous figure-eight movements in both the normal, upright orientation and rotated 90°. To test for the effects of biomechanical constraints, movements were performed in the frontal-parallel or sagittal planes, corresponding to two different nominal flexion/abduction postures of the shoulder. In all cases we measured limb kinematics and surface electromyographic activity (EMG) signals for seven different muscles acting around the shoulder. We first performed principal component analysis (PCA) of the EMG signals on a movement-by-movement basis. We found a surprisingly consistent pattern of muscle groupings across movement types and movement planes, although we could detect systematic differences between the PCs derived from movements performed in each shoulder posture and between the principal components associated with the different orientations of the figure. Unexpectedly we found no systematic differences between the figure eights and the point-to-point movements. The first three principal components could be associated with a general co-contraction of all seven muscles plus two patterns of reciprocal activation. From these results, we surmise that both "discrete-rhythmic movements" such as the figure eight, and discrete point-to-point movement may be constructed from three different fundamental modules, one regulating the impedance of the limb over the time span of the movement and two others operating to generate movement, one aligned with the

Maturing Technologies for Stirling Space Power Generation

Science.gov (United States)

Wilson, Scott D.; Nowlin, Brentley C.; Dobbs, Michael W.; Schmitz, Paul C.; Huth, James

2016-01-01

Stirling Radioisotope Power Systems (RPS) are being developed as an option to provide power on future space science missions where robotic spacecraft will orbit, flyby, land or rove. A Stirling Radioisotope Generator (SRG) could offer space missions a more efficient power system that uses one fourth of the nuclear fuel and decreases the thermal footprint of the current state of the art. The RPS Program Office, working in collaboration with the U.S. Department of Energy (DOE), manages projects to develop thermoelectric and dynamic power systems, including Stirling Radioisotope Generators (SRGs). The Stirling Cycle Technology Development (SCTD) Project, located at Glenn Research Center (GRC), is developing Stirling-based subsystems, including convertors and controllers. The SCTD Project also performs research that focuses on a wide variety of objectives, including increasing convertor temperature capability to enable new environments, improving system reliability or fault tolerance, reducing mass or size, and developing advanced concepts that are mission enabling. Research activity includes maturing subsystems, assemblies, and components to prepare them for infusion into future convertor and generator designs. The status of several technology development efforts are described here. As part of the maturation process, technologies are assessed for readiness in higher-level subsystems. To assess the readiness level of the Dual Convertor Controller (DCC), a Technology Readiness Assessment (TRA) was performed and the process and results are shown. Stirling technology research is being performed by the SCTD Project for NASA's RPS Program Office, where tasks focus on maturation of Stirling-based systems and subsystems for future space science missions.

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

Unifying and generating of space vector modulation sequences for multilevel converter

DEFF Research Database (Denmark)

Ma, Ke; Blaabjerg, Frede

2014-01-01

Space Vector Modulation (SVM) is a powerful method which enables some freedom to generate the modulation sequences and modify the performances of converter. However, in the multi-level converter structures, the number of switching state redundancies significantly increases, and the determination...

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.

Applications of nuclear-powered thermoelectric generators in space

International Nuclear Information System (INIS)

Rowe, D.M.

1991-01-01

The source of electrical power which enables information to be transmitted from the space crafts Voyager 1 and 2 back to Earth after a time period of more than a decade and at a distance of more than a billion miles is known as an RTG (radioisotope thermoelectric generator). It utilises the Seebeck effect in producing electricity from heat. In essence it consists of a large number of semiconductor thermocouples connected electrically in series and thermally in parallel. A temperature difference is maintained across the thermocouples by providing a heat source, which in the case of an RTG is a radioactive isotope, and the heat sink is space. The combination of an energy-conversion system, free of moving parts and a long-life, high energy-density heat source, provides a supply of electrical power typically in the range of tens to hundred of watts and which operates reliably over extended periods of time. An electric power source, based upon thermoelectric conversion by which utilises a nuclear reactor as a heat source, has also been deployed in space and a 100-kW system is being developed to provide electrical power to a variety of commercial and military projects including SDI. Developments in thermoelectrics that have taken place in the western world during the past 30 years are primarily due to United States interest and involvement in the exploration of space. This paper reviews US applications of nuclear-powered thermoelectric generators in space. (author)

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)

Discrete Wigner formalism for qubits and noncontextuality of Clifford gates on qubit stabilizer states

Science.gov (United States)

Kocia, Lucas; Love, Peter

2017-12-01

We show that qubit stabilizer states can be represented by non-negative quasiprobability distributions associated with a Wigner-Weyl-Moyal formalism where Clifford gates are positive state-independent maps. This is accomplished by generalizing the Wigner-Weyl-Moyal formalism to three generators instead of two—producing an exterior, or Grassmann, algebra—which results in Clifford group gates for qubits that act as a permutation on the finite Weyl phase space points naturally associated with stabilizer states. As a result, a non-negative probability distribution can be associated with each stabilizer state's three-generator Wigner function, and these distributions evolve deterministically to one another under Clifford gates. This corresponds to a hidden variable theory that is noncontextual and local for qubit Clifford gates while Clifford (Pauli) measurements have a context-dependent representation. Equivalently, we show that qubit Clifford gates can be expressed as propagators within the three-generator Wigner-Weyl-Moyal formalism whose semiclassical expansion is truncated at order ℏ0 with a finite number of terms. The T gate, which extends the Clifford gate set to one capable of universal quantum computation, requires a semiclassical expansion of the propagator to order ℏ1. We compare this approach to previous quasiprobability descriptions of qubits that relied on the two-generator Wigner-Weyl-Moyal formalism and find that the two-generator Weyl symbols of stabilizer states result in a description of evolution under Clifford gates that is state-dependent, in contrast to the three-generator formalism. We have thus extended Wigner non-negative quasiprobability distributions from the odd d -dimensional case to d =2 qubits, which describe the noncontextuality of Clifford gates and contextuality of Pauli measurements on qubit stabilizer states.

Towards the Next Generation of Space Environment Prediction Capabilities.

Science.gov (United States)

Kuznetsova, M. M.

2015-12-01

Since its establishment more than 15 years ago, the Community Coordinated Modeling Center (CCMC, http://ccmc.gsfc.nasa.gov) is serving as an assess point to expanding collection of state-of-the-art space environment models and frameworks as well as a hub for collaborative development of next generation space weather forecasting systems. In partnership with model developers and international research and operational communities the CCMC integrates new data streams and models from diverse sources into end-to-end space weather impacts predictive systems, identifies week links in data-model & model-model coupling and leads community efforts to fill those gaps. The presentation will highlight latest developments, progress in CCMC-led community-wide projects on testing, prototyping, and validation of models, forecasting techniques and procedures and outline ideas on accelerating implementation of new capabilities in space weather operations.

CKM and PMNS mixing matrices from discrete subgroups of SU(2)

International Nuclear Information System (INIS)

Potter, Franklin

2015-01-01

Remaining within the realm of the Standard Model(SM) local gauge group, this first principles derivation of both the PMNS and CKM matrices utilizes quaternion generators of the three discrete (i.e., finite) binary rotational subgroups of SU(2) called [3,3,2], [4,3,2], and [5,3,2] for three lepton families in R 3 and four related discrete binary rotational subgroups [3,3,3], [4,3,3], [3,4,3], and [5,3,3] represented by four quark families in R 4 . The traditional 3x3 CKM matrix is extracted as a submatrix of the 4x4 CKM4 matrix. If these two additional quarks b' and t' of a 4th quark family exist, there is the possibility that the SM lagrangian may apply all the way down to the Planck scale. There are then numerous other important consequences. The Weinberg angle is derived using these same quaternion generators, and the triangle anomaly cancellation is satisfied even though there is an obvious mismatch of three lepton families to four quark families. In a discrete space, one can also use these generators to derive a unique connection from the electroweak local gauge group SU(2) L x U(1) Y acting in R 4 to the discrete group Weyl E 8 in R 8 . By considering Lorentz transformations in discrete (3,1)-D spacetime, one obtains another Weyl E 8 discrete symmetry group in R 8 , so that the combined symmetry is Weyl E 8 x Weyl E 8 = 'discrete' SO(9,1) in 10-D spacetime. This unique connection is in direct contrast to the 10 500 possible connections for superstring theory! (paper)

Quantification of discreteness effects in cosmological N-body simulations: Initial conditions

International Nuclear Information System (INIS)

Joyce, M.; Marcos, B.

2007-01-01

The relation between the results of cosmological N-body simulations, and the continuum theoretical models they simulate, is currently not understood in a way which allows a quantification of N dependent effects. In this first of a series of papers on this issue, we consider the quantification of such effects in the initial conditions of such simulations. A general formalism developed in [A. Gabrielli, Phys. Rev. E 70, 066131 (2004).] allows us to write down an exact expression for the power spectrum of the point distributions generated by the standard algorithm for generating such initial conditions. Expanded perturbatively in the amplitude of the input (i.e. theoretical, continuum) power spectrum, we obtain at linear order the input power spectrum, plus two terms which arise from discreteness and contribute at large wave numbers. For cosmological type power spectra, one obtains as expected, the input spectrum for wave numbers k smaller than that characteristic of the discreteness. The comparison of real space correlation properties is more subtle because the discreteness corrections are not as strongly localized in real space. For cosmological type spectra the theoretical mass variance in spheres and two-point correlation function are well approximated above a finite distance. For typical initial amplitudes this distance is a few times the interparticle distance, but it diverges as this amplitude (or, equivalently, the initial redshift of the cosmological simulation) goes to zero, at fixed particle density. We discuss briefly the physical significance of these discreteness terms in the initial conditions, in particular, with respect to the definition of the continuum limit of N-body simulations

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

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.)

NASA's Next Generation Space Geodesy Program

Science.gov (United States)

Merkowitz, S. M.; Desai, S. D.; Gross, R. S.; Hillard, L. M.; Lemoine, F. G.; Long, J. L.; Ma, C.; McGarry, J. F.; Murphy, D.; Noll, C. E.;

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.

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.

q-deformed Minkowski space

International Nuclear Information System (INIS)

Ogievetsky, O.; Pillin, M.; Schmidke, W.B.; Wess, J.; Zumino, B.

1993-01-01

In this lecture I discuss the algebraic structure of a q-deformed four-vector space. It serves as a good example of quantizing Minkowski space. To give a physical interpretation of such a quantized Minkowski space we construct the Hilbert space representation and find that the relevant time and space operators have a discrete spectrum. Thus the q-deformed Minkowski space has a lattice structure. Nevertheless this lattice structure is compatible with the operation of q-deformed Lorentz transformations. The generators of the q-deformed Lorentz group can be represented as linear operators in the same Hilbert space. (orig.)

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

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

Time dependent and asymptotic neutron number probability distribution calculation using discrete Fourier transform

International Nuclear Information System (INIS)

Humbert, Ph.

2005-01-01

In this paper we consider the probability distribution of neutrons in a multiplying assembly. The problem is studied using a space independent one group neutron point reactor model without delayed neutrons. We recall the generating function methodology and analytical results obtained by G.I. Bell when the c 2 approximation is used and we present numerical solutions in the general case, without this approximation. The neutron source induced distribution is calculated using the single initial neutron distribution which satisfies a master (Kolmogorov backward) equation. This equation is solved using the generating function method. The generating function satisfies a differential equation and the probability distribution is derived by inversion of the generating function. Numerical results are obtained using the same methodology where the generating function is the Fourier transform of the probability distribution. Discrete Fourier transforms are used to calculate the discrete time dependent distributions and continuous Fourier transforms are used to calculate the asymptotic continuous probability distributions. Numerical applications are presented to illustrate the method. (author)

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.

Bridging the Worlds of Entertainment and Space - One Element of the Space Generation Foundation

Science.gov (United States)

Hildago, L.

2002-01-01

Programme on Space Applications, SGSabstracts@unsgac.org/fax +1(281)244-7478 The Space Generation Foundation, founder of ISU, is the current home for Space Rocks!, Yuri's Night, and other space projects focused on education, outreach, and sustainable development worldwide. One particular area of success in 2001/2002 has been the involvement of the entertainment community in space events. Yuri's Night brought together musicians, DJs, artists, and the public to celebrate space. Space Rocks will do the same on a much larger scale, employing film, theatre, poetry, music, art, advertising firms, and other unconventional media to communicate space to the public. We will present about the aims and future plans of the Foundation. The Space Generation Advisory Council in support of the United Nations Programme on Space Applications has as its main focus Space education and outreach. Since the Space Generation Forum in 1999, successful global education and outreach projects have been implemented by young people around the world. These and new ideas are being further developed at the Space Generation Summit (SGS), an event at World Space Congress (WSC) that will unite international students and young professionals to develop a youth vision and strategy for the peaceful uses of space. SGS, endorsed by the United Nations, will take place from October 11-13th, during which the 200 delegates will discuss ongoing youth space activities, particularly those stemming from the UNISPACE- III/SGF and taken forward by the Space Generation Advisory Council. Delegates will address a variety of topics with the goal of devising new recommendations according to the theme, 'Accelerating Our Pace in Space'. The material presented here and in other technical sessions throughout WSC includes the results of these discussions.

You Pretty Little Flocker: Exploring the Aesthetic State Space of Creative Ecosystems.

Science.gov (United States)

Eldridge, Alice

2015-01-01

Artificial life models constitute a rich compendium of tools for the generative arts; complex, self-organizing, emergent behaviors have great interactive and generative potential. But how can we go beyond simply visualizing scientific simulations and manipulate these models for use in design and creative art contexts? You Pretty Little Flocker is a proof-of-concept study in expanding and exploring the aesthetic state space of a model for generative design. A modified version of Reynolds' flocking algorithm (1987) is described in which the space of possible images is extended and navigable in a way that at once provides user control and maintains generative autonomy.

Quantifying the Opportunity Space for Future Electricity Generation: An Application to Offshore Wind Energy in the United States

Energy Technology Data Exchange (ETDEWEB)

Marcy, Cara [National Renewable Energy Lab. (NREL), Golden, CO (United States); Beiter, Philipp [National Renewable Energy Lab. (NREL), Golden, CO (United States)

2016-09-01

This report provides a high-level indicator of the future electricity demand for additional electric power generation that is not met by existing generation sources between 2015 and 2050. The indicator is applied to coastal regions, including the Great Lakes, to assess the regional opportunity space for offshore wind. An assessment of opportunity space can be a first step in determining the prospects and the system value of a technology. The metric provides the maximal amount of additional generation that is likely required to satisfy load in future years.

A constrained Delaunay discretization method for adaptively meshing highly discontinuous geological media

Science.gov (United States)

Wang, Yang; Ma, Guowei; Ren, Feng; Li, Tuo

2017-12-01

A constrained Delaunay discretization method is developed to generate high-quality doubly adaptive meshes of highly discontinuous geological media. Complex features such as three-dimensional discrete fracture networks (DFNs), tunnels, shafts, slopes, boreholes, water curtains, and drainage systems are taken into account in the mesh generation. The constrained Delaunay triangulation method is used to create adaptive triangular elements on planar fractures. Persson's algorithm (Persson, 2005), based on an analogy between triangular elements and spring networks, is enriched to automatically discretize a planar fracture into mesh points with varying density and smooth-quality gradient. The triangulated planar fractures are treated as planar straight-line graphs (PSLGs) to construct piecewise-linear complex (PLC) for constrained Delaunay tetrahedralization. This guarantees the doubly adaptive characteristic of the resulted mesh: the mesh is adaptive not only along fractures but also in space. The quality of elements is compared with the results from an existing method. It is verified that the present method can generate smoother elements and a better distribution of element aspect ratios. Two numerical simulations are implemented to demonstrate that the present method can be applied to various simulations of complex geological media that contain a large number of discontinuities.

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.

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

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)

Conformation Generation: The State of the Art.

Science.gov (United States)

Hawkins, Paul C D

2017-08-28

The generation of conformations for small molecules is a problem of continuing interest in cheminformatics and computational drug discovery. This review will present an overview of methods used to sample conformational space, focusing on those methods designed for organic molecules commonly of interest in drug discovery. Different approaches to both the sampling of conformational space and the scoring of conformational stability will be compared and contrasted, with an emphasis on those methods suitable for conformer sampling of large numbers of drug-like molecules. Particular attention will be devoted to the appropriate utilization of information from experimental solid-state structures in validating and evaluating the performance of these tools. The review will conclude with some areas worthy of further investigation.

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 integrable systems and deformations of associative algebras

International Nuclear Information System (INIS)

Konopelchenko, B G

2009-01-01

Interrelations between discrete deformations of the structure constants for associative algebras and discrete integrable systems are reviewed. Theory of deformations for associative algebras is presented. Closed left ideal generated by the elements representing the multiplication table plays a central role in this theory. Deformations of the structure constants are generated by the deformation driving algebra and governed by the central system of equations. It is demonstrated that many discrete equations such as discrete Boussinesq equation, discrete WDVV equation, discrete Schwarzian KP and BKP equations, discrete Hirota-Miwa equations for KP and BKP hierarchies are particular realizations of the central system. An interaction between the theories of discrete integrable systems and discrete deformations of associative algebras is reciprocal and fruitful. An interpretation of the Menelaus relation (discrete Schwarzian KP equation), discrete Hirota-Miwa equation for KP hierarchy, consistency around the cube as the associativity conditions and the concept of gauge equivalence, for instance, between the Menelaus and KP configurations are particular examples.

Theoretical foundation for jung's “Mandala Symbolism” based on discrete chaotic dynamics of interacting neurons

Directory of Open Access Journals (Sweden)

V. Gontar

2000-01-01

Full Text Available Based on discrete chaotic dynamics algorithms different patterns in a form of mandalas have been generated. This fact gives us the possibility to make a link between mechanism of biochemical reaction dynamics undergoing in brain resulted to the brain creativity process in form of mandalas. Obtained patterns can be related to the space distributed chemicals according to the law of extended principle of maximum entropy, consideration of the information exchange during biochemical transformations, mass conservation law and discrete chaotic dynamics principles.

Evolutionarily stable learning schedules and cumulative culture in discrete generation models.

Science.gov (United States)

Aoki, Kenichi; Wakano, Joe Yuichiro; Lehmann, Laurent

2012-06-01

Individual learning (e.g., trial-and-error) and social learning (e.g., imitation) are alternative ways of acquiring and expressing the appropriate phenotype in an environment. The optimal choice between using individual learning and/or social learning may be dictated by the life-stage or age of an organism. Of special interest is a learning schedule in which social learning precedes individual learning, because such a schedule is apparently a necessary condition for cumulative culture. Assuming two obligatory learning stages per discrete generation, we obtain the evolutionarily stable learning schedules for the three situations where the environment is constant, fluctuates between generations, or fluctuates within generations. During each learning stage, we assume that an organism may target the optimal phenotype in the current environment by individual learning, and/or the mature phenotype of the previous generation by oblique social learning. In the absence of exogenous costs to learning, the evolutionarily stable learning schedules are predicted to be either pure social learning followed by pure individual learning ("bang-bang" control) or pure individual learning at both stages ("flat" control). Moreover, we find for each situation that the evolutionarily stable learning schedule is also the one that optimizes the learned phenotype at equilibrium. Copyright © 2012 Elsevier Inc. All rights reserved.

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...

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.

Origin of interface states and oxide charges generated by ionizing radiation

International Nuclear Information System (INIS)

Sah, C.T.

1976-01-01

The randomly located trivalent silicon atoms are shown to account for the thermally generated interface states at the SiO 2 -Si interface. The interface state density is greatly reduced in water containing ambients at low temperatures (450 0 C) by forming trivalent silicon hydroxide bonds. Interface states are regenerated when the /triple bond/Si-OH bonds are broken by ionizing radiation and the OH ions are drifted away. In the bulk of the oxide film, the trivalent silicon and the interstitial oxygen donor centers are shown to be responsible for the heat and radiation generated positive space charge build-up (oxide charge) in thermally grown silicon oxide

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

UAS Demand Generator for Discrete Airspace Density, Phase I

Data.gov (United States)

National Aeronautics and Space Administration — A key component to solving many engineering challenges of UAS integration into the National Airspace System is the ability to state the numbers of forecasted UAS by...

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.)

Property - preserving convergent sequences of invariant sets for linear discrete - time systems

NARCIS (Netherlands)

Athanasopoulos, N.; Lazar, M.; Bitsoris, G.

2014-01-01

Abstract: New sequences of monotonically increasing sets are introduced, for linear discrete-time systems subject to input and state constraints. The elements of the set sequences are controlled invariant and admissible regions of stabilizability. They are generated from the iterative application of

Generalized state spaces and nonlocality in fault-tolerant quantum-computing schemes

International Nuclear Information System (INIS)

Ratanje, N.; Virmani, S.

2011-01-01

We develop connections between generalized notions of entanglement and quantum computational devices where the measurements available are restricted, either because they are noisy and/or because by design they are only along Pauli directions. By considering restricted measurements one can (by considering the dual positive operators) construct single-particle-state spaces that are different to the usual quantum-state space. This leads to a modified notion of entanglement that can be very different to the quantum version (for example, Bell states can become separable). We use this approach to develop alternative methods of classical simulation that have strong connections to the study of nonlocal correlations: we construct noisy quantum computers that admit operations outside the Clifford set and can generate some forms of multiparty quantum entanglement, but are otherwise classical in that they can be efficiently simulated classically and cannot generate nonlocal statistics. Although the approach provides new regimes of noisy quantum evolution that can be efficiently simulated classically, it does not appear to lead to significant reductions of existing upper bounds to fault tolerance thresholds for common noise models.

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

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.

Generation of coherent states of photon-added type via pathway of eigenfunctions

International Nuclear Information System (INIS)

Gorska, K; Penson, K A; Duchamp, G H E

2010-01-01

We obtain and investigate the regular eigenfunctions of simple differential operators x r d r+1 /dx r+1 , r = 1, 2, ..., with the eigenvalues equal to 1. With the help of these eigenfunctions, we construct a non-unitary analogue of a boson displacement operator which will be acting on the vacuum. In this way, we generate collective quantum states of the Fock space which are normalized and equipped with the resolution of unity with the positive weight functions that we obtain explicitly. These states are thus coherent states in the sense of Klauder. They span the truncated Fock space without first r lowest-lying basis states: |0), |1), ..., |r - 1). These states are squeezed, sub-Poissonian in nature and reminiscent of photon-added states in Agarwal and Tara (1991 Phys. Rev. A 43 492).

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.

Evolved finite state controller for hybrid system in reduced search space

DEFF Research Database (Denmark)

Dupuis, Jean-Francois; Fan, Zhun

2009-01-01

This paper presents an evolutionary methodology to automatically generate finite state automata (FSA) controllers to control hybrid systems. The proposed approach reduces the search space using an invariant analysis of the system. FSA controllers for a case study of two-tank system have been...

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.

Analyzing Korean consumers’ latent preferences for electricity generation sources with a hierarchical Bayesian logit model in a discrete choice experiment

International Nuclear Information System (INIS)

Byun, Hyunsuk; Lee, Chul-Yong

2017-01-01

Generally, consumers use electricity without considering the source the electricity was generated from. Since different energy sources exert varying effects on society, it is necessary to analyze consumers’ latent preference for electricity generation sources. The present study estimates Korean consumers’ marginal utility and an appropriate generation mix is derived using the hierarchical Bayesian logit model in a discrete choice experiment. The results show that consumers consider the danger posed by the source of electricity as the most important factor among the effects of electricity generation sources. Additionally, Korean consumers wish to reduce the contribution of nuclear power from the existing 32–11%, and increase that of renewable energy from the existing 4–32%. - Highlights: • We derive an electricity mix reflecting Korean consumers’ latent preferences. • We use the discrete choice experiment and hierarchical Bayesian logit model. • The danger posed by the generation source is the most important attribute. • The consumers wish to increase the renewable energy proportion from 4.3% to 32.8%. • Korea's cost-oriented energy supply policy and consumers’ preference differ markedly.

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.

Coherent states of the real symplectic group in a complex analytic parametrization. I. Unitary-operator coherent states

International Nuclear Information System (INIS)

Quesne, C.

1986-01-01

In the present series of papers, the coherent states of Sp(2d,R), corresponding to the positive discrete series irreducible representations 1 +n/2> encountered in physical applications, are analyzed in detail with special emphasis on those of Sp(4,R) and Sp(6,R). The present paper discusses the unitary-operator coherent states, as defined by Klauder, Perelomov, and Gilmore. These states are parametrized by the points of the coset space Sp(2d,R)/H, where H is the stability group of the Sp(2d,R) irreducible representation lowest weight state, chosen as the reference state, and depends upon the relative values of lambda 1 ,...,lambda/sub d/, subject to the conditions lambda 1 > or =lambda 2 > or = x x x > or =lambda/sub d/> or =0. A parametrization of Sp(2d,R)/H corresponding to a factorization of the latter into a product of coset spaces Sp(2d,R)/U(d) and U(d)/H is chosen. The overlap of two coherent states is calculated, the action of the Sp(2d,R) generators on the coherent states is determined, and the explicit form of the unity resolution relation satisfied by the coherent states in the representation space of the irreducible representation is obtained. The Hilbert space of analytic functions arising from the coherent state representation is studied in detail. Finally, some applications of the formalism developed in the present paper are outlined

Discrete-Event Simulation

Directory of Open Access Journals (Sweden)

Prateek Sharma

2015-04-01

Full Text Available Abstract Simulation can be regarded as the emulation of the behavior of a real-world system over an interval of time. The process of simulation relies upon the generation of the history of a system and then analyzing that history to predict the outcome and improve the working of real systems. Simulations can be of various kinds but the topic of interest here is one of the most important kind of simulation which is Discrete-Event Simulation which models the system as a discrete sequence of events in time. So this paper aims at introducing about Discrete-Event Simulation and analyzing how it is beneficial to the real world systems.

State-space dimensionality in short-memory hidden-variable theories

International Nuclear Information System (INIS)

Montina, Alberto

2011-01-01

Recently we have presented a hidden-variable model of measurements for a qubit where the hidden-variable state-space dimension is one-half the quantum-state manifold dimension. The absence of a short memory (Markov) dynamics is the price paid for this dimensional reduction. The conflict between having the Markov property and achieving the dimensional reduction was proved by Montina [A. Montina, Phys. Rev. A 77, 022104 (2008)] using an additional hypothesis of trajectory relaxation. Here we analyze in more detail this hypothesis introducing the concept of invertible process and report a proof that makes clearer the role played by the topology of the hidden-variable space. This is accomplished by requiring suitable properties of regularity of the conditional probability governing the dynamics. In the case of minimal dimension the set of continuous hidden variables is identified with an object living an N-dimensional Hilbert space whose dynamics is described by the Schroedinger equation. A method for generating the economical non-Markovian model for the qubit is also presented.

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.

A Generalized Stability Theorem for Discrete-Time Nonautonomous Chaos System with Applications

Directory of Open Access Journals (Sweden)

Mei Zhang

2015-01-01

Full Text Available Firstly, this study introduces a definition of generalized stability (GST in discrete-time nonautonomous chaos system (DNCS, which is an extension for chaos generalized synchronization. Secondly, a constructive theorem of DNCS has been proposed. As an example, a GST DNCS is constructed based on a novel 4-dimensional discrete chaotic map. Numerical simulations show that the dynamic behaviors of this map have chaotic attractor characteristics. As one application, we design a chaotic pseudorandom number generator (CPRNG based on the GST DNCS. We use the SP800-22 test suite to test the randomness of four 100-key streams consisting of 1,000,000 bits generated by the CPRNG, the RC4 algorithm, the ZUC algorithm, and a 6-dimensional CGS-based CPRNG, respectively. The numerical results show that the randomness performances of the two CPRNGs are promising. In addition, theoretically the key space of the CPRNG is larger than 21116. As another application, this study designs a stream avalanche encryption scheme (SAES in RGB image encryption. The results show that the GST DNCS is able to generate the avalanche effects which are similar to those generated via ideal CPRNGs.

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...

The space distribution of neutrons generated in massive lead target by relativistic nuclear beam

International Nuclear Information System (INIS)

Chultem, D.; Damdinsuren, Ts.; Enkh-Gin, L.; Lomova, L.; Perelygin, V.; Tolstov, K.

1993-01-01

The present paper is devoted to implementation of solid state nuclear track detectors in the research of the neutron generation in extended lead spallation target. Measured neutrons space distribution inside the lead target and neutron distribution in the thick water moderator are assessed. (Author)

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

Study on State Transition Method Applied to Motion Planning for a Humanoid Robot

Directory of Open Access Journals (Sweden)

Xuyang Wang

2008-11-01

Full Text Available This paper presents an approach of motion planning for a humanoid robot using a state transition method. In this method, motion planning is simplified by introducing a state-space to describe the whole motion series. And each state in the state-space corresponds to a contact state specified during the motion. The continuous motion is represented by a sequence of discrete states. The concept of the transition between two neighboring states, that is the state transition, can be realized by using some traditional path planning methods. Considering the dynamical stability of the robot, a state transition method based on search strategy is proposed. Different sets of trajectories are generated by using a variable 5th-order polynomial interpolation method. After quantifying the stabilities of these trajectories, the trajectories with the largest stability margin are selected as the final state transition trajectories. Rising motion process is exemplified to validate the method and the simulation results show the proposed method to be feasible and effective.

Limits on nonlocal correlations from the structure of the local state space

International Nuclear Information System (INIS)

Janotta, Peter; Gogolin, Christian; Barrett, Jonathan; Brunner, Nicolas

2011-01-01

The outcomes of measurements on entangled quantum systems can be nonlocally correlated. However, while it is easy to write down toy theories allowing arbitrary nonlocal correlations, those allowed in quantum mechanics are limited. Quantum correlations cannot, for example, violate a principle known as macroscopic locality, which implies that they cannot violate Tsirelson's bound. This paper shows that there is a connection between the strength of nonlocal correlations in a physical theory and the structure of the state spaces of individual systems. This is illustrated by a family of models in which local state spaces are regular polygons, where a natural analogue of a maximally entangled state of two systems exists. We characterize the nonlocal correlations obtainable from such states. The family allows us to study the transition between classical, quantum and super-quantum correlations by varying only the local state space. We show that the strength of nonlocal correlations - in particular whether the maximally entangled state violates Tsirelson's bound or not-depends crucially on a simple geometric property of the local state space, known as strong self-duality. This result is seen to be a special case of a general theorem, which states that a broad class of entangled states in probabilistic theories-including, by extension, all bipartite classical and quantum states-cannot violate macroscopic locality. Finally, our results show that models exist that are locally almost indistinguishable from quantum mechanics, but can nevertheless generate maximally nonlocal correlations.

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-Event Simulation

OpenAIRE

Prateek Sharma

2015-01-01

Abstract Simulation can be regarded as the emulation of the behavior of a real-world system over an interval of time. The process of simulation relies upon the generation of the history of a system and then analyzing that history to predict the outcome and improve the working of real systems. Simulations can be of various kinds but the topic of interest here is one of the most important kind of simulation which is Discrete-Event Simulation which models the system as a discrete sequence of ev...

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.

Multivariable Wind Modeling in State Space

DEFF Research Database (Denmark)

Sichani, Mahdi Teimouri; Pedersen, B. J.

2011-01-01

Turbulence of the incoming wind field is of paramount importance to the dynamic response of wind turbines. Hence reliable stochastic models of the turbulence should be available from which time series can be generated for dynamic response and structural safety analysis. In the paper an empirical...... for the vector turbulence process incorporating its phase spectrum in one stage, and its results are compared with a conventional ARMA modeling method....... the succeeding state space and ARMA modeling of the turbulence rely on the positive definiteness of the cross-spectral density matrix, the problem with the non-positive definiteness of such matrices is at first addressed and suitable treatments regarding it are proposed. From the adjusted positive definite cross...

Generation of photon number states

International Nuclear Information System (INIS)

Waks, Edo; Diamanti, Eleni; Yamamoto, Yoshihisa

2006-01-01

The visible light photon counter (VLPC) has the capability to discriminate photon number states, in contrast to conventional photon counters which can only detect the presence or absence of photons. We use this capability, along with the process of parametric down-conversion, to generate photon number states. We experimentally demonstrate generation of states containing 1, 2, 3 and 4 photons with high fidelity. We then explore the effect the detection efficiency of the VLPC has on the generation rate and fidelity of the created states

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.

Discrete-time retrial queue with Bernoulli vacation, preemptive resume and feedback customers

Directory of Open Access Journals (Sweden)

Peishu Chen

2015-09-01

Full Text Available Purpose: We consider a discrete-time Geo/G/1 retrial queue where the retrial time follows a general distribution, the server subject to Bernoulli vacation policy and the customer has preemptive resume priority, Bernoulli feedback strategy. The main purpose of this paper is to derive the generating functions of the stationary distribution of the system state, the orbit size and some important performance measures. Design/methodology: Using probability generating function technique, some valuable and interesting performance measures of the system are obtained. We also investigate two stochastic decomposition laws and present some numerical results. Findings: We obtain the probability generating functions of the system state distribution as well as those of the orbit size and the system size distributions. We also obtain some analytical expressions for various performance measures such as idle and busy probabilities, mean orbit and system sizes. Originality/value: The analysis of discrete-time retrial queues with Bernoulli vacation, preemptive resume and feedback customers is interesting and to the best of our knowledge, no other scientific journal paper has dealt with this question. This fact gives the reason why efforts should be taken to plug this gap.

Universal sequence map (USM of arbitrary discrete sequences

Directory of Open Access Journals (Sweden)

Almeida Jonas S

2002-02-01

Full Text Available Abstract Background For over a decade the idea of representing biological sequences in a continuous coordinate space has maintained its appeal but not been fully realized. The basic idea is that any sequence of symbols may define trajectories in the continuous space conserving all its statistical properties. Ideally, such a representation would allow scale independent sequence analysis – without the context of fixed memory length. A simple example would consist on being able to infer the homology between two sequences solely by comparing the coordinates of any two homologous units. Results We have successfully identified such an iterative function for bijective mappingψ of discrete sequences into objects of continuous state space that enable scale-independent sequence analysis. The technique, named Universal Sequence Mapping (USM, is applicable to sequences with an arbitrary length and arbitrary number of unique units and generates a representation where map distance estimates sequence similarity. The novel USM procedure is based on earlier work by these and other authors on the properties of Chaos Game Representation (CGR. The latter enables the representation of 4 unit type sequences (like DNA as an order free Markov Chain transition table. The properties of USM are illustrated with test data and can be verified for other data by using the accompanying web-based tool:http://bioinformatics.musc.edu/~jonas/usm/. Conclusions USM is shown to enable a statistical mechanics approach to sequence analysis. The scale independent representation frees sequence analysis from the need to assume a memory length in the investigation of syntactic rules.

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.

Integrable discretizations of the short pulse equation

International Nuclear Information System (INIS)

Feng Baofeng; Maruno, Ken-ichi; Ohta, Yasuhiro

2010-01-01

In this paper, we propose integrable semi-discrete and full-discrete analogues of the short pulse (SP) equation. The key construction is the bilinear form and determinant structure of solutions of the SP equation. We also give the determinant formulas of N-soliton solutions of the semi-discrete and full-discrete analogues of the SP equations, from which the multi-loop and multi-breather solutions can be generated. In the continuous limit, the full-discrete SP equation converges to the semi-discrete SP equation, and then to the continuous SP equation. Based on the semi-discrete SP equation, an integrable numerical scheme, i.e. a self-adaptive moving mesh scheme, is proposed and used for the numerical computation of the short pulse equation.

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.

The Automatic Generation of Knowledge Spaces From Problem Solving Strategies

NARCIS (Netherlands)

Milovanovic, Ivica; Jeuring, Johan

2016-01-01

In this paper, we explore theoretical and practical aspects of the automatic generation of knowledge spaces from problem solving strategies. We show how the generated spaces can be used for adapting strategy-based problem solving learning environments (PSLEs).

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....

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…

Iterative normalization technique for reference sequence generation for zero-tail discrete fourier transform spread orthogonal frequency division multiplexing

DEFF Research Database (Denmark)

2017-01-01

Systems, methods, apparatuses, and computer program products for generating sequences for zero-tail discrete fourier transform (DFT)-spread-orthogonal frequency division multiplexing (OFDM) (ZT DFT-s-OFDM) reference signals. One method includes adding a zero vector to an input sequence...... of each of the elements, converting the sequence to time domain, generating a zero-padded sequence by forcing a zero head and tail of the sequence, and repeating the steps until a final sequence with zero-tail and flat frequency response is obtained....

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.

A new technique for generating the isotropic and linearly anisotropic components of elastic and discrete inelastic transfer matrices

International Nuclear Information System (INIS)

Garcia, R.D.M.

1984-01-01

A new technique for generating the isotropic and linearly anisotropic componets of elastic and discrete inelastic transfer matrices is proposed. The technique allows certain angular integrals to be expressed in terms of functions that can be computed by recursion relations or series expansions alternatively to the use of numerical quadratures. (Author) [pt

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.

Displaced squeezed number states: Position space representation, inner product, and some applications

DEFF Research Database (Denmark)

Møller, Klaus Braagaard; Jørgensen, Thomas Godsk; Dahl, Jens Peder

1996-01-01

For some applications the overall phase of a quantum state is crucial. For the so-called displaced squeezed number state (DSN), which is a generalization of the well-known squeezed coherent state, we obtain the position space representation with the correct overall phase, from the dynamics...... in a harmonic potential. The importance of the overall phase is demonstrated in the context of characteristic or moment generating functions. For two special cases the characteristic function is shown to be computable from the inner product of two different DSNs....

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.

Symmetric coupling of angular momenta, quadratic algebras and discrete polynomials

International Nuclear Information System (INIS)

Aquilanti, V; Marinelli, D; Marzuoli, A

2014-01-01

Eigenvalues and eigenfunctions of the volume operator, associated with the symmetric coupling of three SU(2) angular momentum operators, can be analyzed on the basis of a discrete Schrödinger–like equation which provides a semiclassical Hamiltonian picture of the evolution of a 'quantum of space', as shown by the authors in [1]. Emphasis is given here to the formalization in terms of a quadratic symmetry algebra and its automorphism group. This view is related to the Askey scheme, the hierarchical structure which includes all hypergeometric polynomials of one (discrete or continuous) variable. Key tool for this comparative analysis is the duality operation defined on the generators of the quadratic algebra and suitably extended to the various families of overlap functions (generalized recoupling coefficients). These families, recognized as lying at the top level of the Askey scheme, are classified and a few limiting cases are addressed

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

A sparse grid based method for generative dimensionality reduction of high-dimensional data

Science.gov (United States)

Bohn, Bastian; Garcke, Jochen; Griebel, Michael

2016-03-01

Generative dimensionality reduction methods play an important role in machine learning applications because they construct an explicit mapping from a low-dimensional space to the high-dimensional data space. We discuss a general framework to describe generative dimensionality reduction methods, where the main focus lies on a regularized principal manifold learning variant. Since most generative dimensionality reduction algorithms exploit the representer theorem for reproducing kernel Hilbert spaces, their computational costs grow at least quadratically in the number n of data. Instead, we introduce a grid-based discretization approach which automatically scales just linearly in n. To circumvent the curse of dimensionality of full tensor product grids, we use the concept of sparse grids. Furthermore, in real-world applications, some embedding directions are usually more important than others and it is reasonable to refine the underlying discretization space only in these directions. To this end, we employ a dimension-adaptive algorithm which is based on the ANOVA (analysis of variance) decomposition of a function. In particular, the reconstruction error is used to measure the quality of an embedding. As an application, the study of large simulation data from an engineering application in the automotive industry (car crash simulation) is performed.

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

Bayesian state space models for dynamic genetic network construction across multiple tissues.

Science.gov (United States)

Liang, Yulan; Kelemen, Arpad

2016-08-01

Construction of gene-gene interaction networks and potential pathways is a challenging and important problem in genomic research for complex diseases while estimating the dynamic changes of the temporal correlations and non-stationarity are the keys in this process. In this paper, we develop dynamic state space models with hierarchical Bayesian settings to tackle this challenge for inferring the dynamic profiles and genetic networks associated with disease treatments. We treat both the stochastic transition matrix and the observation matrix time-variant and include temporal correlation structures in the covariance matrix estimations in the multivariate Bayesian state space models. The unevenly spaced short time courses with unseen time points are treated as hidden state variables. Hierarchical Bayesian approaches with various prior and hyper-prior models with Monte Carlo Markov Chain and Gibbs sampling algorithms are used to estimate the model parameters and the hidden state variables. We apply the proposed Hierarchical Bayesian state space models to multiple tissues (liver, skeletal muscle, and kidney) Affymetrix time course data sets following corticosteroid (CS) drug administration. Both simulation and real data analysis results show that the genomic changes over time and gene-gene interaction in response to CS treatment can be well captured by the proposed models. The proposed dynamic Hierarchical Bayesian state space modeling approaches could be expanded and applied to other large scale genomic data, such as next generation sequence (NGS) combined with real time and time varying electronic health record (EHR) for more comprehensive and robust systematic and network based analysis in order to transform big biomedical data into predictions and diagnostics for precision medicine and personalized healthcare with better decision making and patient outcomes.

Harmonic Instability Assessment Using State-Space Modeling and Participation Analysis in Inverter-Fed Power Systems

DEFF Research Database (Denmark)

Wang, Yanbo; Wang, Xiongfei; Blaabjerg, Frede

2017-01-01

parameters on the harmonic instability of the power system. Moreover, the harmonic-frequency oscillation modes are identified, where participation analysis is presented to evaluate the contributions of different states to these modes and to further reveal how the system gives rise to harmonic instability......This paper presents a harmonic instability analysis method using state-space modeling and participation analysis in the inverter-fed ac power systems. A full-order state-space model for the droop-controlled Distributed Generation (DG) inverter is built first, including the time delay of the digital...... control system, inner current and voltage control loops, and outer droop-based power control loop. Based on the DG inverter model, an overall state-space model of a two-inverter-fed system is established. The eigenvalue-based stability analysis is then presented to assess the influence of controller...

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

Using Discrete Choice Experiments to Inform the Benefit-Risk Assessment of Medicines: Are We Ready Yet?

Science.gov (United States)

Vass, Caroline M; Payne, Katherine

2017-09-01

There is emerging interest in the use of discrete choice experiments as a means of quantifying the perceived balance between benefits and risks (quantitative benefit-risk assessment) of new healthcare interventions, such as medicines, under assessment by regulatory agencies. For stated preference data on benefit-risk assessment to be used in regulatory decision making, the methods to generate these data must be valid, reliable and capable of producing meaningful estimates understood by decision makers. Some reporting guidelines exist for discrete choice experiments, and for related methods such as conjoint analysis. However, existing guidelines focus on reporting standards, are general in focus and do not consider the requirements for using discrete choice experiments specifically for quantifying benefit-risk assessments in the context of regulatory decision making. This opinion piece outlines the current state of play in using discrete choice experiments for benefit-risk assessment and proposes key areas needing to be addressed to demonstrate that discrete choice experiments are an appropriate and valid stated preference elicitation method in this context. Methodological research is required to establish: how robust the results of discrete choice experiments are to formats and methods of risk communication; how information in the discrete choice experiment can be presented effectually to respondents; whose preferences should be elicited; the correct underlying utility function and analytical model; the impact of heterogeneity in preferences; and the generalisability of the results. We believe these methodological issues should be addressed, alongside developing a 'reference case', before agencies can safely and confidently use discrete choice experiments for quantitative benefit-risk assessment in the context of regulatory decision making for new medicines and healthcare products.

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.

Discrete ordinates cross-section generation in parallel plane geometry -- 2: Computational results

International Nuclear Information System (INIS)

Yavuz, M.

1998-01-01

In Ref. 1, the author presented inverse discrete ordinates (S N ) methods for cross-section generation with an arbitrary scattering anisotropy of order L (L ≤ N - 1) in parallel plane geometry. The solution techniques depend on the S N eigensolutions. The eigensolutions are determined by the inverse simplified S N method (ISS N ), which uses the surface Green's function matrices (T and R). Inverse problems are generally designed so that experimentally measured physical quantities can be used in the formulations. In the formulations, although T and R (TR matrices) are measurable quantities, the author does not have such data to check the adequacy and accuracy of the methods. However, it is possible to compute TR matrices by S N methods. The author presents computational results and computationally observed properties

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.

A scalable block-preconditioning strategy for divergence-conforming B-spline discretizations of the Stokes problem

KAUST Repository

Cortes, Adriano Mauricio

2016-10-01

The recently introduced divergence-conforming B-spline discretizations allow the construction of smooth discrete velocity-pressure pairs for viscous incompressible flows that are at the same time inf−supinf−sup stable and pointwise divergence-free. When applied to the discretized Stokes problem, these spaces generate a symmetric and indefinite saddle-point linear system. The iterative method of choice to solve such system is the Generalized Minimum Residual Method. This method lacks robustness, and one remedy is to use preconditioners. For linear systems of saddle-point type, a large family of preconditioners can be obtained by using a block factorization of the system. In this paper, we show how the nesting of “black-box” solvers and preconditioners can be put together in a block triangular strategy to build a scalable block preconditioner for the Stokes system discretized by divergence-conforming B-splines. Besides the known cavity flow problem, we used for benchmark flows defined on complex geometries: an eccentric annulus and hollow torus of an eccentric annular cross-section.

Theory and computation of disturbance invariant sets for discrete-time linear systems

Directory of Open Access Journals (Sweden)

Kolmanovsky Ilya

1998-01-01

Full Text Available This paper considers the characterization and computation of invariant sets for discrete-time, time-invariant, linear systems with disturbance inputs whose values are confined to a specified compact set but are otherwise unknown. The emphasis is on determining maximal disturbance-invariant sets X that belong to a specified subset Γ of the state space. Such d-invariant sets have important applications in control problems where there are pointwise-in-time state constraints of the form χ ( t ∈ Γ . One purpose of the paper is to unite and extend in a rigorous way disparate results from the prior literature. In addition there are entirely new results. Specific contributions include: exploitation of the Pontryagin set difference to clarify conceptual matters and simplify mathematical developments, special properties of maximal invariant sets and conditions for their finite determination, algorithms for generating concrete representations of maximal invariant sets, practical computational questions, extension of the main results to general Lyapunov stable systems, applications of the computational techniques to the bounding of state and output response. Results on Lyapunov stable systems are applied to the implementation of a logic-based, nonlinear multimode regulator. For plants with disturbance inputs and state-control constraints it enlarges the constraint-admissible domain of attraction. Numerical examples illustrate the various theoretical and computational results.

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.

Interface state generation after hole injection

International Nuclear Information System (INIS)

Zhao, C. Z.; Zhang, J. F.; Groeseneken, G.; Degraeve, R.; Ellis, J. N.; Beech, C. D.

2001-01-01

After terminating electrical stresses, the generation of interface states can continue. Our previous work in this area indicates that the interface state generation following hole injection originates from a defect. These defects are inactive in a fresh device, but can be excited by hole injection and then converted into interface states under a positive gate bias after hole injection. There is little information available on these defects. This article investigates how they are formed and attempts to explain why they are sensitive to processing conditions. Roles played by hydrogen and trapped holes will be clarified. A detailed comparison between the interface state generation after hole injection in air and that in forming gas is carried out. Our results show that there are two independent processes for the generation: one is caused by H 2 cracking and the other is not. The rate limiting process for the interface state generation after hole injection is discussed and the relation between the defects responsible for this generation and hole traps is explored. [copyright] 2001 American Institute of Physics

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.

Probabilistic Power Flow Method Considering Continuous and Discrete Variables

Directory of Open Access Journals (Sweden)

Xuexia Zhang

2017-04-01

Full Text Available This paper proposes a probabilistic power flow (PPF method considering continuous and discrete variables (continuous and discrete power flow, CDPF for power systems. The proposed method—based on the cumulant method (CM and multiple deterministic power flow (MDPF calculations—can deal with continuous variables such as wind power generation (WPG and loads, and discrete variables such as fuel cell generation (FCG. In this paper, continuous variables follow a normal distribution (loads or a non-normal distribution (WPG, and discrete variables follow a binomial distribution (FCG. Through testing on IEEE 14-bus and IEEE 118-bus power systems, the proposed method (CDPF has better accuracy compared with the CM, and higher efficiency compared with the Monte Carlo simulation method (MCSM.

Advanced Solid State Lighting for AES Deep Space Hab Project

Science.gov (United States)

Holbert, Eirik

2015-01-01

The advanced Solid State Lighting (SSL) assemblies augmented 2nd generation modules under development for the Advanced Exploration Systems Deep Space Habitat in using color therapy to synchronize crew circadian rhythms. Current RGB LED technology does not produce sufficient brightness to adequately address general lighting in addition to color therapy. The intent is to address both through a mix of white and RGB LEDs designing for fully addressable alertness/relaxation levels as well as more dramatic circadian shifts.

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.

Discrete population balance models of random agglomeration and cleavage in polymer pyrolysis

Directory of Open Access Journals (Sweden)

John E. J. Staggs

2017-05-01

Full Text Available The processes of random agglomeration and cleavage (both of which are important for the development of new models of polymer combustion, but are also applicable in a wide range of fields including atmospheric physics, radiation modelling and astrophysics are analysed using population balance methods. The evolution of a discrete distribution of particles is considered within this framework, resulting in a set of ordinary differential equations for the individual particle concentrations. Exact solutions for these equations are derived, together with moment generating functions. Application of the discrete Laplace transform (analogous to the Z-transform is found to be effective in these problems, providing both exact solutions for particle concentrations and moment generating functions. The combined agglomeration-cleavage problem is also considered. Unfortunately, it has been impossible to find an exact solution for the full problem, but a stable steady state has been identified and computed.

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

On the spectrum of the one-speed slab-geometry discrete ordinates operator in neutron transport theory

International Nuclear Information System (INIS)

Abreu, Marcos Pimenta de

1998-01-01

We describe a numerical method applied to the first-order form of one-speed slab-geometry discrete ordinates equations modelling time-independent neutron transport problems with anisotropic scattering, with no interior source and defined in a nonmultiplying homogeneous host medium. Our numerical method is concerned with the generation of the spectrum and of a vector basis for the null space of the one-speed slab-geometry discrete ordinates operator. Moreover, it allows us to overcome the difficulties introduced in previous methods by anisotropic scattering and by angular quadrature sets of high order. To illustrate the positive features of our numerical method, we present numerical results for one-speed slab-geometry neutron transport model problems with anisotropic scattering

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

Fractal sets generated by chemical reactions discrete chaotic dynamics

International Nuclear Information System (INIS)

Gontar, V.; Grechko, O.

2007-01-01

Fractal sets composed by the parameters values of difference equations derived from chemical reactions discrete chaotic dynamics (DCD) and corresponding to the sequences of symmetrical patterns were obtained in this work. Examples of fractal sets with the corresponding symmetrical patterns have been presented

An Adaptive Model Predictive Load Frequency Control Method for Multi-Area Interconnected Power Systems with Photovoltaic Generations

Directory of Open Access Journals (Sweden)

Guo-Qiang Zeng

2017-11-01

Full Text Available As the penetration level of renewable distributed generations such as wind turbine generator and photovoltaic stations increases, the load frequency control issue of a multi-area interconnected power system becomes more challenging. This paper presents an adaptive model predictive load frequency control method for a multi-area interconnected power system with photovoltaic generation by considering some nonlinear features such as a dead band for governor and generation rate constraint for steam turbine. The dynamic characteristic of this system is formulated as a discrete-time state space model firstly. Then, the predictive dynamic model is obtained by introducing an expanded state vector, and rolling optimization of control signal is implemented based on a cost function by minimizing the weighted sum of square predicted errors and square future control values. The simulation results on a typical two-area power system consisting of photovoltaic and thermal generator have demonstrated the superiority of the proposed model predictive control method to these state-of-the-art control techniques such as firefly algorithm, genetic algorithm, and population extremal optimization-based proportional-integral control methods in cases of normal conditions, load disturbance and parameters uncertainty.

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.

CKM and PMNS Mixing Matrices from Discrete Subgroups of SU(2

Directory of Open Access Journals (Sweden)

Potter F.

2014-07-01

Full Text Available One of the greatest challenges in particle physics is to determine the first principles origin of the quark and lepton mixing matrices CKM and PMNS that relate the flavor states to the mass states. This first principles derivation of both the PMNS and CKM matrices utilizes quaternion generators of the three discrete (i.e., finite binary rotational subgroups of SU(2 called [3,3,2], [4,3,2], and [5,3,2] for three lepton families in R 3 and four related discrete binary rotational subgroups [3,3,3], [4,3,3], [3,4,3], and [5,3,3] represented by four quark families in R 4 . The traditional 3 3 CKM matrix is extracted as a submatrix of the 4 4 CKM4 matrix. The predicted fourth family of quarks has not been discovered yet. If these two additional quarks exist, there is the possibility that the Standard Model lagrangian may apply all the way down to the Planck scale.

Bound states in the continuum generated by supersymmetric quantum mechanics and phase rigidity of the corresponding wavefunctions

International Nuclear Information System (INIS)

Demić, Aleksandar; Milanović, Vitomir; Radovanović, Jelena

2015-01-01

Supersymmetric quantum mechanics (SUSYQM) is a method that can be used for generating complex potentials with entirely real spectrum with bound states in the continuum (BIC). These complex potentials are isospectral with the initial one, but SUSYQM method adds discrete BIC's at selected energies. Corresponding wavefunctions created by SUSYQM are biorthogonal and complex, hence we can discuss their phase rigidity and illustrate the application of SUSYQM on the examples of three specific potential profiles (free electron, negative Dirac potential and quantum well with infinite walls). - Highlights: • We present SUSYQM method for generating complex potentials with entirely real spectrum. • Phase rigidity and normalizability of wavefunctions in complex potential is discussed. • Numerical application is performed on three specific potential profiles.

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.

Nonlinear coherent loss for generating non-classical states

International Nuclear Information System (INIS)

Mikhalychev, A; Mogilevtsev, D; Kilin, S

2011-01-01

Here, we discuss a generation of non-classical states of bosonic mode with the help of artificially designed loss, namely the nonlinear coherent loss. We show how to generate superpositions of Fock states, and how it is possible to 'comb' the initial states leaving only states with certain properties in the resulting superposition (for example, a generation of a superposition of Fock states with odd number of particles). We discuss purity of generated states and estimate maximal achievable generation fidelity.

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

Pseudo-random number generator based on asymptotic deterministic randomness

Science.gov (United States)

Wang, Kai; Pei, Wenjiang; Xia, Haishan; Cheung, Yiu-ming

2008-06-01

A novel approach to generate the pseudorandom-bit sequence from the asymptotic deterministic randomness system is proposed in this Letter. We study the characteristic of multi-value correspondence of the asymptotic deterministic randomness constructed by the piecewise linear map and the noninvertible nonlinearity transform, and then give the discretized systems in the finite digitized state space. The statistic characteristics of the asymptotic deterministic randomness are investigated numerically, such as stationary probability density function and random-like behavior. Furthermore, we analyze the dynamics of the symbolic sequence. Both theoretical and experimental results show that the symbolic sequence of the asymptotic deterministic randomness possesses very good cryptographic properties, which improve the security of chaos based PRBGs and increase the resistance against entropy attacks and symbolic dynamics attacks.

Pseudo-random number generator based on asymptotic deterministic randomness

International Nuclear Information System (INIS)

Wang Kai; Pei Wenjiang; Xia Haishan; Cheung Yiuming

2008-01-01

A novel approach to generate the pseudorandom-bit sequence from the asymptotic deterministic randomness system is proposed in this Letter. We study the characteristic of multi-value correspondence of the asymptotic deterministic randomness constructed by the piecewise linear map and the noninvertible nonlinearity transform, and then give the discretized systems in the finite digitized state space. The statistic characteristics of the asymptotic deterministic randomness are investigated numerically, such as stationary probability density function and random-like behavior. Furthermore, we analyze the dynamics of the symbolic sequence. Both theoretical and experimental results show that the symbolic sequence of the asymptotic deterministic randomness possesses very good cryptographic properties, which improve the security of chaos based PRBGs and increase the resistance against entropy attacks and symbolic dynamics attacks

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…

Space Technology Game Changing Development- Next Generation Life Support: Spacecraft Oxygen Recovery (SCOR)

Science.gov (United States)

Abney, Morgan; Barta, Daniel

2015-01-01

The Next Generation Life Support Spacecraft Oxygen Recovery (SCOR) project element is dedicated to developing technology that enables oxygen recovery from metabolically produced carbon dioxide in space habitats. The state-of-the-art system on the International Space Station uses Sabatier technology to recover (is) approximately 50% oxygen from carbon dioxide. The remaining oxygen required for crew respiration is supplied from Earth. For long duration manned missions beyond low-Earth orbit, resupply of oxygen becomes economically and logistically prohibitive. To mitigate these challenges, the SCOR project element is targeting development of technology to increase the recovery of oxygen to 75% or more, thereby reducing the total oxygen resupply required for future missions.

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

Modeling discrete and rhythmic movements through motor primitives: a review.

Science.gov (United States)

Degallier, Sarah; Ijspeert, Auke

2010-10-01

Rhythmic and discrete movements are frequently considered separately in motor control, probably because different techniques are commonly used to study and model them. Yet the increasing interest in finding a comprehensive model for movement generation requires bridging the different perspectives arising from the study of those two types of movements. In this article, we consider discrete and rhythmic movements within the framework of motor primitives, i.e., of modular generation of movements. In this way we hope to gain an insight into the functional relationships between discrete and rhythmic movements and thus into a suitable representation for both of them. Within this framework we can define four possible categories of modeling for discrete and rhythmic movements depending on the required command signals and on the spinal processes involved in the generation of the movements. These categories are first discussed in terms of biological concepts such as force fields and central pattern generators and then illustrated by several mathematical models based on dynamical system theory. A discussion on the plausibility of theses models concludes the work.

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....

Numerical computation of discrete differential scattering cross sections for Monte Carlo charged particle transport

International Nuclear Information System (INIS)

Walsh, Jonathan A.; Palmer, Todd S.; Urbatsch, Todd J.

2015-01-01

Highlights: • Generation of discrete differential scattering angle and energy loss cross sections. • Gauss–Radau quadrature utilizing numerically computed cross section moments. • Development of a charged particle transport capability in the Milagro IMC code. • Integration of cross section generation and charged particle transport capabilities. - Abstract: We investigate a method for numerically generating discrete scattering cross sections for use in charged particle transport simulations. We describe the cross section generation procedure and compare it to existing methods used to obtain discrete cross sections. The numerical approach presented here is generalized to allow greater flexibility in choosing a cross section model from which to derive discrete values. Cross section data computed with this method compare favorably with discrete data generated with an existing method. Additionally, a charged particle transport capability is demonstrated in the time-dependent Implicit Monte Carlo radiative transfer code, Milagro. We verify the implementation of charged particle transport in Milagro with analytic test problems and we compare calculated electron depth–dose profiles with another particle transport code that has a validated electron transport capability. Finally, we investigate the integration of the new discrete cross section generation method with the charged particle transport capability in Milagro.

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.

A Markovian state-space framework for integrating flexibility into space system design decisions

Science.gov (United States)

Lafleur, Jarret M.

The past decades have seen the state of the art in aerospace system design progress from a scope of simple optimization to one including robustness, with the objective of permitting a single system to perform well even in off-nominal future environments. Integrating flexibility, or the capability to easily modify a system after it has been fielded in response to changing environments, into system design represents a further step forward. One challenge in accomplishing this rests in that the decision-maker must consider not only the present system design decision, but also sequential future design and operation decisions. Despite extensive interest in the topic, the state of the art in designing flexibility into aerospace systems, and particularly space systems, tends to be limited to analyses that are qualitative, deterministic, single-objective, and/or limited to consider a single future time period. To address these gaps, this thesis develops a stochastic, multi-objective, and multi-period framework for integrating flexibility into space system design decisions. Central to the framework are five steps. First, system configuration options are identified and costs of switching from one configuration to another are compiled into a cost transition matrix. Second, probabilities that demand on the system will transition from one mission to another are compiled into a mission demand Markov chain. Third, one performance matrix for each design objective is populated to describe how well the identified system configurations perform in each of the identified mission demand environments. The fourth step employs multi-period decision analysis techniques, including Markov decision processes from the field of operations research, to find efficient paths and policies a decision-maker may follow. The final step examines the implications of these paths and policies for the primary goal of informing initial system selection. Overall, this thesis unifies state-centric concepts of

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.

Quasibound states in graphene quantum-dot nanostructures generated by concentric potential barrier rings

International Nuclear Information System (INIS)

Jiang Zhao-Tan; Yu Cheng-Long; Dong Quan-Li

2012-01-01

We study the quasibound states in a graphene quantum-dot structure generated by the single-, double-, and triple-barrier electrostatic potentials. It is shown that the strongest quasibound states are mainly determined by the innermost barrier. Specifically, the positions of the quasibound states are determined by the barrier height, the number of the quasibound states is determined by the quantum-dot radius and the angular momentum, and the localization degree of the quasibound states is influenced by the width of the innermost barrier, as well as the outside barriers. Furthermore, according to the study on the double- and triple-barrier quantum dots, we find that an effective way to generate more quasibound states with even larger energy level spacings is to design a quantum dot defined by many concentric barriers with larger barrier-height differences. Last, we extend our results into the quantum dot of many barriers, which gives a complete picture about the formation of the quasibound states in the kind of graphene quantum dot created by many concentric potential barrier rings. (rapid communication)

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...

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.

Performance evaluation of block-diagonal preconditioners for the divergence-conforming B-spline discretization of the Stokes system

KAUST Repository

Cô rtes, A.M.A.; Coutinho, A.L.G.A.; Dalcin, L.; Calo, Victor M.

2015-01-01

The recently introduced divergence-conforming B-spline discretizations allow the construction of smooth discrete velocity–pressure pairs for viscous incompressible flows that are at the same time inf-sup stable and pointwise divergence-free. When applied to discretized Stokes equations, these spaces generate a symmetric and indefinite saddle-point linear system. Krylov subspace methods are usually the most efficient procedures to solve such systems. One of such methods, for symmetric systems, is the Minimum Residual Method (MINRES). However, the efficiency and robustness of Krylov subspace methods is closely tied to appropriate preconditioning strategies. For the discrete Stokes system, in particular, block-diagonal strategies provide efficient preconditioners. In this article, we compare the performance of block-diagonal preconditioners for several block choices. We verify how the eigenvalue clustering promoted by the preconditioning strategies affects MINRES convergence. We also compare the number of iterations and wall-clock timings. We conclude that among the building blocks we tested, the strategy with relaxed inner conjugate gradients preconditioned with incomplete Cholesky provided the best results.

Performance evaluation of block-diagonal preconditioners for the divergence-conforming B-spline discretization of the Stokes system

KAUST Repository

Côrtes, A.M.A.

2015-02-20

The recently introduced divergence-conforming B-spline discretizations allow the construction of smooth discrete velocity–pressure pairs for viscous incompressible flows that are at the same time inf-sup stable and pointwise divergence-free. When applied to discretized Stokes equations, these spaces generate a symmetric and indefinite saddle-point linear system. Krylov subspace methods are usually the most efficient procedures to solve such systems. One of such methods, for symmetric systems, is the Minimum Residual Method (MINRES). However, the efficiency and robustness of Krylov subspace methods is closely tied to appropriate preconditioning strategies. For the discrete Stokes system, in particular, block-diagonal strategies provide efficient preconditioners. In this article, we compare the performance of block-diagonal preconditioners for several block choices. We verify how the eigenvalue clustering promoted by the preconditioning strategies affects MINRES convergence. We also compare the number of iterations and wall-clock timings. We conclude that among the building blocks we tested, the strategy with relaxed inner conjugate gradients preconditioned with incomplete Cholesky provided the best results.

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

Implementation of continuous-variable quantum key distribution with discrete modulation

Science.gov (United States)

Hirano, Takuya; Ichikawa, Tsubasa; Matsubara, Takuto; Ono, Motoharu; Oguri, Yusuke; Namiki, Ryo; Kasai, Kenta; Matsumoto, Ryutaroh; Tsurumaru, Toyohiro

2017-06-01

We have developed a continuous-variable quantum key distribution (CV-QKD) system that employs discrete quadrature-amplitude modulation and homodyne detection of coherent states of light. We experimentally demonstrated automated secure key generation with a rate of 50 kbps when a quantum channel is a 10 km optical fibre. The CV-QKD system utilises a four-state and post-selection protocol and generates a secure key against the entangling cloner attack. We used a pulsed light source of 1550 nm wavelength with a repetition rate of 10 MHz. A commercially available balanced receiver is used to realise shot-noise-limited pulsed homodyne detection. We used a non-binary LDPC code for error correction (reverse reconciliation) and the Toeplitz matrix multiplication for privacy amplification. A graphical processing unit card is used to accelerate the software-based post-processing.

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....

Solid State Energy Conversion for Deep Space Power

Data.gov (United States)

National Aeronautics and Space Administration — Thermophotovoltaic (TPV) devices employed in static radioisotope generators show great promise for highly efficient, reliable, and resilient power generation for...

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 space structure of the sl(1 vertical bar 3) Wigner quantum oscillator

International Nuclear Information System (INIS)

King, R.C.; Palev, T.D.; Stoilova, N.I.; Jeugt, J. van der

2002-09-01

The properties of a noncanonical 3D Wigner quantum oscillator, whose position and momentum operators generate the Lie superalgebra sl(1 vertical bar 3), are further investigated. Within each state space W(p), p=1,2,..., the energy E q , q=0,1,2,3, takes no more than 4 different values. If the oscillator is in a stationary state ψ q is an element of W(p) then measurements of the non-commuting Cartesian coordinates of the particle are such that their allowed values are consistent with it being found at a finite number of sites, called 'nests'. These lie on a sphere centered on the origin of fixed, finite radius p q . The nests themselves are at the vertices of a rectangular parallelepiped. In the typical cases (p>2) the number of nests is 8 for q=0 and 3, and varies from 8 to 24, depending on the state, for q=1 and 2. The number of nests is less in the atypical cases (p=1,2), but it is never less than two. In certain states in W(2) (resp. in W(1)) the oscillator is 'polarized' so that all the nests lie on a plane (resp. on a line). The particle cannot be localized in any one of the available nests alone since the coordinates do not commute. The probabilities of measuring particular values of the coordinates are discussed. The mean trajectories and the standard deviations of the coordinates and momenta are computed, and conclusions are drawn about uncertainty relations. The rotational invariance of the system is also discussed. (author)

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.

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.

Generating a Multiphase Equation of State with Swarm Intelligence

Science.gov (United States)

Cox, Geoffrey

2017-06-01

Hydrocode calculations require knowledge of the variation of pressure of a material with density and temperature, which is given by the equation of state. An accurate model needs to account for discontinuities in energy, density and properties of a material across a phase boundary. When generating a multiphase equation of state the modeller attempts to balance the agreement between the available data for compression, expansion and phase boundary location. However, this can prove difficult because minor adjustments in the equation of state for a single phase can have a large impact on the overall phase diagram. Recently, Cox and Christie described a method for combining statistical-mechanics-based condensed matter physics models with a stochastic analysis technique called particle swarm optimisation. The models produced show good agreement with experiment over a wide range of pressure-temperature space. This talk details the general implementation of this technique, shows example results, and describes the types of analysis that can be performed with this method.

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)

Remote operations and interactions for systems of arbitrary-dimensional Hilbert space: State-operator approach

International Nuclear Information System (INIS)

Reznik, Benni; Groisman, Berry; Aharonov, Yakir

2002-01-01

We present a systematic simple method for constructing deterministic remote operations on single and multiple systems of arbitrary discrete dimensionality. These operations include remote rotations, remote interactions, and measurements. The resources needed for an operation on a two-level system are one ebit and a bidirectional communication of two cbits, and for an n-level system, a pair of entangled n-level particles and two classical 'nits'. In the latter case, there are n-1 possible distinct operations per n-level entangled pair. Similar results apply for generating interaction between a pair of remote systems, while for remote measurements only one-directional classical communication is needed. We further consider remote operations on N spatially distributed systems, and show that the number of possible distinct operations increases here exponentially, with the available number of entangled pairs that are initially distributed between the systems. Our results follow from the properties of a hybrid state-operator object (stator), which describes quantum correlations between states and operations

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.

Generation of quasiequally spaced ultrashort microbunches in a photocathode rf gun

International Nuclear Information System (INIS)

He, Zhigang; Xu, Yuanfang; Li, Weiwei; Jia, Qika

2015-01-01

A photocathode rf gun can generate trains of THz subpicosecond electron bunches by illuminating the cathode with trains of laser pulses, but it suffers from the increasing charge in the beam. The THz structure blurs and tends to disappear when the longitudinal space charge forces begin to play a significant role in the beam evolution. In this paper, we propose a scheme to restrain the space charge forces by expanding the transverse size of the laser pulses to reduce the charge density and adopting a multicell gun to increase the beam energy. Thus, quasiequally spaced ultrashort microbunches with relatively high charges can be generated according to our studies. Postacceleration can be used to freeze the longitudinal phase space dynamics. The proposed scheme is in principle able to generate intense multi-color narrow-band THz radiation and offers a promising way towards the tunable intense narrow-band THz sources

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.

The NASA Community Coordinated Modeling Center (CCMC) Next Generation Space Weather Data Warehouse

Science.gov (United States)

Maddox, M. M.; Kuznetsova, M. M.; Pulkkinen, A. A.; Zheng, Y.; Rastaetter, L.; Chulaki, A.; Pembroke, A. D.; Wiegand, C.; Mullinix, R.; Boblitt, J.; Mendoza, A. M. M.; Swindell, M. J., IV; Bakshi, S. S.; Mays, M. L.; Shim, J. S.; Hesse, M.; Collado-Vega, Y. M.; Taktakishvili, A.; MacNeice, P. J.

2014-12-01

The Community Coordinated Modeling Center (CCMC) at NASA Goddard Space Flight Center enables, supports, and performs research and development for next generation space science and space weather models. The CCMC currently hosts a large and expanding collection of state-or-the-art, physics-based space weather models that have been developed by the international research community. There are many tools and services provided by the CCMC that are currently available world-wide, along with the ongoing development of new innovative systems and software for research, discovery, validation, visualization, and forecasting. Over the history of the CCMC's existence, there has been one constant engineering challenge - describing, managing, and disseminating data. To address the challenges that accompany an ever-expanding number of models to support, along with a growing catalog of simulation output - the CCMC is currently developing a flexible and extensible space weather data warehouse to support both internal and external systems and applications. This paper intends to chronicle the evolution and future of the CCMC's data infrastructure, and the current infrastructure re-engineering activities that seek to leverage existing community data model standards like SPASE and the IMPEx Simulation Data Model.

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

Nonclassicality of Photon-Added Displaced Thermal State via Quantum Phase-Space Distributions

Science.gov (United States)

Zhang, Ran; Meng, Xiang-Guo; Du, Chuan-Xun; Wang, Ji-Suo

2018-02-01

We introduce a new kind of nonclassical mixed state generated by adding arbitrary photons to a displaced thermal state, i.e., the photon-added displaced thermal state (PADTS), and obtain the normalization factor, which is simply related to two-variable Hermite polynomials. We also discuss the nonclassicality of the PADTS by considering quantum phase-space distributions. The results indicate that the value of the photon count statistics is maximum when the number of detected photons is equal to the number of added photons, and that the photon-added operation has a similar modulation effect with increasing displacement. Moreover, the negative volume of the Wigner function for the PADTS takes a maximal value for a specific photon-added number.

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.

SpaceX's Dragon America's next generation spacecraft

CERN Document Server

Seedhouse, Erik

2016-01-01

This book describes Dragon V2, a futuristic vehicle that not only provides a means for NASA to transport its astronauts to the orbiting outpost but also advances SpaceX’s core objective of reusability. A direct descendant of Dragon, Dragon V2 can be retrieved, refurbished and re-launched. It is a spacecraft with the potential to completely revolutionize the economics of an industry where equipment costing hundreds of millions of dollars is routinely discarded after a single use. It was presented by SpaceX CEO Elon Musk in May 2014 as the spaceship that will carry NASA astronauts to the International Space Station as soon as 2016 SpaceX’s Dragon – America’s Next Generation Spacecraft describes the extraordinary feats of engineering and human achievement that have placed this revolutionary spacecraft at the forefront of the launch industry and positioned it as the precursor for ultimately transporting humans to Mars. It describes the design and development of Dragon, provides mission highlights of the f...

Domain Discretization and Circle Packings

DEFF Research Database (Denmark)

Dias, Kealey

A circle packing is a configuration of circles which are tangent with one another in a prescribed pattern determined by a combinatorial triangulation, where the configuration fills a planar domain or a two-dimensional surface. The vertices in the triangulation correspond to centers of circles...... to domain discretization problems such as triangulation and unstructured mesh generation techniques. We wish to ask ourselves the question: given a cloud of points in the plane (we restrict ourselves to planar domains), is it possible to construct a circle packing preserving the positions of the vertices...... and constrained meshes having predefined vertices as constraints. A standard method of two-dimensional mesh generation involves conformal mapping of the surface or domain to standardized shapes, such as a disk. Since circle packing is a new technique for constructing discrete conformal mappings, it is possible...

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

A Deep Penetration Problem Calculation Using AETIUS:An Easy Modeling Discrete Ordinates Transport Code UsIng Unstructured Tetrahedral Mesh, Shared Memory Parallel

Science.gov (United States)

KIM, Jong Woon; LEE, Young-Ouk

2017-09-01

As computing power gets better and better, computer codes that use a deterministic method seem to be less useful than those using the Monte Carlo method. In addition, users do not like to think about space, angles, and energy discretization for deterministic codes. However, a deterministic method is still powerful in that we can obtain a solution of the flux throughout the problem, particularly as when particles can barely penetrate, such as in a deep penetration problem with small detection volumes. Recently, a new state-of-the-art discrete-ordinates code, ATTILA, was developed and has been widely used in several applications. ATTILA provides the capabilities to solve geometrically complex 3-D transport problems by using an unstructured tetrahedral mesh. Since 2009, we have been developing our own code by benchmarking ATTILA. AETIUS is a discrete ordinates code that uses an unstructured tetrahedral mesh such as ATTILA. For pre- and post- processing, Gmsh is used to generate an unstructured tetrahedral mesh by importing a CAD file (*.step) and visualizing the calculation results of AETIUS. Using a CAD tool, the geometry can be modeled very easily. In this paper, we describe a brief overview of AETIUS and provide numerical results from both AETIUS and a Monte Carlo code, MCNP5, in a deep penetration problem with small detection volumes. The results demonstrate the effectiveness and efficiency of AETIUS for such calculations.

The discrete Painleve II equations: Miura and auto-Baecklund transformations

International Nuclear Information System (INIS)

Carstea, A S; Ramani, A; Willox, R; Grammaticos, B

2003-01-01

We present Miura transformations for all discrete Painleve II equations known to date. We then use these Miuras to derive special solutions in terms of discrete Airy functions and to construct auto-Baecklund transformations for the discrete Painleve equations. These transformations are then used to generate rational solutions. Some new forms of d-P II and d-P 34 are obtained as well

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.

Assessing Smart Phones for Generating Life-space Indicators.

Science.gov (United States)

Wan, Neng; Qu, Wenyu; Whittington, Jackie; Witbrodt, Bradley C; Henderson, Mary Pearl; Goulding, Evan H; Schenk, A Katrin; Bonasera, Stephen J; Lin, Ge

2013-04-01

Life-space is a promising method for estimating older adults' functional status. However, traditional life-space measures are costly and time consuming because they often rely on active subject participation. This study assesses the feasibility of using the global positioning system (GPS) function of smart phones to generate life-space indicators. We first evaluated the location accuracy of smart phone collected GPS points versus those acquired by a commercial GPS unit. We then assessed the specificity of the smart phone processed life-space information against the traditional diary method. Our results suggested comparable location accuracy between the smart phone and the standard GPS unit in most outdoor situations. In addition, the smart phone method revealed more comprehensive life-space information than the diary method, which leads to higher and more consistent life-space scores. We conclude that the smart phone method is more reliable than traditional methods for measuring life-space. Further improvements will be required to develop a robust application of this method that is suitable for health-related practices.

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

Resonant state expansions

International Nuclear Information System (INIS)

Lind, P.

1993-02-01

The completeness properties of the discrete set of bound state, virtual states and resonances characterizing the system of a single nonrelativistic particle moving in a central cutoff potential is investigated. From a completeness relation in terms of these discrete states and complex scattering states one can derive several Resonant State Expansions (RSE). It is interesting to obtain purely discrete expansion which, if valid, would significantly simplify the treatment of the continuum. Such expansions can be derived using Mittag-Leffler (ML) theory for a cutoff potential and it would be nice to see if one can obtain the same expansions starting from an eigenfunction theory that is not restricted to a finite sphere. The RSE of Greens functions is especially important, e.g. in the continuum RPA (CRPA) method of treating giant resonances in nuclear physics. The convergence of RSE is studied in simple cases using square well wavefunctions in order to achieve high numerical accuracy. Several expansions can be derived from each other by using the theory of analytic functions and one can the see how to obtain a natural discretization of the continuum. Since the resonance wavefunctions are oscillating with an exponentially increasing amplitude, and therefore have to be interpreted through some regularization procedure, every statement made about quantities involving such states is checked by numerical calculations.Realistic nuclear wavefunctions, generated by a Wood-Saxon potential, are used to test also the usefulness of RSE in a realistic nuclear calculation. There are some fundamental differences between different symmetries of the integral contour that defines the continuum in RSE. One kind of symmetry is necessary to have an expansion of the unity operator that is idempotent. Another symmetry must be used if we want purely discrete expansions. These are found to be of the same form as given by ML. (29 refs.)

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.

Discrete dynamic modeling of T cell survival signaling networks

Science.gov (United States)

Zhang, Ranran

2009-03-01

Biochemistry-based frameworks are often not applicable for the modeling of heterogeneous regulatory systems that are sparsely documented in terms of quantitative information. As an alternative, qualitative models assuming a small set of discrete states are gaining acceptance. This talk will present a discrete dynamic model of the signaling network responsible for the survival and long-term competence of cytotoxic T cells in the blood cancer T-LGL leukemia. We integrated the signaling pathways involved in normal T cell activation and the known deregulations of survival signaling in leukemic T-LGL, and formulated the regulation of each network element as a Boolean (logic) rule. Our model suggests that the persistence of two signals is sufficient to reproduce all known deregulations in leukemic T-LGL. It also indicates the nodes whose inactivity is necessary and sufficient for the reversal of the T-LGL state. We have experimentally validated several model predictions, including: (i) Inhibiting PDGF signaling induces apoptosis in leukemic T-LGL. (ii) Sphingosine kinase 1 and NFκB are essential for the long-term survival of T cells in T-LGL leukemia. (iii) T box expressed in T cells (T-bet) is constitutively activated in the T-LGL state. The model has identified potential therapeutic targets for T-LGL leukemia and can be used for generating long-term competent CTL necessary for tumor and cancer vaccine development. The success of this model, and of other discrete dynamic models, suggests that the organization of signaling networks has an determining role in their dynamics. Reference: R. Zhang, M. V. Shah, J. Yang, S. B. Nyland, X. Liu, J. K. Yun, R. Albert, T. P. Loughran, Jr., Network Model of Survival Signaling in LGL Leukemia, PNAS 105, 16308-16313 (2008).

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.

Space photovoltaic power generation. Uchu taiyo hatsuden ni tsuite

Energy Technology Data Exchange (ETDEWEB)

Kudo, I [Electrotechnical Laboratory, Tsukuba (Japan)

1993-07-20

Introduction is made of space photovoltaic power generation which is the ultimate clean energy source. This is a system to obtain electric energy from the solar cells placed on a geostatic orbit and transmit the power onto the earth by microwave. The US formulates a plan of placing 60[times]5GW power generation satellites to obtain 300GW power on the earth in 2000. As for the scale of space structure, the array of solar cells is dimensionally 10km[times]5km and the power transmitting antenna is 1km in diameter. The electric energy is amplified to microwave and power-transmitted by wireless onto the earth. The ground rectenna which receives it is dimensionally 10km[times]13km. The biggest difficulty consists in transportation of construction materials onto the orbit. In Japan, activity comprises three matters, which are research committee organized three years ago by the Agency of Industrial Science and technology, 10MW class model conceptually designed by the Institute of Space and Astronautical Science, and experiment conducted by Kyoto University on the power transmission by wireless. Pertaining to the research on the space power generation, the following two points are judged still unclarified: Reason for which the electric power companies did not apply the power transmission by wireless regarded as high in transmission efficiency. Influence of the microwave on the ionosphere and biosystem. 7 refs., 4 figs.

Space Commercialization

Science.gov (United States)

Martin, Gary L.

2011-01-01

A robust and competitive commercial space sector is vital to continued progress in space. The United States is committed to encouraging and facilitating the growth of a U.S. commercial space sector that supports U.S. needs, is globally competitive, and advances U.S. leadership in the generation of new markets and innovation-driven entrepreneurship. Energize competitive domestic industries to participate in global markets and advance the development of: satellite manufacturing; satellite-based services; space launch; terrestrial applications; and increased entrepreneurship. Purchase and use commercial space capabilities and services to the maximum practical extent Actively explore the use of inventive, nontraditional arrangements for acquiring commercial space goods and services to meet United States Government requirements, including measures such as public-private partnerships, . Refrain from conducting United States Government space activities that preclude, discourage, or compete with U.S. commercial space activities. Pursue potential opportunities for transferring routine, operational space functions to the commercial space sector where beneficial and cost-effective.

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.