An Exploration Of Fuel Optimal Two-impulse Transfers To Cyclers in the Earth-Moon System

NASA Astrophysics Data System (ADS)

Hosseinisianaki, Saghar

2011-12-01

This research explores the optimum two-impulse transfers between a low Earth orbit and cycler orbits in the Earth-Moon circular restricted three-body framework, emphasizing the optimization strategy. Cyclers are those types of periodic orbits that meet both the Earth and the Moon periodically. A spacecraft on such trajectories are under the influence of both the Earth and the Moon gravitational fields. Cyclers have gained recent interest as baseline orbits for several Earth-Moon mission concepts, notably in relation to human exploration. In this thesis it is shown that a direct optimization starting from the classic lambert initial guess may not be adequate for these problems and propose a three-step optimization solver to improve the domain of convergence toward an optimal solution. The first step consists of finding feasible trajectories with a given transfer time. I employ Lambert's problem to provide initial guess to optimize the error in arrival position. This includes the analysis of the liability of Lambert's solution as an initial guess. Once a feasible trajectory is found, the velocity impulse is only a function of transfer time, departure, and arrival points' phases. The second step consists of the optimization of impulse over transfer time which results in the minimum impulse transfer for fixed end points. Finally, the third step is mapping the optimal solutions as the end points are varied.

An Exploration Of Fuel Optimal Two-impulse Transfers To Cyclers in the Earth-Moon System

NASA Astrophysics Data System (ADS)

Hosseinisianaki, Saghar

This research explores the optimum two-impulse transfers between a low Earth orbit and cycler orbits in the Earth-Moon circular restricted three-body framework, emphasizing the optimization strategy. Cyclers are those types of periodic orbits that meet both the Earth and the Moon periodically. A spacecraft on such trajectories are under the influence of both the Earth and the Moon gravitational fields. Cyclers have gained recent interest as baseline orbits for several Earth-Moon mission concepts, notably in relation to human exploration. In this thesis it is shown that a direct optimization starting from the classic lambert initial guess may not be adequate for these problems and propose a three-step optimization solver to improve the domain of convergence toward an optimal solution. The first step consists of finding feasible trajectories with a given transfer time. I employ Lambert's problem to provide initial guess to optimize the error in arrival position. This includes the analysis of the liability of Lambert's solution as an initial guess. Once a feasible trajectory is found, the velocity impulse is only a function of transfer time, departure, and arrival points' phases. The second step consists of the optimization of impulse over transfer time which results in the minimum impulse transfer for fixed end points. Finally, the third step is mapping the optimal solutions as the end points are varied.

Stress-Constrained Structural Topology Optimization with Design-Dependent Loads

NASA Astrophysics Data System (ADS)

Lee, Edmund

Topology optimization is commonly used to distribute a given amount of material to obtain the stiffest structure, with predefined fixed loads. The present work investigates the result of applying stress constraints to topology optimization, for problems with design-depending loading, such as self-weight and pressure. In order to apply pressure loading, a material boundary identification scheme is proposed, iteratively connecting points of equal density. In previous research, design-dependent loading problems have been limited to compliance minimization. The present study employs a more practical approach by minimizing mass subject to failure constraints, and uses a stress relaxation technique to avoid stress constraint singularities. The results show that these design dependent loading problems may converge to a local minimum when stress constraints are enforced. Comparisons between compliance minimization solutions and stress-constrained solutions are also given. The resulting topologies of these two solutions are usually vastly different, demonstrating the need for stress-constrained topology optimization.

Digital Topographic Mapping in Urban Obstructed Environment Based on Multi-GNSS Network RTK Technology

NASA Astrophysics Data System (ADS)

Guo, Qiuying; Zhao, Tonglong; Zhang, Chao; Wu, Xuxiang

2017-10-01

Digital topographic mapping experiments were carried out based on network RTK technology using GPS/BEIDOU/GLONASS multi-constellation compatible GNSS receivers in urban obstructed environment. Operation scheme and technique flow were discussed. Experimental results show that the horizontal position and elevation of the points measured by RTK can reach 2cm and 3cm precision level respectively in open environment. RTK initialization time needs about 3-5s. While in obstructed environment, such as high building and tree shanding, the RTK initialization time needs about dozens of seconds or tens of seconds, and sometimes floating solutions or even differential solutions were obtained. The impact of dense and tall building on RTK measurement is more seriously. It is more likely to get RTK fixed solution in the south side of high building than the north side of the building.

Homotopy approach to optimal, linear quadratic, fixed architecture compensation

NASA Technical Reports Server (NTRS)

Mercadal, Mathieu

1991-01-01

Optimal linear quadratic Gaussian compensators with constrained architecture are a sensible way to generate good multivariable feedback systems meeting strict implementation requirements. The optimality conditions obtained from the constrained linear quadratic Gaussian are a set of highly coupled matrix equations that cannot be solved algebraically except when the compensator is centralized and full order. An alternative to the use of general parameter optimization methods for solving the problem is to use homotopy. The benefit of the method is that it uses the solution to a simplified problem as a starting point and the final solution is then obtained by solving a simple differential equation. This paper investigates the convergence properties and the limitation of such an approach and sheds some light on the nature and the number of solutions of the constrained linear quadratic Gaussian problem. It also demonstrates the usefulness of homotopy on an example of an optimal decentralized compensator.

Convergence of discrete Aubry–Mather model in the continuous limit

NASA Astrophysics Data System (ADS)

Su, Xifeng; Thieullen, Philippe

2018-05-01

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

The optimization of self-phased arrays for diurnal motion tracking of synchronous satellites

NASA Technical Reports Server (NTRS)

Theobold, D. M.; Hodge, D. B.

1977-01-01

The diurnal motion of a synchronous satellite necessitates mechanical tracking when a large aperture, high gain antenna is employed at the earth terminal. An alternative solution to this tracking problem is to use a self phased array consisting of a number of fixed pointed elements, each with moderate directivity. Non-mechanical tracking and adequate directive gain are achieved electronically by phase coherent summing of the element outputs. The element beamwidths provide overlapping area coverage of the satellite motion but introduce a diurnal variation into the array gain. The optimum element beamwidth and pointing direction of these elements can be obtained under the condition that the array gain is maximized simultaneously with the minimization of the diurnal variation.

Fingering in a channel and tripolar Loewner evolutions.

PubMed

Durán, Miguel A; Vasconcelos, Giovani L

2011-11-01

A class of Laplacian growth models in the channel geometry is studied using the formalism of tripolar Loewner evolutions, in which three points, namely, the channel corners and the point at infinity, are kept fixed. Initially, the problem of fingered growth, where growth takes place only at the tips of slitlike fingers, is revisited and a class of exact solutions of the corresponding Loewner equation is presented for the case of stationary driving functions. A model for interface growth is then formulated in terms of a generalized tripolar Loewner equation and several examples are presented. It is shown that the growing interface evolves into a steadily moving finger and that tip competition arises for nonsymmetric initial configurations with multiple tips.

Fingering in a channel and tripolar Loewner evolutions

NASA Astrophysics Data System (ADS)

Durán, Miguel A.; Vasconcelos, Giovani L.

2011-11-01

A class of Laplacian growth models in the channel geometry is studied using the formalism of tripolar Loewner evolutions, in which three points, namely, the channel corners and the point at infinity, are kept fixed. Initially, the problem of fingered growth, where growth takes place only at the tips of slitlike fingers, is revisited and a class of exact solutions of the corresponding Loewner equation is presented for the case of stationary driving functions. A model for interface growth is then formulated in terms of a generalized tripolar Loewner equation and several examples are presented. It is shown that the growing interface evolves into a steadily moving finger and that tip competition arises for nonsymmetric initial configurations with multiple tips.

Avoidance of singularities in asymptotically safe Quantum Einstein Gravity

DOE Office of Scientific and Technical Information (OSTI.GOV)

Kofinas, Georgios; Zarikas, Vasilios; Department of Physics, Aristotle University of Thessaloniki,54124 Thessaloniki

2015-10-30

New general spherically symmetric solutions have been derived with a cosmological “constant” Λ as a source. This Λ term is not constant but it satisfies the properties of the asymptotically safe gravity at the ultraviolet fixed point. The importance of these solutions comes from the fact that they may describe the near to the centre region of black hole spacetimes as this is modified by the Renormalization Group scaling behaviour of the fields. The consistent set of field equations which respect the Bianchi identities is derived and solved. One of the solutions (with conventional sign of temporal-radial metric components) ismore » timelike geodesically complete, and although there is still a curvature divergent origin, this is never approachable by an infalling massive particle which is reflected at a finite distance due to the repulsive origin. Another family of solutions (of both signatures) range from a finite radius outwards, they cannot be extended to the centre of spherical symmetry, and the curvature invariants are finite at the minimum radius.« less

Avoidance of singularities in asymptotically safe Quantum Einstein Gravity

DOE Office of Scientific and Technical Information (OSTI.GOV)

Kofinas, Georgios; Zarikas, Vasilios, E-mail: gkofinas@aegean.gr, E-mail: vzarikas@teilam.gr

2015-10-01

New general spherically symmetric solutions have been derived with a cosmological ''constant'' Λ as a source. This Λ term is not constant but it satisfies the properties of the asymptotically safe gravity at the ultraviolet fixed point. The importance of these solutions comes from the fact that they may describe the near to the centre region of black hole spacetimes as this is modified by the Renormalization Group scaling behaviour of the fields. The consistent set of field equations which respect the Bianchi identities is derived and solved. One of the solutions (with conventional sign of temporal-radial metric components) ismore » timelike geodesically complete, and although there is still a curvature divergent origin, this is never approachable by an infalling massive particle which is reflected at a finite distance due to the repulsive origin. Another family of solutions (of both signatures) range from a finite radius outwards, they cannot be extended to the centre of spherical symmetry, and the curvature invariants are finite at the minimum radius.« less

47 CFR 101.701 - Eligibility.

Code of Federal Regulations, 2014 CFR

2014-10-01

... Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.701 Eligibility. (a) Authorizations... the customers (or points of service) on the microwave system involved, including those served through...

47 CFR 101.701 - Eligibility.

Code of Federal Regulations, 2011 CFR

2011-10-01

... Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.701 Eligibility. (a) Authorizations... the customers (or points of service) on the microwave system involved, including those served through...

47 CFR 101.701 - Eligibility.

Code of Federal Regulations, 2013 CFR

2013-10-01

... Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.701 Eligibility. (a) Authorizations... the customers (or points of service) on the microwave system involved, including those served through...

47 CFR 101.701 - Eligibility.

Code of Federal Regulations, 2012 CFR

2012-10-01

... Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.701 Eligibility. (a) Authorizations... the customers (or points of service) on the microwave system involved, including those served through...

Optimal Harvesting in a Periodic Food Chain Model with Size Structures in Predators

DOE Office of Scientific and Technical Information (OSTI.GOV)

Zhang, Feng-Qin, E-mail: zhafq@263.net; Liu, Rong; Chen, Yuming, E-mail: ychen@wlu.ca

In this paper, we investigate a periodic food chain model with harvesting, where the predators have size structures and are described by first-order partial differential equations. First, we establish the existence of a unique non-negative solution by using the Banach fixed point theorem. Then, we provide optimality conditions by means of normal cone and adjoint system. Finally, we derive the existence of an optimal strategy by means of Ekeland’s variational principle. Here the objective functional represents the net economic benefit yielded from harvesting.

Existence, uniqueness, and stability of stochastic neutral functional differential equations of Sobolev-type

DOE Office of Scientific and Technical Information (OSTI.GOV)

Yang, Xuetao; Zhu, Quanxin, E-mail: zqx22@126.com

2015-12-15

In this paper, we are mainly concerned with a class of stochastic neutral functional differential equations of Sobolev-type with Poisson jumps. Under two different sets of conditions, we establish the existence of the mild solution by applying the Leray-Schauder alternative theory and the Sadakovskii’s fixed point theorem, respectively. Furthermore, we use the Bihari’s inequality to prove the Osgood type uniqueness. Also, the mean square exponential stability is investigated by applying the Gronwall inequality. Finally, two examples are given to illustrate the theory results.

Estimation for the Linear Model With Uncertain Covariance Matrices

NASA Astrophysics Data System (ADS)

Zachariah, Dave; Shariati, Nafiseh; Bengtsson, Mats; Jansson, Magnus; Chatterjee, Saikat

2014-03-01

We derive a maximum a posteriori estimator for the linear observation model, where the signal and noise covariance matrices are both uncertain. The uncertainties are treated probabilistically by modeling the covariance matrices with prior inverse-Wishart distributions. The nonconvex problem of jointly estimating the signal of interest and the covariance matrices is tackled by a computationally efficient fixed-point iteration as well as an approximate variational Bayes solution. The statistical performance of estimators is compared numerically to state-of-the-art estimators from the literature and shown to perform favorably.

Cosmology of a covariant Galilean field.

PubMed

De Felice, Antonio; Tsujikawa, Shinji

2010-09-10

We study the cosmology of a covariant scalar field respecting a Galilean symmetry in flat space-time. We show the existence of a tracker solution that finally approaches a de Sitter fixed point responsible for cosmic acceleration today. The viable region of model parameters is clarified by deriving conditions under which ghosts and Laplacian instabilities of scalar and tensor perturbations are absent. The field equation of state exhibits a peculiar phantomlike behavior along the tracker, which allows a possibility to observationally distinguish the Galileon gravity from the cold dark matter model with a cosmological constant.

Precise orbit determination of the Sentinel-3A altimetry satellite using ambiguity-fixed GPS carrier phase observations

NASA Astrophysics Data System (ADS)

Montenbruck, Oliver; Hackel, Stefan; Jäggi, Adrian

2017-11-01

The Sentinel-3 mission takes routine measurements of sea surface heights and depends crucially on accurate and precise knowledge of the spacecraft. Orbit determination with a targeted uncertainty of less than 2 cm in radial direction is supported through an onboard Global Positioning System (GPS) receiver, a Doppler Orbitography and Radiopositioning Integrated by Satellite instrument, and a complementary laser retroreflector for satellite laser ranging. Within this study, the potential of ambiguity fixing for GPS-only precise orbit determination (POD) of the Sentinel-3 spacecraft is assessed. A refined strategy for carrier phase generation out of low-level measurements is employed to cope with half-cycle ambiguities in the tracking of the Sentinel-3 GPS receiver that have so far inhibited ambiguity-fixed POD solutions. Rather than explicitly fixing double-difference phase ambiguities with respect to a network of terrestrial reference stations, a single-receiver ambiguity resolution concept is employed that builds on dedicated GPS orbit, clock, and wide-lane bias products provided by the CNES/CLS (Centre National d'Études Spatiales/Collecte Localisation Satellites) analysis center of the International GNSS Service. Compared to float ambiguity solutions, a notably improved precision can be inferred from laser ranging residuals. These decrease from roughly 9 mm down to 5 mm standard deviation for high-grade stations on average over low and high elevations. Furthermore, the ambiguity-fixed orbits offer a substantially improved cross-track accuracy and help to identify lateral offsets in the GPS antenna or center-of-mass (CoM) location. With respect to altimetry, the improved orbit precision also benefits the global consistency of sea surface measurements. However, modeling of the absolute height continues to rely on proper dynamical models for the spacecraft motion as well as ground calibrations for the relative position of the altimeter reference point and the CoM.

Stability analysis of an autocatalytic protein model

NASA Astrophysics Data System (ADS)

Lee, Julian

2016-05-01

A self-regulatory genetic circuit, where a protein acts as a positive regulator of its own production, is known to be the simplest biological network with a positive feedback loop. Although at least three components—DNA, RNA, and the protein—are required to form such a circuit, stability analysis of the fixed points of this self-regulatory circuit has been performed only after reducing the system to a two-component system, either by assuming a fast equilibration of the DNA component or by removing the RNA component. Here, stability of the fixed points of the three-component positive feedback loop is analyzed by obtaining eigenvalues of the full three-dimensional Hessian matrix. In addition to rigorously identifying the stable fixed points and saddle points, detailed information about the system can be obtained, such as the existence of complex eigenvalues near a fixed point.

Fixed-point theorems for families of weakly non-expansive maps

NASA Astrophysics Data System (ADS)

Mai, Jie-Hua; Liu, Xin-He

2007-10-01

In this paper, we present some fixed-point theorems for families of weakly non-expansive maps under some relatively weaker and more general conditions. Our results generalize and improve several results due to Jungck [G. Jungck, Fixed points via a generalized local commutativity, Int. J. Math. Math. Sci. 25 (8) (2001) 497-507], Jachymski [J. Jachymski, A generalization of the theorem by Rhoades and Watson for contractive type mappings, Math. Japon. 38 (6) (1993) 1095-1102], Guo [C. Guo, An extension of fixed point theorem of Krasnoselski, Chinese J. Math. (P.O.C.) 21 (1) (1993) 13-20], Rhoades [B.E. Rhoades, A comparison of various definitions of contractive mappings, Trans. Amer. Math. Soc. 226 (1977) 257-290], and others.

Common Coupled Fixed Point Theorems for Two Hybrid Pairs of Mappings under φ-ψ Contraction

PubMed Central

Handa, Amrish

2014-01-01

We introduce the concept of (EA) property and occasional w-compatibility for hybrid pair F : X × X → 2X and f : X → X. We also introduce common (EA) property for two hybrid pairs F, G : X → 2X and f, g : X → X. We establish some common coupled fixed point theorems for two hybrid pairs of mappings under φ-ψ contraction on noncomplete metric spaces. An example is also given to validate our results. We improve, extend and generalize several known results. The results of this paper generalize the common fixed point theorems for hybrid pairs of mappings and essentially contain fixed point theorems for hybrid pair of mappings. PMID:27340688

Trivial dynamics in discrete-time systems: carrying simplex and translation arcs

NASA Astrophysics Data System (ADS)

Niu, Lei; Ruiz-Herrera, Alfonso

2018-06-01

In this paper we show that the dynamical behavior in (first octant) of the classical Kolmogorov systems of competitive type admitting a carrying simplex can be sometimes determined completely by the number of fixed points on the boundary and the local behavior around them. Roughly speaking, T has trivial dynamics (i.e. the omega limit set of any orbit is a connected set contained in the set of fixed points) provided T has exactly four hyperbolic nontrivial fixed points in with local attractors on the carrying simplex and local repellers on the carrying simplex; and there exists a unique hyperbolic fixed point in Int. Our results are applied to some classical models including the Leslie–Gower models, Atkinson-Allen systems and Ricker maps.

47 CFR 101.101 - Frequency availability.

Code of Federal Regulations, 2011 CFR

2011-10-01

... Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE... Television Relay Service—(Part 78) CC: Common Carrier Fixed Point-to-Point Microwave Service—(Part 101...-Point Microwave Service—(Part 101, Subparts C & H) PCS: Personal Communications Service—(Part 24) PET...

Liquidus slopes of impurities in ITS-90 fixed points from the mercury point to the copper point in the low concentration limit

NASA Astrophysics Data System (ADS)

Pearce, Jonathan V.; Gisby, John A.; Steur, Peter P. M.

2016-08-01

A knowledge of the effect of impurities at the level of parts per million on the freezing temperature of very pure metals is essential for realisation of ITS-90 fixed points. New information has become available for use with the thermodynamic modelling software MTDATA, permitting calculation of liquidus slopes, in the low concentration limit, of a wider range of binary alloy systems than was previously possible. In total, calculated values for 536 binary systems are given. In addition, new experimental determinations of phase diagrams, in the low impurity concentration limit, have recently appeared. All available data have been combined to provide a comprehensive set of liquidus slopes for impurities in ITS-90 metal fixed points. In total, liquidus slopes for 838 systems are tabulated for the fixed points Hg, Ga, In, Sn, Zn, Al, Ag, Au, and Cu. It is shown that the value of the liquidus slope as a function of impurity element atomic number can be approximated using a simple formula, and good qualitative agreement with the existing data is observed for the fixed points Al, Ag, Au and Cu, but curiously the formula is not applicable to the fixed points Hg, Ga, In, Sn, and Zn. Some discussion is made concerning the influence of oxygen on the liquidus slopes, and some calculations using MTDATA are discussed. The BIPM’s consultative committee for thermometry has long recognised that the sum of individual estimates method is the ideal approach for assessing uncertainties due to impurities, but the community has been largely powerless to use the model due to lack of data. Here, not only is data provided, but a simple model is given to enable known thermophysical data to be used directly to estimate impurity effects for a large fraction of the ITS-90 fixed points.

47 CFR 101.107 - Frequency tolerance.

Code of Federal Regulations, 2014 CFR

2014-10-01

... Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE...-point microwave and stations providing MVDDS. 5 For private operational fixed point-to-point microwave... noted in the table of paragraph (a) of this section. (b) Heterodyne microwave radio systems may be...

47 CFR 101.107 - Frequency tolerance.

Code of Federal Regulations, 2012 CFR

2012-10-01

... Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE...-point microwave and stations providing MVDDS. 5 For private operational fixed point-to-point microwave... noted in the table of paragraph (a) of this section. (b) Heterodyne microwave radio systems may be...

47 CFR 101.107 - Frequency tolerance.

Code of Federal Regulations, 2013 CFR

2013-10-01

... Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE...-point microwave and stations providing MVDDS. 5 For private operational fixed point-to-point microwave... noted in the table of paragraph (a) of this section. (b) Heterodyne microwave radio systems may be...

Modulated amplitude waves in collisionally inhomogeneous Bose Einstein condensates

NASA Astrophysics Data System (ADS)

Porter, Mason A.; Kevrekidis, P. G.; Malomed, Boris A.; Frantzeskakis, D. J.

2007-05-01

We investigate the dynamics of an effectively one-dimensional Bose-Einstein condensate (BEC) with scattering length a subjected to a spatially periodic modulation, a=a(x)=a(x+L). This “collisionally inhomogeneous” BEC is described by a Gross-Pitaevskii (GP) equation whose nonlinearity coefficient is a periodic function of x. We transform this equation into a GP equation with a constant coefficient and an additional effective potential and study a class of extended wave solutions of the transformed equation. For weak underlying inhomogeneity, the effective potential takes a form resembling a superlattice, and the amplitude dynamics of the solutions of the constant-coefficient GP equation obey a nonlinear generalization of the Ince equation. In the small-amplitude limit, we use averaging to construct analytical solutions for modulated amplitude waves (MAWs), whose stability we subsequently examine using both numerical simulations of the original GP equation and fixed-point computations with the MAWs as numerically exact solutions. We show that “on-site” solutions, whose maxima correspond to maxima of a(x), are more robust and likely to be observed than their “off-site” counterparts.

IIB duals of D = 3 {N} = 4 circular quivers

NASA Astrophysics Data System (ADS)

Assel, Benjamin; Bachas, Costas; Estes, John; Gomis, Jaume

2012-12-01

We construct the type-IIB AdS4 ⋉ K supergravity solutions which are dual to the three-dimensional {N} = 4 superconformal field theories that arise as infrared fixed points of circular-quiver gauge theories. These superconformal field theories are labeled by a triple ( {ρ, hat{ρ},L} ) subject to constraints, where ρ and hat{ρ} are two partitions of a number N, and L is a positive integer. We show that in the limit of large L the localized five- branes in our solutions are effectively smeared, and these type-IIB solutions are dual to the near-horizon geometry of M-theory M2-branes at a {{{{{{C}}^4}}} / {{( {{Z_k}× {Z_{widehat{k}}}} )}} .} orbifold singularity. Our IIB solutions resolve the singularity into localized five-brane throats, without breaking the conformal symmetry. The constraints satisfied by the triple ( {ρ, hat{ρ},L} ) , together with the enhanced non-abelian flavour symmetries of the superconformal field theories are precisely reproduced by the type-IIB supergravity solutions. As a bonus, we uncover a novel type of "orbifold equivalence" between different quantum field theories and provide quantitative evidence for this equivalence.

Competition Between Transients in the Rate of Approach to a Fixed Point

NASA Astrophysics Data System (ADS)

Day, Judy; Rubin, Jonathan E.; Chow, Carson C.

2009-01-01

The goal of this paper is to provide and apply tools for analyzing a specific aspect of transient dynamics not covered by previous theory. The question we address is whether one component of a perturbed solution to a system of differential equations can overtake the corresponding component of a reference solution as both converge to a stable node at the origin, given that the perturbed solution was initially farther away and that both solutions are nonnegative for all time. We call this phenomenon tolerance, for its relation to a biological effect. We show using geometric arguments that tolerance will exist in generic linear systems with a complete set of eigenvectors and in excitable nonlinear systems. We also define a notion of inhibition that may constrain the regions in phase space where the possibility of tolerance arises in general systems. However, these general existence theorems do not not yield an assessment of tolerance for specific initial conditions. To address that issue, we develop some analytical tools for determining if particular perturbed and reference solution initial conditions will exhibit tolerance.

Assessing the effectiveness of 30% sodium chloride aqueous solution for the preservation of fixed anatomical specimens: a 5-year follow-up study.

PubMed

de Oliveira, Fabrício Singaretti

2014-07-01

Anatomical specimens used in human or veterinary anatomy laboratories are usually prepared with formaldehyde (a cancerous and teratogenic substance), glycerin (an expensive and viscous fluid), or ethanol (which is flammable). This research aimed to verify the viability of an aqueous 30% sodium chloride solution for preservation of anatomical specimens previously fixed with formaldehyde. Anatomical specimens of ruminant, carnivorous, equine, swine and birds were used. All were previously fixed with an aqueous 20% formaldehyde solution and held for 7 days in a 10% aqueous solution of the same active ingredient. During the first phase of the experiment, small specimens of animal tissue previously fixed in formaldehyde were distributed in vials with different concentrations of formaldehyde, with or without 30% sodium chloride solution, a group containing only 30% sodium chloride, and a control group containing only water. During this phase, no contamination was observed in any specimen containing 30% sodium chloride solution, whether alone or in combination with different concentrations of formaldehyde. In the second phase of the experiment, the 30% sodium chloride solution, found to be optimal in the first phase of the experiment, was tested for its long-term preservation properties. For a period of 5 years, the preserved specimens were evaluated three times a week for visual contamination, odors, and changes in color and texture. There was no visual contamination or decay found in any specimen. Furthermore, no strange odors, or changes in color or softness were noted. The 30% sodium chloride solution was determined to be effective in the preservation of anatomic specimens previously fixed in formaldehyde. © 2014 Anatomical Society.

Assessing the effectiveness of 30% sodium chloride aqueous solution for the preservation of fixed anatomical specimens: a 5-year follow-up study

PubMed Central

de Oliveira, Fabrício Singaretti

2014-01-01

Anatomical specimens used in human or veterinary anatomy laboratories are usually prepared with formaldehyde (a cancerous and teratogenic substance), glycerin (an expensive and viscous fluid), or ethanol (which is flammable). This research aimed to verify the viability of an aqueous 30% sodium chloride solution for preservation of anatomical specimens previously fixed with formaldehyde. Anatomical specimens of ruminant, carnivorous, equine, swine and birds were used. All were previously fixed with an aqueous 20% formaldehyde solution and held for 7 days in a 10% aqueous solution of the same active ingredient. During the first phase of the experiment, small specimens of animal tissue previously fixed in formaldehyde were distributed in vials with different concentrations of formaldehyde, with or without 30% sodium chloride solution, a group containing only 30% sodium chloride, and a control group containing only water. During this phase, no contamination was observed in any specimen containing 30% sodium chloride solution, whether alone or in combination with different concentrations of formaldehyde. In the second phase of the experiment, the 30% sodium chloride solution, found to be optimal in the first phase of the experiment, was tested for its long-term preservation properties. For a period of 5 years, the preserved specimens were evaluated three times a week for visual contamination, odors, and changes in color and texture. There was no visual contamination or decay found in any specimen. Furthermore, no strange odors, or changes in color or softness were noted. The 30% sodium chloride solution was determined to be effective in the preservation of anatomic specimens previously fixed in formaldehyde. PMID:24762210

Renorming c0 and closed, bounded, convex sets with fixed point property for affine nonexpansive mappings

NASA Astrophysics Data System (ADS)

Nezir, Veysel; Mustafa, Nizami

2017-04-01

In 2008, P.K. Lin provided the first example of a nonreflexive space that can be renormed to have fixed point property for nonexpansive mappings. This space was the Banach space of absolutely summable sequences l1 and researchers aim to generalize this to c0, Banach space of null sequences. Before P.K. Lin's intriguing result, in 1979, Goebel and Kuczumow showed that there is a large class of non-weak* compact closed, bounded, convex subsets of l1 with fixed point property for nonexpansive mappings. Then, P.K. Lin inspired by Goebel and Kuczumow's ideas to give his result. Similarly to P.K. Lin's study, Hernández-Linares worked on L1 and in his Ph.D. thesis, supervisored under Maria Japón, showed that L1 can be renormed to have fixed point property for affine nonexpansive mappings. Then, related questions for c0 have been considered by researchers. Recently, Nezir constructed several equivalent norms on c0 and showed that there are non-weakly compact closed, bounded, convex subsets of c0 with fixed point property for affine nonexpansive mappings. In this study, we construct a family of equivalent norms containing those developed by Nezir as well and show that there exists a large class of non-weakly compact closed, bounded, convex subsets of c0 with fixed point property for affine nonexpansive mappings.

Interaction of breathing localized solutions for subcritical bifurcations

DOE Office of Scientific and Technical Information (OSTI.GOV)

Deissler, R.J.; Brand, H.R.

1995-06-12

We discuss interactions of spatially localized solutions, which breathe in the modulus, for coupled quintic complex Ginzburg-Landau equations. The interaction behavior is much richer than and qualitatively different from that of the fixed-shape solutions reported previously. The outcome of a collision can depend on the initial conditions, and, in particular, {ital sensitively} on the initial conditions for {ital chaotic} solutions, even though parameter values are unchanged. The novelty of these interactions, as compared to those of the fixed-shape solutions and to those of solitons is emphasized.

Analyzing survival curves at a fixed point in time for paired and clustered right-censored data

PubMed Central

Su, Pei-Fang; Chi, Yunchan; Lee, Chun-Yi; Shyr, Yu; Liao, Yi-De

2018-01-01

In clinical trials, information about certain time points may be of interest in making decisions about treatment effectiveness. Rather than comparing entire survival curves, researchers can focus on the comparison at fixed time points that may have a clinical utility for patients. For two independent samples of right-censored data, Klein et al. (2007) compared survival probabilities at a fixed time point by studying a number of tests based on some transformations of the Kaplan-Meier estimators of the survival function. However, to compare the survival probabilities at a fixed time point for paired right-censored data or clustered right-censored data, their approach would need to be modified. In this paper, we extend the statistics to accommodate the possible within-paired correlation and within-clustered correlation, respectively. We use simulation studies to present comparative results. Finally, we illustrate the implementation of these methods using two real data sets. PMID:29456280

Efficient Implementation of an Optimal Interpolator for Large Spatial Data Sets

NASA Technical Reports Server (NTRS)

Memarsadeghi, Nargess; Mount, David M.

2007-01-01

Scattered data interpolation is a problem of interest in numerous areas such as electronic imaging, smooth surface modeling, and computational geometry. Our motivation arises from applications in geology and mining, which often involve large scattered data sets and a demand for high accuracy. The method of choice is ordinary kriging. This is because it is a best unbiased estimator. Unfortunately, this interpolant is computationally very expensive to compute exactly. For n scattered data points, computing the value of a single interpolant involves solving a dense linear system of size roughly n x n. This is infeasible for large n. In practice, kriging is solved approximately by local approaches that are based on considering only a relatively small'number of points that lie close to the query point. There are many problems with this local approach, however. The first is that determining the proper neighborhood size is tricky, and is usually solved by ad hoc methods such as selecting a fixed number of nearest neighbors or all the points lying within a fixed radius. Such fixed neighborhood sizes may not work well for all query points, depending on local density of the point distribution. Local methods also suffer from the problem that the resulting interpolant is not continuous. Meyer showed that while kriging produces smooth continues surfaces, it has zero order continuity along its borders. Thus, at interface boundaries where the neighborhood changes, the interpolant behaves discontinuously. Therefore, it is important to consider and solve the global system for each interpolant. However, solving such large dense systems for each query point is impractical. Recently a more principled approach to approximating kriging has been proposed based on a technique called covariance tapering. The problems arise from the fact that the covariance functions that are used in kriging have global support. Our implementations combine, utilize, and enhance a number of different approaches that have been introduced in literature for solving large linear systems for interpolation of scattered data points. For very large systems, exact methods such as Gaussian elimination are impractical since they require 0(n(exp 3)) time and 0(n(exp 2)) storage. As Billings et al. suggested, we use an iterative approach. In particular, we use the SYMMLQ method, for solving the large but sparse ordinary kriging systems that result from tapering. The main technical issue that need to be overcome in our algorithmic solution is that the points' covariance matrix for kriging should be symmetric positive definite. The goal of tapering is to obtain a sparse approximate representation of the covariance matrix while maintaining its positive definiteness. Furrer et al. used tapering to obtain a sparse linear system of the form Ax = b, where A is the tapered symmetric positive definite covariance matrix. Thus, Cholesky factorization could be used to solve their linear systems. They implemented an efficient sparse Cholesky decomposition method. They also showed if these tapers are used for a limited class of covariance models, the solution of the system converges to the solution of the original system. Matrix A in the ordinary kriging system, while symmetric, is not positive definite. Thus, their approach is not applicable to the ordinary kriging system. Therefore, we use tapering only to obtain a sparse linear system. Then, we use SYMMLQ to solve the ordinary kriging system. We show that solving large kriging systems becomes practical via tapering and iterative methods, and results in lower estimation errors compared to traditional local approaches, and significant memory savings compared to the original global system. We also developed a more efficient variant of the sparse SYMMLQ method for large ordinary kriging systems. This approach adaptively finds the correct local neighborhood for each query point in the interpolation process.

APMP Scale Comparison with Three Radiation Thermometers and Six Fixed-Point Blackbodies

NASA Astrophysics Data System (ADS)

Yamada, Y.; Shimizu, Y.; Ishii, J.

2015-08-01

New Asia Pacific Metrology Programme (APMP) comparisons of radiation thermometry standards, APMP TS-11, and -12, have recently been initiated. These new APMP comparisons cover the temperature range from to . Three radiation thermometers with central wavelengths of 1.6 , 0.9 , and 0.65 are the transfer devices for the radiation thermometer scale comparison conducted in the so-called star configuration. In parallel, a compact fixed-point blackbody furnace that houses six types of fixed-point cells of In, Sn, Zn, Al, Ag, and Cu is circulated, again in a star-type comparison, to substantiate fixed-point calibration capabilities. Twelve APMP national metrology institutes are taking part in this endeavor, in which the National Metrology Institute of Japan acts as the pilot. In this article, the comparison scheme is described with emphasis on the features of the transfer devices, i.e., the radiation thermometers and the fixed-point blackbodies. Results of preliminary evaluations of the performance and characteristic of these instruments as well as the evaluation method of the comparison results are presented.

Long-Term Stability of WC-C Peritectic Fixed Point

NASA Astrophysics Data System (ADS)

Khlevnoy, B. B.; Grigoryeva, I. A.

2015-03-01

The tungsten carbide-carbon peritectic (WC-C) melting transition is an attractive high-temperature fixed point with a temperature of . Earlier investigations showed high repeatability, small melting range, low sensitivity to impurities, and robustness of WC-C that makes it a prospective candidate for the highest fixed point of the temperature scale. This paper presents further study of the fixed point, namely the investigation of the long-term stability of the WC-C melting temperature. For this purpose, a new WC-C cell of the blackbody type was built using tungsten powder of 99.999 % purity. The stability of the cell was investigated during the cell aging for 50 h at the cell working temperature that tooks 140 melting/freezing cycles. The method of investigation was based on the comparison of the WC-C tested cell with a reference Re-C fixed-point cell that reduces an influence of the probable instability of a radiation thermometer. It was shown that after the aging period, the deviation of the WC-C cell melting temperature was with an uncertainty of.

Renormalization group fixed points of foliated gravity-matter systems

NASA Astrophysics Data System (ADS)

Biemans, Jorn; Platania, Alessia; Saueressig, Frank

2017-05-01

We employ the Arnowitt-Deser-Misner formalism to study the renormalization group flow of gravity minimally coupled to an arbitrary number of scalar, vector, and Dirac fields. The decomposition of the gravitational degrees of freedom into a lapse function, shift vector, and spatial metric equips spacetime with a preferred (Euclidean) "time"- direction. In this work, we provide a detailed derivation of the renormalization group flow of Newton's constant and the cosmological constant on a flat Friedmann-Robertson-Walker background. Adding matter fields, it is shown that their contribution to the flow is the same as in the covariant formulation and can be captured by two parameters d g d λ . We classify the resulting fixed point structure as a function of these parameters finding that the existence of non-Gaussian renormalization group fixed points is rather generic. In particular the matter content of the standard model and its most common extensions gives rise to one non-Gaussian fixed point with real critical exponents suitable for Asymptotic Safety. Moreover, we find non-Gaussian fixed points for any number of scalar matter fields, making the scenario attractive for cosmological model building.

Computing eigenfunctions and eigenvalues of boundary-value problems with the orthogonal spectral renormalization method

NASA Astrophysics Data System (ADS)

Cartarius, Holger; Musslimani, Ziad H.; Schwarz, Lukas; Wunner, Günter

2018-03-01

The spectral renormalization method was introduced in 2005 as an effective way to compute ground states of nonlinear Schrödinger and Gross-Pitaevskii type equations. In this paper, we introduce an orthogonal spectral renormalization (OSR) method to compute ground and excited states (and their respective eigenvalues) of linear and nonlinear eigenvalue problems. The implementation of the algorithm follows four simple steps: (i) reformulate the underlying eigenvalue problem as a fixed-point equation, (ii) introduce a renormalization factor that controls the convergence properties of the iteration, (iii) perform a Gram-Schmidt orthogonalization process in order to prevent the iteration from converging to an unwanted mode, and (iv) compute the solution sought using a fixed-point iteration. The advantages of the OSR scheme over other known methods (such as Newton's and self-consistency) are (i) it allows the flexibility to choose large varieties of initial guesses without diverging, (ii) it is easy to implement especially at higher dimensions, and (iii) it can easily handle problems with complex and random potentials. The OSR method is implemented on benchmark Hermitian linear and nonlinear eigenvalue problems as well as linear and nonlinear non-Hermitian PT -symmetric models.

Iterative direct inversion: An exact complementary solution for inverting fault-slip data to obtain palaeostresses

NASA Astrophysics Data System (ADS)

Mostafa, Mostafa E.

2005-10-01

The present study shows that reconstructing the reduced stress tensor (RST) from the measurable fault-slip data (FSD) and the immeasurable shear stress magnitudes (SSM) is a typical iteration problem. The result of direct inversion of FSD presented by Angelier [1990. Geophysical Journal International 103, 363-376] is considered as a starting point (zero step iteration) where all SSM are assigned constant value ( λ=√{3}/2). By iteration, the SSM and RST update each other until they converge to fixed values. Angelier [1990. Geophysical Journal International 103, 363-376] designed the function upsilon ( υ) and the two estimators: relative upsilon (RUP) and (ANG) to express the divergence between the measured and calculated shear stresses. Plotting individual faults' RUP at successive iteration steps shows that they tend to zero (simulated data) or to fixed values (real data) at a rate depending on the orientation and homogeneity of the data. FSD of related origin tend to aggregate in clusters. Plots of the estimators ANG versus RUP show that by iteration, labeled data points are disposed in clusters about a straight line. These two new plots form the basis of a technique for separating FSD into homogeneous clusters.

Eigensolutions of nonviscously damped systems based on the fixed-point iteration

NASA Astrophysics Data System (ADS)

Lázaro, Mario

2018-03-01

In this paper, nonviscous, nonproportional, symmetric vibrating structures are considered. Nonviscously damped systems present dissipative forces depending on the time history of the response via kernel hereditary functions. Solutions of the free motion equation leads to a nonlinear eigenvalue problem involving mass, stiffness and damping matrices, this latter as dependent on frequency. Viscous damping can be considered as a particular case, involving damping forces as function of the instantaneous velocity of the degrees of freedom. In this work, a new numerical procedure to compute eigensolutions is proposed. The method is based on the construction of certain recursive functions which, under a iterative scheme, allow to reach eigenvalues and eigenvectors simultaneously and avoiding computation of eigensensitivities. Eigenvalues can be read then as fixed-points of those functions. A deep analysis of the convergence is carried out, focusing specially on relating the convergence conditions and error-decay rate to the damping model features, such as the nonproportionality and the viscoelasticity. The method is validated using two 6 degrees of freedom numerical examples involving both nonviscous and viscous damping and a continuous system with a local nonviscous damper. The convergence and the sequences behavior are in agreement with the results foreseen by the theory.

Time-dependent spectral renormalization method

NASA Astrophysics Data System (ADS)

Cole, Justin T.; Musslimani, Ziad H.

2017-11-01

The spectral renormalization method was introduced by Ablowitz and Musslimani (2005) as an effective way to numerically compute (time-independent) bound states for certain nonlinear boundary value problems. In this paper, we extend those ideas to the time domain and introduce a time-dependent spectral renormalization method as a numerical means to simulate linear and nonlinear evolution equations. The essence of the method is to convert the underlying evolution equation from its partial or ordinary differential form (using Duhamel's principle) into an integral equation. The solution sought is then viewed as a fixed point in both space and time. The resulting integral equation is then numerically solved using a simple renormalized fixed-point iteration method. Convergence is achieved by introducing a time-dependent renormalization factor which is numerically computed from the physical properties of the governing evolution equation. The proposed method has the ability to incorporate physics into the simulations in the form of conservation laws or dissipation rates. This novel scheme is implemented on benchmark evolution equations: the classical nonlinear Schrödinger (NLS), integrable PT symmetric nonlocal NLS and the viscous Burgers' equations, each of which being a prototypical example of a conservative and dissipative dynamical system. Numerical implementation and algorithm performance are also discussed.

47 CFR 101.133 - Limitations on use of transmitters.

Code of Federal Regulations, 2011 CFR

2011-10-01

... SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101.133 Limitations on use of transmitters. (a...) Private operational fixed point-to-point microwave stations authorized in this service may communicate...-point microwave licenses may use the same transmitting equipment under the following terms and...

47 CFR 101.133 - Limitations on use of transmitters.

Code of Federal Regulations, 2013 CFR

2013-10-01

... SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101.133 Limitations on use of transmitters. (a...) Private operational fixed point-to-point microwave stations authorized in this service may communicate...-point microwave licenses may use the same transmitting equipment under the following terms and...

47 CFR 101.133 - Limitations on use of transmitters.

Code of Federal Regulations, 2014 CFR

2014-10-01

... SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101.133 Limitations on use of transmitters. (a...) Private operational fixed point-to-point microwave stations authorized in this service may communicate...-point microwave licenses may use the same transmitting equipment under the following terms and...

47 CFR 101.133 - Limitations on use of transmitters.

Code of Federal Regulations, 2012 CFR

2012-10-01

... SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101.133 Limitations on use of transmitters. (a...) Private operational fixed point-to-point microwave stations authorized in this service may communicate...-point microwave licenses may use the same transmitting equipment under the following terms and...

47 CFR 101.133 - Limitations on use of transmitters.

Code of Federal Regulations, 2010 CFR

2010-10-01

... SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101.133 Limitations on use of transmitters. (a...) Private operational fixed point-to-point microwave stations authorized in this service may communicate...-point microwave licenses may use the same transmitting equipment under the following terms and...

Anderson Acceleration for Fixed-Point Iterations

DOE Office of Scientific and Technical Information (OSTI.GOV)

Walker, Homer F.

The purpose of this grant was to support research on acceleration methods for fixed-point iterations, with applications to computational frameworks and simulation problems that are of interest to DOE.

Scalar field cosmologies with inverted potentials

DOE Office of Scientific and Technical Information (OSTI.GOV)

Boisseau, B.; Giacomini, H.; Polarski, D., E-mail: bruno.boisseau@lmpt.univ-tours.fr, E-mail: hector.giacomini@lmpt.univ-tours.fr, E-mail: david.polarski@umontpellier.fr

Regular bouncing solutions in the framework of a scalar-tensor gravity model were found in a recent work. We reconsider the problem in the Einstein frame (EF) in the present work. Singularities arising at the limit of physical viability of the model in the Jordan frame (JF) are either of the Big Bang or of the Big Crunch type in the EF. As a result we obtain integrable scalar field cosmological models in general relativity (GR) with inverted double-well potentials unbounded from below which possess solutions regular in the future, tending to a de Sitter space, and starting with a Bigmore » Bang. The existence of the two fixed points for the field dynamics at late times found earlier in the JF becomes transparent in the EF.« less

New matrix bounds and iterative algorithms for the discrete coupled algebraic Riccati equation

NASA Astrophysics Data System (ADS)

Liu, Jianzhou; Wang, Li; Zhang, Juan

2017-11-01

The discrete coupled algebraic Riccati equation (DCARE) has wide applications in control theory and linear system. In general, for the DCARE, one discusses every term of the coupled term, respectively. In this paper, we consider the coupled term as a whole, which is different from the recent results. When applying eigenvalue inequalities to discuss the coupled term, our method has less error. In terms of the properties of special matrices and eigenvalue inequalities, we propose several upper and lower matrix bounds for the solution of DCARE. Further, we discuss the iterative algorithms for the solution of the DCARE. In the fixed point iterative algorithms, the scope of Lipschitz factor is wider than the recent results. Finally, we offer corresponding numerical examples to illustrate the effectiveness of the derived results.

Side Effects in Time Discounting Procedures: Fixed Alternatives Become the Reference Point

PubMed Central

2016-01-01

Typical research on intertemporal choice utilizes a two-alternative forced choice (2AFC) paradigm requiring participants to choose between a smaller sooner and larger later payoff. In the adjusting-amount procedure (AAP) one of the alternatives is fixed and the other is adjusted according to particular choices made by the participant. Such a method makes the alternatives unequal in status and is speculated to make the fixed alternative a reference point for choices, thereby affecting the decision made. The current study shows that fixing different alternatives in the AAP influences discount rates in intertemporal choices. Specifically, individuals’ (N = 283) choices were affected to just the same extent by merely fixing an alternative as when choices were preceded by scenarios explicitly imposing reference points. PMID:27768759

Resurgent transseries & Dyson–Schwinger equations

DOE Office of Scientific and Technical Information (OSTI.GOV)

Klaczynski, Lutz, E-mail: klacz@mathematik.hu-berlin.de

2016-09-15

We employ resurgent transseries as algebraic tools to investigate two self-consistent Dyson–Schwinger equations, one in Yukawa theory and one in quantum electrodynamics. After a brief but pedagogical review, we derive fixed point equations for the associated anomalous dimensions and insert a moderately generic log-free transseries ansatz to study the possible strictures imposed. While proceeding in various stages, we develop an algebraic method to keep track of the transseries’ coefficients. We explore what conditions must be violated in order to stay clear of fixed point theorems to eschew a unique solution, if so desired, as we explain. An interesting finding ismore » that the flow of data between the different sectors of the transseries shows a pattern typical of resurgence, i.e. the phenomenon that the perturbative sector of the transseries talks to the nonperturbative ones in a one-way fashion. However, our ansatz is not exotic enough as it leads to trivial solutions with vanishing nonperturbative sectors, even when logarithmic monomials are included. We see our result as a harbinger of what future work might reveal about the transseries representations of observables in fully renormalised four-dimensional quantum field theories and adduce a tentative yet to our mind weighty argument as to why one should not expect otherwise. This paper is considerably self-contained. Readers with little prior knowledge are let in on the basic reasons why perturbative series in quantum field theory eventually require an upgrade to transseries. Furthermore, in order to acquaint the reader with the language utilised extensively in this work, we also provide a concise mathematical introduction to grid-based transseries.« less

Far-from-equilibrium attractors and nonlinear dynamical systems approach to the Gubser flow

NASA Astrophysics Data System (ADS)

Behtash, Alireza; Cruz-Camacho, C. N.; Martinez, M.

2018-02-01

The nonequilibrium attractors of systems undergoing Gubser flow within relativistic kinetic theory are studied. In doing so we employ well-established methods of nonlinear dynamical systems which rely on finding the fixed points, investigating the structure of the flow diagrams of the evolution equations, and characterizing the basin of attraction using a Lyapunov function near the stable fixed points. We obtain the attractors of anisotropic hydrodynamics, Israel-Stewart (IS) and transient fluid (DNMR) theories and show that they are indeed nonplanar and the basin of attraction is essentially three dimensional. The attractors of each hydrodynamical model are compared with the one obtained from the exact Gubser solution of the Boltzmann equation within the relaxation time approximation. We observe that the anisotropic hydrodynamics is able to match up to high numerical accuracy the attractor of the exact solution while the second-order hydrodynamical theories fail to describe it. We show that the IS and DNMR asymptotic series expansions diverge and use resurgence techniques to perform the resummation of these divergences. We also comment on a possible link between the manifold of steepest descent paths in path integrals and the basin of attraction for the attractors via Lyapunov functions that opens a new horizon toward an effective field theory description of hydrodynamics. Our findings indicate that the reorganization of the expansion series carried out by anisotropic hydrodynamics resums the Knudsen and inverse Reynolds numbers to all orders and thus, it can be understood as an effective theory for the far-from-equilibrium fluid dynamics.

Fixed-Rate Compressed Floating-Point Arrays.

PubMed

Lindstrom, Peter

2014-12-01

Current compression schemes for floating-point data commonly take fixed-precision values and compress them to a variable-length bit stream, complicating memory management and random access. We present a fixed-rate, near-lossless compression scheme that maps small blocks of 4(d) values in d dimensions to a fixed, user-specified number of bits per block, thereby allowing read and write random access to compressed floating-point data at block granularity. Our approach is inspired by fixed-rate texture compression methods widely adopted in graphics hardware, but has been tailored to the high dynamic range and precision demands of scientific applications. Our compressor is based on a new, lifted, orthogonal block transform and embedded coding, allowing each per-block bit stream to be truncated at any point if desired, thus facilitating bit rate selection using a single compression scheme. To avoid compression or decompression upon every data access, we employ a software write-back cache of uncompressed blocks. Our compressor has been designed with computational simplicity and speed in mind to allow for the possibility of a hardware implementation, and uses only a small number of fixed-point arithmetic operations per compressed value. We demonstrate the viability and benefits of lossy compression in several applications, including visualization, quantitative data analysis, and numerical simulation.

Stitching-aware in-design DPT auto fixing for sub-20nm logic devices

NASA Astrophysics Data System (ADS)

Choi, Soo-Han; Sai Krishna, K. V. V. S.; Pemberton-Smith, David

2017-03-01

As the technology continues to shrink below 20nm, Double Patterning Technology (DPT) becomes one of the mandatory solutions for routing metal layers. From the view point of Place and Route (P&R), the major concerns are how to prevent DPT odd-cycles automatically without sacrificing chip area. Even though the leading-edge P&R tools have advanced algorithms to prevent DPT odd-cycles, it is very hard to prevent the localized DPT odd-cycles, especially in Engineering Change Order (ECO) routing. In the last several years, we developed In-design DPT Auto Fixing method in order to reduce localized DPT odd-cycles significantly during ECO and could achieve remarkable design Turn-Around Times (TATs). But subsequently, as the design complexity continued increasing and chip size continued decreasing, we needed a new In-design DPT Auto Fixing approach to improve the auto. fixing rate. In this paper, we present the Stitching-Aware In-design DPT Auto Fixing method for better fixing rates and smaller chip design. The previous In-design DPT Auto Fixing method detected all DPT odd-cycles and tried to remove oddcycles by increasing the adjacent space. As the metal congestions increase in the newer technology nodes, the older Auto Fixing method has limitations to increase the adjacent space between routing metals. Consequently, the auto fixing rate of older method gets worse with the introduction of the smaller design rules. With DPT stitching enablement at In-design DRC checking procedure, the new Stitching-Aware DPT Auto Fixing method detects the most critical odd-cycles and revolve the odd-cycles automatically. The accuracy of new flow ensures better usage of space in the congested areas, and helps design more smaller chips. By applying the Stitching-Aware DPT Auto Fixing method to sub-20nm logic devices, we can confirm that the auto fixing rate is improved by 2X compared with auto fixing without stitching. Additionally, by developing the better heuristic algorithm and flow for DPT stitching, we can get DPT compliant layout with the acceptable design TATs.

Infrared fixed point of SU(2) gauge theory with six flavors

NASA Astrophysics Data System (ADS)

Leino, Viljami; Rummukainen, Kari; Suorsa, Joni; Tuominen, Kimmo; Tähtinen, Sara

2018-06-01

We compute the running of the coupling in SU(2) gauge theory with six fermions in the fundamental representation of the gauge group. We find strong evidence that this theory has an infrared stable fixed point at strong coupling and measure also the anomalous dimension of the fermion mass operator at the fixed point. This theory therefore likely lies close to the boundary of the conformal window and will display novel infrared dynamics if coupled with the electroweak sector of the Standard Model.

Study on the fixed point in crustal deformation before strong earthquake

NASA Astrophysics Data System (ADS)

Niu, A.; Li, Y.; Yan, W. Mr

2017-12-01

Usually, scholars believe that the fault pre-sliding or expansion phenomenon will be observed near epicenter area before strong earthquake, but more and more observations show that the crust deformation nearby epicenter area is smallest(Zhou, 1997; Niu,2009,2012;Bilham, 2005; Amoruso et al., 2010). The theory of Fixed point t is a branch of mathematics that arises from the theory of topological transformation and has important applications in obvious model analysis. An important precursory was observed by two tilt-meter sets, installed at Wenchuan Observatory in the epicenter area, that the tilt changes were the smallest compared with the other 8 stations around them in one year before the Wenchuan earthquake. To subscribe the phenomenon, we proposed the minimum annual variation range that used as a topological transformation. The window length is 1 year, and the sliding length is 1 day. The convergence of points with minimum annual change in the 3 years before the Wenchuan earthquake is studied. And the results show that the points with minimum deformation amplitude basically converge to the epicenter region before the earthquake. The possible mechanism of fixed point of crustal deformation was explored. Concerning the fixed point of crust deformation, the liquidity of lithospheric medium and the isostasy theory are accepted by many scholars (Bott &Dean, 1973; Merer et al.1988; Molnar et al., 1975,1978; Tapponnier et al., 1976; Wang et al., 2001). To explain the fixed point of crust deformation before earthquakes, we study the plate bending model (Bai, et al., 2003). According to plate bending model and real deformation data, we have found that the earthquake rupture occurred around the extreme point of plate bending, where the velocities of displacement, tilt, strain, gravity and so on are close to zero, and the fixed points are located around the epicenter.The phenomenon of fixed point of crust deformation is different from former understandings about the earthquake rupture precursor. 1) The observations for crust deformation in natural conditions are different with dry and static experiments, and the former had the meaning of stress wave.2)The earthquake rupture has a special triggering mechanism that is different from the experiment with limited scale rock fracture.

Singular boundary method for global gravity field modelling

NASA Astrophysics Data System (ADS)

Cunderlik, Robert

2014-05-01

The singular boundary method (SBM) and method of fundamental solutions (MFS) are meshless boundary collocation techniques that use the fundamental solution of a governing partial differential equation (e.g. the Laplace equation) as their basis functions. They have been developed to avoid singular numerical integration as well as mesh generation in the traditional boundary element method (BEM). SBM have been proposed to overcome a main drawback of MFS - its controversial fictitious boundary outside the domain. The key idea of SBM is to introduce a concept of the origin intensity factors that isolate singularities of the fundamental solution and its derivatives using some appropriate regularization techniques. Consequently, the source points can be placed directly on the real boundary and coincide with the collocation nodes. In this study we deal with SBM applied for high-resolution global gravity field modelling. The first numerical experiment presents a numerical solution to the fixed gravimetric boundary value problem. The achieved results are compared with the numerical solutions obtained by MFS or the direct BEM indicating efficiency of all methods. In the second numerical experiments, SBM is used to derive the geopotential and its first derivatives from the Tzz components of the gravity disturbing tensor observed by the GOCE satellite mission. A determination of the origin intensity factors allows to evaluate the disturbing potential and gravity disturbances directly on the Earth's surface where the source points are located. To achieve high-resolution numerical solutions, the large-scale parallel computations are performed on the cluster with 1TB of the distributed memory and an iterative elimination of far zones' contributions is applied.

Improvements in the realization of the ITS-90 over the temperature range from the melting point of gallium to the freezing point of silver at NIM

DOE Office of Scientific and Technical Information (OSTI.GOV)

Sun, J.; Zhang, J. T.; Ping, Q.

2013-09-11

The temperature primary standard over the range from the melting point of gallium to the freezing point of silver in National institute of Metrology (NIM), China, was established in the early 1990s. The performance of all of fixed-point furnaces degraded and needs to be updated due to many years of use. Nowadays, the satisfactory fixed point materials can be available with the development of the modern purification techniques. NIM plans to use a group of three cells for each defining fixed point temperature. In this way the eventual drift of individual cells can be evidenced by periodic intercomparison and thismore » will increase the reliability in disseminating the ITS-90 in China. This article describes the recent improvements in realization of ITS-90 over temperature range from the melting point of gallium to the freezing point of silver at NIM. Taking advantages of the technological advances in the design and manufacture of furnaces, the new three-zone furnaces and the open-type fixed points were developed from the freezing point of indium to the freezing point of silver, and a furnace with the three-zone semiconductor cooling was designed to automatically realize the melting point of gallium. The reproducibility of the new melting point of gallium and the new open-type freezing points of In, Sn, Zn. Al and Ag is improved, especially the freezing points of Al and Ag with the reproducibility of 0.2mK and 0.5mK respectively. The expanded uncertainty in the realization of these defining fixed point temperatures is 0.34mK, 0.44mK, 0.54mK, 0.60mK, 1.30mK and 1.88mK respectively.« less

Tightly Coupled Integration of GPS Ambiguity Fixed Precise Point Positioning and MEMS-INS through a Troposphere-Constrained Adaptive Kalman Filter

PubMed Central

Han, Houzeng; Xu, Tianhe; Wang, Jian

2016-01-01

Precise Point Positioning (PPP) makes use of the undifferenced pseudorange and carrier phase measurements with ionospheric-free (IF) combinations to achieve centimeter-level positioning accuracy. Conventionally, the IF ambiguities are estimated as float values. To improve the PPP positioning accuracy and shorten the convergence time, the integer phase clock model with between-satellites single-difference (BSSD) operation is used to recover the integer property. However, the continuity and availability of stand-alone PPP is largely restricted by the observation environment. The positioning performance will be significantly degraded when GPS operates under challenging environments, if less than five satellites are present. A commonly used approach is integrating a low cost inertial sensor to improve the positioning performance and robustness. In this study, a tightly coupled (TC) algorithm is implemented by integrating PPP with inertial navigation system (INS) using an Extended Kalman filter (EKF). The navigation states, inertial sensor errors and GPS error states are estimated together. The troposphere constrained approach, which utilizes external tropospheric delay as virtual observation, is applied to further improve the ambiguity-fixed height positioning accuracy, and an improved adaptive filtering strategy is implemented to improve the covariance modelling considering the realistic noise effect. A field vehicular test with a geodetic GPS receiver and a low cost inertial sensor was conducted to validate the improvement on positioning performance with the proposed approach. The results show that the positioning accuracy has been improved with inertial aiding. Centimeter-level positioning accuracy is achievable during the test, and the PPP/INS TC integration achieves a fast re-convergence after signal outages. For troposphere constrained solutions, a significant improvement for the height component has been obtained. The overall positioning accuracies of the height component are improved by 30.36%, 16.95% and 24.07% for three different convergence times, i.e., 60, 50 and 30 min, respectively. It shows that the ambiguity-fixed horizontal positioning accuracy has been significantly improved. When compared with the conventional PPP solution, it can be seen that position accuracies are improved by 19.51%, 61.11% and 23.53% for the north, east and height components, respectively, after one hour convergence through the troposphere constraint fixed PPP/INS with adaptive covariance model. PMID:27399721

Nonlinear Resonance and Duffing's Spring Equation

ERIC Educational Resources Information Center

Fay, Temple H.

2006-01-01

This note discusses the boundary in the frequency--amplitude plane for boundedness of solutions to the forced spring Duffing type equation. For fixed initial conditions and fixed parameter [epsilon] results are reported of a systematic numerical investigation on the global stability of solutions to the initial value problem as the parameters F and…

Design of an advanced flight planning system

NASA Technical Reports Server (NTRS)

Sorensen, J. A.; Goka, T.

1985-01-01

The demand for both fuel conservation and four-dimensional traffic management require that the preflight planning process be designed to account for advances in airborne flight management and weather forecasting. The steps and issues in designing such an advanced flight planning system are presented. Focus is placed on the different optimization options for generating the three-dimensional reference path. For the cruise phase, one can use predefined jet routes, direct routes based on a network of evenly spaced grid points, or a network where the grid points are existing navaid locations. Each choice has its own problem in determining an optimum solution. Finding the reference path is further complicated by choice of cruise altitude levels, use of a time-varying weather field, and requiring a fixed time-of-arrival (four-dimensional problem).

47 CFR 101.143 - Minimum path length requirements.

Code of Federal Regulations, 2011 CFR

2011-10-01

... SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101.143 Minimum path length requirements. (a) The... carrier fixed point-to-point microwave services must equal or exceed the value set forth in the table...

47 CFR 101.143 - Minimum path length requirements.

Code of Federal Regulations, 2012 CFR

2012-10-01

... SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101.143 Minimum path length requirements. (a) The... carrier fixed point-to-point microwave services must equal or exceed the value set forth in the table...

47 CFR 101.143 - Minimum path length requirements.

Code of Federal Regulations, 2014 CFR

2014-10-01

... SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101.143 Minimum path length requirements. (a) The... carrier fixed point-to-point microwave services must equal or exceed the value set forth in the table...

47 CFR 101.143 - Minimum path length requirements.

Code of Federal Regulations, 2010 CFR

2010-10-01

... SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101.143 Minimum path length requirements. (a) The... carrier fixed point-to-point microwave services must equal or exceed the value set forth in the table...

47 CFR 101.143 - Minimum path length requirements.

Code of Federal Regulations, 2013 CFR

2013-10-01

... SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101.143 Minimum path length requirements. (a) The... carrier fixed point-to-point microwave services must equal or exceed the value set forth in the table...

Fixed point theorems for generalized contractions in ordered metric spaces

NASA Astrophysics Data System (ADS)

O'Regan, Donal; Petrusel, Adrian

2008-05-01

The purpose of this paper is to present some fixed point results for self-generalized contractions in ordered metric spaces. Our results generalize and extend some recent results of A.C.M. Ran, M.C. Reurings [A.C.M. Ran, MEC. Reurings, A fixed point theorem in partially ordered sets and some applications to matrix equations, Proc. Amer. Math. Soc. 132 (2004) 1435-1443], J.J. Nieto, R. Rodríguez-López [J.J. Nieto, R. Rodríguez-López, Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations, Order 22 (2005) 223-239; J.J. Nieto, R. Rodríguez-López, Existence and uniqueness of fixed points in partially ordered sets and applications to ordinary differential equations, Acta Math. Sin. (Engl. Ser.) 23 (2007) 2205-2212], J.J. Nieto, R.L. Pouso, R. Rodríguez-López [J.J. Nieto, R.L. Pouso, R. Rodríguez-López, Fixed point theorem theorems in ordered abstract sets, Proc. Amer. Math. Soc. 135 (2007) 2505-2517], A. Petrusel, I.A. Rus [A. Petrusel, I.A. Rus, Fixed point theorems in ordered L-spaces, Proc. Amer. Math. Soc. 134 (2006) 411-418] and R.P. Agarwal, M.A. El-Gebeily, D. O'Regan [R.P. Agarwal, M.A. El-Gebeily, D. O'Regan, Generalized contractions in partially ordered metric spaces, Appl. Anal., in press]. As applications, existence and uniqueness results for Fredholm and Volterra type integral equations are given.

Accelerated perturbation-resilient block-iterative projection methods with application to image reconstruction

PubMed Central

Nikazad, T; Davidi, R; Herman, G. T.

2013-01-01

We study the convergence of a class of accelerated perturbation-resilient block-iterative projection methods for solving systems of linear equations. We prove convergence to a fixed point of an operator even in the presence of summable perturbations of the iterates, irrespective of the consistency of the linear system. For a consistent system, the limit point is a solution of the system. In the inconsistent case, the symmetric version of our method converges to a weighted least squares solution. Perturbation resilience is utilized to approximate the minimum of a convex functional subject to the equations. A main contribution, as compared to previously published approaches to achieving similar aims, is a more than an order of magnitude speed-up, as demonstrated by applying the methods to problems of image reconstruction from projections. In addition, the accelerated algorithms are illustrated to be better, in a strict sense provided by the method of statistical hypothesis testing, than their unaccelerated versions for the task of detecting small tumors in the brain from X-ray CT projection data. PMID:23440911

Accelerated perturbation-resilient block-iterative projection methods with application to image reconstruction.

PubMed

Nikazad, T; Davidi, R; Herman, G T

2012-03-01

We study the convergence of a class of accelerated perturbation-resilient block-iterative projection methods for solving systems of linear equations. We prove convergence to a fixed point of an operator even in the presence of summable perturbations of the iterates, irrespective of the consistency of the linear system. For a consistent system, the limit point is a solution of the system. In the inconsistent case, the symmetric version of our method converges to a weighted least squares solution. Perturbation resilience is utilized to approximate the minimum of a convex functional subject to the equations. A main contribution, as compared to previously published approaches to achieving similar aims, is a more than an order of magnitude speed-up, as demonstrated by applying the methods to problems of image reconstruction from projections. In addition, the accelerated algorithms are illustrated to be better, in a strict sense provided by the method of statistical hypothesis testing, than their unaccelerated versions for the task of detecting small tumors in the brain from X-ray CT projection data.

On global solutions of the random Hamilton-Jacobi equations and the KPZ problem

NASA Astrophysics Data System (ADS)

Bakhtin, Yuri; Khanin, Konstantin

2018-04-01

In this paper, we discuss possible qualitative approaches to the problem of KPZ universality. Throughout the paper, our point of view is based on the geometrical and dynamical properties of minimisers and shocks forming interlacing tree-like structures. We believe that the KPZ universality can be explained in terms of statistics of these structures evolving in time. The paper is focussed on the setting of the random Hamilton-Jacobi equations. We formulate several conjectures concerning global solutions and discuss how their properties are connected to the KPZ scalings in dimension 1  +  1. In the case of general viscous Hamilton-Jacobi equations with non-quadratic Hamiltonians, we define generalised directed polymers. We expect that their behaviour is similar to the behaviour of classical directed polymers, and present arguments in favour of this conjecture. We also define a new renormalisation transformation defined in purely geometrical terms and discuss conjectural properties of the corresponding fixed points. Most of our conjectures are widely open, and supported by only partial rigorous results for particular models.

Exact phase boundaries and topological phase transitions of the X Y Z spin chain

NASA Astrophysics Data System (ADS)

Jafari, S. A.

2017-07-01

Within the block spin renormalization group, we give a very simple derivation of the exact phase boundaries of the X Y Z spin chain. First, we identify the Ising order along x ̂ or y ̂ as attractive renormalization group fixed points of the Kitaev chain. Then, in a global phase space composed of the anisotropy λ of the X Y interaction and the coupling Δ of the Δ σzσz interaction, we find that the above fixed points remain attractive in the two-dimesional parameter space. We therefore classify the gapped phases of the X Y Z spin chain as: (1) either attracted to the Ising limit of the Kitaev-chain, which in turn is characterized by winding number ±1 , depending on whether the Ising order parameter is along x ̂ or y ̂ directions; or (2) attracted to the charge density wave (CDW) phases of the underlying Jordan-Wigner fermions, which is characterized by zero winding number. We therefore establish that the exact phase boundaries of the X Y Z model in Baxter's solution indeed correspond to topological phase transitions. The topological nature of the phase transitions of the X Y Z model justifies why our analytical solution of the three-site problem that is at the core of the present renormalization group treatment is able to produce the exact phase boundaries of Baxter's solution. We argue that the distribution of the winding numbers between the three Ising phases is a matter of choice of the coordinate system, and therefore the CDW-Ising phase is entitled to host appropriate form of zero modes. We further observe that in the Kitaev-chain the renormalization group flow can be cast into a geometric progression of a properly identified parameter. We show that this new parameter is actually the size of the (Majorana) zero modes.

On the photo-gravitational restricted four-body problem with variable mass

NASA Astrophysics Data System (ADS)

Mittal, Amit; Agarwal, Rajiv; Suraj, Md Sanam; Arora, Monika

2018-05-01

This paper deals with the photo-gravitational restricted four-body problem (PR4BP) with variable mass. Following the procedure given by Gascheau (C. R. 16:393-394, 1843) and Routh (Proc. Lond. Math. Soc. 6:86-97, 1875), the conditions of linear stability of Lagrange triangle solution in the PR4BP are determined. The three radiating primaries having masses m1, m2 and m3 in an equilateral triangle with m2=m3 will be stable as long as they satisfy the linear stability condition of the Lagrangian triangle solution. We have derived the equations of motion of the mentioned problem and observed that there exist eight libration points for a fixed value of parameters γ (m at time t/m at initial time, 0<γ≤1 ), α (the proportionality constant in Jeans' law (Astronomy and Cosmogony, Cambridge University Press, Cambridge, 1928), 0≤α≤2.2), the mass parameter μ=0.005 and radiation parameters qi, (0< qi≤1, i=1, 2, 3). All the libration points are non-collinear if q2≠ q3. It has been observed that the collinear and out-of-plane libration points also exist for q2=q3. In all the cases, each libration point is found to be unstable. Further, zero velocity curves (ZVCs) and Newton-Raphson basins of attraction are also discussed.

Transient and asymptotic behaviour of the binary breakage problem

NASA Astrophysics Data System (ADS)

Mantzaris, Nikos V.

2005-06-01

The general binary breakage problem with power-law breakage functions and two families of symmetric and asymmetric breakage kernels is studied in this work. A useful transformation leads to an equation that predicts self-similar solutions in its asymptotic limit and offers explicit knowledge of the mean size and particle density at each point in dimensionless time. A novel moving boundary algorithm in the transformed coordinate system is developed, allowing the accurate prediction of the full transient behaviour of the system from the initial condition up to the point where self-similarity is achieved, and beyond if necessary. The numerical algorithm is very rapid and its results are in excellent agreement with known analytical solutions. In the case of the symmetric breakage kernels only unimodal, self-similar number density functions are obtained asymptotically for all parameter values and independent of the initial conditions, while in the case of asymmetric breakage kernels, bimodality appears for high degrees of asymmetry and sharp breakage functions. For symmetric and discrete breakage kernels, self-similarity is not achieved. The solution exhibits sustained oscillations with amplitude that depends on the initial condition and the sharpness of the breakage mechanism, while the period is always fixed and equal to ln 2 with respect to dimensionless time.

Continuation of probability density functions using a generalized Lyapunov approach

DOE Office of Scientific and Technical Information (OSTI.GOV)

Baars, S., E-mail: s.baars@rug.nl; Viebahn, J.P., E-mail: viebahn@cwi.nl; Mulder, T.E., E-mail: t.e.mulder@uu.nl

Techniques from numerical bifurcation theory are very useful to study transitions between steady fluid flow patterns and the instabilities involved. Here, we provide computational methodology to use parameter continuation in determining probability density functions of systems of stochastic partial differential equations near fixed points, under a small noise approximation. Key innovation is the efficient solution of a generalized Lyapunov equation using an iterative method involving low-rank approximations. We apply and illustrate the capabilities of the method using a problem in physical oceanography, i.e. the occurrence of multiple steady states of the Atlantic Ocean circulation.

Verification and Planning Based on Coinductive Logic Programming

NASA Technical Reports Server (NTRS)

Bansal, Ajay; Min, Richard; Simon, Luke; Mallya, Ajay; Gupta, Gopal

2008-01-01

Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations [6]. Where induction corresponds to least fixed point's semantics, coinduction corresponds to greatest fixed point semantics. Recently coinduction has been incorporated into logic programming and an elegant operational semantics developed for it [11, 12]. This operational semantics is the greatest fix point counterpart of SLD resolution (SLD resolution imparts operational semantics to least fix point based computations) and is termed co- SLD resolution. In co-SLD resolution, a predicate goal p( t) succeeds if it unifies with one of its ancestor calls. In addition, rational infinite terms are allowed as arguments of predicates. Infinite terms are represented as solutions to unification equations and the occurs check is omitted during the unification process. Coinductive Logic Programming (Co-LP) and Co-SLD resolution can be used to elegantly perform model checking and planning. A combined SLD and Co-SLD resolution based LP system forms the common basis for planning, scheduling, verification, model checking, and constraint solving [9, 4]. This is achieved by amalgamating SLD resolution, co-SLD resolution, and constraint logic programming [13] in a single logic programming system. Given that parallelism in logic programs can be implicitly exploited [8], complex, compute-intensive applications (planning, scheduling, model checking, etc.) can be executed in parallel on multi-core machines. Parallel execution can result in speed-ups as well as in larger instances of the problems being solved. In the remainder we elaborate on (i) how planning can be elegantly and efficiently performed under real-time constraints, (ii) how real-time systems can be elegantly and efficiently model- checked, as well as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution. Implementations of co-SLD resolution as well as preliminary implementations of the planning and verification applications have been developed [4]. Co-LP and Model Checking: The vast majority of properties that are to be verified can be classified into safety properties and liveness properties. It is well known within model checking that safety properties can be verified by reachability analysis, i.e, if a counter-example to the property exists, it can be finitely determined by enumerating all the reachable states of the Kripke structure.

Dark energy as a fixed point of the Einstein Yang-Mills Higgs equations

DOE Office of Scientific and Technical Information (OSTI.GOV)

Rinaldi, Massimiliano, E-mail: massimiliano.rinaldi@unitn.it

We study the Einstein Yang-Mills Higgs equations in the SO(3) representation on a isotropic and homogeneous flat Universe, in the presence of radiation and matter fluids. We map the equations of motion into an autonomous dynamical system of first-order differential equations and we find the equilibrium points. We show that there is only one stable fixed point that corresponds to an accelerated expanding Universe in the future. In the past, instead, there is an unstable fixed point that implies a stiff-matter domination. In between, we find three other unstable fixed points, corresponding, in chronological order, to radiation domination, to mattermore » domination, and, finally, to a transition from decelerated expansion to accelerated expansion. We solve the system numerically and we confirm that there are smooth trajectories that correctly describe the evolution of the Universe, from a remote past dominated by radiation to a remote future dominated by dark energy, passing through a matter-dominated phase.« less

Dark energy as a fixed point of the Einstein Yang-Mills Higgs equations

NASA Astrophysics Data System (ADS)

Rinaldi, Massimiliano

2015-10-01

We study the Einstein Yang-Mills Higgs equations in the SO(3) representation on a isotropic and homogeneous flat Universe, in the presence of radiation and matter fluids. We map the equations of motion into an autonomous dynamical system of first-order differential equations and we find the equilibrium points. We show that there is only one stable fixed point that corresponds to an accelerated expanding Universe in the future. In the past, instead, there is an unstable fixed point that implies a stiff-matter domination. In between, we find three other unstable fixed points, corresponding, in chronological order, to radiation domination, to matter domination, and, finally, to a transition from decelerated expansion to accelerated expansion. We solve the system numerically and we confirm that there are smooth trajectories that correctly describe the evolution of the Universe, from a remote past dominated by radiation to a remote future dominated by dark energy, passing through a matter-dominated phase.

Choice in situations of time-based diminishing returns: immediate versus delayed consequences of action.

PubMed Central

Hackenberg, T D; Hineline, P N

1992-01-01

Pigeons chose between two schedules of food presentation, a fixed-interval schedule and a progressive-interval schedule that began at 0 s and increased by 20 s with each food delivery provided by that schedule. Choosing one schedule disabled the alternate schedule and stimuli until the requirements of the chosen schedule were satisfied, at which point both schedules were again made available. Fixed-interval duration remained constant within individual sessions but varied across conditions. Under reset conditions, completing the fixed-interval schedule not only produced food but also reset the progressive interval to its minimum. Blocks of sessions under the reset procedure were interspersed with sessions under a no-reset procedure, in which the progressive schedule value increased independent of fixed-interval choices. Median points of switching from the progressive to the fixed schedule varied systematically with fixed-interval value, and were consistently lower during reset than during no-reset conditions. Under the latter, each subject's choices of the progressive-interval schedule persisted beyond the point at which its requirements equaled those of the fixed-interval schedule at all but the highest fixed-interval value. Under the reset procedure, switching occurred at or prior to that equality point. These results qualitatively confirm molar analyses of schedule preference and some versions of optimality theory, but they are more adequately characterized by a model of schedule preference based on the cumulated values of multiple reinforcers, weighted in inverse proportion to the delay between the choice and each successive reinforcer. PMID:1548449

Entanglement entropy at infinite-randomness fixed points in higher dimensions.

PubMed

Lin, Yu-Cheng; Iglói, Ferenc; Rieger, Heiko

2007-10-05

The entanglement entropy of the two-dimensional random transverse Ising model is studied with a numerical implementation of the strong-disorder renormalization group. The asymptotic behavior of the entropy per surface area diverges at, and only at, the quantum phase transition that is governed by an infinite-randomness fixed point. Here we identify a double-logarithmic multiplicative correction to the area law for the entanglement entropy. This contrasts with the pure area law valid at the infinite-randomness fixed point in the diluted transverse Ising model in higher dimensions.

Fixed Point Results of Locally Contractive Mappings in Ordered Quasi-Partial Metric Spaces

PubMed Central

Arshad, Muhammad; Ahmad, Jamshaid

2013-01-01

Fixed point results for a self-map satisfying locally contractive conditions on a closed ball in an ordered 0-complete quasi-partial metric space have been established. Instead of monotone mapping, the notion of dominated mappings is applied. We have used weaker metric, weaker contractive conditions, and weaker restrictions to obtain unique fixed points. An example is given which shows that how this result can be used when the corresponding results cannot. Our results generalize, extend, and improve several well-known conventional results. PMID:24062629

Fixed point theorems for generalized α -β-weakly contraction mappings in metric spaces and applications.

PubMed

Latif, Abdul; Mongkolkeha, Chirasak; Sintunavarat, Wutiphol

2014-01-01

We extend the notion of generalized weakly contraction mappings due to Choudhury et al. (2011) to generalized α-β-weakly contraction mappings. We show with examples that our new class of mappings is a real generalization of several known classes of mappings. We also establish fixed point results for such mappings in metric spaces. Applying our new results, we obtain fixed point results on ordinary metric spaces, metric spaces endowed with an arbitrary binary relation, and metric spaces endowed with graph.

Evolution families of conformal mappings with fixed points and the Löwner-Kufarev equation

DOE Office of Scientific and Technical Information (OSTI.GOV)

Goryainov, V V

2015-01-31

The paper is concerned with evolution families of conformal mappings of the unit disc to itself that fix an interior point and a boundary point. Conditions are obtained for the evolution families to be differentiable, and an existence and uniqueness theorem for an evolution equation is proved. A convergence theorem is established which describes the topology of locally uniform convergence of evolution families in terms of infinitesimal generating functions. The main result in this paper is the embedding theorem which shows that any conformal mapping of the unit disc to itself with two fixed points can be embedded into a differentiable evolution familymore » of such mappings. This result extends the range of the parametric method in the theory of univalent functions. In this way the problem of the mutual change of the derivative at an interior point and the angular derivative at a fixed point on the boundary is solved for a class of mappings of the unit disc to itself. In particular, the rotation theorem is established for this class of mappings. Bibliography: 27 titles.« less

Kinetic modeling and exploratory numerical simulation of chloroplastic starch degradation

PubMed Central

2011-01-01

Background Higher plants and algae are able to fix atmospheric carbon dioxide through photosynthesis and store this fixed carbon in large quantities as starch, which can be hydrolyzed into sugars serving as feedstock for fermentation to biofuels and precursors. Rational engineering of carbon flow in plant cells requires a greater understanding of how starch breakdown fluxes respond to variations in enzyme concentrations, kinetic parameters, and metabolite concentrations. We have therefore developed and simulated a detailed kinetic ordinary differential equation model of the degradation pathways for starch synthesized in plants and green algae, which to our knowledge is the most complete such model reported to date. Results Simulation with 9 internal metabolites and 8 external metabolites, the concentrations of the latter fixed at reasonable biochemical values, leads to a single reference solution showing β-amylase activity to be the rate-limiting step in carbon flow from starch degradation. Additionally, the response coefficients for stromal glucose to the glucose transporter kcat and KM are substantial, whereas those for cytosolic glucose are not, consistent with a kinetic bottleneck due to transport. Response coefficient norms show stromal maltopentaose and cytosolic glucosylated arabinogalactan to be the most and least globally sensitive metabolites, respectively, and β-amylase kcat and KM for starch to be the kinetic parameters with the largest aggregate effect on metabolite concentrations as a whole. The latter kinetic parameters, together with those for glucose transport, have the greatest effect on stromal glucose, which is a precursor for biofuel synthetic pathways. Exploration of the steady-state solution space with respect to concentrations of 6 external metabolites and 8 dynamic metabolite concentrations show that stromal metabolism is strongly coupled to starch levels, and that transport between compartments serves to lower coupling between metabolic subsystems in different compartments. Conclusions We find that in the reference steady state, starch cleavage is the most significant determinant of carbon flux, with turnover of oligosaccharides playing a secondary role. Independence of stationary point with respect to initial dynamic variable values confirms a unique stationary point in the phase space of dynamically varying concentrations of the model network. Stromal maltooligosaccharide metabolism was highly coupled to the available starch concentration. From the most highly converged trajectories, distances between unique fixed points of phase spaces show that cytosolic maltose levels depend on the total concentrations of arabinogalactan and glucose present in the cytosol. In addition, cellular compartmentalization serves to dampen much, but not all, of the effects of one subnetwork on another, such that kinetic modeling of single compartments would likely capture most dynamics that are fast on the timescale of the transport reactions. PMID:21682905

Different femorotibial contact points between fixed- and mobile-bearing TKAs do not show clinical impact.

PubMed

van Stralen, R A; Heesterbeek, P J C; Wymenga, A B

2015-11-01

In anteroposterior (AP)-gliding mobile-bearing total knee arthroplasty (TKA), the femoral component can theoretically slide forward resulting in a more anterior contact point, causing pain due to impingement. A lower lever arm of the extensor apparatus can also attribute to higher patella pressures and pain. The goal of this study was to determine the contact point in a cohort of mobile- and fixed-bearing TKAs, to determine whether the contact point lies more anteriorly in mobile-bearing TKA and to confirm whether this results in anterior knee pain. We used 38 fixed-bearing TKA and 40 mobile-bearing TKA from a randomized trial with straight lateral knee X-rays and measured the contact point. The functional outcome was measured by Knee Society Score at 12 months postoperatively. Pain scores were analysed using a VAS score (0-100 mm) in all patients at rest and when moving. Difficulty at rising up out of a chair was also assessed using a VAS score. The contact point in mobile-bearing TKA was situated at 59.5 % of the AP distance of the tibia and in the fixed-bearing TKA group at 66.1 % (P< 0.05). Patients with mobile- and fixed-bearing TKAs had similar knee scores, pain scores and difficulty in chair rise. No significant correlation was found between contact point and knee pain. The hypothesis of a more anterior contact point in the mobile-bearing cohort was confirmed but no correlation with functional and pain scores in this cohort could be found. The tibiofemoral contact point could not be correlated with a different clinical outcome and higher incidence of anterior knee pain. This study further adds to the knowledge on possible differences between mobile- and fixed-bearing prostheses. Next to that, bad outcomes could not be explained by CP. Case series, Level IV.

The Melting Point of Palladium Using Miniature Fixed Points of Different Ceramic Materials: Part II—Analysis of Melting Curves and Long-Term Investigation

NASA Astrophysics Data System (ADS)

Edler, F.; Huang, K.

2016-12-01

Fifteen miniature fixed-point cells made of three different ceramic crucible materials (Al2O3, ZrO2, and Al2O3(86 %)+ZrO2(14 %)) were filled with pure palladium and used to calibrate type B thermocouples (Pt30 %Rh/Pt6 %Rh). A critical point by using miniature fixed points with small amounts of fixed-point material is the analysis of the melting curves, which are characterized by significant slopes during the melting process compared to flat melting plateaus obtainable using conventional fixed-point cells. The method of the extrapolated starting point temperature using straight line approximation of the melting plateau was applied to analyze the melting curves. This method allowed an unambiguous determination of an electromotive force (emf) assignable as melting temperature. The strict consideration of two constraints resulted in a unique, repeatable and objective method to determine the emf at the melting temperature within an uncertainty of about 0.1 μ V. The lifetime and long-term stability of the miniature fixed points was investigated by performing more than 100 melt/freeze cycles for each crucible of the different ceramic materials. No failure of the crucibles occurred indicating an excellent mechanical stability of the investigated miniature cells. The consequent limitation of heating rates to values below {± }3.5 K min^{-1} above 1100° C and the carefully and completely filled crucibles (the liquid palladium occupies the whole volume of the crucible) are the reasons for successfully preventing the crucibles from breaking. The thermal stability of the melting temperature of palladium was excellent when using the crucibles made of Al2O3(86 %)+ZrO2(14 %) and ZrO2. Emf drifts over the total duration of the long-term investigation were below a temperature equivalent of about 0.1 K-0.2 K.

Onsite Calibration of a Precision IPRT Based on Gallium and Gallium-Based Small-Size Eutectic Points

NASA Astrophysics Data System (ADS)

Sun, Jianping; Hao, Xiaopeng; Zeng, Fanchao; Zhang, Lin; Fang, Xinyun

2017-04-01

Onsite thermometer calibration with temperature scale transfer technology based on fixed points can effectively improve the level of industrial temperature measurement and calibration. The present work performs an onsite calibration of a precision industrial platinum resistance thermometer near room temperature. The calibration is based on a series of small-size eutectic points, including Ga-In (15.7°C), Ga-Sn (20.5°C), Ga-Zn (25.2°C), and a Ga fixed point (29.7°C), developed in a portable multi-point automatic realization apparatus. The temperature plateaus of the Ga-In, Ga-Sn, and Ga-Zn eutectic points and the Ga fixed point last for longer than 2 h, and their reproducibility was better than 5 mK. The device is suitable for calibrating non-detachable temperature sensors in advanced environmental laboratories and industrial fields.

Singular perturbation solutions of steady-state Poisson-Nernst-Planck systems.

PubMed

Wang, Xiang-Sheng; He, Dongdong; Wylie, Jonathan J; Huang, Huaxiong

2014-02-01

We study the Poisson-Nernst-Planck (PNP) system with an arbitrary number of ion species with arbitrary valences in the absence of fixed charges. Assuming point charges and that the Debye length is small relative to the domain size, we derive an asymptotic formula for the steady-state solution by matching outer and boundary layer solutions. The case of two ionic species has been extensively studied, the uniqueness of the solution has been proved, and an explicit expression for the solution has been obtained. However, the case of three or more ions has received significantly less attention. Previous work has indicated that the solution may be nonunique and that even obtaining numerical solutions is a difficult task since one must solve complicated systems of nonlinear equations. By adopting a methodology that preserves the symmetries of the PNP system, we show that determining the outer solution effectively reduces to solving a single scalar transcendental equation. Due to the simple form of the transcendental equation, it can be solved numerically in a straightforward manner. Our methodology thus provides a standard procedure for solving the PNP system and we illustrate this by solving some practical examples. Despite the fact that for three ions, previous studies have indicated that multiple solutions may exist, we show that all except for one of these solutions are unphysical and thereby prove the existence and uniqueness for the three-ion case.

Scaling in the vicinity of the four-state Potts fixed point

NASA Astrophysics Data System (ADS)

Blöte, H. W. J.; Guo, Wenan; Nightingale, M. P.

2017-08-01

We study a self-dual generalization of the Baxter-Wu model, employing results obtained by transfer matrix calculations of the magnetic scaling dimension and the free energy. While the pure critical Baxter-Wu model displays the critical behavior of the four-state Potts fixed point in two dimensions, in the sense that logarithmic corrections are absent, the introduction of different couplings in the up- and down triangles moves the model away from this fixed point, so that logarithmic corrections appear. Real couplings move the model into the first-order range, away from the behavior displayed by the nearest-neighbor, four-state Potts model. We also use complex couplings, which bring the model in the opposite direction characterized by the same type of logarithmic corrections as present in the four-state Potts model. Our finite-size analysis confirms in detail the existing renormalization theory describing the immediate vicinity of the four-state Potts fixed point.

How to Assess the Existence of Competing Strategies in Cognitive Tasks: A Primer on the Fixed-Point Property

PubMed Central

van Maanen, Leendert; de Jong, Ritske; van Rijn, Hedderik

2014-01-01

When multiple strategies can be used to solve a type of problem, the observed response time distributions are often mixtures of multiple underlying base distributions each representing one of these strategies. For the case of two possible strategies, the observed response time distributions obey the fixed-point property. That is, there exists one reaction time that has the same probability of being observed irrespective of the actual mixture proportion of each strategy. In this paper we discuss how to compute this fixed-point, and how to statistically assess the probability that indeed the observed response times are generated by two competing strategies. Accompanying this paper is a free R package that can be used to compute and test the presence or absence of the fixed-point property in response time data, allowing for easy to use tests of strategic behavior. PMID:25170893

Matrix product density operators: Renormalization fixed points and boundary theories

DOE Office of Scientific and Technical Information (OSTI.GOV)

Cirac, J.I.; Pérez-García, D., E-mail: dperezga@ucm.es; ICMAT, Nicolas Cabrera, Campus de Cantoblanco, 28049 Madrid

We consider the tensors generating matrix product states and density operators in a spin chain. For pure states, we revise the renormalization procedure introduced in (Verstraete et al., 2005) and characterize the tensors corresponding to the fixed points. We relate them to the states possessing zero correlation length, saturation of the area law, as well as to those which generate ground states of local and commuting Hamiltonians. For mixed states, we introduce the concept of renormalization fixed points and characterize the corresponding tensors. We also relate them to concepts like finite correlation length, saturation of the area law, as well asmore » to those which generate Gibbs states of local and commuting Hamiltonians. One of the main result of this work is that the resulting fixed points can be associated to the boundary theories of two-dimensional topological states, through the bulk-boundary correspondence introduced in (Cirac et al., 2011).« less

Fixed Point Learning Based Intelligent Traffic Control System

NASA Astrophysics Data System (ADS)

Zongyao, Wang; Cong, Sui; Cheng, Shao

2017-10-01

Fixed point learning has become an important tool to analyse large scale distributed system such as urban traffic network. This paper presents a fixed point learning based intelligence traffic network control system. The system applies convergence property of fixed point theorem to optimize the traffic flow density. The intelligence traffic control system achieves maximum road resources usage by averaging traffic flow density among the traffic network. The intelligence traffic network control system is built based on decentralized structure and intelligence cooperation. No central control is needed to manage the system. The proposed system is simple, effective and feasible for practical use. The performance of the system is tested via theoretical proof and simulations. The results demonstrate that the system can effectively solve the traffic congestion problem and increase the vehicles average speed. It also proves that the system is flexible, reliable and feasible for practical use.

Assessment of tungsten/rhenium thermocouples with metal-carbon eutectic fixed points up to 1500°C

NASA Astrophysics Data System (ADS)

Gotoh, M.

2013-09-01

Four Type A thermocouples and two Type C thermocouples were calibrated at the Au fixed point and Co-C and Pd-C eutectic fixed points. The thermocouples were exposed to 1330 °C for a total of 100 hours. The maximum drift due to the exposure was found to be 4.8 °C. The fixed-point calibration EMF of these thermocouples deviated by less than 0.86% from the temperature specified by the standards ASTM E230-2003 for Type C and GOSTR 8.585-2001 for Type A. The length of one of Type A thermocouples A52 is longer than the others by 150mm. Making use of this provision it was possible to place annealed part of A52 to the temperature gradient part of calibration arrangement every time. Therefore observed aging effect was as low as 0.5 °C compared to the other thermocouples.

More asymptotic safety guaranteed

NASA Astrophysics Data System (ADS)

Bond, Andrew D.; Litim, Daniel F.

2018-04-01

We study interacting fixed points and phase diagrams of simple and semisimple quantum field theories in four dimensions involving non-Abelian gauge fields, fermions and scalars in the Veneziano limit. Particular emphasis is put on new phenomena which arise due to the semisimple nature of the theory. Using matter field multiplicities as free parameters, we find a large variety of interacting conformal fixed points with stable vacua and crossovers inbetween. Highlights include semisimple gauge theories with exact asymptotic safety, theories with one or several interacting fixed points in the IR, theories where one of the gauge sectors is both UV free and IR free, and theories with weakly interacting fixed points in the UV and the IR limits. The phase diagrams for various simple and semisimple settings are also given. Further aspects such as perturbativity beyond the Veneziano limit, conformal windows, and implications for model building are discussed.

Finite-time stability and synchronization of memristor-based fractional-order fuzzy cellular neural networks

NASA Astrophysics Data System (ADS)

Zheng, Mingwen; Li, Lixiang; Peng, Haipeng; Xiao, Jinghua; Yang, Yixian; Zhang, Yanping; Zhao, Hui

2018-06-01

This paper mainly studies the finite-time stability and synchronization problems of memristor-based fractional-order fuzzy cellular neural network (MFFCNN). Firstly, we discuss the existence and uniqueness of the Filippov solution of the MFFCNN according to the Banach fixed point theorem and give a sufficient condition for the existence and uniqueness of the solution. Secondly, a sufficient condition to ensure the finite-time stability of the MFFCNN is obtained based on the definition of finite-time stability of the MFFCNN and Gronwall-Bellman inequality. Thirdly, by designing a simple linear feedback controller, the finite-time synchronization criterion for drive-response MFFCNN systems is derived according to the definition of finite-time synchronization. These sufficient conditions are easy to verify. Finally, two examples are given to show the effectiveness of the proposed results.

Nash equilibrium and multi criterion aerodynamic optimization

NASA Astrophysics Data System (ADS)

Tang, Zhili; Zhang, Lianhe

2016-06-01

Game theory and its particular Nash Equilibrium (NE) are gaining importance in solving Multi Criterion Optimization (MCO) in engineering problems over the past decade. The solution of a MCO problem can be viewed as a NE under the concept of competitive games. This paper surveyed/proposed four efficient algorithms for calculating a NE of a MCO problem. Existence and equivalence of the solution are analyzed and proved in the paper based on fixed point theorem. Specific virtual symmetric Nash game is also presented to set up an optimization strategy for single objective optimization problems. Two numerical examples are presented to verify proposed algorithms. One is mathematical functions' optimization to illustrate detailed numerical procedures of algorithms, the other is aerodynamic drag reduction of civil transport wing fuselage configuration by using virtual game. The successful application validates efficiency of algorithms in solving complex aerodynamic optimization problem.

Multidimensional fractional Schrödinger equation

NASA Astrophysics Data System (ADS)

Rodrigues, M. M.; Vieira, N.

2012-11-01

This work is intended to investigate the multi-dimensional space-time fractional Schrödinger equation of the form (CDt0+αu)(t,x) = iħ/2m(C∇βu)(t,x), with ħ the Planck's constant divided by 2π, m is the mass and u(t,x) is a wave function of the particle. Here (CDt0+α,C∇β are operators of the Caputo fractional derivatives, where α ∈]0,1] and β ∈]1,2]. The wave function is obtained using Laplace and Fourier transforms methods and a symbolic operational form of solutions in terms of the Mittag-Leffler functions is exhibited. It is presented an expression for the wave function and for the quantum mechanical probability density. Using Banach fixed point theorem, the existence and uniqueness of solutions is studied for this kind of fractional differential equations.

A viable dark fluid model

NASA Astrophysics Data System (ADS)

Elkhateeb, Esraa

2018-01-01

We consider a cosmological model based on a generalization of the equation of state proposed by Nojiri and Odintsov (2004) and Štefančić (2005, 2006). We argue that this model works as a dark fluid model which can interpolate between dust equation of state and the dark energy equation of state. We show how the asymptotic behavior of the equation of state constrained the parameters of the model. The causality condition for the model is also studied to constrain the parameters and the fixed points are tested to determine different solution classes. Observations of Hubble diagram of SNe Ia supernovae are used to further constrain the model. We present an exact solution of the model and calculate the luminosity distance and the energy density evolution. We also calculate the deceleration parameter to test the state of the universe expansion.

Method for controlling protein crystallization

NASA Technical Reports Server (NTRS)

Noever, David A. (Inventor)

1993-01-01

A method and apparatus for controlling the crystallization of protein by solvent evaporation including placing a drop of protein solution between and in contact with a pair of parallel plates and driving one of the plates toward and away from the other plate in a controlled manner to adjust the spacing between the plates is presented. The drop of solution forms a liquid cylinder having a height dependent upon the plate spacing thereby effecting the surface area available for solvent evaporation. When the spacing is close, evaporation is slow. Evaporation is increased by increasing the spacing between the plates until the breaking point of the liquid cylinder. One plate is mounted upon a fixed post while the other plate is carried by a receptacle movable relative to the post and driven by a belt driven screw drive. The temperature and humidity of the drop of protein solution are controlled by sealing the drop within the receptacle and mounting a heater and dessicant within the receptacle.

47 CFR 101.705 - Special showing for renewal of common carrier station facilities using frequency diversity.

Code of Federal Regulations, 2014 CFR

2014-10-01

... COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.705 Special showing for renewal of common carrier station...

47 CFR 101.705 - Special showing for renewal of common carrier station facilities using frequency diversity.

Code of Federal Regulations, 2013 CFR

2013-10-01

... COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.705 Special showing for renewal of common carrier station...

47 CFR 101.705 - Special showing for renewal of common carrier station facilities using frequency diversity.

Code of Federal Regulations, 2012 CFR

2012-10-01

... COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.705 Special showing for renewal of common carrier station...

47 CFR 101.705 - Special showing for renewal of common carrier station facilities using frequency diversity.

Code of Federal Regulations, 2011 CFR

2011-10-01

... COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.705 Special showing for renewal of common carrier station...

Fabrication of a mini multi-fixed-point cell for the calibration of industrial platinum resistance thermometers

NASA Astrophysics Data System (ADS)

Ragay-Enot, Monalisa; Lee, Young Hee; Kim, Yong-Gyoo

2017-07-01

A mini multi-fixed-point cell (length 118 mm, diameter 33 mm) containing three materials (In-Zn eutectic (mass fraction 3.8% Zn), Sn and Pb) in a single crucible was designed and fabricated for the easy and economical fixed-point calibration of industrial platinum resistance thermometers (IPRTs) for use in industrial temperature measurements. The melting and freezing behaviors of the metals were investigated and the phase transition temperatures were determined using a commercial dry-block calibrator. Results showed that the melting plateaus are generally easy to realize and are reproducible, flatter and of longer duration. On the other hand, the freezing process is generally difficult, especially for Sn, due to the high supercooling required to initiate freezing. The observed melting temperatures at optimum set conditions were 143.11 °C (In-Zn), 231.70 °C (Sn) and 327.15 °C (Pb) with expanded uncertainties (k  = 2) of 0.12 °C, 0.10 °C and 0.13 °C, respectively. This multi-fixed-point cell can be treated as a sole reference temperature-generating system. Based on the results, the realization of melting points of the mini multi-fixed-point cell can be recommended for the direct calibration of IPRTs in industrial applications without the need for a reference thermometer.

Optimization of self-aligned double patterning (SADP)-compliant layout designs using pattern matching for sub-20nm metal routing

NASA Astrophysics Data System (ADS)

Wang, Lynn T.-N.; Schroeder, Uwe Paul; Madhavan, Sriram

2017-03-01

A pattern-based methodology for optimizing SADP-compliant layout designs is developed based on identifying cut mask patterns and replacing them with pre-characterized fixing solutions. A pattern-based library of difficult-tomanufacture cut patterns with pre-characterized fixing solutions is built. A pattern-based engine searches for matching patterns in the decomposed layouts. When a match is found, the engine opportunistically replaces the detected pattern with a pre-characterized fixing solution. The methodology was demonstrated on a 7nm routed metal2 block. A small library of 30 cut patterns increased the number of more manufacturable cuts by 38% and metal-via enclosure by 13% with a small parasitic capacitance impact of 0.3%.

Determining inter-system bias of GNSS signals with narrowly spaced frequencies for GNSS positioning

NASA Astrophysics Data System (ADS)

Tian, Yumiao; Liu, Zhizhao; Ge, Maorong; Neitzel, Frank

2017-12-01

Relative positioning using multi-GNSS (global navigation satellite systems) can improve accuracy, reliability, and availability compared to the use of a single constellation system. Intra-system double-difference (DD) ambiguities (ISDDAs) refer to the DD ambiguities between satellites of a single constellation system and can be fixed to an integer to derive the precise fixed solution. Inter-system ambiguities, which denote the DD ambiguities between different constellation systems, can also be fixed to integers on overlapping frequencies, once the inter-system bias (ISB) is removed. Compared with fixing ISDDAs, fixing both integer intra- and inter-system DD ambiguities (IIDDAs) means an increase of positioning precision through an integration of multiple GNSS constellations. Previously, researchers have studied IIDDA fixing with systems of the same frequencies, but not with systems of different frequencies. Integer IIDDAs can be determined from single-difference (SD) ambiguities, even if the frequencies of multi-GNSS signals used in the positioning are different. In this study, we investigated IIDDA fixing for multi-GNSS signals of narrowly spaced frequencies. First, the inter-system DD models of multi-GNSS signals of different frequencies are introduced, and the strategy for compensating for ISB is presented. The ISB is decomposed into three parts: 1) a float approximate ISB number that can be considered equal to the ISB of code pseudorange observations and thus can be estimated through single point positioning (SPP); 2) a number that is a multiple of the GNSS signal wavelength; and 3) a fractional ISB part, with a magnitude smaller than a single wavelength. Then, the relationship between intra- and inter-system DD ambiguity RATIO values and ISB was investigated by integrating GPS L1 and GLONASS L1 signals. In our numerical analyses with short baselines, the ISB parameter and IIDDA were successfully fixed, even if the number of observed satellites in each system was small.

47 CFR 101.703 - Permissible communications.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 47 Telecommunication 5 2014-10-01 2014-10-01 false Permissible communications. 101.703 Section 101.703 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.703 Permissible...

47 CFR 101.601 - Eligibility.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 47 Telecommunication 5 2013-10-01 2013-10-01 false Eligibility. 101.601 Section 101.601 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Private Operational Fixed Point-to-Point Microwave Service § 101.601 Eligibility. Any person, or...

47 CFR 101.703 - Permissible communications.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 47 Telecommunication 5 2011-10-01 2011-10-01 false Permissible communications. 101.703 Section 101.703 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.703 Permissible...

47 CFR 101.135 - Shared use of radio stations and the offering of private carrier service.

Code of Federal Regulations, 2012 CFR

2012-10-01

... COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101... Operational Fixed Point-to-Point Microwave radio stations may share the use of their facilities on a non...

47 CFR 101.601 - Eligibility.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 47 Telecommunication 5 2010-10-01 2010-10-01 false Eligibility. 101.601 Section 101.601 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Private Operational Fixed Point-to-Point Microwave Service § 101.601 Eligibility. Any person, or...

47 CFR 101.601 - Eligibility.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 47 Telecommunication 5 2014-10-01 2014-10-01 false Eligibility. 101.601 Section 101.601 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Private Operational Fixed Point-to-Point Microwave Service § 101.601 Eligibility. Any person, or...

47 CFR 101.135 - Shared use of radio stations and the offering of private carrier service.

Code of Federal Regulations, 2010 CFR

2010-10-01

... COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101... Operational Fixed Point-to-Point Microwave radio stations may share the use of their facilities on a non...

47 CFR 101.703 - Permissible communications.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 47 Telecommunication 5 2013-10-01 2013-10-01 false Permissible communications. 101.703 Section 101.703 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.703 Permissible...

47 CFR 101.135 - Shared use of radio stations and the offering of private carrier service.

Code of Federal Regulations, 2011 CFR

2011-10-01

... COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101... Operational Fixed Point-to-Point Microwave radio stations may share the use of their facilities on a non...

47 CFR 101.601 - Eligibility.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 47 Telecommunication 5 2012-10-01 2012-10-01 false Eligibility. 101.601 Section 101.601 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Private Operational Fixed Point-to-Point Microwave Service § 101.601 Eligibility. Any person, or...

47 CFR 101.703 - Permissible communications.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 47 Telecommunication 5 2010-10-01 2010-10-01 false Permissible communications. 101.703 Section 101.703 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.703 Permissible...

47 CFR 101.135 - Shared use of radio stations and the offering of private carrier service.

Code of Federal Regulations, 2014 CFR

2014-10-01

... COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101... Operational Fixed Point-to-Point Microwave radio stations may share the use of their facilities on a non...

47 CFR 101.135 - Shared use of radio stations and the offering of private carrier service.

Code of Federal Regulations, 2013 CFR

2013-10-01

... COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Technical Standards § 101... Operational Fixed Point-to-Point Microwave radio stations may share the use of their facilities on a non...

47 CFR 101.601 - Eligibility.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 47 Telecommunication 5 2011-10-01 2011-10-01 false Eligibility. 101.601 Section 101.601 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Private Operational Fixed Point-to-Point Microwave Service § 101.601 Eligibility. Any person, or...

47 CFR 101.703 - Permissible communications.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 47 Telecommunication 5 2012-10-01 2012-10-01 false Permissible communications. 101.703 Section 101.703 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.703 Permissible...

Regulator dependence of fixed points in quantum Einstein gravity with R 2 truncation

NASA Astrophysics Data System (ADS)

Nagy, S.; Fazekas, B.; Peli, Z.; Sailer, K.; Steib, I.

2018-03-01

We performed a functional renormalization group analysis for the quantum Einstein gravity including a quadratic term in the curvature. The ultraviolet non-gaussian fixed point and its critical exponent for the correlation length are identified for different forms of regulators in case of dimension 3. We searched for that optimized regulator where the physical quantities show the least regulator parameter dependence. It is shown that the Litim regulator satisfies this condition. The infrared fixed point has also been investigated, it is found that the exponent is insensitive to the third coupling introduced by the R 2 term.

A regularity result for fixed points, with applications to linear response

NASA Astrophysics Data System (ADS)

Sedro, Julien

2018-04-01

In this paper, we show a series of abstract results on fixed point regularity with respect to a parameter. They are based on a Taylor development taking into account a loss of regularity phenomenon, typically occurring for composition operators acting on spaces of functions with finite regularity. We generalize this approach to higher order differentiability, through the notion of an n-graded family. We then give applications to the fixed point of a nonlinear map, and to linear response in the context of (uniformly) expanding dynamics (theorem 3 and corollary 2), in the spirit of Gouëzel-Liverani.

Sign problem and Monte Carlo calculations beyond Lefschetz thimbles

DOE PAGES

Alexandru, Andrei; Basar, Gokce; Bedaque, Paulo F.; ...

2016-05-10

We point out that Monte Carlo simulations of theories with severe sign problems can be profitably performed over manifolds in complex space different from the one with fixed imaginary part of the action (“Lefschetz thimble”). We describe a family of such manifolds that interpolate between the tangent space at one critical point (where the sign problem is milder compared to the real plane but in some cases still severe) and the union of relevant thimbles (where the sign problem is mild but a multimodal distribution function complicates the Monte Carlo sampling). As a result, we exemplify this approach using amore » simple 0+1 dimensional fermion model previously used on sign problem studies and show that it can solve the model for some parameter values where a solution using Lefschetz thimbles was elusive.« less

Shift-connected SIMD array architectures for digital optical computing systems, with algorithms for numerical transforms and partial differential equations

NASA Astrophysics Data System (ADS)

Drabik, Timothy J.; Lee, Sing H.

1986-11-01

The intrinsic parallelism characteristics of easily realizable optical SIMD arrays prompt their present consideration in the implementation of highly structured algorithms for the numerical solution of multidimensional partial differential equations and the computation of fast numerical transforms. Attention is given to a system, comprising several spatial light modulators (SLMs), an optical read/write memory, and a functional block, which performs simple, space-invariant shifts on images with sufficient flexibility to implement the fastest known methods for partial differential equations as well as a wide variety of numerical transforms in two or more dimensions. Either fixed or floating-point arithmetic may be used. A performance projection of more than 1 billion floating point operations/sec using SLMs with 1000 x 1000-resolution and operating at 1-MHz frame rates is made.

Evolution and dynamics of a matter creation model

NASA Astrophysics Data System (ADS)

Pan, S.; de Haro, J.; Paliathanasis, A.; Slagter, R. J.

2016-08-01

In a flat Friedmann-Lemaître-Robertson-Walker (FLRW) geometry, we consider the expansion of the universe powered by the gravitationally induced `adiabatic' matter creation. To demonstrate how matter creation works well with the expanding universe, we have considered a general creation rate and analysed this rate in the framework of dynamical analysis. The dynamical analysis hints the presence of a non-singular universe (without the big bang singularity) with two successive accelerated phases, one at the very early phase of the universe (I.e. inflation), and the other one describes the current accelerating universe, where this early, late accelerated phases are associated with an unstable fixed point (I.e. repeller) and a stable fixed point (attractor), respectively. We have described this phenomena by analytic solutions of the Hubble function and the scale factor of the FLRW universe. Using Jacobi last multiplier method, we have found a Lagrangian for this matter creation rate describing this scenario of the universe. To match with our early physics results, we introduce an equivalent dynamics driven by a single scalar field, discuss the associated observable parameters and compare them with the latest Planck data sets. Finally, introducing the teleparallel modified gravity, we have established an equivalent gravitational theory in the framework of matter creation.

Towards a Real-Time Embedded System for Water Monitoring Installed in a Robotic Sailboat

PubMed Central

da Silva Junior, Andouglas Goncalves; de Lima Sa, Sarah Thomaz; dos Santos, Davi Henrique; de Negreiros, Álvaro Pinto Ferrnandes; de Souza Silva, João Moreno Vilas Boas; Álvarez Jácobo, Justo Emílio; Garcia Gonçalves, Luiz Marcos

2016-01-01

Problems related to quality (and quantity) of water in natural resources or in artificial reservoirs are frequently arising and are at the center of attention of authorities and governments around the world. Many times the monitoring is not performed in an efficient time frame and a precise manner, whereas the adoption of fast and punctual solutions would undoubtedly improve the water quality and consequently enhance the life of people. To minimize or diminish such kinds of problems, we propose an architecture for sensors installed in a robotic platform, an autonomous sail boat, able to acquire raw data relative to water quality, to process and make them available to people that might be interested in such information. The main contributions are the sensors architecture itself, which uses low cost sensors, with practical experimentation done with a prototype. Results show data collected for points in lakes and rivers in the northeast of Brazil. This embedded system is fixed in the sailboat robot with the intention to facilitate the study of water quality for long endurance missions. This robot can help monitoring water bodies in a more consistent manner. Nonetheless the system can also be used with fixed vases or buoys in strategic points. PMID:27509506

Universality of modular symmetries in two-dimensional magnetotransport

NASA Astrophysics Data System (ADS)

Olsen, K. S.; Limseth, H. S.; Lütken, C. A.

2018-01-01

We analyze experimental quantum Hall data from a wide range of different materials, including semiconducting heterojunctions, thin films, surface layers, graphene, mercury telluride, bismuth antimonide, and black phosphorus. The fact that these materials have little in common, except that charge transport is effectively two-dimensional, shows how robust and universal the quantum Hall phenomenon is. The scaling and fixed point data we analyzed appear to show that magnetotransport in two dimensions is governed by a small number of universality classes that are classified by modular symmetries, which are infinite discrete symmetries not previously seen in nature. The Hall plateaux are (infrared) stable fixed points of the scaling-flow, and quantum critical points (where the wave function is delocalized) are unstable fixed points of scaling. Modular symmetries are so rigid that they in some cases fix the global geometry of the scaling flow, and therefore predict the exact location of quantum critical points, as well as the shape of flow lines anywhere in the phase diagram. We show that most available experimental quantum Hall scaling data are in good agreement with these predictions.

Rigorous high-precision enclosures of fixed points and their invariant manifolds

NASA Astrophysics Data System (ADS)

Wittig, Alexander N.

The well established concept of Taylor Models is introduced, which offer highly accurate C0 enclosures of functional dependencies, combining high-order polynomial approximation of functions and rigorous estimates of the truncation error, performed using verified arithmetic. The focus of this work is on the application of Taylor Models in algorithms for strongly non-linear dynamical systems. A method is proposed to extend the existing implementation of Taylor Models in COSY INFINITY from double precision coefficients to arbitrary precision coefficients. Great care is taken to maintain the highest efficiency possible by adaptively adjusting the precision of higher order coefficients in the polynomial expansion. High precision operations are based on clever combinations of elementary floating point operations yielding exact values for round-off errors. An experimental high precision interval data type is developed and implemented. Algorithms for the verified computation of intrinsic functions based on the High Precision Interval datatype are developed and described in detail. The application of these operations in the implementation of High Precision Taylor Models is discussed. An application of Taylor Model methods to the verification of fixed points is presented by verifying the existence of a period 15 fixed point in a near standard Henon map. Verification is performed using different verified methods such as double precision Taylor Models, High Precision intervals and High Precision Taylor Models. Results and performance of each method are compared. An automated rigorous fixed point finder is implemented, allowing the fully automated search for all fixed points of a function within a given domain. It returns a list of verified enclosures of each fixed point, optionally verifying uniqueness within these enclosures. An application of the fixed point finder to the rigorous analysis of beam transfer maps in accelerator physics is presented. Previous work done by Johannes Grote is extended to compute very accurate polynomial approximations to invariant manifolds of discrete maps of arbitrary dimension around hyperbolic fixed points. The algorithm presented allows for automatic removal of resonances occurring during construction. A method for the rigorous enclosure of invariant manifolds of continuous systems is introduced. Using methods developed for discrete maps, polynomial approximations of invariant manifolds of hyperbolic fixed points of ODEs are obtained. These approximations are outfit with a sharp error bound which is verified to rigorously contain the manifolds. While we focus on the three dimensional case, verification in higher dimensions is possible using similar techniques. Integrating the resulting enclosures using the verified COSY VI integrator, the initial manifold enclosures are expanded to yield sharp enclosures of large parts of the stable and unstable manifolds. To demonstrate the effectiveness of this method, we construct enclosures of the invariant manifolds of the Lorenz system and show pictures of the resulting manifold enclosures. To the best of our knowledge, these enclosures are the largest verified enclosures of manifolds in the Lorenz system in existence.

Development of Fixed-Point Cells at the SMU

NASA Astrophysics Data System (ADS)

Ďuriš, S.; Ranostaj, J.; Palenčár, R.

2008-06-01

One of the research programs realized at the thermometry laboratory of the Slovak Institute of Metrology (SMU) in recent years has focused on the development of fixed-point cells. In the frame of this research, several primary cells for realization of the International Temperature Scale of 1990 (ITS-90) and several secondary cells for industrial thermometer calibrations were built and studied. This article discusses primary cells for the gallium and mercury fixed points and miniature cells for the zinc point that were developed at the SMU. Information about the cell designs is provided, the materials that were used are specified, and the procedures for their manufacture are described. Briefly, the realization of the fixed points of mercury, gallium, and zinc by using these cells is also described. Many experiments were carried out to study the characteristics of these cells. One of the gallium cells was compared with the circulating transfer cell during the key comparison CCT-K3, and it and the mercury cell were used for the EUROMET Project No. 552. The results of the experiments together with the results of the comparisons show the high quality of these cells. Secondary zinc-point cells were compared against SMU primary zinc-point cells. The comparison shows agreement within 0.12 mK.

The innovative safe fixative for histology, histopathology, and immunohistochemistry techniques: "pilot study using shellac alcoholic solution fixative".

PubMed

Ali Jamal, Awatif; Abd El-Aziz, Gamal Said; Hamdy, Raid Mahmoud; Al-Hayani, Abdulmonem; Al-Maghrabi, Jaudah

2014-05-01

The concerns over health and workplace hazards of formalin fixative, joined to its cross-linking of molecular groups that results in suboptimal immunohistochemistry, led us to search for an innovative safe fixative. Shellac is a natural material which is used as a preservative in foods and pharmaceutical industries. This study was undertaken to evaluate the fixation adequacy and staining quality of histopathological specimens fixed in the "shellac alcoholic solution" (SAS), and also to determine the validity of immunohistochemical staining of SAS-fixed material in comparison to those fixed in formalin. Fresh samples from 26 cases from various human tissues were collected at the frozen section room of King Abdulaziz University Hospital, and fixed in SAS fixative or in neutral buffered formaldehyde (NBF) for 12, 18, 24, and 48 h, and processed for paraffin sectioning. Deparaffinized sections were stained with hematoxylin and eosin (H&E) and immunostained for different antigens. The tissues fixed in SAS for >18 h showed best staining quality of H&E comparable to NBF-fixed tissues. Comparison of the immunohistochemical staining of different tissues yielded nearly equivalent readings with good positive nuclear staining quality in both fixatives. These findings support the fixation and preservation adequacy of SAS. Furthermore, it was concluded that the good staining quality obtained with SAS-fixed tissues, which was more or less comparable with the quality obtained with the formalin fixed tissues, supports the validity of this new solution as a good innovative fixative. Copyright © 2014 Wiley Periodicals, Inc.

A Newton-Krylov method with an approximate analytical Jacobian for implicit solution of Navier-Stokes equations on staggered overset-curvilinear grids with immersed boundaries.

PubMed

Asgharzadeh, Hafez; Borazjani, Iman

2017-02-15

The explicit and semi-implicit schemes in flow simulations involving complex geometries and moving boundaries suffer from time-step size restriction and low convergence rates. Implicit schemes can be used to overcome these restrictions, but implementing them to solve the Navier-Stokes equations is not straightforward due to their non-linearity. Among the implicit schemes for nonlinear equations, Newton-based techniques are preferred over fixed-point techniques because of their high convergence rate but each Newton iteration is more expensive than a fixed-point iteration. Krylov subspace methods are one of the most advanced iterative methods that can be combined with Newton methods, i.e., Newton-Krylov Methods (NKMs) to solve non-linear systems of equations. The success of NKMs vastly depends on the scheme for forming the Jacobian, e.g., automatic differentiation is very expensive, and matrix-free methods without a preconditioner slow down as the mesh is refined. A novel, computationally inexpensive analytical Jacobian for NKM is developed to solve unsteady incompressible Navier-Stokes momentum equations on staggered overset-curvilinear grids with immersed boundaries. Moreover, the analytical Jacobian is used to form preconditioner for matrix-free method in order to improve its performance. The NKM with the analytical Jacobian was validated and verified against Taylor-Green vortex, inline oscillations of a cylinder in a fluid initially at rest, and pulsatile flow in a 90 degree bend. The capability of the method in handling complex geometries with multiple overset grids and immersed boundaries is shown by simulating an intracranial aneurysm. It was shown that the NKM with an analytical Jacobian is 1.17 to 14.77 times faster than the fixed-point Runge-Kutta method, and 1.74 to 152.3 times (excluding an intensively stretched grid) faster than automatic differentiation depending on the grid (size) and the flow problem. In addition, it was shown that using only the diagonal of the Jacobian further improves the performance by 42 - 74% compared to the full Jacobian. The NKM with an analytical Jacobian showed better performance than the fixed point Runge-Kutta because it converged with higher time steps and in approximately 30% less iterations even when the grid was stretched and the Reynold number was increased. In fact, stretching the grid decreased the performance of all methods, but the fixed-point Runge-Kutta performance decreased 4.57 and 2.26 times more than NKM with a diagonal Jacobian when the stretching factor was increased, respectively. The NKM with a diagonal analytical Jacobian and matrix-free method with an analytical preconditioner are the fastest methods and the superiority of one to another depends on the flow problem. Furthermore, the implemented methods are fully parallelized with parallel efficiency of 80-90% on the problems tested. The NKM with the analytical Jacobian can guide building preconditioners for other techniques to improve their performance in the future.

A Newton–Krylov method with an approximate analytical Jacobian for implicit solution of Navier–Stokes equations on staggered overset-curvilinear grids with immersed boundaries

PubMed Central

Asgharzadeh, Hafez; Borazjani, Iman

2016-01-01

The explicit and semi-implicit schemes in flow simulations involving complex geometries and moving boundaries suffer from time-step size restriction and low convergence rates. Implicit schemes can be used to overcome these restrictions, but implementing them to solve the Navier-Stokes equations is not straightforward due to their non-linearity. Among the implicit schemes for nonlinear equations, Newton-based techniques are preferred over fixed-point techniques because of their high convergence rate but each Newton iteration is more expensive than a fixed-point iteration. Krylov subspace methods are one of the most advanced iterative methods that can be combined with Newton methods, i.e., Newton-Krylov Methods (NKMs) to solve non-linear systems of equations. The success of NKMs vastly depends on the scheme for forming the Jacobian, e.g., automatic differentiation is very expensive, and matrix-free methods without a preconditioner slow down as the mesh is refined. A novel, computationally inexpensive analytical Jacobian for NKM is developed to solve unsteady incompressible Navier-Stokes momentum equations on staggered overset-curvilinear grids with immersed boundaries. Moreover, the analytical Jacobian is used to form preconditioner for matrix-free method in order to improve its performance. The NKM with the analytical Jacobian was validated and verified against Taylor-Green vortex, inline oscillations of a cylinder in a fluid initially at rest, and pulsatile flow in a 90 degree bend. The capability of the method in handling complex geometries with multiple overset grids and immersed boundaries is shown by simulating an intracranial aneurysm. It was shown that the NKM with an analytical Jacobian is 1.17 to 14.77 times faster than the fixed-point Runge-Kutta method, and 1.74 to 152.3 times (excluding an intensively stretched grid) faster than automatic differentiation depending on the grid (size) and the flow problem. In addition, it was shown that using only the diagonal of the Jacobian further improves the performance by 42 – 74% compared to the full Jacobian. The NKM with an analytical Jacobian showed better performance than the fixed point Runge-Kutta because it converged with higher time steps and in approximately 30% less iterations even when the grid was stretched and the Reynold number was increased. In fact, stretching the grid decreased the performance of all methods, but the fixed-point Runge-Kutta performance decreased 4.57 and 2.26 times more than NKM with a diagonal Jacobian when the stretching factor was increased, respectively. The NKM with a diagonal analytical Jacobian and matrix-free method with an analytical preconditioner are the fastest methods and the superiority of one to another depends on the flow problem. Furthermore, the implemented methods are fully parallelized with parallel efficiency of 80–90% on the problems tested. The NKM with the analytical Jacobian can guide building preconditioners for other techniques to improve their performance in the future. PMID:28042172

A Newton-Krylov method with an approximate analytical Jacobian for implicit solution of Navier-Stokes equations on staggered overset-curvilinear grids with immersed boundaries

NASA Astrophysics Data System (ADS)

Asgharzadeh, Hafez; Borazjani, Iman

2017-02-01

The explicit and semi-implicit schemes in flow simulations involving complex geometries and moving boundaries suffer from time-step size restriction and low convergence rates. Implicit schemes can be used to overcome these restrictions, but implementing them to solve the Navier-Stokes equations is not straightforward due to their non-linearity. Among the implicit schemes for non-linear equations, Newton-based techniques are preferred over fixed-point techniques because of their high convergence rate but each Newton iteration is more expensive than a fixed-point iteration. Krylov subspace methods are one of the most advanced iterative methods that can be combined with Newton methods, i.e., Newton-Krylov Methods (NKMs) to solve non-linear systems of equations. The success of NKMs vastly depends on the scheme for forming the Jacobian, e.g., automatic differentiation is very expensive, and matrix-free methods without a preconditioner slow down as the mesh is refined. A novel, computationally inexpensive analytical Jacobian for NKM is developed to solve unsteady incompressible Navier-Stokes momentum equations on staggered overset-curvilinear grids with immersed boundaries. Moreover, the analytical Jacobian is used to form a preconditioner for matrix-free method in order to improve its performance. The NKM with the analytical Jacobian was validated and verified against Taylor-Green vortex, inline oscillations of a cylinder in a fluid initially at rest, and pulsatile flow in a 90 degree bend. The capability of the method in handling complex geometries with multiple overset grids and immersed boundaries is shown by simulating an intracranial aneurysm. It was shown that the NKM with an analytical Jacobian is 1.17 to 14.77 times faster than the fixed-point Runge-Kutta method, and 1.74 to 152.3 times (excluding an intensively stretched grid) faster than automatic differentiation depending on the grid (size) and the flow problem. In addition, it was shown that using only the diagonal of the Jacobian further improves the performance by 42-74% compared to the full Jacobian. The NKM with an analytical Jacobian showed better performance than the fixed point Runge-Kutta because it converged with higher time steps and in approximately 30% less iterations even when the grid was stretched and the Reynold number was increased. In fact, stretching the grid decreased the performance of all methods, but the fixed-point Runge-Kutta performance decreased 4.57 and 2.26 times more than NKM with a diagonal and full Jacobian, respectivley, when the stretching factor was increased. The NKM with a diagonal analytical Jacobian and matrix-free method with an analytical preconditioner are the fastest methods and the superiority of one to another depends on the flow problem. Furthermore, the implemented methods are fully parallelized with parallel efficiency of 80-90% on the problems tested. The NKM with the analytical Jacobian can guide building preconditioners for other techniques to improve their performance in the future.

Preparation and characterization of poly(acrylic acid)—corn starch blend for use as chemical sand-fixing materials

NASA Astrophysics Data System (ADS)

Dang, Xugang; Chen, Hui; Shan, Zhihua

2017-07-01

One chemical sand-fixing materials based on poly(acrylic acid)-corn starch (PACS) blend was studied in this work. The PACS blend was prepared by solution mixing method between PA and CS. In order to prepare sand-fixing materials for environmental applications using the well-established method of spraying evenly PACS blend solution on the surfaces of fine sand. Fourier transform infrared spectroscopy (FT-IR) revealed the existence of the intermolecular interactions between the blend components. Scanning electron microscope (SEM) analysis showed a continuous phase of blend, and it also showed the good sand-fixing capacity. The test results of hygroscopicity and water retention experiments indicated that the blends had excellent water-absorbing and water-retention capacity. The results of contact angle measurements between the PACS solutions and fine sand showed that the PACS blend has a satisfactory effect on fine sand wetting. And the PACS, as a sand-fixation material, has excellent sand-fixation rate up to 99.5%.

Glassy phase in quenched disordered crystalline membranes

NASA Astrophysics Data System (ADS)

Coquand, O.; Essafi, K.; Kownacki, J.-P.; Mouhanna, D.

2018-03-01

We investigate the flat phase of D -dimensional crystalline membranes embedded in a d -dimensional space and submitted to both metric and curvature quenched disorders using a nonperturbative renormalization group approach. We identify a second-order phase transition controlled by a finite-temperature, finite-disorder fixed point unreachable within the leading order of ɛ =4 -D and 1 /d expansions. This critical point divides the flow diagram into two basins of attraction: that associated with the finite-temperature fixed point controlling the long-distance behavior of disorder-free membranes and that associated with the zero-temperature, finite-disorder fixed point. Our work thus strongly suggests the existence of a whole low-temperature glassy phase for quenched disordered crystalline membranes and, possibly, for graphene and graphene-like compounds.

The Strong Effects Of On-Axis Focal Shift And Its Nonlinear Variation In Ultrasound Beams Radiated By Low Fresnel Number Transducers

NASA Astrophysics Data System (ADS)

Makov, Y. N.; Espinosa, V.; Sánchez-Morcillo, V. J.; Ramis, J.; Cruañes, J.; Camarena, F.

2006-05-01

On the basis of theoretical concepts, an accurate and complete experimental and numerical examination of the on-axis distribution and the corresponding temporal profiles for low-Fresnel-number focused ultrasound beams under increasing transducer input voltage has been performed. For a real focusing transducer with sufficiently small Fresnel number, a strong initial (linear) shift of the main on-axis pressure maximum from geometrical focal point towards the transducer, and its following displacement towards the focal point and backward motion as the driving transducer voltage increase until highly nonlinear regimes were fixed. The simultaneous monitoring of the temporal waveform modifications determines the real roles and interplay between different nonlinear effects (refraction and attenuation) in the observed dynamics of on-axis pressure maximum. The experimental results are in good agreement with numerical solutions of KZK equation, confirming that the observed dynamic shift of the maximum pressure point is related only to the interplay between diffraction, dissipation and nonlinearity of the acoustic wave.

Indirect Determination of the Thermodynamic Temperature of a Gold Fixed-Point Cell

NASA Astrophysics Data System (ADS)

Battuello, M.; Girard, F.; Florio, M.

2010-09-01

Since the value T 90(Au) was fixed on the ITS-90, some determinations of the thermodynamic temperature of the gold point have been performed which form, with other renormalized results of previous measurements by radiation thermometry, the basis for the current best estimates of ( T - T 90)Au = 39.9 mK as elaborated by the CCT-WG4. Such a value, even if consistent with the behavior of T - T 90 differences at lower temperatures, is quite influenced by the low values of T Au as determined with few radiometric measurements. At INRIM, an independent indirect determination of the thermodynamic temperature of gold was performed by means of a radiation thermometry approach. A fixed-point technique was used to realize approximated thermodynamic scales from the Zn point up to the Cu point. A Si-based standard radiation thermometer working at 900 nm and 950 nm was used. The low uncertainty presently associated to the thermodynamic temperature of fixed points and the accuracy of INRIM realizations, allowed scales with an uncertainty lower than 0.03 K in terms of the thermodynamic temperature to be realized. A fixed-point cell filled with gold, 99.999 % in purity, was measured, and its freezing temperature was determined by both interpolation and extrapolation. An average T Au = 1337.395 K was found with a combined standard uncertainty of 23 mK. Such a value is 25 mK higher than the presently available value as derived by the CCT-WG4 value of ( T - T 90)Au = 39.9 mK.

Pilot Comparison of Radiance Temperature Scale Realization Between NIMT and NMIJ

NASA Astrophysics Data System (ADS)

Keawprasert, T.; Yamada, Y.; Ishii, J.

2015-03-01

A pilot comparison of radiance temperature scale realizations between the National Institute of Metrology Thailand (NIMT) and the National Metrology Institute of Japan (NMIJ) was conducted. At the two national metrology institutes (NMIs), a 900 nm radiation thermometer, used as the transfer artifact, was calibrated by a means of a multiple fixed-point method using the fixed-point blackbody of Zn, Al, Ag, and Cu points, and by means of relative spectral responsivity measurements according to the International Temperature Scale of 1990 (ITS-90) definition. The Sakuma-Hattori equation is used for interpolating the radiance temperature scale between the four fixed points and also for extrapolating the ITS-90 temperature scale to 2000 C. This paper compares the calibration results in terms of fixed-point measurements, relative spectral responsivity, and finally the radiance temperature scale. Good agreement for the fixed-point measurements was found in case a correction for the change of the internal temperature of the artifact was applied using the temperature coefficient measured at the NMIJ. For the realized radiance temperature range from 400 C to 1100 C, the resulting scale differences between the two NMIs are well within the combined scale comparison uncertainty of 0.12 C (). The resulting spectral responsivity measured at the NIMT has a comparable curve to that measured at the NMIJ especially in the out-of-band region, yielding a ITS-90 scale difference within 1.0 C from the Cu point to 2000 C, whereas the realization comparison uncertainty of NIMT and NMIJ combined is 1.2 C () at 2000 C.

Influence of the Cavity Length on the Behavior of Hybrid Fixed-Point Cells Constructed at INRIM

NASA Astrophysics Data System (ADS)

Battuello, M.; Girard, F.; Florio, M.

2015-03-01

Hybrid cells with double carbon/carbon sheets are used at the Istituto Nazionale di Ricerca Metrologica (INRIM) for the realization of both pure metal fixed points and high-temperature metal-carbon eutectic points. Cells for the Cu and Co-C fixed points have been prepared to be used in the high-temperature fixed-point project of the Comité Consultatif de Thermométrie. The results of the evaluation processes were not completely satisfactory for the INRIM cells because of their low transition temperatures with respect to the best cells, and of a rather large melting range for the Co-C cell. A new design of the cells was devised, and considerable improvements were achieved with respect to the transition temperature, and the plateau shape and duration. As for the Cu point, the duration of the freezing plateaux increased by more than 50 % and the freezing temperature increased by 18 mK. As for the Co-C point, the melting temperature, expressed in terms of the point of inflection of the melting curve, increased by about 70 mK. The melting range of the plateaux, expressed as a difference was reduced from about 180 mK to about 130 mK, with melting times increased by about 50 %, as a consequence of an improvement of flatness and run-off of the plateaux.

Contractive type non-self mappings on metric spaces of hyperbolic type

NASA Astrophysics Data System (ADS)

Ciric, Ljubomir B.

2006-05-01

Let (X,d) be a metric space of hyperbolic type and K a nonempty closed subset of X. In this paper we study a class of mappings from K into X (not necessarily self-mappings on K), which are defined by the contractive condition (2.1) below, and a class of pairs of mappings from K into X which satisfy the condition (2.28) below. We present fixed point and common fixed point theorems which are generalizations of the corresponding fixed point theorems of Ciric [L.B. Ciric, Quasi-contraction non-self mappings on Banach spaces, Bull. Acad. Serbe Sci. Arts 23 (1998) 25-31; L.B. Ciric, J.S. Ume, M.S. Khan, H.K.T. Pathak, On some non-self mappings, Math. Nachr. 251 (2003) 28-33], Rhoades [B.E. Rhoades, A fixed point theorem for some non-self mappings, Math. Japon. 23 (1978) 457-459] and many other authors. Some examples are presented to show that our results are genuine generalizations of known results from this area.

The evolving Planck mass in classically scale-invariant theories

NASA Astrophysics Data System (ADS)

Kannike, K.; Raidal, M.; Spethmann, C.; Veermäe, H.

2017-04-01

We consider classically scale-invariant theories with non-minimally coupled scalar fields, where the Planck mass and the hierarchy of physical scales are dynamically generated. The classical theories possess a fixed point, where scale invariance is spontaneously broken. In these theories, however, the Planck mass becomes unstable in the presence of explicit sources of scale invariance breaking, such as non-relativistic matter and cosmological constant terms. We quantify the constraints on such classical models from Big Bang Nucleosynthesis that lead to an upper bound on the non-minimal coupling and require trans-Planckian field values. We show that quantum corrections to the scalar potential can stabilise the fixed point close to the minimum of the Coleman-Weinberg potential. The time-averaged motion of the evolving fixed point is strongly suppressed, thus the limits on the evolving gravitational constant from Big Bang Nucleosynthesis and other measurements do not presently constrain this class of theories. Field oscillations around the fixed point, if not damped, contribute to the dark matter density of the Universe.

Stability of iterative procedures with errors for approximating common fixed points of a couple of q-contractive-like mappings in Banach spaces

NASA Astrophysics Data System (ADS)

Zeng, Lu-Chuan; Yao, Jen-Chih

2006-09-01

Recently, Agarwal, Cho, Li and Huang [R.P. Agarwal, Y.J. Cho, J. Li, N.J. Huang, Stability of iterative procedures with errors approximating common fixed points for a couple of quasi-contractive mappings in q-uniformly smooth Banach spaces, J. Math. Anal. Appl. 272 (2002) 435-447] introduced the new iterative procedures with errors for approximating the common fixed point of a couple of quasi-contractive mappings and showed the stability of these iterative procedures with errors in Banach spaces. In this paper, we introduce a new concept of a couple of q-contractive-like mappings (q>1) in a Banach space and apply these iterative procedures with errors for approximating the common fixed point of the couple of q-contractive-like mappings. The results established in this paper improve, extend and unify the corresponding ones of Agarwal, Cho, Li and Huang [R.P. Agarwal, Y.J. Cho, J. Li, N.J. Huang, Stability of iterative procedures with errors approximating common fixed points for a couple of quasi-contractive mappings in q-uniformly smooth Banach spaces, J. Math. Anal. Appl. 272 (2002) 435-447], Chidume [C.E. Chidume, Approximation of fixed points of quasi-contractive mappings in Lp spaces, Indian J. Pure Appl. Math. 22 (1991) 273-386], Chidume and Osilike [C.E. Chidume, M.O. Osilike, Fixed points iterations for quasi-contractive maps in uniformly smooth Banach spaces, Bull. Korean Math. Soc. 30 (1993) 201-212], Liu [Q.H. Liu, On Naimpally and Singh's open questions, J. Math. Anal. Appl. 124 (1987) 157-164; Q.H. Liu, A convergence theorem of the sequence of Ishikawa iterates for quasi-contractive mappings, J. Math. Anal. Appl. 146 (1990) 301-305], Osilike [M.O. Osilike, A stable iteration procedure for quasi-contractive maps, Indian J. Pure Appl. Math. 27 (1996) 25-34; M.O. Osilike, Stability of the Ishikawa iteration method for quasi-contractive maps, Indian J. Pure Appl. Math. 28 (1997) 1251-1265] and many others in the literature.

Democratic superstring field theory: gauge fixing

NASA Astrophysics Data System (ADS)

Kroyter, Michael

2011-03-01

We show that a partial gauge fixing of the NS sector of the democratic-picture superstring field theory leads to the non-polynomial theory. Moreover, by partially gauge fixing the Ramond sector we obtain a non-polynomial fully RNS theory at pictures 0 and 1/2 . Within the democratic theory and in the partially gauge fixed theory the equations of motion of both sectors are derived from an action. We also discuss a representation of the non-polynomial theory analogous to a manifestly two-dimensional representation of WZW theory and the action of bosonic pure-gauge solutions. We further demonstrate that one can consistently gauge fix the NS sector of the democratic theory at picture number -1. The resulting theory is new. It is a {mathbb{Z}_2} dual of the modified cubic theory. We construct analytical solutions of this theory and show that they possess the desired properties.

50 CFR 86.13 - What is boating infrastructure?

Code of Federal Regulations, 2010 CFR

2010-10-01

..., currents, etc., that provide a temporary safe anchorage point or harbor of refuge during storms); (f) Floating docks and fixed piers; (g) Floating and fixed breakwaters; (h) Dinghy docks (floating or fixed...

General Series Solutions for Stresses and Displacements in an Inner-fixed Ring

NASA Astrophysics Data System (ADS)

Jiao, Yongshu; Liu, Shuo; Qi, Dexuan

2018-03-01

The general series solution approach is provided to get the stress and displacement fields in the inner-fixed ring. After choosing an Airy stress function in series form, stresses are expressed by infinite coefficients. Displacements are obtained by integrating the geometric equations. For an inner-fixed ring, the arbitrary loads acting on outer edge are extended into two sets of Fourier series. The zero displacement boundary conditions on inner surface are utilized. Then the stress (and displacement) coefficients are expressed by loading coefficients. A numerical example shows the validity of this approach.

Control of sound radiation from a wavepacket over a curved surface

NASA Technical Reports Server (NTRS)

Maestrello, Lucio; El Hady, Nabil M.

1989-01-01

Active control of acoustic pressure in the far field resulting from the growth and decay of a wavepacket convecting in a boundary layer over a concave-convex surface is investigated numerically using direct computations of the Navier-Stokes equations. The resulting sound radiation is computed using linearized Euler equations with the pressure from the Navier-Stokes solution as a time-dependent boundary condition. The acoustic far field exhibits directivity type of behavior that points upstream to the flow direction. A fixed control algorithm is used where the attenuation signal is synthesized by a filter which actively adapt it to the amplitude-time response of the outgoing acoustic wave.

Parallel Fixed Point Implementation of a Radial Basis Function Network in an FPGA

PubMed Central

de Souza, Alisson C. D.; Fernandes, Marcelo A. C.

2014-01-01

This paper proposes a parallel fixed point radial basis function (RBF) artificial neural network (ANN), implemented in a field programmable gate array (FPGA) trained online with a least mean square (LMS) algorithm. The processing time and occupied area were analyzed for various fixed point formats. The problems of precision of the ANN response for nonlinear classification using the XOR gate and interpolation using the sine function were also analyzed in a hardware implementation. The entire project was developed using the System Generator platform (Xilinx), with a Virtex-6 xc6vcx240t-1ff1156 as the target FPGA. PMID:25268918

Expected Number of Fixed Points in Boolean Networks with Arbitrary Topology.

PubMed

Mori, Fumito; Mochizuki, Atsushi

2017-07-14

Boolean network models describe genetic, neural, and social dynamics in complex networks, where the dynamics depend generally on network topology. Fixed points in a genetic regulatory network are typically considered to correspond to cell types in an organism. We prove that the expected number of fixed points in a Boolean network, with Boolean functions drawn from probability distributions that are not required to be uniform or identical, is one, and is independent of network topology if only a feedback arc set satisfies a stochastic neutrality condition. We also demonstrate that the expected number is increased by the predominance of positive feedback in a cycle.

An investigation of the convergence to the stationary state in the Hassell mapping

NASA Astrophysics Data System (ADS)

de Mendonça, Hans M. J.; Leonel, Edson D.; de Oliveira, Juliano A.

2017-01-01

We investigate the convergence to the fixed point and near it in a transcritical bifurcation observed in a Hassell mapping. We considered a phenomenological description which was reinforced by a theoretical description. At the bifurcation, we confirm the convergence for the fixed point is characterized by a homogeneous function with three exponents. Near the bifurcation the decay to the fixed point is exponential with a relaxation time given by a power law. Although the expression of the mapping is different from the traditional logistic mapping, at the bifurcation and near it, the local dynamics is essentially the same for either mappings.

Automated Parameter Studies Using a Cartesian Method

NASA Technical Reports Server (NTRS)

Murman, Scott M.; Aftosimis, Michael J.; Nemec, Marian

2004-01-01

Computational Fluid Dynamics (CFD) is now routinely used to analyze isolated points in a design space by performing steady-state computations at fixed flight conditions (Mach number, angle of attack, sideslip), for a fixed geometric configuration of interest. This "point analysis" provides detailed information about the flowfield, which aides an engineer in understanding, or correcting, a design. A point analysis is typically performed using high fidelity methods at a handful of critical design points, e.g. a cruise or landing configuration, or a sample of points along a flight trajectory.

Load-Flow in Multiphase Distribution Networks: Existence, Uniqueness, Non-Singularity, and Linear Models

DOE PAGES

Bernstein, Andrey; Wang, Cong; Dall'Anese, Emiliano; ...

2018-01-01

This paper considers unbalanced multiphase distribution systems with generic topology and different load models, and extends the Z-bus iterative load-flow algorithm based on a fixed-point interpretation of the AC load-flow equations. Explicit conditions for existence and uniqueness of load-flow solutions are presented. These conditions also guarantee convergence of the load-flow algorithm to the unique solution. The proposed methodology is applicable to generic systems featuring (i) wye connections; (ii) ungrounded delta connections; (iii) a combination of wye-connected and delta-connected sources/loads; and, (iv) a combination of line-to-line and line-to-grounded-neutral devices at the secondary of distribution transformers. Further, a sufficient condition for themore » non-singularity of the load-flow Jacobian is proposed. Finally, linear load-flow models are derived, and their approximation accuracy is analyzed. Theoretical results are corroborated through experiments on IEEE test feeders.« less

Holographic models with anisotropic scaling

NASA Astrophysics Data System (ADS)

Brynjolfsson, E. J.; Danielsson, U. H.; Thorlacius, L.; Zingg, T.

2013-12-01

We consider gravity duals to d+1 dimensional quantum critical points with anisotropic scaling. The primary motivation comes from strongly correlated electron systems in condensed matter theory but the main focus of the present paper is on the gravity models in their own right. Physics at finite temperature and fixed charge density is described in terms of charged black branes. Some exact solutions are known and can be used to obtain a maximally extended spacetime geometry, which has a null curvature singularity inside a single non-degenerate horizon, but generic black brane solutions in the model can only be obtained numerically. Charged matter gives rise to black branes with hair that are dual to the superconducting phase of a holographic superconductor. Our numerical results indicate that holographic superconductors with anisotropic scaling have vanishing zero temperature entropy when the back reaction of the hair on the brane geometry is taken into account.

Load-Flow in Multiphase Distribution Networks: Existence, Uniqueness, Non-Singularity, and Linear Models

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bernstein, Andrey; Wang, Cong; Dall'Anese, Emiliano

This paper considers unbalanced multiphase distribution systems with generic topology and different load models, and extends the Z-bus iterative load-flow algorithm based on a fixed-point interpretation of the AC load-flow equations. Explicit conditions for existence and uniqueness of load-flow solutions are presented. These conditions also guarantee convergence of the load-flow algorithm to the unique solution. The proposed methodology is applicable to generic systems featuring (i) wye connections; (ii) ungrounded delta connections; (iii) a combination of wye-connected and delta-connected sources/loads; and, (iv) a combination of line-to-line and line-to-grounded-neutral devices at the secondary of distribution transformers. Further, a sufficient condition for themore » non-singularity of the load-flow Jacobian is proposed. Finally, linear load-flow models are derived, and their approximation accuracy is analyzed. Theoretical results are corroborated through experiments on IEEE test feeders.« less

Minimal wave speed for a class of non-cooperative reaction-diffusion systems of three equations

NASA Astrophysics Data System (ADS)

Zhang, Tianran

2017-05-01

In this paper, we study the traveling wave solutions and minimal wave speed for a class of non-cooperative reaction-diffusion systems consisting of three equations. Based on the eigenvalues, a pair of upper-lower solutions connecting only the invasion-free equilibrium are constructed and the Schauder's fixed-point theorem is applied to show the existence of traveling semi-fronts for an auxiliary system. Then the existence of traveling semi-fronts of original system is obtained by limit arguments. The traveling semi-fronts are proved to connect another equilibrium if natural birth and death rates are not considered and to be persistent if these rates are incorporated. Then non-existence of bounded traveling semi-fronts is obtained by two-sided Laplace transform. Then the above results are applied to some disease-transmission models and a predator-prey model.

Exact Solution for Capillary Bridges Properties by Shooting Method

NASA Astrophysics Data System (ADS)

Qiang-Nian, Li; Jia-Qi, Zhang; Feng-Xi, Zhou

2017-04-01

The investigation of liquid bridge force acting between wet particles has great significance in many fields. In this article, the exact solution of capillary force between two unequal-sized spherical particles is investigated. Firstly, The Young-Laplace equation with moving boundary is converted into a set of ordinary differential equations with two fix point boundary using variable substitution technique, in which the gravity effects have been neglected. The geometry of the liquid bridge between two particles is solved by shooting method. After that, the gorge method is applied to calculate the capillary-bridge force that is consists of contributions from the capillary suction and surface tension. Finally, the effect of various parameters including distance between two spheres, radii of spheres, and contact angles on the capillary force are investigated. It is shown that the presented approach is an efficient and accurate algorithm for capillary force between two particles in complex situations.

High-Speed Current dq PI Controller for Vector Controlled PMSM Drive

PubMed Central

Reaz, Mamun Bin Ibne; Rahman, Labonnah Farzana; Chang, Tae Gyu

2014-01-01

High-speed current controller for vector controlled permanent magnet synchronous motor (PMSM) is presented. The controller is developed based on modular design for faster calculation and uses fixed-point proportional-integral (PI) method for improved accuracy. Current dq controller is usually implemented in digital signal processor (DSP) based computer. However, DSP based solutions are reaching their physical limits, which are few microseconds. Besides, digital solutions suffer from high implementation cost. In this research, the overall controller is realizing in field programmable gate array (FPGA). FPGA implementation of the overall controlling algorithm will certainly trim down the execution time significantly to guarantee the steadiness of the motor. Agilent 16821A Logic Analyzer is employed to validate the result of the implemented design in FPGA. Experimental results indicate that the proposed current dq PI controller needs only 50 ns of execution time in 40 MHz clock, which is the lowest computational cycle for the era. PMID:24574913

Tables for Supersonic Flow Around Right Circular Cones at Small Angle of Attack

NASA Technical Reports Server (NTRS)

Sims, Joseph L.

1964-01-01

The solution of supersonic flow fields by the method of characteristics requires that starting conditions be known. Ferri, in reference 1, developed a method-of-characteristics solution for axially symmetric bodies of revolution at small angles of attack. With computing machinery that is now available, this has become a feasible method for computing the aerodynamic characteristics of bodies near zero angle of attack. For sharp-nosed bodies of revolution, the required starting line may be obtained by computing the flow field about a cone at a small angle of attack. This calculation is readily performed using Stone's theory in reference 2. Some solutions of this theory are available in reference 3. However, the manner in which these results are presented, namely in a wind-fixed coordinate system, makes their use somewhat cumbersome. Additionally, as pointed out in reference 4, the flow component perpendicular to the meridian planes was computed incorrectly. The results contained herein have been computed in the same basic manner as those of reference 3 with the correct velocity normal to the meridian planes. Also, all results have been transferred into the body-fixed coordinate system. Therefore, the values tabulated herein may be used, in conjunction with the respective zero-angle-of-attack results of reference 5, as starting conditions for the method-of-characteristics solution of the flow field about axially symmetric bodies of revolution at small angles of attack. As in the zero-angle-of-attack case (ref. 5) the present results have been computed using the ideal gas value of 1.4 for the ratio of the specific heats of air. Solutions are given for cone angles from 2.5 deg to 30 deg in increments of 2.5 deg. For each cone angle, results were computed for a constant series of free-stream Mach numbers from 1.5 to 20. In addition, a solution was computed which yielded the minimum free-stream Mach number for a completely supersonic conical flow field. For cone angles of 27.5 deg and 30 deg, this minimum free-stream Mach number was above 1.5. Consequently, solutions at this Mach number were not computed for these two cone angles.

Optimal four-impulse rendezvous between coplanar elliptical orbits

NASA Astrophysics Data System (ADS)

Wang, JianXia; Baoyin, HeXi; Li, JunFeng; Sun, FuChun

2011-04-01

Rendezvous in circular or near circular orbits has been investigated in great detail, while rendezvous in arbitrary eccentricity elliptical orbits is not sufficiently explored. Among the various optimization methods proposed for fuel optimal orbital rendezvous, Lawden's primer vector theory is favored by many researchers with its clear physical concept and simplicity in solution. Prussing has applied the primer vector optimization theory to minimum-fuel, multiple-impulse, time-fixed orbital rendezvous in a near circular orbit and achieved great success. Extending Prussing's work, this paper will employ the primer vector theory to study trajectory optimization problems of arbitrary eccentricity elliptical orbit rendezvous. Based on linearized equations of relative motion on elliptical reference orbit (referred to as T-H equations), the primer vector theory is used to deal with time-fixed multiple-impulse optimal rendezvous between two coplanar, coaxial elliptical orbits with arbitrary large eccentricity. A parameter adjustment method is developed for the prime vector to satisfy the Lawden's necessary condition for the optimal solution. Finally, the optimal multiple-impulse rendezvous solution including the time, direction and magnitudes of the impulse is obtained by solving the two-point boundary value problem. The rendezvous error of the linearized equation is also analyzed. The simulation results confirmed the analyzed results that the rendezvous error is small for the small eccentricity case and is large for the higher eccentricity. For better rendezvous accuracy of high eccentricity orbits, a combined method of multiplier penalty function with the simplex search method is used for local optimization. The simplex search method is sensitive to the initial values of optimization variables, but the simulation results show that initial values with the primer vector theory, and the local optimization algorithm can improve the rendezvous accuracy effectively with fast convergence, because the optimal results obtained by the primer vector theory are already very close to the actual optimal solution. If the initial values are taken randomly, it is difficult to converge to the optimal solution.

Variable Step Integration Coupled with the Method of Characteristics Solution for Water-Hammer Analysis, A Case Study

NASA Technical Reports Server (NTRS)

Turpin, Jason B.

2004-01-01

One-dimensional water-hammer modeling involves the solution of two coupled non-linear hyperbolic partial differential equations (PDEs). These equations result from applying the principles of conservation of mass and momentum to flow through a pipe, and usually the assumption that the speed at which pressure waves propagate through the pipe is constant. In order to solve these equations for the interested quantities (i.e. pressures and flow rates), they must first be converted to a system of ordinary differential equations (ODEs) by either approximating the spatial derivative terms with numerical techniques or using the Method of Characteristics (MOC). The MOC approach is ideal in that no numerical approximation errors are introduced in converting the original system of PDEs into an equivalent system of ODEs. Unfortunately this resulting system of ODEs is bound by a time step constraint so that when integrating the equations the solution can only be obtained at fixed time intervals. If the fluid system to be modeled also contains dynamic components (i.e. components that are best modeled by a system of ODEs), it may be necessary to take extremely small time steps during certain points of the model simulation in order to achieve stability and/or accuracy in the solution. Coupled together, the fixed time step constraint invoked by the MOC, and the occasional need for extremely small time steps in order to obtain stability and/or accuracy, can greatly increase simulation run times. As one solution to this problem, a method for combining variable step integration (VSI) algorithms with the MOC was developed for modeling water-hammer in systems with highly dynamic components. A case study is presented in which reverse flow through a dual-flapper check valve introduces a water-hammer event. The predicted pressure responses upstream of the check-valve are compared with test data.

Translation of one high-level language to another: COBOL to ADA, an example

DOE Office of Scientific and Technical Information (OSTI.GOV)

Hill, J.A.

1986-01-01

This dissertation discusses the difficulties encountered in, and explores possible solutions to, the task of automatically converting programs written in one HLL, COBOL, into programs written in another HLL, Ada, and still maintain readability. This paper presents at least one set of techniques and algorithms to solve many of the problems that were encountered. The differing view of records is solved by isolating those instances where it is a problem, then using the RENAMES option of Ada. Several solutions to doing the decimal-arithmetic translation are discussed. One method used is to emulate COBOL arithmetic in an arithmetic package. Another partialmore » solution suggested is to convert the values to decimal-scaled integers and use modular arithmetic. Conversion to fixed-point type and floating-point type are the third and fourth methods. The work of another researcher, Bobby Othmer, is utilized to correct any unstructured code, to remap statements not directly translatable such as ALTER, and to pull together isolated code sections. Algorithms are then presented to convert this restructured COBOL code into Ada code with local variables, parameters, and packages. The input/output requirements are partially met by mapping them to a series of procedure calls that interface with Ada's standard input-output package. Several examples are given of hand translations of COBOL programs. In addition, a possibly new method is shown for measuring the readability of programs.« less

Reducing the computational footprint for real-time BCPNN learning

PubMed Central

Vogginger, Bernhard; Schüffny, René; Lansner, Anders; Cederström, Love; Partzsch, Johannes; Höppner, Sebastian

2015-01-01

The implementation of synaptic plasticity in neural simulation or neuromorphic hardware is usually very resource-intensive, often requiring a compromise between efficiency and flexibility. A versatile, but computationally-expensive plasticity mechanism is provided by the Bayesian Confidence Propagation Neural Network (BCPNN) paradigm. Building upon Bayesian statistics, and having clear links to biological plasticity processes, the BCPNN learning rule has been applied in many fields, ranging from data classification, associative memory, reward-based learning, probabilistic inference to cortical attractor memory networks. In the spike-based version of this learning rule the pre-, postsynaptic and coincident activity is traced in three low-pass-filtering stages, requiring a total of eight state variables, whose dynamics are typically simulated with the fixed step size Euler method. We derive analytic solutions allowing an efficient event-driven implementation of this learning rule. Further speedup is achieved by first rewriting the model which reduces the number of basic arithmetic operations per update to one half, and second by using look-up tables for the frequently calculated exponential decay. Ultimately, in a typical use case, the simulation using our approach is more than one order of magnitude faster than with the fixed step size Euler method. Aiming for a small memory footprint per BCPNN synapse, we also evaluate the use of fixed-point numbers for the state variables, and assess the number of bits required to achieve same or better accuracy than with the conventional explicit Euler method. All of this will allow a real-time simulation of a reduced cortex model based on BCPNN in high performance computing. More important, with the analytic solution at hand and due to the reduced memory bandwidth, the learning rule can be efficiently implemented in dedicated or existing digital neuromorphic hardware. PMID:25657618

Reducing the computational footprint for real-time BCPNN learning.

PubMed

Vogginger, Bernhard; Schüffny, René; Lansner, Anders; Cederström, Love; Partzsch, Johannes; Höppner, Sebastian

2015-01-01

The implementation of synaptic plasticity in neural simulation or neuromorphic hardware is usually very resource-intensive, often requiring a compromise between efficiency and flexibility. A versatile, but computationally-expensive plasticity mechanism is provided by the Bayesian Confidence Propagation Neural Network (BCPNN) paradigm. Building upon Bayesian statistics, and having clear links to biological plasticity processes, the BCPNN learning rule has been applied in many fields, ranging from data classification, associative memory, reward-based learning, probabilistic inference to cortical attractor memory networks. In the spike-based version of this learning rule the pre-, postsynaptic and coincident activity is traced in three low-pass-filtering stages, requiring a total of eight state variables, whose dynamics are typically simulated with the fixed step size Euler method. We derive analytic solutions allowing an efficient event-driven implementation of this learning rule. Further speedup is achieved by first rewriting the model which reduces the number of basic arithmetic operations per update to one half, and second by using look-up tables for the frequently calculated exponential decay. Ultimately, in a typical use case, the simulation using our approach is more than one order of magnitude faster than with the fixed step size Euler method. Aiming for a small memory footprint per BCPNN synapse, we also evaluate the use of fixed-point numbers for the state variables, and assess the number of bits required to achieve same or better accuracy than with the conventional explicit Euler method. All of this will allow a real-time simulation of a reduced cortex model based on BCPNN in high performance computing. More important, with the analytic solution at hand and due to the reduced memory bandwidth, the learning rule can be efficiently implemented in dedicated or existing digital neuromorphic hardware.

Generalized contractive mappings and weakly α-admissible pairs in G-metric spaces.

PubMed

Hussain, N; Parvaneh, V; Hoseini Ghoncheh, S J

2014-01-01

The aim of this paper is to present some coincidence and common fixed point results for generalized (ψ, φ)-contractive mappings using partially weakly G-α-admissibility in the setup of G-metric space. As an application of our results, periodic points of weakly contractive mappings are obtained. We also derive certain new coincidence point and common fixed point theorems in partially ordered G-metric spaces. Moreover, some examples are provided here to illustrate the usability of the obtained results.

Generalized Contractive Mappings and Weakly α-Admissible Pairs in G-Metric Spaces

PubMed Central

Hussain, N.; Parvaneh, V.; Hoseini Ghoncheh, S. J.

2014-01-01

The aim of this paper is to present some coincidence and common fixed point results for generalized (ψ, φ)-contractive mappings using partially weakly G-α-admissibility in the setup of G-metric space. As an application of our results, periodic points of weakly contractive mappings are obtained. We also derive certain new coincidence point and common fixed point theorems in partially ordered G-metric spaces. Moreover, some examples are provided here to illustrate the usability of the obtained results. PMID:25202742

50 CFR 660.212 - Fixed gear fishery-prohibitions.

Code of Federal Regulations, 2010 CFR

2010-10-01

..., Painted Cave, Anacapa Island, Carrington Point, Judith Rock, Skunk Point, Footprint, Gull Island, South... are specific to the limited entry fixed gear fisheries. General groundfish prohibitions are found at § 660.12, subpart C. In addition to the general groundfish prohibitions specified in § 660.12, subpart C...

L-fuzzy fixed points theorems for L-fuzzy mappings via βℱL-admissible pair.

PubMed

Rashid, Maliha; Azam, Akbar; Mehmood, Nayyar

2014-01-01

We define the concept of βℱL-admissible for a pair of L-fuzzy mappings and establish the existence of common L-fuzzy fixed point theorem. Our result generalizes some useful results in the literature. We provide an example to support our result.

Network Aggregation in Transportation Planning : Volume II : A Fixed Point Method for Treating Traffic Equilibria

DOT National Transportation Integrated Search

1978-04-01

Volume 2 defines a new algorithm for the network equilibrium model that works in the space of path flows and is based on the theory of fixed point method. The goals of the study were broadly defined as the identification of aggregation practices and ...

SHORT COMMUNICATION: Correlation between the Resistance Ratios of Platinum Resistance Thermometers at the Melting Point of Gallium and the Triple Point of Mercury

NASA Astrophysics Data System (ADS)

Singh, Y. P.; Maas, H.; Edler, F.; Zaidi, Z. H.

1994-01-01

A set of resistance ratios (W) for platinum resistance thermometers was obtained at the triple point of Hg and the melting point of Ga in order to study their relationship. It was found that using measured values for one of the fixed points, a linear equation will predict the value of the other. These measurements also indicate that the fixed points of Hg and of Ga are inconsistent by about 1,5 mK in the sense that either the melting point of Ga or the triple point of Hg was assigned too high a value on the ITS-90.

Fixed points of contractive mappings in b-metric-like spaces.

PubMed

Hussain, Nawab; Roshan, Jamal Rezaei; Parvaneh, Vahid; Kadelburg, Zoran

2014-01-01

We discuss topological structure of b-metric-like spaces and demonstrate a fundamental lemma for the convergence of sequences. As an application we prove certain fixed point results in the setup of such spaces for different types of contractive mappings. Finally, some periodic point results in b-metric-like spaces are obtained. Two examples are presented in order to verify the effectiveness and applicability of our main results.

Simulation of design-unbiased point-to-particle sampling compared to alternatives on plantation rows

Treesearch

Thomas B. Lynch; David Hamlin; Mark J. Ducey

2016-01-01

Total quantities of tree attributes can be estimated in plantations by sampling on plantation rows using several methods. At random sample points on a row, either fixed row lengths or variable row lengths with a fixed number of sample trees can be assessed. Ratio of means or mean of ratios estimators can be developed for the fixed number of trees option but are not...

Monte Carlo Simulation of THz Multipliers

NASA Technical Reports Server (NTRS)

East, J.; Blakey, P.

1997-01-01

Schottky Barrier diode frequency multipliers are critical components in submillimeter and Thz space based earth observation systems. As the operating frequency of these multipliers has increased, the agreement between design predictions and experimental results has become poorer. The multiplier design is usually based on a nonlinear model using a form of harmonic balance and a model for the Schottky barrier diode. Conventional voltage dependent lumped element models do a poor job of predicting THz frequency performance. This paper will describe a large signal Monte Carlo simulation of Schottky barrier multipliers. The simulation is a time dependent particle field Monte Carlo simulation with ohmic and Schottky barrier boundary conditions included that has been combined with a fixed point solution for the nonlinear circuit interaction. The results in the paper will point out some important time constants in varactor operation and will describe the effects of current saturation and nonlinear resistances on multiplier operation.

Final report on COOMET.T-S1. Comparison of type S thermocouples at the freezing points of zinc, aluminium and copper 2014—2015

NASA Astrophysics Data System (ADS)

Pokhodun, A. I.; Ivanova, A. G.; Duysebayeva, K. K.; Ivanova, K. P.

2015-01-01

Regional comparison of type S thermocouples at the freezing points of zinc, aluminium and copper was initiated by COOMET TC1.1-10 (the technical committee of COOMET `Thermometry and thermal physics'). Three NMI take part in COOMET regional comparison: D I Mendeleev Institute for Metrology (VNIIM) (Russian Federation), National Scientific Centre (Institute of Metrology) (NSC IM, Ukraine), Republic State Enterprise (Kazakhstan Institute of Metrology) (KazInMetr, Republic of Kazakhstan). VNIIM (Russia) was chosen as the coordinator-pilot of the regional comparison. A star type comparison was used. The participants: KazInMetr and NSC IM constructed the type S thermocouples and calibrated them in three fixed points: zinc, aluminum and copper points, using methods of ITS-90 fixed point realizations. The thermocouples have been sent to VNIIM together with the results of the calibration at three fixed points, with the values of the inhomogeneity at temperature 200 °C and the uncertainty evaluations of the results. For calibration of thermocouples the same VNIIM fixed points cells were used. Participating laboratories repeated the calibration of thermocouples after its returning in zinc, aluminum and copper points to determine the stability of its results. In result of the comparison was to evaluate the equivalence of the type S thermocouples calibration in fixed points by NMIs to confirm corresponding lines of international website for NMI's Calibration and Measurement Capabilities (CMC). This paper is the final report of the comparison including analysis of the uncertainty of measurement results. Main text. To reach the main text of this paper, click on Final Report. Note that this text is that which appears in Appendix B of the BIPM key comparison database kcdb.bipm.org/. The final report has been peer-reviewed and approved for publication by the CCT WG-KC, according to the provisions of the CIPM Mutual Recognition Arrangement (CIPM MRA).

Multiscale Methods for Nuclear Reactor Analysis

NASA Astrophysics Data System (ADS)

Collins, Benjamin S.

The ability to accurately predict local pin powers in nuclear reactors is necessary to understand the mechanisms that cause fuel pin failure during steady state and transient operation. In the research presented here, methods are developed to improve the local solution using high order methods with boundary conditions from a low order global solution. Several different core configurations were tested to determine the improvement in the local pin powers compared to the standard techniques, that use diffusion theory and pin power reconstruction (PPR). Two different multiscale methods were developed and analyzed; the post-refinement multiscale method and the embedded multiscale method. The post-refinement multiscale methods use the global solution to determine boundary conditions for the local solution. The local solution is solved using either a fixed boundary source or an albedo boundary condition; this solution is "post-refinement" and thus has no impact on the global solution. The embedded multiscale method allows the local solver to change the global solution to provide an improved global and local solution. The post-refinement multiscale method is assessed using three core designs. When the local solution has more energy groups, the fixed source method has some difficulties near the interface: however the albedo method works well for all cases. In order to remedy the issue with boundary condition errors for the fixed source method, a buffer region is used to act as a filter, which decreases the sensitivity of the solution to the boundary condition. Both the albedo and fixed source methods benefit from the use of a buffer region. Unlike the post-refinement method, the embedded multiscale method alters the global solution. The ability to change the global solution allows for refinement in areas where the errors in the few group nodal diffusion are typically large. The embedded method is shown to improve the global solution when it is applied to a MOX/LEU assembly interface, the fuel/reflector interface, and assemblies where control rods are inserted. The embedded method also allows for multiple solution levels to be applied in a single calculation. The addition of intermediate levels to the solution improves the accuracy of the method. Both multiscale methods considered here have benefits and drawbacks, but both can provide improvements over the current PPR methodology.

Multiple steady states in atmospheric chemistry

NASA Technical Reports Server (NTRS)

Stewart, Richard W.

1993-01-01

The equations describing the distributions and concentrations of trace species are nonlinear and may thus possess more than one solution. This paper develops methods for searching for multiple physical solutions to chemical continuity equations and applies these to subsets of equations describing tropospheric chemistry. The calculations are carried out with a box model and use two basic strategies. The first strategy is a 'search' method. This involves fixing model parameters at specified values, choosing a wide range of initial guesses at a solution, and using a Newton-Raphson technique to determine if different initial points converge to different solutions. The second strategy involves a set of techniques known as homotopy methods. These do not require an initial guess, are globally convergent, and are guaranteed, in principle, to find all solutions of the continuity equations. The first method is efficient but essentially 'hit or miss' in the sense that it cannot guarantee that all solutions which may exist will be found. The second method is computationally burdensome but can, in principle, determine all the solutions of a photochemical system. Multiple solutions have been found for models that contain a basic complement of photochemical reactions involving O(x), HO(x), NO(x), and CH4. In the present calculations, transitions occur between stable branches of a multiple solution set as a control parameter is varied. These transitions are manifestations of hysteresis phenomena in the photochemical system and may be triggered by increasing the NO flux or decreasing the CH4 flux from current mean tropospheric levels.

Performance analysis of PPP ambiguity resolution with UPD products estimated from different scales of reference station networks

NASA Astrophysics Data System (ADS)

Wang, Siyao; Li, Bofeng; Li, Xingxing; Zang, Nan

2018-01-01

Integer ambiguity fixing with uncalibrated phase delay (UPD) products can significantly shorten the initialization time and improve the accuracy of precise point positioning (PPP). Since the tracking arcs of satellites and the behavior of atmospheric biases can be very different for the reference networks with different scales, the qualities of corresponding UPD products may be also various. The purpose of this paper is to comparatively investigate the influence of different scales of reference station networks on UPD estimation and user ambiguity resolution. Three reference station networks with global, wide-area and local scales are used to compute the UPD products and analyze their impact on the PPP-AR. The time-to-first-fix, the unfix rate and the incorrect fix rate of PPP-AR are analyzed. Moreover, in order to further shorten the convergence time for obtaining precise positioning, a modified partial ambiguity resolution (PAR) and corresponding validation strategy are presented. In this PAR method, the ambiguity subset is determined by removing the ambiguity one by one in the order of ascending elevations. Besides, for static positioning mode, a coordinate validation strategy is employed to enhance the reliability of the fixed coordinate. The experiment results show that UPD products computed by smaller station network are more accurate and lead to a better coordinate solution; the PAR method used in this paper can shorten the convergence time and the coordinate validation strategy can improve the availability of high precision positioning.

A numerical analysis of phase-change problems including natural convection

DOE Office of Scientific and Technical Information (OSTI.GOV)

Cao, Y.; Faghri, A.

1990-08-01

Fixed grid solutions for phase-change problems remove the need to satisfy conditions at the phase-change front and can be easily extended to multidimensional problems. The two most important and widely used methods are enthalpy methods and temperature-based equivalent heat capacity methods. Both methods in this group have advantages and disadvantages. Enthalpy methods (Shamsundar and Sparrow, 1975; Voller and Prakash, 1987; Cao et al., 1989) are flexible and can handle phase-change problems occurring both at a single temperature and over a temperature range. The drawback of this method is that although the predicted temperature distributions and melting fronts are reasonable, themore » predicted time history of the temperature at a typical grid point may have some oscillations. The temperature-based fixed grid methods (Morgan, 1981; Hsiao and Chung, 1984) have no such time history problems and are more convenient with conjugate problems involving an adjacent wall, but have to deal with the severe nonlinearity of the governing equations when the phase-change temperature range is small. In this paper, a new temperature-based fixed-grid formulation is proposed, and the reason that the original equivalent heat capacity model is subject to such restrictions on the time step, mesh size, and the phase-change temperature range will also be discussed.« less

The four fixed points of scale invariant single field cosmological models

DOE Office of Scientific and Technical Information (OSTI.GOV)

Xue, BingKan, E-mail: bxue@princeton.edu

2012-10-01

We introduce a new set of flow parameters to describe the time dependence of the equation of state and the speed of sound in single field cosmological models. A scale invariant power spectrum is produced if these flow parameters satisfy specific dynamical equations. We analyze the flow of these parameters and find four types of fixed points that encompass all known single field models. Moreover, near each fixed point we uncover new models where the scale invariance of the power spectrum relies on having simultaneously time varying speed of sound and equation of state. We describe several distinctive new modelsmore » and discuss constraints from strong coupling and superluminality.« less

The Holographic F Theorem

NASA Astrophysics Data System (ADS)

Taylor, Marika; Woodhead, William

2017-12-01

The F theorem states that, for a unitary three dimensional quantum field theory, the F quantity defined in terms of the partition function on a three sphere is positive, stationary at fixed point and decreases monotonically along a renormalization group flow. We construct holographic renormalization group flows corresponding to relevant deformations of three-dimensional conformal field theories on spheres, working to quadratic order in the source. For these renormalization group flows, the F quantity at the IR fixed point is always less than F at the UV fixed point, but F increases along the RG flow for deformations by operators of dimension between 3/2 and 5/2. Therefore the strongest version of the F theorem is in general violated.

Hybrid state vector methods for structural dynamic and aeroelastic boundary value problems

NASA Technical Reports Server (NTRS)

Lehman, L. L.

1982-01-01

A computational technique is developed that is suitable for performing preliminary design aeroelastic and structural dynamic analyses of large aspect ratio lifting surfaces. The method proves to be quite general and can be adapted to solving various two point boundary value problems. The solution method, which is applicable to both fixed and rotating wing configurations, is based upon a formulation of the structural equilibrium equations in terms of a hybrid state vector containing generalized force and displacement variables. A mixed variational formulation is presented that conveniently yields a useful form for these state vector differential equations. Solutions to these equations are obtained by employing an integrating matrix method. The application of an integrating matrix provides a discretization of the differential equations that only requires solutions of standard linear matrix systems. It is demonstrated that matrix partitioning can be used to reduce the order of the required solutions. Results are presented for several example problems in structural dynamics and aeroelasticity to verify the technique and to demonstrate its use. These problems examine various types of loading and boundary conditions and include aeroelastic analyses of lifting surfaces constructed from anisotropic composite materials.

Bilateral Comparison Between NIM and NMC Over the Temperature Range from 83.8058 K to 692.677 K

NASA Astrophysics Data System (ADS)

Sun, Jianping; Ye, Shaochun; Kho, Haoyuan; Zhang, Jintao; Wang, Li

2015-08-01

A bilateral comparison of local realization of the International Temperature Scale of 1990 between the National Institute of Metrology (NIM) and National Metrology Centre (NMC) was carried out over the temperature range from 83.8058 K to 692.677 K. It involved six fixed points including the argon triple point, the mercury triple point, the triple point of water, the melting point of gallium, the freezing point of tin, and the freezing point of zinc. In 2009, NMC asked NIM to participate in a bilateral comparison to link the NMC results to the Consultative Committee for Thermometry Key Comparison 3 (CCT-K3) and facilitate the NMC's calibration and measurement capabilities submission. This comparison was agreed by NIM and Asia Pacific Metrology Programme in 2009, and registered in the Key Comparison Database in 2010 as CCT-K3.2. NMC supplied two fused silica sheath standard platinum resistance thermometers (SPRTs) as traveling standards. One of them was used at the Ga, Sn, and Zn fixed points, while the other one was used at the Ar and Hg fixed points. NMC measured them before and after NIM measured them. During the comparison, a criterion for the SPRT was set as the stability at the triple point of water to be less than 0.3 mK. The results for both laboratories are summarized. A proposal for linking the NMC's comparison results to CCT-K3 is presented. The difference between NMC and NIM and the difference between NMC and the CCT-K3 average reference value using NIM as a link are reported with expanded uncertainties at each measured fixed point.

Fixed Points of Contractive Mappings in b-Metric-Like Spaces

PubMed Central

Hussain, Nawab; Roshan, Jamal Rezaei

2014-01-01

We discuss topological structure of b-metric-like spaces and demonstrate a fundamental lemma for the convergence of sequences. As an application we prove certain fixed point results in the setup of such spaces for different types of contractive mappings. Finally, some periodic point results in b-metric-like spaces are obtained. Two examples are presented in order to verify the effectiveness and applicability of our main results. PMID:25143980

47 CFR 101.705 - Special showing for renewal of common carrier station facilities using frequency diversity.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 47 Telecommunication 5 2010-10-01 2010-10-01 false Special showing for renewal of common carrier... COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES FIXED MICROWAVE SERVICES Common Carrier Fixed Point-to-Point Microwave Service § 101.705 Special showing for renewal of common carrier station...

47 CFR 90.473 - Operation of internal transmitter control systems through licensed fixed control points.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 47 Telecommunication 5 2010-10-01 2010-10-01 false Operation of internal transmitter control systems through licensed fixed control points. 90.473 Section 90.473 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES PRIVATE LAND MOBILE RADIO SERVICES Transmitter Control Internal Transmitter Control...

L-Fuzzy Fixed Points Theorems for L-Fuzzy Mappings via β ℱL-Admissible Pair

PubMed Central

Rashid, Maliha; Azam, Akbar

2014-01-01

We define the concept of β ℱL-admissible for a pair of L-fuzzy mappings and establish the existence of common L-fuzzy fixed point theorem. Our result generalizes some useful results in the literature. We provide an example to support our result. PMID:24688441

ASIC For Complex Fixed-Point Arithmetic

NASA Technical Reports Server (NTRS)

Petilli, Stephen G.; Grimm, Michael J.; Olson, Erlend M.

1995-01-01

Application-specific integrated circuit (ASIC) performs 24-bit, fixed-point arithmetic operations on arrays of complex-valued input data. High-performance, wide-band arithmetic logic unit (ALU) designed for use in computing fast Fourier transforms (FFTs) and for performing ditigal filtering functions. Other applications include general computations involved in analysis of spectra and digital signal processing.

47 CFR 90.473 - Operation of internal transmitter control systems through licensed fixed control points.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 47 Telecommunication 5 2013-10-01 2013-10-01 false Operation of internal transmitter control systems through licensed fixed control points. 90.473 Section 90.473 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES PRIVATE LAND MOBILE RADIO SERVICES Transmitter Control Internal Transmitter Control...

47 CFR 90.473 - Operation of internal transmitter control systems through licensed fixed control points.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 47 Telecommunication 5 2012-10-01 2012-10-01 false Operation of internal transmitter control systems through licensed fixed control points. 90.473 Section 90.473 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES PRIVATE LAND MOBILE RADIO SERVICES Transmitter Control Internal Transmitter Control...

47 CFR 90.473 - Operation of internal transmitter control systems through licensed fixed control points.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 47 Telecommunication 5 2011-10-01 2011-10-01 false Operation of internal transmitter control systems through licensed fixed control points. 90.473 Section 90.473 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES PRIVATE LAND MOBILE RADIO SERVICES Transmitter Control Internal Transmitter Control...

47 CFR 90.473 - Operation of internal transmitter control systems through licensed fixed control points.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 47 Telecommunication 5 2014-10-01 2014-10-01 false Operation of internal transmitter control systems through licensed fixed control points. 90.473 Section 90.473 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) SAFETY AND SPECIAL RADIO SERVICES PRIVATE LAND MOBILE RADIO SERVICES Transmitter Control Internal Transmitter Control...

Geometry in a dynamical system without space: Hyperbolic Geometry in Kuramoto Oscillator Systems

NASA Astrophysics Data System (ADS)

Engelbrecht, Jan; Chen, Bolun; Mirollo, Renato

Kuramoto oscillator networks have the special property that their time evolution is constrained to lie on 3D orbits of the Möbius group acting on the N-fold torus TN which explains the N - 3 constants of motion discovered by Watanabe and Strogatz. The dynamics for phase models can be further reduced to 2D invariant sets in T N - 1 which have a natural geometry equivalent to the unit disk Δ with hyperbolic metric. We show that the classic Kuramoto model with order parameter Z1 (the first moment of the oscillator configuration) is a gradient flow in this metric with a unique fixed point on each generic 2D invariant set, corresponding to the hyperbolic barycenter of an oscillator configuration. This gradient property makes the dynamics especially easy to analyze. We exhibit several new families of Kuramoto oscillator models which reduce to gradient flows in this metric; some of these have a richer fixed point structure including non-hyperbolic fixed points associated with fixed point bifurcations. Work Supported by NSF DMS 1413020.

Application of Monte Carlo Method for Evaluation of Uncertainties of ITS-90 by Standard Platinum Resistance Thermometer

NASA Astrophysics Data System (ADS)

Palenčár, Rudolf; Sopkuliak, Peter; Palenčár, Jakub; Ďuriš, Stanislav; Suroviak, Emil; Halaj, Martin

2017-06-01

Evaluation of uncertainties of the temperature measurement by standard platinum resistance thermometer calibrated at the defining fixed points according to ITS-90 is a problem that can be solved in different ways. The paper presents a procedure based on the propagation of distributions using the Monte Carlo method. The procedure employs generation of pseudo-random numbers for the input variables of resistances at the defining fixed points, supposing the multivariate Gaussian distribution for input quantities. This allows taking into account the correlations among resistances at the defining fixed points. Assumption of Gaussian probability density function is acceptable, with respect to the several sources of uncertainties of resistances. In the case of uncorrelated resistances at the defining fixed points, the method is applicable to any probability density function. Validation of the law of propagation of uncertainty using the Monte Carlo method is presented on the example of specific data for 25 Ω standard platinum resistance thermometer in the temperature range from 0 to 660 °C. Using this example, we demonstrate suitability of the method by validation of its results.

Geodetic point positioning with GPS (Global Positioning System) carrier beat phase data from the CASA (Central and South America) Uno experiment

DOE Office of Scientific and Technical Information (OSTI.GOV)

Malys, S.; Jensen, P.A.

1990-04-01

The Global Positioning System (GPS) carrier beat phase data collected by the TI4100 GPS receiver has been successfully utilized by the US Defense Mapping Agency in an algorithm which is designed to estimate individual absolute geodetic point positions from data collected over a few hours. The algorithm uses differenced data from one station and two to four GPS satellites at a series of epochs separated by 30 second intervals. The precise GPS ephemerides and satellite clock states, held fixed in the estimation process, are those estimated by the Naval Surface Warfare Center (NSWC). Broadcast ephemerides and clock states are alsomore » utilized for comparative purposes. An outline of the data corrections applied, the mathematical model and the estimation algorithm are presented. Point positioning results and statistics are presented for a globally-distributed set of stations which contributed to the CASA Uno experiment. Statistical assessment of 114 GPS point positions at 11 CASA Uno stations indicates that the overall standard deviation of a point position component, estimated from a few hours of data, is 73 centimeters. Solution of the long line geodetic inverse problem using repeated point positions such as these can potentially offer a new tool for those studying geodynamics on a global scale.« less

Accuracy of velocities from repeated GPS surveys: relative positioning is concerned

NASA Astrophysics Data System (ADS)

Duman, Huseyin; Ugur Sanli, D.

2016-04-01

Over more than a decade, researchers have been interested in studying the accuracy of GPS positioning solutions. Recently, reporting the accuracy of GPS velocities has been added to this. Researchers studying landslide motion, tectonic motion, uplift, sea level rise, and subsidence still report results from GPS experiments in which repeated GPS measurements from short sessions are used. This motivated some other researchers to study the accuracy of GPS deformation rates/velocities from various repeated GPS surveys. In one of the efforts, the velocity accuracy was derived from repeated GPS static surveys using short observation sessions and Precise Point Positioning mode of GPS software. Velocities from short GPS sessions were compared with the velocities from 24 h sessions. The accuracy of velocities was obtained using statistical hypothesis testing and quantifying the accuracy of least squares estimation models. The results reveal that 45-60 % of the horizontal and none of the vertical solutions comply with the results from 24 h solutions. We argue that this case in which the data was evaluated using PPP should also apply to the case in which the data belonging to long GPS base lengths is processed using fundamental relative point positioning. To test this idea we chose the two IGS stations ANKR and NICO and derive their velocities from the reference stations held fixed in the stable EURASIAN plate. The University of Bern's GNSS software BERNESE was used to produce relative positioning solutions, and the results are compared with those of GIPSY/OASIS II PPP results. First impressions indicate that it is worth designing a global experiment and test these ideas in detail.

Design of an FPGA-Based Algorithm for Real-Time Solutions of Statistics-Based Positioning

PubMed Central

DeWitt, Don; Johnson-Williams, Nathan G.; Miyaoka, Robert S.; Li, Xiaoli; Lockhart, Cate; Lewellen, Tom K.; Hauck, Scott

2010-01-01

We report on the implementation of an algorithm and hardware platform to allow real-time processing of the statistics-based positioning (SBP) method for continuous miniature crystal element (cMiCE) detectors. The SBP method allows an intrinsic spatial resolution of ~1.6 mm FWHM to be achieved using our cMiCE design. Previous SBP solutions have required a postprocessing procedure due to the computation and memory intensive nature of SBP. This new implementation takes advantage of a combination of algebraic simplifications, conversion to fixed-point math, and a hierarchal search technique to greatly accelerate the algorithm. For the presented seven stage, 127 × 127 bin LUT implementation, these algorithm improvements result in a reduction from >7 × 106 floating-point operations per event for an exhaustive search to < 5 × 103 integer operations per event. Simulations show nearly identical FWHM positioning resolution for this accelerated SBP solution, and positioning differences of <0.1 mm from the exhaustive search solution. A pipelined field programmable gate array (FPGA) implementation of this optimized algorithm is able to process events in excess of 250 K events per second, which is greater than the maximum expected coincidence rate for an individual detector. In contrast with all detectors being processed at a centralized host, as in the current system, a separate FPGA is available at each detector, thus dividing the computational load. These methods allow SBP results to be calculated in real-time and to be presented to the image generation components in real-time. A hardware implementation has been developed using a commercially available prototype board. PMID:21197135

Modification and fixed-point analysis of a Kalman filter for orientation estimation based on 9D inertial measurement unit data.

PubMed

Brückner, Hans-Peter; Spindeldreier, Christian; Blume, Holger

2013-01-01

A common approach for high accuracy sensor fusion based on 9D inertial measurement unit data is Kalman filtering. State of the art floating-point filter algorithms differ in their computational complexity nevertheless, real-time operation on a low-power microcontroller at high sampling rates is not possible. This work presents algorithmic modifications to reduce the computational demands of a two-step minimum order Kalman filter. Furthermore, the required bit-width of a fixed-point filter version is explored. For evaluation real-world data captured using an Xsens MTx inertial sensor is used. Changes in computational latency and orientation estimation accuracy due to the proposed algorithmic modifications and fixed-point number representation are evaluated in detail on a variety of processing platforms enabling on-board processing on wearable sensor platforms.

Numerical simulations of the flow with the prescribed displacement of the airfoil and comparison with experiment

NASA Astrophysics Data System (ADS)

Řidký, V.; Šidlof, P.; Vlček, V.

2013-04-01

The work is devoted to comparing measured data with the results of numerical simulations. As mathematical model was used mathematical model whitout turbulence for incompressible flow In the experiment was observed the behavior of designed NACA0015 airfoil in airflow. For the numerical solution was used OpenFOAM computational package, this is open-source software based on finite volume method. In the numerical solution is prescribed displacement of the airfoil, which corresponds to the experiment. The velocity at a point close to the airfoil surface is compared with the experimental data obtained from interferographic measurements of the velocity field. Numerical solution is computed on a 3D mesh composed of about 1 million ortogonal hexahedron elements. The time step is limited by the Courant number. Parallel computations are run on supercomputers of the CIV at Technical University in Prague (HAL and FOX) and on a computer cluster of the Faculty of Mechatronics of Liberec (HYDRA). Run time is fixed at five periods, the results from the fifth periods and average value for all periods are then be compared with experiment.

Modelling groundwater fractal flow with fractional differentiation via Mittag-Leffler law

NASA Astrophysics Data System (ADS)

Ahokposi, D. P.; Atangana, Abdon; Vermeulen, D. P.

2017-04-01

Modelling the flow of groundwater within a network of fractures is perhaps one of the most difficult exercises within the field of geohydrology. This physical problem has attracted the attention of several scientists across the globe. Already two different types of differentiations have been used to attempt modelling this problem including the classical and the fractional differentiation. In this paper, we employed the most recent concept of differentiation based on the non-local and non-singular kernel called the generalized Mittag-Leffler function, to reshape the model of groundwater fractal flow. We presented the existence of positive solution of the new model. Using the fixed-point approach, we established the uniqueness of the positive solution. We solve the new model with three different numerical schemes including implicit, explicit and Crank-Nicholson numerical methods. Experimental data collected from four constant discharge tests conducted in a typical fractured crystalline rock aquifer of the Northern Limb (Bushveld Complex) in the Limpopo Province (South Africa) are compared with the numerical solutions. It is worth noting that the four boreholes (BPAC1, BPAC2, BPAC3, and BPAC4) are located on Faults.

Fixed-node quantum Monte Carlo

NASA Astrophysics Data System (ADS)

Anderson, James B.

Quantum Monte Carlo methods cannot at present provide exact solutions of the Schrödinger equation for systems with more than a few electrons. But, quantum Monte Carlo calculations can provide very low energy, highly accurate solutions for many systems ranging up to several hundred electrons. These systems include atoms such as Be and Fe, molecules such as H2O, CH4, and HF, and condensed materials such as solid N2 and solid silicon. The quantum Monte Carlo predictions of their energies and structures may not be `exact', but they are the best available. Most of the Monte Carlo calculations for these systems have been carried out using approximately correct fixed nodal hypersurfaces and they have come to be known as `fixed-node quantum Monte Carlo' calculations. In this paper we review these `fixed node' calculations and the accuracies they yield.

A Solution Space for a System of Null-State Partial Differential Equations: Part 1

NASA Astrophysics Data System (ADS)

Flores, Steven M.; Kleban, Peter

2015-01-01

This article is the first of four that completely and rigorously characterize a solution space for a homogeneous system of 2 N + 3 linear partial differential equations (PDEs) in 2 N variables that arises in conformal field theory (CFT) and multiple Schramm-Löwner evolution (SLE). In CFT, these are null-state equations and conformal Ward identities. They govern partition functions for the continuum limit of a statistical cluster or loop-gas model, such as percolation, or more generally the Potts models and O( n) models, at the statistical mechanical critical point. (SLE partition functions also satisfy these equations.) For such a lattice model in a polygon with its 2 N sides exhibiting a free/fixed side-alternating boundary condition , this partition function is proportional to the CFT correlation function where the w i are the vertices of and where is a one-leg corner operator. (Partition functions for "crossing events" in which clusters join the fixed sides of in some specified connectivity are linear combinations of such correlation functions.) When conformally mapped onto the upper half-plane, methods of CFT show that this correlation function satisfies the system of PDEs that we consider. In this first article, we use methods of analysis to prove that the dimension of this solution space is no more than C N , the Nth Catalan number. While our motivations are based in CFT, our proofs are completely rigorous. This proof is contained entirely within this article, except for the proof of Lemma 14, which constitutes the second article (Flores and Kleban, in Commun Math Phys, arXiv:1404.0035, 2014). In the third article (Flores and Kleban, in Commun Math Phys, arXiv:1303.7182, 2013), we use the results of this article to prove that the solution space of this system of PDEs has dimension C N and is spanned by solutions constructed with the CFT Coulomb gas (contour integral) formalism. In the fourth article (Flores and Kleban, in Commun Math Phys, arXiv:1405.2747, 2014), we prove further CFT-related properties about these solutions, some useful for calculating cluster-crossing probabilities of critical lattice models in polygons.

Present-Day Kinematics of the Central Mediterranean Plate Boundary Region from Large GPS Network Analysis Using the Ambizap Algorithm

NASA Astrophysics Data System (ADS)

D'Anastasio, E.; D'Agostino, N.; Avallone, A.; Blewitt, G.

2008-12-01

The large, recent increase of continuous GPS (CGPS) stations in the Central Mediterranean plate boundary zone offers the opportunity to study in detail the present-day kinematics of this actively deforming region. CGPS data from scientific and commercial networks in the Italian region is now available from more than 350 stations, including more than 130 from the RING network deployed by the Istituto Nazionale di Geofisica e Vulcanologia. The RING stations all have high quality GPS monuments and are co- located with broadband or very broadband seismometers and strong motion sensors. The analysis presented here also uses far-field data to provide reference frame control, bringing the total to over 580 CGPS stations. GPS ambiguity resolution of such a large amount of data presents a serious challenge in terms of processing time. Many scientific GPS data processing software packages address this problem by dividing the network into several clusters. In contrast, this analysis uses the new Ambizap GPS processing algorithm (Blewitt, 2008) to obtain unique, self-consistent daily ambiguity-fixed solutions for the entire network. Ambizap allows for a rapid and multiple reanalysis of large regional networks such the one presented in this work. Tests show that Ambizap reproduces solutions from time-prohibitive full-network ambiguity resolution to much less than 1 mm. Single station GPS data are first processed with the GIPSY-OASIS II software by the precise point positioning (PPP) strategy (Zumberge et al., 1997) using JPL products from ftp://sideshow.jpl.nasa.gov. Integer ambiguity resolution is then applied using Ambizap. The resulting daily solutions are aligned to the ITRF2005 reference frame. Then, using the CATS software (Williams, 2007), time series are cleaned to remove outliers and are analyzed for their noise properties, linear velocities, periodic signals and antenna jumps. Stable plate reference frames are realized by minimizing the horizontal velocities at more than 70 and 20 sites on the Eurasia and Nubia plates, respectively. The daily RMS scatter for the east coordinates (derived from PPP) in this frame is typically in the range 2-4 mm before applying Ambizap, and 1-2 mm after applying Ambizap. The solutions are then evaluated with regard to the numerous scientific motivations behind this project, ranging from the definition of strain distribution and microplate kinematics within the plate boundary, to the evaluation of tectonic strain accumulation on active faults. References: Blewitt, G. (2008), Fixed-point theorems of GPS carrier phase ambiguity resolution and their application to massive network processing: 'Ambizap', J. Geophys. Res., doi:10.1029/2008JB005736, in press. Williams, S.D.P. (2007), CATS: GPS coordinate time series analysis software, GPS solut., doi:10.1007/s10291-007-0086-4 Zumberge, J. F., M. B. Heflin, D. C. Jefferson, M. M. Watkins, and F. H. Webb (1997), Precise point positioning for the efficient and robust analysis of GPS data from large networks, J. Geophys. Res., 102, 5005-501

FixO3 project results, legacy and module migration to EMSO

NASA Astrophysics Data System (ADS)

Lampitt, Richard

2017-04-01

The fixed point open ocean observatory network (FixO3) project is an international project aimed at integrating in a single network all fixed point open ocean observatories operated by European organisations and to harmonise and coordinate technological, procedural and data management across the stations. The project is running for four years since September 2013 with 29 partners across Europe and a budget of 7M Euros and is now coming to its final phase. In contrast to several past programmes, the opportunity has arisen to ensure that many of the project achievements can migrate into the newly formed European Multidisciplinary Seafloor and water column Observatory (EMSO) research infrastructure. The final phase of the project will focus on developing a strategy to transfer the results in an efficient way to maintain their relevance and maximise their use. In this presentation, we will highlight the significant achievements of FixO3 over the past three years focussing on the modules which will be transferred to EMSO in the coming 9 months. These include: 1. Handbook of best practices for operating fixed point observatories 2. Metadata catalogue 3. Earth Virtual Observatory (EarthVO) for data visualisation and comparison 4. Open Ocean Observatory Yellow Pages (O3YP) 5. Training material for hardware, data and data products used

A Hybrid Common Fixed Point Theorem under Certain Recent Properties

PubMed Central

Imdad, Mohammad

2014-01-01

We prove a common fixed point theorem for a hybrid pair of occasionally coincidentally idempotent mappings via common limit range property. Our result improves some results from the existing literature, especially the ones contained in Sintunavarat and Kumam (2009). Some illustrative and interesting examples to highlight the realized improvements are also furnished. PMID:24592191

A 640-MHz 32-megachannel real-time polyphase-FFT spectrum analyzer

NASA Technical Reports Server (NTRS)

Zimmerman, G. A.; Garyantes, M. F.; Grimm, M. J.; Charny, B.

1991-01-01

A polyphase fast Fourier transform (FFT) spectrum analyzer being designed for NASA's Search for Extraterrestrial Intelligence (SETI) Sky Survey at the Jet Propulsion Laboratory is described. By replacing the time domain multiplicative window preprocessing with polyphase filter processing, much of the processing loss of windowed FFTs can be eliminated. Polyphase coefficient memory costs are minimized by effective use of run length compression. Finite word length effects are analyzed, producing a balanced system with 8 bit inputs, 16 bit fixed point polyphase arithmetic, and 24 bit fixed point FFT arithmetic. Fixed point renormalization midway through the computation is seen to be naturally accommodated by the matrix FFT algorithm proposed. Simulation results validate the finite word length arithmetic analysis and the renormalization technique.

[Treatment of calcaneal avulsion fractures with twinfix suture anchors fixation].

PubMed

Zhao, Bin-xiu; Wang, Kun-zheng; Wang, Chun-sheng; Xie, Yue; Dai, Zhi-tang; Liu, Gang; Liu, Wei-dong

2011-06-01

For the calcaneal avulsion fracture, the current method is more commonly used screws or Kirschner wire to fix fracture fragment. This article intended to explore the feasibility and clinical efficacy for the treatment of avulsion fractures with TwinFix suture anchors. From July 2007 to November 2010, 21 patients were reviewed, including 15 males and 6 females, ranging in age from 49 to 65 years,with a mean of 58.7 years. Twelve patients had nodules in the right heel and 9 patients had nodules in the left heel. All the patients had closed fractures. The typical preoperative symptoms of the patients included pain in the upper heel and weak in heel lift. Body examination results: palpable sense of bone rubbing in the back of the heel, and swelling in the heel. Surgery treatment with TwinFix suture anchors performed as follows : to fix TwinFix suture anchors into the calcaneal body, then to drill the fracture block, to make the double strand suture through the fracture holes, to knot the suture eachother to fix the block, and to use stitch to fix the remaining suture in the Achilles tendon in order to improve the block fixation. The criteria of the AOFAS Foot and Ankle Surgery by the United States Association of ankle-rear foot functional recovery was used to evaluate the Achilles tendon. Total average score was (95.5 +/- 3.12) points, including pain items of(38.5 +/- 2.18) points,the average score of functional items of (49.5 +/- 3.09) points,and power lines of 10 points in all patients. Twenty-one patients got an excellent result, 16 good and 5 poor. The methods of treatment for the calcaneal avulsion fractures with TwinFix suture anchors is a simple operation, and have excellent clinical effect, which is worthy of promotion.

Tympanic thermometer performance validation by use of a body-temperature fixed point blackbody

NASA Astrophysics Data System (ADS)

Machin, Graham; Simpson, Robert

2003-04-01

The use of infrared tympanic thermometers within the medical community (and more generically in the public domain) has recently grown rapidly, displacing more traditional forms of thermometry such as mercury-in-glass. Besides the obvious health concerns over mercury the increase in the use of tympanic thermometers is related to a number of factors such as their speed and relatively non-invasive method of operation. The calibration and testing of such devices is covered by a number of international standards (ASTM1, prEN2, JIS3) which specify the design of calibration blackbodies. However these calibration sources are impractical for day-to-day in-situ validation purposes. In addition several studies (e.g. Modell et al4, Craig et al5) have thrown doubt on the accuracy of tympanic thermometers in clinical use. With this in mind the NPL is developing a practical, portable and robust primary reference fixed point source for tympanic thermometer validation. The aim of this simple device is to give the clinician a rapid way of validating the performance of their tympanic thermometer, enabling the detection of mal-functioning thermometers and giving confidence in the measurement to the clinician (and patient!) at point of use. The reference fixed point operates at a temperature of 36.3 °C (97.3 °F) with a repeatability of approximately +/- 20 mK. The fixed-point design has taken into consideration the optical characteristics of tympanic thermometers enabling wide-angled field of view devices to be successfully tested. The overall uncertainty of the device is estimated to be is less than 0.1°C. The paper gives a description of the fixed point, its design and construction as well as the results to date of validation tests.

Existence and instability of steady states for a triangular cross-diffusion system: A computer-assisted proof

NASA Astrophysics Data System (ADS)

Breden, Maxime; Castelli, Roberto

2018-05-01

In this paper, we present and apply a computer-assisted method to study steady states of a triangular cross-diffusion system. Our approach consist in an a posteriori validation procedure, that is based on using a fixed point argument around a numerically computed solution, in the spirit of the Newton-Kantorovich theorem. It allows to prove the existence of various non homogeneous steady states for different parameter values. In some situations, we obtain as many as 13 coexisting steady states. We also apply the a posteriori validation procedure to study the linear stability of the obtained steady states, proving that many of them are in fact unstable.

Density Functional Calculations for the Neutron Star Matter at Subnormal Density

NASA Astrophysics Data System (ADS)

Kashiwaba, Yu; Nakatsukasa, Takashi

The pasta phases of nuclear matter, whose existence is suggested at low density, may influence observable properties of neutron stars. In order to investigate properties of the neutron star matter, we calculate self-consistent solutions for the ground states of slab-like phase using the microscopic density functional theory with Bloch wave functions. The calculations are performed at each point of fixed average density and proton fraction (\\bar{ρ },Yp), varying the lattice constant of the unit cell. For small Yp values, the dripped neutrons emerge in the ground state, while the protons constitute the slab (crystallized) structure. The shell effect of protons affects the thickness of the slab nuclei.

Precision Pointing Control System (PPCS) system design and analysis. [for gimbaled experiment platforms

NASA Technical Reports Server (NTRS)

Frew, A. M.; Eisenhut, D. F.; Farrenkopf, R. L.; Gates, R. F.; Iwens, R. P.; Kirby, D. K.; Mann, R. J.; Spencer, D. J.; Tsou, H. S.; Zaremba, J. G.

1972-01-01

The precision pointing control system (PPCS) is an integrated system for precision attitude determination and orientation of gimbaled experiment platforms. The PPCS concept configures the system to perform orientation of up to six independent gimbaled experiment platforms to design goal accuracy of 0.001 degrees, and to operate in conjunction with a three-axis stabilized earth-oriented spacecraft in orbits ranging from low altitude (200-2500 n.m., sun synchronous) to 24 hour geosynchronous, with a design goal life of 3 to 5 years. The system comprises two complementary functions: (1) attitude determination where the attitude of a defined set of body-fixed reference axes is determined relative to a known set of reference axes fixed in inertial space; and (2) pointing control where gimbal orientation is controlled, open-loop (without use of payload error/feedback) with respect to a defined set of body-fixed reference axes to produce pointing to a desired target.

Comparison of Fixed Point Realisations between Inmetro and PTB

NASA Astrophysics Data System (ADS)

Santiago, J. F. N.; Petkovic, S. G.; Teixeira, R. N.; Noatsch, U.; Thiele-Krivoj, B.

2003-09-01

An interlaboratory comparison in the temperature range between -190 °C and 420 °C was organised between the National Institute of Quality, Normalisation and Industrial Quality (Inmetro), Brazil, and the Physikalisch Technische Bundesanstalt (PTB), Germany. This comparison followed the same protocol as the EUROMET project 552 comparison and was carried out in the years 2001-2002. A standard platinum resistance thermometer (SPRT) of 25 Ω was calibrated at the temperature fixed points of Ar, Hg, the triple point of water (TWP), Ga, In, Sn and Zn, with at least three realisations of each fixed point at both institutes. The uncertainty evaluation is given by Inmetro and some differences in the calibration procedures or in the measuring instruments used are described. The agreement between the results of laboratories was not in all cases within the combined uncertainties. Results of other comparisons are presented, which give additional information on the equivalence of the realised temperature scales.

Human's choices in situations of time-based diminishing returns.

PubMed Central

Hackenberg, T D; Axtell, S A

1993-01-01

Three experiments examined adult humans' choices in situations with contrasting short-term and long-term consequences. Subjects were given repeated choices between two time-based schedules of points exchangeable for money: a fixed schedule and a progressive schedule that began at 0 s and increased by 5 s with each point delivered by that schedule. Under "reset" conditions, choosing the fixed schedule not only produced a point but it also reset the requirements of the progressive schedule to 0 s. In the first two experiments, reset conditions alternated with "no-reset" conditions, in which progressive-schedule requirements were independent of fixed-schedule choices. Experiment 1 entailed choices between a progressive-interval schedule and a fixed-interval schedule, the duration of which varied across conditions. Switching from the progressive- to the fixed-interval schedule was systematically related to fixed-interval size in 4 of 8 subjects, and in all subjects occurred consistently sooner in the progressive-schedule sequence under reset than under no-reset procedures. The latter result was replicated in a second experiment, in which choices between progressive- and fixed-interval schedules were compared with choices between progressive- and fixed-time schedules. In Experiment 3, switching patterns under reset conditions were unrelated to variations in intertrial interval. In none of the experiments did orderly choice patterns depend on verbal descriptions of the contingencies or on schedule-controlled response patterns in the presence of the chosen schedules. The overall pattern of results indicates control of choices by temporarily remote consequences, and is consistent with versions of optimality theory that address performance in situations of diminishing returns. PMID:8315364

An Efficient Implementation of Fixed Failure-Rate Ratio Test for GNSS Ambiguity Resolution.

PubMed

Hou, Yanqing; Verhagen, Sandra; Wu, Jie

2016-06-23

Ambiguity Resolution (AR) plays a vital role in precise GNSS positioning. Correctly-fixed integer ambiguities can significantly improve the positioning solution, while incorrectly-fixed integer ambiguities can bring large positioning errors and, therefore, should be avoided. The ratio test is an extensively used test to validate the fixed integer ambiguities. To choose proper critical values of the ratio test, the Fixed Failure-rate Ratio Test (FFRT) has been proposed, which generates critical values according to user-defined tolerable failure rates. This contribution provides easy-to-implement fitting functions to calculate the critical values. With a massive Monte Carlo simulation, the functions for many different tolerable failure rates are provided, which enriches the choices of critical values for users. Moreover, the fitting functions for the fix rate are also provided, which for the first time allows users to evaluate the conditional success rate, i.e., the success rate once the integer candidates are accepted by FFRT. The superiority of FFRT over the traditional ratio test regarding controlling the failure rate and preventing unnecessary false alarms is shown by a simulation and a real data experiment. In the real data experiment with a baseline of 182.7 km, FFRT achieved much higher fix rates (up to 30% higher) and the same level of positioning accuracy from fixed solutions as compared to the traditional critical value.

When water does not boil at the boiling point.

PubMed

Chang, Hasok

2007-03-01

Every schoolchild learns that, under standard pressure, pure water always boils at 100 degrees C. Except that it does not. By the late 18th century, pioneering scientists had already discovered great variations in the boiling temperature of water under fixed pressure. So, why have most of us been taught that the boiling point of water is constant? And, if it is not constant, how can it be used as a 'fixed point' for the calibration of thermometers? History of science has the answers.

Self-focusing quantum states

NASA Astrophysics Data System (ADS)

Villanueva, Anthony Allan D.

2018-02-01

We discuss a class of solutions of the time-dependent Schrödinger equation such that the position uncertainty temporarily decreases. This self-focusing or contractive behavior is a consequence of the anti-correlation of the position and momentum observables. Since the associated position density satisfies a continuity equation, upon contraction the probability current at a given fixed point may flow in the opposite direction of the group velocity of the wave packet. For definiteness, we consider a free particle incident from the left of the origin, and establish a condition for the initial position-momentum correlation such that a negative probability current at the origin is possible. This implies a decrease in the particle's detection probability in the region x > 0, and we calculate how long this occurs. Analogous results are obtained for a particle subject to a uniform gravitational force if we consider the particle approaching the turning point. We show that position-momentum anti-correlation may cause a negative probability current at the turning point, leading to a temporary decrease in the particle's detection probability in the classically forbidden region.

A test of fixed and moving reference point control in posture.

PubMed

Lee, I-Chieh; Pacheco, Matheus M; Newell, Karl M

2017-01-01

This study investigated two contrasting assumptions of the regulation of posture: namely, fixed and moving reference point control. These assumptions were tested in terms of time-dependent structure and data distribution properties when stability is manipulated. Fifteen male participants performed a tightrope simulated balance task that is, maintaining a tandem stance while holding a pole. Pole length (and mass) and the standing support surface (fixed surface/balance board) were manipulated so as to mechanically change the balance stability. The mean and standard deviation (SD) of COP length were reduced with pole length increment but only in the balance board surface condition. Also, the SampEn was lower with greater pole length for the balance board but not the fixed surface. More than one peak was present in the distribution of COP in the majority of trials. Collectively, the findings provide evidence for a moving reference point in the maintenance of postural stability for quiet standing. Copyright © 2016 Elsevier B.V. All rights reserved.

Free-time and fixed end-point optimal control theory in dissipative media: application to entanglement generation and maintenance.

PubMed

Mishima, K; Yamashita, K

2009-07-07

We develop monotonically convergent free-time and fixed end-point optimal control theory (OCT) in the density-matrix representation to deal with quantum systems showing dissipation. Our theory is more general and flexible for tailoring optimal laser pulses in order to control quantum dynamics with dissipation than the conventional fixed-time and fixed end-point OCT in that the optimal temporal duration of laser pulses can also be optimized exactly. To show the usefulness of our theory, it is applied to the generation and maintenance of the vibrational entanglement of carbon monoxide adsorbed on the copper (100) surface, CO/Cu(100). We demonstrate the numerical results and clarify how to combat vibrational decoherence as much as possible by the tailored shapes of the optimal laser pulses. It is expected that our theory will be general enough to be applied to a variety of dissipative quantum dynamics systems because the decoherence is one of the quantum phenomena sensitive to the temporal duration of the quantum dynamics.

Rapid analysis of fertilizers by the direct-reading thermometric method.

PubMed

Sajó, I; Sipos, B

1972-05-01

The authors have developed rapid methods for the determination of the main components of fertilizers, namely phosphate, potassium and nitrogen fixed in various forms. In the absence of magnesium ions phosphate is precipitated with magnesia mixture; in the presence of magnesium ions ammonium phosphomolybdate is precipitated and the excess of molybdate is reacted with hydrogen peroxide. Potassium is determined by precipitation with silico-fluoride. For nitrogen fixed as ammonium salts the ammonium ions are condensed in a basic solution with formalin to hexamethylenetetramine; for nitrogen fixed as carbamide the latter is decomposed with sodium nitrite; for nitrogen fixed as nitrate the latter is reduced with titanium(III). In each case the temperature change of the test solution is measured. Practically all essential components of fertilizers may be determined by direct-reading thermometry; with this method and special apparatus the time of analysis is reduced to at most about 15 min for any determination.

(Un)Fixing Education

ERIC Educational Resources Information Center

Kuntz, Aaron M.; Petrovic, John E.

2018-01-01

In this article we consider the material dimensions of schooling as constitutive of the possibilities inherent in "fixing" education. We begin by mapping out the problem of "fixing education," pointing to the necrophilic tendencies of contemporary education--a desire to kill what otherwise might be life-giving. In this sense,…

Fixed point Open Ocean Observatory network (FixO3): Multidisciplinary observations from the air-sea interface to the deep seafloor

NASA Astrophysics Data System (ADS)

Lampitt, Richard; Cristini, Luisa

2014-05-01

The Fixed point Open Ocean Observatory network (FixO3) seeks to integrate the 23 European open ocean fixed point observatories and to improve access to these key installations for the broader community. These will provide multidisciplinary observations in all parts of the oceans from the air-sea interface to the deep seafloor. Coordinated by the National Oceanography Centre, UK, FixO3 builds on the significant advances achieved through the previous Europe-funded FP7 programmes EuroSITES, ESONET and CARBOOCEAN. Started in September 2013 with a budget of 7 Million Euros over 4 years the project has 29 partners drawn from academia, research institutions and SME's. In addition 12 international experts from a wide range of disciplines comprise an Advisory Board. On behalf of the FixO3 Consortium, we present the programme that will be achieved through the activities of 12 Work Packages: 1. Coordination activities to integrate and harmonise the current procedures and processes. Strong links will be fostered with the wider community across academia, industry, policy and the general public through outreach, knowledge exchange and training. 2. Support actions to offer a) free access to observatory infrastructures to those who do not have such access, and b) free and open data services and products. 3. Joint research activities to innovate and enhance the current capability for multidisciplinary in situ ocean observation. Support actions include Transnational Access (TNA) to FixO3 infrastructure, meaning that European organizations can apply to free-of-charge access to the observatories for research and testing in two international calls during the project lifetime. The first call for TNA opens in summer 2014. More information can be found on FixO3 website (www.fixo3.eu/). Open ocean observation is currently a high priority for European marine and maritime activities. FixO3 will provide important data on environmental products and services to address the Marine Strategy Framework Directive and in support of the European Integrated Maritime Policy. The FixO3 network will provide free and open access to in situ fixed point data of the highest quality. It will provide a strong integrated framework of open ocean facilities in the Atlantic from the Arctic to the Antarctic and throughout the Mediterranean, enabling an integrated, regional and multidisciplinary approach to understand natural and anthropogenic change in the ocean.

Multi-Objective Optimization of a Turbofan for an Advanced, Single-Aisle Transport

NASA Technical Reports Server (NTRS)

Berton, Jeffrey J.; Guynn, Mark D.

2012-01-01

Considerable interest surrounds the design of the next generation of single-aisle commercial transports in the Boeing 737 and Airbus A320 class. Aircraft designers will depend on advanced, next-generation turbofan engines to power these airplanes. The focus of this study is to apply single- and multi-objective optimization algorithms to the conceptual design of ultrahigh bypass turbofan engines for this class of aircraft, using NASA s Subsonic Fixed Wing Project metrics as multidisciplinary objectives for optimization. The independent design variables investigated include three continuous variables: sea level static thrust, wing reference area, and aerodynamic design point fan pressure ratio, and four discrete variables: overall pressure ratio, fan drive system architecture (i.e., direct- or gear-driven), bypass nozzle architecture (i.e., fixed- or variable geometry), and the high- and low-pressure compressor work split. Ramp weight, fuel burn, noise, and emissions are the parameters treated as dependent objective functions. These optimized solutions provide insight to the ultrahigh bypass engine design process and provide information to NASA program management to help guide its technology development efforts.

[Formula: see text]-Contraction in terms of measure of noncompactness with application for nonlinear integral equations.

PubMed

Nikbakhtsarvestani, Farzaneh; Vaezpour, S Mansour; Asadi, Mehdi

2017-01-01

In this paper, some new generalization of Darbo's fixed point theorem is proved by using a [Formula: see text]-contraction in terms of a measure of noncompactness. Our result extends to obtaining a common fixed point for a pair of compatible mappings. The paper contains an application for nonlinear integral equations as well.

Fixed Point Theorems for Hybrid Mappings

PubMed Central

Kamran, Tayyab; Karapinar, Erdal

2015-01-01

We obtain some fixed point theorems for two pairs of hybrid mappings using hybrid tangential property and quadratic type contractive condition. Our results generalize some results by Babu and Alemayehu and those contained therein. In the sequel, we introduce a new notion to generalize occasionally weak compatibility. Moreover, two concrete examples are established to illuminate the generality of our results. PMID:25629089

Fixed Point Problems for Linear Transformations on Pythagorean Triples

ERIC Educational Resources Information Center

Zhan, M.-Q.; Tong, J.-C.; Braza, P.

2006-01-01

In this article, an attempt is made to find all linear transformations that map a standard Pythagorean triple (a Pythagorean triple [x y z][superscript T] with y being even) into a standard Pythagorean triple, which have [3 4 5][superscript T] as their fixed point. All such transformations form a monoid S* under matrix product. It is found that S*…

Fixed-Radius Point Counts in Forests: Factors Influencing Effectiveness and Efficiency

Treesearch

Daniel R. Petit; Lisa J. Petit; Victoria A. Saab; Thomas E. Martin

1995-01-01

The effectiveness of fixed-radius point counts in quantifying abundance and richness of bird species in oak-hickory, pine-hardwoods, mixed-mesophytic, beech-maple, and riparian cottonwood forests was evaluated in Arkansas, Ohio, Kentucky, and Idaho. Effects of count duration and numbers of stations and visits per stand were evaluated in May to July 1991 by conducting...

A MAP fixed-point, packing-unpacking routine for the IBM 7094 computer

Treesearch

Robert S. Helfman

1966-01-01

Two MAP (Macro Assembly Program) computer routines for packing and unpacking fixed point data are described. Use of these routines with Fortran IV Programs provides speedy access to quantities of data which far exceed the normal storage capacity of IBM 7000-series computers. Many problems that could not be attempted because of the slow access-speed of tape...

Quantum group spin nets: Refinement limit and relation to spin foams

NASA Astrophysics Data System (ADS)

Dittrich, Bianca; Martin-Benito, Mercedes; Steinhaus, Sebastian

2014-07-01

So far spin foam models are hardly understood beyond a few of their basic building blocks. To make progress on this question, we define analogue spin foam models, so-called "spin nets," for quantum groups SU(2)k and examine their effective continuum dynamics via tensor network renormalization. In the refinement limit of this coarse-graining procedure, we find a vast nontrivial fixed-point structure beyond the degenerate and the BF phase. In comparison to previous work, we use fixed-point intertwiners, inspired by Reisenberger's construction principle [M. P. Reisenberger, J. Math. Phys. (N.Y.) 40, 2046 (1999)] and the recent work [B. Dittrich and W. Kaminski, arXiv:1311.1798], as the initial parametrization. In this new parametrization fine-tuning is not required in order to flow to these new fixed points. Encouragingly, each fixed point has an associated extended phase, which allows for the study of phase transitions in the future. Finally we also present an interpretation of spin nets in terms of melonic spin foams. The coarse-graining flow of spin nets can thus be interpreted as describing the effective coupling between two spin foam vertices or space time atoms.

Stochastic oscillations in models of epidemics on a network of cities

NASA Astrophysics Data System (ADS)

Rozhnova, G.; Nunes, A.; McKane, A. J.

2011-11-01

We carry out an analytic investigation of stochastic oscillations in a susceptible-infected-recovered model of disease spread on a network of n cities. In the model a fraction fjk of individuals from city k commute to city j, where they may infect, or be infected by, others. Starting from a continuous-time Markov description of the model the deterministic equations, which are valid in the limit when the population of each city is infinite, are recovered. The stochastic fluctuations about the fixed point of these equations are derived by use of the van Kampen system-size expansion. The fixed point structure of the deterministic equations is remarkably simple: A unique nontrivial fixed point always exists and has the feature that the fraction of susceptible, infected, and recovered individuals is the same for each city irrespective of its size. We find that the stochastic fluctuations have an analogously simple dynamics: All oscillations have a single frequency, equal to that found in the one-city case. We interpret this phenomenon in terms of the properties of the spectrum of the matrix of the linear approximation of the deterministic equations at the fixed point.

Geometrical and Graphical Solutions of Quadratic Equations.

ERIC Educational Resources Information Center

Hornsby, E. John, Jr.

1990-01-01

Presented are several geometrical and graphical methods of solving quadratic equations. Discussed are Greek origins, Carlyle's method, von Staudt's method, fixed graph methods and imaginary solutions. (CW)

Aspects of the RVB Luttinger Liquid Theory of the High Temperature Superconductivity

NASA Astrophysics Data System (ADS)

Ren, Yong

1992-01-01

This thesis describes work on a large-U Hubbard model theory for high temperature superconductors. After an introduction to the Hubbard model and the normal state properties of the high T_{rm c} superconductors, we briefly examine the definition of the Fermi liquid and its breakdown. Then we explain why the 1D Hubbard model is the best starting point to approach our problem. In one dimension, the exact Lieb-Wu solution is available. We discuss the Lieb-Wu solution, and calculate various asymptotic correlation functions in the ground state. This clarifies the nature of the ground state which has not been known before. Instead of simply getting the exponents of the correlation functions from the Bethe Ansatz integral equations, we establish the connection between phase shifts at different Fermi points and the asymptotic correlation functions. We believe that this connection contains the most important physics and it can be readily generalized into higher dimensions. We then discuss bosonization in two dimensions and define the 2D RVB-Luttinger liquid theory, proposing that the ground state of the 2D Hubbard model belongs to a different fixed point than the Landau Fermi liquid-Luttinger liquid. Finally we apply the understanding of the 1D result to explain the normal state properties of the high T_ {c} superconductors, putting emphasis on how the non-Fermi liquid correlation functions explain the "anomalous" experimental results. In the Appendix, several issues related to the 1D and 2D Hubbard model are discussed.

Cosmic infinity: a dynamical system approach

NASA Astrophysics Data System (ADS)

Bouhmadi-López, Mariam; Marto, João; Morais, João; Silva, César M.

2017-03-01

Dynamical system techniques are extremely useful to study cosmology. It turns out that in most of the cases, we deal with finite isolated fixed points corresponding to a given cosmological epoch. However, it is equally important to analyse the asymptotic behaviour of the universe. On this paper, we show how this can be carried out for 3-form models. In fact, we show that there are fixed points at infinity mainly by introducing appropriate compactifications and defining a new time variable that washes away any potential divergence of the system. The richness of 3-form models allows us as well to identify normally hyperbolic non-isolated fixed points. We apply this analysis to three physically interesting situations: (i) a pre-inflationary era; (ii) an inflationary era; (iii) the late-time dark matter/dark energy epoch.

Quantum corrections to non-Abelian SUSY theories on orbifolds

NASA Astrophysics Data System (ADS)

Groot Nibbelink, Stefan; Hillenbach, Mark

2006-07-01

We consider supersymmetric non-Abelian gauge theories coupled to hyper multiplets on five and six dimensional orbifolds, S/Z and T/Z, respectively. We compute the bulk and local fixed point renormalizations of the gauge couplings. To this end we extend supergraph techniques to these orbifolds by defining orbifold compatible delta functions. We develop their properties in detail. To cancel the bulk one-loop divergences the bulk gauge kinetic terms and dimension six higher derivative operators are required. The gauge couplings renormalize at the Z fixed points due to vector multiplet self interactions; the hyper multiplet renormalizes only non- Z fixed points. In 6D the Wess-Zumino-Witten term and a higher derivative analogue have to renormalize in the bulk as well to preserve 6D gauge invariance.

Non-Kondo many-body physics in a Majorana-based Kondo type system

NASA Astrophysics Data System (ADS)

van Beek, Ian J.; Braunecker, Bernd

2016-09-01

We carry out a theoretical analysis of a prototypical Majorana system, which demonstrates the existence of a Majorana-mediated many-body state and an associated intermediate low-energy fixed point. Starting from two Majorana bound states, hosted by a Coulomb-blockaded topological superconductor and each coupled to a separate lead, we derive an effective low-energy Hamiltonian, which displays a Kondo-like character. However, in contrast to the Kondo model which tends to a strong- or weak-coupling limit under renormalization, we show that this effective Hamiltonian scales to an intermediate fixed point, whose existence is contingent upon teleportation via the Majorana modes. We conclude by determining experimental signatures of this fixed point, as well as the exotic many-body state associated with it.

Nonminimal hints for asymptotic safety

NASA Astrophysics Data System (ADS)

Eichhorn, Astrid; Lippoldt, Stefan; Skrinjar, Vedran

2018-01-01

In the asymptotic-safety scenario for gravity, nonzero interactions are present in the ultraviolet. This property should also percolate into the matter sector. Symmetry-based arguments suggest that nonminimal derivative interactions of scalars with curvature tensors should therefore be present in the ultraviolet regime. We perform a nonminimal test of the viability of the asymptotic-safety scenario by working in a truncation of the renormalization group flow, where we discover the existence of an interacting fixed point for a corresponding nonminimal coupling. The back-coupling of such nonminimal interactions could in turn destroy the asymptotically safe fixed point in the gravity sector. As a key finding, we observe nontrivial indications of stability of the fixed-point properties under the impact of nonminimal derivative interactions, further strengthening the case for asymptotic safety in gravity-matter systems.

TESS: A RELATIVISTIC HYDRODYNAMICS CODE ON A MOVING VORONOI MESH

DOE Office of Scientific and Technical Information (OSTI.GOV)

Duffell, Paul C.; MacFadyen, Andrew I., E-mail: pcd233@nyu.edu, E-mail: macfadyen@nyu.edu

2011-12-01

We have generalized a method for the numerical solution of hyperbolic systems of equations using a dynamic Voronoi tessellation of the computational domain. The Voronoi tessellation is used to generate moving computational meshes for the solution of multidimensional systems of conservation laws in finite-volume form. The mesh-generating points are free to move with arbitrary velocity, with the choice of zero velocity resulting in an Eulerian formulation. Moving the points at the local fluid velocity makes the formulation effectively Lagrangian. We have written the TESS code to solve the equations of compressible hydrodynamics and magnetohydrodynamics for both relativistic and non-relativistic fluidsmore » on a dynamic Voronoi mesh. When run in Lagrangian mode, TESS is significantly less diffusive than fixed mesh codes and thus preserves contact discontinuities to high precision while also accurately capturing strong shock waves. TESS is written for Cartesian, spherical, and cylindrical coordinates and is modular so that auxiliary physics solvers are readily integrated into the TESS framework and so that this can be readily adapted to solve general systems of equations. We present results from a series of test problems to demonstrate the performance of TESS and to highlight some of the advantages of the dynamic tessellation method for solving challenging problems in astrophysical fluid dynamics.« less

Bilateral Comparison of Mercury and Gallium Fixed-Point Cells Using Standard Platinum Resistance Thermometer

NASA Astrophysics Data System (ADS)

Bojkovski, J.; Veliki, T.; Zvizdić, D.; Drnovšek, J.

2011-08-01

The objective of project EURAMET 1127 (Bilateral comparison of triple point of mercury and melting point of gallium) in the field of thermometry is to compare realization of a triple point of mercury (-38.8344 °C) and melting point of gallium (29.7646 °C) between the Slovenian national laboratory MIRS/UL-FE/LMK and the Croatian national laboratory HMI/FSB-LPM using a long-stem 25 Ω standard platinum resistance thermometer (SPRT). MIRS/UL/FE-LMK participated in a number of intercomparisons on the level of EURAMET. On the other hand, the HMI/LPM-FSB laboratory recently acquired new fixed-point cells which had to be evaluated in the process of intercomparisons. A quartz-sheathed SPRT has been selected and calibrated at HMI/LPM-FSB at the triple point of mercury, the melting point of gallium, and the water triple point. A second set of measurements was made at MIRS/UL/FE-LMK. After its return, the SPRT was again recalibrated at HMI/LPM-FSB. In the comparison, the W value of the SPRT has been used. Results of the bilateral intercomparison confirmed that the new gallium cell of the HMI/LPM-FSB has a value that is within uncertainty limits of both laboratories that participated in the exercise, while the mercury cell experienced problems. After further research, a small leakage in the mercury fixed-point cell has been found.

Improved Nissl method to stain formaldehyde or glutaraldehyde-fixed material.

PubMed

Böck, P

1979-05-15

Nissl staining of paraffin sections from formaldehyde- or glutaraldehyde-fixed specimens is significantly intensified when sections are kept in a 50% (w/v) aqueous solution of potassium metabisulfite before being stained by a conventional Nissl method.

Extrapolation of radiation thermometry scales for determining the transition temperature of metal-carbon points. Experiments with the Co-C

NASA Astrophysics Data System (ADS)

Battuello, M.; Girard, F.; Florio, M.

2009-02-01

Four independent radiation temperature scales approximating the ITS-90 at 900 nm, 950 nm and 1.6 µm have been realized from the indium point (429.7485 K) to the copper point (1357.77 K) which were used to derive by extrapolation the transition temperature T90(Co-C) of the cobalt-carbon eutectic fixed point. An INRIM cell was investigated and an average value T90(Co-C) = 1597.20 K was found with the four values lying within 0.25 K. Alternatively, thermodynamic approximated scales were realized by assigning to the fixed points the best presently available thermodynamic values and deriving T(Co-C). An average value of 1597.27 K was found (four values lying within 0.25 K). The standard uncertainties associated with T90(Co-C) and T(Co-C) were 0.16 K and 0.17 K, respectively. INRIM determinations are compatible with recent thermodynamic determinations on three different cells (values lying between 1597.11 K and 1597.25 K) and with the result of a comparison on the same cell by an absolute radiation thermometer and an irradiance measurement with filter radiometers which give values of 1597.11 K and 1597.43 K, respectively (Anhalt et al 2006 Metrologia 43 S78-83). The INRIM approach allows the determination of both ITS-90 and thermodynamic temperature of a fixed point in a simple way and can provide valuable support to absolute radiometric methods in defining the transition temperature of new high-temperature fixed points.

A Comparison of Escalating versus Fixed Reinforcement Schedules on Undergraduate Quiz Taking

ERIC Educational Resources Information Center

Mahoney, Amanda

2017-01-01

Drug abstinence studies indicate that escalating reinforcement schedules maintain abstinence for longer periods than fixed reinforcement schedules. The current study evaluated whether escalating reinforcement schedules would maintain more quiz taking than fixed reinforcement schedules. During baseline and for the control group, bonus points were…

Centrifugal multiplexing fixed-volume dispenser on a plastic lab-on-a-disk for parallel biochemical single-end-point assays

PubMed Central

La, Moonwoo; Park, Sang Min; Kim, Dong Sung

2015-01-01

In this study, a multiple sample dispenser for precisely metered fixed volumes was successfully designed, fabricated, and fully characterized on a plastic centrifugal lab-on-a-disk (LOD) for parallel biochemical single-end-point assays. The dispenser, namely, a centrifugal multiplexing fixed-volume dispenser (C-MUFID) was designed with microfluidic structures based on the theoretical modeling about a centrifugal circumferential filling flow. The designed LODs were fabricated with a polystyrene substrate through micromachining and they were thermally bonded with a flat substrate. Furthermore, six parallel metering and dispensing assays were conducted at the same fixed-volume (1.27 μl) with a relative variation of ±0.02 μl. Moreover, the samples were metered and dispensed at different sub-volumes. To visualize the metering and dispensing performances, the C-MUFID was integrated with a serpentine micromixer during parallel centrifugal mixing tests. Parallel biochemical single-end-point assays were successfully conducted on the developed LOD using a standard serum with albumin, glucose, and total protein reagents. The developed LOD could be widely applied to various biochemical single-end-point assays which require different volume ratios of the sample and reagent by controlling the design of the C-MUFID. The proposed LOD is feasible for point-of-care diagnostics because of its mass-producible structures, reliable metering/dispensing performance, and parallel biochemical single-end-point assays, which can identify numerous biochemical. PMID:25610516

Finite element solution of nonlinear eddy current problems with periodic excitation and its industrial applications☆

PubMed Central

Bíró, Oszkár; Koczka, Gergely; Preis, Kurt

2014-01-01

An efficient finite element method to take account of the nonlinearity of the magnetic materials when analyzing three-dimensional eddy current problems is presented in this paper. The problem is formulated in terms of vector and scalar potentials approximated by edge and node based finite element basis functions. The application of Galerkin techniques leads to a large, nonlinear system of ordinary differential equations in the time domain. The excitations are assumed to be time-periodic and the steady-state periodic solution is of interest only. This is represented either in the frequency domain as a finite Fourier series or in the time domain as a set of discrete time values within one period for each finite element degree of freedom. The former approach is the (continuous) harmonic balance method and, in the latter one, discrete Fourier transformation will be shown to lead to a discrete harmonic balance method. Due to the nonlinearity, all harmonics, both continuous and discrete, are coupled to each other. The harmonics would be decoupled if the problem were linear, therefore, a special nonlinear iteration technique, the fixed-point method is used to linearize the equations by selecting a time-independent permeability distribution, the so-called fixed-point permeability in each nonlinear iteration step. This leads to uncoupled harmonics within these steps. As industrial applications, analyses of large power transformers are presented. The first example is the computation of the electromagnetic field of a single-phase transformer in the time domain with the results compared to those obtained by traditional time-stepping techniques. In the second application, an advanced model of the same transformer is analyzed in the frequency domain by the harmonic balance method with the effect of the presence of higher harmonics on the losses investigated. Finally a third example tackles the case of direct current (DC) bias in the coils of a single-phase transformer. PMID:24829517

A Numerical Study of Three Moving-Grid Methods for One-Dimensional Partial Differential Equations Which Are Based on the Method of Lines

NASA Astrophysics Data System (ADS)

Furzeland, R. M.; Verwer, J. G.; Zegeling, P. A.

1990-08-01

In recent years, several sophisticated packages based on the method of lines (MOL) have been developed for the automatic numerical integration of time-dependent problems in partial differential equations (PDEs), notably for problems in one space dimension. These packages greatly benefit from the very successful developments of automatic stiff ordinary differential equation solvers. However, from the PDE point of view, they integrate only in a semiautomatic way in the sense that they automatically adjust the time step sizes, but use just a fixed space grid, chosen a priori, for the entire calculation. For solutions possessing sharp spatial transitions that move, e.g., travelling wave fronts or emerging boundary and interior layers, a grid held fixed for the entire calculation is computationally inefficient, since for a good solution this grid often must contain a very large number of nodes. In such cases methods which attempt automatically to adjust the sizes of both the space and the time steps are likely to be more successful in efficiently resolving critical regions of high spatial and temporal activity. Methods and codes that operate this way belong to the realm of adaptive or moving-grid methods. Following the MOL approach, this paper is devoted to an evaluation and comparison, mainly based on extensive numerical tests, of three moving-grid methods for 1D problems, viz., the finite-element method of Miller and co-workers, the method published by Petzold, and a method based on ideas adopted from Dorfi and Drury. Our examination of these three methods is aimed at assessing which is the most suitable from the point of view of retaining the acknowledged features of reliability, robustness, and efficiency of the conventional MOL approach. Therefore, considerable attention is paid to the temporal performance of the methods.

Finite element solution of nonlinear eddy current problems with periodic excitation and its industrial applications.

PubMed

Bíró, Oszkár; Koczka, Gergely; Preis, Kurt

2014-05-01

An efficient finite element method to take account of the nonlinearity of the magnetic materials when analyzing three-dimensional eddy current problems is presented in this paper. The problem is formulated in terms of vector and scalar potentials approximated by edge and node based finite element basis functions. The application of Galerkin techniques leads to a large, nonlinear system of ordinary differential equations in the time domain. The excitations are assumed to be time-periodic and the steady-state periodic solution is of interest only. This is represented either in the frequency domain as a finite Fourier series or in the time domain as a set of discrete time values within one period for each finite element degree of freedom. The former approach is the (continuous) harmonic balance method and, in the latter one, discrete Fourier transformation will be shown to lead to a discrete harmonic balance method. Due to the nonlinearity, all harmonics, both continuous and discrete, are coupled to each other. The harmonics would be decoupled if the problem were linear, therefore, a special nonlinear iteration technique, the fixed-point method is used to linearize the equations by selecting a time-independent permeability distribution, the so-called fixed-point permeability in each nonlinear iteration step. This leads to uncoupled harmonics within these steps. As industrial applications, analyses of large power transformers are presented. The first example is the computation of the electromagnetic field of a single-phase transformer in the time domain with the results compared to those obtained by traditional time-stepping techniques. In the second application, an advanced model of the same transformer is analyzed in the frequency domain by the harmonic balance method with the effect of the presence of higher harmonics on the losses investigated. Finally a third example tackles the case of direct current (DC) bias in the coils of a single-phase transformer.

Changes in Mechanical Properties of Rat Bones under Simulated Effects of Microgravity and Radiation†

NASA Astrophysics Data System (ADS)

Walker, Azida H.; Perkins, Otis; Mehta, Rahul; Ali, Nawab; Dobretsov, Maxim; Chowdhury, Parimal

The aim of this study was to determine the changes in elasticity and lattice structure in leg bone of rats which were: 1) under Hind-Limb Suspension (HLS) by tail for 2 weeks and 2) exposed to a total radiation of 10 Grays in 10 days. The animals were sacrificed at the end of 2 weeks and the leg bones were surgically removed, cleaned and fixed with a buffered solution. The mechanical strength of the bone (elastic modulus) was determined from measurement of bending of a bone when under an applied force. Two methodologies were used: i) a 3-point bending technique and ii) classical bending where bending is accomplished keeping one end fixed. Three point bending method used a captive actuator controlled by a programmable IDEA drive. This allowed incremental steps of 0.047 mm for which the force is measured. The data is used to calculate the stress and the strain. In the second method a mirror attached to the free end of the bone allowed a reflected laser beam spot to be tracked. This provided the displacement measurement as stress levels changed. Analysis of stress vs. strain graph together with solution of Euler-Bernoulli equation for a cantilever beam allowed determination of the elastic modulus of the leg bone for (i) control samples, (ii) HLS samples and (iii) HLS samples with radiation effects. To ascertain changes in the bone lattice structure, the bones were cross-sectioned and imaged with a 20 keV beam of electrons in a Scanning Electron Microscope (SEM). A backscattered detector and a secondary electron detector in the SEM provided the images from well-defined parts of the leg bones. Elemental compositions in combination with mechanical properties (elastic modulus and lattice structure) changes indicated weakening of the bones under space-like conditions of microgravity and radiation.

Androgen Deprivation Enhances PLZF-Repressed Cistrome that Promotes the Castration-Resistant Phenotype

DTIC Science & Technology

2014-10-01

Briefly, 10 million cells were used per IP. Cells were fixed with 1% formaldehyde solution. DNA was sonicated and subjected to immunoprecipitation with... formaldehyde solution. Total chromatin and RNAs were sonicated and subjected to immunoprecipitation with the same AR and Med1 antibodies used in ChIP...were fixed with 1% formaldehyde . Cell pellets were lysed and resuspended in restriction buffer for BstY1 and 0.1% SDS for 10 min at 65 °C. Triton X

Optimal transfers between libration-point orbits in the elliptic restricted three-body problem

NASA Astrophysics Data System (ADS)

Hiday, Lisa Ann

1992-09-01

A strategy is formulated to design optimal impulsive transfers between three-dimensional libration-point orbits in the vicinity of the interior L(1) libration point of the Sun-Earth/Moon barycenter system. Two methods of constructing nominal transfers, for which the fuel cost is to be minimized, are developed; both inferior and superior transfers between two halo orbits are considered. The necessary conditions for an optimal transfer trajectory are stated in terms of the primer vector. The adjoint equation relating reference and perturbed trajectories in this formulation of the elliptic restricted three-body problem is shown to be distinctly different from that obtained in the analysis of trajectories in the two-body problem. Criteria are established whereby the cost on a nominal transfer can be improved by the addition of an interior impulse or by the implementation of coastal arcs in the initial and final orbits. The necessary conditions for the local optimality of a time-fixed transfer trajectory possessing additional impulses are satisfied by requiring continuity of the Hamiltonian and the derivative of the primer vector at all interior impulses. The optimality of a time-free transfer containing coastal arcs is surmised by examination of the slopes at the endpoints of a plot of the magnitude of the primer vector over the duration of the transfer path. If the initial and final slopes of the primer magnitude are zero, the transfer trajectory is optimal; otherwise, the execution of coasts is warranted. The position and timing of each interior impulse applied to a time-fixed transfer as well as the direction and length of coastal periods implemented on a time-free transfer are specified by the unconstrained minimization of the appropriate variation in cost utilizing a multivariable search technique. Although optimal solutions in some instances are elusive, the time-fixed and time-free optimization algorithms prove to be very successful in diminishing costs on nominal transfer trajectories. The inclusion of coastal arcs on time-free superior and inferior transfers results in significant modification of the transfer time of flight caused by shifts in departure and arrival locations on the halo orbits.

High-order boundary integral equation solution of high frequency wave scattering from obstacles in an unbounded linearly stratified medium

NASA Astrophysics Data System (ADS)

Barnett, Alex H.; Nelson, Bradley J.; Mahoney, J. Matthew

2015-09-01

We apply boundary integral equations for the first time to the two-dimensional scattering of time-harmonic waves from a smooth obstacle embedded in a continuously-graded unbounded medium. In the case we solve, the square of the wavenumber (refractive index) varies linearly in one coordinate, i.e. (Δ + E +x2) u (x1 ,x2) = 0 where E is a constant; this models quantum particles of fixed energy in a uniform gravitational field, and has broader applications to stratified media in acoustics, optics and seismology. We evaluate the fundamental solution efficiently with exponential accuracy via numerical saddle-point integration, using the truncated trapezoid rule with typically 102 nodes, with an effort that is independent of the frequency parameter E. By combining with a high-order Nyström quadrature, we are able to solve the scattering from obstacles 50 wavelengths across to 11 digits of accuracy in under a minute on a desktop or laptop.

Performance of a cavity-method-based algorithm for the prize-collecting Steiner tree problem on graphs

NASA Astrophysics Data System (ADS)

Biazzo, Indaco; Braunstein, Alfredo; Zecchina, Riccardo

2012-08-01

We study the behavior of an algorithm derived from the cavity method for the prize-collecting steiner tree (PCST) problem on graphs. The algorithm is based on the zero temperature limit of the cavity equations and as such is formally simple (a fixed point equation resolved by iteration) and distributed (parallelizable). We provide a detailed comparison with state-of-the-art algorithms on a wide range of existing benchmarks, networks, and random graphs. Specifically, we consider an enhanced derivative of the Goemans-Williamson heuristics and the dhea solver, a branch and cut integer linear programming based approach. The comparison shows that the cavity algorithm outperforms the two algorithms in most large instances both in running time and quality of the solution. Finally we prove a few optimality properties of the solutions provided by our algorithm, including optimality under the two postprocessing procedures defined in the Goemans-Williamson derivative and global optimality in some limit cases.

Numerical approximation of the electromechanical coupling in the left ventricle with inclusion of the Purkinje network.

PubMed

Landajuela, Mikel; Vergara, Christian; Gerbi, Antonello; Dedé, Luca; Formaggia, Luca; Quarteroni, Alfio

2018-03-25

In this work, we consider the numerical approximation of the electromechanical coupling in the left ventricle with inclusion of the Purkinje network. The mathematical model couples the 3D elastodynamics and bidomain equations for the electrophysiology in the myocardium with the 1D monodomain equation in the Purkinje network. For the numerical solution of the coupled problem, we consider a fixed-point iterative algorithm that enables a partitioned solution of the myocardium and Purkinje network problems. Different levels of myocardium-Purkinje network splitting are considered and analyzed. The results are compared with those obtained using standard strategies proposed in the literature to trigger the electrical activation. Finally, we present a numerical study that, although performed in an idealized computational domain, features all the physiological issues that characterize a heartbeat simulation, including the initiation of the signal in the Purkinje network and the systolic and diastolic phases. This article is protected by copyright. All rights reserved. This article is protected by copyright. All rights reserved.

A numerical solution method for acoustic radiation from axisymmetric bodies

NASA Technical Reports Server (NTRS)

Caruthers, John E.; Raviprakash, G. K.

1995-01-01

A new and very efficient numerical method for solving equations of the Helmholtz type is specialized for problems having axisymmetric geometry. It is then demonstrated by application to the classical problem of acoustic radiation from a vibrating piston set in a stationary infinite plane. The method utilizes 'Green's Function Discretization', to obtain an accurate resolution of the waves using only 2-3 points per wave. Locally valid free space Green's functions, used in the discretization step, are obtained by quadrature. Results are computed for a range of grid spacing/piston radius ratios at a frequency parameter, omega R/c(sub 0), of 2 pi. In this case, the minimum required grid resolution appears to be fixed by the need to resolve a step boundary condition at the piston edge rather than by the length scale imposed by the wave length of the acoustic radiation. It is also demonstrated that a local near-field radiation boundary procedure allows the domain to be truncated very near the radiating source with little effect on the solution.

Analogies between the Torque-Free Motion of a Rigid Body about a Fixed Point and Light Propagation in Anisotropic Media

ERIC Educational Resources Information Center

Bellver-Cebreros, Consuelo; Rodriguez-Danta, Marcelo

2009-01-01

An apparently unnoticed analogy between the torque-free motion of a rotating rigid body about a fixed point and the propagation of light in anisotropic media is stated. First, a new plane construction for visualizing this torque-free motion is proposed. This method uses an intrinsic representation alternative to angular momentum and independent of…

PPF Dependent Fixed Point Results for Triangular α c-Admissible Mappings

PubMed Central

Ćirić, Ljubomir; Alsulami, Saud M.; Salimi, Peyman

2014-01-01

We introduce the concept of triangular α c-admissible mappings (pair of mappings) with respect to η c nonself-mappings and establish the existence of PPF dependent fixed (coincidence) point theorems for contraction mappings involving triangular α c-admissible mappings (pair of mappings) with respect to η c nonself-mappings in Razumikhin class. Several interesting consequences of our theorems are also given. PMID:24672352

Algebraic solution for the forward displacement analysis of the general 6-6 stewart mechanism

NASA Astrophysics Data System (ADS)

Wei, Feng; Wei, Shimin; Zhang, Ying; Liao, Qizheng

2016-01-01

The solution for the forward displacement analysis(FDA) of the general 6-6 Stewart mechanism(i.e., the connection points of the moving and fixed platforms are not restricted to lying in a plane) has been extensively studied, but the efficiency of the solution remains to be effectively addressed. To this end, an algebraic elimination method is proposed for the FDA of the general 6-6 Stewart mechanism. The kinematic constraint equations are built using conformal geometric algebra(CGA). The kinematic constraint equations are transformed by a substitution of variables into seven equations with seven unknown variables. According to the characteristic of anti-symmetric matrices, the aforementioned seven equations can be further transformed into seven equations with four unknown variables by a substitution of variables using the Gröbner basis. Its elimination weight is increased through changing the degree of one variable, and sixteen equations with four unknown variables can be obtained using the Gröbner basis. A 40th-degree univariate polynomial equation is derived by constructing a relatively small-sized 9´9 Sylvester resultant matrix. Finally, two numerical examples are employed to verify the proposed method. The results indicate that the proposed method can effectively improve the efficiency of solution and reduce the computational burden because of the small-sized resultant matrix.

Deconstructing the vanilla milkshake: the dominant effect of sucrose on self-administration of nutrient-flavor mixtures.

PubMed

Naleid, Amy M; Grimm, Jeffrey W; Kessler, David A; Sipols, Alfred J; Aliakbari, Sepideh; Bennett, Jennifer L; Wells, Jason; Figlewicz, Dianne P

2008-01-01

Rats and humans avidly consume flavored foods that contain sucrose and fat, presumably due to their rewarding qualities. In this study, we hypothesized that the complex mixture of corn oil, sucrose, and flavor is more reinforcing than any of these components alone. We observed a concentration-dependent increase in reinforcers of sucrose solutions received (0%, 3%, 6.25%, and 12.5%) in both fixed ratio and progressive ratio procedures, but with equicaloric corn oil solutions (0%, 1.4%, 2.8%, and 5.6%) this finding was replicated only in the fixed ratio procedure. Likewise, addition of 1.4% oil to 3% or 12.5% sucrose increased fixed ratio, but not progressive ratio, reinforcers received relative to those of sucrose alone. Finally, addition of 3% vanilla flavoring did not change self-administration of 3% sucrose or 3% sucrose+1.4% oil solutions. These data suggest that, calorie-for-calorie, sucrose is the dominant reinforcing component of novel foods that contain a mixture of fat, sucrose, and flavor.

A new equilibrium torus solution and GRMHD initial conditions

NASA Astrophysics Data System (ADS)

Penna, Robert F.; Kulkarni, Akshay; Narayan, Ramesh

2013-11-01

Context. General relativistic magnetohydrodynamic (GRMHD) simulations are providing influential models for black hole spin measurements, gamma ray bursts, and supermassive black hole feedback. Many of these simulations use the same initial condition: a rotating torus of fluid in hydrostatic equilibrium. A persistent concern is that simulation results sometimes depend on arbitrary features of the initial torus. For example, the Bernoulli parameter (which is related to outflows), appears to be controlled by the Bernoulli parameter of the initial torus. Aims: In this paper, we give a new equilibrium torus solution and describe two applications for the future. First, it can be used as a more physical initial condition for GRMHD simulations than earlier torus solutions. Second, it can be used in conjunction with earlier torus solutions to isolate the simulation results that depend on initial conditions. Methods: We assume axisymmetry, an ideal gas equation of state, constant entropy, and ignore self-gravity. We fix an angular momentum distribution and solve the relativistic Euler equations in the Kerr metric. Results: The Bernoulli parameter, rotation rate, and geometrical thickness of the torus can be adjusted independently. Our torus tends to be more bound and have a larger radial extent than earlier torus solutions. Conclusions: While this paper was in preparation, several GRMHD simulations appeared based on our equilibrium torus. We believe it will continue to provide a more realistic starting point for future simulations.

Indirect determination of the thermodynamic temperature of the copper point by a multi-fixed-point technique

NASA Astrophysics Data System (ADS)

Battuello, M.; Florio, M.; Girard, F.

2010-06-01

An indirect determination of the thermodynamic temperature of the fixed point of copper was made at INRIM by measuring four cells with a Si-based and an InGaAs-based precision radiation thermometer carrying approximated thermodynamic scales realized up to the Ag point. An average value TCu = 1357.840 K was found with a standard uncertainty of 0.047 K. A consequent (T - T90)Cu value of 70 mK can be derived which is 18 mK higher than, but consistent with, the presently available (T - T90)Cu as elaborated by the CCT-WG4.

A test of the AdS/CFT duality on the Coulomb branch

NASA Astrophysics Data System (ADS)

Costa, M. S.

2000-06-01

We consider the /N=4 /SU(N) Super Yang Mills theory on the Coulomb branch with gauge symmetry broken to S(U(N1)×U(N2)). By integrating the W particles, the effective action near the IR SU(Ni) conformal fixed points is seen to be a deformation of the Super Yang Mills theory by a non-renormalized, irrelevant, dimension 8 operator. The correction to the two-point function of the dilaton field dual operator near the IR is related to a three-point function of chiral primary operators at the conformal fixed points and agrees with the classical gravity prediction, including the numerical factor.

Floquet stability analysis of the longitudinal dynamics of two hovering model insects

PubMed Central

Wu, Jiang Hao; Sun, Mao

2012-01-01

Because of the periodically varying aerodynamic and inertial forces of the flapping wings, a hovering or constant-speed flying insect is a cyclically forcing system, and, generally, the flight is not in a fixed-point equilibrium, but in a cyclic-motion equilibrium. Current stability theory of insect flight is based on the averaged model and treats the flight as a fixed-point equilibrium. In the present study, we treated the flight as a cyclic-motion equilibrium and used the Floquet theory to analyse the longitudinal stability of insect flight. Two hovering model insects were considered—a dronefly and a hawkmoth. The former had relatively high wingbeat frequency and small wing-mass to body-mass ratio, and hence very small amplitude of body oscillation; while the latter had relatively low wingbeat frequency and large wing-mass to body-mass ratio, and hence relatively large amplitude of body oscillation. For comparison, analysis using the averaged-model theory (fixed-point stability analysis) was also made. Results of both the cyclic-motion stability analysis and the fixed-point stability analysis were tested by numerical simulation using complete equations of motion coupled with the Navier–Stokes equations. The Floquet theory (cyclic-motion stability analysis) agreed well with the simulation for both the model dronefly and the model hawkmoth; but the averaged-model theory gave good results only for the dronefly. Thus, for an insect with relatively large body oscillation at wingbeat frequency, cyclic-motion stability analysis is required, and for their control analysis, the existing well-developed control theories for systems of fixed-point equilibrium are no longer applicable and new methods that take the cyclic variation of the flight dynamics into account are needed. PMID:22491980

A systematic evaluation of contemporary impurity correction methods in ITS-90 aluminium fixed point cells

NASA Astrophysics Data System (ADS)

da Silva, Rodrigo; Pearce, Jonathan V.; Machin, Graham

2017-06-01

The fixed points of the International Temperature Scale of 1990 (ITS-90) are the basis of the calibration of standard platinum resistance thermometers (SPRTs). Impurities in the fixed point material at the level of parts per million can give rise to an elevation or depression of the fixed point temperature of order of millikelvins, which often represents the most significant contribution to the uncertainty of SPRT calibrations. A number of methods for correcting for the effect of impurities have been advocated, but it is becoming increasingly evident that no single method can be used in isolation. In this investigation, a suite of five aluminium fixed point cells (defined ITS-90 freezing temperature 660.323 °C) have been constructed, each cell using metal sourced from a different supplier. The five cells have very different levels and types of impurities. For each cell, chemical assays based on the glow discharge mass spectroscopy (GDMS) technique have been obtained from three separate laboratories. In addition a series of high quality, long duration freezing curves have been obtained for each cell, using three different high quality SPRTs, all measured under nominally identical conditions. The set of GDMS analyses and freezing curves were then used to compare the different proposed impurity correction methods. It was found that the most consistent corrections were obtained with a hybrid correction method based on the sum of individual estimates (SIE) and overall maximum estimate (OME), namely the SIE/Modified-OME method. Also highly consistent was the correction technique based on fitting a Scheil solidification model to the measured freezing curves, provided certain well defined constraints are applied. Importantly, the most consistent methods are those which do not depend significantly on the chemical assay.

Extraction of DNA from human embryos after long-term preservation in formalin and Bouin's solutions.

PubMed

Nagai, Momoko; Minegishi, Katsura; Komada, Munekazu; Tsuchiya, Maiko; Kameda, Tomomi; Yamada, Shigehito

2016-05-01

The "Kyoto Collection of Human Embryos" at Kyoto University was begun in 1961. Although morphological analyses of samples in the Kyoto Collection have been performed, these embryos have been considered difficult to genetically analyze because they have been preserved in formalin or Bouin's solution for 20-50 years. Owing to the recent advances in molecular biology, it has become possible to extract DNA from long-term fixed tissues. The purpose of this study was to extract DNA from wet preparations of human embryo samples after long-term preservation in fixing solution. We optimized the DNA extraction protocol to be suitable for tissues that have been damaged by long-term fixation, including DNA-protein crosslinking damage. Diluting Li2 CO3 with 70% ethanol effectively removed picric acid from samples fixed in Bouin's solution. Additionally, 20.0 mg/mL proteinase was valuable to lyse the long-term fixed samples. The extracted DNA was checked with PCR amplification using several sets of primers and sequence analysis. The PCR products included at least 295- and 838-bp amplicons. These results show that the extracted DNA is applicable for genetic analyses, and indicate that old embryos in the Kyoto Collection should be made available for future studies. The protocol described in this study can successfully extract DNA from old specimens and, with improvements, should be applicable in research aiming to understand the molecular mechanisms of human congenital anomalies. © 2015 Japanese Teratology Society.

Reliability of High-Temperature Fixed-Point Installations over 8 Years

NASA Astrophysics Data System (ADS)

Elliott, C. J.; Ford, T.; Ongrai, O.; Pearce, J. V.

2017-12-01

At NPL, high-temperature metal-carbon eutectic fixed points have been set up for thermocouple calibration purposes since 2006, for realising reference temperatures above the highest point specified in the International Temperature Scale of 1990 for contact thermometer calibrations. Additionally, cells of the same design have been provided by NPL to other national measurement institutes (NMIs) and calibration laboratories over this period, creating traceable and ISO 17025 accredited facilities around the world for calibrating noble metal thermocouples at 1324 {°}C (Co-C) and 1492 {°}C (Pd-C). This paper shows collections of thermocouple calibration results obtained during use of the high-temperature fixed-point cells at NPL and, as further examples, the use of cells installed at CCPI Europe (UK) and NIMT (Thailand). The lifetime of the cells can now be shown to be in excess of 7 years, whether used on a weekly or monthly basis, and whether used in an NMI or industrial calibration laboratory.

Upper bound on the Abelian gauge coupling from asymptotic safety

NASA Astrophysics Data System (ADS)

Eichhorn, Astrid; Versteegen, Fleur

2018-01-01

We explore the impact of asymptotically safe quantum gravity on the Abelian gauge coupling in a model including a charged scalar, confirming indications that asymptotically safe quantum fluctuations of gravity could trigger a power-law running towards a free fixed point for the gauge coupling above the Planck scale. Simultaneously, quantum gravity fluctuations balance against matter fluctuations to generate an interacting fixed point, which acts as a boundary of the basin of attraction of the free fixed point. This enforces an upper bound on the infrared value of the Abelian gauge coupling. In the regime of gravity couplings which in our approximation also allows for a prediction of the top quark and Higgs mass close to the experimental value [1], we obtain an upper bound approximately 35% above the infrared value of the hypercharge coupling in the Standard Model.

The computational core and fixed point organization in Boolean networks

NASA Astrophysics Data System (ADS)

Correale, L.; Leone, M.; Pagnani, A.; Weigt, M.; Zecchina, R.

2006-03-01

In this paper, we analyse large random Boolean networks in terms of a constraint satisfaction problem. We first develop an algorithmic scheme which allows us to prune simple logical cascades and underdetermined variables, returning thereby the computational core of the network. Second, we apply the cavity method to analyse the number and organization of fixed points. We find in particular a phase transition between an easy and a complex regulatory phase, the latter being characterized by the existence of an exponential number of macroscopically separated fixed point clusters. The different techniques developed are reinterpreted as algorithms for the analysis of single Boolean networks, and they are applied in the analysis of and in silico experiments on the gene regulatory networks of baker's yeast (Saccharomyces cerevisiae) and the segment-polarity genes of the fruitfly Drosophila melanogaster.

Fixed points, stable manifolds, weather regimes, and their predictability

DOE PAGES

Deremble, Bruno; D'Andrea, Fabio; Ghil, Michael

2009-10-27

In a simple, one-layer atmospheric model, we study the links between low-frequency variability and the model’s fixed points in phase space. The model dynamics is characterized by the coexistence of multiple ''weather regimes.'' To investigate the transitions from one regime to another, we focus on the identification of stable manifolds associated with fixed points. We show that these manifolds act as separatrices between regimes. We track each manifold by making use of two local predictability measures arising from the meteorological applications of nonlinear dynamics, namely, ''bred vectors'' and singular vectors. These results are then verified in the framework of ensemblemore » forecasts issued from clouds (ensembles) of initial states. The divergence of the trajectories allows us to establish the connections between zones of low predictability, the geometry of the stable manifolds, and transitions between regimes.« less

Fixed points, stable manifolds, weather regimes, and their predictability.

PubMed

Deremble, Bruno; D'Andrea, Fabio; Ghil, Michael

2009-12-01

In a simple, one-layer atmospheric model, we study the links between low-frequency variability and the model's fixed points in phase space. The model dynamics is characterized by the coexistence of multiple "weather regimes." To investigate the transitions from one regime to another, we focus on the identification of stable manifolds associated with fixed points. We show that these manifolds act as separatrices between regimes. We track each manifold by making use of two local predictability measures arising from the meteorological applications of nonlinear dynamics, namely, "bred vectors" and singular vectors. These results are then verified in the framework of ensemble forecasts issued from "clouds" (ensembles) of initial states. The divergence of the trajectories allows us to establish the connections between zones of low predictability, the geometry of the stable manifolds, and transitions between regimes.

Cosmic infinity: a dynamical system approach

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bouhmadi-López, Mariam; Marto, João; Morais, João

2017-03-01

Dynamical system techniques are extremely useful to study cosmology. It turns out that in most of the cases, we deal with finite isolated fixed points corresponding to a given cosmological epoch. However, it is equally important to analyse the asymptotic behaviour of the universe. On this paper, we show how this can be carried out for 3-form models. In fact, we show that there are fixed points at infinity mainly by introducing appropriate compactifications and defining a new time variable that washes away any potential divergence of the system. The richness of 3-form models allows us as well to identifymore » normally hyperbolic non-isolated fixed points. We apply this analysis to three physically interesting situations: (i) a pre-inflationary era; (ii) an inflationary era; (iii) the late-time dark matter/dark energy epoch.« less

General Quantum Meet-in-the-Middle Search Algorithm Based on Target Solution of Fixed Weight

NASA Astrophysics Data System (ADS)

Fu, Xiang-Qun; Bao, Wan-Su; Wang, Xiang; Shi, Jian-Hong

2016-10-01

Similar to the classical meet-in-the-middle algorithm, the storage and computation complexity are the key factors that decide the efficiency of the quantum meet-in-the-middle algorithm. Aiming at the target vector of fixed weight, based on the quantum meet-in-the-middle algorithm, the algorithm for searching all n-product vectors with the same weight is presented, whose complexity is better than the exhaustive search algorithm. And the algorithm can reduce the storage complexity of the quantum meet-in-the-middle search algorithm. Then based on the algorithm and the knapsack vector of the Chor-Rivest public-key crypto of fixed weight d, we present a general quantum meet-in-the-middle search algorithm based on the target solution of fixed weight, whose computational complexity is \\sumj = 0d {(O(\\sqrt {Cn - k + 1d - j }) + O(C_kj log C_k^j))} with Σd i =0 Ck i memory cost. And the optimal value of k is given. Compared to the quantum meet-in-the-middle search algorithm for knapsack problem and the quantum algorithm for searching a target solution of fixed weight, the computational complexity of the algorithm is lower. And its storage complexity is smaller than the quantum meet-in-the-middle-algorithm. Supported by the National Basic Research Program of China under Grant No. 2013CB338002 and the National Natural Science Foundation of China under Grant No. 61502526

Mittag-Leffler synchronization of delayed fractional-order bidirectional associative memory neural networks with discontinuous activations: state feedback control and impulsive control schemes.

PubMed

Ding, Xiaoshuai; Cao, Jinde; Zhao, Xuan; Alsaadi, Fuad E

2017-08-01

This paper is concerned with the drive-response synchronization for a class of fractional-order bidirectional associative memory neural networks with time delays, as well as in the presence of discontinuous activation functions. The global existence of solution under the framework of Filippov for such networks is firstly obtained based on the fixed-point theorem for condensing map. Then the state feedback and impulsive controllers are, respectively, designed to ensure the Mittag-Leffler synchronization of these neural networks and two new synchronization criteria are obtained, which are expressed in terms of a fractional comparison principle and Razumikhin techniques. Numerical simulations are presented to validate the proposed methodologies.

Information transfer satellite concept study. Volume 4: computer manual

NASA Technical Reports Server (NTRS)

Bergin, P.; Kincade, C.; Kurpiewski, D.; Leinhaupel, F.; Millican, F.; Onstad, R.

1971-01-01

The Satellite Telecommunications Analysis and Modeling Program (STAMP) provides the user with a flexible and comprehensive tool for the analysis of ITS system requirements. While obtaining minimum cost design points, the program enables the user to perform studies over a wide range of user requirements and parametric demands. The program utilizes a total system approach wherein the ground uplink and downlink, the spacecraft, and the launch vehicle are simultaneously synthesized. A steepest descent algorithm is employed to determine the minimum total system cost design subject to the fixed user requirements and imposed constraints. In the process of converging to the solution, the pertinent subsystem tradeoffs are resolved. This report documents STAMP through a technical analysis and a description of the principal techniques employed in the program.

Stationary equatorial MHD flows in general relativity

NASA Astrophysics Data System (ADS)

Daigne, F.; Drenkhahn, G.

2002-01-01

We derive a new formulation of the fully general relativistic equations describing a stationary equatorial MHD outflow from a rotating central object. The wind solution appears as a level contour of a ``Bernoulli'' function fixed by the requirements that it must pass through the slow and fast critical points. This approach is the general relativistic extension to the classical treatment of Sakurai (\\cite{sakurai:85}). We discuss in details how the efficiency of the magnetic to kinetic energy conversion depends mainly on the geometry of the flux tubes and show that the magnetic acceleration can work very well under some conditions. We show how this tool can be used for the study of several astrophysical phenomena, among which gamma-ray bursts.

Vigilance system in rails for train hot point temperatures during circulation

NASA Astrophysics Data System (ADS)

Meca Meca, Francisco J.; Rodriguez Sanchez, Francisco J.; Mazo Quintas, Manuel; Garcia Dominguez, Juan J.; Fonolla Navarro, Rafael; Sebastian Martinez, Eduardo; Jimenez Calvo, Jose A.; Lillo Rodriguez, Diego; Garcia Garrido, Miguel A.

2000-06-01

Wheels, hubs and brake discs in a train during its circulation are under mechanical strains that make its temperature increase above the environment temperature. Mechanical defects in those elements produce an excessive friction and, as a consequence of it, an important increment of its temperature in relation to normal values. Detecting these anomalies is essential to avoid accidents and it is performed by fixed systems located next to rails which make infrared temperature measurements of hot points and send them to a supervisory station that takes the proper steps. The paper introduces the most important problems which must be dealt with during the designing stage of the measurement system. It also explains the solutions taken by the authors in order to assure the minimum operative aims demanded by the application. These problems includes: the choice of the detector and measurement method, communication with the supervisory station, and the environment conditions. Finally, the research lines followed by the authors in order to improve and extend the system's capabilities are explained.

TARDEC FIXED HEEL POINT (FHP): DRIVER CAD ACCOMMODATION MODEL VERIFICATION REPORT

DTIC Science & Technology

2017-11-09

SUPPLEMENTARY NOTES N/A 14. ABSTRACT Easy-to-use Computer-Aided Design (CAD) tools, known as accommodation models, are needed by the ground vehicle... designers when developing the interior workspace for the occupant. The TARDEC Fixed Heel Point (FHP): Driver CAD Accommodation Model described in this...is intended to provide the composite boundaries representing the body of the defined target design population, including posture prediction

Comparing line-intersect, fixed-area, and point relascope sampling for dead and downed coarse woody material in a managed northern hardwood forest

Treesearch

G. J. Jordan; M. J. Ducey; J. H. Gove

2004-01-01

We present the results of a timed field trial comparing the bias characteristics and relative sampling efficiency of line-intersect, fixed-area, and point relascope sampling for downed coarse woody material. Seven stands in a managed northern hardwood forest in New Hampshire were inventoried. Significant differences were found among estimates in some stands, indicating...

On stability of fixed points and chaos in fractional systems.

PubMed

Edelman, Mark

2018-02-01

In this paper, we propose a method to calculate asymptotically period two sinks and define the range of stability of fixed points for a variety of discrete fractional systems of the order 0<α<2. The method is tested on various forms of fractional generalizations of the standard and logistic maps. Based on our analysis, we make a conjecture that chaos is impossible in the corresponding continuous fractional systems.

Impurity Correction Techniques Applied to Existing Doping Measurements of Impurities in Zinc

NASA Astrophysics Data System (ADS)

Pearce, J. V.; Sun, J. P.; Zhang, J. T.; Deng, X. L.

2017-01-01

Impurities represent the most significant source of uncertainty in most metal fixed points used for the realization of the International Temperature Scale of 1990 (ITS-90). There are a number of different methods for quantifying the effect of impurities on the freezing temperature of ITS-90 fixed points, many of which rely on an accurate knowledge of the liquidus slope in the limit of low concentration. A key method of determining the liquidus slope is to measure the freezing temperature of a fixed-point material as it is progressively doped with a known amount of impurity. Recently, a series of measurements of the freezing and melting temperature of `slim' Zn fixed-point cells doped with Ag, Fe, Ni, and Pb were presented. Here, additional measurements of the Zn-X system are presented using Ga as a dopant, and the data (Zn-Ag, Zn-Fe, Zn-Ni, Zn-Pb, and Zn-Ga) have been re-analyzed to demonstrate the use of a fitting method based on Scheil solidification which is applied to both melting and freezing curves. In addition, the utility of the Sum of Individual Estimates method is explored with these systems in the context of a recently enhanced database of liquidus slopes of impurities in Zn in the limit of low concentration.

Thermodynamic Temperature of High-Temperature Fixed Points Traceable to Blackbody Radiation and Synchrotron Radiation

NASA Astrophysics Data System (ADS)

Wähmer, M.; Anhalt, K.; Hollandt, J.; Klein, R.; Taubert, R. D.; Thornagel, R.; Ulm, G.; Gavrilov, V.; Grigoryeva, I.; Khlevnoy, B.; Sapritsky, V.

2017-10-01

Absolute spectral radiometry is currently the only established primary thermometric method for the temperature range above 1300 K. Up to now, the ongoing improvements of high-temperature fixed points and their formal implementation into an improved temperature scale with the mise en pratique for the definition of the kelvin, rely solely on single-wavelength absolute radiometry traceable to the cryogenic radiometer. Two alternative primary thermometric methods, yielding comparable or possibly even smaller uncertainties, have been proposed in the literature. They use ratios of irradiances to determine the thermodynamic temperature traceable to blackbody radiation and synchrotron radiation. At PTB, a project has been established in cooperation with VNIIOFI to use, for the first time, all three methods simultaneously for the determination of the phase transition temperatures of high-temperature fixed points. For this, a dedicated four-wavelengths ratio filter radiometer was developed. With all three thermometric methods performed independently and in parallel, we aim to compare the potential and practical limitations of all three methods, disclose possibly undetected systematic effects of each method and thereby confirm or improve the previous measurements traceable to the cryogenic radiometer. This will give further and independent confidence in the thermodynamic temperature determination of the high-temperature fixed point's phase transitions.

Permitted and forbidden sets in symmetric threshold-linear networks.

PubMed

Hahnloser, Richard H R; Seung, H Sebastian; Slotine, Jean-Jacques

2003-03-01

The richness and complexity of recurrent cortical circuits is an inexhaustible source of inspiration for thinking about high-level biological computation. In past theoretical studies, constraints on the synaptic connection patterns of threshold-linear networks were found that guaranteed bounded network dynamics, convergence to attractive fixed points, and multistability, all fundamental aspects of cortical information processing. However, these conditions were only sufficient, and it remained unclear which were the minimal (necessary) conditions for convergence and multistability. We show that symmetric threshold-linear networks converge to a set of attractive fixed points if and only if the network matrix is copositive. Furthermore, the set of attractive fixed points is nonconnected (the network is multiattractive) if and only if the network matrix is not positive semidefinite. There are permitted sets of neurons that can be coactive at a stable steady state and forbidden sets that cannot. Permitted sets are clustered in the sense that subsets of permitted sets are permitted and supersets of forbidden sets are forbidden. By viewing permitted sets as memories stored in the synaptic connections, we provide a formulation of long-term memory that is more general than the traditional perspective of fixed-point attractor networks. There is a close correspondence between threshold-linear networks and networks defined by the generalized Lotka-Volterra equations.

A cooperative game-theoretic framework for negotiating marine spatial allocation agreements among heterogeneous players.

PubMed

Kyriazi, Zacharoula; Lejano, Raul; Maes, Frank; Degraer, Steven

2017-02-01

Marine spatial allocation has become, in recent decades, a political flashpoint, fuelled by political power struggles, as well as the continuously increasing demand for marine space by both traditional and emerging marine uses. To effectively address this issue, we develop a decision-making procedure, that facilitates the distribution of disputed areas of specific size among heterogeneous players in a transparent and ethical way, while considering coalitional formations through coexistence. To do this, we model players' alternative strategies and payoffs within a cooperative game-theoretic framework. Depending on whether transferable utility (TU) or non-transferable utility (NTU) is the more appropriate assumption, we illustrate the use of the TU Shapley value and the Lejano's fixed point NTU Shapley value to solve for the ideal allocations. The applicability and effectiveness of the process has been tested in a case study area, the Dogger Bank Special Area of Conservation in the North Sea, which involves three totally or partially conflicting activities, i.e. fishing, nature conservation and wind farm development. The findings demonstrate that the process is capable of providing a unique, fair and equitable division of space Finally, among the two solution concepts proposed the fixed point NTU Shapley value manages to better address the heterogeneity of the players and thus to provide a more socially acceptable allocation that favours the weaker player, while demonstrating the importance of the monetary valuation attributed by each use to the area. Copyright © 2016 Elsevier Ltd. All rights reserved.

Enabling the extended compact genetic algorithm for real-parameter optimization by using adaptive discretization.

PubMed

Chen, Ying-ping; Chen, Chao-Hong

2010-01-01

An adaptive discretization method, called split-on-demand (SoD), enables estimation of distribution algorithms (EDAs) for discrete variables to solve continuous optimization problems. SoD randomly splits a continuous interval if the number of search points within the interval exceeds a threshold, which is decreased at every iteration. After the split operation, the nonempty intervals are assigned integer codes, and the search points are discretized accordingly. As an example of using SoD with EDAs, the integration of SoD and the extended compact genetic algorithm (ECGA) is presented and numerically examined. In this integration, we adopt a local search mechanism as an optional component of our back end optimization engine. As a result, the proposed framework can be considered as a memetic algorithm, and SoD can potentially be applied to other memetic algorithms. The numerical experiments consist of two parts: (1) a set of benchmark functions on which ECGA with SoD and ECGA with two well-known discretization methods: the fixed-height histogram (FHH) and the fixed-width histogram (FWH) are compared; (2) a real-world application, the economic dispatch problem, on which ECGA with SoD is compared to other methods. The experimental results indicate that SoD is a better discretization method to work with ECGA. Moreover, ECGA with SoD works quite well on the economic dispatch problem and delivers solutions better than the best known results obtained by other methods in existence.

Co-C and Pd-C Fixed Points for the Evaluation of Facilities and Scales Realization at INRIM and NMC

NASA Astrophysics Data System (ADS)

Battuello, M.; Wang, L.; Girard, F.; Ang, S. H.

2014-04-01

Two hybrid cells for realizing the Co-C and Pd-C fixed points and constructed at Istituto Nazionale di Ricerca Metrologica (INRIM) were used for an evaluation of facilities and procedures adopted by INRIM and National Metrology Institute of Singapore (NMC) for the realization of the solid-liquid phase transitions of high-temperature fixed points and for determining their transition temperatures. Four different furnaces were used for the investigations, i.e., two single-zone furnaces, one of them of the direct-heating type, and two identical three-zone furnaces. The transition temperatures were measured at both institutes by adopting different procedures for realizing the radiation scales, i.e., at INRIM a scheme based on the extrapolation of fixed-point interpolated scales and an International Temperature Scale of 1990 (ITS-90) approach at NMC. The point of inflection (POI) of the melting curves was determined and assumed as a practical representation of the melting temperature. Different methods for deriving the POI were used, and differences as large as some hundredths of a kelvin were found with the different approaches. The POIs of the different melting curves were analyzed with respect to the different possible operative conditions with the aim of deriving reproducibility figures to improve the estimated uncertainty. As regard to the institutes inter-comparison, differences of 0.13 K and 0.29 K were found between INRIM and NMC determinations at the Co-C and Pd-C points, respectively. Such differences are compatible with the combined standard uncertainties of the comparison, which are estimated to be 0.33 K and 0.36 K at the Co-C and Pd-C points, respectively.

Laser-Induced Melting of Co-C Eutectic Cells as a New Research Tool

NASA Astrophysics Data System (ADS)

van der Ham, E.; Ballico, M.; Jahan, F.

2015-08-01

A new laser-based technique to examine heat transfer and energetics of phase transitions in metal-carbon fixed points and potentially to improve the quality of phase transitions in furnaces with poor uniformity is reported. Being reproducible below 0.1 K, metal-carbon fixed points are increasingly used as reference standards for the calibration of thermocouples and radiation thermometers. At NMIA, the Co-C eutectic point is used for the calibration of thermocouples, with the fixed point traceable to the International Temperature Scale (ITS-90) using radiation thermometry. For thermocouple use, these cells are deep inside a high-uniformity furnace, easily obtaining excellent melting plateaus. However, when used with radiation thermometers, the essential large viewing cone to the crucible restricts the furnace depth and introduces large heat losses from the front furnace zone, affecting the quality of the phase transition. Short laser bursts have been used to illuminate the cavity of a conventional Co-C fixed-point cell during various points in its melting phase transition. The laser is employed to partially melt the metal at the rear of the crucible providing a liquid-solid interface close to the region being observed by the reference pyrometer. As the laser power is known, a quantitative estimate of can be made for the Co-C latent heat of fusion. Using a single laser pulse during a furnace-induced melt, a plateau up to 8 min is observed before the crucible resumes a characteristic conventional melt curve. Although this plateau is satisfyingly flat, well within 100 mK, it is observed that the plateau is laser energy dependent and elevates from the conventional melt "inflection-point" value.

Atypical k-essence cosmologies

DOE Office of Scientific and Technical Information (OSTI.GOV)

Chimento, Luis P.; Lazkoz, Ruth

We analyze the implications of having a divergent speed of sound in k-essence cosmological models. We first study a known theory of that kind, for which the Lagrangian density depends linearly on the time derivative of the k-field. We show that when k-essence is the only source consistency requires that the potential of the k-field be of the inverse square form. Then, we review the known result that the corresponding power-law solutions can be mapped to power-law solutions of theories with no divergence in the speed of sound. After that, we argue that the requirement of a divergent sound speedmore » at some point fixes uniquely the form of the Lagrangian to be exactly the one considered earlier and prove the asymptotic stability of the most interesting solutions belonging to the divergent theory. Then, we discuss the implications of having not just k-essence but also matter. This is interesting because introducing another component breaks the rigidity of the theory, and the form of the potential ceases to be unique as happened in the pure k-essence case. Finally, we show the finiteness of the effective sound speed under an appropiate definition.« less

On dynamical systems approaches and methods in f ( R ) cosmology

DOE Office of Scientific and Technical Information (OSTI.GOV)

Alho, Artur; Carloni, Sante; Uggla, Claes, E-mail: aalho@math.ist.utl.pt, E-mail: sante.carloni@tecnico.ulisboa.pt, E-mail: claes.uggla@kau.se

We discuss dynamical systems approaches and methods applied to flat Robertson-Walker models in f ( R )-gravity. We argue that a complete description of the solution space of a model requires a global state space analysis that motivates globally covering state space adapted variables. This is shown explicitly by an illustrative example, f ( R ) = R + α R {sup 2}, α > 0, for which we introduce new regular dynamical systems on global compactly extended state spaces for the Jordan and Einstein frames. This example also allows us to illustrate several local and global dynamical systems techniquesmore » involving, e.g., blow ups of nilpotent fixed points, center manifold analysis, averaging, and use of monotone functions. As a result of applying dynamical systems methods to globally state space adapted dynamical systems formulations, we obtain pictures of the entire solution spaces in both the Jordan and the Einstein frames. This shows, e.g., that due to the domain of the conformal transformation between the Jordan and Einstein frames, not all the solutions in the Jordan frame are completely contained in the Einstein frame. We also make comparisons with previous dynamical systems approaches to f ( R ) cosmology and discuss their advantages and disadvantages.« less

Integer ambiguity resolution in precise point positioning: method comparison

NASA Astrophysics Data System (ADS)

Geng, Jianghui; Meng, Xiaolin; Dodson, Alan H.; Teferle, Felix N.

2010-09-01

Integer ambiguity resolution at a single receiver can be implemented by applying improved satellite products where the fractional-cycle biases (FCBs) have been separated from the integer ambiguities in a network solution. One method to achieve these products is to estimate the FCBs by averaging the fractional parts of the float ambiguity estimates, and the other is to estimate the integer-recovery clocks by fixing the undifferenced ambiguities to integers in advance. In this paper, we theoretically prove the equivalence of the ambiguity-fixed position estimates derived from these two methods by assuming that the FCBs are hardware-dependent and only they are assimilated into the clocks and ambiguities. To verify this equivalence, we implement both methods in the Position and Navigation Data Analyst software to process 1 year of GPS data from a global network of about 350 stations. The mean biases between all daily position estimates derived from these two methods are only 0.2, 0.1 and 0.0 mm, whereas the standard deviations of all position differences are only 1.3, 0.8 and 2.0 mm for the East, North and Up components, respectively. Moreover, the differences of the position repeatabilities are below 0.2 mm on average for all three components. The RMS of the position estimates minus those from the International GNSS Service weekly solutions for the former method differs by below 0.1 mm on average for each component from that for the latter method. Therefore, considering the recognized millimeter-level precision of current GPS-derived daily positions, these statistics empirically demonstrate the theoretical equivalence of the ambiguity-fixed position estimates derived from these two methods. In practice, we note that the former method is compatible with current official clock-generation methods, whereas the latter method is not, but can potentially lead to slightly better positioning quality.

Modeling backbone flexibility to achieve sequence diversity: The design of novel alpha-helical ligands for Bcl-xL

PubMed Central

Fu, Xiaoran; Apgar, James R.; Keating, Amy E.

2007-01-01

Computational protein design can be used to select sequences that are compatible with a fixed-backbone template. This strategy has been used in numerous instances to engineer novel proteins. However, the fixed-backbone assumption severely restricts the sequence space that is accessible via design. For challenging problems, such as the design of functional proteins, this may not be acceptable. In this paper, we present a method for introducing backbone flexibility into protein design calculations and apply it to the design of diverse helical BH3 ligands that bind to the anti-apoptotic protein Bcl-xL, a member of the Bcl-2 protein family. We demonstrate how normal mode analysis can be used to sample different BH3 backbones, and show that this leads to a larger and more diverse set of low-energy solutions than can be achieved using a native high-resolution Bcl-xL complex crystal structure as a template. We tested several of the designed solutions experimentally and found that this approach worked well when normal mode calculations were used to deform a native BH3 helix structure, but less well when they were used to deform an idealized helix. A subsequent round of design and testing identified a likely source of the problem as inadequate sampling of the helix pitch. In all, we tested seventeen designed BH3 peptide sequences, including several point mutants. Of these, eight bound well to Bcl-xL and four others showed weak but detectable binding. The successful designs showed a diversity of sequences that would have been difficult or impossible to achieve using only a fixed backbone. Thus, introducing backbone flexibility via normal mode analysis effectively broadened the set of sequences identified by computational design, and provided insight into positions important for binding Bcl-xL. PMID:17597151

Height system unification based on the Fixed Geodetic Boundary Value Problem with limited availability of gravity data

NASA Astrophysics Data System (ADS)

Porz, Lucas; Grombein, Thomas; Seitz, Kurt; Heck, Bernhard; Wenzel, Friedemann

2017-04-01

Regional height reference systems are generally related to individual vertical datums defined by specific tide gauges. The discrepancies of these vertical datums with respect to a unified global datum cause height system biases that range in an order of 1-2 m at a global scale. One approach for unification of height systems relates to the solution of a Geodetic Boundary Value Problem (GBVP). In particular, the fixed GBVP, using gravity disturbances as boundary values, is solved at GNSS/leveling benchmarks, whereupon height datum offsets can be estimated by least squares adjustment. In spherical approximation, the solution of the fixed GBVP is obtained by Hotine's spherical integral formula. However, this method relies on the global availability of gravity data. In practice, gravity data of the necessary resolution and accuracy is not accessible globally. Thus, the integration is restricted to an area within the vicinity of the computation points. The resulting truncation error can reach several meters in height, making height system unification without further consideration of this effect unfeasible. This study analyzes methods for reducing the truncation error by combining terrestrial gravity data with satellite-based global geopotential models and by modifying the integral kernel in order to accelerate the convergence of the resulting potential. For this purpose, EGM2008-derived gravity functionals are used as pseudo-observations to be integrated numerically. Geopotential models of different spectral degrees are implemented using a remove-restore-scheme. Three types of modification are applied to the Hotine-kernel and the convergence of the resulting potential is analyzed. In a further step, the impact of these operations on the estimation of height datum offsets is investigated within a closed loop simulation. A minimum integration radius in combination with a specific modification of the Hotine-kernel is suggested in order to achieve sub-cm accuracy for the estimation of height datum offsets.

Mass scale of vectorlike matter and superpartners from IR fixed point predictions of gauge and top Yukawa couplings

NASA Astrophysics Data System (ADS)

Dermíšek, Radovan; McGinnis, Navin

2018-03-01

We use the IR fixed point predictions for gauge couplings and the top Yukawa coupling in the minimal supersymmetric model (MSSM) extended with vectorlike families to infer the scale of vectorlike matter and superpartners. We quote results for several extensions of the MSSM and present results in detail for the MSSM extended with one complete vectorlike family. We find that for a unified gauge coupling αG>0.3 vectorlike matter or superpartners are expected within 1.7 TeV (2.5 TeV) based on all three gauge couplings being simultaneously within 1.5% (5%) from observed values. This range extends to about 4 TeV for αG>0.2 . We also find that in the scenario with two additional large Yukawa couplings of vectorlike quarks the IR fixed point value of the top Yukawa coupling independently points to a multi-TeV range for vectorlike matter and superpartners. Assuming a universal value for all large Yukawa couplings at the grand unified theory scale, the measured top quark mass can be obtained from the IR fixed point for tan β ≃4 . The range expands to any tan β >3 for significant departures from the universality assumption. Considering that the Higgs boson mass also points to a multi-TeV range for superpartners in the MSSM, adding a complete vectorlike family at the same scale provides a compelling scenario where the values of gauge couplings and the top quark mass are understood as a consequence of the particle content of the model.

Finding fixed satellite service orbital allotments with a k-permutation algorithm

NASA Technical Reports Server (NTRS)

Reilly, Charles H.; Mount-Campbell, Clark A.; Gonsalvez, David J. A.

1990-01-01

A satellite system synthesis problem, the satellite location problem (SLP), is addressed. In SLP, orbital locations (longitudes) are allotted to geostationary satellites in the fixed satellite service. A linear mixed-integer programming model is presented that views SLP as a combination of two problems: the problem of ordering the satellites and the problem of locating the satellites given some ordering. A special-purpose heuristic procedure, a k-permutation algorithm, has been developed to find solutions to SLPs. Solutions to small sample problems are presented and analyzed on the basis of calculated interferences.

78 FR 57472 - IFR Altitudes; Miscellaneous Amendments

Federal Register 2010, 2011, 2012, 2013, 2014

2013-09-19

... BORDER DUNKIRK, NY VORTAC 18000 45000 DUNKIRK, NY VORTAC MTCAF, PA FIX 31000 45000 MTCAF, PA FIX LAKE... DUNKIRK, NY VORTAC 18000 45000 Airway segment Changeover points From To Distance From Sec. 95.8003 VOR...

Strong coupling strategy for fluid-structure interaction problems in supersonic regime via fixed point iteration

NASA Astrophysics Data System (ADS)

Storti, Mario A.; Nigro, Norberto M.; Paz, Rodrigo R.; Dalcín, Lisandro D.

2009-03-01

In this paper some results on the convergence of the Gauss-Seidel iteration when solving fluid/structure interaction problems with strong coupling via fixed point iteration are presented. The flow-induced vibration of a flat plate aligned with the flow direction at supersonic Mach number is studied. The precision of different predictor schemes and the influence of the partitioned strong coupling on stability is discussed.

Compendium of Applications Technology Satellite user experiments

NASA Technical Reports Server (NTRS)

Engler, N. A.; Strange, J. D.; Hein, G. F.

1976-01-01

The achievements of the user experiments performed with ATS satellites from 1967 to 1973 are summarized. Included are fixed and mobile point to point communications experiments involving voice, teletype and facsimile transmissions. Particular emphasis is given to the Alaska and Hawaii satellite communications experiments. The use of the ATS satellites for ranging and position fixing of ships and aircraft is also covered. The structure and operating characteristics of the various ATS satellite are briefly described.

Scale-chiral symmetry, ω meson, and dense baryonic matter

NASA Astrophysics Data System (ADS)

Ma, Yong-Liang; Rho, Mannque

2018-05-01

It is shown that explicitly broken scale symmetry is essential for dense skyrmion matter in hidden local symmetry theory. Consistency with the vector manifestation fixed point for the hidden local symmetry of the lowest-lying vector mesons and the dilaton limit fixed point for scale symmetry in dense matter is found to require that the anomalous dimension (|γG2| ) of the gluon field strength tensor squared (G2 ) that represents the quantum trace anomaly should be 1.0 ≲|γG2|≲3.5 . The magnitude of |γG2| estimated here will be useful for studying hadron and nuclear physics based on the scale-chiral effective theory. More significantly, that the dilaton limit fixed point can be arrived at with γG2≠0 at some high density signals that scale symmetry can arise in dense medium as an "emergent" symmetry.

Classification of attractors for systems of identical coupled Kuramoto oscillators

DOE Office of Scientific and Technical Information (OSTI.GOV)

Engelbrecht, Jan R.; Mirollo, Renato

2014-03-15

We present a complete classification of attractors for networks of coupled identical Kuramoto oscillators. In such networks, each oscillator is driven by the same first-order trigonometric function, with coefficients given by symmetric functions of the entire oscillator ensemble. For N≠3 oscillators, there are four possible types of attractors: completely synchronized fixed points or limit cycles, and fixed points or limit cycles where all but one of the oscillators are synchronized. The case N = 3 is exceptional; systems of three identical Kuramoto oscillators can also posses attracting fixed points or limit cycles with all three oscillators out of sync, as well asmore » chaotic attractors. Our results rely heavily on the invariance of the flow for such systems under the action of the three-dimensional group of Möbius transformations, which preserve the unit disc, and the analysis of the possible limiting configurations for this group action.« less

UV conformal window for asymptotic safety

NASA Astrophysics Data System (ADS)

Bond, Andrew D.; Litim, Daniel F.; Vazquez, Gustavo Medina; Steudtner, Tom

2018-02-01

Interacting fixed points in four-dimensional gauge theories coupled to matter are investigated using perturbation theory up to three loop order. It is shown how fixed points, scaling exponents, and anomalous dimensions are obtained as a systematic power series in a small parameter. The underlying ordering principle is explained and contrasted with conventional perturbation theory and Weyl consistency conditions. We then determine the conformal window with asymptotic safety from the complete next-to-next-to-leading order in perturbation theory. Limits for the conformal window arise due to fixed point mergers, the onset of strong coupling, or vacuum instability. A consistent picture is uncovered by comparing various levels of approximation. The theory remains perturbative in the entire conformal window, with vacuum stability dictating the tightest constraints. We also speculate about a secondary conformal window at strong coupling and estimate its lower limit. Implications for model building and cosmology are indicated.

A Machine-Checked Proof of A State-Space Construction Algorithm

NASA Technical Reports Server (NTRS)

Catano, Nestor; Siminiceanu, Radu I.

2010-01-01

This paper presents the correctness proof of Saturation, an algorithm for generating state spaces of concurrent systems, implemented in the SMART tool. Unlike the Breadth First Search exploration algorithm, which is easy to understand and formalise, Saturation is a complex algorithm, employing a mutually-recursive pair of procedures that compute a series of non-trivial, nested local fixed points, corresponding to a chaotic fixed point strategy. A pencil-and-paper proof of Saturation exists, but a machine checked proof had never been attempted. The key element of the proof is the characterisation theorem of saturated nodes in decision diagrams, stating that a saturated node represents a set of states encoding a local fixed-point with respect to firing all events affecting only the node s level and levels below. For our purpose, we have employed the Prototype Verification System (PVS) for formalising the Saturation algorithm, its data structures, and for conducting the proofs.

Two-point function of a d =2 quantum critical metal in the limit kF→∞ , Nf→0 with NfkF fixed

NASA Astrophysics Data System (ADS)

Säterskog, Petter; Meszena, Balazs; Schalm, Koenraad

2017-10-01

We show that the fermionic and bosonic spectrum of d =2 fermions at finite density coupled to a critical boson can be determined nonperturbatively in the combined limit kF→∞ ,Nf→0 with NfkF fixed. In this double scaling limit, the boson two-point function is corrected but only at one loop. This double scaling limit therefore incorporates the leading effect of Landau damping. The fermion two-point function is determined analytically in real space and numerically in (Euclidean) momentum space. The resulting spectrum is discontinuously connected to the quenched Nf→0 result. For ω →0 with k fixed the spectrum exhibits the distinct non-Fermi-liquid behavior previously surmised from the RPA approximation. However, the exact answer obtained here shows that the RPA result does not fully capture the IR of the theory.

Gravity Duals of Lifshitz-Like Fixed Points

DOE Office of Scientific and Technical Information (OSTI.GOV)

Kachru, Shamit; /Stanford U., Phys. Dept. /SLAC; Liu, Xiao

2008-11-05

We find candidate macroscopic gravity duals for scale-invariant but non-Lorentz invariant fixed points, which do not have particle number as a conserved quantity. We compute two-point correlation functions which exhibit novel behavior relative to their AdS counterparts, and find holographic renormalization group flows to conformal field theories. Our theories are characterized by a dynamical critical exponent z, which governs the anisotropy between spatial and temporal scaling t {yields} {lambda}{sup z}t, x {yields} {lambda}x; we focus on the case with z = 2. Such theories describe multicritical points in certain magnetic materials and liquid crystals, and have been shown to arisemore » at quantum critical points in toy models of the cuprate superconductors. This work can be considered a small step towards making useful dual descriptions of such critical points.« less

The Mean Curvature of the Influence Surface of Wave Equation With Sources on a Moving Surface

NASA Technical Reports Server (NTRS)

Farassat, F.; Farris, Mark

1999-01-01

The mean curvature of the influence surface of the space-time point (x, t) appears in linear supersonic propeller noise theory and in the Kirchhoff formula for a supersonic surface. Both these problems are governed by the linear wave equation with sources on a moving surface. The influence surface is also called the Sigma - surface in the aeroacoustic literature. This surface is the locus, in a frame fixed to the quiescent medium, of all the points of a radiating surface f(x, t) = 0 whose acoustic signals arrive simultaneously to an observer at position x and at the time t. Mathematically, the Sigma- surface is produced by the intersection of the characteristic conoid of the space-time point (x, t) and the moving surface. In this paper, we derive the expression for the local mean curvature of the Sigma - space of the space-time point for a moving rigid or deformable surface f(x, t) = 0. This expression is a complicated function of the geometric and kinematic parameters of the surface f(x, t) = 0. Using the results of this paper, the solution of the governing wave equation of high speed propeller noise radiation as well as the Kirchhoff formula for a supersonic surface can be written as very compact analytic expression.