Radiation-Resistant Photon-Counting Detector Package Providing Sub-ps Stability for Laser Time Transfer in Space

Science.gov (United States)

Prochzaka, Ivan; Kodat, Jan; Blazej, Josef; Sun, Xiaoli (Editor)

2015-01-01

We are reporting on a design, construction and performance of photon-counting detector packages based on silicon avalanche photodiodes. These photon-counting devices have been optimized for extremely high stability of their detection delay. The detectors have been designed for future applications in fundamental metrology and optical time transfer in space. The detectors have been qualified for operation in space missions. The exceptional radiation tolerance of the detection chip itself and of all critical components of a detector package has been verified in a series of experiments.

Recent Progress in Stability and Stabilization of Systems with Time-Delays

Directory of Open Access Journals (Sweden)

Magdi S. Mahmoud

2017-01-01

Full Text Available This paper overviews the research investigations pertaining to stability and stabilization of control systems with time-delays. The prime focus is the fundamental results and recent progress in theory and applications. The overview sheds light on the contemporary development on the linear matrix inequality (LMI techniques in deriving both delay-independent and delay-dependent stability results for time-delay systems. Particular emphases will be placed on issues concerned with the conservatism and the computational complexity of the results. Key technical bounding lemmas and slack variable introduction approaches will be presented. The results will be compared and connections of certain delay-dependent stability results are also discussed.

Computation of stabilizing PI and PID controllers using the stability boundary locus

International Nuclear Information System (INIS)

Tan, Nusret; Kaya, Ibrahim; Yeroglu, Celaleddin; Atherton, Derek P.

2006-01-01

In this paper, a new method for the calculation of all stabilizing PI controllers is given. The proposed method is based on plotting the stability boundary locus in the (k p , k i )-plane and then computing the stabilizing values of the parameters of a PI controller. The technique presented does not require sweeping over the parameters and also does not need linear programming to solve a set of inequalities. Thus it offers several important advantages over existing results obtained in this direction. Beyond stabilization, the method is used to shift all poles to a shifted half plane that guarantees a specified settling time of response. Computation of stabilizing PI controllers which achieve user specified gain and phase margins is studied. It is shown via an example that the stabilizing region in the (k p , k i )-plane is not always a convex set. The proposed method is also used to design PID controllers. The limiting values of a PID controller which stabilize a given system are obtained in the (k p , k i )-plane (k p , k d )-plane and (k i , k d )-plane. Furthermore, the proposed method is used to compute all the parameters of a PI controller which stabilize a control system with an interval plant family. Examples are given to show the benefits of the method presented

A higher order space-time Galerkin scheme for time domain integral equations

KAUST Repository

Pray, Andrew J.

2014-12-01

Stability of time domain integral equation (TDIE) solvers has remained an elusive goal formany years. Advancement of this research has largely progressed on four fronts: 1) Exact integration, 2) Lubich quadrature, 3) smooth temporal basis functions, and 4) space-time separation of convolutions with the retarded potential. The latter method\\'s efficacy in stabilizing solutions to the time domain electric field integral equation (TD-EFIE) was previously reported for first-order surface descriptions (flat elements) and zeroth-order functions as the temporal basis. In this work, we develop the methodology necessary to extend the scheme to higher order surface descriptions as well as to enable its use with higher order basis functions in both space and time. These basis functions are then used in a space-time Galerkin framework. A number of results are presented that demonstrate convergence in time. The viability of the space-time separation method in producing stable results is demonstrated experimentally for these examples.

A higher order space-time Galerkin scheme for time domain integral equations

KAUST Repository

Pray, Andrew J.; Beghein, Yves; Nair, Naveen V.; Cools, Kristof; Bagci, Hakan; Shanker, Balasubramaniam

2014-01-01

Stability of time domain integral equation (TDIE) solvers has remained an elusive goal formany years. Advancement of this research has largely progressed on four fronts: 1) Exact integration, 2) Lubich quadrature, 3) smooth temporal basis functions, and 4) space-time separation of convolutions with the retarded potential. The latter method's efficacy in stabilizing solutions to the time domain electric field integral equation (TD-EFIE) was previously reported for first-order surface descriptions (flat elements) and zeroth-order functions as the temporal basis. In this work, we develop the methodology necessary to extend the scheme to higher order surface descriptions as well as to enable its use with higher order basis functions in both space and time. These basis functions are then used in a space-time Galerkin framework. A number of results are presented that demonstrate convergence in time. The viability of the space-time separation method in producing stable results is demonstrated experimentally for these examples.

Joint Time-Frequency-Space Classification of EEG in a Brain-Computer Interface Application

Directory of Open Access Journals (Sweden)

Molina Gary N Garcia

2003-01-01

Full Text Available Brain-computer interface is a growing field of interest in human-computer interaction with diverse applications ranging from medicine to entertainment. In this paper, we present a system which allows for classification of mental tasks based on a joint time-frequency-space decorrelation, in which mental tasks are measured via electroencephalogram (EEG signals. The efficiency of this approach was evaluated by means of real-time experimentations on two subjects performing three different mental tasks. To do so, a number of protocols for visualization, as well as training with and without feedback, were also developed. Obtained results show that it is possible to obtain good classification of simple mental tasks, in view of command and control, after a relatively small amount of training, with accuracies around 80%, and in real time.

Computable Frames in Computable Banach Spaces

Directory of Open Access Journals (Sweden)

S.K. Kaushik

2016-06-01

Full Text Available We develop some parts of the frame theory in Banach spaces from the point of view of Computable Analysis. We define computable M-basis and use it to construct a computable Banach space of scalar valued sequences. Computable Xd frames and computable Banach frames are also defined and computable versions of sufficient conditions for their existence are obtained.

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

A space-time mixed galerkin marching-on-in-time scheme for the time-domain combined field integral equation

KAUST Repository

Beghein, Yves

2013-03-01

The time domain combined field integral equation (TD-CFIE), which is constructed from a weighted sum of the time domain electric and magnetic field integral equations (TD-EFIE and TD-MFIE) for analyzing transient scattering from closed perfect electrically conducting bodies, is free from spurious resonances. The standard marching-on-in-time technique for discretizing the TD-CFIE uses Galerkin and collocation schemes in space and time, respectively. Unfortunately, the standard scheme is theoretically not well understood: stability and convergence have been proven for only one class of space-time Galerkin discretizations. Moreover, existing discretization schemes are nonconforming, i.e., the TD-MFIE contribution is tested with divergence conforming functions instead of curl conforming functions. We therefore introduce a novel space-time mixed Galerkin discretization for the TD-CFIE. A family of temporal basis and testing functions with arbitrary order is introduced. It is explained how the corresponding interactions can be computed efficiently by existing collocation-in-time codes. The spatial mixed discretization is made fully conforming and consistent by leveraging both Rao-Wilton-Glisson and Buffa-Christiansen basis functions and by applying the appropriate bi-orthogonalization procedures. The combination of both techniques is essential when high accuracy over a broad frequency band is required. © 2012 IEEE.

Computer-games for gravitational wave science outreach: Black Hole Pong and Space Time Quest

International Nuclear Information System (INIS)

Carbone, L; Bond, C; Brown, D; Brückner, F; Grover, K; Lodhia, D; Mingarelli, C M F; Fulda, P; Smith, R J E; Unwin, R; Vecchio, A; Wang, M; Whalley, L; Freise, A

2012-01-01

We have established a program aimed at developing computer applications and web applets to be used for educational purposes as well as gravitational wave outreach activities. These applications and applets teach gravitational wave physics and technology. The computer programs are generated in collaboration with undergraduates and summer students as part of our teaching activities, and are freely distributed on a dedicated website. As part of this program, we have developed two computer-games related to gravitational wave science: 'Black Hole Pong' and 'Space Time Quest'. In this article we present an overview of our computer related outreach activities and discuss the games and their educational aspects, and report on some positive feedback received.

Topics in Modeling of Cochlear Dynamics: Computation, Response and Stability Analysis

Science.gov (United States)

Filo, Maurice G.

This thesis touches upon several topics in cochlear modeling. Throughout the literature, mathematical models of the cochlea vary according to the degree of biological realism to be incorporated. This thesis casts the cochlear model as a continuous space-time dynamical system using operator language. This framework encompasses a wider class of cochlear models and makes the dynamics more transparent and easier to analyze before applying any numerical method to discretize space. In fact, several numerical methods are investigated to study the computational efficiency of the finite dimensional realizations in space. Furthermore, we study the effects of the active gain perturbations on the stability of the linearized dynamics. The stability analysis is used to explain possible mechanisms underlying spontaneous otoacoustic emissions and tinnitus. Dynamic Mode Decomposition (DMD) is introduced as a useful tool to analyze the response of nonlinear cochlear models. Cochlear response features are illustrated using DMD which has the advantage of explicitly revealing the spatial modes of vibrations occurring in the Basilar Membrane (BM). Finally, we address the dynamic estimation problem of BM vibrations using Extended Kalman Filters (EKF). Due to the limitations of noninvasive sensing schemes, such algorithms are inevitable to estimate the dynamic behavior of a living cochlea.

Improving stability of stabilized and multiscale formulations in flow simulations at small time steps

KAUST Repository

Hsu, Ming-Chen

2010-02-01

The objective of this paper is to show that use of the element-vector-based definition of stabilization parameters, introduced in [T.E. Tezduyar, Computation of moving boundaries and interfaces and stabilization parameters, Int. J. Numer. Methods Fluids 43 (2003) 555-575; T.E. Tezduyar, Y. Osawa, Finite element stabilization parameters computed from element matrices and vectors, Comput. Methods Appl. Mech. Engrg. 190 (2000) 411-430], circumvents the well-known instability associated with conventional stabilized formulations at small time steps. We describe formulations for linear advection-diffusion and incompressible Navier-Stokes equations and test them on three benchmark problems: advection of an L-shaped discontinuity, laminar flow in a square domain at low Reynolds number, and turbulent channel flow at friction-velocity Reynolds number of 395. © 2009 Elsevier B.V. All rights reserved.

Time-Space Trade-Offs

DEFF Research Database (Denmark)

Pagter, Jakob Illeborg

. The area of time-space trade-offs deals with both upper and lower bounds and both are interesting, theoretically as well as practically. The viewpoint of this dissertation is theoretical, but we believe that some of our results can find applications in practice as well. The last four years has witnessed...... perspective hierarchical memory layout models are the most interesting. Such models are called external memory models, in contrast to the internal memory models discussed above. Despite the fact that space might be of great relevance when solving practical problems on real computers, no theoretical model...... capturing space (and time simultaneously) has been defined. We introduce such a model and use it to prove so-called IOspace trade-offs for Sorting. Building on the abovementioned techniques for time-space efficient internal memory Sorting, we develop the first IO-space efficient external memory Sorting...

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

Stability of geodesic imcompleteness for Robertson-Walker space-times

International Nuclear Information System (INIS)

Beem, J.K.

1981-01-01

Let (M,g) be a Lorentzian warped product space-time M = (a, b) X H,g = -dt 2 x fh, where -infinity -infinity and (H,h) is homogeneous, then the past incompleteness of every timelike geodesic of (M,g) is stable under small C 0 perturbations in the space Lor(M) of Lorentzian metrics for M. Also it is shown that if (H,h) is isotropic and (M,g) contains a past-inextendible, past-incomplete null geodesic, then the past incompleteness of all null geodesics is stable under small C 1 perturbations in Lor(M). Given either the isotropy or homogeneity of the Riemannian factor, the background space-time (M,g) is globally hyperbolic. The results of this paper, in particular, answer a question raised by D. Lerner for big bang Robertson-Walker cosmological models affirmatively. (author)

Finite-Time Stability Analysis of Discrete-Time Linear Singular Systems

Directory of Open Access Journals (Sweden)

Songlin Wo

2014-01-01

Full Text Available The finite-time stability (FTS problem of discrete-time linear singular systems (DTLSS is considered in this paper. A necessary and sufficient condition for FTS is obtained, which can be expressed in terms of matrix inequalities. Then, another form of the necessary and sufficient condition for FTS is also given by using matrix-null space technology. In order to solve the stability problem expediently, a sufficient condition for FTS is given via linear matrix inequality (LMI approach; this condition can be expressed in terms of LMIs. Finally, an illustrating example is also given to show the effectiveness of the proposed method.

Real-Time Thevenin Impedance Computation

DEFF Research Database (Denmark)

Sommer, Stefan Horst; Jóhannsson, Hjörtur

2013-01-01

operating state, and strict time constraints are difficult to adhere to as the complexity of the grid increases. Several suggested approaches for real-time stability assessment require Thevenin impedances to be determined for the observed system conditions. By combining matrix factorization, graph reduction......, and parallelization, we develop an algorithm for computing Thevenin impedances an order of magnitude faster than previous approaches. We test the factor-and-solve algorithm with data from several power grids of varying complexity, and we show how the algorithm allows realtime stability assessment of complex power...

Numerical simulation of a cabin ventilation subsystem in a space station oriented real-time system

Directory of Open Access Journals (Sweden)

Zezheng QIU

2017-12-01

Full Text Available An environment control and life support system (ECLSS is an important system in a space station. The ECLSS is a typical complex system, and the real-time simulation technology can help to accelerate its research process by using distributed hardware in a loop simulation system. An implicit fixed time step numerical integration method is recommended for a real-time simulation system with time-varying parameters. However, its computational efficiency is too low to satisfy the real-time data interaction, especially for the complex ECLSS system running on a PC cluster. The instability problem of an explicit method strongly limits its application in the ECLSS real-time simulation although it has a high computational efficiency. This paper proposes an improved numerical simulation method to overcome the instability problem based on the explicit Euler method. A temperature and humidity control subsystem (THCS is firstly established, and its numerical stability is analyzed by using the eigenvalue estimation theory. Furthermore, an adaptive operator is proposed to avoid the potential instability problem. The stability and accuracy of the proposed method are investigated carefully. Simulation results show that this proposed method can provide a good way for some complex time-variant systems to run their real-time simulation on a PC cluster. Keywords: Numerical integration method, Real-time simulation, Stability, THCS, Time-variant system

Computing Fault-Containment Times of Self-Stabilizing Algorithms Using Lumped Markov Chains

Directory of Open Access Journals (Sweden)

Volker Turau

2018-05-01

Full Text Available The analysis of self-stabilizing algorithms is often limited to the worst case stabilization time starting from an arbitrary state, i.e., a state resulting from a sequence of faults. Considering the fact that these algorithms are intended to provide fault tolerance in the long run, this is not the most relevant metric. A common situation is that a running system is an a legitimate state when hit by a single fault. This event has a much higher probability than multiple concurrent faults. Therefore, the worst case time to recover from a single fault is more relevant than the recovery time from a large number of faults. This paper presents techniques to derive upper bounds for the mean time to recover from a single fault for self-stabilizing algorithms based on Markov chains in combination with lumping. To illustrate the applicability of the techniques they are applied to a new self-stabilizing coloring algorithm.

A space-time lower-upper symmetric Gauss-Seidel scheme for the time-spectral method

Science.gov (United States)

Zhan, Lei; Xiong, Juntao; Liu, Feng

2016-05-01

The time-spectral method (TSM) offers the advantage of increased order of accuracy compared to methods using finite-difference in time for periodic unsteady flow problems. Explicit Runge-Kutta pseudo-time marching and implicit schemes have been developed to solve iteratively the space-time coupled nonlinear equations resulting from TSM. Convergence of the explicit schemes is slow because of the stringent time-step limit. Many implicit methods have been developed for TSM. Their computational efficiency is, however, still limited in practice because of delayed implicit temporal coupling, multiple iterative loops, costly matrix operations, or lack of strong diagonal dominance of the implicit operator matrix. To overcome these shortcomings, an efficient space-time lower-upper symmetric Gauss-Seidel (ST-LU-SGS) implicit scheme with multigrid acceleration is presented. In this scheme, the implicit temporal coupling term is split as one additional dimension of space in the LU-SGS sweeps. To improve numerical stability for periodic flows with high frequency, a modification to the ST-LU-SGS scheme is proposed. Numerical results show that fast convergence is achieved using large or even infinite Courant-Friedrichs-Lewy (CFL) numbers for unsteady flow problems with moderately high frequency and with the use of moderately high numbers of time intervals. The ST-LU-SGS implicit scheme is also found to work well in calculating periodic flow problems where the frequency is not known a priori and needed to be determined by using a combined Fourier analysis and gradient-based search algorithm.

Neural Network Based Finite-Time Stabilization for Discrete-Time Markov Jump Nonlinear Systems with Time Delays

Directory of Open Access Journals (Sweden)

Fei Chen

2013-01-01

Full Text Available This paper deals with the finite-time stabilization problem for discrete-time Markov jump nonlinear systems with time delays and norm-bounded exogenous disturbance. The nonlinearities in different jump modes are parameterized by neural networks. Subsequently, a linear difference inclusion state space representation for a class of neural networks is established. Based on this, sufficient conditions are derived in terms of linear matrix inequalities to guarantee stochastic finite-time boundedness and stochastic finite-time stabilization of the closed-loop system. A numerical example is illustrated to verify the efficiency of the proposed technique.

A Reparametrization Approach for Dynamic Space-Time Models

OpenAIRE

Lee, Hyeyoung; Ghosh, Sujit K.

2008-01-01

Researchers in diverse areas such as environmental and health sciences are increasingly working with data collected across space and time. The space-time processes that are generally used in practice are often complicated in the sense that the auto-dependence structure across space and time is non-trivial, often non-separable and non-stationary in space and time. Moreover, the dimension of such data sets across both space and time can be very large leading to computational difficulties due to...

Use of time space Green's functions in the computation of transient eddy current fields

International Nuclear Information System (INIS)

Davey, K.; Turner, L.

1988-01-01

The utility of integral equations to solve eddy current problems has been borne out by numerous computations in the past few years, principally in sinusoidal steady-state problems. This paper attempts to examine the applicability of the integral approaches in both time and space for the more generic transient problem. The basic formulation for the time space Green's function approach is laid out. A technique employing Gauss-Laguerre integration is employed to realize the temporal solution, while Gauss--Legendre integration is used to resolve the spatial field character. The technique is then applied to the fusion electromagnetic induction experiments (FELIX) cylinder experiments in both two and three dimensions. It is found that quite accurate solutions can be obtained using rather coarse time steps and very few unknowns; the three-dimensional field solution worked out in this context used basically only four unknowns. The solution appears to be somewhat sensitive to the choice of time step, a consequence of a numerical instability imbedded in the Green's function near the origin

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.

Space-Time Chip Equalization for Maximum Diversity Space-Time Block Coded DS-CDMA Downlink Transmission

Directory of Open Access Journals (Sweden)

Petré Frederik

2004-01-01

Full Text Available In the downlink of DS-CDMA, frequency-selectivity destroys the orthogonality of the user signals and introduces multiuser interference (MUI. Space-time chip equalization is an efficient tool to restore the orthogonality of the user signals and suppress the MUI. Furthermore, multiple-input multiple-output (MIMO communication techniques can result in a significant increase in capacity. This paper focuses on space-time block coding (STBC techniques, and aims at combining STBC techniques with the original single-antenna DS-CDMA downlink scheme. This results into the so-called space-time block coded DS-CDMA downlink schemes, many of which have been presented in the past. We focus on a new scheme that enables both the maximum multiantenna diversity and the maximum multipath diversity. Although this maximum diversity can only be collected by maximum likelihood (ML detection, we pursue suboptimal detection by means of space-time chip equalization, which lowers the computational complexity significantly. To design the space-time chip equalizers, we also propose efficient pilot-based methods. Simulation results show improved performance over the space-time RAKE receiver for the space-time block coded DS-CDMA downlink schemes that have been proposed for the UMTS and IS-2000 W-CDMA standards.

Preconditioned iterative methods for space-time fractional advection-diffusion equations

Science.gov (United States)

Zhao, Zhi; Jin, Xiao-Qing; Lin, Matthew M.

2016-08-01

In this paper, we propose practical numerical methods for solving a class of initial-boundary value problems of space-time fractional advection-diffusion equations. First, we propose an implicit method based on two-sided Grünwald formulae and discuss its stability and consistency. Then, we develop the preconditioned generalized minimal residual (preconditioned GMRES) method and preconditioned conjugate gradient normal residual (preconditioned CGNR) method with easily constructed preconditioners. Importantly, because resulting systems are Toeplitz-like, fast Fourier transform can be applied to significantly reduce the computational cost. We perform numerical experiments to demonstrate the efficiency of our preconditioners, even in cases with variable coefficients.

Multiscale Space-Time Computational Methods for Fluid-Structure Interactions

Science.gov (United States)

2015-09-13

thermo-fluid analysis of a ground vehicle and its tires ST-SI Computational Analysis of a Vertical - Axis Wind Turbine We have successfully...of a vertical - axis wind turbine . Multiscale Compressible-Flow Computation with Particle Tracking We have successfully tested the multiscale...Tezduyar, Spenser McIntyre, Nikolay Kostov, Ryan Kolesar, Casey Habluetzel. Space–time VMS computation of wind - turbine rotor and tower aerodynamics

Statistical geometry and space-time

International Nuclear Information System (INIS)

Grauert, H.

1976-01-01

In this paper I try to construct a mathematical tool by which the full structure of Lorentz geometry to space time can be given, but beyond that the background - to speak pictorially - the subsoil for electromagnetic and matter waves, too. The tool could be useful to describe the connections between various particles, electromagnetism and gravity and to compute observables which were not theoretically related, up to now. Moreover, the tool is simpler than the Riemann tensor: it consists just of a set S of line segments in space time, briefly speaking. (orig.) [de

Homological stability for unordered configuration spaces

DEFF Research Database (Denmark)

Randal-Williams, Oscar

2013-01-01

This paper consists of two related parts. In the first part we give a self-contained proof of homological stability for the spaces C_n(M;X) of configurations of n unordered points in a connected open manifold M with labels in a path-connected space X, with the best possible integral stability range...... of the spaces C_n(M) can be considered stable when M is a closed manifold. In this case there are no stabilisation maps, but one may still ask if the dimensions of the homology groups over some field stabilise with n. We prove that this is true when M is odd-dimensional, or when the field is F_2 or Q...

A Situative Space Model for Mobile Mixed-Reality Computing

DEFF Research Database (Denmark)

Pederson, Thomas; Janlert, Lars-Erik; Surie, Dipak

2011-01-01

This article proposes a situative space model that links the physical and virtual realms and sets the stage for complex human-computer interaction defined by what a human agent can see, hear, and touch, at any given point in time.......This article proposes a situative space model that links the physical and virtual realms and sets the stage for complex human-computer interaction defined by what a human agent can see, hear, and touch, at any given point in time....

Efficient computation of spaced seeds

Directory of Open Access Journals (Sweden)

Ilie Silvana

2012-02-01

Full Text Available Abstract Background The most frequently used tools in bioinformatics are those searching for similarities, or local alignments, between biological sequences. Since the exact dynamic programming algorithm is quadratic, linear-time heuristics such as BLAST are used. Spaced seeds are much more sensitive than the consecutive seed of BLAST and using several seeds represents the current state of the art in approximate search for biological sequences. The most important aspect is computing highly sensitive seeds. Since the problem seems hard, heuristic algorithms are used. The leading software in the common Bernoulli model is the SpEED program. Findings SpEED uses a hill climbing method based on the overlap complexity heuristic. We propose a new algorithm for this heuristic that improves its speed by over one order of magnitude. We use the new implementation to compute improved seeds for several software programs. We compute as well multiple seeds of the same weight as MegaBLAST, that greatly improve its sensitivity. Conclusion Multiple spaced seeds are being successfully used in bioinformatics software programs. Enabling researchers to compute very fast high quality seeds will help expanding the range of their applications.

Stability and Hopf Bifurcation in a Computer Virus Model with Multistate Antivirus

Directory of Open Access Journals (Sweden)

Tao Dong

2012-01-01

Full Text Available By considering that people may immunize their computers with countermeasures in susceptible state, exposed state and using anti-virus software may take a period of time, a computer virus model with time delay based on an SEIR model is proposed. We regard time delay as bifurcating parameter to study the dynamical behaviors which include local asymptotical stability and local Hopf bifurcation. By analyzing the associated characteristic equation, Hopf bifurcation occurs when time delay passes through a sequence of critical value. The linerized model and stability of the bifurcating periodic solutions are also derived by applying the normal form theory and the center manifold theorem. Finally, an illustrative example is also given to support the theoretical results.

Computer aided system engineering for space construction

Science.gov (United States)

Racheli, Ugo

1989-01-01

This viewgraph presentation covers the following topics. Construction activities envisioned for the assembly of large platforms in space (as well as interplanetary spacecraft and bases on extraterrestrial surfaces) require computational tools that exceed the capability of conventional construction management programs. The Center for Space Construction is investigating the requirements for new computational tools and, at the same time, suggesting the expansion of graduate and undergraduate curricula to include proficiency in Computer Aided Engineering (CAE) though design courses and individual or team projects in advanced space systems design. In the center's research, special emphasis is placed on problems of constructability and of the interruptability of planned activity sequences to be carried out by crews operating under hostile environmental conditions. The departure point for the planned work is the acquisition of the MCAE I-DEAS software, developed by the Structural Dynamics Research Corporation (SDRC), and its expansion to the level of capability denoted by the acronym IDEAS**2 currently used for configuration maintenance on Space Station Freedom. In addition to improving proficiency in the use of I-DEAS and IDEAS**2, it is contemplated that new software modules will be developed to expand the architecture of IDEAS**2. Such modules will deal with those analyses that require the integration of a space platform's configuration with a breakdown of planned construction activities and with a failure modes analysis to support computer aided system engineering (CASE) applied to space construction.

Stability of the high-order finite elements for acoustic or elastic wave propagation with high-order time stepping

KAUST Repository

De Basabe, Jonás D.

2010-04-01

We investigate the stability of some high-order finite element methods, namely the spectral element method and the interior-penalty discontinuous Galerkin method (IP-DGM), for acoustic or elastic wave propagation that have become increasingly popular in the recent past. We consider the Lax-Wendroff method (LWM) for time stepping and show that it allows for a larger time step than the classical leap-frog finite difference method, with higher-order accuracy. In particular the fourth-order LWM allows for a time step 73 per cent larger than that of the leap-frog method; the computational cost is approximately double per time step, but the larger time step partially compensates for this additional cost. Necessary, but not sufficient, stability conditions are given for the mentioned methods for orders up to 10 in space and time. The stability conditions for IP-DGM are approximately 20 and 60 per cent more restrictive than those for SEM in the acoustic and elastic cases, respectively. © 2010 The Authors Journal compilation © 2010 RAS.

Numerical computation of homogeneous slope stability.

Science.gov (United States)

Xiao, Shuangshuang; Li, Kemin; Ding, Xiaohua; Liu, Tong

2015-01-01

To simplify the computational process of homogeneous slope stability, improve computational accuracy, and find multiple potential slip surfaces of a complex geometric slope, this study utilized the limit equilibrium method to derive expression equations of overall and partial factors of safety. This study transformed the solution of the minimum factor of safety (FOS) to solving of a constrained nonlinear programming problem and applied an exhaustive method (EM) and particle swarm optimization algorithm (PSO) to this problem. In simple slope examples, the computational results using an EM and PSO were close to those obtained using other methods. Compared to the EM, the PSO had a small computation error and a significantly shorter computation time. As a result, the PSO could precisely calculate the slope FOS with high efficiency. The example of the multistage slope analysis indicated that this slope had two potential slip surfaces. The factors of safety were 1.1182 and 1.1560, respectively. The differences between these and the minimum FOS (1.0759) were small, but the positions of the slip surfaces were completely different than the critical slip surface (CSS).

Spontaneous symmetry breaking in curved space-time

International Nuclear Information System (INIS)

Toms, D.J.

1982-01-01

An approach dealing with some of the complications which arise when studying spontaneous symmetry breaking beyond the tree-graph level in situations where the effective potential may not be used is discussed. These situations include quantum field theory on general curved backgrounds or in flat space-times with non-trivial topologies. Examples discussed are a twisted scalar field in S 1 xR 3 and instabilities in an expanding universe. From these it is seen that the topology and curvature of a space-time may affect the stability of the vacuum state. There can be critical length scales or times beyond which symmetries may be broken or restored in certain cases. These features are not present in Minkowski space-time and so would not show up in the usual types of early universe calculations. (U.K.)

Stability and Hopf bifurcation for a delayed SLBRS computer virus model.

Science.gov (United States)

Zhang, Zizhen; Yang, Huizhong

2014-01-01

By incorporating the time delay due to the period that computers use antivirus software to clean the virus into the SLBRS model a delayed SLBRS computer virus model is proposed in this paper. The dynamical behaviors which include local stability and Hopf bifurcation are investigated by regarding the delay as bifurcating parameter. Specially, direction and stability of the Hopf bifurcation are derived by applying the normal form method and center manifold theory. Finally, an illustrative example is also presented to testify our analytical results.

Stability and Hopf Bifurcation for a Delayed SLBRS Computer Virus Model

Directory of Open Access Journals (Sweden)

Zizhen Zhang

2014-01-01

Full Text Available By incorporating the time delay due to the period that computers use antivirus software to clean the virus into the SLBRS model a delayed SLBRS computer virus model is proposed in this paper. The dynamical behaviors which include local stability and Hopf bifurcation are investigated by regarding the delay as bifurcating parameter. Specially, direction and stability of the Hopf bifurcation are derived by applying the normal form method and center manifold theory. Finally, an illustrative example is also presented to testify our analytical results.

Exponential stability of switched linear systems with time-varying delay

Directory of Open Access Journals (Sweden)

Satiracoo Pairote

2007-11-01

Full Text Available We use a Lyapunov-Krasovskii functional approach to establish the exponential stability of linear systems with time-varying delay. Our delay-dependent condition allows to compute simultaneously the two bounds that characterize the exponential stability rate of the solution. A simple procedure for constructing switching rule is also presented.

Finite element method for time-space-fractional Schrodinger equation

Directory of Open Access Journals (Sweden)

Xiaogang Zhu

2017-07-01

Full Text Available In this article, we develop a fully discrete finite element method for the nonlinear Schrodinger equation (NLS with time- and space-fractional derivatives. The time-fractional derivative is described in Caputo's sense and the space-fractional derivative in Riesz's sense. Its stability is well derived; the convergent estimate is discussed by an orthogonal operator. We also extend the method to the two-dimensional time-space-fractional NLS and to avoid the iterative solvers at each time step, a linearized scheme is further conducted. Several numerical examples are implemented finally, which confirm the theoretical results as well as illustrate the accuracy of our methods.

Real space multiple scattering description of alloy phase stability

International Nuclear Information System (INIS)

Turchi, P.E.A.; Sluiter, M.

1992-01-01

This paper presents a brief overview of the advanced methodology which has been recently developed to study phase stability properties of substitutional alloys, including order-disorder phenomena and structural transformations. The approach is based on the real space version of the Generalized Perturbation Method first introduced by Ducastelle and Gautier, within the Korringa-Kohn-Rostoker multiple scattering formulation of the Coherent Potential Approximation. Temperature effects are taken into account with a generalized meanfield approach, namely the Cluster Variation Method. The viability and the predictive power of such a scheme will be illustrated by a few examples, among them: the ground state properties of alloys, in particular the ordering tendencies for a series of equiatomic bcc-based alloys, the computation of alloy phase diagrams with the case of fcc and bcc-based Ni-Al alloys, the calculation of antiphase boundary energies and interfacial energies, and the stability of artificial ordered superlattices

Harmonic Balance Computations of Fan Aeroelastic Stability

Science.gov (United States)

Bakhle, Milind A.; Reddy, T. S. R.

2010-01-01

A harmonic balance (HB) aeroelastic analysis, which has been recently developed, was used to determine the aeroelastic stability (flutter) characteristics of an experimental fan. To assess the numerical accuracy of this HB aeroelastic analysis, a time-domain aeroelastic analysis was also used to determine the aeroelastic stability characteristics of the same fan. Both of these three-dimensional analysis codes model the unsteady flowfield due to blade vibrations using the Reynolds-averaged Navier-Stokes (RANS) equations. In the HB analysis, the unsteady flow equations are converted to a HB form and solved using a pseudo-time marching method. In the time-domain analysis, the unsteady flow equations are solved using an implicit time-marching approach. Steady and unsteady computations for two vibration modes were carried out at two rotational speeds: 100 percent (design) and 70 percent (part-speed). The steady and unsteady results obtained from the two analysis methods compare well, thus verifying the recently developed HB aeroelastic analysis. Based on the results, the experimental fan was found to have no aeroelastic instability (flutter) at the conditions examined in this study.

High current density aluminum stabilized conductor concepts for space applications

International Nuclear Information System (INIS)

Huang, X.; Eyssa, Y.M.; Hilal, M.A.

1989-01-01

Lightweight conductors are needed for space magnets to achieve values of E/M (energy stored per unit mass) comparable to the or higher than advanced batteries. High purity aluminum stabilized NbTi composite conductors cooled by 1.8 K helium can provide a winding current density up to 15 kA/cm/sup 2/ at fields up to 10 tesla. The conductors are edge cooled with enough surface area to provide recovery following a normalizing disturbance. The conductors are designed so that current diffusion time in the high purity aluminum is smaller than thermal diffusion time in helium. Conductor design, stability and current diffusion are considered in detail

Computationally designed libraries for rapid enzyme stabilization

NARCIS (Netherlands)

Wijma, Hein J.; Floor, Robert J.; Jekel, Peter A.; Baker, David; Marrink, Siewert J.; Janssen, Dick B.

The ability to engineer enzymes and other proteins to any desired stability would have wide-ranging applications. Here, we demonstrate that computational design of a library with chemically diverse stabilizing mutations allows the engineering of drastically stabilized and fully functional variants

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.

Numerical Computation of Homogeneous Slope Stability

Directory of Open Access Journals (Sweden)

Shuangshuang Xiao

2015-01-01

Full Text Available To simplify the computational process of homogeneous slope stability, improve computational accuracy, and find multiple potential slip surfaces of a complex geometric slope, this study utilized the limit equilibrium method to derive expression equations of overall and partial factors of safety. This study transformed the solution of the minimum factor of safety (FOS to solving of a constrained nonlinear programming problem and applied an exhaustive method (EM and particle swarm optimization algorithm (PSO to this problem. In simple slope examples, the computational results using an EM and PSO were close to those obtained using other methods. Compared to the EM, the PSO had a small computation error and a significantly shorter computation time. As a result, the PSO could precisely calculate the slope FOS with high efficiency. The example of the multistage slope analysis indicated that this slope had two potential slip surfaces. The factors of safety were 1.1182 and 1.1560, respectively. The differences between these and the minimum FOS (1.0759 were small, but the positions of the slip surfaces were completely different than the critical slip surface (CSS.

Real-time stability monitoring method for boiling water reactor nuclear power plants

International Nuclear Information System (INIS)

Fukunishi, K.; Suzuki, S.

1987-01-01

A method for real-time stability monitoring is developed for supervising the steady-state operation of a boiling water reactor core. The decay ratio of the reactor power fluctuation is determined by measuring only the output neutron noise. The concept of an inverse system is introduced to identify the dynamic characteristics of the reactor core. The adoption of an adaptive digital filter is useful in real-time identification. A feasibility test that used measured output noise as an indication of reactor power suggests that this method is useful in a real-time stability monitoring system. Using this method, the tedious and difficult work for modeling reactor core dynamics can be reduced. The method employs a simple algorithm that eliminates the need for stochastic computation, thus making the method suitable for real-time computation with a simple microprocessor. In addition, there is no need to disturb the reactor core during operation. Real-time stability monitoring using the proposed algorithm may allow operation under less stable margins

Space Transportation and the Computer Industry: Learning from the Past

Science.gov (United States)

Merriam, M. L.; Rasky, D.

2002-01-01

Since the space shuttle began flying in 1981, NASA has made a number of attempts to advance the state of the art in space transportation. In spite of billions of dollars invested, and several concerted attempts, no replacement for the shuttle is expected before 2010. Furthermore, the cost of access to space has dropped very slowly over the last two decades. On the other hand, the same two decades have seen dramatic progress in the computer industry. Computational speeds have increased by about a factor of 1000 and available memory, disk space, and network bandwidth has seen similar increases. At the same time, the cost of computing has dropped by about a factor of 10000. Is the space transportation problem simply harder? Or is there something to be learned from the computer industry? In looking for the answers, this paper reviews the early history of NASA's experience with supercomputers and NASA's visionary course change in supercomputer procurement strategy.

Russian national time scale long-term stability

Science.gov (United States)

Alshina, A. P.; Gaigerov, B. A.; Koshelyaevsky, N. B.; Pushkin, S. B.

1994-05-01

The Institute of Metrology for Time and Space NPO 'VNIIFTRI' generates the National Time Scale (NTS) of Russia -- one of the most stable time scales in the world. Its striking feature is that it is based on a free ensemble of H-masers only. During last two years the estimations of NTS longterm stability based only on H-maser intercomparison data gives a flicker floor of about (2 to 3) x 10(exp -15) for averaging times from 1 day to 1 month. Perhaps the most significant feature for a time laboratory is an extremely low possible frequency drift -- it is too difficult to estimate it reliably. The other estimations, free from possible inside the ensemble correlation phenomena, are available based on the time comparison of NTS relative to the stable enough time scale of outer laboratories. The data on NTS comparison relative to the time scale of secondary time and frequency standards at Golitzino and Irkutsk in Russia and relative to NIST, PTB and USNO using GLONASS and GPS time transfer links gives stability estimations which are close to that based on H-maser intercomparisons.

A compact frequency stabilized telecom laser diode for space applications

Science.gov (United States)

Philippe, C.; Holleville, D.; Le Targat, R.; Wolf, P.; Leveque, T.; Le Goff, R.; Martaud, E.; Acef, O.

2017-09-01

We report on a Telecom laser diode (LD) frequency stabilization to a narrow iodine hyperfine line in the green range, after frequency tripling process using fibered nonlinear waveguide PPLN crystals. We have generated up to 300 mW optical power in the green range ( 514 nm) from 800 mW of infrared power ( 1542 nm), corresponding to a nonlinear conversion efficiency h = P3?/P? 36%. Less than 10 mW of the generated green power are used for Doppler-free spectroscopy of 127I2 molecular iodine, and -therefore- for the frequency stabilization purpose. The frequency tripling optical setup is very compact (test the potential of this new frequency standard based on the couple "1.5 ?m laser / iodine molecule". We have already demonstrated a preliminary frequency stability of 4.8 x 10-14 ? -1/2 with a minimum value of 6 x 10-15 reached after 50 s of integration time, conferred to a laser diode operating at 1542.1 nm. We focus now our efforts to expand the frequency stability to a longer integration time in order to meet requirements of many space experiments, such earth gravity missions, inters satellites links or space to ground communications. Furthermore, we investigate the potential of a new approach based on frequency modulation technique (FM), associated to a 3rd harmonic detection of iodine lines to increase the compactness of the optical setup.

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.

Space-time reference with an optical link

International Nuclear Information System (INIS)

Berceau, P; Hollberg, L; Taylor, M; Kahn, J

2016-01-01

We describe a concept for realizing a high performance space-time reference using a stable atomic clock in a precisely defined orbit and synchronizing the orbiting clock to high-accuracy atomic clocks on the ground. The synchronization would be accomplished using a two-way lasercom link between ground and space. The basic approach is to take advantage of the highest-performance cold-atom atomic clocks at national standards laboratories on the ground and to transfer that performance to an orbiting clock that has good stability and that serves as a ‘frequency-flywheel’ over time-scales of a few hours. The two-way lasercom link would also provide precise range information and thus precise orbit determination. With a well-defined orbit and a synchronized clock, the satellite could serve as a high-accuracy space-time reference, providing precise time worldwide, a valuable reference frame for geodesy, and independent high-accuracy measurements of GNSS clocks. Under reasonable assumptions, a practical system would be able to deliver picosecond timing worldwide and millimeter orbit determination, and could serve as an enabling subsystem for other proposed space-gravity missions, which are briefly reviewed. (paper)

Classifying spaces with virtually cyclic stabilizers for linear groups

DEFF Research Database (Denmark)

Degrijse, Dieter Dries; Köhl, Ralf; Petrosyan, Nansen

2015-01-01

We show that every discrete subgroup of GL(n, ℝ) admits a finite-dimensional classifying space with virtually cyclic stabilizers. Applying our methods to SL(3, ℤ), we obtain a four-dimensional classifying space with virtually cyclic stabilizers and a decomposition of the algebraic K-theory of its...

Computational stability of the Von Neumann--Richtmyer method for the case of the ideal gas law

International Nuclear Information System (INIS)

Hicks, D.L.

1978-07-01

Two stability concepts are of interest for partial difference equations--one arises in theory--the other in practice. The theoretical kind, referred to here as asymptotic stability, is essentially just asymptotic (as Δt, Δx → 0) boundedness of the discrete solution. The other kind, referred to here as computational stability, is stability for a fixed Δt and Δx--computational instability is indicated in practice by oscillatory behavior of the discrete approximation--in particular, oscillations of period 2Δx. This report is concerned with computational stability. Only approximate stability analyses of the von Neumann-Richtmyer scheme have been done for the case of the ideal gas law. Herein a more rigorous computational stability analysis is sought. The analysis leads to a recommendation for the improvement of the time step restriction in WONDY for the case of the ideal gas law

Real time animation of space plasma phenomena

International Nuclear Information System (INIS)

Jordan, K.F.; Greenstadt, E.W.

1987-01-01

In pursuit of real time animation of computer simulated space plasma phenomena, the code was rewritten for the Massively Parallel Processor (MPP). The program creates a dynamic representation of the global bowshock which is based on actual spacecraft data and designed for three dimensional graphic output. This output consists of time slice sequences which make up the frames of the animation. With the MPP, 16384, 512 or 4 frames can be calculated simultaneously depending upon which characteristic is being computed. The run time was greatly reduced which promotes the rapid sequence of images and makes real time animation a foreseeable goal. The addition of more complex phenomenology in the constructed computer images is now possible and work proceeds to generate these images

Time-Space Trade-Offs for the Longest Common Substring Problem

DEFF Research Database (Denmark)

Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel

2013-01-01

The Longest Common Substring problem is to compute the longest substring which occurs in at least d ≥ 2 of m strings of total length n. In this paper we ask the question whether this problem allows a deterministic time-space trade-off using O(n1+ε) time and O(n1-ε) space for 0 ≤ ε ≤ 1. We give a ...... a positive answer in the case of two strings (d = m = 2) and 0 can be solved in O(n1-ε) space and O(n1+ε log2n (d log2n + d2)) time for any 0 ≤ ε ...The Longest Common Substring problem is to compute the longest substring which occurs in at least d ≥ 2 of m strings of total length n. In this paper we ask the question whether this problem allows a deterministic time-space trade-off using O(n1+ε) time and O(n1-ε) space for 0 ≤ ε ≤ 1. We give...

Exploring space-time structure of human mobility in urban space

Science.gov (United States)

Sun, J. B.; Yuan, J.; Wang, Y.; Si, H. B.; Shan, X. M.

2011-03-01

Understanding of human mobility in urban space benefits the planning and provision of municipal facilities and services. Due to the high penetration of cell phones, mobile cellular networks provide information for urban dynamics with a large spatial extent and continuous temporal coverage in comparison with traditional approaches. The original data investigated in this paper were collected by cellular networks in a southern city of China, recording the population distribution by dividing the city into thousands of pixels. The space-time structure of urban dynamics is explored by applying Principal Component Analysis (PCA) to the original data, from temporal and spatial perspectives between which there is a dual relation. Based on the results of the analysis, we have discovered four underlying rules of urban dynamics: low intrinsic dimensionality, three categories of common patterns, dominance of periodic trends, and temporal stability. It implies that the space-time structure can be captured well by remarkably few temporal or spatial predictable periodic patterns, and the structure unearthed by PCA evolves stably over time. All these features play a critical role in the applications of forecasting and anomaly detection.

Toluene stability Space Station Rankine power system

Science.gov (United States)

Havens, V. N.; Ragaller, D. R.; Sibert, L.; Miller, D.

1987-01-01

A dynamic test loop is designed to evaluate the thermal stability of an organic Rankine cycle working fluid, toluene, for potential application to the Space Station power conversion unit. Samples of the noncondensible gases and the liquid toluene were taken periodically during the 3410 hour test at 750 F peak temperature. The results obtained from the toluene stability loop verify that toluene degradation will not lead to a loss of performance over the 30-year Space Station mission life requirement. The identity of the degradation products and the low rates of formation were as expected from toluene capsule test data.

10 Management Controller for Time and Space Partitioning Architectures

Science.gov (United States)

Lachaize, Jerome; Deredempt, Marie-Helene; Galizzi, Julien

2015-09-01

The Integrated Modular Avionics (IMA) has been industrialized in aeronautical domain to enable the independent qualification of different application softwares from different suppliers on the same generic computer, this latter computer being a single terminal in a deterministic network. This concept allowed to distribute efficiently and transparently the different applications across the network, sizing accurately the HW equipments to embed on the aircraft, through the configuration of the virtual computers and the virtual network. , This concept has been studied for space domain and requirements issued [D04],[D05]. Experiments in the space domain have been done, for the computer level, through ESA and CNES initiatives [D02] [D03]. One possible IMA implementation may use Time and Space Partitioning (TSP) technology. Studies on Time and Space Partitioning [D02] for controlling resources access such as CPU and memories and studies on hardware/software interface standardization [D01] showed that for space domain technologies where I/O components (or IP) do not cover advanced features such as buffering, descriptors or virtualization, CPU overhead in terms of performances is mainly due to shared interface management in the execution platform, and to the high frequency of I/O accesses, these latter leading to an important number of context switches. This paper will present a solution to reduce this execution overhead with an open, modular and configurable controller.

Space-time neutronic analysis of postulated LOCA's in CANDU reactors

International Nuclear Information System (INIS)

Luxat, J.C.; Frescura, G.M.

1978-01-01

Space-time neutronic behaviour of CANDU reactors is of importance in the analysis and design of reactor safety systems. A methodology has been developed for simulating CANDU space-time neutronics with application to the analysis of postulated LOCA'S. The approach involves the efficient use of a set of computer codes which provide a capability to perform simulations ranging from detailed, accurate 3-dimensional space-time to low-cost survey calculations using point kinetics with some ''effective'' spatial content. A new, space-time kinetics code based upon a modal expansion approach is described. This code provides an inexpensive and relatively accurate scoping tool for detailed 3-dimensional space-time simulations. (author)

Stabilization of time domain acoustic boundary element method for the interior problem with impedance boundary conditions.

Science.gov (United States)

Jang, Hae-Won; Ih, Jeong-Guon

2012-04-01

The time domain boundary element method (BEM) is associated with numerical instability that typically stems from the time marching scheme. In this work, a formulation of time domain BEM is derived to deal with all types of boundary conditions adopting a multi-input, multi-output, infinite impulse response structure. The fitted frequency domain impedance data are converted into a time domain expression as a form of an infinite impulse response filter, which can also invoke a modeling error. In the calculation, the response at each time step is projected onto the wave vector space of natural radiation modes, which can be obtained from the eigensolutions of the single iterative matrix. To stabilize the computation, unstable oscillatory modes are nullified, and the same decay rate is used for two nonoscillatory modes. As a test example, a transient sound field within a partially lined, parallelepiped box is used, within which a point source is excited by an octave band impulse. In comparison with the results of the inverse Fourier transform of a frequency domain BEM, the average of relative difference norm in the stabilized time response is found to be 4.4%.

Space-marching gridless computation of steady supersonic/hypersonic flow

International Nuclear Information System (INIS)

Hui, W.H.; Hu, J.J.

2004-01-01

Most CFD work use Eulerian coordinates, which require generating a grid prior to flow filed computation. Despite three decades of research, grid generation is still a bottleneck of CFD, as it is time-consuming, tedious and requires specialized training. It will be shown in this paper that using the Unified Coordinates introduced by Hui et. al., there is no need for grid generation prior to flow computation; the grid is automatically generated while computing the flow. This greatly saves computing time. For steady supersonic/hypersonic flow, the Euler equations of gas dynamics are of hyperbolic type and a space-marching gridless computation along the streamlines - coordinate lines in the unified coordinates - is shown to be a complete success in that: (a) it is most robust, (b) it resolves both slip lines (also called contact lines) and shocks sharply, (c) its computing time is more than three orders of magnitude smaller than Eulerian computation and, (d) it by-passes the tedious and time-consuming grid generation stage which is needed in Eulerian computation. Three examples are given to justify these claims. (author)

State-space-based harmonic stability analysis for paralleled grid-connected inverters

DEFF Research Database (Denmark)

Wang, Yanbo; Wang, Xiongfei; Chen, Zhe

2016-01-01

This paper addresses a state-space-based harmonic stability analysis of paralleled grid-connected inverters system. A small signal model of individual inverter is developed, where LCL filter, the equivalent delay of control system, and current controller are modeled. Then, the overall small signal...... model of paralleled grid-connected inverters is built. Finally, the state space-based stability analysis approach is developed to explain the harmonic resonance phenomenon. The eigenvalue traces associated with time delay and coupled grid impedance are obtained, which accounts for how the unstable...... inverter produces the harmonic resonance and leads to the instability of whole paralleled system. The proposed approach reveals the contributions of the grid impedance as well as the coupled effect on other grid-connected inverters under different grid conditions. Simulation and experimental results...

Space/time non-commutative field theories and causality

International Nuclear Information System (INIS)

Bozkaya, H.; Fischer, P.; Pitschmann, M.; Schweda, M.; Grosse, H.; Putz, V.; Wulkenhaar, R.

2003-01-01

As argued previously, amplitudes of quantum field theories on non-commutative space and time cannot be computed using naive path integral Feynman rules. One of the proposals is to use the Gell-Mann-Low formula with time-ordering applied before performing the integrations. We point out that the previously given prescription should rather be regarded as an interaction-point time-ordering. Causality is explicitly violated inside the region of interaction. It is nevertheless a consistent procedure, which seems to be related to the interaction picture of quantum mechanics. In this framework we compute the one-loop self-energy for a space/time non-commutative φ 4 theory. Although in all intermediate steps only three-momenta play a role, the final result is manifestly Lorentz covariant and agrees with the naive calculation. Deriving the Feynman rules for general graphs, we show, however, that such a picture holds for tadpole lines only. (orig.)

Lyapunov stability robust analysis and robustness design for linear continuous-time systems

NARCIS (Netherlands)

Luo, J.S.; Johnson, A.; Bosch, van den P.P.J.

1995-01-01

The linear continuous-time systems to be discussed are described by state space models with structured time-varying uncertainties. First, the explicit maximal perturbation bound for maintaining quadratic Lyapunov stability of the closed-loop systems is presented. Then, a robust design method is

Scanless nonlinear optical microscope for image reconstruction and space-time correlation analysis

Science.gov (United States)

Ceffa, N. G.; Radaelli, F.; Pozzi, P.; Collini, M.; Sironi, L.; D'alfonso, L.; Chirico, G.

2017-06-01

Optical Microscopy has been applied to life science from its birth and reached widespread application due to its major advantages: limited perturbation of the biological tissue and the easy accessibility of the light sources. However, as the spatial and time resolution requirements and the time stability of the microscopes increase, researchers are struggling against some of its limitations: limited transparency and the refractivity of the living tissue to light and the field perturbations induced by the path in the tissue. We have developed a compact stand-alone, completely scan-less, optical setup that allows to acquire non-linear excitation images and to measure the sample dynamics simultaneously on an ensemble of arbitrary chosen regions of interests. The image is obtained by shining a square array of spots on the sample obtained by a spatial light modulator and by shifting it (10 ms refresh time) on the sample. The final image is computed from the superposition of (100-1000) images. Filtering procedures can be applied to the raw images of the excitation array before building the image. We discuss results that show how this setup can be used for the correction of wave front aberrations induced by turbid samples (such as living tissues) and for the computation of space-time cross-correlations in complex networks.

Path integration on space times with symmetry

International Nuclear Information System (INIS)

Low, S.G.

1985-01-01

Path integration on space times with symmetry is investigated using a definition of path integration of Gaussian integrators. Gaussian integrators, systematically developed using the theory of projective distributions, may be defined in terms of a Jacobi operator Green function. This definition of the path integral yields a semiclassical expansion of the propagator which is valid on caustics. The semiclassical approximation to the free particle propagator on symmetric and reductive homogeneous spaces is computed in terms of the complete solution of the Jacobi equation. The results are used to test the validity of using the Schwinger-DeWitt transform to compute an approximation to the coincidence limit of a field theory Green function from a WKB propagator. The method is found not to be valid except for certain special cases. These cases include manifolds constructed from the direct product of flat space and group manifolds, on which the free particle WKB approximation is exact and two sphere. The multiple geodesic contribution to 2 > on Schwarzschild in the neighborhood of rho = 3M is computed using the transform

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.

A bivariate space-time downscaler under space and time misalignment.

Science.gov (United States)

Berrocal, Veronica J; Gelfand, Alan E; Holland, David M

2010-12-01

Ozone and particulate matter PM(2.5) are co-pollutants that have long been associated with increased public health risks. Information on concentration levels for both pollutants come from two sources: monitoring sites and output from complex numerical models that produce concentration surfaces over large spatial regions. In this paper, we offer a fully-model based approach for fusing these two sources of information for the pair of co-pollutants which is computationally feasible over large spatial regions and long periods of time. Due to the association between concentration levels of the two environmental contaminants, it is expected that information regarding one will help to improve prediction of the other. Misalignment is an obvious issue since the monitoring networks for the two contaminants only partly intersect and because the collection rate for PM(2.5) is typically less frequent than that for ozone.Extending previous work in Berrocal et al. (2009), we introduce a bivariate downscaler that provides a flexible class of bivariate space-time assimilation models. We discuss computational issues for model fitting and analyze a dataset for ozone and PM(2.5) for the ozone season during year 2002. We show a modest improvement in predictive performance, not surprising in a setting where we can anticipate only a small gain.

Efficient Computation of Multiscale Entropy over Short Biomedical Time Series Based on Linear State-Space Models

Directory of Open Access Journals (Sweden)

Luca Faes

2017-01-01

Full Text Available The most common approach to assess the dynamical complexity of a time series across multiple temporal scales makes use of the multiscale entropy (MSE and refined MSE (RMSE measures. In spite of their popularity, MSE and RMSE lack an analytical framework allowing their calculation for known dynamic processes and cannot be reliably computed over short time series. To overcome these limitations, we propose a method to assess RMSE for autoregressive (AR stochastic processes. The method makes use of linear state-space (SS models to provide the multiscale parametric representation of an AR process observed at different time scales and exploits the SS parameters to quantify analytically the complexity of the process. The resulting linear MSE (LMSE measure is first tested in simulations, both theoretically to relate the multiscale complexity of AR processes to their dynamical properties and over short process realizations to assess its computational reliability in comparison with RMSE. Then, it is applied to the time series of heart period, arterial pressure, and respiration measured for healthy subjects monitored in resting conditions and during physiological stress. This application to short-term cardiovascular variability documents that LMSE can describe better than RMSE the activity of physiological mechanisms producing biological oscillations at different temporal scales.

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.

ZOCO VI - a computer code to calculate the time- and space-dependent pressure distribution in full pressure containments of water-cooled reactors

International Nuclear Information System (INIS)

Mansfeld, G.

1974-12-01

ZOCO VI is a computer code to investigate the time and space dependent pressure distribution in full pressure containment of water cooled nuclear power reactors following a loss-of-coolant accident, which is caused by the rupture of a main coolant or steam line. ZOCO VI is an improved version of the computer code ZOCO V with enlarged description of condensing events. (orig.) [de

Space-Bounded Church-Turing Thesis and Computational Tractability of Closed Systems.

Science.gov (United States)

Braverman, Mark; Schneider, Jonathan; Rojas, Cristóbal

2015-08-28

We report a new limitation on the ability of physical systems to perform computation-one that is based on generalizing the notion of memory, or storage space, available to the system to perform the computation. Roughly, we define memory as the maximal amount of information that the evolving system can carry from one instant to the next. We show that memory is a limiting factor in computation even in lieu of any time limitations on the evolving system-such as when considering its equilibrium regime. We call this limitation the space-bounded Church-Turing thesis (SBCT). The SBCT is supported by a simulation assertion (SA), which states that predicting the long-term behavior of bounded-memory systems is computationally tractable. In particular, one corollary of SA is an explicit bound on the computational hardness of the long-term behavior of a discrete-time finite-dimensional dynamical system that is affected by noise. We prove such a bound explicitly.

An FPGA computing demo core for space charge simulation

International Nuclear Information System (INIS)

Wu, Jinyuan; Huang, Yifei

2009-01-01

In accelerator physics, space charge simulation requires large amount of computing power. In a particle system, each calculation requires time/resource consuming operations such as multiplications, divisions, and square roots. Because of the flexibility of field programmable gate arrays (FPGAs), we implemented this task with efficient use of the available computing resources and completely eliminated non-calculating operations that are indispensable in regular micro-processors (e.g. instruction fetch, instruction decoding, etc.). We designed and tested a 16-bit demo core for computing Coulomb's force in an Altera Cyclone II FPGA device. To save resources, the inverse square-root cube operation in our design is computed using a memory look-up table addressed with nine to ten most significant non-zero bits. At 200 MHz internal clock, our demo core reaches a throughput of 200 M pairs/s/core, faster than a typical 2 GHz micro-processor by about a factor of 10. Temperature and power consumption of FPGAs were also lower than those of micro-processors. Fast and convenient, FPGAs can serve as alternatives to time-consuming micro-processors for space charge simulation.

An FPGA computing demo core for space charge simulation

Energy Technology Data Exchange (ETDEWEB)

Wu, Jinyuan; Huang, Yifei; /Fermilab

2009-01-01

In accelerator physics, space charge simulation requires large amount of computing power. In a particle system, each calculation requires time/resource consuming operations such as multiplications, divisions, and square roots. Because of the flexibility of field programmable gate arrays (FPGAs), we implemented this task with efficient use of the available computing resources and completely eliminated non-calculating operations that are indispensable in regular micro-processors (e.g. instruction fetch, instruction decoding, etc.). We designed and tested a 16-bit demo core for computing Coulomb's force in an Altera Cyclone II FPGA device. To save resources, the inverse square-root cube operation in our design is computed using a memory look-up table addressed with nine to ten most significant non-zero bits. At 200 MHz internal clock, our demo core reaches a throughput of 200 M pairs/s/core, faster than a typical 2 GHz micro-processor by about a factor of 10. Temperature and power consumption of FPGAs were also lower than those of micro-processors. Fast and convenient, FPGAs can serve as alternatives to time-consuming micro-processors for space charge simulation.

Computational Modeling of Space Physiology

Science.gov (United States)

Lewandowski, Beth E.; Griffin, Devon W.

2016-01-01

The Digital Astronaut Project (DAP), within NASAs Human Research Program, develops and implements computational modeling for use in the mitigation of human health and performance risks associated with long duration spaceflight. Over the past decade, DAP developed models to provide insights into space flight related changes to the central nervous system, cardiovascular system and the musculoskeletal system. Examples of the models and their applications include biomechanical models applied to advanced exercise device development, bone fracture risk quantification for mission planning, accident investigation, bone health standards development, and occupant protection. The International Space Station (ISS), in its role as a testing ground for long duration spaceflight, has been an important platform for obtaining human spaceflight data. DAP has used preflight, in-flight and post-flight data from short and long duration astronauts for computational model development and validation. Examples include preflight and post-flight bone mineral density data, muscle cross-sectional area, and muscle strength measurements. Results from computational modeling supplement space physiology research by informing experimental design. Using these computational models, DAP personnel can easily identify both important factors associated with a phenomenon and areas where data are lacking. This presentation will provide examples of DAP computational models, the data used in model development and validation, and applications of the model.

Time biases in laser ranging observations: A concerning issue of Space Geodesy

Science.gov (United States)

Exertier, Pierre; Belli, A.; Lemoine, J. M.

2017-09-01

Time transfer by Laser Ranging (LR) recently demonstrated a remarkable stability (a few ps over ∼1000 s) and accuracy (synchronizing both space and ground clocks over distances from a few thousands to tens of thousands kilometers. Given its potential role in navigation, fundamental physics and metrology, it is crucial that synergy between laser ranging and Time&Frequency (T/F) technologies improves to meet the present and future space geodesy requirements. In this article, we examine the behavior of T/F systems that are used in LR tracking stations of the international laser ranging service. The approach we investigate is to compute time synchronization between clocks used at LR stations using accurate data of the Time Transfer by Laser Link (T2L2) experiment onboard the satellite Jason-2 (Samain et al., 2014). Systematic time biases are estimated against the UTC time scale for a set of 22 observing stations in 2013, in the range of zero to a few μ s. Our results suggest that the ILRS network suffers from accuracy issues, due to time biases in the laser ranging observations. We discuss how these systematic effects impact the precise orbit determination of LAGEOS geodetic satellites over a 1-year analysis, and additionally give a measure of the local effect into station coordinates, regarding in particular the effect in the east-west component that is of 2-6 mm for a typical systematic time bias of one μ s.

Impact of space environment on stability of medicines: Challenges and prospects.

Science.gov (United States)

Mehta, Priti; Bhayani, Dhara

2017-03-20

To upkeep health of astronauts in a unique, isolated, and extreme environment of space is the primary goal for a successful space mission, hence, safe and efficacious medications are essential for the wellness of astronauts. Space medication has been challenged with problems related to efficacy. Along with altered physiology, one of the possible reasons could be instability of space medications in the presence of harsh spaceflight environmental conditions. Altered physical and chemical stability can result in reduced potency which can result in reduced efficacy. Right now, medicines from the International Space Station are replaced before their expiration. But, for longer duration missions to Mars or any other asteroid, there will not be any chance of replacement of medicines. Hence, it is desired that medicines maintain the shelf-life throughout the space mission. Stability of medicines used for short term or long term space missions cannot be judged by drug stability guidelines based on terrestrial environmental factors. Unique environmental conditions related to spaceflight include microgravity, excessive vibration, hard vacuum, humidity variation, temperature differences and excessive radiation, which may cause instability of medicines. This write-up provides a review of the problem and countermeasure approaches for pharmaceuticals exposed to the space environment. The first part of the article discusses thought processes behind outlining of International Conference on Harmonization drug stability guidelines, Q1A (R2) and Q1B, and its acceptance limits for accelerated stability study. The second part of the article describes the difference in the radiation environment of deep space compared to radiation environment inside the space shuttle based on penetration power of different types of radiation. In the third part of the article, various promising approaches are listed which can be used for assurance of space medicine stability. One of the approaches is the

Space-time interdependence: evidence against asymmetric mapping between time and space.

Science.gov (United States)

Cai, Zhenguang G; Connell, Louise

2015-03-01

Time and space are intimately related, but what is the real nature of this relationship? Is time mapped metaphorically onto space such that effects are always asymmetric (i.e., space affects time more than time affects space)? Or do the two domains share a common representational format and have the ability to influence each other in a flexible manner (i.e., time can sometimes affect space more than vice versa)? In three experiments, we examined whether spatial representations from haptic perception, a modality of relatively low spatial acuity, would lead the effect of time on space to be substantially stronger than the effect of space on time. Participants touched (but could not see) physical sticks while listening to an auditory note, and then reproduced either the length of the stick or the duration of the note. Judgements of length were affected by concurrent stimulus duration, but not vice versa. When participants were allowed to see as well as touch the sticks, however, the higher acuity of visuohaptic perception caused the effects to converge so length and duration influenced each other to a similar extent. These findings run counter to the spatial metaphor account of time, and rather support the spatial representation account in which time and space share a common representational format and the directionality of space-time interaction depends on the perceptual acuity of the modality used to perceive space. Copyright © 2014 Elsevier B.V. All rights reserved.

Scientific applications of frequency-stabilized laser technology in space

Science.gov (United States)

Schumaker, Bonny L.

1990-01-01

A synoptic investigation of the uses of frequency-stabilized lasers for scientific applications in space is presented. It begins by summarizing properties of lasers, characterizing their frequency stability, and describing limitations and techniques to achieve certain levels of frequency stability. Limits to precision set by laser frequency stability for various kinds of measurements are investigated and compared with other sources of error. These other sources include photon-counting statistics, scattered laser light, fluctuations in laser power, and intensity distribution across the beam, propagation effects, mechanical and thermal noise, and radiation pressure. Methods are explored to improve the sensitivity of laser-based interferometric and range-rate measurements. Several specific types of science experiments that rely on highly precise measurements made with lasers are analyzed, and anticipated errors and overall performance are discussed. Qualitative descriptions are given of a number of other possible science applications involving frequency-stabilized lasers and related laser technology in space. These applications will warrant more careful analysis as technology develops.

Reliability modeling of a hard real-time system using the path-space approach

International Nuclear Information System (INIS)

Kim, Hagbae

2000-01-01

A hard real-time system, such as a fly-by-wire system, fails catastrophically (e.g. losing stability) if its control inputs are not updated by its digital controller computer within a certain timing constraint called the hard deadline. To assess and validate those systems' reliabilities by using a semi-Markov model that explicitly contains the deadline information, we propose a path-space approach deriving the upper and lower bounds of the probability of system failure. These bounds are derived by using only simple parameters, and they are especially suitable for highly reliable systems which should recover quickly. Analytical bounds are derived for both exponential and Wobble failure distributions encountered commonly, which have proven effective through numerical examples, while considering three repair strategies: repair-as-good-as-new, repair-as-good-as-old, and repair-better-than-old

The space-time model according to dimensional continuous space-time theory

International Nuclear Information System (INIS)

Martini, Luiz Cesar

2014-01-01

This article results from the Dimensional Continuous Space-Time Theory for which the introductory theoretician was presented in [1]. A theoretical model of the Continuous Space-Time is presented. The wave equation of time into absolutely stationary empty space referential will be described in detail. The complex time, that is the time fixed on the infinite phase time speed referential, is deduced from the New View of Relativity Theory that is being submitted simultaneously with this article in this congress. Finally considering the inseparable Space-Time is presented the duality equation wave-particle.

Improved result on stability analysis of discrete stochastic neural networks with time delay

International Nuclear Information System (INIS)

Wu Zhengguang; Su Hongye; Chu Jian; Zhou Wuneng

2009-01-01

This Letter investigates the problem of exponential stability for discrete stochastic time-delay neural networks. By defining a novel Lyapunov functional, an improved delay-dependent exponential stability criterion is established in terms of linear matrix inequality (LMI) approach. Meanwhile, the computational complexity of the newly established stability condition is reduced because less variables are involved. Numerical example is given to illustrate the effectiveness and the benefits of the proposed method.

Heterotic quantum and classical computing on convergence spaces

Science.gov (United States)

Patten, D. R.; Jakel, D. W.; Irwin, R. J.; Blair, H. A.

2015-05-01

Category-theoretic characterizations of heterotic models of computation, introduced by Stepney et al., combine computational models such as classical/quantum, digital/analog, synchronous/asynchronous, etc. to obtain increased computational power. A highly informative classical/quantum heterotic model of computation is represented by Abramsky's simple sequential imperative quantum programming language which extends the classical simple imperative programming language to encompass quantum computation. The mathematical (denotational) semantics of this classical language serves as a basic foundation upon which formal verification methods can be developed. We present a more comprehensive heterotic classical/quantum model of computation based on heterotic dynamical systems on convergence spaces. Convergence spaces subsume topological spaces but admit finer structure from which, in prior work, we obtained differential calculi in the cartesian closed category of convergence spaces allowing us to define heterotic dynamical systems, given by coupled systems of first order differential equations whose variables are functions from the reals to convergence spaces.

Computing the dilation of edge-augmented graphs in metric spaces

DEFF Research Database (Denmark)

Wulff-Nilsen, Christian

2010-01-01

Let G=(V,E) be an undirected graph with n vertices embedded in a metric space. We consider the problem of adding a shortcut edge in G that minimizes the dilation of the resulting graph. The fastest algorithm to date for this problem has O(n4) running time and uses O(n2) space. We show how...... to improve the running time to O(n3logn) while maintaining quadratic space requirement. In fact, our algorithm not only determines the best shortcut but computes the dilation of G{(u,v)} for every pair of distinct vertices u and v....

Dexter Time: The Space, Time, and Matterings of School Absence Registration

Science.gov (United States)

Bodén, Linnea

2016-01-01

Working with a posthumanist approach, this article explores how the computer software Dexter, used for the registration of students' absences and presences, is part of the production of different practices of time, place, space, and matter in Swedish schools. The empirical material engaged with comes from two schools, and the students involved are…

Time-Discrete Higher-Order ALE Formulations: Stability

KAUST Repository

Bonito, Andrea

2013-01-01

Arbitrary Lagrangian Eulerian (ALE) formulations deal with PDEs on deformable domains upon extending the domain velocity from the boundary into the bulk with the purpose of keeping mesh regularity. This arbitrary extension has no effect 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-dependent advection-diffusion-model problem in moving domains, and study their stability properties. The analysis hinges on the validity of the Reynold\\'s identity for dG. Exploiting the variational structure and assuming exact integration, we prove that our conservative and nonconservative dG schemes are equivalent and unconditionally stable. The same results remain true for piecewise polynomial ALE maps of any degree and suitable quadrature that guarantees the validity of the Reynold\\'s identity. This approach generalizes the so-called geometric conservation law to higher-order methods. We also prove that simpler Runge-Kutta-Radau methods of any order are conditionally stable, that is, subject to a mild ALE constraint on the time steps. Numerical experiments corroborate and complement our theoretical results. © 2013 Society for Industrial and Applied Mathematics.

Space-Time Dependent Transport, Activation, and Dose Rates for Radioactivated Fluids.

Science.gov (United States)

Gavazza, Sergio

Two methods are developed to calculate the space - and time-dependent mass transport of radionuclides, their production and decay, and the associated dose rates generated from the radioactivated fluids flowing through pipes. The work couples space- and time-dependent phenomena, treated as only space- or time-dependent in the open literature. The transport and activation methodology (TAM) is used to numerically calculate space- and time-dependent transport and activation of radionuclides in fluids flowing through pipes exposed to radiation fields, and volumetric radioactive sources created by radionuclide motions. The computer program Radionuclide Activation and Transport in Pipe (RNATPA1) performs the numerical calculations required in TAM. The gamma ray dose methodology (GAM) is used to numerically calculate space- and time-dependent gamma ray dose equivalent rates from the volumetric radioactive sources determined by TAM. The computer program Gamma Ray Dose Equivalent Rate (GRDOSER) performs the numerical calculations required in GAM. The scope of conditions considered by TAM and GAM herein include (a) laminar flow in straight pipe, (b)recirculating flow schemes, (c) time-independent fluid velocity distributions, (d) space-dependent monoenergetic neutron flux distribution, (e) space- and time-dependent activation process of a single parent nuclide and transport and decay of a single daughter radionuclide, and (f) assessment of space- and time-dependent gamma ray dose rates, outside the pipe, generated by the space- and time-dependent source term distributions inside of it. The methodologies, however, can be easily extended to include all the situations of interest for solving the phenomena addressed in this dissertation. A comparison is made from results obtained by the described calculational procedures with analytical expressions. The physics of the problems addressed by the new technique and the increased accuracy versus non -space and time-dependent methods

Single-Bunch Stability With Direct Space Charge

CERN Multimedia

Oeftiger, Adrian

2017-01-01

Previous studies have shown the suppressing effect of direct space charge on impedance-driven head-tail instabilities. The present work investigates transverse stability for the HL-LHC scenario based on our macro-particle simulation tool PyHEADTAIL using realistic bunch distributions. The impact of selfconsistent modelling is briefly discussed for non-linear space charge forces. We study how space charge pushes the instability threshold for the transverse mode coupling instability (TMCI) occurring between mode 0 and -1. Next we consider finite chromaticity: in absence of space charge, the impedance model predicts head-tail instabilities. For a selected case below TMCI threshold at Q0 = 5, we demonstrate the stabilising effect of space charge. Finally, we compare simulation results to past LHC measurements.

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

Practical Methodology for the Inclusion of Nonlinear Slosh Damping in the Stability Analysis of Liquid-Propelled Space Vehicles

Science.gov (United States)

Ottander, John A.; Hall, Robert A.; Powers, J. F.

2018-01-01

A method is presented that allows for the prediction of the magnitude of limit cycles due to adverse control-slosh interaction in liquid propelled space vehicles using non-linear slosh damping. Such a method is an alternative to the industry practice of assuming linear damping and relying on: mechanical slosh baffles to achieve desired stability margins; accepting minimal slosh stability margins; or time domain non-linear analysis to accept time periods of poor stability. Sinusoidal input describing functional analysis is used to develop a relationship between the non-linear slosh damping and an equivalent linear damping at a given slosh amplitude. In addition, a more accurate analytical prediction of the danger zone for slosh mass locations in a vehicle under proportional and derivative attitude control is presented. This method is used in the control-slosh stability analysis of the NASA Space Launch System.

Technology for computer-stabilized peak of NaI(Tl) gamma spectrum

International Nuclear Information System (INIS)

Chen Jianzhen; Guo Lanying; Ling Qiu; Qu Guopu; Zhao Lihong; Hu Chuangye

2005-01-01

An improved technology for spectrum stabilization of NaI(Tl) gamma spectrum was introduced. This technology is based on the system using a reference peak, which is equivalent gamma peak of 241 Am source. The computer seeks peak's position deviation and computes adjust value of programmable amplifier and controls programmable amplifier to stabilize spectrum by digital PID. This is a technology of spectrum stabilizing with 'hardware + reference-peak + software' and has high stability and fast speed of spectrum stabilizing. (author)

Computational stability appraisal of rectangular natural circulation loop: Effect of loop inclination

International Nuclear Information System (INIS)

Krishnani, Mayur; Basu, Dipankar N.

2017-01-01

Highlights: • Computational model developed for single-phase rectangular natural circulation loop. • Role of loop inclination to vertical on thermalhydraulic stability is explored. • Inclination has strong stabilizing effect due to lower effective gravitation force. • Increase in tilt angle reduces settling time and highest amplitude of oscillation. • An angle of 15° is suggested for the selected loop geometry. - Abstract: Controlling stability behavior of single-phase natural circulation loops, without significantly affecting its steady-state characteristics, is a topic of wide research interest. Present study explores the role of loop inclination on a particular loop geometry. Accordingly a 3D computational model of a rectangular loop is developed and transient conservation equations are solved to obtain the temporal variation in flow parameters. Starting from the quiescent state, simulations are performed for selected sets of operating conditions and also with a few selected inclination angles. System experiences instability at higher heater powers and also with higher sink temperatures. Inclination is found to have a strong stabilizing influence owing to the reduction in the effective gravitational acceleration and subsequent decline in local buoyancy effects. The settling time and highest amplitude of oscillations substantially reduces for a stable system with a small inclination. Typically-unstable systems can also suppress the oscillations, when subjected to tilting, within a reasonable period of time. It is possible to stabilize the loop within shorter time span by increasing the tilt angle, but at the expense of reduction in steady-state flow rate. Overall a tilt angle of 15° is suggested for the selected geometry. Results from the 3D model is compared with the predictions from an indigenous 1D code. While similar qualitative influence of inclination is observed, the 1D model predicts early appearance of the stability threshold and hence hints

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

Finite-Time Stability and Stabilization of Nonlinear Quadratic Systems with Jumps

Directory of Open Access Journals (Sweden)

Minsong Zhang

2014-01-01

Full Text Available This paper investigates the problems of finite-time stability and finite-time stabilization for nonlinear quadratic systems with jumps. The jump time sequences here are assumed to satisfy some given constraints. Based on Lyapunov function and a particular presentation of the quadratic terms, sufficient conditions for finite-time stability and finite-time stabilization are developed to a set containing bilinear matrix inequalities (BLIMs and linear matrix inequalities (LMIs. Numerical examples are given to illustrate the effectiveness of the proposed methodology.

Spaceborne computer executive routine functional design specification. Volume 2: Computer executive design for space station/base

Science.gov (United States)

Kennedy, J. R.; Fitzpatrick, W. S.

1971-01-01

The computer executive functional system design concepts derived from study of the Space Station/Base are presented. Information Management System hardware configuration as directly influencing the executive design is reviewed. The hardware configuration and generic executive design requirements are considered in detail in a previous report (System Configuration and Executive Requirements Specifications for Reusable Shuttle and Space Station/Base, 9/25/70). This report defines basic system primitives and delineates processes and process control. Supervisor states are considered for describing basic multiprogramming and multiprocessing systems. A high-level computer executive including control of scheduling, allocation of resources, system interactions, and real-time supervisory functions is defined. The description is oriented to provide a baseline for a functional simulation of the computer executive system.

The Space-Time Asymmetry Research (STAR) program

Science.gov (United States)

Buchman, Sasha

Stanford University, NASA Ames, and international partners propose the Space-Time Asymme-try Research (STAR) program, a series of three Science and Technology Development Missions, which will probe the fundamental relationships between space, time and gravity. What is the nature of space-time? Is space truly isotropic? Is the speed of light truly isotropic? If not, what is its direction and location dependency? What are the answers beyond Einstein? How will gravity and the standard model ultimately be combined? The first mission, STAR-1, will measure the absolute anisotropy of the velocity of light to one part in 1017 , derive the Kennedy-Thorndike (KT) coefficient to 7x10-10 (150-fold improvement over modern ground measurements), derive the Michelson-Morley (MM) coefficient to 10-11 (confirming the ground measurements), and derive the coefficients of Lorentz violation in the Standard Model Exten-sion (SME), in the range 7x10-17 to 10-13 (an order of magnitude improvement over ground measurements). The follow-on missions will achieve a factor of 100 higher sensitivities. The core instruments are high stability optical cavities and high accuracy gas spectroscopy frequency standards using the "NICE-OHMS technique. STAR-1 is accomplished with a fully redundant instrument flown on a standard bus, spin-stabilized spacecraft with a mission lifetime of two years. Spacecraft and instrument have a total mass of less than 180 kg and consume less than 200 W of power. STAR-1 would launch in 2015 as a secondary payload in a 650 km, sun-synchronous orbit. We describe the STAR-1 mission in detail and the STAR series in general, with a focus on how each mission will build on the development and success of the previous missions, methodically enhancing both the capabilities of the STAR instrument suite and our understanding of this important field. By coupling state-of-the-art scientific instrumentation with proven and cost-effective small satellite technology in an environment

Resistive MHD Stability Analysis in Near Real-time

Science.gov (United States)

Glasser, Alexander; Kolemen, Egemen

2017-10-01

We discuss the feasibility of a near real-time calculation of the tokamak Δ' matrix, which summarizes MHD stability to resistive modes, such as tearing and interchange modes. As the operational phase of ITER approaches, solutions for active feedback tokamak stability control are needed. It has been previously demonstrated that an ideal MHD stability analysis is achievable on a sub- O (1 s) timescale, as is required to control phenomena comparable with the MHD-evolution timescale of ITER. In the present work, we broaden this result to incorporate the effects of resistive MHD modes. Such modes satisfy ideal MHD equations in regions outside narrow resistive layers that form at singular surfaces. We demonstrate that the use of asymptotic expansions at the singular surfaces, as well as the application of state transition matrices, enable a fast, parallelized solution to the singular outer layer boundary value problem, and thereby rapidly compute Δ'. Sponsored by US DOE under DE-SC0015878 and DE-FC02-04ER54698.

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

Voluble: a space-time diagram of the solar system

Science.gov (United States)

Aguilera, Julieta C.; SubbaRao, Mark U.

2008-02-01

Voluble is a dynamic space-time diagram of the solar system. Voluble is designed to help users understand the relationship between space and time in the motion of the planets around the sun. Voluble is set in virtual reality to relate these movements to our experience of immediate space. Beyond just the visual, understanding dynamic systems is naturally associated to the articulation of our bodies as we perform a number of complex calculations, albeit unconsciously, to deal with simple tasks. Such capabilities encompass spatial perception and memory. Voluble investigates the balance between the visually abstract and the spatially figurative in immersive development to help illuminate phenomena that are beyond the reach of human scale and time. While most diagrams, even computer-based interactive ones, are flat, three-dimensional real-time virtual reality representations are closer to our experience of space. The representation can be seen as if it was "really there," engaging a larger number of cues pertaining to our everyday spatial experience.

Intense field stabilization in circular polarization: Three-dimensional time-dependent dynamics

International Nuclear Information System (INIS)

Choi, Dae-Il; Chism, Will

2002-01-01

We investigate the stabilization of hydrogen atoms in a circularly polarized laser field. We use a three-dimensional, time-dependent approach to study the quantum dynamics of hydrogen atoms subject to high-intensity, short-wavelength, laser pulses. We find an enhanced survival probability as the field is increased under fixed envelope conditions. We also confirm wave packet behaviors previously seen in two-dimensional time-dependent computations

Computing the Dilation of Edge-Augmented Graphs Embedded in Metric Spaces

DEFF Research Database (Denmark)

Wulff-Nilsen, Christian

2008-01-01

Let G = (V,E) be an undirected graph with n vertices embedded in a metric space. We consider the problem of adding a shortcut edge in G that minimizes the dilation of the resulting graph. The fastest algorithm to date for this problem has O(n^4) running time and uses O(n^2) space. We show how...... to improve running time to O(n^3*log n) while maintaining quadratic space requirement. In fact, our algorithm not only determines the best shortcut but computes the dilation of G U {(u,v)} for every pair of distinct vertices u and v....

A comparison between space-time video descriptors

Science.gov (United States)

Costantini, Luca; Capodiferro, Licia; Neri, Alessandro

2013-02-01

The description of space-time patches is a fundamental task in many applications such as video retrieval or classification. Each space-time patch can be described by using a set of orthogonal functions that represent a subspace, for example a sphere or a cylinder, within the patch. In this work, our aim is to investigate the differences between the spherical descriptors and the cylindrical descriptors. In order to compute the descriptors, the 3D spherical and cylindrical Zernike polynomials are employed. This is important because both the functions are based on the same family of polynomials, and only the symmetry is different. Our experimental results show that the cylindrical descriptor outperforms the spherical descriptor. However, the performances of the two descriptors are similar.

Stabilization of exact nonlinear Timoshenko beams in space by boundary feedback

Science.gov (United States)

Do, K. D.

2018-05-01

Boundary feedback controllers are designed to stabilize Timoshenko beams with large translational and rotational motions in space under external disturbances. The exact nonlinear partial differential equations governing motion of the beams are derived and used in the control design. The designed controllers guarantee globally practically asymptotically (and locally practically exponentially) stability of the beam motions at the reference state. The control design, well-posedness and stability analysis are based on various relationships between the earth-fixed and body-fixed coordinates, Sobolev embeddings, and a Lyapunov-type theorem developed to study well-posedness and stability for a class of evolution systems in Hilbert space. Simulation results are included to illustrate the effectiveness of the proposed control design.

MHC I stabilizing potential of computer-designed octapeptides.

Science.gov (United States)

Wisniewska, Joanna M; Jäger, Natalie; Freier, Anja; Losch, Florian O; Wiesmüller, Karl-Heinz; Walden, Peter; Wrede, Paul; Schneider, Gisbert; Hiss, Jan A

2010-01-01

Experimental results are presented for 180 in silico designed octapeptide sequences and their stabilizing effects on the major histocompatibility class I molecule H-2K(b). Peptide sequence design was accomplished by a combination of an ant colony optimization algorithm with artificial neural network classifiers. Experimental tests yielded nine H-2K(b) stabilizing and 171 nonstabilizing peptides. 28 among the nonstabilizing octapeptides contain canonical motif residues known to be favorable for MHC I stabilization. For characterization of the area covered by stabilizing and non-stabilizing octapeptides in sequence space, we visualized the distribution of 100,603 octapeptides using a self-organizing map. The experimental results present evidence that the canonical sequence motives of the SYFPEITHI database on their own are insufficient for predicting MHC I protein stabilization.

MHC I Stabilizing Potential of Computer-Designed Octapeptides

Directory of Open Access Journals (Sweden)

Joanna M. Wisniewska

2010-01-01

Full Text Available Experimental results are presented for 180 in silico designed octapeptide sequences and their stabilizing effects on the major histocompatibility class I molecule H-2Kb. Peptide sequence design was accomplished by a combination of an ant colony optimization algorithm with artificial neural network classifiers. Experimental tests yielded nine H-2Kb stabilizing and 171 nonstabilizing peptides. 28 among the nonstabilizing octapeptides contain canonical motif residues known to be favorable for MHC I stabilization. For characterization of the area covered by stabilizing and non-stabilizing octapeptides in sequence space, we visualized the distribution of 100,603 octapeptides using a self-organizing map. The experimental results present evidence that the canonical sequence motives of the SYFPEITHI database on their own are insufficient for predicting MHC I protein stabilization.

Investigation of unstable periodic space-time states in distributed active system with supercritical current

International Nuclear Information System (INIS)

Koronovskij, A.A.; Rempen, I.S.; Khramov, A.E.

2003-01-01

The set of the unstable periodic space-time states, characterizing the chaotic space-time dynamics of the electron beam with the supercritical current in the Pierce diode is discussed. The Lyapunov indicators of the revealed instable space-time states of the chaotic dynamics of the distributed self-excited system are calculated. It is shown that change in the set of the unstable periodic states in dependence on the Pierce parameter is determined by change in the various orbits stability, which is demonstrated by the values of senior Lyapunov unstable state index [ru

Stability Analysis and Variational Integrator for Real-Time Formation Based on Potential Field

Directory of Open Access Journals (Sweden)

Shengqing Yang

2014-01-01

Full Text Available This paper investigates a framework of real-time formation of autonomous vehicles by using potential field and variational integrator. Real-time formation requires vehicles to have coordinated motion and efficient computation. Interactions described by potential field can meet the former requirement which results in a nonlinear system. Stability analysis of such nonlinear system is difficult. Our methodology of stability analysis is discussed in error dynamic system. Transformation of coordinates from inertial frame to body frame can help the stability analysis focus on the structure instead of particular coordinates. Then, the Jacobian of reduced system can be calculated. It can be proved that the formation is stable at the equilibrium point of error dynamic system with the effect of damping force. For consideration of calculation, variational integrator is introduced. It is equivalent to solving algebraic equations. Forced Euler-Lagrange equation in discrete expression is used to construct a forced variational integrator for vehicles in potential field and obstacle environment. By applying forced variational integrator on computation of vehicles' motion, real-time formation of vehicles in obstacle environment can be implemented. Algorithm based on forced variational integrator is designed for a leader-follower formation.

Development of a real-time stability measurement system for boiling water reactors

International Nuclear Information System (INIS)

March-Leuba, J.; King, W.T.

1987-01-01

This paper describes the development of a portable, real time system for boiling water reactor (BWR) stability measurements. The system provides a means for the operator to monitor the reactor stability using existing plant instrumentation and commercially available hardware. The noise component (i.e., perturbations around steady state) of the neutron signal in BWRs has been shown to contain information about reactor stability, and several algorithms have been developed to extract that information. For the present work, the authors have used an algorithm that has been implemented on a portable personal computer. This algorithm uses the autocorrelation function of naturally occurring neutron noise (measured without special plant perturbations) and an autoregressive modeling technique to produce the asymptotic DR. For this real-time implementation, neutron noise data is preconditioned (i.e., filtered and amplified) and sampled at a 5-Hz sampling rate using a commercial data-acquisition system. Approximately every 1.5 min, the current (snapshot) autocorrelation function is computed directly from the data, and the average autocorrelation is updated. The current and average DR estimates are evaluated with the same periodicity and are displayed on the screen along with the autocorrelations and average power spectrum of the neutron noise

CSP: A Multifaceted Hybrid Architecture for Space Computing

Science.gov (United States)

Rudolph, Dylan; Wilson, Christopher; Stewart, Jacob; Gauvin, Patrick; George, Alan; Lam, Herman; Crum, Gary Alex; Wirthlin, Mike; Wilson, Alex; Stoddard, Aaron

2014-01-01

Research on the CHREC Space Processor (CSP) takes a multifaceted hybrid approach to embedded space computing. Working closely with the NASA Goddard SpaceCube team, researchers at the National Science Foundation (NSF) Center for High-Performance Reconfigurable Computing (CHREC) at the University of Florida and Brigham Young University are developing hybrid space computers that feature an innovative combination of three technologies: commercial-off-the-shelf (COTS) devices, radiation-hardened (RadHard) devices, and fault-tolerant computing. Modern COTS processors provide the utmost in performance and energy-efficiency but are susceptible to ionizing radiation in space, whereas RadHard processors are virtually immune to this radiation but are more expensive, larger, less energy-efficient, and generations behind in speed and functionality. By featuring COTS devices to perform the critical data processing, supported by simpler RadHard devices that monitor and manage the COTS devices, and augmented with novel uses of fault-tolerant hardware, software, information, and networking within and between COTS devices, the resulting system can maximize performance and reliability while minimizing energy consumption and cost. NASA Goddard has adopted the CSP concept and technology with plans underway to feature flight-ready CSP boards on two upcoming space missions.

Impulsive moving mirror model and the stability of Schroedinger equation with impulse effect in a Banach space

International Nuclear Information System (INIS)

Kostadinov, S.I.; Petrov, G.

1992-01-01

From a special class of systems has been used a Schroedinger equation with impulse effect in Minkowski space field theory with time dependent boundary conditions, i.e. those of moving mirrors. The field theoretical approach for studying the properties of the vacuum starts from an analysis of the behaviour of local field quantities in Minkowski space with uniformly moving mirrors. For the impulsive moving mirror model is the real process of interaction between the quantum field and the external mirror a subject to disturbances in its evolution acting in time very short compared with the entire duration of the process. So the stability of the solution of the Schroedinger evolution equation for the process in the stability of the vacuum of Casimir. 8 refs

Frequency stabilized lasers for space applications

Science.gov (United States)

Lieber, Mike; Adkins, Mike; Pierce, Robert; Warden, Robert; Wallace, Cynthia; Weimer, Carl

2014-09-01

metrology, spectroscopy, atomic clocks and geodesy. This technology will be a key enabler to several proposed NASA science missions. Although lasers such as Q-switched Nd-YAG are now commonly used in space, other types of lasers - especially those with narrow linewidth - are still few in number and more development is required to advance their technology readiness. In this paper we discuss a reconfigurable laser frequency stabilization testbed, and end-to-end modeling to support system development. Two important features enabling testbed flexibility are that the controller, signal processing and interfaces are hosted on a field programmable gate array (FPGA) which has spacequalified equivalent parts, and secondly, fiber optic relay of the beam paths. Given the nonlinear behavior of lasers, FPGA implementation is a key system reliability aspect allowing on-orbit retuning of the control system and initial frequency acquisition. The testbed features a dual sensor system, one based upon a high finesse resonator cavity which provides relative stability through Pound-Drever-Hall (PDH) modulation and secondly an absolute frequency reference by dither locking to an acetylene gas cell (GC). To provide for differences between ground and space implementation, we have developed an end-to-end Simulink/ Matlab®-based control system model of the testbed components including the important noise sources. This model is in the process of being correlated to the testbed data which then can be used for trade studies, and estimation of space-based performance and sensitivities. A 1530 nm wavelength semiconductor laser is used for this initial work.

Performance measurements in 3D ideal magnetohydrodynamic stability computations

International Nuclear Information System (INIS)

Anderson, D.V.; Cooper, W.A.; Gruber, R.; Schwenn, U.

1989-10-01

The 3D ideal magnetohydrodynamic stability code TERPSICHORE has been designed to take advantage of vector and microtasking capabilities of the latest CRAY computers. To keep the number of operations small most efficient algorithms have been applied in each computational step. The program investigates the stability properties of fusion reactor relevant plasma configurations confined by magnetic fields. For a typical 3D HELIAS configuration that has been considered we obtain an overall performance in excess of 1 Gflops on an eight processor CRAY-YMP machine. (author) 3 figs., 1 tab., 11 refs

On nonlinear stability in various random normed spaces

Directory of Open Access Journals (Sweden)

Saadati Reza

2011-01-01

Full Text Available Abstract In this article, we prove the nonlinear stability of the quartic functional equation 1 6 f ( x + 4 y + f ( 4 x - y = 3 0 6 9 f x + y 3 + f ( x + 2 y (1 + 1 3 6 f ( x - y - 1 3 9 4 f ( x + y + 4 2 5 f ( y - 1 5 3 0 f ( x (2 (3  in the setting of random normed spaces Furthermore, the interdisciplinary relation among the theory of random spaces, the theory of non-Archimedean space, the theory of fixed point theory, the theory of intuitionistic spaces and the theory of functional equations are also presented in the article.

Evolution in Many-Sheeted Space-time

OpenAIRE

Pitkänen, Matti

2010-01-01

The topics of the article has been restricted to those, which seem to represent the most well-established ideas about evolution in many-sheeted space-time. a) Basic facts about and TGD based model for pre-biotic evolution are discussed. b) A model for the ATP-ADP process based on DNA as topological quantum computer vision, the identification of universal metabolic energy quanta in terms of zero point kinetic energies, and the notion of remote metabolism is discussed. c) A model f...

Computed tomography of the carotid space and related cervical spaces. Part 1. Anatomy

International Nuclear Information System (INIS)

Silver, A.J.; Mawad, M.E.; Hilal, S.K.; Sane, P.; Ganti, S.R.

1984-01-01

The carotid space, parapharyngeal space, and paraspinal space are described. The carotid space is shown on computed tomography (CT) to be posterior to the parapharyngeal space and separated from it by the styloid apparatus. The paraspinal space is posterior to the carotid space and separated from it by the longus and anterior scalene muscles

Why advanced computing? The key to space-based operations

Science.gov (United States)

Phister, Paul W., Jr.; Plonisch, Igor; Mineo, Jack

2000-11-01

The 'what is the requirement?' aspect of advanced computing and how it relates to and supports Air Force space-based operations is a key issue. In support of the Air Force Space Command's five major mission areas (space control, force enhancement, force applications, space support and mission support), two-fifths of the requirements have associated stringent computing/size implications. The Air Force Research Laboratory's 'migration to space' concept will eventually shift Science and Technology (S&T) dollars from predominantly airborne systems to airborne-and-space related S&T areas. One challenging 'space' area is in the development of sophisticated on-board computing processes for the next generation smaller, cheaper satellite systems. These new space systems (called microsats or nanosats) could be as small as a softball, yet perform functions that are currently being done by large, vulnerable ground-based assets. The Joint Battlespace Infosphere (JBI) concept will be used to manage the overall process of space applications coupled with advancements in computing. The JBI can be defined as a globally interoperable information 'space' which aggregates, integrates, fuses, and intelligently disseminates all relevant battlespace knowledge to support effective decision-making at all echelons of a Joint Task Force (JTF). This paper explores a single theme -- on-board processing is the best avenue to take advantage of advancements in high-performance computing, high-density memories, communications, and re-programmable architecture technologies. The goal is to break away from 'no changes after launch' design to a more flexible design environment that can take advantage of changing space requirements and needs while the space vehicle is 'on orbit.'

The science of space-time

International Nuclear Information System (INIS)

Raine, D.J.; Heller, M.

1981-01-01

Analyzing the development of the structure of space-time from the theory of Aristotle to the present day, the present work attempts to sketch a science of relativistic mechanics. The concept of relativity is discussed in relation to the way in which space-time splits up into space and time, and in relation to Mach's principle concerning the relativity of inertia. Particular attention is given to the following topics: Aristotelian dynamics Copernican kinematics Newtonian dynamics the space-time of classical dynamics classical space-time in the presence of gravity the space-time of special relativity the space-time of general relativity solutions and problems in general relativity Mach's principle and the dynamics of space-time theories of inertial mass the integral formation of general relativity and the frontiers of relativity

Model based Computerized Ionospheric Tomography in space and time

Science.gov (United States)

Tuna, Hakan; Arikan, Orhan; Arikan, Feza

2018-04-01

Reconstruction of the ionospheric electron density distribution in space and time not only provide basis for better understanding the physical nature of the ionosphere, but also provide improvements in various applications including HF communication. Recently developed IONOLAB-CIT technique provides physically admissible 3D model of the ionosphere by using both Slant Total Electron Content (STEC) measurements obtained from a GPS satellite - receiver network and IRI-Plas model. IONOLAB-CIT technique optimizes IRI-Plas model parameters in the region of interest such that the synthetic STEC computations obtained from the IRI-Plas model are in accordance with the actual STEC measurements. In this work, the IONOLAB-CIT technique is extended to provide reconstructions both in space and time. This extension exploits the temporal continuity of the ionosphere to provide more reliable reconstructions with a reduced computational load. The proposed 4D-IONOLAB-CIT technique is validated on real measurement data obtained from TNPGN-Active GPS receiver network in Turkey.

Guidelines for Computing Longitudinal Dynamic Stability Characteristics of a Subsonic Transport

Science.gov (United States)

Thompson, Joseph R.; Frank, Neal T.; Murphy, Patrick C.

2010-01-01

A systematic study is presented to guide the selection of a numerical solution strategy for URANS computation of a subsonic transport configuration undergoing simulated forced oscillation about its pitch axis. Forced oscillation is central to the prevalent wind tunnel methodology for quantifying aircraft dynamic stability derivatives from force and moment coefficients, which is the ultimate goal for the computational simulations. Extensive computations are performed that lead in key insights of the critical numerical parameters affecting solution convergence. A preliminary linear harmonic analysis is included to demonstrate the potential of extracting dynamic stability derivatives from computational solutions.

Quantum computation via local control theory: Direct sum vs. direct product Hilbert spaces

International Nuclear Information System (INIS)

Sklarz, Shlomo E.; Tannor, David J.

2006-01-01

The central objective in any quantum computation is the creation of a desired unitary transformation; the mapping that this unitary transformation produces between the input and output states is identified with the computation. In [S.E. Sklarz, D.J. Tannor, arXiv:quant-ph/0404081 (submitted to PRA) (2004)] it was shown that local control theory can be used to calculate fields that will produce such a desired unitary transformation. In contrast with previous strategies for quantum computing based on optimal control theory, the local control scheme maintains the system within the computational subspace at intermediate times, thereby avoiding unwanted decay processes. In [S.E. Sklarz et al.], the structure of the Hilbert space had a direct sum structure with respect to the computational register and the mediating states. In this paper, we extend the formalism to the important case of a direct product Hilbert space. The final equations for the control algorithm for the two cases are remarkably similar in structure, despite the fact that the derivations are completely different and that in one case the dynamics is in a Hilbert space and in the other case the dynamics is in a Liouville space. As shown in [S.E. Sklarz et al.], the direct sum implementation leads to a computational mechanism based on virtual transitions, and can be viewed as an extension of the principles of Stimulated Raman Adiabatic Passage from state manipulation to evolution operator manipulation. The direct product implementation developed here leads to the intriguing concept of virtual entanglement - computation that exploits second-order transitions that pass through entangled states but that leaves the subsystems nearly separable at all intermediate times. Finally, we speculate on a connection between the algorithm developed here and the concept of decoherence free subspaces

Suitability of voltage stability study methods for real-time assessment

DEFF Research Database (Denmark)

Perez, Angel; Jóhannsson, Hjörtur; Vancraeyveld, Pieter

2013-01-01

This paper analyzes the suitability of existing methods for long-term voltage stability assessment for real-time operation. An overview of the relevant methods is followed with a comparison that takes into account the accuracy, computational efficiency and characteristics when used for security...... assessment. The results enable an evaluation of the run time of each method with respect to the number of inputs. Furthermore, the results assist in identifying which of the methods is most suitable for realtime operation in future power system with production based on fluctuating energy sources....

Stability of anisotropic beams with space charge

International Nuclear Information System (INIS)

Hofmann, I.

1997-07-01

We calculate coherent frequencies and stability properties of anisotropic or ''non-equipartitioned'' beams with different focusing constants and emittances in the two transverse directions. Based on the self-consistent Vlasov-Poisson equations the dispersion relations of transverse multipole oscillations with quadrupolar, sextupolar and octupolar symmetry are solved numerically. The eigenfrequencies give the coherent space charge tune shift for linear or nonlinear resonances in circular accelerators. We find that for sufficiently large energy anisotropy some of the eigenmodes become unstable in the space-charge-dominated regime. The properties of these anisotropy instabilities are used to show that ''non-equipartitioned'' beams can be tolerated in high-current linear accelerators. It is only in beams with strongly space-charge-depressed betatron tunes where harmful instabilities leading to emittance exchange should be expected. (orig.)

Time-Space Topology Optimization

DEFF Research Database (Denmark)

Jensen, Jakob Søndergaard

2008-01-01

A method for space-time topology optimization is outlined. The space-time optimization strategy produces structures with optimized material distributions that vary in space and in time. The method is demonstrated for one-dimensional wave propagation in an elastic bar that has a time-dependent Young......’s modulus and is subjected to a transient load. In the example an optimized dynamic structure is demonstrated that compresses a propagating Gauss pulse....

Stability of small-amplitude periodic solutions near Hopf bifurcations in time-delayed fully-connected PLL networks

Science.gov (United States)

Ferruzzo Correa, Diego P.; Bueno, Átila M.; Castilho Piqueira, José R.

2017-04-01

In this paper we investigate stability conditions for small-amplitude periodic solutions emerging near symmetry-preserving Hopf bifurcations in a time-delayed fully-connected N-node PLL network. The study of this type of systems which includes the time delay between connections has attracted much attention among researchers mainly because the delayed coupling between nodes emerges almost naturally in mathematical modeling in many areas of science such as neurobiology, population dynamics, physiology and engineering. In a previous work it has been shown that symmetry breaking and symmetry preserving Hopf bifurcations can emerge in the parameter space. We analyze the stability along branches of periodic solutions near fully-synchronized Hopf bifurcations in the fixed-point space, based on the reduction of the infinite-dimensional space onto a two-dimensional center manifold in normal form. Numerical results are also presented in order to confirm our analytical results.

Finite-Time Stability and Controller Design of Continuous-Time Polynomial Fuzzy Systems

Directory of Open Access Journals (Sweden)

Xiaoxing Chen

2017-01-01

Full Text Available Finite-time stability and stabilization problem is first investigated for continuous-time polynomial fuzzy systems. The concept of finite-time stability and stabilization is given for polynomial fuzzy systems based on the idea of classical references. A sum-of-squares- (SOS- based approach is used to obtain the finite-time stability and stabilization conditions, which include some classical results as special cases. The proposed conditions can be solved with the help of powerful Matlab toolbox SOSTOOLS and a semidefinite-program (SDP solver. Finally, two numerical examples and one practical example are employed to illustrate the validity and effectiveness of the provided conditions.

An appraisal of computational techniques for transient heat conduction equation

International Nuclear Information System (INIS)

Kant, T.

1983-01-01

A semi-discretization procedure in which the ''space'' dimension is discretized by the finite element method is emphasized for transient problems. This standard methodology transforms the space-time partial differential equation (PDE) system into a set of ordinary differential equations (ODE) in time. Existing methods for transient heat conduction calculations are then reviewed. Existence of two general classes of time integration schemes- implicit and explicit is noted. Numerical stability characteristics of these two methods are elucidated. Implicit methods are noted to be numerically stable, permitting large time steps, but the cost per step is high. On the otherhand, explicit schemes are noted to be inexpensive per step, but small step size is required. Low computational cost of the explicit schemes make it very attractive for nonlinear problems. However, numerical stability considerations requiring use of very small time steps come in the way of its general adoption. Effectiveness of the fourth-order Runge-Kutta-Gill explicit integrator is then numerically evaluated. Finally we discuss some very recent works on development of computational algorithms which not only achieve unconditional stability, high accuracy and convergence but involve computations on matrix equations of elements only. This development is considered to be very significant in the light of our experience gained for simple heat conduction calculations. We conclude that such algorithms have the potential for further developments leading to development of economical methods for general transient analysis of complex physical systems. (orig.)

The relationship between dental implant stability and trabecular bone structure using cone-beam computed tomography

Science.gov (United States)

2016-01-01

Purpose The objective of this study was to investigate the relationships between primary implant stability as measured by impact response frequency and the structural parameters of trabecular bone using cone-beam computed tomography(CBCT), excluding the effect of cortical bone thickness. Methods We measured the impact response of a dental implant placed into swine bone specimens composed of only trabecular bone without the cortical bone layer using an inductive sensor. The peak frequency of the impact response spectrum was determined as an implant stability criterion (SPF). The 3D microstructural parameters were calculated from CT images of the bone specimens obtained using both micro-CT and CBCT. Results SPF had significant positive correlations with trabecular bone structural parameters (BV/TV, BV, BS, BSD, Tb.Th, Tb.N, FD, and BS/BV) (Pmicro-CT and CBCT (Pimplant stability prediction by combining BV/TV and SMI in the stepwise forward regression analysis. Bone with high volume density and low surface density shows high implant stability. Well-connected thick bone with small marrow spaces also shows high implant stability. The combination of bone density and architectural parameters measured using CBCT can predict the implant stability more accurately than the density alone in clinical diagnoses. PMID:27127692

An atomic orbital based real-time time-dependent density functional theory for computing electronic circular dichroism band spectra

Energy Technology Data Exchange (ETDEWEB)

Goings, Joshua J.; Li, Xiaosong, E-mail: xsli@uw.edu [Department of Chemistry, University of Washington, Seattle, Washington 98195 (United States)

2016-06-21

One of the challenges of interpreting electronic circular dichroism (ECD) band spectra is that different states may have different rotatory strength signs, determined by their absolute configuration. If the states are closely spaced and opposite in sign, observed transitions may be washed out by nearby states, unlike absorption spectra where transitions are always positive additive. To accurately compute ECD bands, it is necessary to compute a large number of excited states, which may be prohibitively costly if one uses the linear-response time-dependent density functional theory (TDDFT) framework. Here we implement a real-time, atomic-orbital based TDDFT method for computing the entire ECD spectrum simultaneously. The method is advantageous for large systems with a high density of states. In contrast to previous implementations based on real-space grids, the method is variational, independent of nuclear orientation, and does not rely on pseudopotential approximations, making it suitable for computation of chiroptical properties well into the X-ray regime.

Numerical Computation of Detonation Stability

KAUST Repository

Kabanov, Dmitry

2018-06-03

Detonation is a supersonic mode of combustion that is modeled by a system of conservation laws of compressible fluid mechanics coupled with the equations describing thermodynamic and chemical properties of the fluid. Mathematically, these governing equations admit steady-state travelling-wave solutions consisting of a leading shock wave followed by a reaction zone. However, such solutions are often unstable to perturbations and rarely observed in laboratory experiments. The goal of this work is to study the stability of travelling-wave solutions of detonation models by the following novel approach. We linearize the governing equations about a base travelling-wave solution and solve the resultant linearized problem using high-order numerical methods. The results of these computations are postprocessed using dynamic mode decomposition to extract growth rates and frequencies of the perturbations and predict stability of travelling-wave solutions to infinitesimal perturbations. We apply this approach to two models based on the reactive Euler equations for perfect gases. For the first model with a one-step reaction mechanism, we find agreement of our results with the results of normal-mode analysis. For the second model with a two-step mechanism, we find that both types of admissible travelling-wave solutions exhibit the same stability spectra. Then we investigate the Fickett’s detonation analogue coupled with a particular reaction-rate expression. In addition to the linear stability analysis of this model, we demonstrate that it exhibits rich nonlinear dynamics with multiple bifurcations and chaotic behavior.

Space-Time Quantum Imaging

Directory of Open Access Journals (Sweden)

Ronald E. Meyers

2015-03-01

Full Text Available We report on an experimental and theoretical investigation of quantum imaging where the images are stored in both space and time. Ghost images of remote objects are produced with either one or two beams of chaotic laser light generated by a rotating ground glass and two sensors measuring the reference field and bucket field at different space-time points. We further observe that the ghost images translate depending on the time delay between the sensor measurements. The ghost imaging experiments are performed both with and without turbulence. A discussion of the physics of the space-time imaging is presented in terms of quantum nonlocal two-photon analysis to support the experimental results. The theoretical model includes certain phase factors of the rotating ground glass. These experiments demonstrated a means to investigate the time and space aspects of ghost imaging and showed that ghost imaging contains more information per measured photon than was previously recognized where multiple ghost images are stored within the same ghost imaging data sets. This suggests new pathways to explore quantum information stored not only in multi-photon coincidence information but also in time delayed multi-photon interference. The research is applicable to making enhanced space-time quantum images and videos of moving objects where the images are stored in both space and time.

Generalized Runge-Kutta method for two- and three-dimensional space-time diffusion equations with a variable time step

International Nuclear Information System (INIS)

Aboanber, A.E.; Hamada, Y.M.

2008-01-01

An extensive knowledge of the spatial power distribution is required for the design and analysis of different types of current-generation reactors, and that requires the development of more sophisticated theoretical methods. Therefore, the need to develop new methods for multidimensional transient reactor analysis still exists. The objective of this paper is to develop a computationally efficient numerical method for solving the multigroup, multidimensional, static and transient neutron diffusion kinetics equations. A generalized Runge-Kutta method has been developed for the numerical integration of the stiff space-time diffusion equations. The method is fourth-order accurate, using an embedded third-order solution to arrive at an estimate of the truncation error for automatic time step control. In addition, the A(α)-stability properties of the method are investigated. The analyses of two- and three-dimensional benchmark problems as well as static and transient problems, demonstrate that very accurate solutions can be obtained with assembly-sized spatial meshes. Preliminary numerical evaluations using two- and three-dimensional finite difference codes showed that the presented generalized Runge-Kutta method is highly accurate and efficient when compared with other optimized iterative numerical and conventional finite difference methods

Space-Time Data Fusion

Science.gov (United States)

Braverman, Amy; Nguyen, Hai; Olsen, Edward; Cressie, Noel

2011-01-01

Space-time Data Fusion (STDF) is a methodology for combing heterogeneous remote sensing data to optimally estimate the true values of a geophysical field of interest, and obtain uncertainties for those estimates. The input data sets may have different observing characteristics including different footprints, spatial resolutions and fields of view, orbit cycles, biases, and noise characteristics. Despite these differences all observed data can be linked to the underlying field, and therefore the each other, by a statistical model. Differences in footprints and other geometric characteristics are accounted for by parameterizing pixel-level remote sensing observations as spatial integrals of true field values lying within pixel boundaries, plus measurement error. Both spatial and temporal correlations in the true field and in the observations are estimated and incorporated through the use of a space-time random effects (STRE) model. Once the models parameters are estimated, we use it to derive expressions for optimal (minimum mean squared error and unbiased) estimates of the true field at any arbitrary location of interest, computed from the observations. Standard errors of these estimates are also produced, allowing confidence intervals to be constructed. The procedure is carried out on a fine spatial grid to approximate a continuous field. We demonstrate STDF by applying it to the problem of estimating CO2 concentration in the lower-atmosphere using data from the Atmospheric Infrared Sounder (AIRS) and the Japanese Greenhouse Gasses Observing Satellite (GOSAT) over one year for the continental US.

Time Domain Terahertz Axial Computed Tomography Non Destructive Evaluation, Phase I

Data.gov (United States)

National Aeronautics and Space Administration — We propose to demonstrate key elements of feasibility for a high speed automated time domain terahertz computed axial tomography (TD-THz CT) non destructive...

Role of computer graphics in space telerobotics - Preview and predictive displays

Science.gov (United States)

Bejczy, Antal K.; Venema, Steven; Kim, Won S.

1991-01-01

The application of computer graphics in space telerobotics research and development work is briefly reviewed and illustrated by specific examples implemented in real time operation. The applications are discussed under the following four major categories: preview displays, predictive displays, sensor data displays, and control system status displays.

Coding space-time stimulus dynamics in auditory brain maps

Directory of Open Access Journals (Sweden)

Yunyan eWang

2014-04-01

Full Text Available Sensory maps are often distorted representations of the environment, where ethologically-important ranges are magnified. The implication of a biased representation extends beyond increased acuity for having more neurons dedicated to a certain range. Because neurons are functionally interconnected, non-uniform representations influence the processing of high-order features that rely on comparison across areas of the map. Among these features are time-dependent changes of the auditory scene generated by moving objects. How sensory representation affects high order processing can be approached in the map of auditory space of the owl’s midbrain, where locations in the front are over-represented. In this map, neurons are selective not only to location but also to location over time. The tuning to space over time leads to direction selectivity, which is also topographically organized. Across the population, neurons tuned to peripheral space are more selective to sounds moving into the front. The distribution of direction selectivity can be explained by spatial and temporal integration on the non-uniform map of space. Thus, the representation of space can induce biased computation of a second-order stimulus feature. This phenomenon is likely observed in other sensory maps and may be relevant for behavior.

Metric space construction for the boundary of space-time

International Nuclear Information System (INIS)

Meyer, D.A.

1986-01-01

A distance function between points in space-time is defined and used to consider the manifold as a topological metric space. The properties of the distance function are investigated: conditions under which the metric and manifold topologies agree, the relationship with the causal structure of the space-time and with the maximum lifetime function of Wald and Yip, and in terms of the space of causal curves. The space-time is then completed as a topological metric space; the resultant boundary is compared with the causal boundary and is also calculated for some pertinent examples

Stability of common fixed points in uniform spaces

Directory of Open Access Journals (Sweden)

Singh Shyam

2011-01-01

Full Text Available Abstract Stability results for a pair of sequences of mappings and their common fixed points in a Hausdorff uniform space using certain new notions of convergence are proved. The results obtained herein extend and unify several known results. AMS(MOS Subject classification 2010: 47H10; 54H25.

Time Domain Terahertz Axial Computed Tomography Non Destructive Evaluation, Phase II

Data.gov (United States)

National Aeronautics and Space Administration — In this Phase 2 project, we propose to develop, construct, and deliver to NASA a computed axial tomography time-domain terahertz (CT TD-THz) non destructive...

Space charge effects and coherent stability limits in barrier buckets

Directory of Open Access Journals (Sweden)

Oliver Boine-Frankenheim

2003-03-01

Full Text Available A large-scale Vlasov simulation study of the microwave instability below transition energy in a beam confined between two barrier pulses is performed. Starting from a matched distribution function for the confined ion beam including the space charge impedance the stability threshold in the longitudinal impedance plane is obtained. A simple stability criterium is found to be in good agreement with the simulation results.

Distributed computing environments for future space control systems

Science.gov (United States)

Viallefont, Pierre

1993-01-01

The aim of this paper is to present the results of a CNES research project on distributed computing systems. The purpose of this research was to study the impact of the use of new computer technologies in the design and development of future space applications. The first part of this study was a state-of-the-art review of distributed computing systems. One of the interesting ideas arising from this review is the concept of a 'virtual computer' allowing the distributed hardware architecture to be hidden from a software application. The 'virtual computer' can improve system performance by adapting the best architecture (addition of computers) to the software application without having to modify its source code. This concept can also decrease the cost and obsolescence of the hardware architecture. In order to verify the feasibility of the 'virtual computer' concept, a prototype representative of a distributed space application is being developed independently of the hardware architecture.

High Performance Computing Software Applications for Space Situational Awareness

Science.gov (United States)

Giuliano, C.; Schumacher, P.; Matson, C.; Chun, F.; Duncan, B.; Borelli, K.; Desonia, R.; Gusciora, G.; Roe, K.

The High Performance Computing Software Applications Institute for Space Situational Awareness (HSAI-SSA) has completed its first full year of applications development. The emphasis of our work in this first year was in improving space surveillance sensor models and image enhancement software. These applications are the Space Surveillance Network Analysis Model (SSNAM), the Air Force Space Fence simulation (SimFence), and physically constrained iterative de-convolution (PCID) image enhancement software tool. Specifically, we have demonstrated order of magnitude speed-up in those codes running on the latest Cray XD-1 Linux supercomputer (Hoku) at the Maui High Performance Computing Center. The software applications improvements that HSAI-SSA has made, has had significant impact to the warfighter and has fundamentally changed the role of high performance computing in SSA.

Wave computation on the Poincaré dodecahedral space

Science.gov (United States)

Bachelot-Motet, Agnès

2013-12-01

We compute the waves propagating on a compact 3-manifold of constant positive curvature with a non-trivial topology: the Poincaré dodecahedral space that is a plausible model of multi-connected universe. We transform the Cauchy problem to a mixed problem posed on a fundamental domain determined by the quaternionic calculus. We adopt a variational approach using a space of finite elements that is invariant under the action of the binary icosahedral group. The computation of the transient waves is validated with their spectral analysis by computing a lot of eigenvalues of the Laplace-Beltrami operator.

Stability and Hopf Bifurcation of a Reaction-Diffusion Neutral Neuron System with Time Delay

Science.gov (United States)

Dong, Tao; Xia, Linmao

2017-12-01

In this paper, a type of reaction-diffusion neutral neuron system with time delay under homogeneous Neumann boundary conditions is considered. By constructing a basis of phase space based on the eigenvectors of the corresponding Laplace operator, the characteristic equation of this system is obtained. Then, by selecting time delay and self-feedback strength as the bifurcating parameters respectively, the dynamic behaviors including local stability and Hopf bifurcation near the zero equilibrium point are investigated when the time delay and self-feedback strength vary. Furthermore, the direction of the Hopf bifurcation and the stability of bifurcating periodic solutions are obtained by using the normal form and the center manifold theorem for the corresponding partial differential equation. Finally, two simulation examples are given to verify the theory.

Advanced controls for stability assessment of solar dynamics space power generation

Science.gov (United States)

Momoh, James A.; Anwah, Nnamdi A.

1995-01-01

In support of the power requirements for the Space Station Alpha (SSA), a joint program by the U.S. and Russia for a permanently manned space station to be launched into orbit by 1998, a robust control scheme is needed to assure the stability of the rotating machines that will be integrated into the power subsystem. A framework design and systems studies for modeling and analysis is presented. It employs classical d-q axes machine model with voltage/frequency dependent loads. To guarantee that design requirements and necessary trade studies are done, a functional analysis tool CORE is used for the study. This provides us with different control options for stability assessment. Initial studies and recommendations using advanced simulation tools are also presented. The benefits of the stability/control scheme for evaluating future designs and power management are discussed.

Computing Refined Buneman Trees in Cubic Time

DEFF Research Database (Denmark)

Brodal, G.S.; Fagerberg, R.; Östlin, A.

2003-01-01

Reconstructing the evolutionary tree for a set of n species based on pairwise distances between the species is a fundamental problem in bioinformatics. Neighbor joining is a popular distance based tree reconstruction method. It always proposes fully resolved binary trees despite missing evidence...... in the underlying distance data. Distance based methods based on the theory of Buneman trees and refined Buneman trees avoid this problem by only proposing evolutionary trees whose edges satisfy a number of constraints. These trees might not be fully resolved but there is strong combinatorial evidence for each...... proposed edge. The currently best algorithm for computing the refined Buneman tree from a given distance measure has a running time of O(n 5) and a space consumption of O(n 4). In this paper, we present an algorithm with running time O(n 3) and space consumption O(n 2). The improved complexity of our...

Computational Approach for Epitaxial Polymorph Stabilization through Substrate Selection

Energy Technology Data Exchange (ETDEWEB)

Ding, Hong; Dwaraknath, Shyam S.; Garten, Lauren; Ndione, Paul; Ginley, David; Persson, Kristin A.

2016-05-25

With the ultimate goal of finding new polymorphs through targeted synthesis conditions and techniques, we outline a computational framework to select optimal substrates for epitaxial growth using first principle calculations of formation energies, elastic strain energy, and topological information. To demonstrate the approach, we study the stabilization of metastable VO2 compounds which provides a rich chemical and structural polymorph space. We find that common polymorph statistics, lattice matching, and energy above hull considerations recommends homostructural growth on TiO2 substrates, where the VO2 brookite phase would be preferentially grown on the a-c TiO2 brookite plane while the columbite and anatase structures favor the a-b plane on the respective TiO2 phases. Overall, we find that a model which incorporates a geometric unit cell area matching between the substrate and the target film as well as the resulting strain energy density of the film provide qualitative agreement with experimental observations for the heterostructural growth of known VO2 polymorphs: rutile, A and B phases. The minimal interfacial geometry matching and estimated strain energy criteria provide several suggestions for substrates and substrate-film orientations for the heterostructural growth of the hitherto hypothetical anatase, brookite, and columbite polymorphs. These criteria serve as a preliminary guidance for the experimental efforts stabilizing new materials and/or polymorphs through epitaxy. The current screening algorithm is being integrated within the Materials Project online framework and data and hence publicly available.

Third-order least squares modelling of milling state term for improved computation of stability boundaries

Directory of Open Access Journals (Sweden)

C.G. Ozoegwu

2016-01-01

Full Text Available The general least squares model for milling process state term is presented. A discrete map for milling stability analysis that is based on the third-order case of the presented general least squares milling state term model is first studied and compared with its third-order counterpart that is based on the interpolation theory. Both numerical rate of convergence and chatter stability results of the two maps are compared using the single degree of freedom (1DOF milling model. The numerical rate of convergence of the presented third-order model is also studied using the two degree of freedom (2DOF milling process model. Comparison gave that stability results from the two maps agree closely but the presented map demonstrated reduction in number of needed calculations leading to about 30% savings in computational time (CT. It is seen in earlier works that accuracy of milling stability analysis using the full-discretization method rises from first-order theory to second-order theory and continues to rise to the third-order theory. The present work confirms this trend. In conclusion, the method presented in this work will enable fast and accurate computation of stability diagrams for use by machinists.

Stability of Pexiderized Quadratic Functional Equation in Random 2-Normed Spaces

Directory of Open Access Journals (Sweden)

Mohammed A. Alghamdi

2015-01-01

Full Text Available The aim of this paper is to investigate the stability of Hyers-Ulam-Rassias type theorems by considering the pexiderized quadratic functional equation in the setting of random 2-normed spaces (RTNS, while the concept of random 2-normed space has been recently studied by Goleţ (2005.

Gauge Gravity and Space-Time

OpenAIRE

Wu, Ning

2012-01-01

When we discuss problems on gravity, we can not avoid some fundamental physical problems, such as space-time, inertia, and inertial reference frame. The goal of this paper is to discuss the logic system of gravity theory and the problems of space-time, inertia, and inertial reference frame. The goal of this paper is to set up the theory on space-time in gauge theory of gravity. Based on this theory, it is possible for human kind to manipulate physical space-time on earth, and produce a machin...

The Scripted Spaces of Urban Ubiquitous Computing

DEFF Research Database (Denmark)

Pold, Søren; Andersen, Christian Ulrik

2011-01-01

computing in urban environments. Drawing on urban history, computer games, and a workshop study of the city of Lund the article discusses the experience of digitally scripted spaces, and their relation to the history of public spaces. In conclusion, the article discusses the potential for employing scripted...... spaces as a reinvigoration of urban public space....

Kinetics and mechanical stability of the fibril state control fibril formation time of polypeptide chains: A computational study

Science.gov (United States)

Kouza, Maksim; Co, Nguyen Truong; Li, Mai Suan; Kmiecik, Sebastian; Kolinski, Andrzej; Kloczkowski, Andrzej; Buhimschi, Irina Alexandra

2018-06-01

Fibril formation resulting from protein misfolding and aggregation is a hallmark of several neurodegenerative diseases such as Alzheimer's and Parkinson's diseases. Despite much progress in the understanding of the protein aggregation process, the factors governing fibril formation rates and fibril stability have not been fully understood. Using lattice models, we have shown that the fibril formation time is controlled by the kinetic stability of the fibril state but not by its energy. Having performed all-atom explicit solvent molecular dynamics simulations with the GROMOS43a1 force field for full-length amyloid beta peptides Aβ40 and Aβ42 and truncated peptides, we demonstrated that kinetic stability can be accessed via mechanical stability in such a way that the higher the mechanical stability or the kinetic stability, the faster the fibril formation. This result opens up a new way for predicting fibril formation rates based on mechanical stability that may be easily estimated by steered molecular dynamics.

On the existence of conformal Killing vectors for ST-homogeneous Godel type space-times

Energy Technology Data Exchange (ETDEWEB)

Parra, Y.; Patino, A.; Percoco, U. [Laboratorio de Fisica Teorica, Facultad de Ciencias Universidad de los Andes, Merida 5101 (Venezuela); Tsamparlis, M. [seccion de Astronomia-Astrofisica-Mecanica, Universidad de Atenas, Atenas 157 83 (Greece)

2006-07-01

Tsamparlis with another authors have developed a systematic method for computing of the conformal algebra of 1+3 space-times. The proper CKV's are found in terms of gradient CKVs of the 3-space. In this paper we apply Tsamparlis' results to the study CKVs of the Godel ST-Homogeneous type spacetimes. We find that the only space-time admitting proper CKV's is the ST-Homogeneous Godel type with m{sup 2} = 4{omega}{sup 2} (RT). (Author)

A stabilized second-order time accurate finite element formulation for incompressible viscous flow with heat transfer

International Nuclear Information System (INIS)

Curi, Marcos Filardy

2011-01-01

In view of the problem of global warming and the search for clean energy sources, a worldwide expansion on the use of nuclear energy is foreseen. Thus, the development of science and technology regarding nuclear power plants is essential, in particular in the field of reactor engineering. Fluid mechanics and heat transfer play an important role in the development of nuclear reactors. Computational Fluid Mechanics (CFD) is becoming ever more important in the optimization of cost and safety of the designs. This work presents a stabilized second-order time accurate finite element formulation for incompressible flows with heat transfer. A second order time discretization precedes a spatial discretization using finite elements. The terms that stabilize the finite element method arise naturally from the discretization process, rather than being introduced a priori in the variational formulation. The method was implemented in the program 'ns n ew s olvec2d av 2 M PI' written in FORTRAN90, developed in the Parallel Computing Laboratory at the Institute of Nuclear Engineering (LCP/IEN). Numerical solutions of some representative examples, including free, mixed and forced convection, demonstrate that the proposed stabilized formulation attains very good agreement with experimental and computational results available in the literature. (author)

On fully three-dimensional resistive wall mode and feedback stabilization computations

International Nuclear Information System (INIS)

Strumberger, E.; Merkel, P.; Sempf, M.; Guenter, S.

2008-01-01

Resistive walls, located close to the plasma boundary, reduce the growth rates of external kink modes to resistive time scales. For such slowly growing resistive wall modes, the stabilization by an active feedback system becomes feasible. The fully three-dimensional stability code STARWALL, and the feedback optimization code OPTIM have been developed [P. Merkel and M. Sempf, 21st IAEA Fusion Energy Conference 2006, Chengdu, China (International Atomic Energy Agency, Vienna, 2006, paper TH/P3-8] to compute the growth rates of resistive wall modes in the presence of nonaxisymmetric, multiply connected wall structures and to model the active feedback stabilization of these modes. In order to demonstrate the capabilities of the codes and to study the effect of the toroidal mode coupling caused by multiply connected wall structures, the codes are applied to test equilibria using the resistive wall structures currently under debate for ITER [M. Shimada et al., Nucl. Fusion 47, S1 (2007)] and ASDEX Upgrade [W. Koeppendoerfer et al., Proceedings of the 16th Symposium on Fusion Technology, London, 1990 (Elsevier, Amsterdam, 1991), Vol. 1, p. 208

Note: Large active area solid state photon counter with 20 ps timing resolution and 60 fs detection delay stability

Science.gov (United States)

Prochazka, Ivan; Kodet, Jan; Eckl, Johann; Blazej, Josef

2017-10-01

We are reporting on the design, construction, and performance of a photon counting detector system, which is based on single photon avalanche diode detector technology. This photon counting device has been optimized for very high timing resolution and stability of its detection delay. The foreseen application of this detector is laser ranging of space objects, laser time transfer ground to space and fundamental metrology. The single photon avalanche diode structure, manufactured on silicon using K14 technology, is used as a sensor. The active area of the sensor is circular with 200 μm diameter. Its photon detection probability exceeds 40% in the wavelength range spanning from 500 to 800 nm. The sensor is operated in active quenching and gating mode. A new control circuit was optimized to maintain high timing resolution and detection delay stability. In connection to this circuit, timing resolution of the detector is reaching 20 ps FWHM. In addition, the temperature change of the detection delay is as low as 70 fs/K. As a result, the detection delay stability of the device is exceptional: expressed in the form of time deviation, detection delay stability of better than 60 fs has been achieved. Considering the large active area aperture of the detector, this is, to our knowledge, the best timing performance reported for a solid state photon counting detector so far.

The method of covariant symbols in curved space-time

International Nuclear Information System (INIS)

Salcedo, L.L.

2007-01-01

Diagonal matrix elements of pseudodifferential operators are needed in order to compute effective Lagrangians and currents. For this purpose the method of symbols is often used, which however lacks manifest covariance. In this work the method of covariant symbols, introduced by Pletnev and Banin, is extended to curved space-time with arbitrary gauge and coordinate connections. For the Riemannian connection we compute the covariant symbols corresponding to external fields, the covariant derivative and the Laplacian, to fourth order in a covariant derivative expansion. This allows one to obtain the covariant symbol of general operators to the same order. The procedure is illustrated by computing the diagonal matrix element of a nontrivial operator to second order. Applications of the method are discussed. (orig.)

HAL/SM language specification. [programming languages and computer programming for space shuttles

Science.gov (United States)

Williams, G. P. W., Jr.; Ross, C.

1975-01-01

A programming language is presented for the flight software of the NASA Space Shuttle program. It is intended to satisfy virtually all of the flight software requirements of the space shuttle. To achieve this, it incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. It is a higher order language designed to allow programmers, analysts, and engineers to communicate with the computer in a form approximating natural mathematical expression. Parts of the English language are combined with standard notation to provide a tool that readily encourages programming without demanding computer hardware expertise. Block diagrams and flow charts are included. The semantics of the language is discussed.

Space and time, matter and mind the relationship between reality and space-time

CERN Document Server

1994-01-01

In principle, the elements of space and time cannot be measured. Therefore, the following question arises: How are reality and space-time related to each other? In this book, it is argued on the basis of many facts that reality is not embedded but projected onto space and time. We can never make statements about the actual reality outside (basic reality), but we can "only" form pictures of it. These are pictures of the same reality on different levels. From this point of view, the "hard" objects (matter) and the products of the mind are similar in character.

The Space-Time Conservative Schemes for Large-Scale, Time-Accurate Flow Simulations with Tetrahedral Meshes

Science.gov (United States)

Venkatachari, Balaji Shankar; Streett, Craig L.; Chang, Chau-Lyan; Friedlander, David J.; Wang, Xiao-Yen; Chang, Sin-Chung

2016-01-01

Despite decades of development of unstructured mesh methods, high-fidelity time-accurate simulations are still predominantly carried out on structured, or unstructured hexahedral meshes by using high-order finite-difference, weighted essentially non-oscillatory (WENO), or hybrid schemes formed by their combinations. In this work, the space-time conservation element solution element (CESE) method is used to simulate several flow problems including supersonic jet/shock interaction and its impact on launch vehicle acoustics, and direct numerical simulations of turbulent flows using tetrahedral meshes. This paper provides a status report for the continuing development of the space-time conservation element solution element (CESE) numerical and software framework under the Revolutionary Computational Aerosciences (RCA) project. Solution accuracy and large-scale parallel performance of the numerical framework is assessed with the goal of providing a viable paradigm for future high-fidelity flow physics simulations.

Space, time and conservation laws

International Nuclear Information System (INIS)

Aronov, R.A.; Ugarov, V.A.

1978-01-01

The Neter theorem establishing correspondence between conservation laws and symmetry properties (space and time in particular) is considered. The theorem is based on one of the possible ways of finding equations of motion for a physical system. From a certain expression (action functional) equations of motion for a system can be obtained which do not contain new physical assertions in principal in comparison with the Newtonian laws. Neter suggested a way of deriving conservation laws by transforming space and time coordinates. Neter theorem consequences raise a number of problems: 1). Are conservation laws (energy, momentum) consequences of space and time symmetry properties. 2). Is it possible to obtain conservation laws in theory neglecting equations of motion. 3). What is of the primary importance: equations of motion, conservation laws or properties of space and time symmetry. It is shown that direct Neter theorem does not testify to stipulation of conservation laws by properties of space and time symmetry and symmetry properties of other non-space -time properties of material systems in objective reality. It says nothing of whether there is any subordination between symmetry properties and conservation laws

High-Speed Rail Train Timetabling Problem: A Time-Space Network Based Method with an Improved Branch-and-Price Algorithm

Directory of Open Access Journals (Sweden)

Bisheng He

2014-01-01

Full Text Available A time-space network based optimization method is designed for high-speed rail train timetabling problem to improve the service level of the high-speed rail. The general time-space path cost is presented which considers both the train travel time and the high-speed rail operation requirements: (1 service frequency requirement; (2 stopping plan adjustment; and (3 priority of train types. Train timetabling problem based on time-space path aims to minimize the total general time-space path cost of all trains. An improved branch-and-price algorithm is applied to solve the large scale integer programming problem. When dealing with the algorithm, a rapid branching and node selection for branch-and-price tree and a heuristic train time-space path generation for column generation are adopted to speed up the algorithm computation time. The computational results of a set of experiments on China’s high-speed rail system are presented with the discussions about the model validation, the effectiveness of the general time-space path cost, and the improved branch-and-price algorithm.

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.

Finite-Time Stability of Large-Scale Systems with Interval Time-Varying Delay in Interconnection

Directory of Open Access Journals (Sweden)

T. La-inchua

2017-01-01

Full Text Available We investigate finite-time stability of a class of nonlinear large-scale systems with interval time-varying delays in interconnection. Time-delay functions are continuous but not necessarily differentiable. Based on Lyapunov stability theory and new integral bounding technique, finite-time stability of large-scale systems with interval time-varying delays in interconnection is derived. The finite-time stability criteria are delays-dependent and are given in terms of linear matrix inequalities which can be solved by various available algorithms. Numerical examples are given to illustrate effectiveness of the proposed method.

Heterogeneous real-time computing in radio astronomy

Science.gov (United States)

Ford, John M.; Demorest, Paul; Ransom, Scott

2010-07-01

Modern computer architectures suited for general purpose computing are often not the best choice for either I/O-bound or compute-bound problems. Sometimes the best choice is not to choose a single architecture, but to take advantage of the best characteristics of different computer architectures to solve your problems. This paper examines the tradeoffs between using computer systems based on the ubiquitous X86 Central Processing Units (CPU's), Field Programmable Gate Array (FPGA) based signal processors, and Graphical Processing Units (GPU's). We will show how a heterogeneous system can be produced that blends the best of each of these technologies into a real-time signal processing system. FPGA's tightly coupled to analog-to-digital converters connect the instrument to the telescope and supply the first level of computing to the system. These FPGA's are coupled to other FPGA's to continue to provide highly efficient processing power. Data is then packaged up and shipped over fast networks to a cluster of general purpose computers equipped with GPU's, which are used for floating-point intensive computation. Finally, the data is handled by the CPU and written to disk, or further processed. Each of the elements in the system has been chosen for its specific characteristics and the role it can play in creating a system that does the most for the least, in terms of power, space, and money.

An analytic algorithm for the space-time fractional reaction-diffusion equation

Directory of Open Access Journals (Sweden)

M. G. Brikaa

2015-11-01

Full Text Available In this paper, we solve the space-time fractional reaction-diffusion equation by the fractional homotopy analysis method. Solutions of different examples of the reaction term will be computed and investigated. The approximation solutions of the studied models will be put in the form of convergent series to be easily computed and simulated. Comparison with the approximation solution of the classical case of the studied modeled with their approximation errors will also be studied.

Kolmogorov Space in Time Series Data

OpenAIRE

Kanjamapornkul, K.; Pinčák, R.

2016-01-01

We provide the proof that the space of time series data is a Kolmogorov space with $T_{0}$-separation axiom using the loop space of time series data. In our approach we define a cyclic coordinate of intrinsic time scale of time series data after empirical mode decomposition. A spinor field of time series data comes from the rotation of data around price and time axis by defining a new extradimension to time series data. We show that there exist hidden eight dimensions in Kolmogorov space for ...

A computational framework for investigating the positional stability of aortic endografts.

Science.gov (United States)

Prasad, Anamika; Xiao, Nan; Gong, Xiao-Yan; Zarins, Christopher K; Figueroa, C Alberto

2013-10-01

Endovascular aneurysm repair (Greenhalgh in N Engl J Med 362(20):1863-1871, 2010) techniques have revolutionized the treatment of thoracic and abdominal aortic aneurysm disease, greatly reducing the perioperative mortality and morbidity associated with open surgical repair techniques. However, EVAR is not free of important complications such as late device migration, endoleak formation and fracture of device components that may result in adverse events such as aneurysm enlargement, need for long-term imaging surveillance and secondary interventions or even death. These complications result from the device inability to withstand the hemodynamics of blood flow and to keep its originally intended post-operative position over time. Understanding the in vivo biomechanical working environment experienced by endografts is a critical factor in improving their long-term performance. To date, no study has investigated the mechanics of contact between device and aorta in a three-dimensional setting. In this work, we developed a comprehensive Computational Solid Mechanics and Computational Fluid Dynamics framework to investigate the mechanics of endograft positional stability. The main building blocks of this framework are: (1) Three-dimensional non-planar aortic and stent-graft geometrical models, (2) Realistic multi-material constitutive laws for aorta, stent, and graft, (3) Physiological values for blood flow and pressure, and (4) Frictional model to describe the contact between the endograft and the aorta. We introduce a new metric for numerical quantification of the positional stability of the endograft. Lastly, in the results section, we test the framework by investigating the impact of several factors that are clinically known to affect endograft stability.

Actively mode-locked diode laser with a mode spacing stability of ∼6 × 10{sup -14}

Energy Technology Data Exchange (ETDEWEB)

Zakharyash, V F; Kashirsky, A V; Klementyev, V M [Institute of Laser Physics, Siberian Branch, Russian Academy of Sciences, Novosibirsk (Russian Federation)

2015-10-31

We have studied mode spacing stability in an actively mode-locked external-cavity semiconductor laser. It has been shown that, in the case of mode spacing pulling to the frequency of a highly stable external microwave signal produced by a hydrogen standard (stability of 4 × 10{sup -14} over an averaging period τ = 10 s), this configuration ensures a mode spacing stability of 5.92 × 10{sup -14} (τ = 10 s). (control of radiation parameters)

Time: the enigma of space

Science.gov (United States)

Yu, Francis T. S.

2017-08-01

In this article we have based on the laws of physics to illustrate the enigma time as creating our physical space (i.e., the universe). We have shown that without time there would be no physical substances, no space and no life. In reference to Einstein's energy equation, we see that energy and mass can be traded, and every mass can be treated as an Energy Reservoir. We have further shown that physical space cannot be embedded in absolute empty space and cannot have any absolute empty subspace in it. Since all physical substances existed with time, our cosmos is created by time and every substance including our universe is coexisted with time. Although time initiates the creation, it is the physical substances which presented to us the existence of time. We are not alone with almost absolute certainty. Someday we may find a right planet, once upon a time, had harbored a civilization for a short period of light years.

Analytical Approach to Space- and Time-Fractional Burgers Equations

International Nuclear Information System (INIS)

Yıldırım, Ahmet; Mohyud-Din, Syed Tauseef

2010-01-01

A scheme is developed to study numerical solution of the space- and time-fractional Burgers equations under initial conditions by the homotopy analysis method. The fractional derivatives are considered in the Caputo sense. The solutions are given in the form of series with easily computable terms. Numerical solutions are calculated for the fractional Burgers equation to show the nature of solution as the fractional derivative parameter is changed

Mass Formulae for Broken Supersymmetry in Curved Space-Time

CERN Document Server

Ferrara, Sergio

2016-01-01

We derive the mass formulae for ${\\cal N}=1$, $D=4$ matter-coupled Supergravity for broken (and unbroken) Supersymmetry in curved space-time. These formulae are applicable to de Sitter configurations as is the case for inflation. For unbroken Supersymmetry in anti-de Sitter (AdS) one gets the mass relations modified by the AdS curvature. We compute the mass relations both for the potential and its derivative non-vanishing.

Space Weather and Real-Time Monitoring

Directory of Open Access Journals (Sweden)

S Watari

2009-04-01

Full Text Available Recent advance of information and communications technology enables to collect a large amount of ground-based and space-based observation data in real-time. The real-time data realize nowcast of space weather. This paper reports a history of space weather by the International Space Environment Service (ISES in association with the International Geophysical Year (IGY and importance of real-time monitoring in space weather.

Interactive visualization of Earth and Space Science computations

Science.gov (United States)

Hibbard, William L.; Paul, Brian E.; Santek, David A.; Dyer, Charles R.; Battaiola, Andre L.; Voidrot-Martinez, Marie-Francoise

1994-01-01

Computers have become essential tools for scientists simulating and observing nature. Simulations are formulated as mathematical models but are implemented as computer algorithms to simulate complex events. Observations are also analyzed and understood in terms of mathematical models, but the number of these observations usually dictates that we automate analyses with computer algorithms. In spite of their essential role, computers are also barriers to scientific understanding. Unlike hand calculations, automated computations are invisible and, because of the enormous numbers of individual operations in automated computations, the relation between an algorithm's input and output is often not intuitive. This problem is illustrated by the behavior of meteorologists responsible for forecasting weather. Even in this age of computers, many meteorologists manually plot weather observations on maps, then draw isolines of temperature, pressure, and other fields by hand (special pads of maps are printed for just this purpose). Similarly, radiologists use computers to collect medical data but are notoriously reluctant to apply image-processing algorithms to that data. To these scientists with life-and-death responsibilities, computer algorithms are black boxes that increase rather than reduce risk. The barrier between scientists and their computations can be bridged by techniques that make the internal workings of algorithms visible and that allow scientists to experiment with their computations. Here we describe two interactive systems developed at the University of Wisconsin-Madison Space Science and Engineering Center (SSEC) that provide these capabilities to Earth and space scientists.

''Free-space'' boundary conditions for the time-dependent wave equation

International Nuclear Information System (INIS)

Lindman, E.L.

1975-01-01

Boundary conditions for the discrete wave equation which act like an infinite region of free space in contact with the computational region can be constructed using projection operators. Propagating and evanescent waves coming from within the computational region generate no reflected waves as they cross the boundary. At the same time arbitrary waves may be launched into the computational region. Well known projection operators for one-dimensional waves may be used for this purpose in one dimension. Extensions of these operators to higher dimensions along with numerically efficient approximations to them are described for higher-dimensional problems. The separation of waves into ingoing and outgoing waves inherent in these boundary conditions greatly facilitates diagnostics

Twistor Cosmology and Quantum Space-Time

International Nuclear Information System (INIS)

Brody, D.C.; Hughston, L.P.

2005-01-01

The purpose of this paper is to present a model of a 'quantum space-time' in which the global symmetries of space-time are unified in a coherent manner with the internal symmetries associated with the state space of quantum-mechanics. If we take into account the fact that these distinct families of symmetries should in some sense merge and become essentially indistinguishable in the unified regime, our framework may provide an approximate description of or elementary model for the structure of the universe at early times. The quantum elements employed in our characterisation of the geometry of space-time imply that the pseudo-Riemannian structure commonly regarded as an essential feature in relativistic theories must be dispensed with. Nevertheless, the causal structure and the physical kinematics of quantum space-time are shown to persist in a manner that remains highly analogous to the corresponding features of the classical theory. In the case of the simplest conformally flat cosmological models arising in this framework, the twistorial description of quantum space-time is shown to be effective in characterising the various physical and geometrical properties of the theory. As an example, a sixteen-dimensional analogue of the Friedmann-Robertson-Walker cosmologies is constructed, and its chronological development is analysed in some detail. More generally, whenever the dimension of a quantum space-time is an even perfect square, there exists a canonical way of breaking the global quantum space-time symmetry so that a generic point of quantum space-time can be consistently interpreted as a quantum operator taking values in Minkowski space. In this scenario, the breakdown of the fundamental symmetry of the theory is due to a loss of quantum entanglement between space-time and internal quantum degrees of freedom. It is thus possible to show in a certain specific sense that the classical space-time description is an emergent feature arising as a consequence of a

Time-Accurate Unsteady Pressure Loads Simulated for the Space Launch System at Wind Tunnel Conditions

Science.gov (United States)

Alter, Stephen J.; Brauckmann, Gregory J.; Kleb, William L.; Glass, Christopher E.; Streett, Craig L.; Schuster, David M.

2015-01-01

A transonic flow field about a Space Launch System (SLS) configuration was simulated with the Fully Unstructured Three-Dimensional (FUN3D) computational fluid dynamics (CFD) code at wind tunnel conditions. Unsteady, time-accurate computations were performed using second-order Delayed Detached Eddy Simulation (DDES) for up to 1.5 physical seconds. The surface pressure time history was collected at 619 locations, 169 of which matched locations on a 2.5 percent wind tunnel model that was tested in the 11 ft. x 11 ft. test section of the NASA Ames Research Center's Unitary Plan Wind Tunnel. Comparisons between computation and experiment showed that the peak surface pressure RMS level occurs behind the forward attach hardware, and good agreement for frequency and power was obtained in this region. Computational domain, grid resolution, and time step sensitivity studies were performed. These included an investigation of pseudo-time sub-iteration convergence. Using these sensitivity studies and experimental data comparisons, a set of best practices to date have been established for FUN3D simulations for SLS launch vehicle analysis. To the author's knowledge, this is the first time DDES has been used in a systematic approach and establish simulation time needed, to analyze unsteady pressure loads on a space launch vehicle such as the NASA SLS.

A variable-order time-dependent neutron transport method for nuclear reactor kinetics using analytically-integrated space-time characteristics

International Nuclear Information System (INIS)

Hoffman, A. J.; Lee, J. C.

2013-01-01

A new time-dependent neutron transport method based on the method of characteristics (MOC) has been developed. Whereas most spatial kinetics methods treat time dependence through temporal discretization, this new method treats time dependence by defining the characteristics to span space and time. In this implementation regions are defined in space-time where the thickness of the region in time fulfills an analogous role to the time step in discretized methods. The time dependence of the local source is approximated using a truncated Taylor series expansion with high order derivatives approximated using backward differences, permitting the solution of the resulting space-time characteristic equation. To avoid a drastic increase in computational expense and memory requirements due to solving many discrete characteristics in the space-time planes, the temporal variation of the boundary source is similarly approximated. This allows the characteristics in the space-time plane to be represented analytically rather than discretely, resulting in an algorithm comparable in implementation and expense to one that arises from conventional time integration techniques. Furthermore, by defining the boundary flux time derivative in terms of the preceding local source time derivative and boundary flux time derivative, the need to store angularly-dependent data is avoided without approximating the angular dependence of the angular flux time derivative. The accuracy of this method is assessed through implementation in the neutron transport code DeCART. The method is employed with variable-order local source representation to model a TWIGL transient. The results demonstrate that this method is accurate and more efficient than the discretized method. (authors)

Stabilization of Continuous-Time Random Switching Systems via a Fault-Tolerant Controller

Directory of Open Access Journals (Sweden)

Guoliang Wang

2017-01-01

Full Text Available This paper focuses on the stabilization problem of continuous-time random switching systems via exploiting a fault-tolerant controller, where the dwell time of each subsystem consists of a fixed part and random part. It is known from the traditional design methods that the computational complexity of LMIs related to the quantity of fault combination is very large; particularly system dimension or amount of subsystems is large. In order to reduce the number of the used fault combinations, new sufficient LMI conditions for designing such a controller are established by a robust approach, which are fault-free and could be solved directly. Moreover, the fault-tolerant stabilization realized by a mode-independent controller is considered and suitably applied to a practical case without mode information. Finally, a numerical example is used to demonstrate the effectiveness and superiority of the proposed methods.

Stabilizing canonical-ensemble calculations in the auxiliary-field Monte Carlo method

Science.gov (United States)

Gilbreth, C. N.; Alhassid, Y.

2015-03-01

Quantum Monte Carlo methods are powerful techniques for studying strongly interacting Fermi systems. However, implementing these methods on computers with finite-precision arithmetic requires careful attention to numerical stability. In the auxiliary-field Monte Carlo (AFMC) method, low-temperature or large-model-space calculations require numerically stabilized matrix multiplication. When adapting methods used in the grand-canonical ensemble to the canonical ensemble of fixed particle number, the numerical stabilization increases the number of required floating-point operations for computing observables by a factor of the size of the single-particle model space, and thus can greatly limit the systems that can be studied. We describe an improved method for stabilizing canonical-ensemble calculations in AFMC that exhibits better scaling, and present numerical tests that demonstrate the accuracy and improved performance of the method.

Randomized Approaches for Nearest Neighbor Search in Metric Space When Computing the Pairwise Distance Is Extremely Expensive

Science.gov (United States)

Wang, Lusheng; Yang, Yong; Lin, Guohui

Finding the closest object for a query in a database is a classical problem in computer science. For some modern biological applications, computing the similarity between two objects might be very time consuming. For example, it takes a long time to compute the edit distance between two whole chromosomes and the alignment cost of two 3D protein structures. In this paper, we study the nearest neighbor search problem in metric space, where the pair-wise distance between two objects in the database is known and we want to minimize the number of distances computed on-line between the query and objects in the database in order to find the closest object. We have designed two randomized approaches for indexing metric space databases, where objects are purely described by their distances with each other. Analysis and experiments show that our approaches only need to compute O(logn) objects in order to find the closest object, where n is the total number of objects in the database.

Finite-time stability of discrete fractional delay systems: Gronwall inequality and stability criterion

Science.gov (United States)

Wu, Guo-Cheng; Baleanu, Dumitru; Zeng, Sheng-Da

2018-04-01

This study investigates finite-time stability of Caputo delta fractional difference equations. A generalized Gronwall inequality is given on a finite time domain. A finite-time stability criterion is proposed for fractional differential equations. Then the idea is extended to the discrete fractional case. A linear fractional difference equation with constant delays is considered and finite-time stable conditions are provided. One example is numerically illustrated to support the theoretical result.

Space charge models and PATH

International Nuclear Information System (INIS)

Wald, H.B.

1990-01-01

The 'PATH' codes are used to design magnetic optics subsystems for neutral particle beam systems. They include a 2-1/2D and three 3-D space charge models, two of which have recently been added. This paper describes the 3-D models and reports on preliminary benchmark studies in which these models are checked for stability as the cloud size is varied and for consistency with each other. Differences between the models are investigated and the computer time requirements for running these models are established

Space-time-modulated stochastic processes

Science.gov (United States)

Giona, Massimiliano

2017-10-01

Starting from the physical problem associated with the Lorentzian transformation of a Poisson-Kac process in inertial frames, the concept of space-time-modulated stochastic processes is introduced for processes possessing finite propagation velocity. This class of stochastic processes provides a two-way coupling between the stochastic perturbation acting on a physical observable and the evolution of the physical observable itself, which in turn influences the statistical properties of the stochastic perturbation during its evolution. The definition of space-time-modulated processes requires the introduction of two functions: a nonlinear amplitude modulation, controlling the intensity of the stochastic perturbation, and a time-horizon function, which modulates its statistical properties, providing irreducible feedback between the stochastic perturbation and the physical observable influenced by it. The latter property is the peculiar fingerprint of this class of models that makes them suitable for extension to generic curved-space times. Considering Poisson-Kac processes as prototypical examples of stochastic processes possessing finite propagation velocity, the balance equations for the probability density functions associated with their space-time modulations are derived. Several examples highlighting the peculiarities of space-time-modulated processes are thoroughly analyzed.

Real-time 3-D space numerical shake prediction for earthquake early warning

Science.gov (United States)

Wang, Tianyun; Jin, Xing; Huang, Yandan; Wei, Yongxiang

2017-12-01

In earthquake early warning systems, real-time shake prediction through wave propagation simulation is a promising approach. Compared with traditional methods, it does not suffer from the inaccurate estimation of source parameters. For computation efficiency, wave direction is assumed to propagate on the 2-D surface of the earth in these methods. In fact, since the seismic wave propagates in the 3-D sphere of the earth, the 2-D space modeling of wave direction results in inaccurate wave estimation. In this paper, we propose a 3-D space numerical shake prediction method, which simulates the wave propagation in 3-D space using radiative transfer theory, and incorporate data assimilation technique to estimate the distribution of wave energy. 2011 Tohoku earthquake is studied as an example to show the validity of the proposed model. 2-D space model and 3-D space model are compared in this article, and the prediction results show that numerical shake prediction based on 3-D space model can estimate the real-time ground motion precisely, and overprediction is alleviated when using 3-D space model.

KINETIC-J: A computational kernel for solving the linearized Vlasov equation applied to calculations of the kinetic, configuration space plasma current for time harmonic wave electric fields

Science.gov (United States)

Green, David L.; Berry, Lee A.; Simpson, Adam B.; Younkin, Timothy R.

2018-04-01

We present the KINETIC-J code, a computational kernel for evaluating the linearized Vlasov equation with application to calculating the kinetic plasma response (current) to an applied time harmonic wave electric field. This code addresses the need for a configuration space evaluation of the plasma current to enable kinetic full-wave solvers for waves in hot plasmas to move beyond the limitations of the traditional Fourier spectral methods. We benchmark the kernel via comparison with the standard k →-space forms of the hot plasma conductivity tensor.

Hyperbolic statics in space-time

OpenAIRE

Pavlov, Dmitry; Kokarev, Sergey

2014-01-01

Based on the concept of material event as an elementary material source that is concentrated on metric sphere of zero radius --- light-cone of Minkowski space-time, we deduce the analog of Coulomb's law for hyperbolic space-time field universally acting between the events of space-time. Collective field that enables interaction of world lines of a pair of particles at rest contains a standard 3-dimensional Coulomb's part and logarithmic addendum. We've found that the Coulomb's part depends on...

FCJ-133 The Scripted Spaces of Urban Ubiquitous Computing: The experience, poetics, and politics of public scripted space

Directory of Open Access Journals (Sweden)

Christian Ulrik Andersen

2011-12-01

Full Text Available This article proposes and introduces the concept of ‘scripted space’ as a new perspective on ubiquitous computing in urban environments. Drawing on urban history, computer games, and a workshop study of the city of Lund the article discusses the experience of digitally scripted spaces, and their relation to the history of public spaces. In conclusion, the article discusses the potential for employing scripted spaces as a reinvigoration of urban public space.

Optical Computers and Space Technology

Science.gov (United States)

Abdeldayem, Hossin A.; Frazier, Donald O.; Penn, Benjamin; Paley, Mark S.; Witherow, William K.; Banks, Curtis; Hicks, Rosilen; Shields, Angela

1995-01-01

The rapidly increasing demand for greater speed and efficiency on the information superhighway requires significant improvements over conventional electronic logic circuits. Optical interconnections and optical integrated circuits are strong candidates to provide the way out of the extreme limitations imposed on the growth of speed and complexity of nowadays computations by the conventional electronic logic circuits. The new optical technology has increased the demand for high quality optical materials. NASA's recent involvement in processing optical materials in space has demonstrated that a new and unique class of high quality optical materials are processible in a microgravity environment. Microgravity processing can induce improved orders in these materials and could have a significant impact on the development of optical computers. We will discuss NASA's role in processing these materials and report on some of the associated nonlinear optical properties which are quite useful for optical computers technology.

Controlling chaos in permanent magnet synchronous motor based on finite-time stability theory

International Nuclear Information System (INIS)

Du-Qu, Wei; Bo, Zhang

2009-01-01

This paper reports that the performance of permanent magnet synchronous motor (PMSM) degrades due to chaos when its systemic parameters fall into a certain area. To control the undesirable chaos in PMSM, a nonlinear controller, which is simple and easy to be constructed, is presented to achieve finite-time chaos control based on the finite-time stability theory. Computer simulation results show that the proposed controller is very effective. The obtained results may help to maintain the industrial servo driven system's security operation. (general)

Rigorous bounds on survival times in circular accelerators and efficient computation of fringe-field transfer maps

International Nuclear Information System (INIS)

Hoffstaetter, G.H.

1994-12-01

Analyzing stability of particle motion in storage rings contributes to the general field of stability analysis in weakly nonlinear motion. A method which we call pseudo invariant estimation (PIE) is used to compute lower bounds on the survival time in circular accelerators. The pseudeo invariants needed for this approach are computed via nonlinear perturbative normal form theory and the required global maxima of the highly complicated multivariate functions could only be rigorously bound with an extension of interval arithmetic. The bounds on the survival times are large enough to the relevant; the same is true for the lower bounds on dynamical aperatures, which can be computed. The PIE method can lead to novel design criteria with the objective of maximizing the survival time. A major effort in the direction of rigourous predictions only makes sense if accurate models of accelerators are available. Fringe fields often have a significant influence on optical properties, but the computation of fringe-field maps by DA based integration is slower by several orders of magnitude than DA evaluation of the propagator for main-field maps. A novel computation of fringe-field effects called symplectic scaling (SYSCA) is introduced. It exploits the advantages of Lie transformations, generating functions, and scaling properties and is extremely accurate. The computation of fringe-field maps is typically made nearly two orders of magnitude faster. (orig.)

Adaptive density trajectory cluster based on time and space distance

Science.gov (United States)

Liu, Fagui; Zhang, Zhijie

2017-10-01

There are some hotspot problems remaining in trajectory cluster for discovering mobile behavior regularity, such as the computation of distance between sub trajectories, the setting of parameter values in cluster algorithm and the uncertainty/boundary problem of data set. As a result, based on the time and space, this paper tries to define the calculation method of distance between sub trajectories. The significance of distance calculation for sub trajectories is to clearly reveal the differences in moving trajectories and to promote the accuracy of cluster algorithm. Besides, a novel adaptive density trajectory cluster algorithm is proposed, in which cluster radius is computed through using the density of data distribution. In addition, cluster centers and number are selected by a certain strategy automatically, and uncertainty/boundary problem of data set is solved by designed weighted rough c-means. Experimental results demonstrate that the proposed algorithm can perform the fuzzy trajectory cluster effectively on the basis of the time and space distance, and obtain the optimal cluster centers and rich cluster results information adaptably for excavating the features of mobile behavior in mobile and sociology network.

Towards a "Golden Standard" for computing globin stability: Stability and structure sensitivity of myoglobin mutants

DEFF Research Database (Denmark)

Kepp, Kasper Planeta

2015-01-01

Fast and accurate computation of protein stability is increasingly important for e.g. protein engineering and protein misfolding diseases, but no consensus methods exist for important proteins such as globins, and performance may depend on the type of structural input given. This paper reports be...

Stabilization of compactification volume in a noncommutative mini-super-phase-space

International Nuclear Information System (INIS)

Khosravi, N.; Sepangi, H.R.; Sheikh-Jabbari, M.M.

2007-01-01

We consider a class of generalized FRW type metrics in the context of higher dimensional Einstein gravity in which the extra dimensions are allowed to have different scale factors. It is shown that noncommutativity between the momenta conjugate to the internal space scale factors controls the power-law behavior of the scale factors in the extra dimensions, taming it to an oscillatory behavior. Hence noncommutativity among the internal momenta of the mini-super-phase-space can be used to explain stabilization of the compactification volume of the internal space in a higher dimensional gravity theory

Noncommutative solitons: moduli spaces, quantization, finite θ effects and stability

Science.gov (United States)

Hadasz, Leszek; Rocek, Martin; Lindström, Ulf; von Unge, Rikard

2001-06-01

We find the N-soliton solution at infinite θ, as well as the metric on the moduli space corresponding to spatial displacements of the solitons. We use a perturbative expansion to incorporate the leading θ-1 corrections, and find an effective short range attraction between solitons. We study the stability of various solutions. We discuss the finite θ corrections to scattering, and find metastable orbits. Upon quantization of the two-soliton moduli space, for any finite θ, we find an s-wave bound state.

Linear stability analysis of detonations via numerical computation and dynamic mode decomposition

KAUST Repository

Kabanov, Dmitry I.

2017-12-08

We introduce a new method to investigate linear stability of gaseous detonations that is based on an accurate shock-fitting numerical integration of the linearized reactive Euler equations with a subsequent analysis of the computed solution via the dynamic mode decomposition. The method is applied to the detonation models based on both the standard one-step Arrhenius kinetics and two-step exothermic-endothermic reaction kinetics. Stability spectra for all cases are computed and analyzed. The new approach is shown to be a viable alternative to the traditional normal-mode analysis used in detonation theory.

Linear stability analysis of detonations via numerical computation and dynamic mode decomposition

KAUST Repository

Kabanov, Dmitry; Kasimov, Aslan R.

2018-01-01

We introduce a new method to investigate linear stability of gaseous detonations that is based on an accurate shock-fitting numerical integration of the linearized reactive Euler equations with a subsequent analysis of the computed solution via the dynamic mode decomposition. The method is applied to the detonation models based on both the standard one-step Arrhenius kinetics and two-step exothermic-endothermic reaction kinetics. Stability spectra for all cases are computed and analyzed. The new approach is shown to be a viable alternative to the traditional normal-mode analysis used in detonation theory.

Linear stability analysis of detonations via numerical computation and dynamic mode decomposition

KAUST Repository

Kabanov, Dmitry

2018-03-20

We introduce a new method to investigate linear stability of gaseous detonations that is based on an accurate shock-fitting numerical integration of the linearized reactive Euler equations with a subsequent analysis of the computed solution via the dynamic mode decomposition. The method is applied to the detonation models based on both the standard one-step Arrhenius kinetics and two-step exothermic-endothermic reaction kinetics. Stability spectra for all cases are computed and analyzed. The new approach is shown to be a viable alternative to the traditional normal-mode analysis used in detonation theory.

Robust flow stability: Theory, computations and experiments in near wall turbulence

Science.gov (United States)

Bobba, Kumar Manoj

Helmholtz established the field of hydrodynamic stability with his pioneering work in 1868. From then on, hydrodynamic stability became an important tool in understanding various fundamental fluid flow phenomena in engineering (mechanical, aeronautics, chemical, materials, civil, etc.) and science (astrophysics, geophysics, biophysics, etc.), and turbulence in particular. However, there are many discrepancies between classical hydrodynamic stability theory and experiments. In this thesis, the limitations of traditional hydrodynamic stability theory are shown and a framework for robust flow stability theory is formulated. A host of new techniques like gramians, singular values, operator norms, etc. are introduced to understand the role of various kinds of uncertainty. An interesting feature of this framework is the close interplay between theory and computations. It is shown that a subset of Navier-Stokes equations are globally, non-nonlinearly stable for all Reynolds number. Yet, invoking this new theory, it is shown that these equations produce structures (vortices and streaks) as seen in the experiments. The experiments are done in zero pressure gradient transiting boundary layer on a flat plate in free surface tunnel. Digital particle image velocimetry, and MEMS based laser Doppler velocimeter and shear stress sensors have been used to make quantitative measurements of the flow. Various theoretical and computational predictions are in excellent agreement with the experimental data. A closely related topic of modeling, simulation and complexity reduction of large mechanics problems with multiple spatial and temporal scales is also studied. A nice method that rigorously quantifies the important scales and automatically gives models of the problem to various levels of accuracy is introduced. Computations done using spectral methods are presented.

Time travel in Goedel's space

International Nuclear Information System (INIS)

Pfarr, J.

1981-01-01

An analysis is presented of the motion of test particles in Goedel's universe. Both geodesical and nongeodesical motions are considered; the accelerations for nongeodesical motions are given. Examples for closed timelike world lines are shown and the dynamical conditions for time travel in Goedel's space-time are discussed. It is shown that these conditions alone do not suffice to exclude time travel in Goedel's space-time. (author)

Quantum fields in curved space-times

International Nuclear Information System (INIS)

Ashtekar, A.; Magnon, A.

1975-01-01

The problem of obtaining a quantum description of the (real) Klein-Gordon system in a given curved space-time is discussed. An algebraic approach is used. The *-algebra of quantum operators is constructed explicitly and the problem of finding its *-representation is reduced to that of selecting a suitable complex structure on the real vector space of the solutions of the (classical) Klein-Gordon equation. Since, in a static space-time, there already exists, a satisfactory quantum field theory, in this case one already knows what the 'correct' complex structure is. A physical characterization of this 'correct' complex structure is obtained. This characterization is used to extend quantum field theory to non-static space-times. Stationary space-times are considered first. In this case, the issue of extension is completely straightforward and the resulting theory is the natural generalization of the one in static space-times. General, non-stationary space-times are then considered. In this case the issue of extension is quite complicated and only a plausible extension is presented. Although the resulting framework is well-defined mathematically, the physical interpretation associated with it is rather unconventional. Merits and weaknesses of this framework are discussed. (author)

On the differentiability of space-time

International Nuclear Information System (INIS)

Clarke, C.J.S.

1977-01-01

It is shown that the differentiability of a space-time is implied by that of its Riemann tensor, assuming a priori only boundedness of the first derivations of the metric. Consequently all the results on space-time singularities proved in earlier papers by the author hold true in C 2- space-times. (author)

Operational definition of (brane-induced) space-time and constraints on the fundamental parameters

International Nuclear Information System (INIS)

Maziashvili, Michael

2008-01-01

First we contemplate the operational definition of space-time in four dimensions in light of basic principles of quantum mechanics and general relativity and consider some of its phenomenological consequences. The quantum gravitational fluctuations of the background metric that comes through the operational definition of space-time are controlled by the Planck scale and are therefore strongly suppressed. Then we extend our analysis to the braneworld setup with low fundamental scale of gravity. It is observed that in this case the quantum gravitational fluctuations on the brane may become unacceptably large. The magnification of fluctuations is not linked directly to the low quantum gravity scale but rather to the higher-dimensional modification of Newton's inverse square law at relatively large distances. For models with compact extra dimensions the shape modulus of extra space can be used as a most natural and safe stabilization mechanism against these fluctuations

Stability of black holes in de Sitter space

International Nuclear Information System (INIS)

Mellor, F.; Moss, I.

1990-01-01

The theory of black-hole perturbations is extended to charged black holes in de Sitter space. These spacetimes have wormholes connecting different asymptotic regions. It appears that, at least in some cases, these holes are stable even at the Cauchy horizon. It follows that they violate cosmic censorship and an observer could in principle travel through the black hole to another universe. The stability of these spacetimes also implies the existence of a cosmological ''no hair'' theorem

Time Analyzer for Time Synchronization and Monitor of the Deep Space Network

Science.gov (United States)

Cole, Steven; Gonzalez, Jorge, Jr.; Calhoun, Malcolm; Tjoelker, Robert

2003-01-01

A software package has been developed to measure, monitor, and archive the performance of timing signals distributed in the NASA Deep Space Network. Timing signals are generated from a central master clock and distributed to over 100 users at distances up to 30 kilometers. The time offset due to internal distribution delays and time jitter with respect to the central master clock are critical for successful spacecraft navigation, radio science, and very long baseline interferometry (VLBI) applications. The instrument controller and operator interface software is written in LabView and runs on the Linux operating system. The software controls a commercial multiplexer to switch 120 separate timing signals to measure offset and jitter with a time-interval counter referenced to the master clock. The offset of each channel is displayed in histogram form, and "out of specification" alarms are sent to a central complex monitor and control system. At any time, the measurement cycle of 120 signals can be interrupted for diagnostic tests on an individual channel. The instrument also routinely monitors and archives the long-term stability of all frequency standards or any other 1-pps source compared against the master clock. All data is stored and made available for

Stability control of a flexible maneuverable tethered space net robot

Science.gov (United States)

Zhang, Fan; Huang, Panfeng

2018-04-01

As a promising solution for active space debris capture and removal, a maneuverable Tethered Space Net Robot (TSNR) is proposed as an improved Space Tethered Net (TSN). In addition to the advantages inherit to the TSN, the TSNR's maneuverability expands the capture's potential. However, oscillations caused by the TSNR's flexibility and elasticity of make higher requests of the control scheme. Based on the dynamics model, a modified adaptive super-twisting sliding mode control scheme is proposed in this paper for TSNR stability control. The proposed continuous control force can effectively suppress oscillations. Theoretical verification and numerical simulations demonstrate that the desired trajectory can be tracked steadily and efficiently by employing the proposed control scheme.

Matter fields in curved space-time

International Nuclear Information System (INIS)

Viet, Nguyen Ai; Wali, Kameshwar C.

2000-01-01

We study the geometry of a two-sheeted space-time within the framework of non-commutative geometry. As a prelude to the Standard Model in curved space-time, we present a model of a left- and a right- chiral field living on the two sheeted-space time and construct the action functionals that describe their interactions

The manifold model for space-time

International Nuclear Information System (INIS)

Heller, M.

1981-01-01

Physical processes happen on a space-time arena. It turns out that all contemporary macroscopic physical theories presuppose a common mathematical model for this arena, the so-called manifold model of space-time. The first part of study is an heuristic introduction to the concept of a smooth manifold, starting with the intuitively more clear concepts of a curve and a surface in the Euclidean space. In the second part the definitions of the Csub(infinity) manifold and of certain structures, which arise in a natural way from the manifold concept, are given. The role of the enveloping Euclidean space (i.e. of the Euclidean space appearing in the manifold definition) in these definitions is stressed. The Euclidean character of the enveloping space induces to the manifold local Euclidean (topological and differential) properties. A suggestion is made that replacing the enveloping Euclidean space by a discrete non-Euclidean space would be a correct way towards the quantization of space-time. (author)

Modeling nonstationarity in space and time.

Science.gov (United States)

Shand, Lyndsay; Li, Bo

2017-09-01

We propose to model a spatio-temporal random field that has nonstationary covariance structure in both space and time domains by applying the concept of the dimension expansion method in Bornn et al. (2012). Simulations are conducted for both separable and nonseparable space-time covariance models, and the model is also illustrated with a streamflow dataset. Both simulation and data analyses show that modeling nonstationarity in both space and time can improve the predictive performance over stationary covariance models or models that are nonstationary in space but stationary in time. © 2017, The International Biometric Society.

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

Stability analysis of solutions to nonlinear stiff Volterra functional differential equations in Banach spaces

Institute of Scientific and Technical Information of China (English)

LI Shoufu

2005-01-01

A series of stability, contractivity and asymptotic stability results of the solutions to nonlinear stiff Volterra functional differential equations (VFDEs) in Banach spaces is obtained, which provides the unified theoretical foundation for the stability analysis of solutions to nonlinear stiff problems in ordinary differential equations(ODEs), delay differential equations(DDEs), integro-differential equations(IDEs) and VFDEs of other type which appear in practice.

Exponential Stability of the Monotubular Heat Exchanger Equation with Time Delay in Boundary Observation

Directory of Open Access Journals (Sweden)

Xue-Lian Jin

2017-01-01

Full Text Available The exponential stability of the monotubular heat exchanger equation with boundary observation possessing a time delay and inner control was investigated. Firstly, the close-loop system was translated into an abstract Cauchy problem in the suitable state space. A uniformly bounded C0-semigroup generated by the close-loop system, which implies that the unique solution of the system exists, was shown. Secondly, the spectrum configuration of the closed-loop system was analyzed and the eventual differentiability and the eventual compactness of the semigroup were shown by the resolvent estimates on some resolvent sets. This implies that the spectrum-determined growth assumption holds. Finally, a sufficient condition, which is related to the physical parameters in the system and is independent of the time delay, of the exponential stability of the closed-loop system was given.

Cloud Computing Techniques for Space Mission Design

Science.gov (United States)

Arrieta, Juan; Senent, Juan

2014-01-01

The overarching objective of space mission design is to tackle complex problems producing better results, and faster. In developing the methods and tools to fulfill this objective, the user interacts with the different layers of a computing system.

On the average complexity of sphere decoding in lattice space-time coded multiple-input multiple-output channel

KAUST Repository

Abediseid, Walid

2012-01-01

complexity of sphere decoding for the quasi- static, lattice space-time (LAST) coded MIMO channel. Specifically, we drive an upper bound of the tail distribution of the decoder's computational complexity. We show that when the computational complexity exceeds

Robust Stability Analysis of the Space Launch System Control Design: A Singular Value Approach

Science.gov (United States)

Pei, Jing; Newsome, Jerry R.

2015-01-01

Classical stability analysis consists of breaking the feedback loops one at a time and determining separately how much gain or phase variations would destabilize the stable nominal feedback system. For typical launch vehicle control design, classical control techniques are generally employed. In addition to stability margins, frequency domain Monte Carlo methods are used to evaluate the robustness of the design. However, such techniques were developed for Single-Input-Single-Output (SISO) systems and do not take into consideration the off-diagonal terms in the transfer function matrix of Multi-Input-Multi-Output (MIMO) systems. Robust stability analysis techniques such as H(sub infinity) and mu are applicable to MIMO systems but have not been adopted as standard practices within the launch vehicle controls community. This paper took advantage of a simple singular-value-based MIMO stability margin evaluation method based on work done by Mukhopadhyay and Newsom and applied it to the SLS high-fidelity dynamics model. The method computes a simultaneous multi-loop gain and phase margin that could be related back to classical margins. The results presented in this paper suggest that for the SLS system, traditional SISO stability margins are similar to the MIMO margins. This additional level of verification provides confidence in the robustness of the control design.

Intelligent computational systems for space applications

Science.gov (United States)

Lum, Henry; Lau, Sonie

Intelligent computational systems can be described as an adaptive computational system integrating both traditional computational approaches and artificial intelligence (AI) methodologies to meet the science and engineering data processing requirements imposed by specific mission objectives. These systems will be capable of integrating, interpreting, and understanding sensor input information; correlating that information to the "world model" stored within its data base and understanding the differences, if any; defining, verifying, and validating a command sequence to merge the "external world" with the "internal world model"; and, controlling the vehicle and/or platform to meet the scientific and engineering mission objectives. Performance and simulation data obtained to date indicate that the current flight processors baselined for many missions such as Space Station Freedom do not have the computational power to meet the challenges of advanced automation and robotics systems envisioned for the year 2000 era. Research issues which must be addressed to achieve greater than giga-flop performance for on-board intelligent computational systems have been identified, and a technology development program has been initiated to achieve the desired long-term system performance objectives.

Space-Time and Architecture

Science.gov (United States)

Field, F.; Goodbun, J.; Watson, V.

Architects have a role to play in interplanetary space that has barely yet been explored. The architectural community is largely unaware of this new territory, for which there is still no agreed method of practice. There is moreover a general confusion, in scientific and related fields, over what architects might actually do there today. Current extra-planetary designs generally fail to explore the dynamic and relational nature of space-time, and often reduce human habitation to a purely functional problem. This is compounded by a crisis over the representation (drawing) of space-time. The present work returns to first principles of architecture in order to realign them with current socio-economic and technological trends surrounding the space industry. What emerges is simultaneously the basis for an ecological space architecture, and the representational strategies necessary to draw it. We explore this approach through a work of design-based research that describes the construction of Ocean; a huge body of water formed by the collision of two asteroids at the Translunar Lagrange Point (L2), that would serve as a site for colonisation, and as a resource to fuel future missions. Ocean is an experimental model for extra-planetary space design and its representation, within the autonomous discipline of architecture.

The topology of geodesically complete space-times

International Nuclear Information System (INIS)

Lee, C.W.

1983-01-01

Two theorems are given on the topology of geodesically complete space-times which satisfy the energy condition. Firstly, the condition that a compact embedded 3-manifold in space-time be dentless is defined in terms of causal structure. Then it is shown that a dentless 3-manifold must separate space-time, and that it must enclose a compact portion of space-time. Further, it is shown that if the dentless 3-manifold is homeomorphic to S 3 then the part of space-time that it encloses must be simply connected. (author)

Study of space--charge effect by computer

International Nuclear Information System (INIS)

Sasaki, T.

1982-01-01

The space--charge effect in high density electron beams (beam current approx.2 μA) focused by a uniform magnetic field is studied computationally. On an approximation of averaged space-- charge force, a theory of trajectory displacements of beam electrons is developed. The theory shows that the effect of the averaged space--charge force appears as a focal length stretch. The theory is confirmed not only qualitatively but also quantitatively by simulations. Empirical formulas for the trajectory displacement and the energy spread are presented. A comparison between the empirical formulas and some theoretical formulas is made, leading to a severe criticism on the theories of energy spreads

Mass formulae for broken supersymmetry in curved space-time

Energy Technology Data Exchange (ETDEWEB)

Ferrara, Sergio [Theoretical Physics Department, CERN, Geneva (Switzerland); INFN - Laboratori Nazionali di Frascati, Frascati (Italy); Department of Physics and Astronomy, U.C.L.A, Los Angeles, CA (United States); Proeyen, Antoine van [KU Leuven, Institute for Theoretical Physics, Leuven (Belgium)

2016-11-15

We derive the mass formulae for N = 1, D = 4 matter-coupled Supergravity for broken (and unbroken) Supersymmetry in curved space-time. These formulae are applicable to De Sitter configurations as is the case for inflation. For unbroken Supersymmetry in anti-de Sitter (AdS) one gets the mass relations modified by the AdS curvature. We compute the mass relations both for the potential and its derivative non-vanishing. (copyright 2016 WILEY-VCH Verlag GmbH and Co. KGaA, Weinheim)

Philosophy of physics space and time

CERN Document Server

Maudlin, Tim

2012-01-01

This concise book introduces nonphysicists to the core philosophical issues surrounding the nature and structure of space and time, and is also an ideal resource for physicists interested in the conceptual foundations of space-time theory. Tim Maudlin's broad historical overview examines Aristotelian and Newtonian accounts of space and time, and traces how Galileo's conceptions of relativity and space-time led to Einstein's special and general theories of relativity. Maudlin explains special relativity using a geometrical approach, emphasizing intrinsic space-time structure rather than coordinate systems or reference frames. He gives readers enough detail about special relativity to solve concrete physical problems while presenting general relativity in a more qualitative way, with an informative discussion of the geometrization of gravity, the bending of light, and black holes. Additional topics include the Twins Paradox, the physical aspects of the Lorentz-FitzGerald contraction, the constancy of the speed...

Variance stabilization for computing and comparing grand mean waveforms in MEG and EEG.

Science.gov (United States)

Matysiak, Artur; Kordecki, Wojciech; Sielużycki, Cezary; Zacharias, Norman; Heil, Peter; König, Reinhard

2013-07-01

Grand means of time-varying signals (waveforms) across subjects in magnetoencephalography (MEG) and electroencephalography (EEG) are commonly computed as arithmetic averages and compared between conditions, for example, by subtraction. However, the prerequisite for these operations, homogeneity of the variance of the waveforms in time, and for most common parametric statistical tests also between conditions, is rarely met. We suggest that the heteroscedasticity observed instead results because waveforms may differ by factors and additive terms and follow a mixed model. We propose to apply the asinh-transformation to stabilize the variance in such cases. We demonstrate the homogeneous variance and the normal distributions of data achieved by this transformation using simulated waveforms, and we apply it to real MEG data and show its benefits. The asinh-transformation is thus an essential and useful processing step prior to computing and comparing grand mean waveforms in MEG and EEG. Copyright © 2013 Society for Psychophysiological Research.

Pair production of Dirac particles in a d + 1-dimensional noncommutative space-time

Energy Technology Data Exchange (ETDEWEB)

Ousmane Samary, Dine [Perimeter Institute for Theoretical Physics, Waterloo, ON (Canada); University of Abomey-Calavi, International Chair in Mathematical Physics and Applications (ICMPA-UNESCO Chair), Cotonou (Benin); N' Dolo, Emanonfi Elias; Hounkonnou, Mahouton Norbert [University of Abomey-Calavi, International Chair in Mathematical Physics and Applications (ICMPA-UNESCO Chair), Cotonou (Benin)

2014-11-15

This work addresses the computation of the probability of fermionic particle pair production in d + 1-dimensional noncommutative Moyal space. Using Seiberg-Witten maps, which establish relations between noncommutative and commutative field variables, up to the first order in the noncommutative parameter θ, we derive the probability density of vacuum-vacuum pair production of Dirac particles. The cases of constant electromagnetic, alternating time-dependent, and space-dependent electric fields are considered and discussed. (orig.)

An assessment of the real-time application capabilities of the SIFT computer system

Science.gov (United States)

Butler, R. W.

1982-01-01

The real-time capabilities of the SIFT computer system, a highly reliable multicomputer architecture developed to support the flight controls of a relaxed static stability aircraft, are discussed. The SIFT computer system was designed to meet extremely high reliability requirements and to facilitate a formal proof of its correctness. Although SIFT represents a significant achievement in fault-tolerant system research it presents an unusual and restrictive interface to its users. The characteristics of the user interface and its impact on application system design are assessed.

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)

computation of the stability constants for the inclusion complexes of

African Journals Online (AJOL)

PrF MU

stability constants of ADA with β-CD with the use of MO as an auxiliary agent were evaluated. ..... The latter statement can also be strengthened by the computed species distribution diagram for .... and 5-position of the adamantyl body.

Investigation of electrodynamic stabilization and control of long orbiting tethers. [space shuttle payloads

Science.gov (United States)

Arnold, D. A.; Dobrowolny, M.

1981-01-01

An algorithm for using electric currents to control pendular oscillations induced by various perturbing forces on the Skyhook wire is considered. Transverse and vertical forces on the tether; tether instability modes and causes during retrieval by space shuttle; simple and spherical pendulum motion and vector damping; and current generation and control are discussed. A computer program for numerical integration of the in-plane and out-of-plane displacements of the tether vs time was developed for heuristic study. Some techniques for controlling instabilities during payload retrieval and methods for employing the tether for launching satellites from the space shuttle are considered. Derivations and analyses of a general nature used in all of the areas studied are included.

Uncertainty Quantification of the Reverse Taylor Impact Test and Localized Asynchronous Space-Time Algorithm

Science.gov (United States)

Subber, Waad; Salvadori, Alberto; Lee, Sangmin; Matous, Karel

2017-06-01

The reverse Taylor impact is a common experiment to investigate the dynamical response of materials at high strain rates. To better understand the physical phenomena and to provide a platform for code validation and Uncertainty Quantification (UQ), a co-designed simulation and experimental paradigm is investigated. For validation under uncertainty, quantities of interest (QOIs) within subregions of the computational domain are introduced. For such simulations where regions of interest can be identified, the computational cost for UQ can be reduced by confining the random variability within these regions of interest. This observation inspired us to develop an asynchronous space and time computational algorithm with localized UQ. In the region of interest, the high resolution space and time discretization schemes are used for a stochastic model. Apart from the region of interest, low spatial and temporal resolutions are allowed for a stochastic model with low dimensional representation of uncertainty. The model is exercised on the linear elastodynamics and shows a potential in reducing the UQ computational cost. Although, we consider wave prorogation in solid, the proposed framework is general and can be used for fluid flow problems as well. Department of Energy, National Nuclear Security Administration (PSAAP-II).

Report on Computing and Networking in the Space Science Laboratory by the SSL Computer Committee

Science.gov (United States)

Gallagher, D. L. (Editor)

1993-01-01

The Space Science Laboratory (SSL) at Marshall Space Flight Center is a multiprogram facility. Scientific research is conducted in four discipline areas: earth science and applications, solar-terrestrial physics, astrophysics, and microgravity science and applications. Representatives from each of these discipline areas participate in a Laboratory computer requirements committee, which developed this document. The purpose is to establish and discuss Laboratory objectives for computing and networking in support of science. The purpose is also to lay the foundation for a collective, multiprogram approach to providing these services. Special recognition is given to the importance of the national and international efforts of our research communities toward the development of interoperable, network-based computer applications.

12 CFR 1102.27 - Computing time.

Science.gov (United States)

2010-01-01

... 12 Banks and Banking 7 2010-01-01 2010-01-01 false Computing time. 1102.27 Section 1102.27 Banks... for Proceedings § 1102.27 Computing time. (a) General rule. In computing any period of time prescribed... time begins to run is not included. The last day so computed is included, unless it is a Saturday...

Verifiable Measurement-Only Blind Quantum Computing with Stabilizer Testing.

Science.gov (United States)

Hayashi, Masahito; Morimae, Tomoyuki

2015-11-27

We introduce a simple protocol for verifiable measurement-only blind quantum computing. Alice, a client, can perform only single-qubit measurements, whereas Bob, a server, can generate and store entangled many-qubit states. Bob generates copies of a graph state, which is a universal resource state for measurement-based quantum computing, and sends Alice each qubit of them one by one. Alice adaptively measures each qubit according to her program. If Bob is honest, he generates the correct graph state, and, therefore, Alice can obtain the correct computation result. Regarding the security, whatever Bob does, Bob cannot get any information about Alice's computation because of the no-signaling principle. Furthermore, malicious Bob does not necessarily send the copies of the correct graph state, but Alice can check the correctness of Bob's state by directly verifying the stabilizers of some copies.

Fermion systems in discrete space-time

International Nuclear Information System (INIS)

Finster, Felix

2007-01-01

Fermion systems in discrete space-time are introduced as a model for physics on the Planck scale. We set up a variational principle which describes a non-local interaction of all fermions. This variational principle is symmetric under permutations of the discrete space-time points. We explain how for minimizers of the variational principle, the fermions spontaneously break this permutation symmetry and induce on space-time a discrete causal structure

Fermion systems in discrete space-time

Energy Technology Data Exchange (ETDEWEB)

Finster, Felix [NWF I - Mathematik, Universitaet Regensburg, 93040 Regensburg (Germany)

2007-05-15

Fermion systems in discrete space-time are introduced as a model for physics on the Planck scale. We set up a variational principle which describes a non-local interaction of all fermions. This variational principle is symmetric under permutations of the discrete space-time points. We explain how for minimizers of the variational principle, the fermions spontaneously break this permutation symmetry and induce on space-time a discrete causal structure.

Fermion Systems in Discrete Space-Time

OpenAIRE

Finster, Felix

2006-01-01

Fermion systems in discrete space-time are introduced as a model for physics on the Planck scale. We set up a variational principle which describes a non-local interaction of all fermions. This variational principle is symmetric under permutations of the discrete space-time points. We explain how for minimizers of the variational principle, the fermions spontaneously break this permutation symmetry and induce on space-time a discrete causal structure.

Fermion systems in discrete space-time

Science.gov (United States)

Finster, Felix

2007-05-01

Fermion systems in discrete space-time are introduced as a model for physics on the Planck scale. We set up a variational principle which describes a non-local interaction of all fermions. This variational principle is symmetric under permutations of the discrete space-time points. We explain how for minimizers of the variational principle, the fermions spontaneously break this permutation symmetry and induce on space-time a discrete causal structure.

Existence and Stability of Traveling Waves for Degenerate Reaction-Diffusion Equation with Time Delay

Science.gov (United States)

Huang, Rui; Jin, Chunhua; Mei, Ming; Yin, Jingxue

2018-01-01

This paper deals with the existence and stability of traveling wave solutions for a degenerate reaction-diffusion equation with time delay. The degeneracy of spatial diffusion together with the effect of time delay causes us the essential difficulty for the existence of the traveling waves and their stabilities. In order to treat this case, we first show the existence of smooth- and sharp-type traveling wave solutions in the case of c≥c^* for the degenerate reaction-diffusion equation without delay, where c^*>0 is the critical wave speed of smooth traveling waves. Then, as a small perturbation, we obtain the existence of the smooth non-critical traveling waves for the degenerate diffusion equation with small time delay τ >0 . Furthermore, we prove the global existence and uniqueness of C^{α ,β } -solution to the time-delayed degenerate reaction-diffusion equation via compactness analysis. Finally, by the weighted energy method, we prove that the smooth non-critical traveling wave is globally stable in the weighted L^1 -space. The exponential convergence rate is also derived.

Existence and Stability of Traveling Waves for Degenerate Reaction-Diffusion Equation with Time Delay

Science.gov (United States)

Huang, Rui; Jin, Chunhua; Mei, Ming; Yin, Jingxue

2018-06-01

This paper deals with the existence and stability of traveling wave solutions for a degenerate reaction-diffusion equation with time delay. The degeneracy of spatial diffusion together with the effect of time delay causes us the essential difficulty for the existence of the traveling waves and their stabilities. In order to treat this case, we first show the existence of smooth- and sharp-type traveling wave solutions in the case of c≥c^* for the degenerate reaction-diffusion equation without delay, where c^*>0 is the critical wave speed of smooth traveling waves. Then, as a small perturbation, we obtain the existence of the smooth non-critical traveling waves for the degenerate diffusion equation with small time delay τ >0. Furthermore, we prove the global existence and uniqueness of C^{α ,β }-solution to the time-delayed degenerate reaction-diffusion equation via compactness analysis. Finally, by the weighted energy method, we prove that the smooth non-critical traveling wave is globally stable in the weighted L^1-space. The exponential convergence rate is also derived.

High-order space-time finite element schemes for acoustic and viscodynamic wave equations with temporal decoupling.

Science.gov (United States)

Banks, H T; Birch, Malcolm J; Brewin, Mark P; Greenwald, Stephen E; Hu, Shuhua; Kenz, Zackary R; Kruse, Carola; Maischak, Matthias; Shaw, Simon; Whiteman, John R

2014-04-13

We revisit a method originally introduced by Werder et al. (in Comput. Methods Appl. Mech. Engrg., 190:6685-6708, 2001) for temporally discontinuous Galerkin FEMs applied to a parabolic partial differential equation. In that approach, block systems arise because of the coupling of the spatial systems through inner products of the temporal basis functions. If the spatial finite element space is of dimension D and polynomials of degree r are used in time, the block system has dimension ( r + 1) D and is usually regarded as being too large when r > 1. Werder et al. found that the space-time coupling matrices are diagonalizable over [Formula: see text] for r ⩽ 100, and this means that the time-coupled computations within a time step can actually be decoupled. By using either continuous Galerkin or spectral element methods in space, we apply this DG-in-time methodology, for the first time, to second-order wave equations including elastodynamics with and without Kelvin-Voigt and Maxwell-Zener viscoelasticity. An example set of numerical results is given to demonstrate the favourable effect on error and computational work of the moderately high-order (up to degree 7) temporal and spatio-temporal approximations, and we also touch on an application of this method to an ambitious problem related to the diagnosis of coronary artery disease. Copyright © 2014 The Authors. International Journal for Numerical Methods in Engineering published by John Wiley & Sons Ltd.

Study of spontaneously broken conformal symmetry in curved space-times

International Nuclear Information System (INIS)

Janson, M.M.

1977-05-01

Spontaneous breakdown of Weyl invariance (local scale invariance) in a conformally-invariant extension of a gauge model for weak and electromagnetic interactions is considered. The existence of an asymmetric vacuum for the Higgs field, phi, is seen to depend on the space-time structure via the Gursey-Penrose term, approximately phi + phi R, in the action. (R denotes the scalar curvature.) The effects of a prescribed space-time structure on spontaneously broken Weyl invariance is investigated. In a cosmological space-time, it is found that initially, in the primordial fireball, the symmetry must hold exactly. Spontaneous symmetry breaking (SSB) develops as the universe expands and cools. Consequences of this model include a dependence of G/sub F/, the effective weak interaction coupling strength, on ''cosmic time.'' It is seen to decrease monotonically; in the present epoch (G/sub F//G/sub F/)/sub TODAY/ approximately less than 10 -10 (year) -1 . The effects of the Schwarzschild geometry on SSB are explored. In the interior of a neutron star the Higgs vacuum expectation value, and consequently G/sub F/, is found to have a radial dependence. The magnitude of this variation does not warrant revision of present models of neutron star structures. Another perspective on the problem considered a theory of gravitation (conformal relativity) to be incorporated in the conformally invariant gauge model of weak and electromagnetic interactions. If SSB develops, the vacuum gravitational field equations are the Einstein field equations with a cosmological constant. The stability of the asymmetric vacuum solution is investigated to ascertain whether SSB can occur

Is the local linearity of space-time inherited from the linearity of probabilities?

Science.gov (United States)

Müller, Markus P.; Carrozza, Sylvain; Höhn, Philipp A.

2017-02-01

The appearance of linear spaces, describing physical quantities by vectors and tensors, is ubiquitous in all of physics, from classical mechanics to the modern notion of local Lorentz invariance. However, as natural as this seems to the physicist, most computer scientists would argue that something like a ‘local linear tangent space’ is not very typical and in fact a quite surprising property of any conceivable world or algorithm. In this paper, we take the perspective of the computer scientist seriously, and ask whether there could be any inherently information-theoretic reason to expect this notion of linearity to appear in physics. We give a series of simple arguments, spanning quantum information theory, group representation theory, and renormalization in quantum gravity, that supports a surprising thesis: namely, that the local linearity of space-time might ultimately be a consequence of the linearity of probabilities. While our arguments involve a fair amount of speculation, they have the virtue of being independent of any detailed assumptions on quantum gravity, and they are in harmony with several independent recent ideas on emergent space-time in high-energy physics.

Is the local linearity of space-time inherited from the linearity of probabilities?

International Nuclear Information System (INIS)

Müller, Markus P; Carrozza, Sylvain; Höhn, Philipp A

2017-01-01

The appearance of linear spaces, describing physical quantities by vectors and tensors, is ubiquitous in all of physics, from classical mechanics to the modern notion of local Lorentz invariance. However, as natural as this seems to the physicist, most computer scientists would argue that something like a ‘local linear tangent space’ is not very typical and in fact a quite surprising property of any conceivable world or algorithm. In this paper, we take the perspective of the computer scientist seriously, and ask whether there could be any inherently information-theoretic reason to expect this notion of linearity to appear in physics. We give a series of simple arguments, spanning quantum information theory, group representation theory, and renormalization in quantum gravity, that supports a surprising thesis: namely, that the local linearity of space-time might ultimately be a consequence of the linearity of probabilities. While our arguments involve a fair amount of speculation, they have the virtue of being independent of any detailed assumptions on quantum gravity, and they are in harmony with several independent recent ideas on emergent space-time in high-energy physics. (paper)

Stability of the equation of homomorphism and completeness of the underlying space

Directory of Open Access Journals (Sweden)

Zenon Moszner

2008-01-01

Full Text Available We prove that all assumptions of a Theorem of Forti and Schwaiger (cf. [G. L. Forti, J. Schwaiger, Stability of homomorphisms and completeness, C. R. Math. Rep. Acad. Sci. Canada 11 (1989, 215–220] on the coherence of stability of the equation of homomorphism with the completeness of the space of values of all these homomorphisms, are essential. We give some generalizations of this theorem and certain examples of applications.

On the average complexity of sphere decoding in lattice space-time coded multiple-input multiple-output channel

KAUST Repository

Abediseid, Walid

2012-12-21

The exact average complexity analysis of the basic sphere decoder for general space-time codes applied to multiple-input multiple-output (MIMO) wireless channel is known to be difficult. In this work, we shed the light on the computational complexity of sphere decoding for the quasi- static, lattice space-time (LAST) coded MIMO channel. Specifically, we drive an upper bound of the tail distribution of the decoder\\'s computational complexity. We show that when the computational complexity exceeds a certain limit, this upper bound becomes dominated by the outage probability achieved by LAST coding and sphere decoding schemes. We then calculate the minimum average computational complexity that is required by the decoder to achieve near optimal performance in terms of the system parameters. Our results indicate that there exists a cut-off rate (multiplexing gain) for which the average complexity remains bounded. Copyright © 2012 John Wiley & Sons, Ltd.

Computationally Efficient Transient Stability Modeling of multi-terminal VSC-HVDC

DEFF Research Database (Denmark)

van der Meer, Arjen A; Rueda-Torres, José; Silva, Filipe Miguel Faria da

2016-01-01

This paper studies the inclusion of averaged VSC-based grid interfaces and HVDC networks into stability type simulations, and compares the accuracy and speed of three multi-terminal DC dynamic models: 1) a state-space based model, 2) a multi-rate improved model, and 3) a reduced-order model...

Stability of Jensen functional equation in intuitionistic fuzzy normed space

International Nuclear Information System (INIS)

Mohiuddine, S.A.

2009-01-01

In this paper, we determine some stability results concerning the Jensen functional equation 2f((x+y)/2)=f(x)+f(y) in intuitionistic fuzzy normed spaces (IFNS). We define the intuitionistic fuzzy continuity of the Jensen mappings and prove that the existence of a solution for any approximately Jensen mapping implies the completeness of IFNS.

Human and Robotic Space Mission Use Cases for High-Performance Spaceflight Computing

Science.gov (United States)

Some, Raphael; Doyle, Richard; Bergman, Larry; Whitaker, William; Powell, Wesley; Johnson, Michael; Goforth, Montgomery; Lowry, Michael

2013-01-01

Spaceflight computing is a key resource in NASA space missions and a core determining factor of spacecraft capability, with ripple effects throughout the spacecraft, end-to-end system, and mission. Onboard computing can be aptly viewed as a "technology multiplier" in that advances provide direct dramatic improvements in flight functions and capabilities across the NASA mission classes, and enable new flight capabilities and mission scenarios, increasing science and exploration return. Space-qualified computing technology, however, has not advanced significantly in well over ten years and the current state of the practice fails to meet the near- to mid-term needs of NASA missions. Recognizing this gap, the NASA Game Changing Development Program (GCDP), under the auspices of the NASA Space Technology Mission Directorate, commissioned a study on space-based computing needs, looking out 15-20 years. The study resulted in a recommendation to pursue high-performance spaceflight computing (HPSC) for next-generation missions, and a decision to partner with the Air Force Research Lab (AFRL) in this development.

Recursive evaluation of space-time lattice Green's functions

International Nuclear Information System (INIS)

De Hon, Bastiaan P; Arnold, John M

2012-01-01

double the pulse width of the source signature to keep pulse distortion at bay. The GF time sequences can also be used for an efficient computation of discrete space-frequency LGFs, especially if one employs Aitken's δ 2 process for the acceleration of the convergence of the consecutive partial sums. (paper)

Stability and Bifurcation Analysis of a Modified Epidemic Model for Computer Viruses

Directory of Open Access Journals (Sweden)

Chuandong Li

2014-01-01

Full Text Available We extend the three-dimensional SIR model to four-dimensional case and then analyze its dynamical behavior including stability and bifurcation. It is shown that the new model makes a significant improvement to the epidemic model for computer viruses, which is more reasonable than the most existing SIR models. Furthermore, we investigate the stability of the possible equilibrium point and the existence of the Hopf bifurcation with respect to the delay. By analyzing the associated characteristic equation, it is found that Hopf bifurcation occurs when the delay passes through a sequence of critical values. An analytical condition for determining the direction, stability, and other properties of bifurcating periodic solutions is obtained by using the normal form theory and center manifold argument. The obtained results may provide a theoretical foundation to understand the spread of computer viruses and then to minimize virus risks.

Possibility of extending space-time coordinates

International Nuclear Information System (INIS)

Wang Yongcheng.

1993-11-01

It has been shown that one coordinate system can describe a whole space-time region except some supersurfaces on which there are coordinate singularities. The conditions of extending a coordinate from real field to complex field are studied. It has been shown that many-valued coordinate transformations may help us to extend space-time regions and many-valued metric functions may make one coordinate region to describe more than one space-time regions. (author). 11 refs

Localized nonlinear waves and dynamical stability in spinor Bose–Einstein condensates with time–space modulation

Science.gov (United States)

Yao, Yu-Qin; Han, Wei; Li, Ji; Liu, Wu-Ming

2018-05-01

Nonlinearity is one of the most remarkable characteristics of Bose–Einstein condensates (BECs). Much work has been done on one- and two-component BECs with time- or space-modulated nonlinearities, while there is little work on spinor BECs with space–time-modulated nonlinearities. In the present paper we investigate localized nonlinear waves and dynamical stability in spinor Bose–Einstein condensates with nonlinearities dependent on time and space. We solve the three coupled Gross–Pitaevskii equations by similarity transformation and obtain two families of exact matter wave solutions in terms of Jacobi elliptic functions and the Mathieu equation. The localized states of the spinor matter wave describe the dynamics of vector breathing solitons, moving breathing solitons, quasi-breathing solitons and resonant solitons. The results show that one-order vector breathing solitons, quasi-breathing solitons, resonant solitons and the moving breathing solitons ψ ±1 are all stable, but the moving breathing soliton ψ 0 is unstable. We also present the experimental parameters to realize these phenomena in future experiments.

Some Peculiarities of Newton-Hooke Space-Times

OpenAIRE

Tian, Yu

2011-01-01

Newton-Hooke space-times are the non-relativistic limit of (anti-)de Sitter space-times. We investigate some peculiar facts about the Newton-Hooke space-times, among which the "extraordinary Newton-Hooke quantum mechanics" and the "anomalous Newton-Hooke space-times" are discussed in detail. Analysis on the Lagrangian/action formalism is performed in the discussion of the Newton-Hooke quantum mechanics, where the path integral point of view plays an important role, and the physically measurab...

Validation and computing and performance studies for the ATLAS simulation

CERN Document Server

Marshall, Z; The ATLAS collaboration

2009-01-01

We present the validation of the ATLAS simulation software pro ject. Software development is controlled by nightly builds and several levels of automatic tests to ensure stability. Computing validation, including CPU time, memory, and disk space required per event, is benchmarked for all software releases. Several different physics processes and event types are checked to thoroughly test all aspects of the detector simulation. The robustness of the simulation software is demonstrated by the production of 500 million events on the World-wide LHC Computing Grid in the last year.

Tunneling time in space fractional quantum mechanics

Science.gov (United States)

Hasan, Mohammad; Mandal, Bhabani Prasad

2018-02-01

We calculate the time taken by a wave packet to travel through a classically forbidden region of space in space fractional quantum mechanics. We obtain the close form expression of tunneling time from a rectangular barrier by stationary phase method. We show that tunneling time depends upon the width b of the barrier for b → ∞ and therefore Hartman effect doesn't exist in space fractional quantum mechanics. Interestingly we found that the tunneling time monotonically reduces with increasing b. The tunneling time is smaller in space fractional quantum mechanics as compared to the case of standard quantum mechanics. We recover the Hartman effect of standard quantum mechanics as a special case of space fractional quantum mechanics.

Computed tomographic analysis of temporal maxillary stability and pterygomaxillary generate formation following pediatric Le Fort III distraction advancement.

Science.gov (United States)

Hopper, Richard A; Sandercoe, Gavin; Woo, Albert; Watts, Robyn; Kelley, Patrick; Ettinger, Russell E; Saltzman, Babette

2010-11-01

Le Fort III distraction requires generation of bone in the pterygomaxillary region. The authors performed retrospective digital analysis on temporal fine-cut computed tomographic images to quantify both radiographic evidence of pterygomaxillary region bone formation and relative maxillary stability. Fifteen patients with syndromic midface hypoplasia were included in the study. The average age of the patients was 8.7 years; 11 had either Crouzon or Apert syndrome. The average displacement of the maxilla during distraction was 16.2 mm (range, 7 to 31 mm). Digital analysis was performed on fine-cut computed tomographic scans before surgery, at device removal, and at annual follow-up. Seven patients also had mid-consolidation computed tomographic scans. Relative maxillary stability and density of radiographic bone in the pterygomaxillary region were calculated between each scan. There was no evidence of clinically significant maxillary relapse, rotation, or growth between the end of consolidation and 1-year follow-up, other than a relatively small 2-mm subnasal maxillary vertical growth. There was an average radiographic ossification of 0.5 mm/mm advancement at the time of device removal, with a 25th percentile value of 0.3 mm/mm. The time during consolidation that each patient reached the 25th percentile of pterygomaxillary region bone density observed in this series of clinically stable advancements ranged from 1.3 to 9.8 weeks (average, 3.7 weeks). There was high variability in the amount of bone formed in the pterygomaxillary region associated with clinical stability of the advanced Le Fort III segment. These data suggest that a subsection of patients generate the minimal amount of pterygomaxillary region bone formation associated with advancement stability as early as 4 weeks into consolidation.

12 CFR 622.21 - Computing time.

Science.gov (United States)

2010-01-01

... 12 Banks and Banking 6 2010-01-01 2010-01-01 false Computing time. 622.21 Section 622.21 Banks and... Formal Hearings § 622.21 Computing time. (a) General rule. In computing any period of time prescribed or... run is not to be included. The last day so computed shall be included, unless it is a Saturday, Sunday...

Finiteness principle and the concept of space-time

International Nuclear Information System (INIS)

Tati, T.

1984-01-01

It is shown that the non-space-time description can be given by a system of axioms under the postulate of a certain number of pre-supposed physical concepts in which space-time is not included. It is found that space-time is a compound concept of presupposed concepts of non-space-time description connected by an additional condition called 'space-time condition'. (L.C.) [pt

On the Mutual Dynamics of Interregional Gross Migration Flows in Space and Time

DEFF Research Database (Denmark)

Mitze, Timo

2016-01-01

This paper applies spatial dynamic panel data models to analyse the labor market dimension of interregional population flows among German federal states in the period 1993–2009. Making use of recent improvements in the estimation of space-time dynamic panel data models and the computation of mean...

Stability test and analysis of the Space Shuttle Primary Reaction Control Subsystem thruster

Science.gov (United States)

Applewhite, John; Hurlbert, Eric; Krohn, Douglas; Arndt, Scott; Clark, Robert

1992-01-01

The results are reported of a test program conducted on the Space Shuttle Primary Reaction Control Subsystem thruster in order to investigate the effects of trapped helium bubbles and saturated propellants on stability, determine if thruster-to-thruster stability variations are significant, and determine stability under STS-representative conditions. It is concluded that the thruster design is highly reliable in flight and that burn-through has not occurred. Significantly unstable thrusters are screened out, and wire wrap is found to protect against chamber burn-throughs and to provide a fail-safe thruster for this situation.

Space charge and beam stability issues of the Fermilab proton driver in Phase I

Energy Technology Data Exchange (ETDEWEB)

K. Y. Ng

2001-08-24

Issues concerning beam stability of the proposed Fermilab Proton Driver are studied in its Phase I. Although the betatron tune shifts are dominated by space charge, these shifts are less than 0.25 and will therefore not drive the symmetric and antisymmetric modes of the beam envelope into instability. The longitudinal space charge force is large and inductive inserts may be needed to compensate for the distortion of the rf potential. Although the longitudinal impedance is space charge dominated, it will not drive any microwave instability, unless the real part of the impedance coming from the inductive inserts and wall resistivity of the beam tube are large enough. The design of the beam tube is therefore very important in order to limit the flow of eddy current and keep wall resistivity low. The transverse impedance is also space charge dominated. With the Proton Driver operated at an imaginary transition gamma, however, Landau damping will never be canceled and beam stability can be maintained with negative chromaticities.

Artificial neuron operations and spike-timing-dependent plasticity using memristive devices for brain-inspired computing

Science.gov (United States)

Marukame, Takao; Nishi, Yoshifumi; Yasuda, Shin-ichi; Tanamoto, Tetsufumi

2018-04-01

The use of memristive devices for creating artificial neurons is promising for brain-inspired computing from the viewpoints of computation architecture and learning protocol. We present an energy-efficient multiplier accumulator based on a memristive array architecture incorporating both analog and digital circuitries. The analog circuitry is used to full advantage for neural networks, as demonstrated by the spike-timing-dependent plasticity (STDP) in fabricated AlO x /TiO x -based metal-oxide memristive devices. STDP protocols for controlling periodic analog resistance with long-range stability were experimentally verified using a variety of voltage amplitudes and spike timings.

Bridge between control science and technology. Volume 5 Manufacturing man-machine systems, computers, components, traffic control, space applications

Energy Technology Data Exchange (ETDEWEB)

Rembold, U; Kempf, K G; Towill, D R; Johannsen, G; Paul, M

1985-01-01

Among the topics discussed are: robotics; CAD/CAM applications; and man-machine systems. Consideration is also given to: tools and software for system design and integration; communication systems for real-time computer control; fail-safe design of real-time computer systems; and microcomputer-based control systems. Additional topics discussed include: programmable and intelligent components and instruments in automatic control; transportation systems; and space applications of automatic control systems.

MODELING OF THE CONTROLLED TRACTION POWER SUPPLY SYSTEM IN THE SPACE-TIME COORDINATES

Directory of Open Access Journals (Sweden)

Dmitry BOSYI

2017-09-01

Full Text Available The problems of the traction power supply system calculation are considered in the article. The authors proposed the space-time model, which is based on the analytical functions of the current- and voltage-drop distributions in the contact network. The usage of the proposed model is shown for the control law calculation both to stabilize the voltage at the pantographs of the electric rolling stocks and to reduce the power losses.

Causal boundary for stably causal space-times

International Nuclear Information System (INIS)

Racz, I.

1987-12-01

The usual boundary constructions for space-times often yield an unsatisfactory boundary set. This problem is reviewed and a new solution is proposed. An explicit identification rule is given on the set of the ideal points of the space-time. This construction leads to a satisfactory boundary point set structure for stably causal space-times. The topological properties of the resulting causal boundary construction are examined. For the stably causal space-times each causal curve has a unique endpoint on the boundary set according to the extended Alexandrov topology. The extension of the space-time through the boundary is discussed. To describe the singularities the defined boundary sets have to be separated into two disjoint sets. (D.Gy.) 8 refs

Stochastic quantization of geometrodynamic curved space-time

International Nuclear Information System (INIS)

Prugovecki, E.

1981-01-01

It is proposed that quantum rather than classical test particles be used in recent operational definitions of space-time. In the resulting quantum space-time the role of test particle trajectories is taken over by propagators. The introduced co-ordinate values are stochastic rather than deterministic, the afore-mentioned propagators providing probability amplitudes describing fluctuations of measured co-ordinates around their mean values. It is shown that, if a geometrodynamic point of view based on 3 + 1 foliations of space-time is adopted, self-consistent families of propagators for quantum test particles in free fall can be constructed. The resulting formalism for quantum space-time is outlined and the quantization of spatially flat Robertson-Walker space-times is provided as an illustration. (author)

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

Fixed-time stabilization of impulsive Cohen-Grossberg BAM neural networks.

Science.gov (United States)

Li, Hongfei; Li, Chuandong; Huang, Tingwen; Zhang, Wanli

2018-02-01

This article is concerned with the fixed-time stabilization for impulsive Cohen-Grossberg BAM neural networks via two different controllers. By using a novel constructive approach based on some comparison techniques for differential inequalities, an improvement theorem of fixed-time stability for impulsive dynamical systems is established. In addition, based on the fixed-time stability theorem of impulsive dynamical systems, two different control protocols are designed to ensure the fixed-time stabilization of impulsive Cohen-Grossberg BAM neural networks, which include and extend the earlier works. Finally, two simulations examples are provided to illustrate the validity of the proposed theoretical results. Copyright © 2017 Elsevier Ltd. All rights reserved.

Minimal computational-space implementation of multiround quantum protocols

International Nuclear Information System (INIS)

Bisio, Alessandro; D'Ariano, Giacomo Mauro; Perinotti, Paolo; Chiribella, Giulio

2011-01-01

A single-party strategy in a multiround quantum protocol can be implemented by sequential networks of quantum operations connected by internal memories. Here, we provide an efficient realization in terms of computational-space resources.

PURE STATE ENTANGLEMENT ENTROPY IN NONCOMMUTATIVE 2D DE SITTER SPACE TIME

Directory of Open Access Journals (Sweden)

M.F Ghiti

2014-12-01

Full Text Available Using the general modified field equation, a general noncommutative Klein-Gordon equation up to the second order of the noncommutativity parameter is derived in the context of noncommutative 2D De Sitter space-time. Using Bogoliubov coefficients and a special technics called conformal time; the boson-antiboson pair creation density is determined. The Von Neumann boson-antiboson pair creation quantum entanglement entropy is presented to compute the entanglement between the modes created presented.

Advances in Computational Stability Analysis of Composite Aerospace Structures

International Nuclear Information System (INIS)

Degenhardt, R.; Araujo, F. C. de

2010-01-01

European aircraft industry demands for reduced development and operating costs. Structural weight reduction by exploitation of structural reserves in composite aerospace structures contributes to this aim, however, it requires accurate and experimentally validated stability analysis of real structures under realistic loading conditions. This paper presents different advances from the area of computational stability analysis of composite aerospace structures which contribute to that field. For stringer stiffened panels main results of the finished EU project COCOMAT are given. It investigated the exploitation of reserves in primary fibre composite fuselage structures through an accurate and reliable simulation of postbuckling and collapse. For unstiffened cylindrical composite shells a proposal for a new design method is presented.

SHORT COMMUNICATION: Time measurement device with four femtosecond stability

Science.gov (United States)

Panek, Petr; Prochazka, Ivan; Kodet, Jan

2010-10-01

We present the experimental results of extremely precise timing in the sense of time-of-arrival measurements in a local time scale. The timing device designed and constructed in our laboratory is based on a new concept using a surface acoustic wave filter as a time interpolator. Construction of the device is briefly described. The experiments described were focused on evaluating the timing precision and stability. Low-jitter test pulses with a repetition frequency of 763 Hz were generated synchronously to the local time base and their times of arrival were measured. The resulting precision of a single measurement was typically 900 fs RMS, and a timing stability TDEV of 4 fs was achieved for time intervals in the range from 300 s to 2 h. To our knowledge this is the best value reported to date for the stability of a timing device. The experimental results are discussed and possible improvements are proposed.

Proceedings of the 2011 New York Workshop on Computer, Earth and Space Science

CERN Document Server

Naud, Catherine; CESS2011

2011-01-01

The purpose of the New York Workshop on Computer, Earth and Space Sciences is to bring together the New York area's finest Astronomers, Statisticians, Computer Scientists, Space and Earth Scientists to explore potential synergies between their respective fields. The 2011 edition (CESS2011) was a great success, and we would like to thank all of the presenters and participants for attending. This year was also special as it included authors from the upcoming book titled "Advances in Machine Learning and Data Mining for Astronomy". Over two days, the latest advanced techniques used to analyze the vast amounts of information now available for the understanding of our universe and our planet were presented. These proceedings attempt to provide a small window into what the current state of research is in this vast interdisciplinary field and we'd like to thank the speakers who spent the time to contribute to this volume.

Quantum relativity theory and quantum space-time

International Nuclear Information System (INIS)

Banai, M.

1984-01-01

A quantum relativity theory formulated in terms of Davis' quantum relativity principle is outlined. The first task in this theory as in classical relativity theory is to model space-time, the arena of natural processes. It is shown that the quantum space-time models of Banai introduced in another paper is formulated in terms of Davis's quantum relativity. The recently proposed classical relativistic quantum theory of Prugovecki and his corresponding classical relativistic quantum model of space-time open the way to introduce, in a consistent way, the quantum space-time model (the quantum substitute of Minkowski space) of Banai proposed in the paper mentioned. The goal of quantum mechanics of quantum relativistic particles living in this model of space-time is to predict the rest mass system properties of classically relativistic (massive) quantum particles (''elementary particles''). The main new aspect of this quantum mechanics is that it provides a true mass eigenvalue problem, and that the excited mass states of quantum relativistic particles can be interpreted as elementary particles. The question of field theory over quantum relativistic model of space-time is also discussed. Finally it is suggested that ''quarks'' should be considered as quantum relativistic particles. (author)

Finite-Time Stabilization and Adaptive Control of Memristor-Based Delayed Neural Networks.

Science.gov (United States)

Wang, Leimin; Shen, Yi; Zhang, Guodong

Finite-time stability problem has been a hot topic in control and system engineering. This paper deals with the finite-time stabilization issue of memristor-based delayed neural networks (MDNNs) via two control approaches. First, in order to realize the stabilization of MDNNs in finite time, a delayed state feedback controller is proposed. Then, a novel adaptive strategy is applied to the delayed controller, and finite-time stabilization of MDNNs can also be achieved by using the adaptive control law. Some easily verified algebraic criteria are derived to ensure the stabilization of MDNNs in finite time, and the estimation of the settling time functional is given. Moreover, several finite-time stability results as our special cases for both memristor-based neural networks (MNNs) without delays and neural networks are given. Finally, three examples are provided for the illustration of the theoretical results.Finite-time stability problem has been a hot topic in control and system engineering. This paper deals with the finite-time stabilization issue of memristor-based delayed neural networks (MDNNs) via two control approaches. First, in order to realize the stabilization of MDNNs in finite time, a delayed state feedback controller is proposed. Then, a novel adaptive strategy is applied to the delayed controller, and finite-time stabilization of MDNNs can also be achieved by using the adaptive control law. Some easily verified algebraic criteria are derived to ensure the stabilization of MDNNs in finite time, and the estimation of the settling time functional is given. Moreover, several finite-time stability results as our special cases for both memristor-based neural networks (MNNs) without delays and neural networks are given. Finally, three examples are provided for the illustration of the theoretical results.

The equivalence of perfect fluid space-times and viscous magnetohydrodynamic space-times in general relativity

International Nuclear Information System (INIS)

Tupper, B.O.J.

1983-01-01

The work of a previous article is extended to show that space-times which are the exact solutions of the field equations for a perfect fluid also may be exact solutions of the field equations for a viscous magnetohydrodynamic fluid. Conditions are found for this equivalence to exist and viscous magnetohydrodynamic solutions are found for a number of known perfect fluid space-times. (author)

System and method for determining stability of a neural system

Science.gov (United States)

Curtis, Steven A. (Inventor)

2011-01-01

Disclosed are methods, systems, and computer-readable media for determining stability of a neural system. The method includes tracking a function world line of an N element neural system within at least one behavioral space, determining whether the tracking function world line is approaching a psychological stability surface, and implementing a quantitative solution that corrects instability if the tracked function world line is approaching the psychological stability surface.

The Information Science Experiment System - The computer for science experiments in space

Science.gov (United States)

Foudriat, Edwin C.; Husson, Charles

1989-01-01

The concept of the Information Science Experiment System (ISES), potential experiments, and system requirements are reviewed. The ISES is conceived as a computer resource in space whose aim is to assist computer, earth, and space science experiments, to develop and demonstrate new information processing concepts, and to provide an experiment base for developing new information technology for use in space systems. The discussion covers system hardware and architecture, operating system software, the user interface, and the ground communication link.

ESPRIT-Tree: hierarchical clustering analysis of millions of 16S rRNA pyrosequences in quasilinear computational time.

Science.gov (United States)

Cai, Yunpeng; Sun, Yijun

2011-08-01

Taxonomy-independent analysis plays an essential role in microbial community analysis. Hierarchical clustering is one of the most widely employed approaches to finding operational taxonomic units, the basis for many downstream analyses. Most existing algorithms have quadratic space and computational complexities, and thus can be used only for small or medium-scale problems. We propose a new online learning-based algorithm that simultaneously addresses the space and computational issues of prior work. The basic idea is to partition a sequence space into a set of subspaces using a partition tree constructed using a pseudometric, then recursively refine a clustering structure in these subspaces. The technique relies on new methods for fast closest-pair searching and efficient dynamic insertion and deletion of tree nodes. To avoid exhaustive computation of pairwise distances between clusters, we represent each cluster of sequences as a probabilistic sequence, and define a set of operations to align these probabilistic sequences and compute genetic distances between them. We present analyses of space and computational complexity, and demonstrate the effectiveness of our new algorithm using a human gut microbiota data set with over one million sequences. The new algorithm exhibits a quasilinear time and space complexity comparable to greedy heuristic clustering algorithms, while achieving a similar accuracy to the standard hierarchical clustering algorithm.

Stabilization of computational procedures for constrained dynamical systems

Science.gov (United States)

Park, K. C.; Chiou, J. C.

1988-01-01

A new stabilization method of treating constraints in multibody dynamical systems is presented. By tailoring a penalty form of the constraint equations, the method achieves stabilization without artificial damping and yields a companion matrix differential equation for the constraint forces; hence, the constraint forces are obtained by integrating the companion differential equation for the constraint forces in time. A principal feature of the method is that the errors committed in each constraint condition decay with its corresponding characteristic time scale associated with its constraint force. Numerical experiments indicate that the method yields a marked improvement over existing techniques.

On the dynamical stability of the space 'monorail'

Science.gov (United States)

Bergamaschi, S.; Manni, D.

The dynamical stability of 'monorail' tethered-satellite/elevator configurations being studied for the Space Station is investigated analytically, treating the end platforms and elevator as point masses, neglecting tether elasticity, and taking the Coriolis force and the complex gravitational field into account in analyzing the orbital-plane motion of the system. A mathematical model is constructed; the equations of motion are derived; and results obtained by numerical integration for platform masses 100,000 and 10,000 kg, elevator mass 5000 kg, and a 10-km-long 6-mm-diameter 4070-kg-mass tether are presented in graphs and briefly characterized.

A discussion for stabilization time of carbon steel in atmospheric corrosion

Science.gov (United States)

Zhang, Zong-kai; Ma, Xiao-bing; Cai, Yi-kun

2017-09-01

Stabilization time is an important parameter in long-term prediction of carbon steel corrosion in atmosphere. The range of the stabilization time of carbon steel in atmospheric corrosion has been published in many scientific literatures. However, the results may not precise because engineering experiences is dominant. This paper deals with the recalculation of stabilization time based on ISO CORRAG program, and analyzes the results and makes a comparison to the data mentioned above. In addition, a new thinking to obtain stabilization time will be proposed.

Program package for determining the boundary of NPP stability region in the space of reactivity coefficients

International Nuclear Information System (INIS)

Znyshev, V.V.; Nikolaev, M.Ya.; Novikova, L.V.; Sinyavskij, V.V.

1987-01-01

The GOUKOR program package (FORTRAN, BESM-6 computer), allowing one to calculate stability region boundary in the space of NPP reactivity coefficients, is developed. Transfer functions, which may be obtained experimentally or by calculating the NPP mathematical model under low perturbations, when the model nonlineary effect becomes disregardingly low, are necessary for the package operation. Transfer functions are assigned at several points and in the package they are interpolated either in piecewise manner or by cubical splines. Evaluation of the error effect in the transfer function representation on the transmission function calculation error is performed. It is shown, that transfer function interpolation by cubical splines as compared to the piecewise interpolation allows one to reduce the number of points, assigning the transfer functions without reducing the transmission function calculation accuracy

Tetrahedral-Mesh Simulation of Turbulent Flows with the Space-Time Conservative Schemes

Science.gov (United States)

Chang, Chau-Lyan; Venkatachari, Balaji; Cheng, Gary C.

2015-01-01

Direct numerical simulations of turbulent flows are predominantly carried out using structured, hexahedral meshes despite decades of development in unstructured mesh methods. Tetrahedral meshes offer ease of mesh generation around complex geometries and the potential of an orientation free grid that would provide un-biased small-scale dissipation and more accurate intermediate scale solutions. However, due to the lack of consistent multi-dimensional numerical formulations in conventional schemes for triangular and tetrahedral meshes at the cell interfaces, numerical issues exist when flow discontinuities or stagnation regions are present. The space-time conservative conservation element solution element (CESE) method - due to its Riemann-solver-free shock capturing capabilities, non-dissipative baseline schemes, and flux conservation in time as well as space - has the potential to more accurately simulate turbulent flows using unstructured tetrahedral meshes. To pave the way towards accurate simulation of shock/turbulent boundary-layer interaction, a series of wave and shock interaction benchmark problems that increase in complexity, are computed in this paper with triangular/tetrahedral meshes. Preliminary computations for the normal shock/turbulence interactions are carried out with a relatively coarse mesh, by direct numerical simulations standards, in order to assess other effects such as boundary conditions and the necessity of a buffer domain. The results indicate that qualitative agreement with previous studies can be obtained for flows where, strong shocks co-exist along with unsteady waves that display a broad range of scales, with a relatively compact computational domain and less stringent requirements for grid clustering near the shock. With the space-time conservation properties, stable solutions without any spurious wave reflections can be obtained without a need for buffer domains near the outflow/farfield boundaries. Computational results for the

Temperature and entropy of Schwarzschild-de Sitter space-time

International Nuclear Information System (INIS)

Shankaranarayanan, S.

2003-01-01

In the light of recent interest in quantum gravity in de Sitter space, we investigate semiclassical aspects of four-dimensional Schwarzschild-de Sitter space-time using the method of complex paths. The standard semiclassical techniques (such as Bogoliubov coefficients and Euclidean field theory) have been useful to study quantum effects in space-times with single horizons; however, none of these approaches seem to work for Schwarzschild-de Sitter space-time or, in general, for space-times with multiple horizons. We extend the method of complex paths to space-times with multiple horizons and obtain the spectrum of particles produced in these space-times. We show that the temperature of radiation in these space-times is proportional to the effective surface gravity--the inverse harmonic sum of surface gravity of each horizon. For the Schwarzschild-de Sitter space-time, we apply the method of complex paths to three different coordinate systems--spherically symmetric, Painleve, and Lemaitre. We show that the equilibrium temperature in Schwarzschild-de Sitter space-time is the harmonic mean of cosmological and event horizon temperatures. We obtain Bogoliubov coefficients for space-times with multiple horizons by analyzing the mode functions of the quantum fields near the horizons. We propose a new definition of entropy for space-times with multiple horizons, analogous to the entropic definition for space-times with a single horizon. We define entropy for these space-times to be inversely proportional to the square of the effective surface gravity. We show that this definition of entropy for Schwarzschild-de Sitter space-time satisfies the D-bound conjecture

Stochastic exponential stability of the delayed reaction-diffusion recurrent neural networks with Markovian jumping parameters

International Nuclear Information System (INIS)

Wang Linshan; Zhang Zhe; Wang Yangfan

2008-01-01

Some criteria for the global stochastic exponential stability of the delayed reaction-diffusion recurrent neural networks with Markovian jumping parameters are presented. The jumping parameters considered here are generated from a continuous-time discrete-state homogeneous Markov process, which are governed by a Markov process with discrete and finite state space. By employing a new Lyapunov-Krasovskii functional, a linear matrix inequality (LMI) approach is developed to establish some easy-to-test criteria of global exponential stability in the mean square for the stochastic neural networks. The criteria are computationally efficient, since they are in the forms of some linear matrix inequalities

Evaluating the Theoretic Adequacy and Applied Potential of Computational Models of the Spacing Effect.

Science.gov (United States)

Walsh, Matthew M; Gluck, Kevin A; Gunzelmann, Glenn; Jastrzembski, Tiffany; Krusmark, Michael

2018-03-02

The spacing effect is among the most widely replicated empirical phenomena in the learning sciences, and its relevance to education and training is readily apparent. Yet successful applications of spacing effect research to education and training is rare. Computational modeling can provide the crucial link between a century of accumulated experimental data on the spacing effect and the emerging interest in using that research to enable adaptive instruction. In this paper, we review relevant literature and identify 10 criteria for rigorously evaluating computational models of the spacing effect. Five relate to evaluating the theoretic adequacy of a model, and five relate to evaluating its application potential. We use these criteria to evaluate a novel computational model of the spacing effect called the Predictive Performance Equation (PPE). Predictive Performance Equation combines elements of earlier models of learning and memory including the General Performance Equation, Adaptive Control of Thought-Rational, and the New Theory of Disuse, giving rise to a novel computational account of the spacing effect that performs favorably across the complete sets of theoretic and applied criteria. We implemented two other previously published computational models of the spacing effect and compare them to PPE using the theoretic and applied criteria as guides. © 2018 Cognitive Science Society, Inc.

12 CFR 908.27 - Computing time.

Science.gov (United States)

2010-01-01

... 12 Banks and Banking 7 2010-01-01 2010-01-01 false Computing time. 908.27 Section 908.27 Banks and... PRACTICE AND PROCEDURE IN HEARINGS ON THE RECORD General Rules § 908.27 Computing time. (a) General rule. In computing any period of time prescribed or allowed by this subpart, the date of the act or event...

A Space-Time Signal Decomposition Algorithm for Downlink MIMO DS-CDMA Receivers

Science.gov (United States)

Wang, Yung-Yi; Fang, Wen-Hsien; Chen, Jiunn-Tsair

We propose a dimension reduction algorithm for the receiver of the downlink of direct-sequence code-division multiple access (DS-CDMA) systems in which both the transmitters and the receivers employ antenna arrays of multiple elements. To estimate the high order channel parameters, we develop a layered architecture using dimension-reduced parameter estimation algorithms to estimate the frequency-selective multipath channels. In the proposed architecture, to exploit the space-time geometric characteristics of multipath channels, spatial beamformers and constrained (or unconstrained) temporal filters are adopted for clustered-multipath grouping and path isolation. In conjunction with the multiple access interference (MAI) suppression techniques, the proposed architecture jointly estimates the direction of arrivals, propagation delays, and fading amplitudes of the downlink fading multipaths. With the outputs of the proposed architecture, the signals of interest can then be naturally detected by using path-wise maximum ratio combining. Compared to the traditional techniques, such as the Joint-Angle-and-Delay-Estimation (JADE) algorithm for DOA-delay joint estimation and the space-time minimum mean square error (ST-MMSE) algorithm for signal detection, computer simulations show that the proposed algorithm substantially mitigate the computational complexity at the expense of only slight performance degradation.

Space-time design of the public city

CERN Document Server

Thomaier, Susanne; Könecke, Benjamin; Zedda, Roberto; Stabilini, Stefano

2013-01-01

Time has become an increasingly important topic in urban studies and urban planning. The spatial-temporal interplay is not only of relevance for the theory of urban development and urban politics, but also for urban planning and governance. The space-time approach focuses on the human being with its various habits and routines in the city. Understanding and taking those habits into account in urban planning and public policies offers a new way to improve the quality of life in our cities. Adapting the supply and accessibility of public spaces and services to the inhabitants’ space-time needs calls for an integrated approach to the physical design of urban space and to the organization of cities. In the last two decades the body of practical and theoretical work on urban space-time topics has grown substantially. The book offers a state of the art overview of the theoretical reasoning, the development of new analytical tools, and practical experience of the space-time design of public cities in major Europea...

Numerical computation of space shuttle orbiter flow field

Science.gov (United States)

Tannehill, John C.

1988-01-01

A new parabolized Navier-Stokes (PNS) code has been developed to compute the hypersonic, viscous chemically reacting flow fields around 3-D bodies. The flow medium is assumed to be a multicomponent mixture of thermally perfect but calorically imperfect gases. The new PNS code solves the gas dynamic and species conservation equations in a coupled manner using a noniterative, implicit, approximately factored, finite difference algorithm. The space-marching method is made well-posed by special treatment of the streamwise pressure gradient term. The code has been used to compute hypersonic laminar flow of chemically reacting air over cones at angle of attack. The results of the computations are compared with the results of reacting boundary-layer computations and show excellent agreement.

Time and Space in Digital Game Storytelling

Directory of Open Access Journals (Sweden)

Huaxin Wei

2010-01-01

Full Text Available The design and representation of time and space are important in any narrative form. Not surprisingly there is an extensive literature on specific considerations of space or time in game design. However, there is less attention to more systematic analyses that examine both of these key factors—including their dynamic interrelationship within game storytelling. This paper adapts critical frameworks of narrative space and narrative time drawn from other media and demonstrates their application in the understanding of game narratives. In order to do this we incorporate fundamental concepts from the field of game studies to build a game-specific framework for analyzing the design of narrative time and narrative space. The paper applies this framework against a case analysis in order to demonstrate its operation and utility. This process grounds the understanding of game narrative space and narrative time in broader traditions of narrative discourse and analysis.

The space-time of dark-matter

International Nuclear Information System (INIS)

Dey, Dipanjan

2015-01-01

Dark-matter is a hypothetical matter which can't be seen but around 27% of our universe is made of it. Its distribution, evolution from early stage of our universe to present stage, its particle constituents all these are great unsolved mysteries of modern Cosmology and Astrophysics. In this talk I will introduce a special kind of space-time which is known as Bertrand Space-time (BST). I will show this space-time interestingly shows some dark-matter properties like- flat velocity curve, density profile of Dark-matter, total mass of Dark matter-halo, gravitational lensing etc, for that reason we consider BST is seeded by Dark-matter or it is a space-time of Dark-matter. At last I will show using modified gravity formalism the behaviour of the equation of state parameter of Dark-matter and the behaviour of the Newton's gravitational constant in the vicinity of the singularity. (author)

Asymptotic stability of discrete-time systems with time-varying delay subject to saturation nonlinearities

International Nuclear Information System (INIS)

Chen, S.-F.

2009-01-01

The asymptotic stability problem for discrete-time systems with time-varying delay subject to saturation nonlinearities is addressed in this paper. In terms of linear matrix inequalities (LMIs), a delay-dependent sufficient condition is derived to ensure the asymptotic stability. A numerical example is given to demonstrate the theoretical results.

3D detectors with high space and time resolution

Science.gov (United States)

Loi, A.

2018-01-01

For future high luminosity LHC experiments it will be important to develop new detector systems with increased space and time resolution and also better radiation hardness in order to operate in high luminosity environment. A possible technology which could give such performances is 3D silicon detectors. This work explores the possibility of a pixel geometry by designing and simulating different solutions, using Sentaurus Tecnology Computer Aided Design (TCAD) as design and simulation tool, and analysing their performances. A key factor during the selection was the generated electric field and the carrier velocity inside the active area of the pixel.

From Discrete Space-Time to Minkowski Space: Basic Mechanisms, Methods and Perspectives

Science.gov (United States)

Finster, Felix

This survey article reviews recent results on fermion systems in discrete space-time and corresponding systems in Minkowski space. After a basic introduction to the discrete setting, we explain a mechanism of spontaneous symmetry breaking which leads to the emergence of a discrete causal structure. As methods to study the transition between discrete space-time and Minkowski space, we describe a lattice model for a static and isotropic space-time, outline the analysis of regularization tails of vacuum Dirac sea configurations, and introduce a Lorentz invariant action for the masses of the Dirac seas. We mention the method of the continuum limit, which allows to analyze interacting systems. Open problems are discussed.

Heterogeneity of time delays determines synchronization of coupled oscillators.

Science.gov (United States)

Petkoski, Spase; Spiegler, Andreas; Proix, Timothée; Aram, Parham; Temprado, Jean-Jacques; Jirsa, Viktor K

2016-07-01

Network couplings of oscillatory large-scale systems, such as the brain, have a space-time structure composed of connection strengths and signal transmission delays. We provide a theoretical framework, which allows treating the spatial distribution of time delays with regard to synchronization, by decomposing it into patterns and therefore reducing the stability analysis into the tractable problem of a finite set of delay-coupled differential equations. We analyze delay-structured networks of phase oscillators and we find that, depending on the heterogeneity of the delays, the oscillators group in phase-shifted, anti-phase, steady, and non-stationary clusters, and analytically compute their stability boundaries. These results find direct application in the study of brain oscillations.

Quantum space-time: a review

International Nuclear Information System (INIS)

Namsrai, K.

1988-01-01

The review presents systematically the results of studies which develop an idea of quantum properties of space-time in the microworld or near exotic objects (black holes, magnetic monopoles and others). On the basis of this idea motion equations of nonrelativistic and relativistic particles are studied. It is shown that introducing concept of quantum space-time at small distances (or near superdense matter) leads to an additional force giving rise to appearance of spiral-like behaviour of a particle along its classical trajectory. Given method is generalized to nonrelativistic quantum mechanics and to motion of a particle in gravitational force. In the latter case, there appears to be an antigravitational effect in the motion of a particle leading to different value of free-fall time (at least for gravitational force of exotic objects) for particles with different masses. Gravitational consequences of quantum space-time and tensor structures of physical quantities are investigated in detail. From experimental data on testing relativity and anisotropy of inertia estimation L ≤ 10 -22 cm on the value of the fundamental length is obtained. (author)

A Note on the Problem of Proper Time in Weyl Space-Time

Science.gov (United States)

Avalos, R.; Dahia, F.; Romero, C.

2018-02-01

We discuss the question of whether or not a general Weyl structure is a suitable mathematical model of space-time. This is an issue that has been in debate since Weyl formulated his unified field theory for the first time. We do not present the discussion from the point of view of a particular unification theory, but instead from a more general standpoint, in which the viability of such a structure as a model of space-time is investigated. Our starting point is the well known axiomatic approach to space-time given by Elhers, Pirani and Schild (EPS). In this framework, we carry out an exhaustive analysis of what is required for a consistent definition for proper time and show that such a definition leads to the prediction of the so-called "second clock effect". We take the view that if, based on experience, we were to reject space-time models predicting this effect, this could be incorporated as the last axiom in the EPS approach. Finally, we provide a proof that, in this case, we are led to a Weyl integrable space-time as the most general structure that would be suitable to model space-time.

Computational Study of Hypersonic Boundary Layer Stability on Cones

Science.gov (United States)

Gronvall, Joel Edwin

Due to the complex nature of boundary layer laminar-turbulent transition in hypersonic flows and the resultant effect on the design of re-entry vehicles, there remains considerable interest in developing a deeper understanding of the underlying physics. To that end, the use of experimental observations and computational analysis in a complementary manner will provide the greatest insights. It is the intent of this work to provide such an analysis for two ongoing experimental investigations. The first focuses on the hypersonic boundary layer transition experiments for a slender cone that are being conducted at JAXA's free-piston shock tunnel HIEST facility. Of particular interest are the measurements of disturbance frequencies associated with transition at high enthalpies. The computational analysis provided for these cases included two-dimensional CFD mean flow solutions for use in boundary layer stability analyses. The disturbances in the boundary layer were calculated using the linear parabolized stability equations. Estimates for transition locations, comparisons of measured disturbance frequencies and computed frequencies, and a determination of the type of disturbances present were made. It was found that for the cases where the disturbances were measured at locations where the flow was still laminar but nearly transitional, that the highly amplified disturbances showed reasonable agreement with the computations. Additionally, an investigation of the effects of finite-rate chemistry and vibrational excitation on flows over cones was conducted for a set of theoretical operational conditions at the HIEST facility. The second study focuses on transition in three-dimensional hypersonic boundary layers, and for this the cone at angle of attack experiments being conducted at the Boeing/AFOSR Mach-6 quiet tunnel at Purdue University were examined. Specifically, the effect of surface roughness on the development of the stationary crossflow instability are investigated

Axiomatics of uniform space-time models

International Nuclear Information System (INIS)

Levichev, A.V.

1983-01-01

The mathematical statement of space-time axiomatics of the special theory of relativity is given; it postulates that the space-time M is the binding single boundary Hausedorf local-compact four-dimensional topological space with the given order. The theorem is proved: if the invariant order in the four-dimensional group M is given by the semi-group P, which contingency K contains inner points , then M is commutative. The analogous theorem is correct for the group of two and three dimensionalities

A 2D multi-term time and space fractional Bloch-Torrey model based on bilinear rectangular finite elements

Science.gov (United States)

Qin, Shanlin; Liu, Fawang; Turner, Ian W.

2018-03-01

The consideration of diffusion processes in magnetic resonance imaging (MRI) signal attenuation is classically described by the Bloch-Torrey equation. However, many recent works highlight the distinct deviation in MRI signal decay due to anomalous diffusion, which motivates the fractional order generalization of the Bloch-Torrey equation. In this work, we study the two-dimensional multi-term time and space fractional diffusion equation generalized from the time and space fractional Bloch-Torrey equation. By using the Galerkin finite element method with a structured mesh consisting of rectangular elements to discretize in space and the L1 approximation of the Caputo fractional derivative in time, a fully discrete numerical scheme is derived. A rigorous analysis of stability and error estimation is provided. Numerical experiments in the square and L-shaped domains are performed to give an insight into the efficiency and reliability of our method. Then the scheme is applied to solve the multi-term time and space fractional Bloch-Torrey equation, which shows that the extra time derivative terms impact the relaxation process.

Black Hole Space-time In Dark Matter Halo

OpenAIRE

Xu, Zhaoyi; Hou, Xian; Gong, Xiaobo; Wang, Jiancheng

2018-01-01

For the first time, we obtain the analytical form of black hole space-time metric in dark matter halo for the stationary situation. Using the relation between the rotation velocity (in the equatorial plane) and the spherical symmetric space-time metric coefficient, we obtain the space-time metric for pure dark matter. By considering the dark matter halo in spherical symmetric space-time as part of the energy-momentum tensors in the Einstein field equation, we then obtain the spherical symmetr...

Relativistic positioning in Schwarzschild space-time

International Nuclear Information System (INIS)

Puchades, Neus; Sáez, Diego

2015-01-01

In the Schwarzschild space-time created by an idealized static spherically symmetric Earth, two approaches -based on relativistic positioning- may be used to estimate the user position from the proper times broadcast by four satellites. In the first approach, satellites move in the Schwarzschild space-time and the photons emitted by the satellites follow null geodesics of the Minkowski space-time asymptotic to the Schwarzschild geometry. This assumption leads to positioning errors since the photon world lines are not geodesics of any Minkowski geometry. In the second approach -the most coherent one- satellites and photons move in the Schwarzschild space-time. This approach is a first order one in the dimensionless parameter GM/R (with the speed of light c=1). The two approaches give different inertial coordinates for a given user. The differences are estimated and appropriately represented for users located inside a great region surrounding Earth. The resulting values (errors) are small enough to justify the use of the first approach, which is the simplest and the most manageable one. The satellite evolution mimics that of the GALILEO global navigation satellite system. (paper)

Optical stabilization for time transfer infrastructure

Science.gov (United States)

Vojtech, Josef; Altmann, Michal; Skoda, Pavel; Horvath, Tomas; Slapak, Martin; Smotlacha, Vladimir; Havlis, Ondrej; Munster, Petr; Radil, Jan; Kundrat, Jan; Altmannova, Lada; Velc, Radek; Hula, Miloslav; Vohnout, Rudolf

2017-08-01

In this paper, we propose and present verification of all-optical methods for stabilization of the end-to-end delay of an optical fiber link. These methods are verified for deployment within infrastructure for accurate time and stable frequency distribution, based on sharing of fibers with research and educational network carrying live data traffic. Methods range from path length control, through temperature conditioning method to transmit wavelength control. Attention is given to achieve continuous control for relatively broad range of delays. We summarize design rules for delay stabilization based on the character and the total delay jitter.

Introducing the Dimensional Continuous Space-Time Theory

International Nuclear Information System (INIS)

Martini, Luiz Cesar

2013-01-01

This article is an introduction to a new theory. The name of the theory is justified by the dimensional description of the continuous space-time of the matter, energy and empty space, that gathers all the real things that exists in the universe. The theory presents itself as the consolidation of the classical, quantum and relativity theories. A basic equation that describes the formation of the Universe, relating time, space, matter, energy and movement, is deduced. The four fundamentals physics constants, light speed in empty space, gravitational constant, Boltzmann's constant and Planck's constant and also the fundamentals particles mass, the electrical charges, the energies, the empty space and time are also obtained from this basic equation. This theory provides a new vision of the Big-Bang and how the galaxies, stars, black holes and planets were formed. Based on it, is possible to have a perfect comprehension of the duality between wave-particle, which is an intrinsic characteristic of the matter and energy. It will be possible to comprehend the formation of orbitals and get the equationing of atomics orbits. It presents a singular comprehension of the mass relativity, length and time. It is demonstrated that the continuous space-time is tridimensional, inelastic and temporally instantaneous, eliminating the possibility of spatial fold, slot space, worm hole, time travels and parallel universes. It is shown that many concepts, like dark matter and strong forces, that hypothetically keep the cohesion of the atomics nucleons, are without sense.

Space-time and matter in 'prephysics'

International Nuclear Information System (INIS)

Terazawa, Hidezumi.

1985-05-01

Many fundamental questions concerning the space-time and matter are asked and answered in ''prephysics'', a new line of physics (or philosophy but not metaphysics). They include the following: 1) ''Why is our space-time of 4 dimensions.'', 2) ''What is the ultimate form of matter.'' and 3) ''How was our universe created.''. (author)

Earth System Stability Through Geologic Time

Science.gov (United States)

Rothman, D.; Bowring, S. A.

2015-12-01

Five times in the past 500 million years, mass extinctions haveresulted in the loss of greater than three-fourths of living species.Each of these events is associated with significant environmentalchange recorded in the carbon-isotopic composition of sedimentaryrocks. There are also many such environmental events in the geologicrecord that are not associated with mass extinctions. What makes themdifferent? Two factors appear important: the size of theenvironmental perturbation, and the time scale over which it occurs.We show that the natural perturbations of Earth's carbon cycle during thepast 500 million years exhibit a characteristic rate of change overtwo orders of magnitude in time scale. This characteristic rate isconsistent with the maximum rate that limits quasistatic (i.e., nearsteady-state) evolution of the carbon cycle. We identify this rate withmarginal stability, and show that mass extinctions occur on the fast,unstable side of the stability boundary. These results suggest thatthe great extinction events of the geologic past, and potentially a"sixth extinction" associated with modern environmental change, arecharacterized by common mechanisms of instability.

Computing Stability Effects of Mutations in Human Superoxide Dismutase 1

DEFF Research Database (Denmark)

Kepp, Kasper Planeta

2014-01-01

Protein stability is affected in several diseases and is of substantial interest in efforts to correlate genotypes to phenotypes. Superoxide dismutase 1 (SOD1) is a suitable test case for such correlations due to its abundance, stability, available crystal structures and thermochemical data......, and physiological importance. In this work, stability changes of SOD1 mutations were computed with five methods, CUPSAT, I-Mutant2.0, I-Mutant3.0, PoPMuSiC, and SDM, with emphasis on structural sensitivity as a potential issue in structure-based protein calculation. The large correlation between experimental...... literature data of SOD1 dimers and monomers (r = 0.82) suggests that mutations in separate protein monomers are mostly additive. PoPMuSiC was most accurate (typical MAE ∼ 1 kcal/mol, r ∼ 0.5). The relative performance of the methods was not very structure-dependent, and the more accurate methods also...

Finite-time stability of neutral-type neural networks with random time-varying delays

Science.gov (United States)

Ali, M. Syed; Saravanan, S.; Zhu, Quanxin

2017-11-01

This paper is devoted to the finite-time stability analysis of neutral-type neural networks with random time-varying delays. The randomly time-varying delays are characterised by Bernoulli stochastic variable. This result can be extended to analysis and design for neutral-type neural networks with random time-varying delays. On the basis of this paper, we constructed suitable Lyapunov-Krasovskii functional together and established a set of sufficient linear matrix inequalities approach to guarantee the finite-time stability of the system concerned. By employing the Jensen's inequality, free-weighting matrix method and Wirtinger's double integral inequality, the proposed conditions are derived and two numerical examples are addressed for the effectiveness of the developed techniques.

On static and radiative space-times

International Nuclear Information System (INIS)

Friedrich, H.

1988-01-01

The conformal constraint equations on space-like hypersurfaces are discussed near points which represent either time-like or spatial infinity for an asymptotically flat solution of Einstein's vacuum field equations. In the case of time-like infinity a certain 'radiativity condition' is derived which must be satisfied by the data at that point. The case of space-like infinity is analysed in detail for static space-times with non-vanishing mass. It is shown that the conformal structure implied here on a slice of constant Killing time, which extends analytically through infinity, satisfies at spatial infinity the radiativity condition. Thus to any static solution exists a certain 'radiative solution' which has a smooth structure at past null infinity and is regular at past time-like infinity. A characterization of these solutions by their 'free data' is given and non-symmetry properties are discussed. (orig.)

The Dirac equation in the Lobachevsky space-time

International Nuclear Information System (INIS)

Paramonov, D.V.; Paramonova, N.N.; Shavokhina, N.S.

2000-01-01

The product of the Lobachevsky space and the time axis is termed the Lobachevsky space-time. The Lobachevsky space is considered as a hyperboloid's sheet in the four-dimensional pseudo-Euclidean space. The Dirac-Fock-Ivanenko equation is reduced to the Dirac equation in two special forms by passing from Lame basis in the Lobachevsky space to the Cartesian basis in the enveloping pseudo-Euclidean space

EXPLORING TRANSVERSE BEAM STABILITY IN THE SNS IN THE PRESENCE OF SPACE CHARGE.

Energy Technology Data Exchange (ETDEWEB)

FEDOTOV,A.V.; BLASKIEWICZ,M.; WEI,J.; DANILOV,V.; HOLMES,J.; SHISHLO,A.

2002-06-03

The highest possible intensity in the machine is typically determined by the onset of coherent beam instabilities. Understanding the contribution of various effects to the damping and growth of such instabilities in the regime of strong space charge is thus of crucial importance. In this paper we explore transverse beam stability by numerical simulations using recently implemented models of transverse impedance and three-dimensional space charge. Results are discussed with application to the SNS accumulators.

About the coordinate time for photons in Lifshitz space-times

International Nuclear Information System (INIS)

Villanueva, J.R.; Vasquez, Yerko

2013-01-01

In this paper we studied the behavior of radial photons from the point of view of the coordinate time in (asymptotically) Lifshitz space-times, and we found a generalization to the result reported in previous works by Cruz et al. (Eur. Phys. J. C 73:7, 2013), Olivares et al. (Astrophys. Space Sci. 347:83-89, 2013), and Olivares et al. arXiv:1306.5285. We demonstrate that all asymptotically Lifshitz space-times characterized by a lapse function f(r) which tends to one when r→∞, present the same behavior, in the sense that an external observer will see that photons arrive at spatial infinity in a finite coordinate time. Also, we show that radial photons in the proper system cannot determine the presence of the black hole in the region r + < r<∞, because the proper time as a result is independent of the lapse function f(r). (orig.)

The Space-Time Topography of English Speakers

Science.gov (United States)

Duman, Steve

2016-01-01

English speakers talk and think about Time in terms of physical space. The past is behind us, and the future is in front of us. In this way, we "map" space onto Time. This dissertation addresses the specificity of this physical space, or its topography. Inspired by languages like Yupno (Nunez, et al., 2012) and Bamileke-Dschang (Hyman,…

Stability analysis of fractional-order Hopfield neural networks with time delays.

Science.gov (United States)

Wang, Hu; Yu, Yongguang; Wen, Guoguang

2014-07-01

This paper investigates the stability for fractional-order Hopfield neural networks with time delays. Firstly, the fractional-order Hopfield neural networks with hub structure and time delays are studied. Some sufficient conditions for stability of the systems are obtained. Next, two fractional-order Hopfield neural networks with different ring structures and time delays are developed. By studying the developed neural networks, the corresponding sufficient conditions for stability of the systems are also derived. It is shown that the stability conditions are independent of time delays. Finally, numerical simulations are given to illustrate the effectiveness of the theoretical results obtained in this paper. Copyright © 2014 Elsevier Ltd. All rights reserved.

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

Fixed-Time Stability of the Hydraulic Turbine Governing System

Directory of Open Access Journals (Sweden)

Caoyuan Ma

2018-01-01

Full Text Available This paper studies the problem of fixed-time stability of hydraulic turbine governing system with the elastic water hammer nonlinear model. To control and improve the quality of hydraulic turbine governing system, a new fixed-time control strategy is proposed, which can stabilize the water turbine governing system within a fixed time. Compared with the finite-time control strategy where the convergence rate depends on the initial state, the settling time of the fixed-time control scheme can be adjusted to the required value regardless of the initial conditions. Finally, we numerically show that the fixed-time control is more effective than and superior to the finite-time control.

Space-time coupled spectral/hp least-squares finite element formulation for the incompressible Navier-Stokes equations

International Nuclear Information System (INIS)

Pontaza, J.P.; Reddy, J.N.

2004-01-01

We consider least-squares finite element models for the numerical solution of the non-stationary Navier-Stokes equations governing viscous incompressible fluid flows. The paper presents a formulation where the effects of space and time are coupled, resulting in a true space-time least-squares minimization procedure, as opposed to a space-time decoupled formulation where a least-squares minimization procedure is performed in space at each time step. The formulation is first presented for the linear advection-diffusion equation and then extended to the Navier-Stokes equations. The formulation has no time step stability restrictions and is spectrally accurate in both space and time. To allow the use of practical C 0 element expansions in the resulting finite element model, the Navier-Stokes equations are expressed as an equivalent set of first-order equations by introducing vorticity as an additional independent variable and the least-squares method is used to develop the finite element model of the governing equations. High-order element expansions are used to construct the discrete model. The discrete model thus obtained is linearized by Newton's method, resulting in a linear system of equations with a symmetric positive definite coefficient matrix that is solved in a fully coupled manner by a preconditioned conjugate gradient method in matrix-free form. Spectral convergence of the L 2 least-squares functional and L 2 error norms in space-time is verified using a smooth solution to the two-dimensional non-stationary incompressible Navier-Stokes equations. Numerical results are presented for impulsively started lid-driven cavity flow, oscillatory lid-driven cavity flow, transient flow over a backward-facing step, and flow around a circular cylinder; the results demonstrate the predictive capability and robustness of the proposed formulation. Even though the space-time coupled formulation is emphasized, we also present the formulation and numerical results for least

Fitted HBT radii versus space-time variances in flow-dominated models

International Nuclear Information System (INIS)

Lisa, Mike; Frodermann, Evan; Heinz, Ulrich

2007-01-01

The inability of otherwise successful dynamical models to reproduce the 'HBT radii' extracted from two-particle correlations measured at the Relativistic Heavy Ion Collider (RHIC) is known as the 'RHIC HBT Puzzle'. Most comparisons between models and experiment exploit the fact that for Gaussian sources the HBT radii agree with certain combinations of the space-time widths of the source which can be directly computed from the emission function, without having to evaluate, at significant expense, the two-particle correlation function. We here study the validity of this approach for realistic emission function models some of which exhibit significant deviations from simple Gaussian behaviour. By Fourier transforming the emission function we compute the 2-particle correlation function and fit it with a Gaussian to partially mimic the procedure used for measured correlation functions. We describe a novel algorithm to perform this Gaussian fit analytically. We find that for realistic hydrodynamic models the HBT radii extracted from this procedure agree better with the data than the values previously extracted from the space-time widths of the emission function. Although serious discrepancies between the calculated and measured HBT radii remain, we show that a more 'apples-to-apples' comparison of models with data can play an important role in any eventually successful theoretical description of RHIC HBT data. (author)

Spinor Field Nonlinearity and Space-Time Geometry

Science.gov (United States)

Saha, Bijan

2018-03-01

Within the scope of Bianchi type VI,VI0,V, III, I, LRSBI and FRW cosmological models we have studied the role of nonlinear spinor field on the evolution of the Universe and the spinor field itself. It was found that due to the presence of non-trivial non-diagonal components of the energy-momentum tensor of the spinor field in the anisotropic space-time, there occur some severe restrictions both on the metric functions and on the components of the spinor field. In this report we have considered a polynomial nonlinearity which is a function of invariants constructed from the bilinear spinor forms. It is found that in case of a Bianchi type-VI space-time, depending of the sign of self-coupling constants, the model allows either late time acceleration or oscillatory mode of evolution. In case of a Bianchi VI 0 type space-time due to the specific behavior of the spinor field we have two different scenarios. In one case the invariants constructed from bilinear spinor forms become trivial, thus giving rise to a massless and linear spinor field Lagrangian. This case is equivalent to the vacuum solution of the Bianchi VI 0 type space-time. The second case allows non-vanishing massive and nonlinear terms and depending on the sign of coupling constants gives rise to accelerating mode of expansion or the one that after obtaining some maximum value contracts and ends in big crunch, consequently generating space-time singularity. In case of a Bianchi type-V model there occur two possibilities. In one case we found that the metric functions are similar to each other. In this case the Universe expands with acceleration if the self-coupling constant is taken to be a positive one, whereas a negative coupling constant gives rise to a cyclic or periodic solution. In the second case the spinor mass and the spinor field nonlinearity vanish and the Universe expands linearly in time. In case of a Bianchi type-III model the space-time remains locally rotationally symmetric all the time

Computer architecture for efficient algorithmic executions in real-time systems: New technology for avionics systems and advanced space vehicles

Science.gov (United States)

Carroll, Chester C.; Youngblood, John N.; Saha, Aindam

1987-01-01

Improvements and advances in the development of computer architecture now provide innovative technology for the recasting of traditional sequential solutions into high-performance, low-cost, parallel system to increase system performance. Research conducted in development of specialized computer architecture for the algorithmic execution of an avionics system, guidance and control problem in real time is described. A comprehensive treatment of both the hardware and software structures of a customized computer which performs real-time computation of guidance commands with updated estimates of target motion and time-to-go is presented. An optimal, real-time allocation algorithm was developed which maps the algorithmic tasks onto the processing elements. This allocation is based on the critical path analysis. The final stage is the design and development of the hardware structures suitable for the efficient execution of the allocated task graph. The processing element is designed for rapid execution of the allocated tasks. Fault tolerance is a key feature of the overall architecture. Parallel numerical integration techniques, tasks definitions, and allocation algorithms are discussed. The parallel implementation is analytically verified and the experimental results are presented. The design of the data-driven computer architecture, customized for the execution of the particular algorithm, is discussed.

Quadcopter control in three-dimensional space using a noninvasive motor imagery based brain-computer interface

Science.gov (United States)

LaFleur, Karl; Cassady, Kaitlin; Doud, Alexander; Shades, Kaleb; Rogin, Eitan; He, Bin

2013-01-01

Objective At the balanced intersection of human and machine adaptation is found the optimally functioning brain-computer interface (BCI). In this study, we report a novel experiment of BCI controlling a robotic quadcopter in three-dimensional physical space using noninvasive scalp EEG in human subjects. We then quantify the performance of this system using metrics suitable for asynchronous BCI. Lastly, we examine the impact that operation of a real world device has on subjects’ control with comparison to a two-dimensional virtual cursor task. Approach Five human subjects were trained to modulate their sensorimotor rhythms to control an AR Drone navigating a three-dimensional physical space. Visual feedback was provided via a forward facing camera on the hull of the drone. Individual subjects were able to accurately acquire up to 90.5% of all valid targets presented while travelling at an average straight-line speed of 0.69 m/s. Significance Freely exploring and interacting with the world around us is a crucial element of autonomy that is lost in the context of neurodegenerative disease. Brain-computer interfaces are systems that aim to restore or enhance a user’s ability to interact with the environment via a computer and through the use of only thought. We demonstrate for the first time the ability to control a flying robot in the three-dimensional physical space using noninvasive scalp recorded EEG in humans. Our work indicates the potential of noninvasive EEG based BCI systems to accomplish complex control in three-dimensional physical space. The present study may serve as a framework for the investigation of multidimensional non-invasive brain-computer interface control in a physical environment using telepresence robotics. PMID:23735712

Singular lensing from the scattering on special space-time defects

Energy Technology Data Exchange (ETDEWEB)

Mavromatos, Nick E. [University of Valencia - CSIC, Department of Theoretical Physics and IFIC, Valencia (Spain); King' s College London, Theoretical Particle Physics and Cosmology Group, Department of Physics, London (United Kingdom); Papavassiliou, Joannis [University of Valencia - CSIC, Department of Theoretical Physics and IFIC, Valencia (Spain)

2018-01-15

It is well known that certain special classes of self-gravitating point-like defects, such as global (non gauged) monopoles, give rise to non-asymptotically flat space-times characterized by solid angle deficits, whose size depends on the details of the underlying microscopic models. The scattering of electrically neutral particles on such space-times is described by amplitudes that exhibit resonant behaviour when thescattering and deficit angles coincide. This, in turn, leads to ring-like structures where the cross sections are formally divergent (''singular lensing''). In this work, we revisit this particular phenomenon, with the twofold purpose of placing it in a contemporary and more general context, in view of renewed interest in the theory and general phenomenology of such defects, and, more importantly, of addressing certain subtleties that appear in the particular computation that leads to the aforementioned effect. In particular, by adopting a specific regularization procedure for the formally infinite Legendre series encountered, we manage to ensure the recovery of the Minkowski space-time, and thus the disappearance of the lensing phenomenon, in the no-defect limit, and the validity of the optical theorem for the elastic total cross section. In addition, the singular nature of the phenomenon is confirmed by means of an alternative calculation, which, unlike the original approach, makes no use of the generating function of the Legendre polynomials, but rather exploits the asymptotic properties of the Fresnel integrals. (orig.)

Singular lensing from the scattering on special space-time defects

International Nuclear Information System (INIS)

Mavromatos, Nick E.; Papavassiliou, Joannis

2018-01-01

It is well known that certain special classes of self-gravitating point-like defects, such as global (non gauged) monopoles, give rise to non-asymptotically flat space-times characterized by solid angle deficits, whose size depends on the details of the underlying microscopic models. The scattering of electrically neutral particles on such space-times is described by amplitudes that exhibit resonant behaviour when thescattering and deficit angles coincide. This, in turn, leads to ring-like structures where the cross sections are formally divergent (''singular lensing''). In this work, we revisit this particular phenomenon, with the twofold purpose of placing it in a contemporary and more general context, in view of renewed interest in the theory and general phenomenology of such defects, and, more importantly, of addressing certain subtleties that appear in the particular computation that leads to the aforementioned effect. In particular, by adopting a specific regularization procedure for the formally infinite Legendre series encountered, we manage to ensure the recovery of the Minkowski space-time, and thus the disappearance of the lensing phenomenon, in the no-defect limit, and the validity of the optical theorem for the elastic total cross section. In addition, the singular nature of the phenomenon is confirmed by means of an alternative calculation, which, unlike the original approach, makes no use of the generating function of the Legendre polynomials, but rather exploits the asymptotic properties of the Fresnel integrals. (orig.)

Singular lensing from the scattering on special space-time defects

Science.gov (United States)

Mavromatos, Nick E.; Papavassiliou, Joannis

2018-01-01

It is well known that certain special classes of self-gravitating point-like defects, such as global (non gauged) monopoles, give rise to non-asymptotically flat space-times characterized by solid angle deficits, whose size depends on the details of the underlying microscopic models. The scattering of electrically neutral particles on such space-times is described by amplitudes that exhibit resonant behaviour when thescattering and deficit angles coincide. This, in turn, leads to ring-like structures where the cross sections are formally divergent ("singular lensing"). In this work, we revisit this particular phenomenon, with the twofold purpose of placing it in a contemporary and more general context, in view of renewed interest in the theory and general phenomenology of such defects, and, more importantly, of addressing certain subtleties that appear in the particular computation that leads to the aforementioned effect. In particular, by adopting a specific regularization procedure for the formally infinite Legendre series encountered, we manage to ensure the recovery of the Minkowski space-time, and thus the disappearance of the lensing phenomenon, in the no-defect limit, and the validity of the optical theorem for the elastic total cross section. In addition, the singular nature of the phenomenon is confirmed by means of an alternative calculation, which, unlike the original approach, makes no use of the generating function of the Legendre polynomials, but rather exploits the asymptotic properties of the Fresnel integrals.

Feynman propagator and space-time transformation technique

International Nuclear Information System (INIS)

Nassar, A.B.

1987-01-01

We evaluate the exact propagator for the time-dependent two-dimensional charged harmonic oscillator in a time-varying magnetic field, by taking direct recourse to the corresponding Schroedinger equation. Through the usage of an appropriate space-time transformation, we show that such a propagator can be obtained from the free propagator in the new space-time coordinate system. (orig.)

Fixed-Time Stability Analysis of Permanent Magnet Synchronous Motors with Novel Adaptive Control

Directory of Open Access Journals (Sweden)

Maoxing Liu

2017-01-01

Full Text Available We firstly investigate the fixed-time stability analysis of uncertain permanent magnet synchronous motors with novel control. Compared with finite-time stability where the convergence rate relies on the initial permanent magnet synchronous motors state, the settling time of fixed-time stability can be adjusted to desired values regardless of initial conditions. Novel adaptive stability control strategy for the permanent magnet synchronous motors is proposed, with which we can stabilize permanent magnet synchronous motors within fixed time based on the Lyapunov stability theory. Finally, some simulation and comparison results are given to illustrate the validity of the theoretical results.

Space-Time Disarray and Visual Awareness

Directory of Open Access Journals (Sweden)

Jan Koenderink

2012-04-01

Full Text Available Local space-time scrambling of optical data leads to violent jerks and dislocations. On masking these, visual awareness of the scene becomes cohesive, with dislocations discounted as amodally occluding foreground. Such cohesive space-time of awareness is technically illusory because ground truth is jumbled whereas awareness is coherent. Apparently the visual field is a construction rather than a (veridical perception.

Coherent states for FLRW space-times in loop quantum gravity

International Nuclear Information System (INIS)

Magliaro, Elena; Perini, Claudio; Marciano, Antonino

2011-01-01

We construct a class of coherent spin-network states that capture properties of curved space-times of the Friedmann-Lamaitre-Robertson-Walker type on which they are peaked. The data coded by a coherent state are associated to a cellular decomposition of a spatial (t=const) section with a dual graph given by the complete five-vertex graph, though the construction can be easily generalized to other graphs. The labels of coherent states are complex SL(2,C) variables, one for each link of the graph, and are computed through a smearing process starting from a continuum extrinsic and intrinsic geometry of the canonical surface. The construction covers both Euclidean and Lorentzian signatures; in the Euclidean case and in the limit of flat space we reproduce the simplicial 4-simplex semiclassical states used in spin foams.

Stability Analysis of Continuous-Time and Discrete-Time Quaternion-Valued Neural Networks With Linear Threshold Neurons.

Science.gov (United States)

Chen, Xiaofeng; Song, Qiankun; Li, Zhongshan; Zhao, Zhenjiang; Liu, Yurong

2018-07-01

This paper addresses the problem of stability for continuous-time and discrete-time quaternion-valued neural networks (QVNNs) with linear threshold neurons. Applying the semidiscretization technique to the continuous-time QVNNs, the discrete-time analogs are obtained, which preserve the dynamical characteristics of their continuous-time counterparts. Via the plural decomposition method of quaternion, homeomorphic mapping theorem, as well as Lyapunov theorem, some sufficient conditions on the existence, uniqueness, and global asymptotical stability of the equilibrium point are derived for the continuous-time QVNNs and their discrete-time analogs, respectively. Furthermore, a uniform sufficient condition on the existence, uniqueness, and global asymptotical stability of the equilibrium point is obtained for both continuous-time QVNNs and their discrete-time version. Finally, two numerical examples are provided to substantiate the effectiveness of the proposed results.

Simulation of the space-time evolution of color-flux tubes (guidelines to the TERMITE program)

International Nuclear Information System (INIS)

Dyrek, A.

1990-08-01

We give the description of the computer program which simulates boost-invariant evolution of color-flux tubes in high-energy processes. The program provides a graphic demonstration of space-time trajectories of created particles and can also be used as Monte-Carlo generator of events. (author)

About the coordinate time for photons in Lifshitz space-times

Energy Technology Data Exchange (ETDEWEB)

Villanueva, J.R. [Universidad de Valparaiso, Departamento de Fisica y Astronomia, Facultad de Ciencias, Valparaiso (Chile); Centro de Astrofisica de Valparaiso, Valparaiso (Chile); Vasquez, Yerko [Universidad de La Frontera, Departamento de Ciencias Fisicas, Facultad de Ingenieria, Ciencias y Administracion, Temuco (Chile); Universidad de La Serena, Departamento de Fisicas, Facultad de Ciencias, La Serena (Chile)

2013-10-15

In this paper we studied the behavior of radial photons from the point of view of the coordinate time in (asymptotically) Lifshitz space-times, and we found a generalization to the result reported in previous works by Cruz et al. (Eur. Phys. J. C 73:7, 2013), Olivares et al. (Astrophys. Space Sci. 347:83-89, 2013), and Olivares et al. arXiv:1306.5285. We demonstrate that all asymptotically Lifshitz space-times characterized by a lapse function f(r) which tends to one when r{yields}{infinity}, present the same behavior, in the sense that an external observer will see that photons arrive at spatial infinity in a finite coordinate time. Also, we show that radial photons in the proper system cannot determine the presence of the black hole in the region r{sub +}time as a result is independent of the lapse function f(r). (orig.)

Quantum space-time and gravitational consequences

International Nuclear Information System (INIS)

Namsrai, K.

1986-01-01

Relativistic particle dynamics and basic physical quantities for the general theory of gravity are reconstructed from a quantum space-time point of view. An additional force caused by quantum space-time appears in the equation of particle motion, giving rise to a reformulation of the equivalence principle up to values of O(L 2 ), where L is the fundamental length. It turns out that quantum space-time leads to quantization of gravity, i.e. the metric tensor g/sub uv/ (/ZETA/) becomes operator-valued and is not commutative at different points x/sup micro/ and y/sup micro/ in usual space-time on a large scale, and its commutator depending on the ''vielbein'' field (gaugelike graviton field) is proportional to L 2 multiplied by a translationinvariant wave function propagated between points x/sup micro/ and y/sup micro/. In the given scheme, there appears to be an antigravitational effect in the motion of a particle in the gravitational force. This effect depends on the value of particle mass; when a particle is heavy its free-fall time is long compared to that for a light-weight particle. The problem of the change of time scale and the anisotropy of inertia are discussed. From experimental data from testing of the latter effect it follows that L ≤ 10 -22 cm

Casimir force in the Goedel space-time and its possible induced cosmological inhomogeneity

Energy Technology Data Exchange (ETDEWEB)

Khodabakhshi, Sh. [University of Tehran, Department of Physics, Tehran (Iran, Islamic Republic of); Shojai, A. [University of Tehran, Department of Physics, Tehran (Iran, Islamic Republic of); Institute for Research in Fundamental Sciences (IPM), Foundations of Physics Group, School of Physics, Tehran (Iran, Islamic Republic of)

2017-07-15

The Casimir force between two parallel plates in the Goedel universe is computed for a scalar field at finite temperature. It is observed that when the plates' separation is comparable with the scale given by the rotation of the space-time, the force becomes repulsive and then approaches zero. Since it has been shown previously that the universe may experience a Goedel phase for a small period of time, the induced inhomogeneities from the Casimir force are also studied. (orig.)

Canonical quantization of general relativity in discrete space-times.

Science.gov (United States)

Gambini, Rodolfo; Pullin, Jorge

2003-01-17

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

Computers for Manned Space Applications Base on Commercial Off-the-Shelf Components

Science.gov (United States)

Vogel, T.; Gronowski, M.

2009-05-01

Similar to the consumer markets there has been an ever increasing demand in processing power, signal processing capabilities and memory space also for computers used for science data processing in space. An important driver of this development have been the payload developers for the International Space Station, requesting high-speed data acquisition and fast control loops in increasingly complex systems. Current experiments now even perform video processing and compression with their payload controllers. Nowadays the requirements for a space qualified computer are often far beyond the capabilities of, for example, the classic SPARC architecture that is found in ERC32 or LEON CPUs. An increase in performance usually demands costly and power consuming application specific solutions. Continuous developments over the last few years have now led to an alternative approach that is based on complete electronics modules manufactured for commercial and industrial customers. Computer modules used in industrial environments with a high demand for reliability under harsh environmental conditions like chemical reactors, electrical power plants or on manufacturing lines are entered into a selection procedure. Promising candidates then undergo a detailed characterisation process developed by Astrium Space Transportation. After thorough analysis and some modifications, these modules can replace fully qualified custom built electronics in specific, although not safety critical applications in manned space. This paper focuses on the benefits of COTS1 based electronics modules and the necessary analyses and modifications for their utilisation in manned space applications on the ISS. Some considerations regarding overall systems architecture will also be included. Furthermore this paper will also pinpoint issues that render such modules unsuitable for specific tasks, and justify the reasons. Finally, the conclusion of this paper will advocate the implementation of COTS based

12 CFR 1780.11 - Computing time.

Science.gov (United States)

2010-01-01

... 12 Banks and Banking 7 2010-01-01 2010-01-01 false Computing time. 1780.11 Section 1780.11 Banks... time. (a) General rule. In computing any period of time prescribed or allowed by this subpart, the date of the act or event that commences the designated period of time is not included. The last day so...

Space time problems and applications

DEFF Research Database (Denmark)

Dethlefsen, Claus

models, cubic spline models and structural time series models. The development of state space theory has interacted with the development of other statistical disciplines.   In the first part of the Thesis, we present the theory of state space models, including Gaussian state space models, approximative...... analysis of non-Gaussian models, simulation based techniques and model diagnostics.   The second part of the Thesis considers Markov random field models. These are spatial models applicable in e.g. disease mapping and in agricultural experiments. Recently, the Gaussian Markov random field models were...... techniques with importance sampling.   The third part of the Thesis contains applications of the theory. First, a univariate time series of count data is analysed. Then, a spatial model is used to compare wheat yields. Weed count data in connection with a project in precision farming is analysed using...

Space-time structure

CERN Document Server

Schrödinger, Erwin

1985-01-01

In response to repeated requests this classic book on space-time structure by Professor Erwin Schrödinger is now available in the Cambridge Science Classics series. First published in 1950, and reprinted in 1954 and 1960, this lucid and profound exposition of Einstein's 1915 theory of gravitation still provides valuable reading for students and research workers in the field.

Collision-free gases in spatially homogeneous space-times

International Nuclear Information System (INIS)

Maartens, R.; Maharaj, S.D.

1985-01-01

The kinematical and dynamical properties of one-component collision-free gases in spatially homogeneous, locally rotationally symmetric (LRS) space-times are analyzed. Following Ray and Zimmerman [Nuovo Cimento B 42, 183 (1977)], it is assumed that the distribution function f of the gas inherits the symmetry of space-time, in order to construct solutions of Liouville's equation. The redundancy of their further assumption that f be based on Killing vector constants of the motion is shown. The Ray and Zimmerman results for Kantowski--Sachs space-time are extended to all spatially homogeneous LRS space-times. It is shown that in all these space-times the kinematic average four-velocity u/sup i/ can be tilted relative to the homogeneous hypersurfaces. This differs from the perfect fluid case, in which only one space-time admits tilted u/sup i/, as shown by King and Ellis [Commun. Math. Phys. 31, 209 (1973)]. As a consequence, it is shown that all space-times admit nonzero acceleration and heat flow, while a subclass admits nonzero vorticity. The stress π/sub i/j is proportional to the shear sigma/sub i/j by virtue of the invariance of the distribution function. The evolution of tilt and the existence of perfect fluid solutions is also discussed

Multiscale Methods, Parallel Computation, and Neural Networks for Real-Time Computer Vision.

Science.gov (United States)

Battiti, Roberto

1990-01-01

This thesis presents new algorithms for low and intermediate level computer vision. The guiding ideas in the presented approach are those of hierarchical and adaptive processing, concurrent computation, and supervised learning. Processing of the visual data at different resolutions is used not only to reduce the amount of computation necessary to reach the fixed point, but also to produce a more accurate estimation of the desired parameters. The presented adaptive multiple scale technique is applied to the problem of motion field estimation. Different parts of the image are analyzed at a resolution that is chosen in order to minimize the error in the coefficients of the differential equations to be solved. Tests with video-acquired images show that velocity estimation is more accurate over a wide range of motion with respect to the homogeneous scheme. In some cases introduction of explicit discontinuities coupled to the continuous variables can be used to avoid propagation of visual information from areas corresponding to objects with different physical and/or kinematic properties. The human visual system uses concurrent computation in order to process the vast amount of visual data in "real -time." Although with different technological constraints, parallel computation can be used efficiently for computer vision. All the presented algorithms have been implemented on medium grain distributed memory multicomputers with a speed-up approximately proportional to the number of processors used. A simple two-dimensional domain decomposition assigns regions of the multiresolution pyramid to the different processors. The inter-processor communication needed during the solution process is proportional to the linear dimension of the assigned domain, so that efficiency is close to 100% if a large region is assigned to each processor. Finally, learning algorithms are shown to be a viable technique to engineer computer vision systems for different applications starting from

Just in Time in Space or Space Based JIT

Science.gov (United States)

VanOrsdel, Kathleen G.

1995-01-01

Our satellite systems are mega-buck items. In today's cost conscious world, we need to reduce the overall costs of satellites if our space program is to survive. One way to accomplish this would be through on-orbit maintenance of parts on the orbiting craft. In order to accomplish maintenance at a low cost I advance the hypothesis of having parts and pieces (spares) waiting. Waiting in the sense of having something when you need it, or just-in-time. The JIT concept can actually be applied to space processes. Its definition has to be changed just enough to encompass the needs of space. Our space engineers tell us which parts and pieces the satellite systems might be needing once in orbit. These items are stored in space for the time of need and can be ready when they are needed -- or Space Based JIT. When a system has a problem, the repair facility is near by and through human or robotics intervention, it can be brought back into service. Through a JIT process, overall system costs could be reduced as standardization of parts is built into satellite systems to facilitate reduced numbers of parts being stored. Launch costs will be contained as fewer spare pieces need to be included in the launch vehicle and the space program will continue to thrive even in this era of reduced budgets. The concept of using an orbiting parts servicer and human or robotics maintenance/repair capabilities would extend satellite life-cycle and reduce system replacement launches. Reductions of this nature throughout the satellite program result in cost savings.

Minkowski space-time is locally extendible

International Nuclear Information System (INIS)

Beem, J.K.

1980-01-01

An example of a real analytic local extension of Minkowski space-time is given in this note. This local extension is not across points of the b-boundary since Minkowski space-time has an empty b-boundary. Furthermore, this local extension is not across points of the causal boundary. The example indicates that the concept of local inextendibility may be less useful than originally envisioned. (orig.)

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)

Impulsive stabilization and impulsive synchronization of discrete-time delayed neural networks.

Science.gov (United States)

Chen, Wu-Hua; Lu, Xiaomei; Zheng, Wei Xing

2015-04-01

This paper investigates the problems of impulsive stabilization and impulsive synchronization of discrete-time delayed neural networks (DDNNs). Two types of DDNNs with stabilizing impulses are studied. By introducing the time-varying Lyapunov functional to capture the dynamical characteristics of discrete-time impulsive delayed neural networks (DIDNNs) and by using a convex combination technique, new exponential stability criteria are derived in terms of linear matrix inequalities. The stability criteria for DIDNNs are independent of the size of time delay but rely on the lengths of impulsive intervals. With the newly obtained stability results, sufficient conditions on the existence of linear-state feedback impulsive controllers are derived. Moreover, a novel impulsive synchronization scheme for two identical DDNNs is proposed. The novel impulsive synchronization scheme allows synchronizing two identical DDNNs with unknown delays. Simulation results are given to validate the effectiveness of the proposed criteria of impulsive stabilization and impulsive synchronization of DDNNs. Finally, an application of the obtained impulsive synchronization result for two identical chaotic DDNNs to a secure communication scheme is presented.

Coupling gravity, electromagnetism and space-time for space propulsion breakthroughs

Science.gov (United States)

Millis, Marc G.

1994-01-01

spaceflight would be revolutionized if it were possible to propel a spacecraft without rockets using the coupling between gravity, electromagnetism, and space-time (hence called 'space coupling propulsion'). New theories and observations about the properties of space are emerging which offer new approaches to consider this breakthrough possibility. To guide the search, evaluation, and application of these emerging possibilities, a variety of hypothetical space coupling propulsion mechanisms are presented to highlight the issues that would have to be satisfied to enable such breakthroughs. A brief introduction of the emerging opportunities is also presented.

Space-Time Discrete KPZ Equation

Science.gov (United States)

Cannizzaro, G.; Matetski, K.

2018-03-01

We study a general family of space-time discretizations of the KPZ equation and show that they converge to its solution. The approach we follow makes use of basic elements of the theory of regularity structures (Hairer in Invent Math 198(2):269-504, 2014) as well as its discrete counterpart (Hairer and Matetski in Discretizations of rough stochastic PDEs, 2015. arXiv:1511.06937). Since the discretization is in both space and time and we allow non-standard discretization for the product, the methods mentioned above have to be suitably modified in order to accommodate the structure of the models under study.

Pre-Big Bang, space-time structure, asymptotic Universe. Spinorial space-time and a new approach to Friedmann-like equations

Science.gov (United States)

Gonzalez-Mestres, Luis

2014-04-01

Planck and other recent data in Cosmology and Particle Physics can open the way to controversial analyses concerning the early Universe and its possible ultimate origin. Alternatives to standard cosmology include pre-Big Bang approaches, new space-time geometries and new ultimate constituents of matter. Basic issues related to a possible new cosmology along these lines clearly deserve further exploration. The Planck collaboration reports an age of the Universe t close to 13.8 Gyr and a present ratio H between relative speeds and distances at cosmic scale around 67.3 km/s/Mpc. The product of these two measured quantities is then slightly below 1 (about 0.95), while it can be exactly 1 in the absence of matter and cosmological constant in patterns based on the spinorial space-time we have considered in previous papers. In this description of space-time we first suggested in 1996-97, the cosmic time t is given by the modulus of a SU(2) spinor and the Lundmark-Lemaître-Hubble (LLH) expansion law turns out to be of purely geometric origin previous to any introduction of standard matter and relativity. Such a fundamental geometry, inspired by the role of half-integer spin in Particle Physics, may reflect an equilibrium between the dynamics of the ultimate constituents of matter and the deep structure of space and time. Taking into account the observed cosmic acceleration, the present situation suggests that the value of 1 can be a natural asymptotic limit for the product H t in the long-term evolution of our Universe up to possible small corrections. In the presence of a spinorial space-time geometry, no ad hoc combination of dark matter and dark energy would in any case be needed to get an acceptable value of H and an evolution of the Universe compatible with observation. The use of a spinorial space-time naturally leads to unconventional properties for the space curvature term in Friedmann-like equations. It therefore suggests a major modification of the standard

A multiprocessor computer simulation model employing a feedback scheduler/allocator for memory space and bandwidth matching and TMR processing

Science.gov (United States)

Bradley, D. B.; Irwin, J. D.

1974-01-01

A computer simulation model for a multiprocessor computer is developed that is useful for studying the problem of matching multiprocessor's memory space, memory bandwidth and numbers and speeds of processors with aggregate job set characteristics. The model assumes an input work load of a set of recurrent jobs. The model includes a feedback scheduler/allocator which attempts to improve system performance through higher memory bandwidth utilization by matching individual job requirements for space and bandwidth with space availability and estimates of bandwidth availability at the times of memory allocation. The simulation model includes provisions for specifying precedence relations among the jobs in a job set, and provisions for specifying precedence execution of TMR (Triple Modular Redundant and SIMPLEX (non redundant) jobs.

Non-perturbative analytical solutions of the space- and time-fractional Burgers equations

International Nuclear Information System (INIS)

Momani, Shaher

2006-01-01

Non-perturbative analytical solutions for the generalized Burgers equation with time- and space-fractional derivatives of order α and β, 0 < α, β ≤ 1, are derived using Adomian decomposition method. The fractional derivatives are considered in the Caputo sense. The solutions are given in the form of series with easily computable terms. Numerical solutions are calculated for the fractional Burgers equation to show the nature of solution as the fractional derivative parameter is changed

Stability analysis of linear switching systems with time delays

International Nuclear Information System (INIS)

Li Ping; Zhong Shouming; Cui Jinzhong

2009-01-01

The issue of stability analysis of linear switching system with discrete and distributed time delays is studied in this paper. An appropriate switching rule is applied to guarantee the stability of the whole switching system. Our results use a Riccati-type Lyapunov functional under a condition on the time delay. So, switching systems with mixed delays are developed. A numerical example is given to illustrate the effectiveness of our results.

The effects of host-feeding on stability of discrete-time host-parasitoid population dynamic models.

Science.gov (United States)

Emerick, Brooks; Singh, Abhyudai

2016-02-01

Discrete-time models are the traditional approach for capturing population dynamics of a host-parasitoid system. Recent work has introduced a semi-discrete framework for obtaining model update functions that connect host-parasitoid population levels from year-to-year. In particular, this framework uses differential equations to describe the host-parasitoid interaction during the time of year when they come in contact, allowing specific behaviors to be mechanistically incorporated. We use the semi-discrete approach to study the effects of host-feeding, which occurs when a parasitoid consumes a potential host larva without ovipositing. We find that host-feeding by itself cannot stabilize the system, and both populations exhibit behavior similar to the Nicholson-Bailey model. However, when combined with stabilizing mechanisms such as density-dependent host mortality, host-feeding contracts the region of parameter space that allows for a stable host-parasitoid equilibrium. In contrast, when combined with a density-dependent parasitoid attack rate, host-feeding expands the non-zero equilibrium stability region. Our results show that host-feeding causes inefficiency in the parasitoid population, which yields a higher population of hosts per generation. This suggests that host-feeding may have limited long-term impact in terms of suppressing host levels for biological control applications. Copyright © 2015 Elsevier Inc. All rights reserved.

The Cauchy problem for space-time monopole equations in Sobolev spaces

Science.gov (United States)

Huh, Hyungjin; Yim, Jihyun

2018-04-01

We consider the initial value problem of space-time monopole equations in one space dimension with initial data in Sobolev space Hs. Observing null structures of the system, we prove local well-posedness in almost critical space. Unconditional uniqueness and global existence are proved for s ≥ 0. Moreover, we show that the H1 Sobolev norm grows at a rate of at most c exp(ct2).

Computer-automated evolution of an X-band antenna for NASA's Space Technology 5 mission.

Science.gov (United States)

Hornby, Gregory S; Lohn, Jason D; Linden, Derek S

2011-01-01

Whereas the current practice of designing antennas by hand is severely limited because it is both time and labor intensive and requires a significant amount of domain knowledge, evolutionary algorithms can be used to search the design space and automatically find novel antenna designs that are more effective than would otherwise be developed. Here we present our work in using evolutionary algorithms to automatically design an X-band antenna for NASA's Space Technology 5 (ST5) spacecraft. Two evolutionary algorithms were used: the first uses a vector of real-valued parameters and the second uses a tree-structured generative representation for constructing the antenna. The highest-performance antennas from both algorithms were fabricated and tested and both outperformed a hand-designed antenna produced by the antenna contractor for the mission. Subsequent changes to the spacecraft orbit resulted in a change in requirements for the spacecraft antenna. By adjusting our fitness function we were able to rapidly evolve a new set of antennas for this mission in less than a month. One of these new antenna designs was built, tested, and approved for deployment on the three ST5 spacecraft, which were successfully launched into space on March 22, 2006. This evolved antenna design is the first computer-evolved antenna to be deployed for any application and is the first computer-evolved hardware in space.

A stable computational scheme for stiff time-dependent constitutive equations

International Nuclear Information System (INIS)

Shih, C.F.; Delorenzi, H.G.; Miller, A.K.

1977-01-01

Viscoplasticity and creep type constitutive equations are increasingly being employed in finite element codes for evaluating the deformation of high temperature structural members. These constitutive equations frequently exhibit stiff regimes which makes an analytical assessment of the structure very costly. A computational scheme for handling deformation in stiff regimes is proposed in this paper. By the finite element discretization, the governing partial differential equations in the spatial (x) and time (t) variables are reduced to a system of nonlinear ordinary differential equations in the independent variable t. The constitutive equations are expanded in a Taylor's series about selected values of t. The resulting system of differential equations are then integrated by an implicit scheme which employs a predictor technique to initiate the Newton-Raphson procedure. To examine the stability and accuracy of the computational scheme, a series of calculations were carried out for uniaxial specimens and thick wall tubes subjected to mechanical and thermal loading. (Auth.)

Three computer codes for safety and stability of large superconducting magnets

International Nuclear Information System (INIS)

Turner, L.R.

1985-01-01

For analyzing the safety and stability of large superconducting magnets, three computer codes TASS, SHORTURN, and SSICC have been developed, applicable to bath-cooled magnets, bath-cooled magnets with shorted turns, and magnets with internally cooled conductors respectively. The TASS code is described, and the use of the three codes is reviewed

Linear Dimensional Stability of Irreversible Hydrocolloid Materials Over Time.

Science.gov (United States)

Garrofé, Analía B; Ferrari, Beatriz A; Picca, Mariana; Kaplan, Andrea E

2015-12-01

The aim of this study was to evaluate the linear dimensional stability of different irreversible hydrocolloid materials over time. A metal mold was designed with custom trays made of thermoplastic sheets (Sabilex, sheets 0.125 mm thick). Perforations were made in order to improve retention of the material. Five impressions were taken with each of the following: Kromopan 100 (LASCOD) [AlKr], which has dimensional stability of 100 hours, and Phase Plus (ZHERMACK) [AlPh], which has dimensional stability of 48 hours. Standardized digital photographs were taken at different time intervals (0, 15, 30, 45, 60, 120 minutes; 12, 24 and 96 hours), using an "ad-hoc" device. The images were analyzed with software (UTHSCSA Image Tool) by measuring the distance between intersection of the lines previously made at the top of the mold. The results were analyzed by ANOVA for repeated measures. Initial and final values were (mean and standard deviation): AlKr: 16.44 (0.22) and 16.34 (0.11), AlPh: 16.40 (0.06) and 16.18 (0.06). Statistical evaluation showed significant effect of material and time factors. Under the conditions in this study, time significantly affects the linear dimensional stability of irreversible hydrocolloid materials. Sociedad Argentina de Investigación Odontológica.

Stability of continuous-time quantum filters with measurement imperfections

Science.gov (United States)

Amini, H.; Pellegrini, C.; Rouchon, P.

2014-07-01

The fidelity between the state of a continuously observed quantum system and the state of its associated quantum filter, is shown to be always a submartingale. The observed system is assumed to be governed by a continuous-time Stochastic Master Equation (SME), driven simultaneously by Wiener and Poisson processes and that takes into account incompleteness and errors in measurements. This stability result is the continuous-time counterpart of a similar stability result already established for discrete-time quantum systems and where the measurement imperfections are modelled by a left stochastic matrix.

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

CERN Document Server

Castro, C

2004-01-01

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

Space, Time, and Spacetime Physical and Philosophical Implications of Minkowski's Unification of Space and Time

CERN Document Server

Petkov, Vesselin

2010-01-01

This volume is dedicated to the centennial anniversary of Minkowski's discovery of spacetime. It contains selected papers by physicists and philosophers on the Nature and Ontology of Spacetime. The first six papers, comprising Part I of the book, provide examples of the impact of Minkowski's spacetime representation of special relativity on the twentieth century physics. Part II also contains six papers which deal with implications of Minkowski's ideas for the philosophy of space and time. The last part is represented by two papers which explore the influence of Minkowski's ideas beyond the philosophy of space and time.

Empty space-times with separable Hamilton-Jacobi equation

International Nuclear Information System (INIS)

Collinson, C.D.; Fugere, J.

1977-01-01

All empty space-times admitting a one-parameter group of motions and in which the Hamilton-Jacobi equation is (partially) separable are obtained. Several different cases of such empty space-times exist and the Riemann tensor is found to be either type D or N. The results presented here complete the search for empty space-times with separable Hamilton-Jacobi equation. (author)

A MAPLE Package for Energy-Momentum Tensor Assessment in Curved Space-Time

International Nuclear Information System (INIS)

Murariu, Gabriel; Praisler, Mirela

2010-01-01

One of the most interesting problem which remain unsolved, since the birth of the General Theory of Relativity (GR), is the energy-momentum localization. All our reflections are within the Lagrange formalism of the field theory. The concept of the energy-momentum tensor for gravitational interactions has a long history. To find a generally accepted expression, there have been different attempts. This paper is dedicated to the investigation of the energy-momentum problem in the theory of General Relativity. We use Einstein [1], Landau-Lifshitz [2], Bergmann-Thomson [3] and Moller's [4] prescriptions to evaluate energy-momentum distribution. In order to cover the huge volume of computation and, bearing in mind to make a general approaching for different space-time configurations, a MAPLE application to succeed in studying the energy momentum tensor was built. In the second part of the paper for two space-time configuration, the comparative results were presented.

Stability and the structure of continuous-time economic models

NARCIS (Netherlands)

Nieuwenhuis, H.J.; Schoonbeek, L.

In this paper we investigate the relationship between the stability of macroeconomic, or macroeconometric, continuous-time models and the structure of the matrices appearing in these models. In particular, we concentrate on dominant-diagonal structures. We derive general stability results for models

Computer program for storage and retrieval of thermal-stability data for explosives

International Nuclear Information System (INIS)

Ashcraft, R.W.

1981-06-01

A computer program for storage and retrieval of thermal stability data has been written in HP Basic for the HP-9845 system. The data library is stored on a 9885 flexible disk. A program listing and sample outputs are included as appendices

I-deas TMG to NX Space Systems Thermal Model Conversion and Computational Performance Comparison

Science.gov (United States)

Somawardhana, Ruwan

2011-01-01

CAD/CAE packages change on a continuous basis as the power of the tools increase to meet demands. End -users must adapt to new products as they come to market and replace legacy packages. CAE modeling has continued to evolve and is constantly becoming more detailed and complex. Though this comes at the cost of increased computing requirements Parallel processing coupled with appropriate hardware can minimize computation time. Users of Maya Thermal Model Generator (TMG) are faced with transitioning from NX I -deas to NX Space Systems Thermal (SST). It is important to understand what differences there are when changing software packages We are looking for consistency in results.

Land use and land cover change based on historical space-time model

Science.gov (United States)

Sun, Qiong; Zhang, Chi; Liu, Min; Zhang, Yongjing

2016-09-01

Land use and cover change is a leading edge topic in the current research field of global environmental changes and case study of typical areas is an important approach understanding global environmental changes. Taking the Qiantang River (Zhejiang, China) as an example, this study explores automatic classification of land use using remote sensing technology and analyzes historical space-time change by remote sensing monitoring. This study combines spectral angle mapping (SAM) with multi-source information and creates a convenient and efficient high-precision land use computer automatic classification method which meets the application requirements and is suitable for complex landform of the studied area. This work analyzes the histological space-time characteristics of land use and cover change in the Qiantang River basin in 2001, 2007 and 2014, in order to (i) verify the feasibility of studying land use change with remote sensing technology, (ii) accurately understand the change of land use and cover as well as historical space-time evolution trend, (iii) provide a realistic basis for the sustainable development of the Qiantang River basin and (iv) provide a strong information support and new research method for optimizing the Qiantang River land use structure and achieving optimal allocation of land resources and scientific management.

Robust Stabilization of Discrete-Time Systems with Time-Varying Delay: An LMI Approach

Directory of Open Access Journals (Sweden)

Valter J. S. Leite

2008-01-01

Full Text Available Sufficient linear matrix inequality (LMI conditions to verify the robust stability and to design robust state feedback gains for the class of linear discrete-time systems with time-varying delay and polytopic uncertainties are presented. The conditions are obtained through parameter-dependent Lyapunov-Krasovskii functionals and use some extra variables, which yield less conservative LMI conditions. Both problems, robust stability analysis and robust synthesis, are formulated as convex problems where all system matrices can be affected by uncertainty. Some numerical examples are presented to illustrate the advantages of the proposed LMI conditions.

6 CFR 13.27 - Computation of time.

Science.gov (United States)

2010-01-01

... 6 Domestic Security 1 2010-01-01 2010-01-01 false Computation of time. 13.27 Section 13.27 Domestic Security DEPARTMENT OF HOMELAND SECURITY, OFFICE OF THE SECRETARY PROGRAM FRAUD CIVIL REMEDIES § 13.27 Computation of time. (a) In computing any period of time under this part or in an order issued...

Time-space noncommutativity: quantised evolutions

International Nuclear Information System (INIS)

Balachandran, Aiyalam P.; Govindarajan, Thupil R.; Teotonio-Sobrinho, Paulo; Martins, Andrey Gomes

2004-01-01

In previous work, we developed quantum physics on the Moyal plane with time-space noncommutativity, basing ourselves on the work of Doplicher et al. Here we extend it to certain noncommutative versions of the cylinder, R 3 and Rx S 3 . In all these models, only discrete time translations are possible, a result known before in the first two cases. One striking consequence of quantised time translations is that even though a time independent hamiltonian is an observable, in scattering processes, it is conserved only modulo 2π/θ, where θ is the noncommutative parameter. (In contrast, on a one-dimensional periodic lattice of lattice spacing a and length L = Na, only momentum mod 2π/L is observable (and can be conserved).) Suggestions for further study of this effect are made. Scattering theory is formulated and an approach to quantum field theory is outlined. (author)

Is space-time symmetry a suitable generalization of parity-time symmetry?

International Nuclear Information System (INIS)

Amore, Paolo; Fernández, Francisco M.; Garcia, Javier

2014-01-01

We discuss space-time symmetric Hamiltonian operators of the form H=H 0 +igH ′ , where H 0 is Hermitian and g real. H 0 is invariant under the unitary operations of a point group G while H ′ is invariant under transformation by elements of a subgroup G ′ of G. If G exhibits irreducible representations of dimension greater than unity, then it is possible that H has complex eigenvalues for sufficiently small nonzero values of g. In the particular case that H is parity-time symmetric then it appears to exhibit real eigenvalues for all 00. We illustrate the main theoretical results and conclusions of this paper by means of two- and three-dimensional Hamiltonians exhibiting a variety of different point-group symmetries. - Highlights: • Space-time symmetry is a generalization of PT symmetry. • The eigenvalues of a space-time Hamiltonian are either real or appear as pairs of complex conjugate numbers. • In some cases all the eigenvalues are real for some values of a potential-strength parameter g. • At some value of g space-time symmetry is broken and complex eigenvalues appear. • Some multidimensional oscillators exhibit broken space-time symmetry for all values of g

Stability analysis of the Backward Euler time discretization for the pin-resolved transport transient reactor calculation

International Nuclear Information System (INIS)

Zhu, Ang; Xu, Yunlin; Downar, Thomas

2016-01-01

Three-dimensional, full core transport modeling with pin-resolved detail for reactor dynamic simulation is important for some multi-physics reactor applications. However, it can be computationally intensive due to the difficulty in maintaining accuracy while minimizing the number of time steps. A recently proposed Transient Multi-Level (TML) methodology overcomes this difficulty by use multi-level transient solvers to capture the physical phenomenal in different time domains and thus maximize the numerical accuracy and computational efficiency. One major problem with the TML method is the negative flux/precursor number density generated using large time steps for the MOC solver, which is due to the Backward Euler discretization scheme. In this paper, the stability issue of Backward Euler discretization is first investigated using the Point Kinetics Equations (PKEs), and the predicted maximum allowed time step for SPERT test 60 case is shown to be less than 10 ms. To overcome this difficulty, linear and exponential transformations are investigated using the PKEs. The linear transformation is shown to increase the maximum time step by a factor of 2, and the exponential transformation is shown to increase the maximum time step by a factor of 5, as well as provide unconditionally stability above a specified threshold. The two sets of transformations are then applied to TML scheme in the MPACT code, and the numerical results presented show good agreement for standard, linear transformed, and exponential transformed maximum time step between the PKEs model and the MPACT whole core transport solution for three different cases, including a pin cell case, a 3D SPERT assembly case and a row of assemblies (“striped assembly case”) from the SPERT model. Finally, the successful whole transient execution of the stripe assembly case shows the ability of the exponential transformation method to use 10 ms and 20 ms time steps, which all failed using the standard method.

Quaternion wave equations in curved space-time

Science.gov (United States)

Edmonds, J. D., Jr.

1974-01-01

The quaternion formulation of relativistic quantum theory is extended to include curvilinear coordinates and curved space-time in order to provide a framework for a unified quantum/gravity theory. Six basic quaternion fields are identified in curved space-time, the four-vector basis quaternions are identified, and the necessary covariant derivatives are obtained. Invariant field equations are derived, and a general invertable coordinate transformation is developed. The results yield a way of writing quaternion wave equations in curvilinear coordinates and curved space-time as well as a natural framework for solving the problem of second quantization for gravity.

A state space approach for piecewise-linear recurrent neural networks for identifying computational dynamics from neural measurements.

Directory of Open Access Journals (Sweden)

Daniel Durstewitz

2017-06-01

Full Text Available The computational and cognitive properties of neural systems are often thought to be implemented in terms of their (stochastic network dynamics. Hence, recovering the system dynamics from experimentally observed neuronal time series, like multiple single-unit recordings or neuroimaging data, is an important step toward understanding its computations. Ideally, one would not only seek a (lower-dimensional state space representation of the dynamics, but would wish to have access to its statistical properties and their generative equations for in-depth analysis. Recurrent neural networks (RNNs are a computationally powerful and dynamically universal formal framework which has been extensively studied from both the computational and the dynamical systems perspective. Here we develop a semi-analytical maximum-likelihood estimation scheme for piecewise-linear RNNs (PLRNNs within the statistical framework of state space models, which accounts for noise in both the underlying latent dynamics and the observation process. The Expectation-Maximization algorithm is used to infer the latent state distribution, through a global Laplace approximation, and the PLRNN parameters iteratively. After validating the procedure on toy examples, and using inference through particle filters for comparison, the approach is applied to multiple single-unit recordings from the rodent anterior cingulate cortex (ACC obtained during performance of a classical working memory task, delayed alternation. Models estimated from kernel-smoothed spike time data were able to capture the essential computational dynamics underlying task performance, including stimulus-selective delay activity. The estimated models were rarely multi-stable, however, but rather were tuned to exhibit slow dynamics in the vicinity of a bifurcation point. In summary, the present work advances a semi-analytical (thus reasonably fast maximum-likelihood estimation framework for PLRNNs that may enable to recover

Delay-Dependent Exponential Stability for Discrete-Time BAM Neural Networks with Time-Varying Delays

Directory of Open Access Journals (Sweden)

Yonggang Chen

2008-01-01

Full Text Available This paper considers the delay-dependent exponential stability for discrete-time BAM neural networks with time-varying delays. By constructing the new Lyapunov functional, the improved delay-dependent exponential stability criterion is derived in terms of linear matrix inequality (LMI. Moreover, in order to reduce the conservativeness, some slack matrices are introduced in this paper. Two numerical examples are presented to show the effectiveness and less conservativeness of the proposed method.

Time as a geometric property of space

Directory of Open Access Journals (Sweden)

James Michael Chappell

2016-11-01

Full Text Available The proper description of time remains a key unsolved problem in science. Newton conceived of time as absolute and universal which it `flows equably without relation to anything external'}. In the nineteenth century, the four-dimensional algebraic structure of the quaternions developed by Hamilton, inspired him to suggest that they could provide a unified representation of space and time. With the publishing of Einstein's theory of special relativity these ideas then lead to the generally accepted Minkowski spacetime formulation in 1908. Minkowski, though, rejected the formalism of quaternions suggested by Hamilton and adopted rather an approach using four-vectors. The Minkowski framework is indeed found to provide a versatile formalism for describing the relationship between space and time in accordance with Einstein's relativistic principles, but nevertheless fails to provide more fundamental insights into the nature of time itself. In order to answer this question we begin by exploring the geometric properties of three-dimensional space that we model using Clifford geometric algebra, which is found to contain sufficient complexity to provide a natural description of spacetime. This description using Clifford algebra is found to provide a natural alternative to the Minkowski formulation as well as providing new insights into the nature of time. Our main result is that time is the scalar component of a Clifford space and can be viewed as an intrinsic geometric property of three-dimensional space without the need for the specific addition of a fourth dimension.

Computer simulation of different designs of pseudo-random time-of-flight velocity analysers for molecular beam scattering experiments

International Nuclear Information System (INIS)

Rotzoll, G.

1982-01-01

After a brief summary of the pseudo-random time-of-flight (TOF) method, the design criteria for construction of a pseudo-random TOF disc are considered and complemented by computer simulations. The question of resolution and the choice of the sequence length and number of time channels per element are discussed. Moreover, the stability requirements of the chopper motor frequency are investigated. (author)

Stability of orbits in nonlinear mechanics for finite but very long times

International Nuclear Information System (INIS)

Warnock, R.L.; Ruth, R.D.

1990-07-01

In various applications of nonlinear mechanics, especially in accelerator design, it would be useful to set bounds on the motion for finite but very long times. Such bounds can be sought with the help of a canonical transformation to new action-angle variables (J, Ψ), such that action J is nearly constant while the angle Ψ advances almost linearly with the time. By examining the change in J during a time T 0 from many initial conditions in the open domain Ω of phase space, one can estimate the change in J during a much larger time T, on any orbit starting in a smaller open domain Ω 0 contained-in Ω. A numerical realization of this idea is described. The canonical transformations, equivalent to close approximations to invariant tori, are constructed by an effective new method in which surfaces are fitted to orbit data. In a first application to a model sextupole lattice in a region of strong nonlinearity, we predict stability of betatron motion in two degrees of freedom for a time comparable to the storage time in a proton storage ring (10 8 turns). 10 refs., 6 figs., 1 tab

Stability of orbits in nonlinear mechanics for finite but very long times

Energy Technology Data Exchange (ETDEWEB)

Warnock, R.L.; Ruth, R.D.

1990-07-01

In various applications of nonlinear mechanics, especially in accelerator design, it would be useful to set bounds on the motion for finite but very long times. Such bounds can be sought with the help of a canonical transformation to new action-angle variables (J, {Psi}), such that action J is nearly constant while the angle {Psi} advances almost linearly with the time. By examining the change in J during a time T{sub 0} from many initial conditions in the open domain {Omega} of phase space, one can estimate the change in J during a much larger time T, on any orbit starting in a smaller open domain {Omega}{sub 0} {contained in} {Omega}. A numerical realization of this idea is described. The canonical transformations, equivalent to close approximations to invariant tori, are constructed by an effective new method in which surfaces are fitted to orbit data. In a first application to a model sextupole lattice in a region of strong nonlinearity, we predict stability of betatron motion in two degrees of freedom for a time comparable to the storage time in a proton storage ring (10{sup 8} turns). 10 refs., 6 figs., 1 tab.

Space-time of class one

International Nuclear Information System (INIS)

Villasenor, R.F.; Bonilla, J.L.L.; Zuniga, G.O.; Matos, T.

1989-01-01

The authors study space-times embedded in E 5 (that means, pseudo-euclidean five-dimensional spaces) in the intrinsic rigidity case, i.e., when the second fundamental form b if can be determined by the internal geometry of the four-dimensional Riemannian space R 4 . They write down the Gauss and Codazzi equations determining the local isometric embedding of R 4 in E 5 and give some consequences of it. They prove that when there exists intrinsic rigidity, then b if is a linear combination of the metric and Ricci tensor; it is given some applications for the de Sitter and Einstein models

Aging in a Relativistic Biological Space-Time

Directory of Open Access Journals (Sweden)

Davide Maestrini

2018-05-01

Full Text Available Here we present a theoretical and mathematical perspective on the process of aging. We extend the concepts of physical space and time to an abstract, mathematically-defined space, which we associate with a concept of “biological space-time” in which biological dynamics may be represented. We hypothesize that biological dynamics, represented as trajectories in biological space-time, may be used to model and study different rates of biological aging. As a consequence of this hypothesis, we show how dilation or contraction of time analogous to relativistic corrections of physical time resulting from accelerated or decelerated biological dynamics may be used to study precipitous or protracted aging. We show specific examples of how these principles may be used to model different rates of aging, with an emphasis on cancer in aging. We discuss how this theory may be tested or falsified, as well as novel concepts and implications of this theory that may improve our interpretation of biological aging.

Natural world physical, brain operational, and mind phenomenal space-time

Science.gov (United States)

Fingelkurts, Andrew A.; Fingelkurts, Alexander A.; Neves, Carlos F. H.

2010-06-01

Concepts of space and time are widely developed in physics. However, there is a considerable lack of biologically plausible theoretical frameworks that can demonstrate how space and time dimensions are implemented in the activity of the most complex life-system - the brain with a mind. Brain activity is organized both temporally and spatially, thus representing space-time in the brain. Critical analysis of recent research on the space-time organization of the brain's activity pointed to the existence of so-called operational space-time in the brain. This space-time is limited to the execution of brain operations of differing complexity. During each such brain operation a particular short-term spatio-temporal pattern of integrated activity of different brain areas emerges within related operational space-time. At the same time, to have a fully functional human brain one needs to have a subjective mental experience. Current research on the subjective mental experience offers detailed analysis of space-time organization of the mind. According to this research, subjective mental experience (subjective virtual world) has definitive spatial and temporal properties similar to many physical phenomena. Based on systematic review of the propositions and tenets of brain and mind space-time descriptions, our aim in this review essay is to explore the relations between the two. To be precise, we would like to discuss the hypothesis that via the brain operational space-time the mind subjective space-time is connected to otherwise distant physical space-time reality.

Seismic wavefield modeling based on time-domain symplectic and Fourier finite-difference method

Science.gov (United States)

Fang, Gang; Ba, Jing; Liu, Xin-xin; Zhu, Kun; Liu, Guo-Chang

2017-06-01

Seismic wavefield modeling is important for improving seismic data processing and interpretation. Calculations of wavefield propagation are sometimes not stable when forward modeling of seismic wave uses large time steps for long times. Based on the Hamiltonian expression of the acoustic wave equation, we propose a structure-preserving method for seismic wavefield modeling by applying the symplectic finite-difference method on time grids and the Fourier finite-difference method on space grids to solve the acoustic wave equation. The proposed method is called the symplectic Fourier finite-difference (symplectic FFD) method, and offers high computational accuracy and improves the computational stability. Using acoustic approximation, we extend the method to anisotropic media. We discuss the calculations in the symplectic FFD method for seismic wavefield modeling of isotropic and anisotropic media, and use the BP salt model and BP TTI model to test the proposed method. The numerical examples suggest that the proposed method can be used in seismic modeling of strongly variable velocities, offering high computational accuracy and low numerical dispersion. The symplectic FFD method overcomes the residual qSV wave of seismic modeling in anisotropic media and maintains the stability of the wavefield propagation for large time steps.

Topology of classical vacuum space-time

International Nuclear Information System (INIS)

Cho, Y.M.

2007-04-01

We present a topological classification of classical vacuum space-time. Assuming the 3-dimensional space allows a global chart, we show that the static vacuum space-time of Einstein's theory can be classified by the knot topology π 3 (S 3 ) = π 3 (S 2 ). Viewing Einstein's theory as a gauge theory of Lorentz group and identifying the gravitational connection as the gauge potential of Lorentz group, we construct all possible vacuum gravitational connections which give a vanishing curvature tensor. With this we show that the vacuum connection has the knot topology, the same topology which describes the multiple vacua of SU(2) gauge theory. We discuss the physical implications of our result in quantum gravity. (author)

Quantum Space-Time Deformed Symmetries Versus Broken Symmetries

CERN Document Server

Amelino-Camelia, G

2002-01-01

Several recent studies have concerned the faith of classical symmetries in quantum space-time. In particular, it appears likely that quantum (discretized, noncommutative,...) versions of Minkowski space-time would not enjoy the classical Lorentz symmetries. I compare two interesting cases: the case in which the classical symmetries are "broken", i.e. at the quantum level some classical symmetries are lost, and the case in which the classical symmetries are "deformed", i.e. the quantum space-time has as many symmetries as its classical counterpart but the nature of these symmetries is affected by the space-time quantization procedure. While some general features, such as the emergence of deformed dispersion relations, characterize both the symmetry-breaking case and the symmetry-deformation case, the two scenarios are also characterized by sharp differences, even concerning the nature of the new effects predicted. I illustrate this point within an illustrative calculation concerning the role of space-time symm...

Space-Time Diffeomorphisms in Noncommutative Gauge Theories

Directory of Open Access Journals (Sweden)

L. Román Juarez

2008-07-01

Full Text Available In previous work [Rosenbaum M. et al., J. Phys. A: Math. Theor. 40 (2007, 10367–10382] we have shown how for canonical parametrized field theories, where space-time is placed on the same footing as the other fields in the theory, the representation of space-time diffeomorphisms provides a very convenient scheme for analyzing the induced twisted deformation of these diffeomorphisms, as a result of the space-time noncommutativity. However, for gauge field theories (and of course also for canonical geometrodynamics where the Poisson brackets of the constraints explicitely depend on the embedding variables, this Poisson algebra cannot be connected directly with a representation of the complete Lie algebra of space-time diffeomorphisms, because not all the field variables turn out to have a dynamical character [Isham C.J., Kuchar K.V., Ann. Physics 164 (1985, 288–315, 316–333]. Nonetheless, such an homomorphic mapping can be recuperated by first modifying the original action and then adding additional constraints in the formalism in order to retrieve the original theory, as shown by Kuchar and Stone for the case of the parametrized Maxwell field in [Kuchar K.V., Stone S.L., Classical Quantum Gravity 4 (1987, 319–328]. Making use of a combination of all of these ideas, we are therefore able to apply our canonical reparametrization approach in order to derive the deformed Lie algebra of the noncommutative space-time diffeomorphisms as well as to consider how gauge transformations act on the twisted algebras of gauge and particle fields. Thus, hopefully, adding clarification on some outstanding issues in the literature concerning the symmetries for gauge theories in noncommutative space-times.

The philosophy of space and time

CERN Document Server

Reichenbach, Hans

1958-01-01

With unusual depth and clarity, the author covers the problem of the foundations of geometry, the theory of time, the theory and consequences of Einstein's relativity including: relations between theory and observations, coordinate definitions, relations between topological and metrical properties of space, the psychological problem of the possibility of a visual intuition of non-Euclidean structures, and many other important topics in modern science and philosophy. While some of the book utilizes mathematics of a somewhat advanced nature, the exposition is so careful and complete that most people familiar with the philosophy of science or some intermediate mathematics will understand the majority of the ideas and problems discussed. Partial contents: I. The Problem of Physical Geometry. Universal and Differential Forces. Visualization of Geometries. Spaces with non-Euclidean Topological Properties. Geometry as a Theory of Relations. II. The Difference between Space and Time. Simultaneity. Time Order. Unreal ...

Real time evolution at finite temperatures with operator space matrix product states

International Nuclear Information System (INIS)

Pižorn, Iztok; Troyer, Matthias; Eisler, Viktor; Andergassen, Sabine

2014-01-01

We propose a method to simulate the real time evolution of one-dimensional quantum many-body systems at finite temperature by expressing both the density matrices and the observables as matrix product states. This allows the calculation of expectation values and correlation functions as scalar products in operator space. The simulations of density matrices in inverse temperature and the local operators in the Heisenberg picture are independent and result in a grid of expectation values for all intermediate temperatures and times. Simulations can be performed using real arithmetics with only polynomial growth of computational resources in inverse temperature and time for integrable systems. The method is illustrated for the XXZ model and the single impurity Anderson model. (paper)

Real time evolution at finite temperatures with operator space matrix product states

Science.gov (United States)

Pižorn, Iztok; Eisler, Viktor; Andergassen, Sabine; Troyer, Matthias

2014-07-01

We propose a method to simulate the real time evolution of one-dimensional quantum many-body systems at finite temperature by expressing both the density matrices and the observables as matrix product states. This allows the calculation of expectation values and correlation functions as scalar products in operator space. The simulations of density matrices in inverse temperature and the local operators in the Heisenberg picture are independent and result in a grid of expectation values for all intermediate temperatures and times. Simulations can be performed using real arithmetics with only polynomial growth of computational resources in inverse temperature and time for integrable systems. The method is illustrated for the XXZ model and the single impurity Anderson model.

Noise-constrained switching times for heteroclinic computing

Science.gov (United States)

Neves, Fabio Schittler; Voit, Maximilian; Timme, Marc

2017-03-01

Heteroclinic computing offers a novel paradigm for universal computation by collective system dynamics. In such a paradigm, input signals are encoded as complex periodic orbits approaching specific sequences of saddle states. Without inputs, the relevant states together with the heteroclinic connections between them form a network of states—the heteroclinic network. Systems of pulse-coupled oscillators or spiking neurons naturally exhibit such heteroclinic networks of saddles, thereby providing a substrate for general analog computations. Several challenges need to be resolved before it becomes possible to effectively realize heteroclinic computing in hardware. The time scales on which computations are performed crucially depend on the switching times between saddles, which in turn are jointly controlled by the system's intrinsic dynamics and the level of external and measurement noise. The nonlinear dynamics of pulse-coupled systems often strongly deviate from that of time-continuously coupled (e.g., phase-coupled) systems. The factors impacting switching times in pulse-coupled systems are still not well understood. Here we systematically investigate switching times in dependence of the levels of noise and intrinsic dissipation in the system. We specifically reveal how local responses to pulses coact with external noise. Our findings confirm that, like in time-continuous phase-coupled systems, piecewise-continuous pulse-coupled systems exhibit switching times that transiently increase exponentially with the number of switches up to some order of magnitude set by the noise level. Complementarily, we show that switching times may constitute a good predictor for the computation reliability, indicating how often an input signal must be reiterated. By characterizing switching times between two saddles in conjunction with the reliability of a computation, our results provide a first step beyond the coding of input signal identities toward a complementary coding for

Stabilization and tracking controller for a class of nonlinear discrete-time systems

International Nuclear Information System (INIS)

Sharma, B.B.; Kar, I.N.

2011-01-01

Highlights: → We present recursive design of stabilizing controller for nonlinear discrete-time systems. → Problem of stabilizing and tracking control of single link manipulator system is addressed. → We extend the proposed results to output tracking problems. → The proposed methodology is applied satisfactorily to discrete-time chaotic maps. - Abstract: In this paper, stabilization and tracking control problem for parametric strict feedback class of discrete time systems is addressed. Recursive design of control function based on contraction theory framework is proposed instead of traditional Lyapunov based method. Explicit structure of controller is derived for the addressed class of nonlinear discrete-time systems. Conditions for exponential stability of system states are derived in terms of controller parameters. At each stage of recursive procedure a specific structure of Jacobian matrix is ensured so as to satisfy conditions of stability. The closed loop dynamics in this case remains nonlinear in nature. The proposed algorithm establishes global stability results in quite a simple manner as it does not require formulation of error dynamics. Problem of stabilization and output tracking control in case of single link manipulator system with actuator dynamics is analyzed using the proposed strategy. The proposed results are further extended to stabilization of discrete time chaotic systems. Numerical simulations presented in the end show the effectiveness of the proposed approach.

New stability and stabilization for switched neutral control systems

International Nuclear Information System (INIS)

Xiong Lianglin; Zhong Shouming; Ye Mao; Wu Shiliang

2009-01-01

This paper concerns stability and stabilization issues for switched neutral systems and presents new classes of piecewise Lyapunov functionals and multiple Lyapunov functionals, based on which, two new switching rules are introduced to stabilize the neutral systems. One switching rule is designed from the solution of the so-called Lyapunov-Metzler linear matrix inequalities. The other is based on the determination of average dwell time computed from a new class of linear matrix inequalities (LMIs). And then, state-feedback control is derived for the switched neutral control system mainly based on the state switching rules. Finally, three examples are given to demonstrate the effectiveness of the proposed method.

New Resolution Strategy for Multi-scale Reaction Waves using Time Operator Splitting and Space Adaptive Multiresolution: Application to Human Ischemic Stroke*

Directory of Open Access Journals (Sweden)

Louvet Violaine

2011-12-01

Full Text Available We tackle the numerical simulation of reaction-diffusion equations modeling multi-scale reaction waves. This type of problems induces peculiar difficulties and potentially large stiffness which stem from the broad spectrum of temporal scales in the nonlinear chemical source term as well as from the presence of large spatial gradients in the reactive fronts, spatially very localized. A new resolution strategy was recently introduced ? that combines a performing time operator splitting with high oder dedicated time integration methods and space adaptive multiresolution. Based on recent theoretical studies of numerical analysis, such a strategy leads to a splitting time step which is not restricted neither by the fastest scales in the source term nor by stability limits related to the diffusion problem, but only by the physics of the phenomenon. In this paper, the efficiency of the method is evaluated through 2D and 3D numerical simulations of a human ischemic stroke model, conducted on a simplified brain geometry, for which a simple parallelization strategy for shared memory architectures was implemented, in order to reduce computing costs related to “detailed chemistry” features of the model.

Global exponential stability of BAM neural networks with time-varying delays: The discrete-time case

Science.gov (United States)

Raja, R.; Marshal Anthoni, S.

2011-02-01

This paper deals with the problem of stability analysis for a class of discrete-time bidirectional associative memory (BAM) neural networks with time-varying delays. By employing the Lyapunov functional and linear matrix inequality (LMI) approach, a new sufficient conditions is proposed for the global exponential stability of discrete-time BAM neural networks. The proposed LMI based results can be easily checked by LMI control toolbox. Moreover, an example is also provided to demonstrate the effectiveness of the proposed method.

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.

Efficient O(N) recursive computation of the operational space inertial matrix