EXTRA: a digital computer program for the solution of stiff sets of ordinary initial value, first order differential equations

International Nuclear Information System (INIS)

Sidell, J.

1976-08-01

EXTRA is a program written for the Winfrith KDF9 enabling the user to solve first order initial value differential equations. In this report general numerical integration methods are discussed with emphasis on their application to the solution of stiff sets of equations. A method of particular applicability to stiff sets of equations is described. This method is incorporated in the program EXTRA and full instructions for its use are given. A comparison with other methods of computation is included. (author)

Functional Programming in R

DEFF Research Database (Denmark)

Mailund, Thomas

Master functions and discover how to write functional programs in R. In this book, you'll make your functions pure by avoiding side-effects; you’ll write functions that manipulate other functions, and you’ll construct complex functions using simpler functions as building blocks. In Functional...... Programming in R, you’ll see how we can replace loops, which can have side-effects, with recursive functions that can more easily avoid them. In addition, the book covers why you shouldn't use recursion when loops are more efficient and how you can get the best of both worlds. Functional programming...... functions by combining simpler functions. You will: Write functions in R including infix operators and replacement functions Create higher order functions Pass functions to other functions and start using functions as data you can manipulate Use Filer, Map and Reduce functions to express the intent behind...

PSsolver: A Maple implementation to solve first order ordinary differential equations with Liouvillian solutions

Science.gov (United States)

Avellar, J.; Duarte, L. G. S.; da Mota, L. A. C. P.

2012-10-01

We present a set of software routines in Maple 14 for solving first order ordinary differential equations (FOODEs). The package implements the Prelle-Singer method in its original form together with its extension to include integrating factors in terms of elementary functions. The package also presents a theoretical extension to deal with all FOODEs presenting Liouvillian solutions. Applications to ODEs taken from standard references show that it solves ODEs which remain unsolved using Maple's standard ODE solution routines. New version program summary Program title: PSsolver Catalogue identifier: ADPR_v2_0 Program summary URL: http://cpc.cs.qub.ac.uk/summaries/ADPR_v2_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 2302 No. of bytes in distributed program, including test data, etc.: 31962 Distribution format: tar.gz Programming language: Maple 14 (also tested using Maple 15 and 16). Computer: Intel Pentium Processor P6000, 1.86 GHz. Operating system: Windows 7. RAM: 4 GB DDR3 Memory Classification: 4.3. Catalogue identifier of previous version: ADPR_v1_0 Journal reference of previous version: Comput. Phys. Comm. 144 (2002) 46 Does the new version supersede the previous version?: Yes Nature of problem: Symbolic solution of first order differential equations via the Prelle-Singer method. Solution method: The method of solution is based on the standard Prelle-Singer method, with extensions for the cases when the FOODE contains elementary functions. Additionally, an extension of our own which solves FOODEs with Liouvillian solutions is included. Reasons for new version: The program was not running anymore due to changes in the latest versions of Maple. Additionally, we corrected/changed some bugs/details that were hampering the smoother functioning of the routines. Summary

MODY - calculation of ordered structures by symmetry-adapted functions

Science.gov (United States)

Białas, Franciszek; Pytlik, Lucjan; Sikora, Wiesława

2016-01-01

In this paper we focus on the new version of computer program MODY for calculations of symmetryadapted functions based on the theory of groups and representations. The choice of such a functional frame of coordinates for description of ordered structures leads to a minimal number of parameters which must be used for presentation of such structures and investigations of their properties. The aim of this work is to find those parameters, which are coefficients of a linear combination of calculated functions, leading to construction of different types of structure ordering with a given symmetry. A spreadsheet script for simplification of this work has been created and attached to the program.

Comment on "Nonuniqueness of algebraic first-order density-matrix functionals"

Science.gov (United States)

Gritsenko, O. V.

2018-02-01

Wang and Knowles (WK) [Phys. Rev. A 92, 012520 (2015), 10.1103/PhysRevA.92.012520] have given a counterexample to the conventional in reduced density-matrix functional theory representation of the second-order reduced density matrix (2RDM) Γi j ,k l in the basis of the natural orbitals as a function Γi j ,k l(n ) of the orbital occupation numbers (ONs) ni. The observed nonuniqueness of Γi j ,k l for prototype systems of different symmetry has been interpreted as the inherent inability of ON functions to reproduce the 2RDM, due to the insufficient information contained in the 1RDM spectrum. In this Comment, it is argued that, rather than totally invalidating Γi j ,k l(n ) , the WK example exposes its symmetry dependence which, as well as the previously established analogous dependence in density functional theory, is demonstrated with a general formulation based on the Levy constrained search.

Method to render second order beam optics programs symplectic

International Nuclear Information System (INIS)

Douglas, D.; Servranckx, R.V.

1984-10-01

We present evidence that second order matrix-based beam optics programs violate the symplectic condition. A simple method to avoid this difficulty, based on a generating function approach to evaluating transfer maps, is described. A simple example illustrating the non-symplectricity of second order matrix methods, and the effectiveness of our solution to the problem, is provided. We conclude that it is in fact possible to bring second order matrix optics methods to a canonical form. The procedure for doing so has been implemented in the program DIMAT, and could be implemented in programs such as TRANSPORT and TURTLE, making them useful in multiturn applications. 15 refs

First-order system least-squares for second-order elliptic problems with discontinuous coefficients: Further results

Energy Technology Data Exchange (ETDEWEB)

Bloechle, B.; Manteuffel, T.; McCormick, S.; Starke, G.

1996-12-31

Many physical phenomena are modeled as scalar second-order elliptic boundary value problems with discontinuous coefficients. The first-order system least-squares (FOSLS) methodology is an alternative to standard mixed finite element methods for such problems. The occurrence of singularities at interface corners and cross-points requires that care be taken when implementing the least-squares finite element method in the FOSLS context. We introduce two methods of handling the challenges resulting from singularities. The first method is based on a weighted least-squares functional and results in non-conforming finite elements. The second method is based on the use of singular basis functions and results in conforming finite elements. We also share numerical results comparing the two approaches.

A theorem regarding roots of the zero-order Bessel function of the first kind

Science.gov (United States)

Lin, X.-A.; Agrawal, O. P.

1993-01-01

This paper investigates a problem on the steady-state, conduction-convection heat transfer process in cylindrical porous heat exchangers. The governing partial differential equations for the system are obtained using the energy conservation law. Solution of these equations and the concept of enthalpy lead to a new approach to prove a theorem that the sum of inverse squares of all the positive roots of the zero order Bessel function of the first kind equals to one-forth. As a corollary, it is shown that the sum of one over pth power (p greater than or equal to 2) of the roots converges to some constant.

First-Order Twistor Lifts

Directory of Open Access Journals (Sweden)

Simões BrunoAscenso

2010-01-01

Full Text Available The use of twistor methods in the study of Jacobi fields has proved quite fruitful, leading to a series of results. L. Lemaire and J. C. Wood proved several properties of Jacobi fields along harmonic maps from the two-sphere to the complex projective plane and to the three- and four-dimensional spheres, by carefully relating the infinitesimal deformations of the harmonic maps to those of the holomorphic data describing them. In order to advance this programme, we prove a series of relations between infinitesimal properties of the map and those of its twistor lift. Namely, we prove that isotropy and harmonicity to first order of the map correspond to holomorphicity to first order of its lift into the twistor space, relatively to the standard almost complex structures and . This is done by obtaining first-order analogues of classical twistorial constructions.

First-Order Twistor Lifts

Directory of Open Access Journals (Sweden)

Bruno Ascenso Simões

2010-01-01

Full Text Available The use of twistor methods in the study of Jacobi fields has proved quite fruitful, leading to a series of results. L. Lemaire and J. C. Wood proved several properties of Jacobi fields along harmonic maps from the two-sphere to the complex projective plane and to the three- and four-dimensional spheres, by carefully relating the infinitesimal deformations of the harmonic maps to those of the holomorphic data describing them. In order to advance this programme, we prove a series of relations between infinitesimal properties of the map and those of its twistor lift. Namely, we prove that isotropy and harmonicity to first order of the map correspond to holomorphicity to first order of its lift into the twistor space, relatively to the standard almost complex structures J1 and J2. This is done by obtaining first-order analogues of classical twistorial constructions.

Boundary-value problems for first and second order functional differential inclusions

Directory of Open Access Journals (Sweden)

Shihuang Hong

2003-03-01

Full Text Available This paper presents sufficient conditions for the existence of solutions to boundary-value problems of first and second order multi-valued differential equations in Banach spaces. Our results obtained using fixed point theorems, and lead to new existence principles.

Computing many-body wave functions with guaranteed precision: the first-order Møller-Plesset wave function for the ground state of helium atom.

Science.gov (United States)

Bischoff, Florian A; Harrison, Robert J; Valeev, Edward F

2012-09-14

We present an approach to compute accurate correlation energies for atoms and molecules using an adaptive discontinuous spectral-element multiresolution representation for the two-electron wave function. Because of the exponential storage complexity of the spectral-element representation with the number of dimensions, a brute-force computation of two-electron (six-dimensional) wave functions with high precision was not practical. To overcome the key storage bottlenecks we utilized (1) a low-rank tensor approximation (specifically, the singular value decomposition) to compress the wave function, and (2) explicitly correlated R12-type terms in the wave function to regularize the Coulomb electron-electron singularities of the Hamiltonian. All operations necessary to solve the Schrödinger equation were expressed so that the reconstruction of the full-rank form of the wave function is never necessary. Numerical performance of the method was highlighted by computing the first-order Møller-Plesset wave function of a helium atom. The computed second-order Møller-Plesset energy is precise to ~2 microhartrees, which is at the precision limit of the existing general atomic-orbital-based approaches. Our approach does not assume special geometric symmetries, hence application to molecules is straightforward.

Displacement Convexity for First-Order Mean-Field Games

KAUST Repository

Seneci, Tommaso

2018-05-01

In this thesis, we consider the planning problem for first-order mean-field games (MFG). These games degenerate into optimal transport when there is no coupling between players. Our aim is to extend the concept of displacement convexity from optimal transport to MFGs. This extension gives new estimates for solutions of MFGs. First, we introduce the Monge-Kantorovich problem and examine related results on rearrangement maps. Next, we present the concept of displacement convexity. Then, we derive first-order MFGs, which are given by a system of a Hamilton-Jacobi equation coupled with a transport equation. Finally, we identify a large class of functions, that depend on solutions of MFGs, which are convex in time. Among these, we find several norms. This convexity gives bounds for the density of solutions of the planning problem.

First and second order derivatives for optimizing parallel RF excitation waveforms

Science.gov (United States)

Majewski, Kurt; Ritter, Dieter

2015-09-01

For piecewise constant magnetic fields, the Bloch equations (without relaxation terms) can be solved explicitly. This way the magnetization created by an excitation pulse can be written as a concatenation of rotations applied to the initial magnetization. For fixed gradient trajectories, the problem of finding parallel RF waveforms, which minimize the difference between achieved and desired magnetization on a number of voxels, can thus be represented as a finite-dimensional minimization problem. We use quaternion calculus to formulate this optimization problem in the magnitude least squares variant and specify first and second order derivatives of the objective function. We obtain a small tip angle approximation as first order Taylor development from the first order derivatives and also develop algorithms for first and second order derivatives for this small tip angle approximation. All algorithms are accompanied by precise floating point operation counts to assess and compare the computational efforts. We have implemented these algorithms as callback functions of an interior-point solver. We have applied this numerical optimization method to example problems from the literature and report key observations.

Functional programming for computer vision

Science.gov (United States)

Breuel, Thomas M.

1992-04-01

Functional programming is a style of programming that avoids the use of side effects (like assignment) and uses functions as first class data objects. Compared with imperative programs, functional programs can be parallelized better, and provide better encapsulation, type checking, and abstractions. This is important for building and integrating large vision software systems. In the past, efficiency has been an obstacle to the application of functional programming techniques in computationally intensive areas such as computer vision. We discuss and evaluate several 'functional' data structures for representing efficiently data structures and objects common in computer vision. In particular, we will address: automatic storage allocation and reclamation issues; abstraction of control structures; efficient sequential update of large data structures; representing images as functions; and object-oriented programming. Our experience suggests that functional techniques are feasible for high- performance vision systems, and that a functional approach simplifies the implementation and integration of vision systems greatly. Examples in C++ and SML are given.

On the reduction of the multidimensional stationary Schroedinger equation to a first-order equation and its relation to the pseudoanalytic function theory

Energy Technology Data Exchange (ETDEWEB)

Kravchenko, Vladislav V [Departmento de Telecomunicaciones, SEPI, Escuela Superior de IngenierIa Mecanica y Electrica, Instituto Politecnico Nacional, CP 07738 Mexico DF (Mexico)

2005-01-28

Given a particular solution of a one-dimensional stationary Schroedinger equation this equation of second order can be reduced to a first-order linear ordinary differential equation. This is done with the aid of an auxiliary Riccati differential equation. In the present work we show that the same fact is true in a multidimensional situation also. For simplicity we consider the case of two or three independent variables. One particular solution of the stationary Schroedinger equation allows us to reduce this second-order equation to a linear first-order quaternionic differential equation. As in the one-dimensional case this is done with the aid of an auxiliary quaternionic Riccati equation. The resulting first-order quaternionic equation is equivalent to the static Maxwell system and is closely related to the Dirac equation. In the case of two independent variables it is the well-known Vekua equation from theory of pseudoanalytic (or generalized analytic) functions. Nevertheless, we show that even in this case it is very useful to consider not only complex valued functions, solutions of the Vekua equation, but complete quaternionic functions. In this way the first-order quaternionic equation represents two separate Vekua equations, one of which gives us solutions of the Schroedinger equation and the other one can be considered as an auxiliary equation of a simpler structure. Moreover for the auxiliary equation we always have the corresponding Bers generating pair (F, G), the base of the Bers theory of pseudoanalytic functions, and what is very important, the Bers derivatives of solutions of the auxiliary equation give us solutions of the main Vekua equation and as a consequence of the Schroedinger equation. Based on this fact we obtain an analogue of the Cauchy integral theorem for solutions of the stationary Schroedinger equation. Other results from theory of pseudoanalytic functions can be written for solutions of the Schroedinger equation. Moreover, for an ample

Higher-Order Program Generation

DEFF Research Database (Denmark)

Rhiger, Morten

for OCaml, a dialect of ML, that provides run-time code generation for OCaml programs. We apply these byte-code combinators in semantics-directed compilation for an imperative language and in run-time specialization using type-directed partial evaluation. Finally, we present an approach to compiling goal......This dissertation addresses the challenges of embedding programming languages, specializing generic programs to specific parameters, and generating specialized instances of programs directly as executable code. Our main tools are higher-order programming techniques and automatic program generation....... It is our thesis that they synergize well in the development of customizable software. Recent research on domain-specific languages propose to embed them into existing general-purpose languages. Typed higher-order languages have proven especially useful as meta languages because they provide a rich...

Higher-order automatic differentiation of mathematical functions

Science.gov (United States)

Charpentier, Isabelle; Dal Cappello, Claude

2015-04-01

Functions of mathematical physics such as the Bessel functions, the Chebyshev polynomials, the Gauss hypergeometric function and so forth, have practical applications in many scientific domains. On the one hand, differentiation formulas provided in reference books apply to real or complex variables. These do not account for the chain rule. On the other hand, based on the chain rule, the automatic differentiation has become a natural tool in numerical modeling. Nevertheless automatic differentiation tools do not deal with the numerous mathematical functions. This paper describes formulas and provides codes for the higher-order automatic differentiation of mathematical functions. The first method is based on Faà di Bruno's formula that generalizes the chain rule. The second one makes use of the second order differential equation they satisfy. Both methods are exemplified with the aforementioned functions.

First and second order derivatives for optimizing parallel RF excitation waveforms.

Science.gov (United States)

Majewski, Kurt; Ritter, Dieter

2015-09-01

For piecewise constant magnetic fields, the Bloch equations (without relaxation terms) can be solved explicitly. This way the magnetization created by an excitation pulse can be written as a concatenation of rotations applied to the initial magnetization. For fixed gradient trajectories, the problem of finding parallel RF waveforms, which minimize the difference between achieved and desired magnetization on a number of voxels, can thus be represented as a finite-dimensional minimization problem. We use quaternion calculus to formulate this optimization problem in the magnitude least squares variant and specify first and second order derivatives of the objective function. We obtain a small tip angle approximation as first order Taylor development from the first order derivatives and also develop algorithms for first and second order derivatives for this small tip angle approximation. All algorithms are accompanied by precise floating point operation counts to assess and compare the computational efforts. We have implemented these algorithms as callback functions of an interior-point solver. We have applied this numerical optimization method to example problems from the literature and report key observations. Copyright © 2015 Elsevier Inc. All rights reserved.

On functional bases of the first-order differential invariants for non-conjugate subgroups of the Poincaré group $P(1,4$

Directory of Open Access Journals (Sweden)

V.M. Fedorchuk

2008-11-01

Full Text Available It is established which functional bases of the first-order differential invariants of the splitting and non-splitting subgroups of the Poincaré group $P(1,4$ are invariant under the subgroups of the extended Galilei group $widetilde G(1,3 subset P(1,4$. The obtained sets of functional bases are classified according to dimensions.

Functional Programming in Computer Science

Energy Technology Data Exchange (ETDEWEB)

Anderson, Loren James [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Davis, Marion Kei [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

2016-01-19

We explore functional programming through a 16-week internship at Los Alamos National Laboratory. Functional programming is a branch of computer science that has exploded in popularity over the past decade due to its high-level syntax, ease of parallelization, and abundant applications. First, we summarize functional programming by listing the advantages of functional programming languages over the usual imperative languages, and we introduce the concept of parsing. Second, we discuss the importance of lambda calculus in the theory of functional programming. Lambda calculus was invented by Alonzo Church in the 1930s to formalize the concept of effective computability, and every functional language is essentially some implementation of lambda calculus. Finally, we display the lasting products of the internship: additions to a compiler and runtime system for the pure functional language STG, including both a set of tests that indicate the validity of updates to the compiler and a compiler pass that checks for illegal instances of duplicate names.

Wetting transitions: First order or second order

International Nuclear Information System (INIS)

Teletzke, G.F.; Scriven, L.E.; Davis, H.T.

1982-01-01

A generalization of Sullivan's recently proposed theory of the equilibrium contact angle, the angle at which a fluid interface meets a solid surface, is investigated. The generalized theory admits either a first-order or second-order transition from a nonzero contact angle to perfect wetting as a critical point is approached, in contrast to Sullivan's original theory, which predicts only a second-order transition. The predictions of this computationally convenient theory are in qualitative agreement with a more rigorous theory to be presented in a future publication

A comparison of zero-order, first-order, and Monod biotransformation models

International Nuclear Information System (INIS)

Bekins, B.A.; Warren, E.; Godsy, E.M.

1998-01-01

Under some conditions, a first-order kinetic model is a poor representation of biodegradation in contaminated aquifers. Although it is well known that the assumption of first-order kinetics is valid only when substrate concentration, S, is much less than the half-saturation constant, K S , this assumption is often made without verification of this condition. The authors present a formal error analysis showing that the relative error in the first-order approximation is S/K S and in the zero-order approximation the error is K S /S. They then examine the problems that arise when the first-order approximation is used outside the range for which it is valid. A series of numerical simulations comparing results of first- and zero-order rate approximations to Monod kinetics for a real data set illustrates that if concentrations observed in the field are higher than K S , it may be better to model degradation using a zero-order rate expression. Compared with Monod kinetics, extrapolation of a first-order rate to lower concentrations under-predicts the biotransformation potential, while extrapolation to higher concentrations may grossly over-predict the transformation rate. A summary of solubilities and Monod parameters for aerobic benzene, toluene, and xylene (BTX) degradation shows that the a priori assumption of first-order degradation kinetics at sites contaminated with these compounds is not valid. In particular, out of six published values of K S for toluene, only one is greater than 2 mg/L, indicating that when toluene is present in concentrations greater than about a part per million, the assumption of first-order kinetics may be invalid. Finally, the authors apply an existing analytical solution for steady-state one-dimensional advective transport with Monod degradation kinetics to a field data set

The invariance of second-order functionals revisited

International Nuclear Information System (INIS)

Battezzati, M.

1984-01-01

In this paper some invariance properties of certain homogeneous functional forms of perturbative second-order energies with respect to transformations on the arguments are briefly considered. It has been shown that, if this energy is regarded as an Hamiltonian governing the time evolution of the arguments, which are the components of the first-order perturbed functions, the x and y couples play naturally the role of canonically conjugated co-ordinates and momenta. A search has been made for those linear transformations on these functions which preserve the above duality or reciprocity relations. It has been found that certain canonical transformations are of this type. In particular, the spinorial covariant-contravariant transformations for rotations in four-dimensional space-time

Functional Programming

OpenAIRE

Chitil, Olaf

2009-01-01

Functional programming is a programming paradigm like object-oriented programming and logic programming. Functional programming comprises both a specific programming style and a class of programming languages that encourage and support this programming style. Functional programming enables the programmer to describe an algorithm on a high-level, in terms of the problem domain, without having to deal with machine-related details. A program is constructed from functions that only map inputs to ...

First Order Fire Effects Model: FOFEM 4.0, user's guide

Science.gov (United States)

Elizabeth D. Reinhardt; Robert E. Keane; James K. Brown

1997-01-01

A First Order Fire Effects Model (FOFEM) was developed to predict the direct consequences of prescribed fire and wildfire. FOFEM computes duff and woody fuel consumption, smoke production, and fire-caused tree mortality for most forest and rangeland types in the United States. The model is available as a computer program for PC or Data General computer.

Novel Resistorless First-Order Current-Mode Universal Filter Employing a Grounded Capacitor

Directory of Open Access Journals (Sweden)

R. Arslanalp

2011-09-01

Full Text Available In this paper, a new bipolar junction transistor (BJT based configuration for providing first-order resistorless current-mode (CM all-pass, low-pass and high-pass filter responses from the same configuration is suggested. The proposed circuit called as a first-order universal filter possesses some important advantages such as consisting of a few BJTs and a grounded capacitor, consuming very low power and having electronic tunability property of its pole frequency. Additionally, types of filter response can be obtained only by changing the values of current sources. The suggested circuit does not suffer from disadvantages of use of the resistors in IC process. The presented first-order universal filter topology does not need any passive element matching constraints. Moreover, as an application example, a second-order band-pass filter is obtained by cascading two proposed filter structures which are operating as low-pass filter and high-pass one. Simulations by means of PSpice program are accomplished to demonstrate the performance and effectiveness of the developed first-order universal filter.

First-order corrections to random-phase approximation GW calculations in silicon and diamond

NARCIS (Netherlands)

Ummels, R.T.M.; Bobbert, P.A.; van Haeringen, W.

1998-01-01

We report on ab initio calculations of the first-order corrections in the screened interaction W to the random-phase approximation polarizability and to the GW self-energy, using a noninteracting Green's function, for silicon and diamond. It is found that the first-order vertex and self-consistency

First order and second order fermi acceleration of energetic charged particles by shock waves

International Nuclear Information System (INIS)

Webb, G.M.

1983-01-01

Steady state solutions of the cosmic ray transport equation describing first order Fermi acceleration of energetic charged particles at a plane shock (without losses) and second order Fermi acceleration in the downstream region of the shock are derived. The solutions for the isotropic part of the phase space distribution function are expressible as eigenfunction expansions, being superpositions of series of power law momentum spectra, with the power law indices being the roots of an eigenvalue equation. The above exact analytic solutions are for the case where the spatial diffusion coefficient kappa is independent of momentum. The solutions in general depend on the shock compression ratio, the modulation parameters V 1 L/kappa 1 , V 2 L/kappa 2 (V is the plasma velocity, kappa is the energetic particle diffusion coefficient, and L a characteristic length over which second order Fermi acceleration is effective) in the upstream and downstream regions of the shock, respectively, and also on a further dimensionless parameter, zeta, characterizing second order Fermi acceleration. In the limit as zeta→0 (no second order Fermi acceleration) the power law momentum spectrum characteristic of first order Fermi acceleration (depending only on the shock compression ratio) obtained previously is recovered. Perturbation solutions for the case where second order Fermi effects are small, and for realistic diffusion coefficients (kappainfinityp/sup a/, a>0, p = particle momentum), applicable at high momenta, are also obtained

Contrast gain control in first- and second-order motion perception.

Science.gov (United States)

Lu, Z L; Sperling, G

1996-12-01

A novel pedestal-plus-test paradigm is used to determine the nonlinear gain-control properties of the first-order (luminance) and the second-order (texture-contrast) motion systems, that is, how these systems' responses to motion stimuli are reduced by pedestals and other masking stimuli. Motion-direction thresholds were measured for test stimuli consisting of drifting luminance and texture-contrast-modulation stimuli superimposed on pedestals of various amplitudes. (A pedestal is a static sine-wave grating of the same type and same spatial frequency as the moving test grating.) It was found that first-order motion-direction thresholds are unaffected by small pedestals, but at pedestal contrasts above 1-2% (5-10 x pedestal threshold), motion thresholds increase proportionally to pedestal amplitude (a Weber law). For first-order stimuli, pedestal masking is specific to the spatial frequency of the test. On the other hand, motion-direction thresholds for texture-contrast stimuli are independent of pedestal amplitude (no gain control whatever) throughout the accessible pedestal amplitude range (from 0 to 40%). However, when baseline carrier contrast increases (with constant pedestal modulation amplitude), motion thresholds increase, showing that gain control in second-order motion is determined not by the modulator (as in first-order motion) but by the carrier. Note that baseline contrast of the carrier is inherently independent of spatial frequency of the modulator. The drastically different gain-control properties of the two motion systems and prior observations of motion masking and motion saturation are all encompassed in a functional theory. The stimulus inputs to both first- and second-order motion process are normalized by feedforward, shunting gain control. The different properties arise because the modulator is used to control the first-order gain and the carrier is used to control the second-order gain.

Holographic equipartition from first order action

Science.gov (United States)

Wang, Jingbo

2017-12-01

Recently, the idea that gravity is emergent has attract many people's attention. The "Emergent Gravity Paradigm" is a program that develop this idea from the thermodynamical point of view. It expresses the Einstein equation in the language of thermodynamics. A key equation in this paradigm is the holographic equipartition which says that, in all static spacetimes, the degrees of freedom on the boundary equal those in the bulk. And the time evolution of spacetime is drove by the departure from the holographic equipartition. In this paper, we get the holographic equipartition and its generalization from the first order formalism, that is, the connection and its conjugate momentum are considered to be the canonical variables. The final results have similar structure as those from the metric formalism. It gives another proof of holographic equipartition.

Algorithm 831: modified Bessel functions of imaginary order and positive argument

NARCIS (Netherlands)

A. Gil (Amparo); J. Segura (Javier); N.M. Temme (Nico)

2004-01-01

textabstract77 programs for the computation of modified Bessel functions of purely imaginary order are presented. The codes compute the functions Kia (x), Lia (x) and their derivatives for real a and positive x; these functions are independent solutions of the differential equation x2w'' + xw' + (a2

Semistability of first-order evolution variational inequalities

Directory of Open Access Journals (Sweden)

Hassan Saoud

2015-10-01

Full Text Available Semistability is the property whereby the solutions of a dynamical system converge to a Lyapunov stable equilibrium point determined by the system initial conditions. We extend the theory of semistability to a class of first-order evolution variational inequalities, and study the finite-time semistability. These results are Lyapunov-based and are obtained without any assumptions of sign definiteness on the Lyapunov function. Our results are supported by some examples from unilateral mechanics and electrical circuits involving nonsmooth elements such as Coulomb's friction forces and diodes.

A novel square-root domain realization of first order all-pass filter

OpenAIRE

ÖLMEZ, Sinem; ÇAM, Uğur

2010-01-01

In this paper, a new square-root domain, first order, all-pass filter based on the MOSFET square law is presented. The proposed filter is designed by using nonlinear mapping on the state variables of a state space description of the transfer function. To the best knowledge of the authors, the filter is the first square-root domain first order all-pass structure designed by using state space synthesis method in the literature. The center frequency of the all-pass filter is not only a...

The effect of variations in first- and second-order derivatives on airfoil aerodynamic performance

Directory of Open Access Journals (Sweden)

Penghui Yi

2017-01-01

Full Text Available The geometric factors which influence airfoil aerodynamic performance are attributed to variations in local first- and second-order curvature derivatives. Based on a self-developed computational fluid dynamics (CFD program called UCFD, the influence of local profile variations on airfoil aerodynamic performance in different pressure areas is investigated. The results show that variations in first- and second-order derivatives of the airfoil profiles can cause fluctuations in airfoil aerodynamic performance. The greater the variation in local first- and second-order derivatives, the greater the fluctuation amplitude of the airfoil aerodynamic coefficients. Moreover, at the area near the leading edge and the shock-wave position, the surface pressure is more sensitive to changes in first- and second-order derivatives. These results provide a reference for airfoil aerodynamic shape design.

Multivariate Discrete First Order Stochastic Dominance

DEFF Research Database (Denmark)

Tarp, Finn; Østerdal, Lars Peter

This paper characterizes the principle of first order stochastic dominance in a multivariate discrete setting. We show that a distribution  f first order stochastic dominates distribution g if and only if  f can be obtained from g by iteratively shifting density from one outcome to another...

Head First Programming A learner's guide to programming using the Python language

CERN Document Server

Griffiths, David

2009-01-01

Looking for a reliable way to learn how to program on your own, without being overwhelmed by confusing concepts? Head First Programming introduces the core concepts of writing computer programs -- variables, decisions, loops, functions, and objects -- which apply regardless of the programming language. This book offers concrete examples and exercises in the dynamic and versatile Python language to demonstrate and reinforce these concepts. Learn the basic tools to start writing the programs that interest you, and get a better understanding of what software can (and cannot) do. When you're fi

Boolean-Like and Frequentistic Nonstandard Semantics for First-Order Predicate Calculus without Functions

Czech Academy of Sciences Publication Activity Database

Kramosil, Ivan

2001-01-01

Roč. 5, č. 1 (2001), s. 45-57 ISSN 1432-7643 R&D Projects: GA AV ČR IAA1030803 Institutional research plan: AV0Z1030915 Keywords : first-order predicate calculus * standard semantics * Boolean-like semantics * frequentistic semantics * completness theorems Subject RIV: BA - General Mathematics

Moving-Horizon Modulating Functions-Based Algorithm for Online Source Estimation in a First Order Hyperbolic PDE

KAUST Repository

Asiri, Sharefa M.; Elmetennani, Shahrazed; Laleg-Kirati, Taous-Meriem

2017-01-01

In this paper, an on-line estimation algorithm of the source term in a first order hyperbolic PDE is proposed. This equation describes heat transport dynamics in concentrated solar collectors where the source term represents the received energy. This energy depends on the solar irradiance intensity and the collector characteristics affected by the environmental changes. Control strategies are usually used to enhance the efficiency of heat production; however, these strategies often depend on the source term which is highly affected by the external working conditions. Hence, efficient source estimation methods are required. The proposed algorithm is based on modulating functions method where a moving horizon strategy is introduced. Numerical results are provided to illustrate the performance of the proposed estimator in open and closed loops.

Moving-Horizon Modulating Functions-Based Algorithm for Online Source Estimation in a First Order Hyperbolic PDE

KAUST Repository

Asiri, Sharefa M.

2017-08-22

In this paper, an on-line estimation algorithm of the source term in a first order hyperbolic PDE is proposed. This equation describes heat transport dynamics in concentrated solar collectors where the source term represents the received energy. This energy depends on the solar irradiance intensity and the collector characteristics affected by the environmental changes. Control strategies are usually used to enhance the efficiency of heat production; however, these strategies often depend on the source term which is highly affected by the external working conditions. Hence, efficient source estimation methods are required. The proposed algorithm is based on modulating functions method where a moving horizon strategy is introduced. Numerical results are provided to illustrate the performance of the proposed estimator in open and closed loops.

In the Age of Web: Typed Functional-First Programming Revisited

Directory of Open Access Journals (Sweden)

Tomas Petricek

2015-12-01

Full Text Available Most programming languages were designed before the age of web. This matters because the web changes many assumptions that typed functional language designers take for granted. For example, programs do not run in a closed world, but must instead interact with (changing and likely unreliable services and data sources, communication is often asynchronous or event-driven, and programs need to interoperate with untyped environments. In this paper, we present how the F# language and libraries face the challenges posed by the web. Technically, this comprises using type providers for integration with external information sources and for integration with untyped programming environments, using lightweight meta-programming for targeting JavaScript and computation expressions for writing asynchronous code. In this inquiry, the holistic perspective is more important than each of the features in isolation. We use a practical case study as a starting point and look at how F# language and libraries approach the challenges posed by the web. The specific lessons learned are perhaps less interesting than our attempt to uncover hidden assumptions that no longer hold in the age of web.

First- and second-order processing in transient stereopsis.

Science.gov (United States)

Edwards, M; Pope, D R; Schor, C M

2000-01-01

Large-field stimuli were used to investigate the interaction of first- and second-order pathways in transient-stereo processing. Stimuli consisted of sinewave modulations in either the mean luminance (first-order stimulus) or the contrast (second-order stimulus) of a dynamic-random-dot field. The main results of the present study are that: (1) Depth could be extracted with both the first-order and second-order stimuli; (2) Depth could be extracted from dichoptically mixed first- and second-order stimuli, however, the same stimuli, when presented as a motion sequence, did not result in a motion percept. Based upon these findings we conclude that the transient-stereo system processes both first- and second-order signals, and that these two signals are pooled prior to the extraction of transient depth. This finding of interaction between first- and second-order stereoscopic processing is different from the independence that has been found with the motion system.

Algebraic properties of first integrals for systems of second-order ...

African Journals Online (AJOL)

Symmetries of the rst integrals for scalar linear or linearizable second- order ordinary differential equations (ODEs) have already been derived and shown to exhibit interesting properties. One of these is that the symmetry algebra sl(3; R ) is generated by the three triplets of symmetries of the functionally independent first ...

Multilevel solvers of first-order system least-squares for Stokes equations

Energy Technology Data Exchange (ETDEWEB)

Lai, Chen-Yao G. [National Chung Cheng Univ., Chia-Yi (Taiwan, Province of China)

1996-12-31

Recently, The use of first-order system least squares principle for the approximate solution of Stokes problems has been extensively studied by Cai, Manteuffel, and McCormick. In this paper, we study multilevel solvers of first-order system least-squares method for the generalized Stokes equations based on the velocity-vorticity-pressure formulation in three dimensions. The least-squares functionals is defined to be the sum of the L{sup 2}-norms of the residuals, which is weighted appropriately by the Reynolds number. We develop convergence analysis for additive and multiplicative multilevel methods applied to the resulting discrete equations.

Testing First-Order Logic Axioms in AutoCert

Science.gov (United States)

Ahn, Ki Yung; Denney, Ewen

2009-01-01

AutoCert [2] is a formal verification tool for machine generated code in safety critical domains, such as aerospace control code generated from MathWorks Real-Time Workshop. AutoCert uses Automated Theorem Provers (ATPs) [5] based on First-Order Logic (FOL) to formally verify safety and functional correctness properties of the code. These ATPs try to build proofs based on user provided domain-specific axioms, which can be arbitrary First-Order Formulas (FOFs). These axioms are the most crucial part of the trusted base, since proofs can be submitted to a proof checker removing the need to trust the prover and AutoCert itself plays the part of checking the code generator. However, formulating axioms correctly (i.e. precisely as the user had really intended) is non-trivial in practice. The challenge of axiomatization arise from several dimensions. First, the domain knowledge has its own complexity. AutoCert has been used to verify mathematical requirements on navigation software that carries out various geometric coordinate transformations involving matrices and quaternions. Axiomatic theories for such constructs are complex enough that mistakes are not uncommon. Second, adjusting axioms for ATPs can add even more complexity. The axioms frequently need to be modified in order to have them in a form suitable for use with ATPs. Such modifications tend to obscure the axioms further. Thirdly, speculating validity of the axioms from the output of existing ATPs is very hard since theorem provers typically do not give any examples or counterexamples.

Solving the Fully Fuzzy Bilevel Linear Programming Problem through Deviation Degree Measures and a Ranking Function Method

OpenAIRE

Aihong Ren

2016-01-01

This paper is concerned with a class of fully fuzzy bilevel linear programming problems where all the coefficients and decision variables of both objective functions and the constraints are fuzzy numbers. A new approach based on deviation degree measures and a ranking function method is proposed to solve these problems. We first introduce concepts of the feasible region and the fuzzy optimal solution of a fully fuzzy bilevel linear programming problem. In order to obtain a fuzzy optimal solut...

Discriminating between first- and second-order cognition in first-episode paranoid schizophrenia.

Science.gov (United States)

Bliksted, Vibeke; Samuelsen, Erla; Sandberg, Kristian; Bibby, Bo Martin; Overgaard, Morten Storm

2017-03-01

An impairment of visually perceiving backward masked stimuli is commonly observed in patients with schizophrenia, yet it is unclear whether this impairment is the result of a deficiency in first or higher order processing and for which subtypes of schizophrenia it is present. Here, we compare identification (first order) and metacognitive (higher order) performance in a visual masking paradigm between a highly homogenous group of young first-episode patients diagnosed with paranoid schizophrenia (N = 11) to that of carefully matched healthy controls (N = 13). We find no difference across groups in first-order performance, but find a difference in metacognitive performance, particularly for stimuli with relatively high visibility. These results indicate that the masking deficit is present in first-episode patients with paranoid schizophrenia, but that it is primarily an impairment of metacognition.

A maximum principle for the first-order Boltzmann equation, incorporating a potential treatment of voids

International Nuclear Information System (INIS)

Schofield, S.L.

1988-01-01

Ackroyd's generalized least-squares method for solving the first-order Boltzmann equation is adapted to incorporate a potential treatment of voids. The adaptation comprises a direct least-squares minimization allied with a suitably-defined bilinear functional. The resulting formulation gives rise to a maximum principle whose functional does not contain terms of the type that have previously led to difficulties in treating void regions. The maximum principle is derived without requiring continuity of the flux at interfaces. The functional of the maximum principle is concluded to have an Euler-Lagrange equation given directly by the first-order Boltzmann equation. (author)

Practical Programming with Higher-Order Encodings and Dependent Types

DEFF Research Database (Denmark)

Poswolsky, Adam; Schürmann, Carsten

2008-01-01

, tedious, and error-prone. In this paper, we describe the underlying calculus of Delphin. Delphin is a fully implemented functional-programming language supporting reasoning over higher-order encodings and dependent types, while maintaining the benefits of HOAS. More specifically, just as representations...... for instantiation from those that will remain uninstantiated, utilizing a variation of Miller and Tiu’s ∇-quantifier [1]....

Self-imaging in first-order optical systems

NARCIS (Netherlands)

Alieva, T.; Bastiaans, M.J.; Nijhawan, O.P.; Guota, A.K.; Musla, A.K.; Singh, Kehar

1998-01-01

The structure and main properties of coherent and partially coherent optical fields that are self-reproducible under propagation through a first-order optical system are investigated. A phase space description of self-imaging in first-order optical systems is presented. The Wigner distribution

Field Method for Integrating the First Order Differential Equation

Institute of Scientific and Technical Information of China (English)

JIA Li-qun; ZHENG Shi-wang; ZHANG Yao-yu

2007-01-01

An important modern method in analytical mechanics for finding the integral, which is called the field-method, is used to research the solution of a differential equation of the first order. First, by introducing an intermediate variable, a more complicated differential equation of the first order can be expressed by two simple differential equations of the first order, then the field-method in analytical mechanics is introduced for solving the two differential equations of the first order. The conclusion shows that the field-method in analytical mechanics can be fully used to find the solutions of a differential equation of the first order, thus a new method for finding the solutions of the first order is provided.

A first order phase transition from inflationary to big bang universe

International Nuclear Information System (INIS)

Horwitz, G.

1986-01-01

The microcanonical entropy is calculated for a system of massive, conformally coupled, scalar bosons using a conformal gravitational theory. The resulting entropy is seen to indicate a first order phase transition from an inflationary expansion stage (where the amplitude of the scalar boson follows that of the scale function of the universe and the mass of the solar boson is the source of the cosmological constant) to a big bang stage (where neither of these conditions hold). Such a first order phase transition involves an entropy increase of some thirty orders of magnitude. In the author's theory, the invariant temperature (proper temperature times scale function) is not zero, nor is it the Hawking temperature, but it is tens of magnitudes smaller than the corresponding temperature of the big bang stage. A specific model for these bosons that provides the phase transition and serves as the source of the cosmological constant is also examined briefly, where the bosons are identified as spontaneously generated primordial black holes as in the cosmological model of Brout, Englert and Casher. In that case, the decay of the black holes provides a decaying cosmological constant and an explicit mechanism for heating up the universe

First- and second-order contrast sensitivity functions reveal disrupted visual processing following mild traumatic brain injury.

Science.gov (United States)

Spiegel, Daniel P; Reynaud, Alexandre; Ruiz, Tatiana; Laguë-Beauvais, Maude; Hess, Robert; Farivar, Reza

2016-05-01

Vision is disrupted by traumatic brain injury (TBI), with vision-related complaints being amongst the most common in this population. Based on the neural responses of early visual cortical areas, injury to the visual cortex would be predicted to affect both 1(st) order and 2(nd) order contrast sensitivity functions (CSFs)-the height and/or the cut-off of the CSF are expected to be affected by TBI. Previous studies have reported disruptions only in 2(nd) order contrast sensitivity, but using a narrow range of parameters and divergent methodologies-no study has characterized the effect of TBI on the full CSF for both 1(st) and 2(nd) order stimuli. Such information is needed to properly understand the effect of TBI on contrast perception, which underlies all visual processing. Using a unified framework based on the quick contrast sensitivity function, we measured full CSFs for static and dynamic 1(st) and 2(nd) order stimuli. Our results provide a unique dataset showing alterations in sensitivity for both 1(st) and 2(nd) order visual stimuli. In particular, we show that TBI patients have increased sensitivity for 1(st) order motion stimuli and decreased sensitivity to orientation-defined and contrast-defined 2(nd) order stimuli. In addition, our data suggest that TBI patients' sensitivity for both 1(st) order stimuli and 2(nd) order contrast-defined stimuli is shifted towards higher spatial frequencies. Copyright © 2016 The Authors. Published by Elsevier Ltd.. All rights reserved.

Initial-value problems for first-order differential recurrence equations with auto-convolution

Directory of Open Access Journals (Sweden)

Mircea Cirnu

2011-01-01

Full Text Available A differential recurrence equation consists of a sequence of differential equations, from which must be determined by recurrence a sequence of unknown functions. In this article, we solve two initial-value problems for some new types of nonlinear (quadratic first order homogeneous differential recurrence equations, namely with discrete auto-convolution and with combinatorial auto-convolution of the unknown functions. In both problems, all initial values form a geometric progression, but in the second problem the first initial value is exempted and has a prescribed form. Some preliminary results showing the importance of the initial conditions are obtained by reducing the differential recurrence equations to algebraic type. Final results about solving the considered initial value problems, are shown by mathematical induction. However, they can also be shown by changing the unknown functions, or by the generating function method. So in a remark, we give a proof of the first theorem by the generating function method.

First order actions for gravitational systems, strings and membranes

International Nuclear Information System (INIS)

Lindstrom, U.

1988-01-01

The authors discuss first order actions in general and the construction of first order actions by eliminating Lagrange multipliers in particular. A number of first order actions for gravitational theories are presented. Part of the article reviews first order actions, some of them well-known and some lesser known. New examples of first order actions include Weyl-invariant actions for membranes, with and without rigidity terms, as well as for Abelian and non-Abelian Born-Infeld actions in two dimensions

Order-sorted Algebraic Specifications with Higher-order Functions

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth

1995-01-01

This paper gives a proposal for how order-sorted algebraic specification languages can be extended with higher-order functions. The approach taken is a generalisation to the order-sorted case of an approach given by Mller, Tarlecki and Wirsing for the many-sorted case. The main idea in the proposal...

Estimation of periodic solutions number of first-order differential equations

Science.gov (United States)

Ivanov, Gennady; Alferov, Gennady; Gorovenko, Polina; Sharlay, Artem

2018-05-01

The paper deals with first-order differential equations under the assumption that the right-hand side is a periodic function of time and continuous in the set of arguments. Pliss V.A. obtained the first results for a particular class of equations and showed that a number of theorems can not be continued. In this paper, it was possible to reduce the restrictions on the degree of smoothness of the right-hand side of the equation and obtain upper and lower bounds on the number of possible periodic solutions.

A Combined First and Second Order Variational Approach for Image Reconstruction

KAUST Repository

Papafitsoros, K.

2013-05-10

In this paper we study a variational problem in the space of functions of bounded Hessian. Our model constitutes a straightforward higher-order extension of the well known ROF functional (total variation minimisation) to which we add a non-smooth second order regulariser. It combines convex functions of the total variation and the total variation of the first derivatives. In what follows, we prove existence and uniqueness of minimisers of the combined model and present the numerical solution of the corresponding discretised problem by employing the split Bregman method. The paper is furnished with applications of our model to image denoising, deblurring as well as image inpainting. The obtained numerical results are compared with results obtained from total generalised variation (TGV), infimal convolution and Euler\\'s elastica, three other state of the art higher-order models. The numerical discussion confirms that the proposed higher-order model competes with models of its kind in avoiding the creation of undesirable artifacts and blocky-like structures in the reconstructed images-a known disadvantage of the ROF model-while being simple and efficiently numerically solvable. ©Springer Science+Business Media New York 2013.

Computer program for Bessel and Hankel functions

Science.gov (United States)

Kreider, Kevin L.; Saule, Arthur V.; Rice, Edward J.; Clark, Bruce J.

1991-01-01

A set of FORTRAN subroutines for calculating Bessel and Hankel functions is presented. The routines calculate Bessel and Hankel functions of the first and second kinds, as well as their derivatives, for wide ranges of integer order and real or complex argument in single or double precision. Depending on the order and argument, one of three evaluation methods is used: the power series definition, an Airy function expansion, or an asymptotic expansion. Routines to calculate Airy functions and their derivatives are also included.

Fuzzy Reasoning Based on First-Order Modal Logic,

NARCIS (Netherlands)

Zhang, Xiaoru; Zhang, Z.; Sui, Y.; Huang, Z.

2008-01-01

As an extension of traditional modal logics, this paper proposes a fuzzy first-order modal logic based on believable degree, and gives out a description of the fuzzy first-order modal logic based on constant domain semantics. In order to make the reasoning procedure between the fuzzy assertions

Controllability Results For First Order Impulsive Stochastic Functional Differential Systems with State-Dependent Delay

Directory of Open Access Journals (Sweden)

C. Parthasarathy

2013-03-01

Full Text Available In this paper, we study the controllability results of first order impulsive stochastic differential and neutral differential systems with state-dependent delay by using semigroup theory. The controllability results are derived by the means of Leray-SchauderAlternative fixed point theorem. An example is provided to illustrate the theory.

An Adequate First Order Logic of Intervals

DEFF Research Database (Denmark)

Chaochen, Zhou; Hansen, Michael Reichhardt

1998-01-01

This paper introduces left and right neighbourhoods as primitive interval modalities to define other unary and binary modalities of intervals in a first order logic with interval length. A complete first order logic for the neighbourhood modalities is presented. It is demonstrated how the logic can...... support formal specification and verification of liveness and fairness, and also of various notions of real analysis....

Investigating local network interactions underlying first- and second-order processing.

Science.gov (United States)

Ellemberg, Dave; Allen, Harriet A; Hess, Robert F

2004-01-01

We compared the spatial lateral interactions for first-order cues to those for second-order cues, and investigated spatial interactions between these two types of cues. We measured the apparent modulation depth of a target Gabor at fixation, in the presence and the absence of horizontally flanking Gabors. The Gabors' gratings were either added to (first-order) or multiplied with (second-order) binary 2-D noise. Apparent "contrast" or modulation depth (i.e., the perceived difference between the high and low luminance regions for the first-order stimulus, or between the high and low contrast regions for the second-order stimulus) was measured with a modulation depth-matching paradigm. For each observer, the first- and second-order Gabors were equated for apparent modulation depth without the flankers. Our results indicate that at the smallest inter-element spacing, the perceived reduction in modulation depth is significantly smaller for the second-order than for the first-order stimuli. Further, lateral interactions operate over shorter distances and the spatial frequency and orientation tuning of the suppression effect are broader for second- than first-order stimuli. Finally, first- and second-order information interact in an asymmetrical fashion; second-order flankers do not reduce the apparent modulation depth of the first-order target, whilst first-order flankers reduce the apparent modulation depth of the second-order target.

Protein domain recurrence and order can enhance prediction of protein functions

KAUST Repository

Abdel Messih, Mario A.

2012-09-07

Motivation: Burgeoning sequencing technologies have generated massive amounts of genomic and proteomic data. Annotating the functions of proteins identified in this data has become a big and crucial problem. Various computational methods have been developed to infer the protein functions based on either the sequences or domains of proteins. The existing methods, however, ignore the recurrence and the order of the protein domains in this function inference. Results: We developed two new methods to infer protein functions based on protein domain recurrence and domain order. Our first method, DRDO, calculates the posterior probability of the Gene Ontology terms based on domain recurrence and domain order information, whereas our second method, DRDO-NB, relies on the nave Bayes methodology using the same domain architecture information. Our large-scale benchmark comparisons show strong improvements in the accuracy of the protein function inference achieved by our new methods, demonstrating that domain recurrence and order can provide important information for inference of protein functions. The Author(s) 2012. Published by Oxford University Press.

Functional Python programming

CERN Document Server

Lott, Steven

2015-01-01

This book is for developers who want to use Python to write programs that lean heavily on functional programming design patterns. You should be comfortable with Python programming, but no knowledge of functional programming paradigms is needed.

New evolution equations for the joint response-excitation probability density function of stochastic solutions to first-order nonlinear PDEs

Science.gov (United States)

Venturi, D.; Karniadakis, G. E.

2012-08-01

By using functional integral methods we determine new evolution equations satisfied by the joint response-excitation probability density function (PDF) associated with the stochastic solution to first-order nonlinear partial differential equations (PDEs). The theory is presented for both fully nonlinear and for quasilinear scalar PDEs subject to random boundary conditions, random initial conditions or random forcing terms. Particular applications are discussed for the classical linear and nonlinear advection equations and for the advection-reaction equation. By using a Fourier-Galerkin spectral method we obtain numerical solutions of the proposed response-excitation PDF equations. These numerical solutions are compared against those obtained by using more conventional statistical approaches such as probabilistic collocation and multi-element probabilistic collocation methods. It is found that the response-excitation approach yields accurate predictions of the statistical properties of the system. In addition, it allows to directly ascertain the tails of probabilistic distributions, thus facilitating the assessment of rare events and associated risks. The computational cost of the response-excitation method is order magnitudes smaller than the one of more conventional statistical approaches if the PDE is subject to high-dimensional random boundary or initial conditions. The question of high-dimensionality for evolution equations involving multidimensional joint response-excitation PDFs is also addressed.

First-principles study of atomic ordering in bcc Cu-Al

Science.gov (United States)

Lanzini, F.; Gargano, P. H.; Alonso, P. R.; Rubiolo, G. H.

2011-01-01

The order-disorder transitions and phase stability in the body centered cubic structure of Cu-Al binary alloys are studied by means of theoretical methods. The total energy of different ordered compounds sharing a common bcc Bravais lattice was calculated within the framework of density functional theory. A set of effective cluster interactions was calculated through a cluster expansion (CE) of the total energies. The finite temperature phase diagram of bcc Cu-Al was obtained using the CE formalism coupled with the cluster variation method calculation of the configurational entropy. These results are confronted with a simpler semi-empirical approach based on effective pair interactions obtained from experiment. Both approaches predict a single first-order A2/DO3 transition for compositions close to Cu3Al, in agreement with the most recent experimental results.

First-order partial differential equations

CERN Document Server

Rhee, Hyun-Ku; Amundson, Neal R

2001-01-01

This first volume of a highly regarded two-volume text is fully usable on its own. After going over some of the preliminaries, the authors discuss mathematical models that yield first-order partial differential equations; motivations, classifications, and some methods of solution; linear and semilinear equations; chromatographic equations with finite rate expressions; homogeneous and nonhomogeneous quasilinear equations; formation and propagation of shocks; conservation equations, weak solutions, and shock layers; nonlinear equations; and variational problems. Exercises appear at the end of mo

Ordering schemes for sparse matrices using modern programming paradigms

International Nuclear Information System (INIS)

Oliker, Leonid; Li, Xiaoye; Husbands, Parry; Biswas, Rupak

2000-01-01

The Conjugate Gradient (CG) algorithm is perhaps the best-known iterative technique to solve sparse linear systems that are symmetric and positive definite. In previous work, we investigated the effects of various ordering and partitioning strategies on the performance of CG using different programming paradigms and architectures. This paper makes several extensions to our prior research. First, we present a hybrid(MPI+OpenMP) implementation of the CG algorithm on the IBM SP and show that the hybrid paradigm increases programming complexity with little performance gains compared to a pure MPI implementation. For ill-conditioned linear systems, it is often necessary to use a preconditioning technique. We present MPI results for ILU(0) preconditioned CG (PCG) using the BlockSolve95 library, and show that the initial ordering of the input matrix dramatically affect PCG's performance. Finally, a multithreaded version of the PCG is developed on the Cray (Tera) MTA. Unlike the message-passing version, this implementation did not require the complexities of special orderings or graph dependency analysis. However, only limited scalability was achieved due to the lack of available thread level parallelism

On the propagation and the twist of Gaussian light in first-order optical systems

NARCIS (Netherlands)

Bastiaans, M.J.; Nijhawan, O.P.; Gupta, A.K.; Musla, A.K.; Singh, Kehar

1998-01-01

A measure for the twist of Gaussian light is expressed in terms of the second-order moments of the Wigner distribution function. The propagation law for these moments through first-order optical systems is used to express the twist in the output plane in terms of moments in the input plane, and vice

Identification of fractional order systems using modulating functions method

KAUST Repository

Liu, Dayan

2013-06-01

The modulating functions method has been used for the identification of linear and nonlinear systems. In this paper, we generalize this method to the on-line identification of fractional order systems based on the Riemann-Liouville fractional derivatives. First, a new fractional integration by parts formula involving the fractional derivative of a modulating function is given. Then, we apply this formula to a fractional order system, for which the fractional derivatives of the input and the output can be transferred into the ones of the modulating functions. By choosing a set of modulating functions, a linear system of algebraic equations is obtained. Hence, the unknown parameters of a fractional order system can be estimated by solving a linear system. Using this method, we do not need any initial values which are usually unknown and not equal to zero. Also we do not need to estimate the fractional derivatives of noisy output. Moreover, it is shown that the proposed estimators are robust against high frequency sinusoidal noises and the ones due to a class of stochastic processes. Finally, the efficiency and the stability of the proposed method is confirmed by some numerical simulations.

First and higher order, heuristically based generalized perturbation theory (HGPT) with optional control reset variable

International Nuclear Information System (INIS)

Gandini, A.

1996-01-01

The heuristically based generalized perturbation theory (HGPT), to first and higher order, applied to the neutron field of a reactor system, is discussed in relation to the criticality reset procedure. This procedure is implicit within the GPT methodology, corresponding to the so called filtering of the importance function relevant to the neutron field from the fundamental mode contamination. It is common practice to use the so called ''lambda''-mode filter. In order to account for any possible reset option, a general definition is introduced of an intensive control variable (ρ) entering into the governing equations, and correspondingly a fundamental ρ-mode filtering of the importance function is defined, relevant to the real criticality reset (control) mechanism adopted. A simple example illustrates the need to take into account the correct filtering, so as to avoid significant inaccuracies in the sensitivity calculation results. The extension of this filtering technique to other functions entering into the GPT perturbative formulations at first and higher order is also discussed. (author)

Functional Programming in R

DEFF Research Database (Denmark)

Mailund, Thomas

Master functions and discover how to write functional programs in R. In this book, you'll make your functions pure by avoiding side-effects; you’ll write functions that manipulate other functions, and you’ll construct complex functions using simpler functions as building blocks. In Functional...... Programming in R, you’ll see how we can replace loops, which can have side-effects, with recursive functions that can more easily avoid them. In addition, the book covers why you shouldn't use recursion when loops are more efficient and how you can get the best of both worlds. Functional programming...... is a style of programming, like object-oriented programming, but one that focuses on data transformations and calculations rather than objects and state. Where in object-oriented programming you model your programs by describing which states an object can be in and how methods will reveal or modify...

Functional Programming in R

DEFF Research Database (Denmark)

Mailund, Thomas

2017-01-01

Master functions and discover how to write functional programs in R. In this book, you'll make your functions pure by avoiding side-effects; you’ll write functions that manipulate other functions, and you’ll construct complex functions using simpler functions as building blocks. In Functional...... Programming in R, you’ll see how we can replace loops, which can have side-effects, with recursive functions that can more easily avoid them. In addition, the book covers why you shouldn't use recursion when loops are more efficient and how you can get the best of both worlds. Functional programming...... is a style of programming, like object-oriented programming, but one that focuses on data transformations and calculations rather than objects and state. Where in object-oriented programming you model your programs by describing which states an object can be in and how methods will reveal or modify...

Buckling analysis of laminated plates using the extended Kantorovich method and a system of first-order differential equations

Energy Technology Data Exchange (ETDEWEB)

Singhatanadgid, Pairod; Jommalai, Panupan [Chulalongkorn University, Bangkok (Thailand)

2016-05-15

The extended Kantorovich method using multi-term displacement functions is applied to the buckling problem of laminated plates with various boundary conditions. The out-of-plane displacement of the buckled plate is written as a series of products of functions of parameter x and functions of parameter y. With known functions in parameter x or parameter y, a set of governing equations and a set of boundary conditions are obtained after applying the variational principle to the total potential energy of the system. The higher order differential equations are then transformed into a set of first-order differential equations and solved for the buckling load and mode. Since the governing equations are first-order differential equations, solutions can be obtained analytically with the out-of-plane displacement written in the form of an exponential function. The solutions from the proposed technique are verified with solutions from the literature and FEM solutions. The bucking loads correspond very well to other available solutions in most of the comparisons. The buckling modes also compare very well with the finite element solutions. The proposed solution technique transforms higher-order differential equations to first-order differential equations, and they are analytically solved for out-of-plane displacement in the form of an exponential function. Therefore, the proposed solution technique yields a solution which can be considered as an analytical solution.

First and second order vortex dynamics

International Nuclear Information System (INIS)

Kim, Yoonbai; Lee, Kimyeong

2002-01-01

The low energy dynamics of vortices in self-dual Abelian Higgs theory in (2+1)-dimensional spacetime is of second order in vortex velocity and characterized by the moduli space metric. When the Chern-Simons term with a small coefficient is added to the theory, we show that a term linear in vortex velocity appears and can be consistently added to the second order expression. We provide an additional check of the first and second order terms by studying the angular momentum in field theory

Identification of fractional-order systems with time delays using block pulse functions

Science.gov (United States)

Tang, Yinggan; Li, Ning; Liu, Minmin; Lu, Yao; Wang, Weiwei

2017-07-01

In this paper, a novel method based on block pulse functions is proposed to identify continuous-time fractional-order systems with time delays. First, the operational matrices of block pulse functions for fractional integral operator and time delay operator are derived. Then, these operational matrices are applied to convert the continuous-time fractional-order systems with time delays to an algebraic equation. Finally, the system's parameters along with the differentiation orders and the time delays are all simultaneously estimated through minimizing a quadric error function. The proposed method reduces the computation complexity of the identification process, and also it does not require the system's differentiation orders to be commensurate. The effectiveness of the proposed method are demonstrated by several numerical examples.

First order phase transition of expanding matter and its fragmentation

International Nuclear Information System (INIS)

Chikazumi, Shinpei; Iwamoto, Akira

2002-01-01

Using an expanding matter model with a Lennard-Jones potential, the instability of the expanding system is investigated. The pressure, the temperature, and the density fluctuations are calculated as functions of density during the time evolution of the expanding matter, which are compared to the coexistence curve calculated by the Gibbs ensemble. The expanding matter undergoes the first order phase transition in the limit of the quasistatic expansion. The resultant fragment mass distributions are also investigated. (author)

Geometry of Lagrangian first-order classical field theories

International Nuclear Information System (INIS)

Echeverria-Enriquez, A.; Munoz-Lecanda, M.C.; Roman-Roy, N.

1996-01-01

We construct a lagrangian geometric formulation for first-order field theories using the canonical structures of first-order jet bundles, which are taken as the phase spaces of the systems in consideration. First of all, we construct all the geometric structures associated with a first-order jet bundle and, using them, we develop the lagrangian formalism, defining the canonical forms associated with a lagrangian density and the density of lagrangian energy, obtaining the Euler-Lagrange equations in two equivalent ways: as the result of a variational problem and developing the jet field formalism (which is a formulation more similar to the case of mechanical systems). A statement and proof of Noether's theorem is also given, using the latter formalism. Finally, some classical examples are briefly studied. (orig.)

Robust fractional order differentiators using generalized modulating functions method

KAUST Repository

Liu, Dayan

2015-02-01

This paper aims at designing a fractional order differentiator for a class of signals satisfying a linear differential equation with unknown parameters. A generalized modulating functions method is proposed first to estimate the unknown parameters, then to derive accurate integral formulae for the left-sided Riemann-Liouville fractional derivatives of the studied signal. Unlike the improper integral in the definition of the left-sided Riemann-Liouville fractional derivative, the integrals in the proposed formulae can be proper and be considered as a low-pass filter by choosing appropriate modulating functions. Hence, digital fractional order differentiators applicable for on-line applications are deduced using a numerical integration method in discrete noisy case. Moreover, some error analysis are given for noise error contributions due to a class of stochastic processes. Finally, numerical examples are given to show the accuracy and robustness of the proposed fractional order differentiators.

Robust fractional order differentiators using generalized modulating functions method

KAUST Repository

Liu, Dayan; Laleg-Kirati, Taous-Meriem

2015-01-01

This paper aims at designing a fractional order differentiator for a class of signals satisfying a linear differential equation with unknown parameters. A generalized modulating functions method is proposed first to estimate the unknown parameters, then to derive accurate integral formulae for the left-sided Riemann-Liouville fractional derivatives of the studied signal. Unlike the improper integral in the definition of the left-sided Riemann-Liouville fractional derivative, the integrals in the proposed formulae can be proper and be considered as a low-pass filter by choosing appropriate modulating functions. Hence, digital fractional order differentiators applicable for on-line applications are deduced using a numerical integration method in discrete noisy case. Moreover, some error analysis are given for noise error contributions due to a class of stochastic processes. Finally, numerical examples are given to show the accuracy and robustness of the proposed fractional order differentiators.

First- and second-order charged particle optics

International Nuclear Information System (INIS)

Brown, K.L.; Servranckx, R.V.

1984-07-01

Since the invention of the alternating gradient principle there has been a rapid evolution of the mathematics and physics techniques applicable to charged particle optics. In this publication we derive a differential equation and a matrix algebra formalism valid to second-order to present the basic principles governing the design of charged particle beam transport systems. A notation first introduced by John Streib is used to convey the essential principles dictating the design of such beam transport systems. For example the momentum dispersion, the momentum resolution, and all second-order aberrations are expressed as simple integrals of the first-order trajectories (matrix elements) and of the magnetic field parameters (multipole components) characterizing the system. 16 references, 30 figures

A MATLAB-based graphical user interface program for computing functionals of the geopotential up to ultra-high degrees and orders

Science.gov (United States)

Bucha, Blažej; Janák, Juraj

2013-07-01

We present a novel graphical user interface program GrafLab (GRAvity Field LABoratory) for spherical harmonic synthesis (SHS) created in MATLAB®. This program allows to comfortably compute 38 various functionals of the geopotential up to ultra-high degrees and orders of spherical harmonic expansion. For the most difficult part of the SHS, namely the evaluation of the fully normalized associated Legendre functions (fnALFs), we used three different approaches according to required maximum degree: (i) the standard forward column method (up to maximum degree 1800, in some cases up to degree 2190); (ii) the modified forward column method combined with Horner's scheme (up to maximum degree 2700); (iii) the extended-range arithmetic (up to an arbitrary maximum degree). For the maximum degree 2190, the SHS with fnALFs evaluated using the extended-range arithmetic approach takes only approximately 2-3 times longer than its standard arithmetic counterpart, i.e. the standard forward column method. In the GrafLab, the functionals of the geopotential can be evaluated on a regular grid or point-wise, while the input coordinates can either be read from a data file or entered manually. For the computation on a regular grid we decided to apply the lumped coefficients approach due to significant time-efficiency of this method. Furthermore, if a full variance-covariances matrix of spherical harmonic coefficients is available, it is possible to compute the commission errors of the functionals. When computing on a regular grid, the output functionals or their commission errors may be depicted on a map using automatically selected cartographic projection.

A posteriori model validation for the temporal order of directed functional connectivity maps.

Science.gov (United States)

Beltz, Adriene M; Molenaar, Peter C M

2015-01-01

A posteriori model validation for the temporal order of neural directed functional connectivity maps is rare. This is striking because models that require sequential independence among residuals are regularly implemented. The aim of the current study was (a) to apply to directed functional connectivity maps of functional magnetic resonance imaging data an a posteriori model validation procedure (i.e., white noise tests of one-step-ahead prediction errors combined with decision criteria for revising the maps based upon Lagrange Multiplier tests), and (b) to demonstrate how the procedure applies to single-subject simulated, single-subject task-related, and multi-subject resting state data. Directed functional connectivity was determined by the unified structural equation model family of approaches in order to map contemporaneous and first order lagged connections among brain regions at the group- and individual-levels while incorporating external input, then white noise tests were run. Findings revealed that the validation procedure successfully detected unmodeled sequential dependencies among residuals and recovered higher order (greater than one) simulated connections, and that the procedure can accommodate task-related input. Findings also revealed that lags greater than one were present in resting state data: With a group-level network that contained only contemporaneous and first order connections, 44% of subjects required second order, individual-level connections in order to obtain maps with white noise residuals. Results have broad methodological relevance (e.g., temporal validation is necessary after directed functional connectivity analyses because the presence of unmodeled higher order sequential dependencies may bias parameter estimates) and substantive implications (e.g., higher order lags may be common in resting state data).

A posteriori model validation for the temporal order of directed functional connectivity maps

Directory of Open Access Journals (Sweden)

Adriene M. Beltz

2015-08-01

Full Text Available A posteriori model validation for the temporal order of neural directed functional connectivity maps is rare. This is striking because models that require sequential independence among residuals are regularly implemented. The aim of the current study was (a to apply to directed functional connectivity maps of functional magnetic resonance imaging data an a posteriori model validation procedure (i.e., white noise tests of one-step-ahead prediction errors combined with decision criteria for revising the maps based upon Lagrange Multiplier tests, and (b to demonstrate how the procedure applies to single-subject simulated, single-subject task-related, and multi-subject resting state data. Directed functional connectivity was determined by the unified structural equation model family of approaches in order to map contemporaneous and first order lagged connections among brain regions at the group- and individual-levels while incorporating external input, then white noise tests were run. Findings revealed that the validation procedure successfully detected unmodeled sequential dependencies among residuals and recovered higher order (greater than one simulated connections, and that the procedure can accommodate task-related input. Findings also revealed that lags greater than one were present in resting state data: With a group-level network that contained only contemporaneous and first order connections, 44% of subjects required second order, individual-level connections in order to obtain maps with white noise residuals. Results have broad methodological relevance (e.g., temporal validation is necessary after directed functional connectivity analyses because the presence of unmodeled higher order sequential dependencies may bias parameter estimates and substantive implications (e.g., higher order lags may be common in resting state data.

Geometry of Lagrangian first-order classical field theories

Energy Technology Data Exchange (ETDEWEB)

Echeverria-Enriquez, A. [Univ. Politecnica de Cataluna, Barcelona (Spain). Departamento de Matematica Aplicada y Telematica; Munoz-Lecanda, M.C. [Univ. Politecnica de Cataluna, Barcelona (Spain). Departamento de Matematica Aplicada y Telematica; Roman-Roy, N. [Univ. Politecnica de Cataluna, Barcelona (Spain). Departamento de Matematica Aplicada y Telematica

1996-10-01

We construct a lagrangian geometric formulation for first-order field theories using the canonical structures of first-order jet bundles, which are taken as the phase spaces of the systems in consideration. First of all, we construct all the geometric structures associated with a first-order jet bundle and, using them, we develop the lagrangian formalism, defining the canonical forms associated with a lagrangian density and the density of lagrangian energy, obtaining the Euler-Lagrange equations in two equivalent ways: as the result of a variational problem and developing the jet field formalism (which is a formulation more similar to the case of mechanical systems). A statement and proof of Noether`s theorem is also given, using the latter formalism. Finally, some classical examples are briefly studied. (orig.)

Two-body perturbation theory versus first order perturbation theory: A comparison based on the square-well fluid.

Science.gov (United States)

Mercier Franco, Luís Fernando; Castier, Marcelo; Economou, Ioannis G

2017-12-07

We show that the Zwanzig first-order perturbation theory can be obtained directly from a truncated Taylor series expansion of a two-body perturbation theory and that such truncation provides a more accurate prediction of thermodynamic properties than the full two-body perturbation theory. This unexpected result is explained by the quality of the resulting approximation for the fluid radial distribution function. We prove that the first-order and the two-body perturbation theories are based on different approximations for the fluid radial distribution function. To illustrate the calculations, the square-well fluid is adopted. We develop an analytical expression for the two-body perturbed Helmholtz free energy for the square-well fluid. The equation of state obtained using such an expression is compared to the equation of state obtained from the first-order approximation. The vapor-liquid coexistence curve and the supercritical compressibility factor of a square-well fluid are calculated using both equations of state and compared to Monte Carlo simulation data. Finally, we show that the approximation for the fluid radial distribution function given by the first-order perturbation theory provides closer values to the ones calculated via Monte Carlo simulations. This explains why such theory gives a better description of the fluid thermodynamic behavior.

Next-to-next-to-leading order evolution of non-singlet fragmentation functions

International Nuclear Information System (INIS)

Mitov, A.; Moch, S.; Vogt, A.

2006-04-01

We have investigated the next-to-next-to-leading order (NNLO) corrections to inclusive hadron production in e + e - annihilation and the related parton fragmentation distributions, the 'time-like' counterparts of the 'space-like' deep-inelastic structure functions and parton densities. We have re-derived the corresponding second-order coefficient functions in massless perturbative QCD, which so far had been calculated only by one group. Moreover we present, for the first time, the third-order splitting functions governing the NNLO evolution of flavour non-singlet fragmentation distributions. These results have been obtained by two independent methods relating time-like quantities to calculations performed in deep-inelastic scattering. We briefly illustrate the numerical size of the NNLO corrections, and make a prediction for the difference of the yet unknown time-like and space-like splitting functions at the fourth order in the strong coupling constant. (Orig.)

First order mean field games - explicit solutions, perturbations and connection with classical mechanics

KAUST Repository

Gomes, Diogo A.

2016-01-06

We present recent developments in the theory of first-order mean-field games (MFGs). A standard assumption in MFGs is that the cost function of the agents is monotone in the density of the distribution. This assumption leads to a comprehensive existence theory and to the uniqueness of smooth solutions. Here, our goals are to understand the role of local monotonicity in the small perturbation regime and the properties of solutions for problems without monotonicity. Under a local monotonicity assumption, we show that small perturbations of MFGs have unique smooth solutions. In addition, we explore the connection between first-order MFGs and classical mechanics and KAM theory. Next, for non-monotone problems, we construct non-unique explicit solutions for a broad class of first-order mean-field games. We provide an alternative formulation of MFGs in terms of a new current variable. These examples illustrate two new phenomena: the non-uniqueness of solutions and the breakdown of regularity.

First order mean field games - explicit solutions, perturbations and connection with classical mechanics

KAUST Repository

Gomes, Diogo A.; Nurbekyan, Levon; Prazeres, Mariana

2016-01-01

We present recent developments in the theory of first-order mean-field games (MFGs). A standard assumption in MFGs is that the cost function of the agents is monotone in the density of the distribution. This assumption leads to a comprehensive existence theory and to the uniqueness of smooth solutions. Here, our goals are to understand the role of local monotonicity in the small perturbation regime and the properties of solutions for problems without monotonicity. Under a local monotonicity assumption, we show that small perturbations of MFGs have unique smooth solutions. In addition, we explore the connection between first-order MFGs and classical mechanics and KAM theory. Next, for non-monotone problems, we construct non-unique explicit solutions for a broad class of first-order mean-field games. We provide an alternative formulation of MFGs in terms of a new current variable. These examples illustrate two new phenomena: the non-uniqueness of solutions and the breakdown of regularity.

First-order dynamical phase transition in models of glasses: an approach based on ensembles of histories

International Nuclear Information System (INIS)

Garrahan, Juan P; Jack, Robert L; Lecomte, Vivien; Duijvendijk, Kristina van; Wijland, Frederic van; Pitard, Estelle

2009-01-01

We investigate the dynamics of kinetically constrained models of glass formers by analysing the statistics of trajectories of the dynamics, or histories, using large deviation function methods. We show that, in general, these models exhibit a first-order dynamical transition between active and inactive dynamical phases. We argue that the dynamical heterogeneities displayed by these systems are a manifestation of dynamical first-order phase coexistence. In particular, we calculate dynamical large deviation functions, both analytically and numerically, for the Fredrickson-Andersen model, the East model, and constrained lattice gas models. We also show how large deviation functions can be obtained from a Landau-like theory for dynamical fluctuations. We discuss possibilities for similar dynamical phase-coexistence behaviour in other systems with heterogeneous dynamics

Reduction of static field equation of Faddeev model to first order PDE

International Nuclear Information System (INIS)

Hirayama, Minoru; Shi Changguang

2007-01-01

A method to solve the static field equation of the Faddeev model is presented. For a special combination of the concerned field, we adopt a form which is compatible with the field equation and involves two arbitrary complex functions. As a result, the static field equation is reduced to a set of first order partial differential equations

Derivations of the solid angle subtended at a point by first- and second-order surfaces and volumes as a function of elliptic integrals

International Nuclear Information System (INIS)

Cramer, S.N.

1999-01-01

An analytical study of the solid angle subtended at a point by objects of first and second algebraic order has been made. It is shown that the derived solid angle for all such objects is in the form of a general elliptic integral, which can be written as a linear combination of elliptic integrals of the first and third kind and elementary functions. Many common surfaces and volumes have been investigated, including the conic sections and their volumes of revolution. The principal feature of the study is the manipulation of solid-angle equations into integral forms that can be matched with those found in handbook tables. These integrals are amenable to computer special function library routine analysis requiring no direct interaction with elliptic integrals by the user. The general case requires the solution of a fourth-order equation before specific solid-angle formulations can be made, but for many common geometric objects this equation can be solved by elementary means. Methods for the testing and application of solid-angle equations with Monte Carlo rejection and estimation techniques are presented. Approximate and degenerate forms of the equations are shown, and methods for the evaluation of the solid angle of a torus are outlined

On higher-order flavour-singlet splitting and coefficient functions at large x

International Nuclear Information System (INIS)

Vogt, A.; Soar, G.; Vermaseren, J.A.M.

2010-08-01

We discuss the large-x behaviour of the splitting functions P qg and P gq and of flavour-singlet coefficient functions, such as the gluon contributions C 2,g and C L,g to the structure functions F 2,L , in massless perturbative QCD. These quantities are suppressed by one or two powers of (1-x) with respect to the (1-x) -1 terms which are the subject of the well-known threshold exponentiation. We show that the double-logarithmic contributions to P qg , P gq and C L at order α s 4 can be predicted from known third-order results and present, as a first step towards a full all-order generalization, the leading-logarithmic large-x behaviour of P qg , P gq and C 2,g at all orders in α s . (orig.)

Spatially resolved modelling of inhomogeneous materials with a first order magnetic phase transition

DEFF Research Database (Denmark)

Nielsen, Kaspar Kirstein; Bahl, Christian; Smith, Anders

2017-01-01

, respectively and first order reversal effect as a function of temperature. We conclude that even a very little variation in local stoichiometry of less than a percent, corresponding to a standard deviation in of for has a significant impact on the overall properties and history dependence of a sample....

Quantum criticality and first-order transitions in the extended periodic Anderson model

Science.gov (United States)

Hagymási, I.; Itai, K.; Sólyom, J.

2013-03-01

We investigate the behavior of the periodic Anderson model in the presence of d-f Coulomb interaction (Udf) using mean-field theory, variational calculation, and exact diagonalization of finite chains. The variational approach based on the Gutzwiller trial wave function gives a critical value of Udf and two quantum critical points (QCPs), where the valence susceptibility diverges. We derive the critical exponent for the valence susceptibility and investigate how the position of the QCP depends on the other parameters of the Hamiltonian. For larger values of Udf, the Kondo regime is bounded by two first-order transitions. These first-order transitions merge into a triple point at a certain value of Udf. For even larger Udf valence skipping occurs. Although the other methods do not give a critical point, they support this scenario.

First experience of programming a court decision

Directory of Open Access Journals (Sweden)

Sergey B. Polyakov

2017-06-01

Full Text Available Objective Consideration of the computer program model for making a lawful and wellgrounded judicial act in order to reduce the times for making the court decision. Methods universal dialecticmaterialistic method which removes the contradictions of the professional training of judges and procedural controls the formal legal method for transferring the requirements of the law and jurisprudence for the lawenforcement activity into programs for judges and case participants the objectoriented modeling objectoriented programming methodology. Results a computer program was created that allows to adjudicate in a civil case if the claim is recognized by the defendant. The program does not resolve the judge from the decisionmaking process but creates conditions to move along the stages of lawenforcement procedure and legal reasoning in accordance with the requirements of the law and of legal science. Therefore filling forms manually in the trial should be simultaneous with writing the decision judgment sentence assessment. The program includes the following sections preparation of forms common to certain types of proceedings certain categories of cases courts in the above forms determination of the order to establish the actual circumstances the burden of proof distribution types of evidence methods of law interpretation characteristics of collisions and gaps in legislation and ways to overcome them the standard wording in the judicial act templates and in the forms mandatory and optional information in the form. Based on the above the article concludes that by analogy with the presented program it is possible to create software for making a lawful wellgrounded and fair judicial act for other categories of cases and as a consequence to reduce the period of making judicial decisions. Scientific novelty the first computer program is created for rendering and production of judicial decisions. Practical significance the model is made to create a mass tool of

A general first-order global sensitivity analysis method

International Nuclear Information System (INIS)

Xu Chonggang; Gertner, George Zdzislaw

2008-01-01

Fourier amplitude sensitivity test (FAST) is one of the most popular global sensitivity analysis techniques. The main mechanism of FAST is to assign each parameter with a characteristic frequency through a search function. Then, for a specific parameter, the variance contribution can be singled out of the model output by the characteristic frequency. Although FAST has been widely applied, there are two limitations: (1) the aliasing effect among parameters by using integer characteristic frequencies and (2) the suitability for only models with independent parameters. In this paper, we synthesize the improvement to overcome the aliasing effect limitation [Tarantola S, Gatelli D, Mara TA. Random balance designs for the estimation of first order global sensitivity indices. Reliab Eng Syst Safety 2006; 91(6):717-27] and the improvement to overcome the independence limitation [Xu C, Gertner G. Extending a global sensitivity analysis technique to models with correlated parameters. Comput Stat Data Anal 2007, accepted for publication]. In this way, FAST can be a general first-order global sensitivity analysis method for linear/nonlinear models with as many correlated/uncorrelated parameters as the user specifies. We apply the general FAST to four test cases with correlated parameters. The results show that the sensitivity indices derived by the general FAST are in good agreement with the sensitivity indices derived by the correlation ratio method, which is a non-parametric method for models with correlated parameters

Feature Scaling via Second-Order Cone Programming

Directory of Open Access Journals (Sweden)

Zhizheng Liang

2016-01-01

Full Text Available Feature scaling has attracted considerable attention during the past several decades because of its important role in feature selection. In this paper, a novel algorithm for learning scaling factors of features is proposed. It first assigns a nonnegative scaling factor to each feature of data and then adopts a generalized performance measure to learn the optimal scaling factors. It is of interest to note that the proposed model can be transformed into a convex optimization problem: second-order cone programming (SOCP. Thus the scaling factors of features in our method are globally optimal in some sense. Several experiments on simulated data, UCI data sets, and the gene data set are conducted to demonstrate that the proposed method is more effective than previous methods.

Constructive Solution of Ellipticity Problem for the First Order Differential System

Directory of Open Access Journals (Sweden)

Vladimir E. Balabaev

2017-01-01

Full Text Available We built first order elliptic systems with any possible number of unknown functions and the maximum possible number of unknowns, i.e, in general. These systems provide the basis for studying the properties of any first order elliptic systems. The study of the Cauchy-Riemann system and its generalizations led to the identification of a class of elliptic systems of first-order of a special structure. An integral representation of solutions is of great importance in the study of these systems. Only by means of a constructive method of integral representations we can solve a number of problems in the theory of elliptic systems related mainly to the boundary properties of solutions. The obtained integral representation could be applied to solve a number of problems that are hard to solve, if you rely only on the non-constructive methods. Some analogues of the theorems of Liouville, Weierstrass, Cauchy, Gauss, Morera, an analogue of Green’s formula are established, as well as an analogue of the maximum principle. The used matrix operators allow the new structural arrangement of the maximum number of linearly independent vector fields on spheres of any possible dimension. Also the built operators allow to obtain a constructive solution of the extended problem ”of the sum of squares” known in algebra. 

Entanglement scaling at first order quantum phase transitions

Science.gov (United States)

Yuste, A.; Cartwright, C.; De Chiara, G.; Sanpera, A.

2018-04-01

First order quantum phase transitions (1QPTs) are signalled, in the thermodynamic limit, by discontinuous changes in the ground state properties. These discontinuities affect expectation values of observables, including spatial correlations. When a 1QPT is crossed in the vicinity of a second order one, due to the correlation length divergence of the latter, the corresponding ground state is modified and it becomes increasingly difficult to determine the order of the transition when the size of the system is finite. Here we show that, in such situations, it is possible to apply finite size scaling (FSS) to entanglement measures, as it has recently been done for the order parameters and the energy gap, in order to recover the correct thermodynamic limit (Campostrini et al 2014 Phys. Rev. Lett. 113 070402). Such a FSS can unambiguously discriminate between first and second order phase transitions in the vicinity of multicritical points even when the singularities displayed by entanglement measures lead to controversial results.

Declarative Parallel Programming in Spreadsheet End-User Development

DEFF Research Database (Denmark)

Biermann, Florian

2016-01-01

Spreadsheets are first-order functional languages and are widely used in research and industry as a tool to conveniently perform all kinds of computations. Because cells on a spreadsheet are immutable, there are possibilities for implicit parallelization of spreadsheet computations. In this liter...... can directly apply results from functional array programming to a spreadsheet model of computations.......Spreadsheets are first-order functional languages and are widely used in research and industry as a tool to conveniently perform all kinds of computations. Because cells on a spreadsheet are immutable, there are possibilities for implicit parallelization of spreadsheet computations....... In this literature study, we provide an overview of the publications on spreadsheet end-user programming and declarative array programming to inform further research on parallel programming in spreadsheets. Our results show that there is a clear overlap between spreadsheet programming and array programming and we...

Path integral measure for first-order and metric gravities

International Nuclear Information System (INIS)

Aros, Rodrigo; Contreras, Mauricio; Zanelli, Jorge

2003-01-01

The equivalence between the path integrals for first-order gravity and the standard torsion-free, metric gravity in 3 + 1 dimensions is analysed. Starting with the path integral for first-order gravity, the correct measure for the path integral of the metric theory is obtained

Scaling behavior in first-order quark-hadron phase transition

International Nuclear Information System (INIS)

Hwa, R.C.

1994-01-01

It is shown that in the Ginzburg-Landau description of first-order quark-hadron phase transition the normalized factorial moments exhibit scaling behavior. The scaling exponent ν depends on only one effective parameter g, which characterizes the strength of the transition. For a strong first-order transition, we find ν=1.45. For weak transition it is 1.30 in agreement with the earlier result on second-order transition

First-Order Interfacial Transformations with a Critical Point: Breaking the Symmetry at a Symmetric Tilt Grain Boundary

Science.gov (United States)

Yang, Shengfeng; Zhou, Naixie; Zheng, Hui; Ong, Shyue Ping; Luo, Jian

2018-02-01

First-order interfacial phaselike transformations that break the mirror symmetry of the symmetric ∑5 (210 ) tilt grain boundary (GB) are discovered by combining a modified genetic algorithm with hybrid Monte Carlo and molecular dynamics simulations. Density functional theory calculations confirm this prediction. This first-order coupled structural and adsorption transformation, which produces two variants of asymmetric bilayers, vanishes at an interfacial critical point. A GB complexion (phase) diagram is constructed via semigrand canonical ensemble atomistic simulations for the first time.

Purely Functional Structured Programming

OpenAIRE

Obua, Steven

2010-01-01

The idea of functional programming has played a big role in shaping today's landscape of mainstream programming languages. Another concept that dominates the current programming style is Dijkstra's structured programming. Both concepts have been successfully married, for example in the programming language Scala. This paper proposes how the same can be achieved for structured programming and PURELY functional programming via the notion of LINEAR SCOPE. One advantage of this proposal is that m...

Solving the Fully Fuzzy Bilevel Linear Programming Problem through Deviation Degree Measures and a Ranking Function Method

Directory of Open Access Journals (Sweden)

Aihong Ren

2016-01-01

Full Text Available This paper is concerned with a class of fully fuzzy bilevel linear programming problems where all the coefficients and decision variables of both objective functions and the constraints are fuzzy numbers. A new approach based on deviation degree measures and a ranking function method is proposed to solve these problems. We first introduce concepts of the feasible region and the fuzzy optimal solution of a fully fuzzy bilevel linear programming problem. In order to obtain a fuzzy optimal solution of the problem, we apply deviation degree measures to deal with the fuzzy constraints and use a ranking function method of fuzzy numbers to rank the upper and lower level fuzzy objective functions. Then the fully fuzzy bilevel linear programming problem can be transformed into a deterministic bilevel programming problem. Considering the overall balance between improving objective function values and decreasing allowed deviation degrees, the computational procedure for finding a fuzzy optimal solution is proposed. Finally, a numerical example is provided to illustrate the proposed approach. The results indicate that the proposed approach gives a better optimal solution in comparison with the existing method.

First determination of D* -meson fragmentation functions and their uncertainties at next-to-next-to-leading order

Science.gov (United States)

Soleymaninia, Maryam; Khanpour, Hamzeh; Nejad, S. Mohammad Moosavi

2018-04-01

We present, for the first time, a set of next-to-next-to-leading order (NNLO) fragmentation functions (FFs) describing the production of charmed-meson D* from partons. Exploiting the universality and scaling violations of FFs, we extract the NLO and NNLO FFs through a global fit to all relevant data sets from single-inclusive e+e- annihilation. The uncertainties for the resulting FFs as well as the corresponding observables are estimated using the Hessian approach. We evaluate the quality of the SKM18 FFs determined in this analysis by comparing with the recent results in literature and show how they describe the available data for single-inclusive D*±-meson production in electron-positron annihilation. As a practical application, we apply the extracted FFs to make our theoretical predictions for the scaled-energy distributions of D*±-mesons inclusively produced in top quark decays. We explore the implications of SKM18 for LHC phenomenology and show that our findings of this study can be introduced as a channel to indirect search for top-quark properties.

Defect ordering in aliovalently doped cubic zirconia from first principles

International Nuclear Information System (INIS)

Bogicevic, A.; Wolverton, C.; Crosbie, G.M.; Stechel, E.B.

2001-01-01

Defect ordering in aliovalently doped cubic-stabilized zirconia is studied using gradient corrected density-functional calculations. Intra- and intersublattice ordering interactions are investigated for both cation (Zr and dopant ions) and anion (oxygen ions and vacancies) species. For yttria-stabilized zirconia, the crystal structure of the experimentally identified, ordered compound δ-Zr 3 Y 4 O 12 is established, and we predict metastable zirconia-rich ordered phases. Anion vacancies repel each other at short separations, but show an energetic tendency to align as third-nearest neighbors along directions. Calculations with divalent (Be, Mg, Ca, Sr, Ba) and trivalent (Y, Sc, B, Al, Ga, In) oxides show that anion vacancies prefer to be close to the smaller of the cations (Zr or dopant ion). When the dopant cation is close in size to Zr, the vacancies show no particular preference, and are thus less prone to be bound preferentially to any particular cation type when the vacancies traverse such oxides. This ordering tendency offers insight into the observed high conductivity of Y 2 O 3 - and Sc 2 O 3 -stabilized zirconia, as well as recent results using, e.g., lanthanide oxides. The calculations point to In 2 O 3 as a particularly promising stabilizer for high ionic conductivity. Thus we are able to directly link (thermodynamic) defect ordering to (kinetic) ionic conductivity in cubic-stabilized zirconia using first-principles atomistic calculations

Realization of first order optical systems using thin lenses

International Nuclear Information System (INIS)

Sudarshan, E.C.G.; Mukunda, N.; Simon, R.

1983-09-01

A first order optical system is investigated in full generality within the context of wave optics. We reduce the problem to a study of the ray transfer matrices. The simplest such systems correspond to axially symmetric propagation. Realization of such systems by centrally located lenses separated by finite distances is studied. It is shown that every axially symmetric first order system can be realized using at most three lenses. Among anisotropic systems it is proven that every symplectic ray transfer matrix, and no others, can be realized using lenses and free propagations. Suggestions for further study of the general first order system are outlined. 16 references

Temporal Frequency Modulates Reaction Time Responses to First-Order and Second-Order Motion

Science.gov (United States)

Hutchinson, Claire V.; Ledgeway, Tim

2010-01-01

This study investigated the effect of temporal frequency and modulation depth on reaction times for discriminating the direction of first-order (luminance-defined) and second-order (contrast-defined) motion, equated for visibility using equal multiples of direction-discrimination threshold. Results showed that reaction times were heavily…

A computer program for lattice-dynamical evaluation of Debye-Waller factors and thermodynamic functions for minerals, starting from empirical force fields

International Nuclear Information System (INIS)

Pilati, T.; Dermartin, F.; Gramaccioli, C.M.

1993-01-01

A wide-purpose computer program has been written (Fortran) for lattice dynamical evaluation of crystallographic and thermodynamic properties of solids, especially minerals or inorganic substances.The program essentially consists of a routine affording first and second derivatives of energy with respect to mass weighted coordinates, properly modulated by a wave vector algorithm, so that diagonalization can immediately follow and arrive at frequencies, density of states, and eventually to thermodynamic functions and Debye-Waller parameters thorough an automatic Brillouin-zone sampling procedure. The input consists of crystallographic data (unit-cell parameters, space group symmetry operations, atomic coordinates), plus atomic charge and empirical parameters, such as force constants or non-bonded atom-atom interaction energy functions in almost any form. It is also possible to obtain the structure corresponding to the energy minimum, or even to work with partial rigid bodies, in order to reduce the order of the dynamical matrices. The program provides for automatic symmetry labelling of the vibrational modes, in order to compare them with the experimental data; there is possibility of improving the empirical functions through a minimization routine. Examples of application and transferability of force fields to a series of minerals are provided. (author)

First-order Convex Optimization Methods for Signal and Image Processing

DEFF Research Database (Denmark)

Jensen, Tobias Lindstrøm

2012-01-01

In this thesis we investigate the use of first-order convex optimization methods applied to problems in signal and image processing. First we make a general introduction to convex optimization, first-order methods and their iteration complexity. Then we look at different techniques, which can...... be used with first-order methods such as smoothing, Lagrange multipliers and proximal gradient methods. We continue by presenting different applications of convex optimization and notable convex formulations with an emphasis on inverse problems and sparse signal processing. We also describe the multiple...

[Order of Malta during First World War].

Science.gov (United States)

Peureux, Laure; Dubourg, Olivier; Rousseau, Fra Emmanuel; Lefort, Hugues

2014-06-01

The sovereign Military Order of Malta is one of the oldest humanitarian organizations still existing today The First World War gave it the opportunity to prove its large knowledge of emergency medicine, under exceptional circumstances, from the front to the hospitals at the back of the front. On all parts of the European conflict the Order took care of more than 800 000 victims of the war.

Thermodynamics of rotating black branes in gravity with first order string corrections

Directory of Open Access Journals (Sweden)

M. H. Dehghani

2005-09-01

Full Text Available   In this paper, the rotating black brane solutions with zero curvature horizon of classical gravity with first order string corrections are introduced. Although these solutions are not asymptotically anti de Sitter, one can use the counterterm method in order to compute the conserved quantities of these solutions. Here, by reviewing the counterterm method for asymptotically anti de Sitter spacetimes, the conserved quantities of these rotating solutions are computed. Also a Smarr-type formula for the mass as a function of the entropy and the angular momenta is obtained, and it is shown that the conserved and thermodynamic quantities satisfy the first law of thermodynamics. Finally, a stability analysis in the canonical ensemble is performed, and it is shown that the system is thermally stable. This is in commensurable with the fact that there is no Hawking-Page phase transition for black object with zero curvature horizon.

Increasing accuracy in the interval analysis by the improved format of interval extension based on the first order Taylor series

Science.gov (United States)

Li, Yi; Xu, Yan Long

2018-05-01

When the dependence of the function on uncertain variables is non-monotonic in interval, the interval of function obtained by the classic interval extension based on the first order Taylor series will exhibit significant errors. In order to reduce theses errors, the improved format of the interval extension with the first order Taylor series is developed here considering the monotonicity of function. Two typical mathematic examples are given to illustrate this methodology. The vibration of a beam with lumped masses is studied to demonstrate the usefulness of this method in the practical application, and the necessary input data of which are only the function value at the central point of interval, sensitivity and deviation of function. The results of above examples show that the interval of function from the method developed by this paper is more accurate than the ones obtained by the classic method.

Deterministic simulation of first-order scattering in virtual X-ray imaging

Energy Technology Data Exchange (ETDEWEB)

Freud, N. E-mail: nicolas.freud@insa-lyon.fr; Duvauchelle, P.; Pistrui-Maximean, S.A.; Letang, J.-M.; Babot, D

2004-07-01

A deterministic algorithm is proposed to compute the contribution of first-order Compton- and Rayleigh-scattered radiation in X-ray imaging. This algorithm has been implemented in a simulation code named virtual X-ray imaging. The physical models chosen to account for photon scattering are the well-known form factor and incoherent scattering function approximations, which are recalled in this paper and whose limits of validity are briefly discussed. The proposed algorithm, based on a voxel discretization of the inspected object, is presented in detail, as well as its results in simple configurations, which are shown to converge when the sampling steps are chosen sufficiently small. Simple criteria for choosing correct sampling steps (voxel and pixel size) are established. The order of magnitude of the computation time necessary to simulate first-order scattering images amounts to hours with a PC architecture and can even be decreased down to minutes, if only a profile is computed (along a linear detector). Finally, the results obtained with the proposed algorithm are compared to the ones given by the Monte Carlo code Geant4 and found to be in excellent accordance, which constitutes a validation of our algorithm. The advantages and drawbacks of the proposed deterministic method versus the Monte Carlo method are briefly discussed.

System Response Analysis and Model Order Reduction, Using Conventional Method, Bond Graph Technique and Genetic Programming

Directory of Open Access Journals (Sweden)

Lubna Moin

2009-04-01

Full Text Available This research paper basically explores and compares the different modeling and analysis techniques and than it also explores the model order reduction approach and significance. The traditional modeling and simulation techniques for dynamic systems are generally adequate for single-domain systems only, but the Bond Graph technique provides new strategies for reliable solutions of multi-domain system. They are also used for analyzing linear and non linear dynamic production system, artificial intelligence, image processing, robotics and industrial automation. This paper describes a unique technique of generating the Genetic design from the tree structured transfer function obtained from Bond Graph. This research work combines bond graphs for model representation with Genetic programming for exploring different ideas on design space tree structured transfer function result from replacing typical bond graph element with their impedance equivalent specifying impedance lows for Bond Graph multiport. This tree structured form thus obtained from Bond Graph is applied for generating the Genetic Tree. Application studies will identify key issues and importance for advancing this approach towards becoming on effective and efficient design tool for synthesizing design for Electrical system. In the first phase, the system is modeled using Bond Graph technique. Its system response and transfer function with conventional and Bond Graph method is analyzed and then a approach towards model order reduction is observed. The suggested algorithm and other known modern model order reduction techniques are applied to a 11th order high pass filter [1], with different approach. The model order reduction technique developed in this paper has least reduction errors and secondly the final model retains structural information. The system response and the stability analysis of the system transfer function taken by conventional and by Bond Graph method is compared and

A definability theorem for first order logic

NARCIS (Netherlands)

Butz, C.; Moerdijk, I.

1997-01-01

In this paper we will present a definability theorem for first order logic This theorem is very easy to state and its proof only uses elementary tools To explain the theorem let us first observe that if M is a model of a theory T in a language L then clearly any definable subset S M ie a subset S

Maximizing Total Profit in Two-agent Problem of Order Acceptance and Scheduling

Directory of Open Access Journals (Sweden)

Mohammad Reisi-Nafchi

2017-03-01

Full Text Available In competitive markets, attracting potential customers and keeping current customers is a survival condition for each company. So, paying attention to the requests of customers is important and vital. In this paper, the problem of order acceptance and scheduling has been studied, in which two types of customers or agents compete in a single machine environment. The objective is maximizing sum of the total profit of first agent's accepted orders and the total revenue of second agent. Therefore, only the first agent has penalty and its penalty function is lateness and the second agent's orders have a common due date and this agent does not accept any tardy order. To solve the problem, a mathematical programming, a heuristic algorithm and a pseudo-polynomial dynamic programming algorithm are proposed. Computational results confirm the ability of solving all problem instances up to 70 orders size optimally and also 93.12% of problem instances up to 150 orders size by dynamic programming.

Wigner distribution function and its application to first-order optics

NARCIS (Netherlands)

Bastiaans, M.J.

1979-01-01

The Wigner distribution function of optical signals and systems has been introduced. The concept of such functions is not restricted to deterministic signals, but can be applied to partially coherent light as well. Although derived from Fourier optics, the description of signals and systems by means

Fit of second order thermoluminescence glow peaks using the logistic distribution function

International Nuclear Information System (INIS)

Pagonis, V.; Kitis, G.

2001-01-01

A new thermoluminescence glow curve deconvolution (GCD) function is introduced which accurately describes second order thermoluminescence (TL) curves. The logistic asymmetric (LA) statistical probability function is used with the function variables being the maximum peak intensity (I m ), the temperature of the maximum peak intensity (T m ) and the LA width parameter a 2 . An analytical expression is derived from which the activation energy E can be calculated as a function of T m and the LA width parameter a 2 with an accuracy of 2% or better. The accuracy of the fit was tested for E values ranging from 0.7 to 2.5 eV, for s values between 10 5 and 10 25 s -1 , and for trap occupation number n 0 /N between 1 and 10 -6 . The goodness of fit of the logistic asymmetric function is described by the Figure of Merit (FOM) which is found to be of the order of 10 -2 . Preliminary results show that the GCD described here can easily be extended to the description of general order TL glow curves by varying the asymmetry parameter of the logistic asymmetric function. It is concluded that the TL kinetic analysis of first, second and general order TL glow curves can be performed with high accuracy and speed by using commercially available statistical packages that incorporate the Weibull and logistic asymmetric functions. (author)

Time-ordered products and Schwinger functions

International Nuclear Information System (INIS)

Eckmann, J.P.; Epstein, H.

1979-01-01

It is shown that every system of time-ordered products for a local field theory determines a related system of Schwinger functions possessing an extended form of Osterwalder-Schrader positivity and that the converse is true provided certain growth conditions are satisfied. This is applied to the phi 3 4 theory and it is shown that the time-ordered functions and S-matrix elements admit the standard perturbation series as asymptotic expansions. (orig.) [de

First-order transitions and the multihistogram method

International Nuclear Information System (INIS)

Bhanot, G.; Lippert, T.; Schilling, K.; Ueberholz, P.

1992-01-01

We describe how the multihistogram method can be used to get reliable results from simulations in the critical region of first-order transitions even in the presence of severe hysteresis effects. (orig.)

First order electroweak phase transition

International Nuclear Information System (INIS)

Buchmueller, W.; Fodor, Z.

1993-01-01

In this work, the authors have studied the phase transition in the SU(2)gauge theory at finite temperature. The authors' improved perturbative approach does not suffer from the infrared problems appearing in the ordinary loop expansion. The authors have calculated the effective potential up to cubic terms in the couplings. The higher order terms suggest that the method is reliable for Higgs masses smaller than 80 GeV. The authors have obtained a non-vanishing magnetic mass which further weakens the transitions. By use of Langer's theory of metastability, the authors have calculated the nucleation rate for critical bubbles and have discussed some cosmological consequences. For m H <80 GeV the phase transition is first order and proceeds via bubble nucleation and growth. The thin wall approximation is only marginally applicable. Since the phase transition is quite weak SM baryogenesis is unlikely. 8 refs., 5 figs

1957-2007: 50 Years of Higher Order Programming Languages

Directory of Open Access Journals (Sweden)

Alen Lovrenčić

2009-06-01

Full Text Available Fifty years ago one of the greatest breakthroughs in computer programming and in the history of computers happened -- the appearance of FORTRAN, the first higher-order programming language. From that time until now hundreds of programming languages were invented, different programming paradigms were defined, all with the main goal to make computer programming easier and closer to as many people as possible. Many battles were fought among scientists as well as among developers around concepts of programming, programming languages and paradigms. It can be said that programming paradigms and programming languages were very often a trigger for many changes and improvements in computer science as well as in computer industry. Definitely, computer programming is one of the cornerstones of computer science.Today there are many tools that give a help in the process of programming, but there is still a programming tasks that can be solved only manually. Therefore, programming is still one of the most creative parts of interaction with computers.Programmers should chose programming language in accordance to task they have to solve, but very often, they chose it in accordance to their personal preferences, their beliefs and many other subjective reasons.Nevertheless, the market of programming languages can be merciless to languages as history was merciless to some people, even whole nations. Programming languages and developers get born, live and die leaving more or less tracks and successors, and not always the best survives. The history of programming languages is closely connected to the history of computers and computer science itself. Every single thing from one of them has its reflexions onto the other. This paper gives a short overview of last fifty years of computer programming and computer programming languages, but also gives many ideas that influenced other aspects of computer science. Particularly, programming paradigms are described, their

SOERP, Statistics and 2. Order Error Propagation for Function of Random Variables

International Nuclear Information System (INIS)

Cox, N. D.; Miller, C. F.

1985-01-01

1 - Description of problem or function: SOERP computes second-order error propagation equations for the first four moments of a function of independently distributed random variables. SOERP was written for a rigorous second-order error propagation of any function which may be expanded in a multivariable Taylor series, the input variables being independently distributed. The required input consists of numbers directly related to the partial derivatives of the function, evaluated at the nominal values of the input variables and the central moments of the input variables from the second through the eighth. 2 - Method of solution: The development of equations for computing the propagation of errors begins by expressing the function of random variables in a multivariable Taylor series expansion. The Taylor series expansion is then truncated, and statistical operations are applied to the series in order to obtain equations for the moments (about the origin) of the distribution of the computed value. If the Taylor series is truncated after powers of two, the procedure produces second-order error propagation equations. 3 - Restrictions on the complexity of the problem: The maximum number of component variables allowed is 30. The IBM version will only process one set of input data per run

Experimental and theoretical investigation of the first-order hyperpolarizability of a class of triarylamine derivatives

International Nuclear Information System (INIS)

Silva, Daniel L.; Fonseca, Ruben D.; Mendonca, Cleber R.; De Boni, Leonardo; Vivas, Marcelo G.; Ishow, E.; Canuto, Sylvio

2015-01-01

This paper reports on the static and dynamic first-order hyperpolarizabilities of a class of push-pull octupolar triarylamine derivatives dissolved in toluene. We have combined hyper-Rayleigh scattering experiment and the coupled perturbed Hartree-Fock method implemented at the Density Functional Theory (DFT) level of theory to determine the static and dynamic (at 1064 nm) first-order hyperpolarizability (β HRS ) of nine triarylamine derivatives with distinct electron-withdrawing groups. In four of these derivatives, an azoaromatic unit is inserted and a pronounceable increase of the first-order hyperpolarizability is reported. Based on the theoretical results, the dipolar/octupolar character of the derivatives is determined. By using a polarizable continuum model in combination with the DFT calculations, it was found that although solvated in an aprotic and low dielectric constant solvent, due to solvent-induced polarization and the frequency dispersion effect, the environment substantially affects the first-order hyperpolarizability of all derivatives investigated. This statement is supported due to the solvent effects to be essential for the better agreement between theoretical results and experimental data concerning the dynamic first-order hyperpolarizability of the derivatives. The first-order hyperpolarizability of the derivatives was also modeled using the two- and three-level models, where the relationship between static and dynamic first hyperpolarizabilities is given by a frequency dispersion model. Using this approach, it was verified that the dynamic first hyperpolarizability of the derivatives is satisfactorily reproduced by the two-level model and that, in the case of the derivatives with an azoaromatic unit, the use of a damped few-level model is essential for, considering also the molecular size of such derivatives, a good quantitative agreement between theoretical results and experimental data to be observed

Functional Programming Using F#

DEFF Research Database (Denmark)

Hansen, Michael Reichhardt; Rischel, Hans

This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems....... Coverage also includes advanced features in the .NET library, the imperative features of F# and topics such as text processing, sequences, computation expressions and asynchronous computation. With a broad spectrum of examples and exercises, the book is perfect for courses in functional programming...... and for self-study. Enhancing its use as a text is an accompanying website with downloadable programs, lecture slides, a mini-projects and links to further F# sources....

Gravitational radiation from first-order phase transitions

International Nuclear Information System (INIS)

Child, Hillary L.; Giblin, John T. Jr.

2012-01-01

It is believed that first-order phase transitions at or around the GUT scale will produce high-frequency gravitational radiation. This radiation is a consequence of the collisions and coalescence of multiple bubbles during the transition. We employ high-resolution lattice simulations to numerically evolve a system of bubbles using only scalar fields, track the anisotropic stress during the process and evolve the metric perturbations associated with gravitational radiation. Although the radiation produced during the bubble collisions has previously been estimated, we find that the coalescence phase enhances this radiation even in the absence of a coupled fluid or turbulence. We comment on how these simulations scale and propose that the same enhancement should be found at the Electroweak scale; this modification should make direct detection of a first-order electroweak phase transition easier

Gravitational radiation from first-order phase transitions

Energy Technology Data Exchange (ETDEWEB)

Child, Hillary L.; Giblin, John T. Jr., E-mail: childh@kenyon.edu, E-mail: giblinj@kenyon.edu [Department of Physics, Kenyon College, 201 North College Road, Gambier, OH 43022 (United States)

2012-10-01

It is believed that first-order phase transitions at or around the GUT scale will produce high-frequency gravitational radiation. This radiation is a consequence of the collisions and coalescence of multiple bubbles during the transition. We employ high-resolution lattice simulations to numerically evolve a system of bubbles using only scalar fields, track the anisotropic stress during the process and evolve the metric perturbations associated with gravitational radiation. Although the radiation produced during the bubble collisions has previously been estimated, we find that the coalescence phase enhances this radiation even in the absence of a coupled fluid or turbulence. We comment on how these simulations scale and propose that the same enhancement should be found at the Electroweak scale; this modification should make direct detection of a first-order electroweak phase transition easier.

An Implementable First-Order Primal-Dual Algorithm for Structured Convex Optimization

Directory of Open Access Journals (Sweden)

Feng Ma

2014-01-01

Full Text Available Many application problems of practical interest can be posed as structured convex optimization models. In this paper, we study a new first-order primaldual algorithm. The method can be easily implementable, provided that the resolvent operators of the component objective functions are simple to evaluate. We show that the proposed method can be interpreted as a proximal point algorithm with a customized metric proximal parameter. Convergence property is established under the analytic contraction framework. Finally, we verify the efficiency of the algorithm by solving the stable principal component pursuit problem.

Transverse momentum dependent fragmentation function at next-to-next-to-leading order

NARCIS (Netherlands)

Garcia, M.; Scimemi, I.; Vladimirov, A.

2016-01-01

We calculate the unpolarized transverse momentum dependent fragmentation function at next-to-next-to-leading order, evaluating separately the transverse momentum dependent (TMD) soft factor and the TMD collinear correlator. For the first time, the cancellation of spurious rapidity divergences in a

Interpretation of stream programs: characterizing type 2 polynomial time complexity

OpenAIRE

Férée , Hugo; Hainry , Emmanuel; Hoyrup , Mathieu; Péchoux , Romain

2010-01-01

International audience; We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such programs relying on second order interpretation that characterize two variants of type 2 polynomial complexity including the Basic Feasible Functions (BFF). These charac- terizations provide a new insight on the complexity of stream programs. Finally, we adapt these results to functions over th...

Errors of first-order probe correction for higher-order probes in spherical near-field antenna measurements

DEFF Research Database (Denmark)

Laitinen, Tommi; Nielsen, Jeppe Majlund; Pivnenko, Sergiy

2004-01-01

An investigation is performed to study the error of the far-field pattern determined from a spherical near-field antenna measurement in the case where a first-order (mu=+-1) probe correction scheme is applied to the near-field signal measured by a higher-order probe.......An investigation is performed to study the error of the far-field pattern determined from a spherical near-field antenna measurement in the case where a first-order (mu=+-1) probe correction scheme is applied to the near-field signal measured by a higher-order probe....

Estimation of Multiple Point Sources for Linear Fractional Order Systems Using Modulating Functions

KAUST Repository

Belkhatir, Zehor; Laleg-Kirati, Taous-Meriem

2017-01-01

This paper proposes an estimation algorithm for the characterization of multiple point inputs for linear fractional order systems. First, using polynomial modulating functions method and a suitable change of variables the problem of estimating

On integration of the first order differential equations in a finite terms

International Nuclear Information System (INIS)

Malykh, M D

2017-01-01

There are several approaches to the description of the concept called briefly as integration of the first order differential equations in a finite terms or symbolical integration. In the report three of them are considered: 1.) finding of a rational integral (Beaune or Poincaré problem), 2.) integration by quadratures and 3.) integration when the general solution of given differential equation is an algebraical function of a constant (Painlevé problem). Their realizations in Sage are presented. (paper)

Functional Programming in C# Classic Programming Techniques for Modern Projects

CERN Document Server

Sturm, Oliver

2011-01-01

Take advantage of the growing trend in functional programming. C# is the number-one language used by .NET developers and one of the most popular programming languages in the world. It has many built-in functional programming features, but most are complex and little understood. With the shift to functional programming increasing at a rapid pace, you need to know how to leverage your existing skills to take advantage of this trend. Functional Programming in C# leads you along a path that begins with the historic value of functional ideas. Inside, C# MVP and functional programming expert Oli

First-order dominance: stronger characterization and a bivariate checking algorithm

DEFF Research Database (Denmark)

Range, Troels Martin; Østerdal, Lars Peter Raahave

2018-01-01

How to determine whether one distribution first-order dominates another is a fundamental problem that has many applications in economics, finance, probability theory, and statistics. Nevertheless, little is known about how to efficiently check first-order dominance for finite multivariate distrib...

Imaging of first-order surface-related multiples by reverse-time migration

Science.gov (United States)

Liu, Xuejian; Liu, Yike; Hu, Hao; Li, Peng; Khan, Majid

2017-02-01

Surface-related multiples have been utilized in the reverse-time migration (RTM) procedures, and additional illumination for subsurface can be provided. Meanwhile, many cross-talks are generated from undesired interactions between forward- and backward-propagated seismic waves. In this paper, subsequent to analysing and categorizing these cross-talks, we propose RTM of first-order multiples to avoid most undesired interactions in RTM of all-order multiples, where only primaries are forward-propagated and crosscorrelated with the backward-propagated first-order multiples. With primaries and multiples separated during regular seismic data processing as the input data, first-order multiples can be obtained by a two-step scheme: (1) the dual-prediction of higher-order multiples; and (2) the adaptive subtraction of predicted higher-order multiples from all-order multiples within local offset-time windows. In numerical experiments, two synthetic and a marine field data sets are used, where different cross-talks generated by RTM of all-order multiples can be identified and the proposed RTM of first-order multiples can provide a very interpretable image with a few cross-talks.

First-Order Quantum Phase Transition for Dicke Model Induced by Atom-Atom Interaction

International Nuclear Information System (INIS)

Zhao Xiu-Qin; Liu Ni; Liang Jiu-Qing

2017-01-01

In this article, we use the spin coherent state transformation and the ground state variational method to theoretically calculate the ground function. In order to consider the influence of the atom-atom interaction on the extended Dicke model’s ground state properties, the mean photon number, the scaled atomic population and the average ground energy are displayed. Using the self-consistent field theory to solve the atom-atom interaction, we discover the system undergoes a first-order quantum phase transition from the normal phase to the superradiant phase, but a famous Dicke-type second-order quantum phase transition without the atom-atom interaction. Meanwhile, the atom-atom interaction makes the phase transition point shift to the lower atom-photon collective coupling strength. (paper)

Generalized frameworks for first-order evolution inclusions based on Yosida approximations

Directory of Open Access Journals (Sweden)

Ram U. Verma

2011-04-01

Full Text Available First, general frameworks for the first-order evolution inclusions are developed based on the A-maximal relaxed monotonicity, and then using the Yosida approximation the solvability of a general class of first-order nonlinear evolution inclusions is investigated. The role the A-maximal relaxed monotonicity is significant in the sense that it not only empowers the first-order nonlinear evolution inclusions but also generalizes the existing Yosida approximations and its characterizations in the current literature.

A First-Order One-Pass CPS Transformation

DEFF Research Database (Denmark)

Danvy, Olivier; Nielsen, Lasse Reichstein

2001-01-01

We present a new transformation of λ-terms into continuation-passing style (CPS). This transformation operates in one pass and is both compositional and first-order. Previous CPS transformations only enjoyed two out of the three properties of being first-order, one-pass, and compositional......, but the new transformation enjoys all three properties. It is proved correct directly by structural induction over source terms instead of indirectly with a colon translation, as in Plotkin's original proof. Similarly, it makes it possible to reason about CPS-transformed terms by structural induction over...... source terms, directly.The new CPS transformation connects separately published approaches to the CPS transformation. It has already been used to state a new and simpler correctness proof of a direct-style transformation, and to develop a new and simpler CPS transformation of control-flow information....

A First-Order One-Pass CPS Transformation

DEFF Research Database (Denmark)

Danvy, Olivier; Nielsen, Lasse Reichstein

2003-01-01

We present a new transformation of λ-terms into continuation-passing style (CPS). This transformation operates in one pass and is both compositional and first-order. Previous CPS transformations only enjoyed two out of the three properties of being first-order, one-pass, and compositional......, but the new transformation enjoys all three properties. It is proved correct directly by structural induction over source terms instead of indirectly with a colon translation, as in Plotkin's original proof. Similarly, it makes it possible to reason about CPS-transformed terms by structural induction over...... source terms, directly.The new CPS transformation connects separately published approaches to the CPS transformation. It has already been used to state a new and simpler correctness proof of a direct-style transformation, and to develop a new and simpler CPS transformation of control-flow information....

Quadratic gravity in first order formalism

Energy Technology Data Exchange (ETDEWEB)

Alvarez, Enrique; Anero, Jesus; Gonzalez-Martin, Sergio, E-mail: enrique.alvarez@uam.es, E-mail: jesusanero@gmail.com, E-mail: sergio.gonzalez.martin@uam.es [Departamento de Física Teórica and Instituto de Física Teórica (IFT-UAM/CSIC), Universidad Autónoma de Madrid, Cantoblanco, 28049, Madrid (Spain)

2017-10-01

We consider the most general action for gravity which is quadratic in curvature. In this case first order and second order formalisms are not equivalent. This framework is a good candidate for a unitary and renormalizable theory of the gravitational field; in particular, there are no propagators falling down faster than 1/ p {sup 2}. The drawback is of course that the parameter space of the theory is too big, so that in many cases will be far away from a theory of gravity alone. In order to analyze this issue, the interaction between external sources was examined in some detail. We find that this interaction is conveyed mainly by propagation of the three-index connection field. At any rate the theory as it stands is in the conformal invariant phase; only when Weyl invariance is broken through the coupling to matter can an Einstein-Hilbert term (and its corresponding Planck mass scale) be generated by quantum corrections.

Access is mainly a second-order process: SDT models whether phenomenally (first-order) conscious states are accessed by reflectively (second-order) conscious processes.

Science.gov (United States)

Snodgrass, Michael; Kalaida, Natasha; Winer, E Samuel

2009-06-01

Access can either be first-order or second-order. First order access concerns whether contents achieve representation in phenomenal consciousness at all; second-order access concerns whether phenomenally conscious contents are selected for metacognitive, higher order processing by reflective consciousness. When the optional and flexible nature of second-order access is kept in mind, there remain strong reasons to believe that exclusion failure can indeed isolate phenomenally conscious stimuli that are not so accessed. Irvine's [Irvine, E. (2009). Signal detection theory, the exclusion failure paradigm and weak consciousness-Evidence for the access/phenomenal distinction? Consciousness and Cognition.] partial access argument fails because exclusion failure is indeed due to lack of second-order access, not insufficient phenomenally conscious information. Further, the enable account conforms with both qualitative differences and subjective report, and is simpler than the endow account. Finally, although first-order access may be a distinct and important process, second-order access arguably reflects the core meaning of access generally.

Conventional hamiltonian for first-order differential systems

International Nuclear Information System (INIS)

Farias, J.R.

1984-01-01

Lagrangian systems corresponding to a given set of 2n first-order ordinary differential equations are singular ones. In despite this, it is shown that these systems can be put into a Hamiltonian form in the usual manner. (Author) [pt

Generalized Second-Order Parametric Optimality Conditions in Semiinfinite Discrete Minmax Fractional Programming and Second-Order Univexity

Directory of Open Access Journals (Sweden)

Ram Verma

2016-02-01

Full Text Available This paper deals with mainly establishing numerous sets of generalized second order paramertic sufficient optimality conditions for a semiinfinite discrete minmax fractional programming problem, while the results on semiinfinite discrete minmax fractional programming problem achieved based on some partitioning schemes under various types of generalized second order univexity assumptions. 

Issues concerning gravity waves from first-order phase transitions

International Nuclear Information System (INIS)

Kosowsky, A.

1993-01-01

The stochastic background of gravitational radiation is a unique and potentially valuable source of information about the early universe. Photons thermally decoupled when the universe was around 100,000 years old; electromagnetic radiation cannot directly provide information about the epoch earlier than this. In contrast, gravitons presumably decoupled around the Planck time, when the universe was only 10 -44 seconds old. Since gravity wave propagate virtually unimpeded, any energetic event in the evolution of the universe will leave an imprint on the gravity wave background. Turner and Wilczek first suggested that first-order phase transitions, and particularly transitions which occur via the nucleation, expansion, and percolation of vacuum bubbles, will be a particularly efficient source of gravitational radiation. Detailed calculations with scalar-field vacuum bubbles confirm this conjecture and show that strongly first-order phase transitions are probably the strongest stochastic gravity-wave source yet conjectured. In this work the author first reviews the vacuum bubble calculations, stressing their physical assumptions. The author then discusses realistic scenarios for first-order phase transitions and describes how the calculations must be modified and extended to produce reliable results. 11 refs

Linear reversible second-order cellular automata and their first-order matrix equivalents

Science.gov (United States)

Macfarlane, A. J.

2004-11-01

Linear or one-dimensional reversible second-order cellular automata, exemplified by three cases named as RCA1-3, are introduced. Displays of their evolution in discrete time steps, &{\\in}Z_2;) as for RCA1-3. MCA1-3 are tractable because it has been possible to generalize to them the heavy duty methods already well-developed for ordinary first-order cellular automata like those of Wolfram's Rules 90 and 150. While the automata MCA1-3 are thought to be of genuine interest in their own right, with untapped further mathematical potential, their treatment has been applied here to expediting derivation of a large body of general and explicit results for N(t) for RCA1-3. Amongst explicit results obtained are formulas also for each of RCA1-3 for the total weight of the configurations of the first &2^M; times, M =0, 1, 2,\\ldots.

High-Order Hamilton's Principle and the Hamilton's Principle of High-Order Lagrangian Function

International Nuclear Information System (INIS)

Zhao Hongxia; Ma Shanjun

2008-01-01

In this paper, based on the theorem of the high-order velocity energy, integration and variation principle, the high-order Hamilton's principle of general holonomic systems is given. Then, three-order Lagrangian equations and four-order Lagrangian equations are obtained from the high-order Hamilton's principle. Finally, the Hamilton's principle of high-order Lagrangian function is given.

Third-Order Transport with MAD Input: A Computer Program for Designing Charged Particle Beam Transport Systems

Energy Technology Data Exchange (ETDEWEB)

Brown, Karl

1998-10-28

TRANSPORT has been in existence in various evolutionary versions since 1963. The present version of TRANSPORT is a first-, second-, and third-order matrix multiplication computer program intended for the design of static-magnetic beam transport systems.

Functional Programming for Java Developers Tools for Better Concurrency, Abstraction, and Agility

CERN Document Server

Wampler, Dean

2011-01-01

Software development today is embracing functional programming (FP), whether it's for writing concurrent programs or for managing Big Data. Where does that leave Java developers? This concise book offers a pragmatic, approachable introduction to FP for Java developers or anyone who uses an object-oriented language. Dean Wampler, Java expert and author of Programming Scala (O'Reilly), shows you how to apply FP principles such as immutability, avoidance of side-effects, and higher-order functions to your Java code. Each chapter provides exercises to help you practice what you've learned. Once

Absence of first-order unbinding transitions of fluid and polymerized membranes

Science.gov (United States)

Grotehans, Stefan; Lipowsky, Reinhard

1990-01-01

Unbinding transitions of fluid and polymerized membranes are studied by renormalization-group (RG) methods. Two different RG schemes are used and found to give rather consistent results. The fixed-point structure of both RG's exhibits a complex behavior as a function of the decay exponent tau for the fluctuation-induced interaction of the membranes. For tau greater than tau(S2) interacting membranes can undergo first-order transitions even in the strong-fluctuation regime. These estimates for tau(S2) imply, however, that both fluid and polymerized membranes unbind in a continuous way in the absence of lateral tension.

Monadic Functional Reactive Programming

NARCIS (Netherlands)

A.J. van der Ploeg (Atze); C Shan

2013-01-01

htmlabstractFunctional Reactive Programming (FRP) is a way to program reactive systems in functional style, eliminating many of the problems that arise from imperative techniques. In this paper, we present an alternative FRP formulation that is based on the notion of a reactive computation: a

First-order transitions, symmetry, and the element of-expansion

International Nuclear Information System (INIS)

Mukamel, D.; Krinsky, S.; Bak, P.

1975-01-01

The group theoretical method of Landau and Lifshitz was used to derive effective Hamiltonians for certain paramagnetic to antiferromagnetic transitions having order-parameters with n greater than or equal to 4 components. A renormalization group analysis in 4-epsilon dimensions was performed. The first-order nature of the order-disorder transitions in Cr(n = 12), Eu(n = 12), UO 2 (n = 6), and MnO(n = 8) can be explained by noting that the corresponding Hamiltonians possess no stable fixed points in 4-epsilon dimensions. It is predicted that all fcc type I(anti m perpendicular anti k), type II and type III(anti m perpendicular [100], anti k = [1/2 01]) antiferromagnetic transitions are first-order. The work is intended to serve as a guide in an experimental search for new examples of first-order transitions. A 2m-component Hamiltonian is also considered which possesses a unique, nonisotropic, stable fixed point for each value of 2m greater than or equal to 4. When 2m = 4, the Hamiltonian describes the paramagnetic to antiferromagnetic transitions in TbAu 2 , DyC 2 , Tb, Ho, Dy, and the structural transition in NbO 2 . If these transitions are second-order, it is predicted they all belong to the same universality class. For 2m = 6, the Hamiltonian describes the antiferromagnetic transitions in TbD 2 , Nd, K 2 IrCl 6 , and MnS 2 . These transitions belong to a single universality class

Foundations of Total Functional Data-Flow Programming

Directory of Open Access Journals (Sweden)

Baltasar Trancón y Widemann

2014-06-01

Full Text Available The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics. In this paper, we describe the foundations of a framework for unifying functional and data-flow styles that differs from FRP proper in significant ways: It is based on set theory to match the expectations of domain experts, and the two paradigms are reduced symmetrically to a low-level middle ground, with strongly compositional semantics. The design of the framework is derived from mathematical first principles, in particular coalgebraic coinduction and a standard relational model of stateful computation. The abstract syntax and semantics introduced here constitute the full core of a novel stream programming language.

First-order optical systems with unimodular eigenvalues

NARCIS (Netherlands)

Bastiaans, M.J.; Alieva, T.

2006-01-01

It is shown that a lossless first-order optical system whose real symplectic ray transformation matrix can be diagonalized and has only unimodular eigenvalues, is similar to a separable fractional Fourier transformer in the sense that the ray transformation matrices of the unimodular system and the

The Resolution Calculus for First-Order Logic

DEFF Research Database (Denmark)

Schlichtkrull, Anders

2016-01-01

This theory is a formalization of the resolution calculus for first-order logic. It is proven sound and complete. The soundness proof uses the substitution lemma, which shows a correspondence between substitutions and updates to an environment. The completeness proof uses semantic trees, i.e. trees...

First-order modal logic theorem proving and standard PROLOG

OpenAIRE

Nonnengart, A.

1992-01-01

Many attempts have been started to combine logic programming and modal logics. Most of them however, do not use classical PROLOG, but extend the PROLOG idea in order to cope with modal logic formulae directly. These approaches have the disadvantage that for each logic new logic programming systems are to be developed and the knowledge and experience gathered from PROLOG can hardly be utilized. Modal logics based on Kripke-style relational semantics, however, allow a direct translation from mo...

First-order error budgeting for LUVOIR mission

Science.gov (United States)

Lightsey, Paul A.; Knight, J. Scott; Feinberg, Lee D.; Bolcar, Matthew R.; Shaklan, Stuart B.

2017-09-01

Future large astronomical telescopes in space will have architectures that will have complex and demanding requirements to meet the science goals. The Large UV/Optical/IR Surveyor (LUVOIR) mission concept being assessed by the NASA/Goddard Space Flight Center is expected to be 9 to 15 meters in diameter, have a segmented primary mirror and be diffraction limited at a wavelength of 500 nanometers. The optical stability is expected to be in the picometer range for minutes to hours. Architecture studies to support the NASA Science and Technology Definition teams (STDTs) are underway to evaluate systems performance improvements to meet the science goals. To help define the technology needs and assess performance, a first order error budget has been developed. Like the JWST error budget, the error budget includes the active, adaptive and passive elements in spatial and temporal domains. JWST performance is scaled using first order approximations where appropriate and includes technical advances in telescope control.

Magnetocaloric materials and first order phase transitions

DEFF Research Database (Denmark)

Neves Bez, Henrique

and magnetocaloric regenerative tests. The magnetic, thermal and structural properties obtained from such measurements are then evaluated through different models, i.e. the Curie-Weiss law, the Bean-Rodbell model, the free electron model and the Debye model.The measured magnetocaloric properties of La0.67Ca0.33MnO3...... heat capacity, magnetization and entropy change measurements. By measuring bulky particles (with a particle size in the range of 5001000 μm) of La(Fe,Mn,Si)13Hz with first order phase transition, it was possible to observe very sharp transitions. This is not the case for finer ground particles which......This thesis studies the first order phase transitions of the magnetocaloric materials La0.67Ca0.33MnO3 and La(Fe,Mn,Si)13Hz trying to overcome challenges that these materials face when applied in active magnetic regenerators. The study is done through experimental characterization and modelling...

First-Order Hybrid Logic

DEFF Research Database (Denmark)

Braüner, Torben

2011-01-01

Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one...... often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism....... For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic...

A First-order Prediction-Correction Algorithm for Time-varying (Constrained) Optimization: Preprint

Energy Technology Data Exchange (ETDEWEB)

Dall-Anese, Emiliano [National Renewable Energy Laboratory (NREL), Golden, CO (United States); Simonetto, Andrea [Universite catholique de Louvain

2017-07-25

This paper focuses on the design of online algorithms based on prediction-correction steps to track the optimal solution of a time-varying constrained problem. Existing prediction-correction methods have been shown to work well for unconstrained convex problems and for settings where obtaining the inverse of the Hessian of the cost function can be computationally affordable. The prediction-correction algorithm proposed in this paper addresses the limitations of existing methods by tackling constrained problems and by designing a first-order prediction step that relies on the Hessian of the cost function (and do not require the computation of its inverse). Analytical results are established to quantify the tracking error. Numerical simulations corroborate the analytical results and showcase performance and benefits of the algorithms.

Punishing second-order free riders before first-order free riders: The effect of pool punishment priority on cooperation

OpenAIRE

Ozono, Hiroki; Kamijo, Yoshio; Shimizu, Kazumi

2017-01-01

Second-order free riders, who do not owe punishment cost to first-order free riders in public goods games, lead to low cooperation. Previous studies suggest that for stable cooperation, it is critical to have a pool punishment system with second-order punishment, which gathers resources from group members and punishes second-order free riders as well as first-order free riders. In this study, we focus on the priority of punishment. We hypothesize that the pool punishment system that prioritiz...

Linear reversible second-order cellular automata and their first-order matrix equivalents

International Nuclear Information System (INIS)

Macfarlane, A J

2004-01-01

Linear or one-dimensional reversible second-order cellular automata, exemplified by three cases named as RCA1-3, are introduced. Displays of their evolution in discrete time steps, t=0, 1, 2, ..., from their simplest initial states and on the basis of updating rules in modulo 2 arithmetic, are presented. In these, shaded and unshaded squares denote cells whose cell variables are equal to one and zero respectively. This paper is devoted to finding general formulas for, and explicit numerical evaluations of, the weights N(t) of the states or configurations of RCA1-3, i.e. the total number of shaded cells in tth line of their displays. This is achieved by means of the replacement of RCA1-3 by the equivalent linear first-order matrix automata MCA1-3, for which the cell variables are 2x2 matrices, instead of just numbers (element of Z 2 ) as for RCA1-3. MCA1-3 are tractable because it has been possible to generalize to them the heavy duty methods already well-developed for ordinary first-order cellular automata like those of Wolfram's Rules 90 and 150. While the automata MCA1-3 are thought to be of genuine interest in their own right, with untapped further mathematical potential, their treatment has been applied here to expediting derivation of a large body of general and explicit results for N(t) for RCA1-3. Amongst explicit results obtained are formulas also for each of RCA1-3 for the total weight of the configurations of the first 2 M times, M=0, 1, 2, ..

First-order reversal curves of single domain particles: diluted random assemblages and chains

Science.gov (United States)

Egli, R.

2009-04-01

principles. In this case, the irreversible component of the FORC diagram, which is described by a Dirac delta function in the non-interacting case, converts into a continuous function that directly reflects the distribution of interaction fields. Such models provide a way to identify and characterize authigenic SD particles in sediments, and in some case allow one to isolate their magnetic contribution from that of other magnetic components. Newell, A.J. (2005), A high-precision model of first-order reversal curve (FORC) functions for single-domain ferromagnets with uniaxial anisotropy, Gechem. Geophys. Geosyst., 6, Q05010, doi:10.1029/2004GC00877.

Symmetry Classification of First Integrals for Scalar Linearizable Second-Order ODEs

Directory of Open Access Journals (Sweden)

K. S. Mahomed

2012-01-01

Full Text Available Symmetries of the fundamental first integrals for scalar second-order ordinary differential equations (ODEs which are linear or linearizable by point transformations have already been obtained. Firstly we show how one can determine the relationship between the symmetries and the first integrals of linear or linearizable scalar ODEs of order two. Secondly, a complete classification of point symmetries of first integrals of such linear ODEs is studied. As a consequence, we provide a counting theorem for the point symmetries of first integrals of scalar linearizable second-order ODEs. We show that there exists the 0-, 1-, 2-, or 3-point symmetry cases. It is shown that the maximal algebra case is unique.

Vibrational spectroscopic studies, normal co-ordinate analysis, first order hyperpolarizability, HOMO-LUMO of midodrine by using density functional methods.

Science.gov (United States)

Shahidha, R; Al-Saadi, Abdulaziz A; Muthu, S

2015-01-05

The FTIR (4000-400 cm(-1)), FT-Raman (4000-100 cm(-1)) and UV-Visible (400-200 nm) spectra of midodrine were recorded in the condensed state. The complete vibrational frequencies, optimized geometry, intensity of vibrational bands and atomic charges were obtained by using Density Functional Theory (DFT) with the help of 6-311++G(d,p) basis set. The first order hyperpolarizability (β) and related properties (μ, α and Δα) of this molecular system were calculated by using DFT/6-311++G(d,p) method based on the finite-field approach. The assignments of the vibrational spectra have been carried out with the help of Normal Co-ordinate Analysis (NCA) following the scaled quantum mechanical force methodology. Stability of the molecule arising from hyper conjugative interactions, charge delocalization has been analyzed using NBO analysis. From the recorded UV-Visible spectrum, the electronic properties such as excitation energies, oscillator strength and wavelength are calculated by DFT in water and gas methods using 6-311++G(d,p) basis set. The calculated HOMO and LUMO energies confirm that charge transfer occurs within the molecule. Besides MEP, NLO and thermodynamic properties were also calculated and interpreted. The electron density-based local reactivity descriptor such as Fukui functions was calculated to explain the chemical selectivity or reactivity site in midodrine. Copyright © 2014 Elsevier B.V. All rights reserved.

Formalization of the Resolution Calculus for First-Order Logic

DEFF Research Database (Denmark)

Schlichtkrull, Anders

2016-01-01

A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution, it consi......A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution...

First-order systems of linear partial differential equations: normal forms, canonical systems, transform methods

Directory of Open Access Journals (Sweden)

Heinz Toparkus

2014-04-01

Full Text Available In this paper we consider first-order systems with constant coefficients for two real-valued functions of two real variables. This is both a problem in itself, as well as an alternative view of the classical linear partial differential equations of second order with constant coefficients. The classification of the systems is done using elementary methods of linear algebra. Each type presents its special canonical form in the associated characteristic coordinate system. Then you can formulate initial value problems in appropriate basic areas, and you can try to achieve a solution of these problems by means of transform methods.

Fuels planning: science synthesis and integration; environmental consequences fact sheet 02: First Order Fire Effects Model (FOFEM)

Science.gov (United States)

Steve Sutherland

2004-01-01

FOFEM 5.2 is a simple, yet versatile computer program that predicts first order fire effects using text and graphic outputs. It can be used in a variety of situations including: determining acceptable upper and lower fuel moistures for conducting prescribed burns, determining the number of acres that may be burned on a given day without exceeding particulate emission...

The Necessity of Functional Analysis for Space Exploration Programs

Science.gov (United States)

Morris, A. Terry; Breidenthal, Julian C.

2011-01-01

As NASA moves toward expanded commercial spaceflight within its human exploration capability, there is increased emphasis on how to allocate responsibilities between government and commercial organizations to achieve coordinated program objectives. The practice of program-level functional analysis offers an opportunity for improved understanding of collaborative functions among heterogeneous partners. Functional analysis is contrasted with the physical analysis more commonly done at the program level, and is shown to provide theoretical performance, risk, and safety advantages beneficial to a government-commercial partnership. Performance advantages include faster convergence to acceptable system solutions; discovery of superior solutions with higher commonality, greater simplicity and greater parallelism by substituting functional for physical redundancy to achieve robustness and safety goals; and greater organizational cohesion around program objectives. Risk advantages include avoidance of rework by revelation of some kinds of architectural and contractual mismatches before systems are specified, designed, constructed, or integrated; avoidance of cost and schedule growth by more complete and precise specifications of cost and schedule estimates; and higher likelihood of successful integration on the first try. Safety advantages include effective delineation of must-work and must-not-work functions for integrated hazard analysis, the ability to formally demonstrate completeness of safety analyses, and provably correct logic for certification of flight readiness. The key mechanism for realizing these benefits is the development of an inter-functional architecture at the program level, which reveals relationships between top-level system requirements that would otherwise be invisible using only a physical architecture. This paper describes the advantages and pitfalls of functional analysis as a means of coordinating the actions of large heterogeneous organizations

Five-Year-Olds’ Systematic Errors in Second-Order False Belief Tasks Are Due to First-Order Theory of Mind Strategy Selection: A Computational Modeling Study

Science.gov (United States)

Arslan, Burcu; Taatgen, Niels A.; Verbrugge, Rineke

2017-01-01

The focus of studies on second-order false belief reasoning generally was on investigating the roles of executive functions and language with correlational studies. Different from those studies, we focus on the question how 5-year-olds select and revise reasoning strategies in second-order false belief tasks by constructing two computational cognitive models of this process: an instance-based learning model and a reinforcement learning model. Unlike the reinforcement learning model, the instance-based learning model predicted that children who fail second-order false belief tasks would give answers based on first-order theory of mind (ToM) reasoning as opposed to zero-order reasoning. This prediction was confirmed with an empirical study that we conducted with 72 5- to 6-year-old children. The results showed that 17% of the answers were correct and 83% of the answers were wrong. In line with our prediction, 65% of the wrong answers were based on a first-order ToM strategy, while only 29% of them were based on a zero-order strategy (the remaining 6% of subjects did not provide any answer). Based on our instance-based learning model, we propose that when children get feedback “Wrong,” they explicitly revise their strategy to a higher level instead of implicitly selecting one of the available ToM strategies. Moreover, we predict that children’s failures are due to lack of experience and that with exposure to second-order false belief reasoning, children can revise their wrong first-order reasoning strategy to a correct second-order reasoning strategy. PMID:28293206

Five-Year-Olds' Systematic Errors in Second-Order False Belief Tasks Are Due to First-Order Theory of Mind Strategy Selection: A Computational Modeling Study.

Science.gov (United States)

Arslan, Burcu; Taatgen, Niels A; Verbrugge, Rineke

2017-01-01

The focus of studies on second-order false belief reasoning generally was on investigating the roles of executive functions and language with correlational studies. Different from those studies, we focus on the question how 5-year-olds select and revise reasoning strategies in second-order false belief tasks by constructing two computational cognitive models of this process: an instance-based learning model and a reinforcement learning model. Unlike the reinforcement learning model, the instance-based learning model predicted that children who fail second-order false belief tasks would give answers based on first-order theory of mind (ToM) reasoning as opposed to zero-order reasoning. This prediction was confirmed with an empirical study that we conducted with 72 5- to 6-year-old children. The results showed that 17% of the answers were correct and 83% of the answers were wrong. In line with our prediction, 65% of the wrong answers were based on a first-order ToM strategy, while only 29% of them were based on a zero-order strategy (the remaining 6% of subjects did not provide any answer). Based on our instance-based learning model, we propose that when children get feedback "Wrong," they explicitly revise their strategy to a higher level instead of implicitly selecting one of the available ToM strategies. Moreover, we predict that children's failures are due to lack of experience and that with exposure to second-order false belief reasoning, children can revise their wrong first-order reasoning strategy to a correct second-order reasoning strategy.

Resource control of object-oriented programs

OpenAIRE

Marion, Jean-Yves; Pechoux, Romain

2007-01-01

International audience; A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Sup-interpretations have shown their interest to deal with the complexity of first order functional programs. For instance, they allow to characterize all the functions bitwise computable in \\texttt{Alogtime}. This paper is an attempt to adapt the framework of sup-interpretations to a fragment of oriented-object programs, including distinct encoding...

A time correlation function theory describing static field enhanced third order optical effects at interfaces.

Science.gov (United States)

Neipert, Christine; Space, Brian

2006-12-14

Sum vibrational frequency spectroscopy, a second order optical process, is interface specific in the dipole approximation. At charged interfaces, there exists a static field, and as a direct consequence, the experimentally detected signal is a combination of enhanced second and static field induced third order contributions. There is significant evidence in the literature of the importance/relative magnitude of this third order contribution, but no previous molecularly detailed approach existed to separately calculate the second and third order contributions. Thus, for the first time, a molecularly detailed time correlation function theory is derived here that allows for the second and third order contributions to sum frequency vibrational spectra to be individually determined. Further, a practical, molecular dynamics based, implementation procedure for the derived correlation functions that describe the third order phenomenon is also presented. This approach includes a novel generalization of point atomic polarizability models to calculate the hyperpolarizability of a molecular system. The full system hyperpolarizability appears in the time correlation functions responsible for third order contributions in the presence of a static field.

Towards the Implementation of First-Order Temporal Resolution:the Expanding Domain Case

OpenAIRE

Konev, B; Dixon, C; Degtyarev, A; Fisher, M; Hustadt, U

2003-01-01

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and th...

MatLab Script and Functional Programming

Science.gov (United States)

Shaykhian, Gholam Ali

2007-01-01

MatLab Script and Functional Programming: MatLab is one of the most widely used very high level programming languages for scientific and engineering computations. It is very user-friendly and needs practically no formal programming knowledge. Presented here are MatLab programming aspects and not just the MatLab commands for scientists and engineers who do not have formal programming training and also have no significant time to spare for learning programming to solve their real world problems. Specifically provided are programs for visualization. The MatLab seminar covers the functional and script programming aspect of MatLab language. Specific expectations are: a) Recognize MatLab commands, script and function. b) Create, and run a MatLab function. c) Read, recognize, and describe MatLab syntax. d) Recognize decisions, loops and matrix operators. e) Evaluate scope among multiple files, and multiple functions within a file. f) Declare, define and use scalar variables, vectors and matrices.

FITS: a function-fitting program

Energy Technology Data Exchange (ETDEWEB)

Balestrini, S.J.; Chezem, C.G.

1982-01-01

FITS is an iterating computer program that adjusts the parameters of a function to fit a set of data points according to the least squares criterion and then lists and plots the results. The function can be programmed or chosen from a library that is provided. The library can be expanded to include up to 99 functions. A general plotting routine, contained in the program but useful in its own right, is described separately in an Appendix.

The first order fuzzy predicate logic (I)

International Nuclear Information System (INIS)

Sheng, Y.M.

1986-01-01

Some analysis tools of fuzzy measures, Sugeno's integrals, etc. are introduced into the semantic of the first order predicate logic to explain the concept of fuzzy quantifiers. The truth value of a fuzzy quantification proposition is represented by Sugeno's integral. With this framework, several important notions of formation rules, fuzzy valutions and fuzzy validity are discussed

HIGHLY PRECISE APPROXIMATION OF FREE SURFACE GREEN FUNCTION AND ITS HIGH ORDER DERIVATIVES BASED ON REFINED SUBDOMAINS

Directory of Open Access Journals (Sweden)

Jiameng Wu

2018-01-01

Full Text Available The infinite depth free surface Green function (GF and its high order derivatives for diffraction and radiation of water waves are considered. Especially second order derivatives are essential requirements in high-order panel method. In this paper, concerning the classical representation, composed of a semi-infinite integral involving a Bessel function and a Cauchy singularity, not only the GF and its first order derivatives but also second order derivatives are derived from four kinds of analytical series expansion and refined division of whole calculation domain. The approximations of special functions, particularly the hypergeometric function and the algorithmic applicability with different subdomains are implemented. As a result, the computation accuracy can reach 10-9 in whole domain compared with conventional methods based on direct numerical integration. Furthermore, numerical efficiency is almost equivalent to that with the classical method.

Verifying object-oriented programs with higher-order separation logic in Coq

DEFF Research Database (Denmark)

Bengtson, Jesper; Jensen, Jonas Braband; Sieczkowski, Filip

2011-01-01

We present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, we develop novel specification and proof patterns for reasoning in higher-order separation logic with nested triples about programs that use interfaces...... and interface inheritance. In particular, we show how to use the higher-order features of the Coq formalisation to specify and reason modularly about programs that (1) depend on some unknown code satisfying a specification or that (2) return objects conforming to a certain specification. All of our results have...

First-order regional seismotectonic model for South Africa

CSIR Research Space (South Africa)

Singh, M

2011-10-01

Full Text Available A first-order seismotectonic model was created for South Africa. This was done using four logical steps: geoscientific data collection, characterisation, assimilation and zonation. Through the definition of subunits of concentrations of earthquake...

Sensitivity Weaknesses in Application of some Statistical Distribution in First Order Reliability Methods

DEFF Research Database (Denmark)

Sørensen, John Dalsgaard; Enevoldsen, I.

1993-01-01

It has been observed and shown that in some examples a sensitivity analysis of the first order reliability index results in increasing reliability index, when the standard deviation for a stochastic variable is increased while the expected value is fixed. This unfortunate behaviour can occur when...... a stochastic variable is modelled by an asymmetrical density function. For lognormally, Gumbel and Weibull distributed stochastic variables it is shown for which combinations of the/3-point, the expected value and standard deviation the weakness can occur. In relation to practical application the behaviour...... is probably rather infrequent. A simple example is shown as illustration and to exemplify that for second order reliability methods and for exact calculations of the probability of failure this behaviour is much more infrequent....

First- and Second-Order Full-Differential in Edge Analysis of Images

Directory of Open Access Journals (Sweden)

Dong-Mei Pu

2014-01-01

mathematics. We propose and reformulate them with a uniform definition framework. Based on our observation and analysis with the difference, we propose an algorithm to detect the edge from image. Experiments on Corel5K and PASCAL VOC 2007 are done to show the difference between the first order and the second order. After comparison with Canny operator and the proposed first-order differential, the main result is that the second-order differential has the better performance in analysis of changes of the context of images with good selection of control parameter.

On Some Pursuit and Evasion Differential Game Problems for an Infinite Number of First-Order Differential Equations

Directory of Open Access Journals (Sweden)

Abbas Badakaya Ja'afaru

2012-01-01

Full Text Available We study pursuit and evasion differential game problems described by infinite number of first-order differential equations with function coefficients in Hilbert space l2. Problems involving integral, geometric, and mix constraints to the control functions of the players are considered. In each case, we give sufficient conditions for completion of pursuit and for which evasion is possible. Consequently, strategy of the pursuer and control function of the evader are constructed in an explicit form for every problem considered.

Basic first-order model theory in Mizar

Directory of Open Access Journals (Sweden)

Marco Bright Caminati

2010-01-01

Full Text Available The author has submitted to Mizar Mathematical Library a series of five articles introducing a framework for the formalization of classical first-order model theory.In them, Goedel's completeness and Lowenheim-Skolem theorems have also been formalized for the countable case, to offer a first application of it and to showcase its utility.This is an overview and commentary on some key aspects of this setup.It features exposition and discussion of a new encoding of basic definitions and theoretical gears needed for the task, remarks about the design strategies and approaches adopted in their implementation, and more general reflections about proof checking induced by the work done.

Pseudo Boolean Programming for Partially Ordered Genomes

Science.gov (United States)

Angibaud, Sébastien; Fertin, Guillaume; Thévenin, Annelyse; Vialette, Stéphane

Comparing genomes of different species is a crucial problem in comparative genomics. Different measures have been proposed to compare two genomes: number of common intervals, number of adjacencies, number of reversals, etc. These measures are classically used between two totally ordered genomes. However, genetic mapping techniques often give rise to different maps with some unordered genes. Starting from a partial order between genes of a genome, one method to find a total order consists in optimizing a given measure between a linear extension of this partial order and a given total order of a close and well-known genome. However, for most common measures, the problem turns out to be NP-hard. In this paper, we propose a (0,1)-linear programming approach to compute a linear extension of one genome that maximizes the number of common intervals (resp. the number of adjacencies) between this linear extension and a given total order. Next, we propose an algorithm to find linear extensions of two partial orders that maximize the number of adjacencies.

Bubble nucleation in first-order inflation and other cosmological phase transitions

International Nuclear Information System (INIS)

Turner, M.S.; Weinberg, E.J.; Widrow, L.M.

1992-01-01

We address in some detail the kinematics of bubble nucleation and percolation in first-order cosmological phase transitions, with the primary focus on first-order inflation. We study how a first-order phase transition completes, describe measures of its progress, and compute the distribution of bubble sizes. For example, we find that the typical bubble size in a successful transition is of order 1% to 100% of the Hubble radius, and depends very weakly on the energy scale of the transition. We derive very general conditions that must be satisfied by Γ/H 4 to complete the phase transition (Γ=bubble nucleation rate per unit volume; H=expansion rate; physically, Γ/H 4 corresponds to the volume fraction of space occupied by bubbles nucleated over a Hubble time). In particular, Γ/H 4 must exceed 9/4π to successfully end inflation. To avoid the deleterious effects of bubbles nucleated early during inflation on primordial nucleosynthesis and on the isotropy and spectrum of the cosmic microwave background radiation, during most of inflation Γ/H 4 must be less than order 10 -4 --10 -3 . Our constraints imply that in a successful model of first-order inflation the phase transition must complete over a period of at most a few Hubble times and all but preclude individual bubbles from providing an interesting source of density perturbation. We note, though, that it is just possible for Poisson fluctuations in the number of moderately large-size bubbles to lead to interesting isocurvature perturbations, whose spectrum is not scale invariant. Finally, we analyze in detail several recently proposed models of first-order inflation

Order functions and evaluation codes

DEFF Research Database (Denmark)

Høholdt, Tom; Pellikaan, Ruud; van Lint, Jack

1997-01-01

Based on the notion of an order function we construct and determine the parameters of a class of error-correcting evaluation codes. This class includes the one-point algebraic geometry codes as wella s the generalized Reed-Muller codes and the parameters are detremined without using the heavy...... machinery of algebraic geometry....

Multidimensional first-order dominance comparisons of population wellbeing

DEFF Research Database (Denmark)

Arndt, Thomas Channing; Siersbæk, Nikolaj; Østerdal, Lars Peter Raahave

In this paper, we convey the concept of first-order dominance (FOD) with particular focus on applications to multidimensional population welfare comparisons. We give an account of the fundamental equivalent definitions of FOD, illustrated with simple numerical examples. An implementable method...

Multidimensional First-Order Dominance Comparisons of Population Wellbeing

DEFF Research Database (Denmark)

Siersbæk, Nikolaj; Østerdal, Lars Peter Raahave; Arndt, Thomas Channing

2017-01-01

This chapter conveys the concept of first-order dominance (FOD) with particular focus on applications to multidimensional population welfare comparisons. It gives an account of the fundamental equivalent definitions of FOD both in the one-dimensional and multidimensional setting, illustrated...

Free Vibration Analysis of Functionally Graded Porous Doubly-Curved Shells Based on the First-Order Shear Deformation Theory

Directory of Open Access Journals (Sweden)

Farajollah Zare Jouneghani

2017-12-01

Full Text Available Due to some technical issues that can appear during the manufacturing process of Functionally Graded Materials (FGMs, it can be extremely difficult to produce perfect materials. Indeed, one of the biggest problems is the presence of porosities. For this purpose, the vibrational behavior of doubly-curved shells made of FGM including porosities is investigated in this paper. With respect to previous research, the porosity has been added to the mechanical model that characterizes the through-the-thickness distribution of the graded constituents and applied to doubly-curved shell structures. Few papers have been published on this topic. In fact, it is easier to find works related to one-dimensional structures and beam models that take account the effect of porosities. The First-order Shear Deformation Theory (FSDT is considered as the theoretical framework. In addition, the mechanical properties of the constituents vary along the thickness direction. For this purpose, two power-law distributions are employed to characterize their volume fraction. Strain components are established in an orthogonal curvilinear coordinate system and the governing equations are derived according to the Hamilton’s principle. Finally, Navier’s solution method is used and the numerical results concerning three different types of shell structures are presented.

Group-ICA model order highlights patterns of functional brain connectivity

Directory of Open Access Journals (Sweden)

Ahmed eAbou Elseoud

2011-06-01

Full Text Available Resting-state networks (RSNs can be reliably and reproducibly detected using independent component analysis (ICA at both individual subject and group levels. Altering ICA dimensionality (model order estimation can have a significant impact on the spatial characteristics of the RSNs as well as their parcellation into sub-networks. Recent evidence from several neuroimaging studies suggests that the human brain has a modular hierarchical organization which resembles the hierarchy depicted by different ICA model orders. We hypothesized that functional connectivity between-group differences measured with ICA might be affected by model order selection. We investigated differences in functional connectivity using so-called dual-regression as a function of ICA model order in a group of unmedicated seasonal affective disorder (SAD patients compared to normal healthy controls. The results showed that the detected disease-related differences in functional connectivity alter as a function of ICA model order. The volume of between-group differences altered significantly as a function of ICA model order reaching maximum at model order 70 (which seems to be an optimal point that conveys the largest between-group difference then stabilized afterwards. Our results show that fine-grained RSNs enable better detection of detailed disease-related functional connectivity changes. However, high model orders show an increased risk of false positives that needs to be overcome. Our findings suggest that multilevel ICA exploration of functional connectivity enables optimization of sensitivity to brain disorders.

FITS: a function-fitting program

Energy Technology Data Exchange (ETDEWEB)

Balestrini, S.J.; Chezem, C.G.

1982-08-01

FITS is an iterating computer program that adjusts the parameters of a function to fit a set of data points according to the least squares criterion and then lists and plots the results. The function can be programmed or chosen from a library that is provided. The library can be expanded to include up to 99 functions. A general plotting routine, contained in the program but useful in its own right, is described separately in Appendix A. An example problem file and its solution is given in Appendix B.

Glucocorticoid programming of neuroimmune function.

Science.gov (United States)

Walker, David J; Spencer, Karen A

2018-01-15

Throughout life physiological systems strive to maintain homeostasis and these systems are susceptible to exposure to maternal or environmental perturbations, particularly during embryonic development. In some cases, these perturbations may influence genetic and physiological processes that permanently alter the functioning of these physiological systems; a process known as developmental programming. In recent years, the neuroimmune system has garnered attention for its fundamental interactions with key hormonal systems, such as the hypothalamic pituitary adrenal (HPA) axis. The ultimate product of this axis, the glucocorticoid hormones, play a key role in modulating immune responses within the periphery and the CNS as part of the physiological stress response. It is well-established that elevated glucocorticoids induced by developmental stress exert profound short and long-term physiological effects, yet there is relatively little information of how these effects are manifested within the neuroimmune system. Pre and post-natal periods are prime candidates for manipulation in order to uncover the physiological mechanisms that underlie glucocorticoid programming of neuroimmune responses. Understanding the potential programming role of glucocorticoids may be key in uncovering vulnerable windows of CNS susceptibility to stressful experiences during embryonic development and improve our use of glucocorticoids as therapeutics in the treatment of neurodegenerative diseases. Crown Copyright © 2017. Published by Elsevier Inc. All rights reserved.

Approximation of Analytic Functions by Bessel's Functions of Fractional Order

Directory of Open Access Journals (Sweden)

Soon-Mo Jung

2011-01-01

Full Text Available We will solve the inhomogeneous Bessel's differential equation x2y″(x+xy′(x+(x2-ν2y(x=∑m=0∞amxm, where ν is a positive nonintegral number and apply this result for approximating analytic functions of a special type by the Bessel functions of fractional order.

Flexible implementation of the Ensemble Model with arbitrary order of moments

Energy Technology Data Exchange (ETDEWEB)

Ackermann, W. [Technische Universitaet Darmstadt, Institut fuer Theorie Elektromagnetischer Felder (TEMF), Schlossgartenstrasse 8, D 64289 Darmstadt (Germany)]. E-mail: ackermann@temf.tu-darmstadt.de; Weiland, T. [Technische Universitaet Darmstadt, Institut fuer Theorie Elektromagnetischer Felder (TEMF), Schlossgartenstrasse 8, D 64289 Darmstadt (Germany)]. E-mail: thomas.weiland@temf.tu-darmstadt.de

2006-03-01

The Ensemble Model takes advantage of an approach to express the phase space particle distribution function in terms of the first, second and higher order moments instead of considering individual particles. Based on a new flexible implementation, an arbitrary number of orders can be processed and automatically converted into proper update equations for the simulation program V-Code. In this paper the influence of the introduction of higher order moments on the beam dynamics simulation is investigated. The achievable accuracy and the numerical efforts are compared with the ones obtained from the lower order calculations.

First-order model for durability of Hanford waste glasses as a function of composition

International Nuclear Information System (INIS)

Hrma, P.; Piepel, G.F.; Schweiger, M.J.; Smith, D.E.

1992-04-01

Two standard chemical durability tests, the static leach test MCC-1 and product consistency test PCT, were conducted on simulated borosilicate glasses that encompass the expected range of compositions to be produced in the Hanford Waste Vitrification Plant (HWVP). A first-order empirical model was fitted to the data from each test method. The results indicate that glass durability is increased by addition of Al 2 O 3 , moderately increased by addition of ZrO 2 and SiO 2 , and decreased by addition of Li 2 O, Na 2 O, B 2 O 3 , and MgO. Addition of Fe 2 O 3 and CaO produce an indifferent or reducing effect on durability according to the test method. This behavior and a statistically significant lack of fit are attributed to the effects of multiple chemical reactions occurring during glass-water interaction. Liquid-liquid immiscibility is suspected to be responsible for extremely low durability of some glasses

A Bayesian Interpretation of First-Order Phase Transitions

Science.gov (United States)

Davis, Sergio; Peralta, Joaquín; Navarrete, Yasmín; González, Diego; Gutiérrez, Gonzalo

2016-03-01

In this work we review the formalism used in describing the thermodynamics of first-order phase transitions from the point of view of maximum entropy inference. We present the concepts of transition temperature, latent heat and entropy difference between phases as emergent from the more fundamental concept of internal energy, after a statistical inference analysis. We explicitly demonstrate this point of view by making inferences on a simple game, resulting in the same formalism as in thermodynamical phase transitions. We show that analogous quantities will inevitably arise in any problem of inferring the result of a yes/no question, given two different states of knowledge and information in the form of expectation values. This exposition may help to clarify the role of these thermodynamical quantities in the context of different first-order phase transitions such as the case of magnetic Hamiltonians (e.g. the Potts model).

Combined First and Second Order Total Variation Inpainting using Split Bregman

KAUST Repository

Papafitsoros, Konstantinos

2013-07-12

In this article we discuss the implementation of the combined first and second order total variation inpainting that was introduced by Papafitsoros and Schdönlieb. We describe the algorithm we use (split Bregman) in detail, and we give some examples that indicate the difference between pure first and pure second order total variation inpainting.

Combined First and Second Order Total Variation Inpainting using Split Bregman

KAUST Repository

Papafitsoros, Konstantinos; Schoenlieb, Carola Bibiane; Sengul, Bati

2013-01-01

In this article we discuss the implementation of the combined first and second order total variation inpainting that was introduced by Papafitsoros and Schdönlieb. We describe the algorithm we use (split Bregman) in detail, and we give some examples that indicate the difference between pure first and pure second order total variation inpainting.

Finding higher order Darboux polynomials for a family of rational first order ordinary differential equations

Science.gov (United States)

Avellar, J.; Claudino, A. L. G. C.; Duarte, L. G. S.; da Mota, L. A. C. P.

2015-10-01

For the Darbouxian methods we are studying here, in order to solve first order rational ordinary differential equations (1ODEs), the most costly (computationally) step is the finding of the needed Darboux polynomials. This can be so grave that it can render the whole approach unpractical. Hereby we introduce a simple heuristics to speed up this process for a class of 1ODEs.

[College Discovery: America's First PREP Program].

Science.gov (United States)

Smith, James J., Jr.

The Predischarge Education Program (PREP) is a federally funded program, approved in 1970, to help educationally disadvantaged servicemen continue their education. Many junior colleges are running or planning PREP projects in cooperation with military installations and the Veterans Administration. This paper describes the first year of one PREP…

A controllability test for general first-order representations

NARCIS (Netherlands)

U. Helmke; J. Rosenthal; J.M. Schumacher (Hans)

1995-01-01

textabstractIn this paper we derive a new controllability rank test for general first-order representations. The criterion generalizes the well-known controllability rank test for linear input-state systems as well as a controllability rank test by Mertzios et al. for descriptor systems.

Probabilistic peak detection for first-order chromatographic data

NARCIS (Netherlands)

Lopatka, M.; Vivó-Truyols, G.; Sjerps, M.J.

2014-01-01

We present a novel algorithm for probabilistic peak detection in first-order chromatographic data. Unlike conventional methods that deliver a binary answer pertaining to the expected presence or absence of a chromatographic peak, our method calculates the probability of a point being affected by

Reliability Estimation of the Pultrusion Process Using the First-Order Reliability Method (FORM)

DEFF Research Database (Denmark)

Baran, Ismet; Tutum, Cem Celal; Hattel, Jesper Henri

2013-01-01

In the present study the reliability estimation of the pultrusion process of a flat plate is analyzed by using the first order reliability method (FORM). The implementation of the numerical process model is validated by comparing the deterministic temperature and cure degree profiles...... with corresponding analyses in the literature. The centerline degree of cure at the exit (CDOCE) being less than a critical value and the maximum composite temperature (Tmax) during the process being greater than a critical temperature are selected as the limit state functions (LSFs) for the FORM. The cumulative...

Sleep inertia, sleep homeostatic and circadian influences on higher-order cognitive functions.

Science.gov (United States)

Burke, Tina M; Scheer, Frank A J L; Ronda, Joseph M; Czeisler, Charles A; Wright, Kenneth P

2015-08-01

Sleep inertia, sleep homeostatic and circadian processes modulate cognition, including reaction time, memory, mood and alertness. How these processes influence higher-order cognitive functions is not well known. Six participants completed a 73-day-long study that included two 14-day-long 28-h forced desynchrony protocols to examine separate and interacting influences of sleep inertia, sleep homeostasis and circadian phase on higher-order cognitive functions of inhibitory control and selective visual attention. Cognitive performance for most measures was impaired immediately after scheduled awakening and improved during the first ~2-4 h of wakefulness (decreasing sleep inertia); worsened thereafter until scheduled bedtime (increasing sleep homeostasis); and was worst at ~60° and best at ~240° (circadian modulation, with worst and best phases corresponding to ~09:00 and ~21:00 hours, respectively, in individuals with a habitual wake time of 07:00 hours). The relative influences of sleep inertia, sleep homeostasis and circadian phase depended on the specific higher-order cognitive function task examined. Inhibitory control appeared to be modulated most strongly by circadian phase, whereas selective visual attention for a spatial-configuration search task was modulated most strongly by sleep inertia. These findings demonstrate that some higher-order cognitive processes are differentially sensitive to different sleep-wake regulatory processes. Differential modulation of cognitive functions by different sleep-wake regulatory processes has important implications for understanding mechanisms contributing to performance impairments during adverse circadian phases, sleep deprivation and/or upon awakening from sleep. © 2015 European Sleep Research Society.

Determination of astaxanthin in Haematococcus pluvialis by first-order derivative spectrophotometry.

Science.gov (United States)

Liu, Xiao Juan; Juan, Liu Xiao; Wu, Ying Hua; Hua, Wu Ying; Zhao, Li Chao; Chao, Zhao Li; Xiao, Su Yao; Yao, Xiao Su; Zhou, Ai Mei; Mei, Zhou Ai; Liu, Xin; Xin, Liu

2011-01-01

A highly selective, convenient, and precise method, first-order derivative spectrophotometry, was applied for the determination of astaxanthin in Haematococcus pluvialis. Ethyl acetate and ethanol (1:1, v/v) were found to be the best extraction solvent tested due to their high efficiency and low toxicity compared with nine other organic solvents. Astaxanthin coexisting with chlorophyll and beta-carotene was analyzed by first-order derivative spectrophotometry in order to optimize the conditions for the determination of astaxanthin. The results show that when detected at 432 nm, the interfering substances could be eliminated. The dynamic linear range was 2.0-8.0 microg/mL, with a correlation coefficient of 0.9916. The detection threshold was 0.41 microg/mL. The RSD for the determination of astaxanthin was in the range of 0.01-0.06%; the results of recovery test were 98.1-108.0%. The statistical analysis between first-order derivative spectrophotometry and HPLC by T-testing did not exceed their critical values, revealing no significant differences between these two methods. It was proved that first-order derivative spectrophotometry is a rapid and convenient method for the determination of astaxanthin in H. pluvialis that can eliminate the negative effect resulting from the coexistence of astaxanthin with chlorophyll and beta-carotene.

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs

Directory of Open Access Journals (Sweden)

Angelos Charalambidis

2015-09-01

Full Text Available Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming. The former approach uses classical domain theoretic tools while the latter builds on a fixed-point construction defined on a syntactic instantiation of the source program. The relationships between these two approaches had not been investigated until now. In this paper we demonstrate that for a very broad class of programs, namely the class of definitional programs introduced by W. W. Wadge, the two approaches coincide (with respect to ground atoms that involve symbols of the program. On the other hand, we argue that if existential higher-order variables are allowed to appear in the bodies of program rules, the two approaches are in general different. The results of the paper contribute to a better understanding of the semantics of higher-order logic programming.

Characterization of Symmetry Properties of First Integrals for Submaximal Linearizable Third-Order ODEs

Directory of Open Access Journals (Sweden)

K. S. Mahomed

2013-01-01

Full Text Available The relationship between first integrals of submaximal linearizable third-order ordinary differential equations (ODEs and their symmetries is investigated. We obtain the classifying relations between the symmetries and the first integral for submaximal cases of linear third-order ODEs. It is known that the maximum Lie algebra of the first integral is achieved for the simplest equation and is four-dimensional. We show that for the other two classes they are not unique. We also obtain counting theorems of the symmetry properties of the first integrals for these classes of linear third-order ODEs. For the 5 symmetry class of linear third-order ODEs, the first integrals can have 0, 1, 2, and 3 symmetries, and for the 4 symmetry class of linear third-order ODEs, they are 0, 1, and 2 symmetries, respectively. In the case of submaximal linear higher-order ODEs, we show that their full Lie algebras can be generated by the subalgebras of certain basic integrals.

Energy Budget of Cosmological First-order Phase Transitions

CERN Document Server

Espinosa, Jose R; No, Jose M; Servant, Geraldine

2010-01-01

The study of the hydrodynamics of bubble growth in first-order phase transitions is very relevant for electroweak baryogenesis, as the baryon asymmetry depends sensitively on the bubble wall velocity, and also for predicting the size of the gravity wave signal resulting from bubble collisions, which depends on both the bubble wall velocity and the plasma fluid velocity. We perform such study in different bubble expansion regimes, namely deflagrations, detonations, hybrids (steady states) and runaway solutions (accelerating wall), without relying on a specific particle physics model. We compute the efficiency of the transfer of vacuum energy to the bubble wall and the plasma in all regimes. We clarify the condition determining the runaway regime and stress that in most models of strong first-order phase transitions this will modify expectations for the gravity wave signal. Indeed, in this case, most of the kinetic energy is concentrated in the wall and almost no turbulent fluid motions are expected since the s...

Generalized second-order Coulomb phase shift functions

International Nuclear Information System (INIS)

Rosendorff, S.

1982-01-01

Some specific properties and the evaluation of the generalized second-order Coulomb phase shift functions (two-dimensional integrals of four spherical cylinder functions) are discussed. The dependence on the three momenta k 1 ,k-bar,k 2 , corresponding to the final, intermediate, and initial states is illustrated

Third-order TRANSPORT: A computer program for designing charged particle beam transport systems

International Nuclear Information System (INIS)

Carey, D.C.; Brown, K.L.; Rothacker, F.

1995-05-01

TRANSPORT has been in existence in various evolutionary versions since 1963. The present version of TRANSPORT is a first-, second-, and third-order matrix multiplication computer program intended for the design of static-magnetic beam transport systems. This report discusses the following topics on TRANSPORT: Mathematical formulation of TRANSPORT; input format for TRANSPORT; summaries of TRANSPORT elements; preliminary specifications; description of the beam; physical elements; other transformations; assembling beam lines; operations; variation of parameters for fitting; and available constraints -- the FIT command

The power of non-determinism in higher-order implicit complexity

DEFF Research Database (Denmark)

Kop, Cynthia Louisa Martina; Simonsen, Jakob Grue

2017-01-01

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur...... in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order...... 0. Previous work has shown that adding explicit non-determinism to consfree programs taking data of order 0 does not increase expressivity; we prove that this—dramatically—is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows...

A system at the cross-roads of functional and logic programming

NARCIS (Netherlands)

Kamareddine, F.

1992-01-01

The type-free ¿-calculus is powerful enough to contain all the polymorphic and higher-order nature of functional programming and furthermore types could be constructed inside it. However, mixing the type-free ¿-calculus with logic is not very straightforward (see Aczel [1] and Scott [15]). In this

Molecular orientational re-ordering and the transformation of a Landau second order phase transition to first order in a nematic liquid crystal

International Nuclear Information System (INIS)

Ponce, T.C.

1988-08-01

We consider the nature of the nematic to isotropic phase transition in terms of the molecular orientational re-ordering, expressed by the variation of the order parameter, s, in the light of Landau's theory of second order phase transition. Then, we show how the de Gennes modification to the Landau thermodynamic potential converts the transition to first order which is in better agreement with the experimental observations. (author). 9 refs, 2 figs, 1 tab

Implementation of Order-wire Functionality in IRITEL NG-SDH devices

Directory of Open Access Journals (Sweden)

D. Katanić

2011-06-01

Full Text Available This paper describes the implementation of order-wire functionality in NG-SDH devices ODS2G5 and OTS622 IRITEL. The paper also describes the operation of order-wire in networks with arbitrary topologies, as well as the configuration of order-wire functionality by using network management software SUNCE. The presented solution for order-wire functionality is compared with VoIP solutions. The paper shows that the presented solution provides fast reaction to network failures, while keeping the implementation simple.

A survey of functional programming language principles

Science.gov (United States)

Holloway, C. M.

1986-01-01

Research in the area of functional programming languages has intensified in the 8 years since John Backus' Turing Award Lecture on the topic was published. The purpose of this paper is to present a survey of the ideas of functional programming languages. The paper assumes the reader is comfortable with mathematics and has knowledge of the basic principles of traditional programming languages, but does not assume any prior knowledge of the ideas of functional languages. A simple functional language is defined and used to illustrate the basic ideas. Topics discussed include the reasons for developing functional languages, methods of expressing concurrency, the algebra of functional programming languages, program transformation techniques, and implementations of functional languages. Existing functional languages are also mentioned. The paper concludes with the author's opinions as to the future of functional languages. An annotated bibliography on the subject is also included.

A first-order Green's function approach to supersonic oscillatory flow: A mixed analytic and numeric treatment

Science.gov (United States)

Freedman, M. I.; Sipcic, S.; Tseng, K.

1985-01-01

A frequency domain Green's Function Method for unsteady supersonic potential flow around complex aircraft configurations is presented. The focus is on the supersonic range wherein the linear potential flow assumption is valid. In this range the effects of the nonlinear terms in the unsteady supersonic compressible velocity potential equation are negligible and therefore these terms will be omitted. The Green's function method is employed in order to convert the potential flow differential equation into an integral one. This integral equation is then discretized, through standard finite element technique, to yield a linear algebraic system of equations relating the unknown potential to its prescribed co-normalwash (boundary condition) on the surface of the aircraft. The arbitrary complex aircraft configuration (e.g., finite-thickness wing, wing-body-tail) is discretized into hyperboloidal (twisted quadrilateral) panels. The potential and co-normalwash are assumed to vary linearly within each panel. The long range goal is to develop a comprehensive theory for unsteady supersonic potential aerodynamic which is capable of yielding accurate results even in the low supersonic (i.e., high transonic) range.

The Deuteron Spin-dependent Structure Function $g^{d}_1$ and its First Moment

CERN Document Server

Alexakhin, V.Yu.; Alexeev, G.D.; Alexeev, M.; Amoroso, A.; Balestra, F.; Ball, J.; Barth, J.; Baum, G.; Becker, M.; Bedfer, Y.; Bernet, C.; Bertini, R.; Bettinelli, M.; Birsa, R.; Bisplinghoff, J.; Bordalo, P.; Bradamante, F.; Bressan, A.; Brona, G.; Burtin, E.; Bussa, M.P.; Bytchkov, V.N.; Chapiro, A.; Cicuttin, A.; Colantoni, M.; Colavita, A.A.; Costa, S.; Crespo, M.L.; d'Hose, N.; Dalla Torre, S.; Das, S.; Dasgupta, S.S.; De Masi, R.; Dedek, N.; Demchenko, D.; Denisov, O.Yu.; Dhara, L.; Diaz, V.; Dinkelbach, A.M.; Donskov, S.V.; Dorofeev, V.A.; Doshita, N.; Duic, V.; Dunnweber, W.; Efremov, A.; Eversheim, P.D.; Eyrich, W.; Faessler, M.; Fauland, P.; Ferrero, A.; Ferrero, L.; Finger, M.; M. Finger jr.; Fischer, H.; Franz, J.; Friedrich, J.M.; Frolov, V.; Garfagnini, R.; Gautheron, F.; Gavrichtchouk, O.P.; Gerassimov, S.; Geyer, R.; Giorgi, M.; Gobbo, B.; Goertz, S.; Gorin, A.M.; Grajek, O.A.; Grasso, A.; Grube, B.; Guskov, A.; Haas, F.; Hannappel, J.; von Harrach, D.; Hasegawa, T.; Hedicke, S.; Heinsius, F.H.; Hermann, R.; Hess, C.; Hinterberger, F.; von Hodenberg, M.; Horikawa, N.; Horikawa, S.; Horn, I.; Ilgner, C.; Ioukaev, A.I.; Ivanchin, I.; Ivanov, O.; Iwata, T.; Jahn, R.; Janata, A.; Joosten, R.; Jouravlev, N.I.; Kabuss, E.; Kang, D.; Ketzer, B.; Khaustov, G.V.; Khokhlov, Yu. A.; Kisselev, Yu.; Klein, F.; Klimaszewski, K.; Koblitz, S.; Koivuniemi, J.H.; Kolosov, V.N.; Komissarov, E.V.; Kondo, K.; Konigsmann, K.; Konorov, I.; Konstantinov, V.F.; Korentchenko, A.S.; Korzenev, A.; Kotzinian, A.M.; Koutchinski, N.A.; Kouznetsov, O.; Kowalik, K.; Kramer, D.; Kravchuk, N.P.; Krivokhizhin, G.V.; Kroumchtein, Z.V.; Kubart, J.; Kuhn, R.; Kukhtin, V.; Kunne, F.; Kurek, K.; Ladygin, M.E.; Lamanna, M.; Le Goff, J.M.; Leberig, M.; Lednev, A.A.; Lehmann, A.; Lichtenstadt, J.; Liska, T.; Ludwig, I.; Maggiora, A.; Maggiora, M.; Magnon, A.; Mallot, G.K.; Marchand, C.; Marroncle, J.; Martin, A.; Marzec, J.; Masek, L.; Massmann, F.; Matsuda, T.; Matthia, D.; Maximov, A.N.; Meyer, W.; Mielech, A.; Mikhailov, Yu. V.; Moinester, M.A.; Nagel, T.; Nahle, O.; Nassalski, J.; Neliba, S.; Neyret, D.P.; Nikolaenko, V.I.; Nikolaev, K.; Nozdrin, A.A.; Obraztsov, V.F.; Olshevsky, A.G.; Ostrick, M.; Padee, A.; Pagano, P.; Panebianco, S.; Panzieri, D.; Paul, S.; Peshekhonov, D.V.; Peshekhonov, V.D.; Piragino, G.; Platchkov, S.; Pochodzalla, J.; Polak, J.; Polyakov, V.A.; Pontecorvo, G.; Popov, A.A.; Pretz, J.; Procureur, S.; Quintans, C.; Ramos, S.; Reicherz, G.; Rondio, E.; Rozhdestvensky, A.M.; Ryabchikov, D.; Samoylenko, V.D.; Sandacz, A.; Santos, H.; Sapozhnikov, M.G.; Savin, I.A.; Schiavon, P.; Schill, C.; Schmitt, L.; Schroeder, W.; Seeharsch, D.; Seimetz, M.; Setter, D.; Shevchenko, O.Yu.; Siebert, H.W.; Silva, L.; Sinha, L.; Sissakian, A.N.; Slunecka, M.; Smirnov, G.I.; Sozzi, F.; Srnka, A.; Stinzing, F.; Stolarski, M.; Sugonyaev, V.P.; Sulc, M.; Sulej, R.; Tchalishev, V.V.; Tessaro, S.; Tessarotto, F.; Teufel, A.; Tkatchev, L.G.; Trippel, S.; Venugopal, G.; Virius, M.; Vlassov, N.V.; Webb, R.; Weise, E.; Weitzel, Q.; Windmolders, R.; Wislicki, W.; Zaremba, K.; Zavertyaev, M.; Zemlyanichkina, E.; Zhao, J.; Zvyagin, A.

2007-01-01

We present a measurement of the deuteron spin-dependent structure function g^d_1 based on the data collected by the COMPASS experiment at CERN during the years 2002-2004. The data provide an accurate evaluation for \\Gamma^d_1, the first moment of g^d_1(x), and for the matrix element of the singlet axial current, a_0. The results of QCD fits in the next to leading order (NLO) on all g1 deep inelastic scattering data are also presented. They provide two solutions with the gluon spin distribution function \\Delta_G positive or negative, which describe the data equally well. In both cases, at Q^2 = 3(GeV/c)^2 the first moment of \\Delta G is found to be of the order of 0:2 - 0:3 in absolute value.

Higher-order terms in the nuclear-energy-density functional

International Nuclear Information System (INIS)

Carlsson, B. G.; Borucki, M.; Dobaczewski, J.

2009-01-01

One of the current projects at the Department of Physics in the University of Jyvaeskylae is to explore more general forms of the Skyrme energy-density functional (EDF). The aim is to find new phenomenological terms which are sensitive to experimental data. In this context we have extended the Skyrme functional by including terms which contain higher orders of derivatives allowing for a better description of finite range effects. This was done by employing an expansion in derivatives in a spherical-tensor formalism [1] motivated by ideas of the density-matrix expansion. The resulting functionals have different number of free parameters depending on the order in derivatives and assumed symmetries, see Fig. 1. The usual Skyrme EDF is obtained as a second order expansion while we keep terms up to sixth order.(author)

Fuzzy stochastic generalized reliability studies on embankment systems based on first-order approximation theorem

Directory of Open Access Journals (Sweden)

Wang Yajun

2008-12-01

Full Text Available In order to address the complex uncertainties caused by interfacing between the fuzziness and randomness of the safety problem for embankment engineering projects, and to evaluate the safety of embankment engineering projects more scientifically and reasonably, this study presents the fuzzy logic modeling of the stochastic finite element method (SFEM based on the harmonious finite element (HFE technique using a first-order approximation theorem. Fuzzy mathematical models of safety repertories were introduced into the SFEM to analyze the stability of embankments and foundations in order to describe the fuzzy failure procedure for the random safety performance function. The fuzzy models were developed with membership functions with half depressed gamma distribution, half depressed normal distribution, and half depressed echelon distribution. The fuzzy stochastic mathematical algorithm was used to comprehensively study the local failure mechanism of the main embankment section near Jingnan in the Yangtze River in terms of numerical analysis for the probability integration of reliability on the random field affected by three fuzzy factors. The result shows that the middle region of the embankment is the principal zone of concentrated failure due to local fractures. There is also some local shear failure on the embankment crust. This study provides a referential method for solving complex multi-uncertainty problems in engineering safety analysis.

Accreditation of Spanish engineering programs, first experiences. The case of the Terrassa School of Engineering

Directory of Open Access Journals (Sweden)

Mª Dolores Álvarez

2016-03-01

Full Text Available The implementation of the European Space for Higher Education has entailed new requirements for Spanish Higher Education Programs. Regulations (RD 1393, 2007 stablish that university programs, in order to have official validity, must be submitted to an external evaluation process before their official implementation, denominated Validation, and to an ex-post process or Accreditation. Terrassa School of Engineering (EET was one of the first schools in Spain to adapt to the European Space for Higher Education, in the academic period 2009-10 and then, one of the first university institutions submitted to an accreditation process. In this communication, the important role of the Internal Quality Assurance System in the assessment of the school’s programs is exposed as well as the approach followed in the key steps of the process: Accreditation

First-order chemistry in the surface-flux layer

DEFF Research Database (Denmark)

Kristensen, L.; Andersen, C.E.; Ejsing Jørgensen, Hans

1997-01-01

of a characteristic turbulent time scale and the scalar mean lifetime. We show that if we use only first-order closure and neglect the effect of the Damkohler ratio on the turbulent diffusivity we obtain another analytic solution for the profiles of the flux and the mean concentration which, from an experimental...

Transformation of general binary MRF minimization to the first-order case.

Science.gov (United States)

Ishikawa, Hiroshi

2011-06-01

We introduce a transformation of general higher-order Markov random field with binary labels into a first-order one that has the same minima as the original. Moreover, we formalize a framework for approximately minimizing higher-order multi-label MRF energies that combines the new reduction with the fusion-move and QPBO algorithms. While many computer vision problems today are formulated as energy minimization problems, they have mostly been limited to using first-order energies, which consist of unary and pairwise clique potentials, with a few exceptions that consider triples. This is because of the lack of efficient algorithms to optimize energies with higher-order interactions. Our algorithm challenges this restriction that limits the representational power of the models so that higher-order energies can be used to capture the rich statistics of natural scenes. We also show that some minimization methods can be considered special cases of the present framework, as well as comparing the new method experimentally with other such techniques.

Nucleation of relativistic first-order phase transitions

International Nuclear Information System (INIS)

Csernai, L.P.; Kapusta, J.I.

1992-01-01

The authors apply the general formalism of Langer to compute the nucleation rate for systems of relativistic particles with zero or small baryon number density and which undergo first-order phase transitions. In particular, the pre-exponential factor is computed and it is proportional to the viscosity. The initial growth rate of a critical size bubble or droplet is limited by the ability of dissipative processes to transport latent heat away from the surface. 30 refs., 4 figs

Correction of the first order beam transport of the SLC Arcs

International Nuclear Information System (INIS)

Walker, N.; Barklow, T.; Emma, P.; Krejcik, P.

1991-05-01

Correction of the first order transport of the SLC Arcs has been made possible by a technique which allows the full 4x4 transport matrix across any section of Arc to be experimentally determined. By the introduction of small closed bumps into each achromat, it is possible to substantially correct first order optical errors, and notably the cross plane coupling at the exit of the Arcs. 4 refs., 3 figs

Higher-Order and Symbolic Computation

DEFF Research Database (Denmark)

Danvy, Olivier; Mason, Ian

2008-01-01

a series of implementaions that properly account for multiple invocations of the derivative-taking opeatro. In "Adapting Functional Programs to Higher-Order Logic," Scott Owens and Konrad Slind present a variety of examples of terminiation proofs of functional programs written in HOL proof systems. Since......-calculus programs, historically. The anaylsis determines the possible locations of ambients and mirrors the temporla sequencing of actions in the structure of types....

A next-to-leading order QCD analysis of the spin structure function $g_1$

CERN Document Server

AUTHOR|(CDS)2067425; Arik, E; Badelek, B; Bardin, G; Baum, G; Berglund, P; Betev, L; Birsa, R; De Botton, N R; Bradamante, Franco; Bravar, A; Bressan, A; Bültmann, S; Burtin, E; Crabb, D; Cranshaw, J; Çuhadar-Dönszelmann, T; Dalla Torre, S; Van Dantzig, R; Derro, B R; Deshpande, A A; Dhawan, S K; Dulya, C M; Eichblatt, S; Fasching, D; Feinstein, F; Fernández, C; Forthmann, S; Frois, Bernard; Gallas, A; Garzón, J A; Gilly, H; Giorgi, M A; von Goeler, E; Görtz, S; Gracia, G; De Groot, N; Grosse-Perdekamp, M; Haft, K; Von Harrach, D; Hasegawa, T; Hautle, P; Hayashi, N; Heusch, C A; Horikawa, N; Hughes, V W; Igo, G; Ishimoto, S; Iwata, T; Kabuss, E M; Kageya, T; Karev, A G; Kessler, H J; Ketel, T; Kiryluk, J; Kiselev, Yu F; Krämer, Dietrich; Krivokhizhin, V G; Kröger, W; Kukhtin, V V; Kurek, K; Kyynäräinen, J; Lamanna, M; Landgraf, U; Le Goff, J M; Lehár, F; de Lesquen, A; Lichtenstadt, J; Litmaath, M; Magnon, A; Mallot, G K; Marie, F; Martin, A; Martino, J; Matsuda, T; Mayes, B W; McCarthy, J S; Medved, K S; Meyer, W T; Van Middelkoop, G; Miller, D; Miyachi, Y; Mori, K; Moromisato, J H; Nassalski, J P; Naumann, Lutz; Niinikoski, T O; Oberski, J; Ogawa, A; Ozben, C; Pereira, H; Perrot-Kunne, F; Peshekhonov, V D; Piegia, R; Pinsky, L; Platchkov, S K; Pló, M; Pose, D; Postma, H; Pretz, J; Puntaferro, R; Rädel, G; Rijllart, A; Reicherz, G; Roberts, J; Rodríguez, M; Rondio, Ewa; Sabo, I; Saborido, J; Sandacz, A; Savin, I A; Schiavon, R P; Schiller, A; Sichtermann, E P; Simeoni, F; Smirnov, G I; Staude, A; Steinmetz, A; Stiegler, U; Stuhrmann, H B; Szleper, M; Tessarotto, F; Thers, D; Tlaczala, W; Tripet, A; Ünel, G; Velasco, M; Vogt, J; Voss, Rüdiger; Whitten, C; Windmolders, R; Willumeit, R; Wislicki, W; Witzmann, A; Ylöstalo, J; Zanetti, A M; Zaremba, K; Zhao, J

1998-01-01

We present a next-to-leading order QCD analysis of the presently available data on the spin structure function $g_1$ including the final data from the Spin Muon Collaboration (SMC). We present resu lts for the first moments of the proton, deuteron and neutron structure functions, and determine singlet and non-singlet parton distributions in two factorization schemes. We also test the Bjor ken sum rule and find agreement with the theoretical prediction at the level of 10\\%.

Specifying and Verifying Organizational Security Properties in First-Order Logic

Science.gov (United States)

Brandt, Christoph; Otten, Jens; Kreitz, Christoph; Bibel, Wolfgang

In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell-La Padula. We show that these policies can be represented by formal requirements and constraints in first-order logic. By additionally providing a formal model for the flow of data between business departments we demonstrate how security policies can be applied to a concrete organizational setting and checked with a first-order theorem prover. Our approach can be applied without requiring a deep formal expertise and it therefore promises a high potential of usability in the business.

First-order and higher order sequence learning in specific language impairment.

Science.gov (United States)

Clark, Gillian M; Lum, Jarrad A G

2017-02-01

A core claim of the procedural deficit hypothesis of specific language impairment (SLI) is that the disorder is associated with poor implicit sequence learning. This study investigated whether implicit sequence learning problems in SLI are present for first-order conditional (FOC) and higher order conditional (HOC) sequences. Twenty-five children with SLI and 27 age-matched, nonlanguage-impaired children completed 2 serial reaction time tasks. On 1 version, the sequence to be implicitly learnt comprised a FOC sequence and on the other a HOC sequence. Results showed that the SLI group learned the HOC sequence (η p ² = .285, p = .005) but not the FOC sequence (η p ² = .099, p = .118). The control group learned both sequences (FOC η p ² = .497, HOC η p 2= .465, ps < .001). The SLI group's difficulty learning the FOC sequence is consistent with the procedural deficit hypothesis. However, the study provides new evidence that multiple mechanisms may underpin the learning of FOC and HOC sequences. (PsycINFO Database Record (c) 2017 APA, all rights reserved).

An Analysis of First Year Engineering Students' Satisfaction with a Support Distance Learning Program in Mathematics

Science.gov (United States)

Matzakos, Nikolaos M.; Kalogiannakis, Michail

2018-01-01

An online support distance-learning program in Mathematics was developed to aid first year engineering students for their transition from the secondary to the tertiary education in order to reinforce deficiencies they may have in mathematical knowledge. The aim of the present study is to examine, firstly, to what extent the attendance of such a…

30 CFR 77.1706 - First aid training program; minimum requirements.

Science.gov (United States)

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false First aid training program; minimum... OF UNDERGROUND COAL MINES Miscellaneous § 77.1706 First aid training program; minimum requirements. (a) All first aid training programs required under the provisions of §§ 77.1703 and 77.1704 shall...

A Derivational Approach to the Operational Semantics of Functional Languages

DEFF Research Database (Denmark)

Biernacka, Malgorzata

We study the connections between different forms of operational semantics for functional programming languages and we present systematic methods of interderiving reduction semantics, abstract machines and higher-order evaluators. We first consider two methods based on program transformations: a s...

Two-photon decay rates of hydrogenlike ions revisited by using Dirac-Coulomb Sturmian expansions of the first order

Science.gov (United States)

Bona, Zachée; Nganso, Hugues Merlain Tetchou; Ekogo, Thierry Blanchard; Njock, Moïse Godfroy Kwato

2014-02-01

A fully relativistic multipole scheme is formulated to study two-photon emission processes in hydrogenlike ions with an infinitely heavy, pointlike, and spinless nucleus of charge up to 100. By making use of the Sturmian expansion of the Dirac-Coulomb Green function of the first order constructed by Szmytkowski, closed-form expressions are derived for arbitrary multipole channels. In the nonrelativistic limit, well-known formulas established previously are retrieved. For the sake of assessing the effectiveness of our approach, numerical applications are then carried out for two-photon decay rates of the selected 2s1/2 and 2p1/2 atomic states. To this end, radial integrals, the most crucial quantities involved in the matrix elements, are treated with great care by means of two suitable techniques that agree with each other quite closely so that very accurate values are obtained regardless of the choice of parameters, such as radial quantum numbers and orders of spherical Bessel functions of the first kind. In addition, the convergence and stability of computations are checked in connection with the intermediate-state summation, which appears within the second-order perturbation theory. As expected, the gauge invariance of our fully relativistic multipole numbers is confirmed. Relativistic effects, and the influence of the negative spectrum of the complete set of Dirac-Coulomb Sturmians of first order and retardation truncations in the transition operator are examined. Finally, a comparison is undertaken of our two-photon relativistic calculations with refined predictions of other authors based on finite basis-set methods widely employed over the past decades.

Analyzing the Implicit Computational Complexity of object-oriented programs

OpenAIRE

Marion , Jean-Yves; Péchoux , Romain

2008-01-01

International audience; A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to deal with the complexity of first order functional programs. This paper is an attempt to adapt the framework of sup-interpretations to a fragment of object-oriented programs, including loop and while constructs and methods with side effects. We give a criterion, called brotherly criterion, w...

1/N-expansion of the non-linear σ-model: The first three orders

International Nuclear Information System (INIS)

Flyvbjerg, H.; Varsted, S.

1990-01-01

The two-point function of the O(N)-symmetric non-linear σ-model is expanded in 1/N, keeping terms of three leading orders. The mass gap and the magnetic susceptibility are obtained from the two-point function. They are evaluated on square lattices for N=3 and N=4. The systematic errors of the 1/N-series truncated after the first, second, or third term are found by using recent high precision Monte Carlo results as bench marks. For all three truncations, we find systematic errors which are smaller than the expected magnitude of neglected terms, both for the mass gap and for the susceptibility. This result is uniform in the inverse coupling β, and valid for N as small as 3. We conclude that the 1/N-series approach the exact results as rapidly as one could ever hope for. (orig.)

The lazy functional side of logic programming

NARCIS (Netherlands)

Etalle, Sandro; Lau, K.K.; Mountjoy, Jon

In this paper we show, among other things, that logical structures such as di erence lists have a natural counterpart in lazy functional programs; i.e. that most programs using di erence-lists are functional in nature. This shows immediately that many common non-well-moded programs are functional in

Dynamics of a Fractional Order HIV Infection Model with Specific Functional Response and Cure Rate

Directory of Open Access Journals (Sweden)

Adnane Boukhouima

2017-01-01

Full Text Available We propose a fractional order model in this paper to describe the dynamics of human immunodeficiency virus (HIV infection. In the model, the infection transmission process is modeled by a specific functional response. First, we show that the model is mathematically and biologically well posed. Second, the local and global stabilities of the equilibria are investigated. Finally, some numerical simulations are presented in order to illustrate our theoretical results.

First Wall, Blanket, Shield Engineering Technology Program

International Nuclear Information System (INIS)

Nygren, R.E.

1982-01-01

The First Wall/Blanket/Shield Engineering Technology Program sponsored by the Office of Fusion Energy of DOE has the overall objective of providing engineering data that will define performance parameters for nuclear systems in advanced fusion reactors. The program comprises testing and the development of computational tools in four areas: (1) thermomechanical and thermal-hydraulic performance of first-wall component facsimiles with emphasis on surface heat loads; (2) thermomechanical and thermal-hydraulic performance of blanket and shield component facsimiles with emphasis on bulk heating; (3) electromagnetic effects in first wall, blanket, and shield component facsimiles with emphasis on transient field penetration and eddy-current effects; (4) assembly, maintenance and repair with emphasis on remote-handling techniques. This paper will focus on elements 2 and 4 above and, in keeping with the conference participation from both fusion and fission programs, will emphasize potential interfaces between fusion technology and experience in the fission industry

Local divergence and curvature divergence in first order optics

Science.gov (United States)

Mafusire, Cosmas; Krüger, Tjaart P. J.

2018-06-01

The far-field divergence of a light beam propagating through a first order optical system is presented as a square root of the sum of the squares of the local divergence and the curvature divergence. The local divergence is defined as the ratio of the beam parameter product to the beam width whilst the curvature divergence is a ratio of the space-angular moment also to the beam width. It is established that the beam’s focusing parameter can be defined as a ratio of the local divergence to the curvature divergence. The relationships between the two divergences and other second moment-based beam parameters are presented. Their various mathematical properties are presented such as their evolution through first order systems. The efficacy of the model in the analysis of high power continuous wave laser-based welding systems is briefly discussed.

QCD-Electroweak First-Order Phase Transition in a Supercooled Universe

Science.gov (United States)

Iso, Satoshi; Serpico, Pasquale D.; Shimada, Kengo

2017-10-01

If the electroweak sector of the standard model is described by classically conformal dynamics, the early Universe evolution can be substantially altered. It is already known that—contrarily to the standard model case—a first-order electroweak phase transition may occur. Here we show that, depending on the model parameters, a dramatically different scenario may happen: A first-order, six massless quark QCD phase transition occurs first, which then triggers the electroweak symmetry breaking. We derive the necessary conditions for this dynamics to occur, using the specific example of the classically conformal B -L model. In particular, relatively light weakly coupled particles are predicted, with implications for collider searches. This scenario is also potentially rich in cosmological consequences, such as renewed possibilities for electroweak baryogenesis, altered dark matter production, and gravitational wave production, as we briefly comment upon.

QCD-Electroweak First-Order Phase Transition in a Supercooled Universe.

Science.gov (United States)

Iso, Satoshi; Serpico, Pasquale D; Shimada, Kengo

2017-10-06

If the electroweak sector of the standard model is described by classically conformal dynamics, the early Universe evolution can be substantially altered. It is already known that-contrarily to the standard model case-a first-order electroweak phase transition may occur. Here we show that, depending on the model parameters, a dramatically different scenario may happen: A first-order, six massless quark QCD phase transition occurs first, which then triggers the electroweak symmetry breaking. We derive the necessary conditions for this dynamics to occur, using the specific example of the classically conformal B-L model. In particular, relatively light weakly coupled particles are predicted, with implications for collider searches. This scenario is also potentially rich in cosmological consequences, such as renewed possibilities for electroweak baryogenesis, altered dark matter production, and gravitational wave production, as we briefly comment upon.

Thermoelastic analysis of non-uniform pressurized functionally graded cylinder with variable thickness using first order shear deformation theory(FSDT) and perturbation method

Science.gov (United States)

Khoshgoftar, M. J.; Mirzaali, M. J.; Rahimi, G. H.

2015-11-01

Recently application of functionally graded materials(FGMs) have attracted a great deal of interest. These materials are composed of various materials with different micro-structures which can vary spatially in FGMs. Such composites with varying thickness and non-uniform pressure can be used in the aerospace engineering. Therefore, analysis of such composite is of high importance in engineering problems. Thermoelastic analysis of functionally graded cylinder with variable thickness under non-uniform pressure is considered. First order shear deformation theory and total potential energy approach is applied to obtain the governing equations of non-homogeneous cylinder. Considering the inner and outer solutions, perturbation series are applied to solve the governing equations. Outer solution for out of boundaries and more sensitive variable in inner solution at the boundaries are considered. Combining of inner and outer solution for near and far points from boundaries leads to high accurate displacement field distribution. The main aim of this paper is to show the capability of matched asymptotic solution for different non-homogeneous cylinders with different shapes and different non-uniform pressures. The results can be used to design the optimum thickness of the cylinder and also some properties such as high temperature residence by applying non-homogeneous material.

Quantification of the first-order high-pass filter's influence on the automatic measurements of the electrocardiogram.

Science.gov (United States)

Isaksen, Jonas; Leber, Remo; Schmid, Ramun; Schmid, Hans-Jakob; Generali, Gianluca; Abächerli, Roger

2017-02-01

The first-order high-pass filter (AC coupling) has previously been shown to affect the ECG for higher cut-off frequencies. We seek to find a systematic deviation in computer measurements of the electrocardiogram when the AC coupling with a 0.05 Hz first-order high-pass filter is used. The standard 12-lead electrocardiogram from 1248 patients and the automated measurements of their DC and AC coupled version were used. We expect a large unipolar QRS-complex to produce a deviation in the opposite direction in the ST-segment. We found a strong correlation between the QRS integral and the offset throughout the ST-segment. The coefficient for J amplitude deviation was found to be -0.277 µV/(µV⋅s). Potential dangerous alterations to the diagnostically important ST-segment were found. Medical professionals and software developers for electrocardiogram interpretation programs should be aware of such high-pass filter effects since they could be misinterpreted as pathophysiology or some pathophysiology could be masked by these effects. Copyright © 2016 Elsevier Ireland Ltd. All rights reserved.

Biotransformation of trace organic chemicals during groundwater recharge: How useful are first-order rate constants?

KAUST Repository

Regnery, J.

2015-05-29

This study developed relationships between the attenuation of emerging trace organic chemicals (TOrC) during managed aquifer recharge (MAR) as a function of retention time, system characteristics, and operating conditions using controlled laboratory-scale soil column experiments simulating MAR. The results revealed that MAR performance in terms of TOrC attenuation is primarily determined by key environmental parameters (i.e. redox, primary substrate). Soil columns with suboxic and anoxic conditions performed poorly (i.e. less than 30% attenuation of moderately degradable TOrC) in comparison to oxic conditions (on average between 70-100% attenuation for the same compounds) within a residence time of three days. Given this dependency on redox conditions, it was investigated if key parameter-dependent rate constants are more suitable for contaminant transport modeling to properly capture the dynamic TOrC attenuation under field-scale conditions. Laboratory-derived first-order removal kinetics were determined for 19 TOrC under three different redox conditions and rate constants were applied to MAR field data. Our findings suggest that simplified first-order rate constants will most likely not provide any meaningful results if the target compounds exhibit redox dependent biotransformation behavior or if the intention is to exactly capture the decline in concentration over time and distance at field-scale MAR. However, if the intention is to calculate the percent removal after an extended time period and subsurface travel distance, simplified first-order rate constants seem to be sufficient to provide a first estimate on TOrC attenuation during MAR.

Biotransformation of trace organic chemicals during groundwater recharge: How useful are first-order rate constants?

Science.gov (United States)

Regnery, J; Wing, A D; Alidina, M; Drewes, J E

2015-08-01

This study developed relationships between the attenuation of emerging trace organic chemicals (TOrC) during managed aquifer recharge (MAR) as a function of retention time, system characteristics, and operating conditions using controlled laboratory-scale soil column experiments simulating MAR. The results revealed that MAR performance in terms of TOrC attenuation is primarily determined by key environmental parameters (i.e., redox, primary substrate). Soil columns with suboxic and anoxic conditions performed poorly (i.e., less than 30% attenuation of moderately degradable TOrC) in comparison to oxic conditions (on average between 70-100% attenuation for the same compounds) within a residence time of three days. Given this dependency on redox conditions, it was investigated if key parameter-dependent rate constants are more suitable for contaminant transport modeling to properly capture the dynamic TOrC attenuation under field-scale conditions. Laboratory-derived first-order removal kinetics were determined for 19 TOrC under three different redox conditions and rate constants were applied to MAR field data. Our findings suggest that simplified first-order rate constants will most likely not provide any meaningful results if the target compounds exhibit redox dependent biotransformation behavior or if the intention is to exactly capture the decline in concentration over time and distance at field-scale MAR. However, if the intention is to calculate the percent removal after an extended time period and subsurface travel distance, simplified first-order rate constants seem to be sufficient to provide a first estimate on TOrC attenuation during MAR. Copyright © 2015 Elsevier B.V. All rights reserved.

Laboratory automation in a functional programming language.

Science.gov (United States)

Runciman, Colin; Clare, Amanda; Harkness, Rob

2014-12-01

After some years of use in academic and research settings, functional languages are starting to enter the mainstream as an alternative to more conventional programming languages. This article explores one way to use Haskell, a functional programming language, in the development of control programs for laboratory automation systems. We give code for an example system, discuss some programming concepts that we need for this example, and demonstrate how the use of functional programming allows us to express and verify properties of the resulting code. © 2014 Society for Laboratory Automation and Screening.

Semi-algebraic function rings and reflectors of partially ordered rings

CERN Document Server

Schwartz, Niels

1999-01-01

The book lays algebraic foundations for real geometry through a systematic investigation of partially ordered rings of semi-algebraic functions. Real spectra serve as primary geometric objects, the maps between them are determined by rings of functions associated with the spectra. The many different possible choices for these rings of functions are studied via reflections of partially ordered rings. Readers should feel comfortable using basic algebraic and categorical concepts. As motivational background some familiarity with real geometry will be helpful. The book aims at researchers and graduate students with an interest in real algebra and geometry, ordered algebraic structures, topology and rings of continuous functions.

First non-zero terms for the Taylor expansion at 1 of the Conway potential function

NARCIS (Netherlands)

Buryak, A.Y.

2011-01-01

The Conway potential function ∇ L (t 1,...,t l ) of an ordered oriented link L = L 1 ∪ L 2 ∪ ... ∪ L l ⊂ S 3 is considered. In general, this function is not determined by the linking numbers and the Conway potential functions of the components. However, the first two nonzero terms of the Taylor

Methylmercury toxicity and functional programming.

Science.gov (United States)

Grandjean, Philippe

2007-01-01

Adverse health effects of developmental toxicants may induce abnormal functional programming that leads to lasting functional deficits. This notion is considered from epidemiological evidence using developmental methylmercury neurotoxicity as an example. Accumulating evidence indicates that adverse effects may occur even at low-level methylmercury exposures from seafood and freshwater fish. Neurobehavioral outcomes are usually non-specific, and imprecise exposure assessment results in a bias toward the null. Essential nutrients may promote the development of certain brain functions, thereby causing confounding bias. The functional deficits caused by prenatal methylmercury exposure appear to be permanent, and their extent may depend on the joint effect of toxicants and nutrients. The lasting functional changes caused by neurodevelopmental methylmercury toxicity fit into the pattern of functional programming, with effects opposite to those linked to beneficial stimuli.

Hopf bifurcation formula for first order differential-delay equations

Science.gov (United States)

Rand, Richard; Verdugo, Anael

2007-09-01

This work presents an explicit formula for determining the radius of a limit cycle which is born in a Hopf bifurcation in a class of first order constant coefficient differential-delay equations. The derivation is accomplished using Lindstedt's perturbation method.

An evaluation framework and comparative analysis of the widely used first programming languages.

Directory of Open Access Journals (Sweden)

Muhammad Shoaib Farooq

Full Text Available Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL. The pool of programming languages has been evolving with the development of new languages, and from this pool different languages have been used as FPL at different times. Though the selection of an appropriate FPL is very important, yet it has been a controversial issue in the presence of many choices. Many efforts have been made for designing a good FPL, however, there is no ample way to evaluate and compare the existing languages so as to find the most suitable FPL. In this article, we have proposed a framework to evaluate the existing imperative, and object oriented languages for their suitability as an appropriate FPL. Furthermore, based on the proposed framework we have devised a customizable scoring function to compute a quantitative suitability score for a language, which reflects its conformance to the proposed framework. Lastly, we have also evaluated the conformance of the widely used FPLs to the proposed framework, and have also computed their suitability scores.

An evaluation framework and comparative analysis of the widely used first programming languages.

Science.gov (United States)

Farooq, Muhammad Shoaib; Khan, Sher Afzal; Ahmad, Farooq; Islam, Saeed; Abid, Adnan

2014-01-01

Computer programming is the core of computer science curriculum. Several programming languages have been used to teach the first course in computer programming, and such languages are referred to as first programming language (FPL). The pool of programming languages has been evolving with the development of new languages, and from this pool different languages have been used as FPL at different times. Though the selection of an appropriate FPL is very important, yet it has been a controversial issue in the presence of many choices. Many efforts have been made for designing a good FPL, however, there is no ample way to evaluate and compare the existing languages so as to find the most suitable FPL. In this article, we have proposed a framework to evaluate the existing imperative, and object oriented languages for their suitability as an appropriate FPL. Furthermore, based on the proposed framework we have devised a customizable scoring function to compute a quantitative suitability score for a language, which reflects its conformance to the proposed framework. Lastly, we have also evaluated the conformance of the widely used FPLs to the proposed framework, and have also computed their suitability scores.

Realization of logical functions by vector programs

Energy Technology Data Exchange (ETDEWEB)

Lapkin, L Ya

1983-03-01

Recent computing and control applications often require program realization of finite automata in general and of an important particular class of memoryless automata specified by systems of Boolean functions. Logical control and computing machines which receive sequences of discrete signals on the input and convert them into sequences of discrete output signals using finite memory may be described by a finite automation model. However, in distinction from the circuit interpretation of finite automata, the automaton algorithm represents the structure of the automaton program and not the structure of the machine itself. Therefore, the complexity of the computer realization of an automaton is the complexity of the computer program, and not the complexity of the hardware. Two classes of programs currently used to evalute boolean functions are operator programs and binary programs. However, computing machines, including microcomputers, are equipped with additional possibilities for evaluation of Boolean functions, which are not utilized in programs of these two basic classes. In this article, we consider the design of vector programs for program realization of systems of Boolean functions. 3 references.

Function projective lag synchronization of fractional-order chaotic systems

International Nuclear Information System (INIS)

Wang Sha; Yu Yong-Guang; Wang Hu; Rahmani Ahmed

2014-01-01

Function projective lag synchronization of different structural fractional-order chaotic systems is investigated. It is shown that the slave system can be synchronized with the past states of the driver up to a scaling function matrix. According to the stability theorem of linear fractional-order systems, a nonlinear fractional-order controller is designed for the synchronization of systems with the same and different dimensions. Especially, for two different dimensional systems, the synchronization is achieved in both reduced and increased dimensions. Three kinds of numerical examples are presented to illustrate the effectiveness of the scheme. (general)

A functional programming interpreter. M.S. Thesis

Science.gov (United States)

Robison, Arch Douglas

1987-01-01

Functional Programming (FP) sup BAC87 is an alternative to conventional imperative programming languages. This thesis describes an FP interpreter implementation. Superficially, FP appears to be a simple, but very inefficient language. Its simplicity, however, allows it to be interpreted quickly. Much of the inefficiency can be removed by simple interpreter techniques. This thesis describes the Illinois Functional Programming (IFP) interpreter, an interactive functional programming implementation which runs under both MS-DOS and UNIX. The IFP interpreter allows functions to be created, executed, and debugged in an environment very similar to UNIX. IFP's speed is competitive with other interpreted languages such as BASIC.

A comparison of different methods to implement higher order derivatives of density functionals

Energy Technology Data Exchange (ETDEWEB)

van Dam, Hubertus J.J. [Brookhaven National Lab. (BNL), Upton, NY (United States)

2016-05-18

Density functional theory is the dominant approach in electronic structure methods today. To calculate properties higher order derivatives of the density functionals are required. These derivatives might be implemented manually,by automatic differentiation, or by symbolic algebra programs. Different authors have cited different reasons for using the particular method of their choice. This paper presents work where all three approaches were used and the strengths and weaknesses of each approach are considered. It is found that all three methods produce code that is suffficiently performanted for practical applications, despite the fact that our symbolic algebra generated code and our automatic differentiation code still have scope for significant optimization. The automatic differentiation approach is the best option for producing readable and maintainable code.

Programming real-time executives in higher order language

Science.gov (United States)

Foudriat, E. C.

1982-01-01

Methods by which real-time executive programs can be implemented in a higher order language are discussed, using HAL/S and Path Pascal languages as program examples. Techniques are presented by which noncyclic tasks can readily be incorporated into the executive system. Situations are shown where the executive system can fail to meet its task scheduling and yet be able to recover either by rephasing the clock or stacking the information for later processing. The concept of deadline processing is shown to enable more effective mixing of time and information synchronized systems.

Computer program 'TRIO' for third order calculation of ion trajectory

International Nuclear Information System (INIS)

Matsuo, Takekiyo; Matsuda, Hisashi; Fujita, Yoshitaka; Wollnik, H.

1976-01-01

A computer program for the calculation of ion trajectory is described. This program ''TRIO'' (Third Order Ion Optics) is applicable to any ion optical system consisting of drift spaces, cylindrical or toroidal electric sector fields, homogeneous or inhomogeneous magnetic sector fields, magnetic and electrostatic Q-lenses. The influence of the fringing field is taken into consideration. A special device is introduced to the method of matrix multiplication to shorten the calculation time and the required time proves to be about 40 times shorter than the ordinary method as a result. The trajectory calculation is possible to execute with accuracy up to third order. Any one of three dispersion bases, momentum, energy, mass and energy, is possible to be selected. Full LIST of the computer program and an example are given. (auth.)

First-order signals in compact QED with monopole suppressed boundaries

International Nuclear Information System (INIS)

Lippert, T.; Schilling, K.; Forschungszentrum Juelich GmbH

1995-01-01

Pure gauge compact QED on hypercubic lattices is considered with periodically closed monopole currents suppressed. We compute observables on sublattices which are nested around the centre of the lattice in order to locate regions where translation symmetry is approximately recovered. Our Monte Carlo simulations on 24 4 -lattices give indications for a first-order nature of the U(1) phase transition. ((orig.))

Semi-local machine-learned kinetic energy density functional with third-order gradients of electron density

Science.gov (United States)

Seino, Junji; Kageyama, Ryo; Fujinami, Mikito; Ikabata, Yasuhiro; Nakai, Hiromi

2018-06-01

A semi-local kinetic energy density functional (KEDF) was constructed based on machine learning (ML). The present scheme adopts electron densities and their gradients up to third-order as the explanatory variables for ML and the Kohn-Sham (KS) kinetic energy density as the response variable in atoms and molecules. Numerical assessments of the present scheme were performed in atomic and molecular systems, including first- and second-period elements. The results of 37 conventional KEDFs with explicit formulae were also compared with those of the ML KEDF with an implicit formula. The inclusion of the higher order gradients reduces the deviation of the total kinetic energies from the KS calculations in a stepwise manner. Furthermore, our scheme with the third-order gradient resulted in the closest kinetic energies to the KS calculations out of the presented functionals.

Studies on the first-order hyperpolarizability and terahertz generation in 3-nitroaniline

International Nuclear Information System (INIS)

Krishnakumar, V.; Nagalakshmi, R.

2008-01-01

Single crystals of 3-nitroaniline (C 6 H 6 N 2 O 2 ) also called as m-nitroaniline (m-NA) have been grown by adopting slow evaporation solution growth technique at room temperature using methanol as a solvent. To reveal the microscopic nonlinear optical properties, the first-order hyperpolarizability (β) was evaluated by using the density functional theory (DFT) quantum chemical calculations at B3LYP/3-21 G (d,p) level. According to the results of DFT calculations, the grown crystals exhibit non-zero β values and it might have microscopic nonlinear optical behavior which is seven times more than that of urea. Terahertz (1 THz=10 12 Hz) radiation was also generated in the title organic nonlinear optical crystal using ultra short femtosecond laser

Milwaukee Parental Choice Program. First Year Report.

Science.gov (United States)

Witte, John F.

A preliminary evaluation and report were conducted of the Milwaukee (Wisconsin) Public Schools' (MPS) Parental Choice Program (PCP) following its first year of operation. The state legislated program provides an opportunity for students meeting specific criteria to attend private, non-sectarian schools in Milwaukee. A payment from public funds…

30 CFR 75.1713-6 - First-aid training program; minimum requirements.

Science.gov (United States)

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false First-aid training program; minimum... § 75.1713-6 First-aid training program; minimum requirements. (a) All first-aid training programs... course of instruction similar to that outlined in “First Aid, A Bureau of Mines Instruction Manual.” (b...

Thermal analysis of smart composite laminated angle-ply using higher order shear deformation theory with zig zag function

Science.gov (United States)

YagnaSri, P.; Siddiqui, Maimuna; Vijaya Nirmala, M.

2018-03-01

The objective of the work is to develop the higher order theory for piezoelectric composite laminated plates with zigzag function and to determine the thermal characteristics of piezoelectric laminated plate with zig zag function for different aspect ratios (a/h), thickness ratios (z/h) and voltage and also to evaluate electric potential function by solving second order differential equation satisfying electric boundary conditions along the thickness direction of piezoelectric layer. The related functions and derivations for equation of motion are obtained using the dynamic version of the principle of virtual work or Hamilton’s principle. The solutions are obtained by using Navier’s stokes method for anti-symmetric angle-ply with specific type of simply supported boundary conditions. Computer programs have been developed for realistic prediction of stresses and deflections for various sides to thickness ratios (a/h) and voltages.

First Order Description of Black Holes in Moduli Space

CERN Document Server

Andrianopoli, Laura; Orazi, Emanuele; Trigiante, Mario

2007-01-01

We show that the second order field equations characterizing extremal solutions for spherically symmetric, stationary black holes are in fact implied by a system of first order equations given in terms of a prepotential W. This confirms and generalizes the results in hep-th/0702088. When the black holes are solutions of extended supergravities we are able to find an explicit expression for the prepotentials which reproduce all the attractors of the four dimensional N>2 theories. We discuss a possible extension of our considerations to the non extremal case.

Covariant density functional theory: predictive power and first attempts of a microscopic derivation

Science.gov (United States)

Ring, Peter

2018-05-01

We discuss systematic global investigations with modern covariant density functionals. The number of their phenomenological parameters can be reduced considerable by using microscopic input from ab-initio calculations in nuclear matter. The size of the tensor force is still an open problem. Therefore we use the first full relativistic Brueckner-Hartree-Fock calculations in finite nuclear systems in order to study properties of such functionals, which cannot be obtained from nuclear matter calculations.

Estimation of Multiple Point Sources for Linear Fractional Order Systems Using Modulating Functions

KAUST Repository

Belkhatir, Zehor

2017-06-28

This paper proposes an estimation algorithm for the characterization of multiple point inputs for linear fractional order systems. First, using polynomial modulating functions method and a suitable change of variables the problem of estimating the locations and the amplitudes of a multi-pointwise input is decoupled into two algebraic systems of equations. The first system is nonlinear and solves for the time locations iteratively, whereas the second system is linear and solves for the input’s amplitudes. Second, closed form formulas for both the time location and the amplitude are provided in the particular case of single point input. Finally, numerical examples are given to illustrate the performance of the proposed technique in both noise-free and noisy cases. The joint estimation of pointwise input and fractional differentiation orders is also presented. Furthermore, a discussion on the performance of the proposed algorithm is provided.

Adler Function, Bjorken Sum Rule, and the Crewther Relation to Order αs4 in a General Gauge Theory

International Nuclear Information System (INIS)

Baikov, P. A.; Chetyrkin, K. G.; Kuehn, J. H.

2010-01-01

We compute, for the first time, the order α s 4 contributions to the Bjorken sum rule for polarized electron-nucleon scattering and to the (nonsinglet) Adler function for the case of a generic color gauge group. We confirm at the same order a (generalized) Crewther relation which provides a strong test of the correctness of our previously obtained results: the QCD Adler function and the five-loop β function in quenched QED. In particular, the appearance of an irrational contribution proportional to ζ 3 in the latter quantity is confirmed. We obtain the commensurate scale equation relating the effective strong coupling constants as inferred from the Bjorken sum rule and from the Adler function at order α s 4 .

Care satisfaction, hope, and life functioning among adults with bipolar disorder: data from the first 1000 participants in the Systematic Treatment Enhancement Program.

Science.gov (United States)

Morris, Chad D; Miklowitz, David J; Wisniewski, Stephen R; Giese, Alexis A; Thomas, Marshall R; Allen, Michael H

2005-01-01

The Systematic Treatment Enhancement Program for Bipolar Disorder (STEP-BD) is designed to evaluate the longitudinal outcome of patients with bipolar disorder. The STEP-BD disease-management model is built on evidence-based practices and a collaborative care approach designed to maximize specific and nonspecific treatment mechanisms. This prospective study examined the longitudinal relationships between patients' satisfaction with care, levels of hope, and life functioning in the first 1000 patients to enter STEP-BD. The study used scores from the Care Satisfaction Questionnaire, Beck Hopelessness Scale, Range of Impaired Functioning Tool, Young Mania Rating Scale, and Montgomery-Asberg Depression Rating Scale at 5 time points during a 1-year interval. Analyses tested mediational pathways between care satisfaction, hope, and life functioning, depression, and mania using mixed-effects (random and fixed) regression models. Increases in care satisfaction were associated with decreased hopelessness (P hopelessness was associated with better life functioning (P hopelessness, and life functioning. Findings suggest that providing care that maximizes patient hope may be important. By so doing, patients might overcome the learned helplessness/hopelessness that often accompanies a cyclical illness and build a realistic illness-management strategy.

Multi-Function Waste Tank Facility Quality Assurance Program Plan, Project W-236A. Revision 2

Energy Technology Data Exchange (ETDEWEB)

Hall, L.R.

1995-05-30

This document describes the Quality Assurance (QA) program for the Multi-Function Waste Tank Facility (MWTF) Project. The purpose of this QA program is to control project activities in such a manner as to achieve the mission of the MWTF Project in a safe and reliable manner. The QA program for the MWTF Project is founded on DOE Order 5700.6C, Quality Assurance, and implemented through the use of ASME NQA-1, Quality Assurance Program Requirements for Nuclear Facilities (ASME 1989 with addenda la-1989, lb-1991 and lc-1992). This document describes the program and planned actions which the Westinghouse Hanford Company (WHC) will implement to demonstrate and ensure that the project meets the requirements of DOE Order 5700.6C through the interpretive guidance of ASME NQA-1.

Multi-Function Waste Tank Facility Quality Assurance Program Plan, Project W-236A. Revision 2

International Nuclear Information System (INIS)

Hall, L.R.

1995-01-01

This document describes the Quality Assurance (QA) program for the Multi-Function Waste Tank Facility (MWTF) Project. The purpose of this QA program is to control project activities in such a manner as to achieve the mission of the MWTF Project in a safe and reliable manner. The QA program for the MWTF Project is founded on DOE Order 5700.6C, Quality Assurance, and implemented through the use of ASME NQA-1, Quality Assurance Program Requirements for Nuclear Facilities (ASME 1989 with addenda la-1989, lb-1991 and lc-1992). This document describes the program and planned actions which the Westinghouse Hanford Company (WHC) will implement to demonstrate and ensure that the project meets the requirements of DOE Order 5700.6C through the interpretive guidance of ASME NQA-1

Lazy functional programs in a concurrent environment

NARCIS (Netherlands)

Feijs, L.M.G.; Reniers, M.A.

1997-01-01

The mechanism of Landin-style stream input/output (I/O) makes it possible to write functional programs, which behave as reactive systems when executed with lazy evaluation. Functional programming languages like Gofer are attractive for programming the data transformations of a reactive system. But

High order discrete ordinates transport in two dimensions

International Nuclear Information System (INIS)

Arkuszewski, J.J.

1980-01-01

A two-dimensional neutron transport equation in (x,y) geometry is solved by the subdomain version of the weighted residual method. The weight functions are chosen to be characteristic functions of computational boxes (subdomains). In the case of bilinear interpolant the conventional diamond relations are obtained, while the quadratic one produces generalized diamond relations containing first derivatives of the solution. The balance equation remains the same. The derivation yields also additional relations for extrapolating boundary values of derivatives and leaves the room for supplementing the interpolant with specially curtailed higher order polynomials. The method requires only slight modifications in inner iteration process used by conventional discrete ordinates programs, and has been introduced as an option into the program DOT2. The paper contains comparisons of the proposed method with conventional one based on calculations of IAEA-CRP transport theory benchmarks. (author)

An efficient modularized sample-based method to estimate the first-order Sobol' index

International Nuclear Information System (INIS)

Li, Chenzhao; Mahadevan, Sankaran

2016-01-01

Sobol' index is a prominent methodology in global sensitivity analysis. This paper aims to directly estimate the Sobol' index based only on available input–output samples, even if the underlying model is unavailable. For this purpose, a new method to calculate the first-order Sobol' index is proposed. The innovation is that the conditional variance and mean in the formula of the first-order index are calculated at an unknown but existing location of model inputs, instead of an explicit user-defined location. The proposed method is modularized in two aspects: 1) index calculations for different model inputs are separate and use the same set of samples; and 2) model input sampling, model evaluation, and index calculation are separate. Due to this modularization, the proposed method is capable to compute the first-order index if only input–output samples are available but the underlying model is unavailable, and its computational cost is not proportional to the dimension of the model inputs. In addition, the proposed method can also estimate the first-order index with correlated model inputs. Considering that the first-order index is a desired metric to rank model inputs but current methods can only handle independent model inputs, the proposed method contributes to fill this gap. - Highlights: • An efficient method to estimate the first-order Sobol' index. • Estimate the index from input–output samples directly. • Computational cost is not proportional to the number of model inputs. • Handle both uncorrelated and correlated model inputs.

Functional Programming With Relations

OpenAIRE

Hutton, Graham

1991-01-01

While programming in a relational framework has much to offer over the functional style in terms of expressiveness, computing with relations is less efficient, and more semantically troublesome. In this paper we propose a novel blend of the functional and relational styles. We identify a class of "causal relations", which inherit some of the bi-directionality properties of relations, but retain the efficiency and semantic foundations of the functional style.

Morphing Continuum Theory: A First Order Approximation to the Balance Laws

Science.gov (United States)

Wonnell, Louis; Cheikh, Mohamad Ibrahim; Chen, James

2017-11-01

Morphing Continuum Theory is constructed under the framework of Rational Continuum Mechanics (RCM) for fluid flows with inner structure. This multiscale theory has been successfully emplyed to model turbulent flows. The framework of RCM ensures the mathematical rigor of MCT, but contains new material constants related to the inner structure. The physical meanings of these material constants have yet to be determined. Here, a linear deviation from the zeroth-order Boltzmann-Curtiss distribution function is derived. When applied to the Boltzmann-Curtiss equation, a first-order approximation of the MCT governing equations is obtained. The integral equations are then related to the appropriate material constants found in the heat flux, Cauchy stress, and moment stress terms in the governing equations. These new material properties associated with the inner structure of the fluid are compared with the corresponding integrals, and a clearer physical interpretation of these coefficients emerges. The physical meanings of these material properties is determined by analyzing previous results obtained from numerical simulations of MCT for compressible and incompressible flows. The implications for the physics underlying the MCT governing equations will also be discussed. This material is based upon work supported by the Air Force Office of Scientific Research under Award Number FA9550-17-1-0154.

Metacognition as a Mediating Variable Between Neurocognition and Functional Outcome in First Episode Psychosis.

Science.gov (United States)

Davies, Geoff; Fowler, David; Greenwood, Kathryn

2017-07-01

Neurocognitive and functional outcome deficits have long been acknowledged in schizophrenia and neurocognition has been found to account for functional disability to a greater extent than psychopathology. Much of the variance in functional outcome however still remains unexplained and metacognition may mediate the relationship between neurocognition, functional capacity, and self-reported social and occupational function. Eighty first episode psychosis participants were recruited and completed measures of neurocognition (memory, executive function, and intelligence quotient), metacognition (Beck Cognitive Insight Scale, Metacognitive Awareness Interview), psychopathology (PANSS), and both functional capacity (UPSA) and real-life social and occupational function (The Time Use Survey). Path analyses investigated the relationships between variables through structural equation modeling. A series of path models demonstrated that metacognition partially mediates the relationship between neurocognition and functional capacity, and fully mediates the relationship between functional capacity and social and occupational function. The present study findings identify that metacognition may be critical to translating cognitive and functional skills into real-world contexts, and this relationship is found at early stages of illness. Understanding how individuals translate cognitive and functional skills into the real-world (the competence-performance gap) may offer valuable guidance to intervention programs. This finding is important to models of recovery as it suggests that intervention programs that focus on enhancing metacognition abilities may have a greater impact than traditional rehabilitation programs focusing on cognitive abilities, on social and occupational outcomes. © The Author 2016. Published by Oxford University Press on behalf of the Maryland Psychiatric Research Center. All rights reserved. For permissions, please email: journals.permissions@oup.com

Programming Scala Scalability = Functional Programming + Objects

CERN Document Server

Wampler, Dean

2009-01-01

Learn how to be more productive with Scala, a new multi-paradigm language for the Java Virtual Machine (JVM) that integrates features of both object-oriented and functional programming. With this book, you'll discover why Scala is ideal for highly scalable, component-based applications that support concurrency and distribution. Programming Scala clearly explains the advantages of Scala as a JVM language. You'll learn how to leverage the wealth of Java class libraries to meet the practical needs of enterprise and Internet projects more easily. Packed with code examples, this book provides us

Code Generation for a Simple First-Order Prover

DEFF Research Database (Denmark)

Villadsen, Jørgen; Schlichtkrull, Anders; Halkjær From, Andreas

2016-01-01

We present Standard ML code generation in Isabelle/HOL of a sound and complete prover for first-order logic, taking formalizations by Tom Ridge and others as the starting point. We also define a set of so-called unfolding rules and show how to use these as a simple prover, with the aim of using t...... the approach for teaching logic and verification to computer science students at the bachelor level....

What the CERAD Battery Can Tell Us about Executive Function as a Higher-Order Cognitive Faculty

Directory of Open Access Journals (Sweden)

Rochelle E. Tractenberg

2010-01-01

Full Text Available Executive function (EF is believed to control or influence the integration and application of cognitive functions such as attention and memory and is an important area of research in cognitive aging. Recent studies and reviews have concluded that there is no single test for EF. Results from first-order latent variable modeling have suggested that little, if any, variability in cognitive performance can be directly (and uniquely attributed to EF; so instead, we modeled EF, as it is conceptualized, as a higher-order function, using elements of the CERAD neuropsychological battery. Responses to subtests from two large, independent cohorts of nondemented elderly persons were modeled with three theoretically plausible structural models using confirmatory factor analysis. Robust fit statistics, generated for the two cohorts separately, were consistent and support the conceptualization of EF as a higher-order cognitive faculty. Although not specifically designed to assess EF, subtests of the CERAD battery provide theoretically and empirically robust evidence about the nature of EF in elderly adults.

Novel structures for Discrete Hartley Transform based on first-order moments

Science.gov (United States)

Xiong, Jun; Zheng, Wenjuan; Wang, Hao; Liu, Jianguo

2018-03-01

Discrete Hartley Transform (DHT) is an important tool in digital signal processing. In the present paper, the DHT is firstly transformed into the first-order moments-based form, then a new fast algorithm is proposed to calculate the first-order moments without multiplication. Based on the algorithm theory, the corresponding hardware architecture for DHT is proposed, which only contains shift operations and additions with no need for multipliers and large memory. To verify the availability and effectiveness, the proposed design is implemented with hardware description language and synthesized by Synopsys Design Compiler with 0.18-μm SMIC library. A series of experiments have proved that the proposed architecture has better performance in terms of the product of the hardware consumption and computation time.

Critical ignition conditions in exothermically reacting systems: first-order reactions

Science.gov (United States)

Filimonov, Valeriy Yu.

2017-10-01

In this paper, the comparative analysis of the thermal explosion (TE) critical conditions on the planes temperature-conversion degree and temperature-time was conducted. It was established that the ignition criteria are almost identical only at relatively small values of Todes parameter. Otherwise, the results of critical conditions analysis on the plane temperature-conversion degree may be wrong. The asymptotic method of critical conditions calculation for the first-order reactions was proposed (taking into account the reactant consumption). The degeneration conditions of TE were determined. The calculation of critical conditions for specific first-order reaction was made. The comparison of the analytical results obtained with the results of numerical calculations and experimental data showed that they are in good agreement.

Critical ignition conditions in exothermically reacting systems: first-order reactions.

Science.gov (United States)

Filimonov, Valeriy Yu

2017-10-01

In this paper, the comparative analysis of the thermal explosion (TE) critical conditions on the planes temperature-conversion degree and temperature-time was conducted. It was established that the ignition criteria are almost identical only at relatively small values of Todes parameter. Otherwise, the results of critical conditions analysis on the plane temperature-conversion degree may be wrong. The asymptotic method of critical conditions calculation for the first-order reactions was proposed (taking into account the reactant consumption). The degeneration conditions of TE were determined. The calculation of critical conditions for specific first-order reaction was made. The comparison of the analytical results obtained with the results of numerical calculations and experimental data showed that they are in good agreement.

Foundations and Applications of Theory in the First Impressions Program

Science.gov (United States)

Brown, Laura E.; McDonald, John; Chase, Lisa C.; Sewake, Geoffrey; Stencel, Beverly; Northrop, Andy; Kelly, Miriah; Faulkner, Ryan

2018-01-01

The First Impressions program was designed to help communities learn about their strengths and shortcomings through the "fresh eyes" of first-time visitors. This Extension-led community assessment program has been implemented in over 500 communities since the 1990s, yet scant literature exists regarding the program's theoretical…

77 FR 26827 - Medicaid Program; Community First Choice Option

Science.gov (United States)

2012-05-07

... Medicare & Medicaid Services 42 CFR Part 441 Medicaid Program; Community First Choice Option; Final Rule #0... [CMS-2337-F] RIN 0938-AQ35 Medicaid Program; Community First Choice Option AGENCY: Centers for Medicare... Affordable Care Act, which establishes a new State option to provide home and community-based attendant...

First order correction to quasiclassical scattering amplitude

International Nuclear Information System (INIS)

Kuz'menko, A.V.

1978-01-01

First order (with respect to h) correction to quasiclassical with the aid of scattering amplitude in nonrelativistic quantum mechanics is considered. This correction is represented by two-loop diagrams and includes the double integrals. With the aid of classical equations of motion, the sum of the contributions of the two-loop diagrams is transformed into the expression which includes one-dimensional integrals only. The specific property of the expression obtained is that the integrand does not possess any singularities in the focal points of the classical trajectory. The general formula takes much simpler form in the case of one-dimensional systems

Covariant density functional theory: predictive power and first attempts of a microscopic derivation

Directory of Open Access Journals (Sweden)

Ring Peter

2018-01-01

Full Text Available We discuss systematic global investigations with modern covariant density functionals. The number of their phenomenological parameters can be reduced considerable by using microscopic input from ab-initio calculations in nuclear matter. The size of the tensor force is still an open problem. Therefore we use the first full relativistic Brueckner-Hartree-Fock calculations in finite nuclear systems in order to study properties of such functionals, which cannot be obtained from nuclear matter calculations.

Proximity formulae for folding potentials. [Saxon-Woods form factors, first order corrections

Energy Technology Data Exchange (ETDEWEB)

Schechter, H; Canto, L F [Rio de Janeiro Univ. (Brazil). Inst. de Fisica

1979-03-05

The proximity formulae of Brink and Stancu are applied to folding potentials. A numerical study is made for the case of single folding potentials with Saxon-Woods form factors. It is found that a proximity formula is accurate to 1-2% at separations of the order of the radius of the Coulomb barrier and that first order corrections due to first curvature are important. The approximations involved are discussed.

From differential to difference equations for first order ODEs

Science.gov (United States)

Freed, Alan D.; Walker, Kevin P.

1991-01-01

When constructing an algorithm for the numerical integration of a differential equation, one should first convert the known ordinary differential equation (ODE) into an ordinary difference equation. Given this difference equation, one can develop an appropriate numerical algorithm. This technical note describes the derivation of two such ordinary difference equations applicable to a first order ODE. The implicit ordinary difference equation has the same asymptotic expansion as the ODE itself, whereas the explicit ordinary difference equation has an asymptotic that is similar in structure but different in value when compared with that of the ODE.

76 FR 10735 - Medicaid Program; Community First Choice Option

Science.gov (United States)

2011-02-25

... for Medicare & Medicaid Services 42 CFR Part 441 Medicaid Program; Community First Choice Option... Part 441 [CMS-2337-P] RIN 0938-AQ35 Medicaid Program; Community First Choice Option AGENCY: Centers for... Section 2401 of the Affordable Care Act (ACA) which establishes a new State option to provide home and...

Higher-order predictions for splitting functions and coefficient functions from physical evolution kernels

International Nuclear Information System (INIS)

Vogt, A; Soar, G.; Vermaseren, J.A.M.

2010-01-01

We have studied the physical evolution kernels for nine non-singlet observables in deep-inelastic scattering (DIS), semi-inclusive e + e - annihilation and the Drell-Yan (DY) process, and for the flavour-singlet case of the photon- and heavy-top Higgs-exchange structure functions (F 2 , F φ ) in DIS. All known contributions to these kernels show an only single-logarithmic large-x enhancement at all powers of (1-x). Conjecturing that this behaviour persists to (all) higher orders, we have predicted the highest three (DY: two) double logarithms of the higher-order non-singlet coefficient functions and of the four-loop singlet splitting functions. The coefficient-function predictions can be written as exponentiations of 1/N-suppressed contributions in Mellin-N space which, however, are less predictive than the well-known exponentiation of the ln k N terms. (orig.)

Synergism of Dewetting and Self-Wrinkling To Create Two-Dimensional Ordered Arrays of Functional Microspheres.

Science.gov (United States)

Han, Xue; Hou, Jing; Xie, Jixun; Yin, Jian; Tong, Yi; Lu, Conghua; Möhwald, Helmuth

2016-06-29

Here we report a simple, novel, yet robust nonlithographic method for the controlled fabrication of two-dimensional (2-D) ordered arrays of polyethylene glycol (PEG) microspheres. It is based on the synergistic combination of two bottom-up processes enabling periodic structure formation for the first time: dewetting and the mechanical wrinkle formation. The deterministic dewetting results from the hydrophilic polymer PEG on an incompatible polystyrene (PS) film bound to a polydimethylsiloxane (PDMS) substrate, which is directed both by a wrinkled template and by the template-directed in-situ self-wrinkling PS/PDMS substrate. Two strategies have been introduced to achieve synergism to enhance the 2-D ordering, i.e., employing 2-D in-situ self-wrinkling substrates and boundary conditions. As a result, we achieve highly ordered 2-D arrays of PEG microspheres with desired self-organized microstructures, such as the array location (e.g., selectively on the crest/in the valley of the wrinkles), diameter, spacing of the microspheres, and array direction. Additionally, the coordination of PEG with HAuCl4 is utilized to fabricate 2-D ordered arrays of functional PEG-HAuCl4 composite microspheres, which are further converted into different Au nanoparticle arrays. This simple versatile combined strategy could be extended to fabricate highly ordered 2-D arrays of other functional materials and achieve desirable properties and functionalities.

When Is a Program Like a Function?

Science.gov (United States)

Klotz, Frederic S.

1986-01-01

Functional programming, in which the connection to mathematics is simple and direct, is described. A language such as Logo illustrates the relationship between functional programming and mathematics in more detail. (MNS)

Probabilistic biosphere modeling for the long-term safety assessment of geological disposal facilities for radioactive waste using first- and second-order Monte Carlo simulation.

Science.gov (United States)

Ciecior, Willy; Röhlig, Klaus-Jürgen; Kirchner, Gerald

2018-10-01

In the present paper, deterministic as well as first- and second-order probabilistic biosphere modeling approaches are compared. Furthermore, the sensitivity of the influence of the probability distribution function shape (empirical distribution functions and fitted lognormal probability functions) representing the aleatory uncertainty (also called variability) of a radioecological model parameter as well as the role of interacting parameters are studied. Differences in the shape of the output distributions for the biosphere dose conversion factor from first-order Monte Carlo uncertainty analysis using empirical and fitted lognormal distribution functions for input parameters suggest that a lognormal approximation is possibly not always an adequate representation of the aleatory uncertainty of a radioecological parameter. Concerning the comparison of the impact of aleatory and epistemic parameter uncertainty on the biosphere dose conversion factor, the latter here is described using uncertain moments (mean, variance) while the distribution itself represents the aleatory uncertainty of the parameter. From the results obtained, the solution space of second-order Monte Carlo simulation is much larger than that from first-order Monte Carlo simulation. Therefore, the influence of epistemic uncertainty of a radioecological parameter on the output result is much larger than that one caused by its aleatory uncertainty. Parameter interactions are only of significant influence in the upper percentiles of the distribution of results as well as only in the region of the upper percentiles of the model parameters. Copyright © 2018 Elsevier Ltd. All rights reserved.

Strongly first-order electroweak phase transition and classical scale invariance

Science.gov (United States)

Farzinnia, Arsham; Ren, Jing

2014-10-01

In this work, we examine the possibility of realizing a strongly first-order electroweak phase transition within the minimal classically scale-invariant extension of the standard model (SM), previously proposed and analyzed as a potential solution to the hierarchy problem. By introducing one complex gauge-singlet scalar and three (weak scale) right-handed Majorana neutrinos, the scenario was successfully rendered capable of achieving a radiative breaking of the electroweak symmetry (by means of the Coleman-Weinberg mechanism), inducing nonzero masses for the SM neutrinos (via the seesaw mechanism), presenting a pseudoscalar dark matter candidate (protected by the CP symmetry of the potential), and predicting the existence of a second CP-even boson (with suppressed couplings to the SM content) in addition to the 125 GeV scalar. In the present treatment, we construct the full finite-temperature one-loop effective potential of the model, including the resummed thermal daisy loops, and demonstrate that finite-temperature effects induce a first-order electroweak phase transition. Requiring the thermally driven first-order phase transition to be sufficiently strong at the onset of the bubble nucleation (corresponding to nucleation temperatures TN˜100-200 GeV) further constrains the model's parameter space; in particular, an O(0.01) fraction of the dark matter in the Universe may be simultaneously accommodated with a strongly first-order electroweak phase transition. Moreover, such a phase transition disfavors right-handed Majorana neutrino masses above several hundreds of GeV, confines the pseudoscalar dark matter masses to ˜1-2 TeV, predicts the mass of the second CP-even scalar to be ˜100-300 GeV, and requires the mixing angle between the CP-even components of the SM doublet and the complex singlet to lie within the range 0.2≲sinω ≲0.4. The obtained results are displayed in comprehensive exclusion plots, identifying the viable regions of the parameter space

First-order character of the displacive structural transition in BaWO4

International Nuclear Information System (INIS)

Tan Da-Yong; Xiao Wan-Sheng; Zhou Wei; Chen Ming; Xiong Xiao-Lin; Song Mao-Shuang

2012-01-01

Nearly all displacive transitions have been considered to be continuous or second order, and the rigid unit mode (RUM) provides a natural candidate for the soft mode. However, in-situ X-ray diffraction and Raman measurements show clearly the first-order evidences for the scheelite-to-fergusonite displacive transition in BaWO 4 : a 1.6% volume collapse, coexistence of phases, and hysteresis on release of pressure. Such first-order signatures are found to be the same as the soft modes in BaWO 4 , which indicates the scheelite-to-fergusonite displacive phase transition hides a deeper physical mechanism. By the refinement of atomic displacement parameters, we further show that the first-order character of this phase transition stems from a coupling of large compression of soft BaO 8 polyhedrons to the small displacive distortion of rigid WO 4 tetrahedrons. Such a coupling will lead to a deeper physical insight in the phase transition of the common scheelite-structured compounds. (condensed matter: structural, mechanical, and thermal properties)

Next-To-Leading Order Determination of Fragmentation Functions

CERN Document Server

Bourhis, L; Guillet, J P; Werlen, M

2001-01-01

We analyse LEP and PETRA data on single inclusive charged hadron cross-sections to establish new sets of Next-to-Leading order Fragmentation Functions. Data on hadro-production of large-$p_{\\bot}$ hadrons are also used to constrain the gluon Fragmentation Function. We carry out a critical comparison with other NLO parametrizations.

Back-and-forth systems for fuzzy first-order models

Czech Academy of Sciences Publication Activity Database

Dellunde, P.; García-Cerdaña, A.; Noguera, Carles

(2018) ISSN 0165-0114 R&D Projects: GA ČR(CZ) GF15-34650L Institutional support: RVO:67985556 Keywords : Mathematical fuzzy logic * first-order fuzzy logics * non-classical logics Subject RIV: BA - General Mathematics Impact factor: 2.718, year: 2016 http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf

Oscillation criteria for first-order forced nonlinear difference equations

OpenAIRE

Grace Said R; Agarwal Ravi P; Smith Tim

2006-01-01

Some new criteria for the oscillation of first-order forced nonlinear difference equations of the form Δx(n)+q1(n)xμ(n+1) = q2(n)xλ(n+1)+e(n), where λ, μ are the ratios of positive odd integers 0 <μ < 1 and λ > 1, are established.

First-order, stationary mean-field games with congestion

KAUST Repository

Evangelista, David

2018-04-30

Mean-field games (MFGs) are models for large populations of competing rational agents that seek to optimize a suitable functional. In the case of congestion, this functional takes into account the difficulty of moving in high-density areas. Here, we study stationary MFGs with congestion with quadratic or power-like Hamiltonians. First, using explicit examples, we illustrate two main difficulties: the lack of classical solutions and the existence of areas with vanishing densities. Our main contribution is a new variational formulation for MFGs with congestion. With this formulation, we prove the existence and uniqueness of solutions. Finally, we consider applications to numerical methods.

First-order, stationary mean-field games with congestion

KAUST Repository

Evangelista, David; Ferreira, Rita; Gomes, Diogo A.; Nurbekyan, Levon; Voskanyan, Vardan K.

2018-01-01

Mean-field games (MFGs) are models for large populations of competing rational agents that seek to optimize a suitable functional. In the case of congestion, this functional takes into account the difficulty of moving in high-density areas. Here, we study stationary MFGs with congestion with quadratic or power-like Hamiltonians. First, using explicit examples, we illustrate two main difficulties: the lack of classical solutions and the existence of areas with vanishing densities. Our main contribution is a new variational formulation for MFGs with congestion. With this formulation, we prove the existence and uniqueness of solutions. Finally, we consider applications to numerical methods.

AMD-stability in the presence of first-order mean motion resonances

Science.gov (United States)

Petit, A. C.; Laskar, J.; Boué, G.

2017-11-01

The angular momentum deficit (AMD)-stability criterion allows to discriminate between a priori stable planetary systems and systems for which the stability is not granted and needs further investigations. AMD-stability is based on the conservation of the AMD in the averaged system at all orders of averaging. While the AMD criterion is rigorous, the conservation of the AMD is only granted in absence of mean-motion resonances (MMR). Here we extend the AMD-stability criterion to take into account mean-motion resonances, and more specifically the overlap of first-order MMR. If the MMR islands overlap, the system will experience generalized chaos leading to instability. The Hamiltonian of two massive planets on coplanar quasi-circular orbits can be reduced to an integrable one degree of freedom problem for period ratios close to a first-order MMR. We use the reduced Hamiltonian to derive a new overlap criterion for first-order MMR. This stability criterion unifies the previous criteria proposed in the literature and admits the criteria obtained for initially circular and eccentric orbits as limit cases. We then improve the definition of AMD-stability to take into account the short term chaos generated by MMR overlap. We analyze the outcome of this improved definition of AMD-stability on selected multi-planet systems from the Extrasolar Planets Encyclopædia.

Algebraic Properties of First Integrals for Scalar Linear Third-Order ODEs of Maximal Symmetry

Directory of Open Access Journals (Sweden)

K. S. Mahomed

2013-01-01

Full Text Available By use of the Lie symmetry group methods we analyze the relationship between the first integrals of the simplest linear third-order ordinary differential equations (ODEs and their point symmetries. It is well known that there are three classes of linear third-order ODEs for maximal cases of point symmetries which are 4, 5, and 7. The simplest scalar linear third-order equation has seven-point symmetries. We obtain the classifying relation between the symmetry and the first integral for the simplest equation. It is shown that the maximal Lie algebra of a first integral for the simplest equation y′′′=0 is unique and four-dimensional. Moreover, we show that the Lie algebra of the simplest linear third-order equation is generated by the symmetries of the two basic integrals. We also obtain counting theorems of the symmetry properties of the first integrals for such linear third-order ODEs. Furthermore, we provide insights into the manner in which one can generate the full Lie algebra of higher-order ODEs of maximal symmetry from two of their basic integrals.

Developmental Programming of Renal Function and Re-Programming Approaches.

Science.gov (United States)

Nüsken, Eva; Dötsch, Jörg; Weber, Lutz T; Nüsken, Kai-Dietrich

2018-01-01

Chronic kidney disease affects more than 10% of the population. Programming studies have examined the interrelationship between environmental factors in early life and differences in morbidity and mortality between individuals. A number of important principles has been identified, namely permanent structural modifications of organs and cells, long-lasting adjustments of endocrine regulatory circuits, as well as altered gene transcription. Risk factors include intrauterine deficiencies by disturbed placental function or maternal malnutrition, prematurity, intrauterine and postnatal stress, intrauterine and postnatal overnutrition, as well as dietary dysbalances in postnatal life. This mini-review discusses critical developmental periods and long-term sequelae of renal programming in humans and presents studies examining the underlying mechanisms as well as interventional approaches to "re-program" renal susceptibility toward disease. Clinical manifestations of programmed kidney disease include arterial hypertension, proteinuria, aggravation of inflammatory glomerular disease, and loss of kidney function. Nephron number, regulation of the renin-angiotensin-aldosterone system, renal sodium transport, vasomotor and endothelial function, myogenic response, and tubuloglomerular feedback have been identified as being vulnerable to environmental factors. Oxidative stress levels, metabolic pathways, including insulin, leptin, steroids, and arachidonic acid, DNA methylation, and histone configuration may be significantly altered by adverse environmental conditions. Studies on re-programming interventions focused on dietary or anti-oxidative approaches so far. Further studies that broaden our understanding of renal programming mechanisms are needed to ultimately develop preventive strategies. Targeted re-programming interventions in animal models focusing on known mechanisms will contribute to new concepts which finally will have to be translated to human application. Early

First order normalization in the perturbed restricted three–body ...

African Journals Online (AJOL)

This paper performs the first order normalization that will be employed in the study of the nonlinear stability of triangular points of the perturbed restricted three – body problem with variable mass. The problem is perturbed in the sense that small perturbations are given in the coriolis and centrifugal forces. It is with variable ...

First-Order Polynomial Heisenberg Algebras and Coherent States

International Nuclear Information System (INIS)

Castillo-Celeita, M; Fernández C, D J

2016-01-01

The polynomial Heisenberg algebras (PHA) are deformations of the Heisenberg- Weyl algebra characterizing the underlying symmetry of the supersymmetric partners of the Harmonic oscillator. When looking for the simplest system ruled by PHA, however, we end up with the harmonic oscillator. In this paper we are going to realize the first-order PHA through the harmonic oscillator. The associated coherent states will be also constructed, which turn out to be the well known even and odd coherent states. (paper)

Some aspects of the inverse problem for general first order systems

International Nuclear Information System (INIS)

Sarlet, W.; Cantrijn, F.

1978-01-01

In this paper we investigate the most general systems of first-order ordinary differential equations which satisfy the integrability conditions of the inverse problem for canonical formulations, i.e., are derivable from a variational principle. It is shown that they have a structure which is invariant under arbitrary coordinate-transformations. A special class of transformations, called identity-isotopic transformations, is described. It is illustrated how these transformations share all properties with classical canonical transformations except one: the solutions of the system, viewed as transformations from the set of initial values, generally are not identity-isotopic. This failure is shown to be due to the explicit time-dependence of the functions which characterise the system, and the special role of this time-dependence is further clarified using the possibility of a reduction to conventional Hamiltonian systems. All properties are derived here within the framework of an analytic treatment of a system of differential equations

General solution for first order elliptic systems in the plane

International Nuclear Information System (INIS)

Mshimba, A.S.

1990-01-01

It is shown that a system of 2n real-valued partial differential equations of first order, which under certain assumptions can be transformed to the so-called 'complex normal form', admits a general solution. 15 refs

Evidence for a first-order liquid-liquid transition in high-pressure hydrogen from ab initio simulations.

Science.gov (United States)

Morales, Miguel A; Pierleoni, Carlo; Schwegler, Eric; Ceperley, D M

2010-07-20

Using quantum simulation techniques based on either density functional theory or quantum Monte Carlo, we find clear evidence of a first-order transition in liquid hydrogen, between a low conductivity molecular state and a high conductivity atomic state. Using the temperature dependence of the discontinuity in the electronic conductivity, we estimate the critical point of the transition at temperatures near 2,000 K and pressures near 120 GPa. Furthermore, we have determined the melting curve of molecular hydrogen up to pressures of 200 GPa, finding a reentrant melting line. The melting line crosses the metalization line at 700 K and 220 GPa using density functional energetics and at 550 K and 290 GPa using quantum Monte Carlo energetics.

An Alternating Direction Method for Convex Quadratic Second-Order Cone Programming with Bounded Constraints

Directory of Open Access Journals (Sweden)

Xuewen Mu

2015-01-01

quadratic programming over second-order cones and a bounded set. At each iteration, we only need to compute the metric projection onto the second-order cones and the projection onto the bound set. The result of convergence is given. Numerical results demonstrate that our method is efficient for the convex quadratic second-order cone programming problems with bounded constraints.

School-Based First Aid Training Programs: A Systematic Review.

Science.gov (United States)

Reveruzzi, Bianca; Buckley, Lisa; Sheehan, Mary

2016-04-01

This review examines the breadth of first aid training delivered to school students and the components that are age appropriate to adolescents. Eligible studies included school-based first aid interventions targeting students aged between 10 and 18 years. Online databases were searched, for peer-reviewed publications available as at August 2014. A total of 20 journal articles were relevant to the review. Research supported programs with longer durations (3 hours or more). Most programs taught resuscitation alone and few included content that was context-specific and relevant to the target group. The training experience of the facilitator did not appear to impact on student outcomes. Incorporating both practical and didactic components was found to be an important factor in delivering material and facilitating the retention of knowledge. Educational resources and facilitator training were found to be common features of effective programs. The review supports first aid in school curriculum and provides details of key components pertinent to design of school-based first aid programs. The findings suggest that first aid training may have benefits wider than the uptake and retention of knowledge and skills. There is a need for future research, particularly randomized controlled trials to aid in identifying best practice approaches. © 2016, American School Health Association.

Static Analysis of Functional Programs

NARCIS (Netherlands)

van den Berg, Klaas; van den Broek, P.M.

1994-01-01

In this paper, the static analysis of programs in the functional programming language Miranda is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a model with four classes of caligraphs. Standard software metrics are applicable to these

First-order system least squares for the pure traction problem in planar linear elasticity

Energy Technology Data Exchange (ETDEWEB)

Cai, Z.; Manteuffel, T.; McCormick, S.; Parter, S.

1996-12-31

This talk will develop two first-order system least squares (FOSLS) approaches for the solution of the pure traction problem in planar linear elasticity. Both are two-stage algorithms that first solve for the gradients of displacement, then for the displacement itself. One approach, which uses L{sup 2} norms to define the FOSLS functional, is shown under certain H{sup 2} regularity assumptions to admit optimal H{sup 1}-like performance for standard finite element discretization and standard multigrid solution methods that is uniform in the Poisson ratio for all variables. The second approach, which is based on H{sup -1} norms, is shown under general assumptions to admit optimal uniform performance for displacement flux in an L{sup 2} norm and for displacement in an H{sup 1} norm. These methods do not degrade as other methods generally do when the material properties approach the incompressible limit.

Identification of fractional order systems using modulating functions method

KAUST Repository

Liu, Dayan; Laleg-Kirati, Taous-Meriem; Gibaru, O.; Perruquetti, Wilfrid

2013-01-01

can be transferred into the ones of the modulating functions. By choosing a set of modulating functions, a linear system of algebraic equations is obtained. Hence, the unknown parameters of a fractional order system can be estimated by solving a linear

Blind adolescents' birth order as a determinant of their perception of family functioning dimensions

Directory of Open Access Journals (Sweden)

Stanimirović Dragana

2013-01-01

Full Text Available While other theoreticians of personality stressed only the influence of parents in early childhood, Adler paid particular attention to a psychological position of a child among brothers/sisters. There is some empirical evidence that birth order may influence vocational choice, characteristic style of interacting with others, affiliation, anxiety, perception of parents' authority, and even intellectual capabilities. Visual impairment of a family member affects a family system and a sibling subsystem in a specific way. The goal of the research was to determine whether birth order influences perception of dimensions of family functioning in families with a blind adolescent and in families with an adolescent of typical development. The sample included 32 blind (experimental group and 32 subjects of typical development (control group aged 14 to 26, who lived in complete families with two or three children and without serious personal, marrital or family problems. The groups were paired by sex, age, professional status and birth order of adolescents, number of children in the family, type of family (nuclear; extended and environment (rural; urban. A Questionnaire of socio-demographic information and a Questionnaire of situation and family relationships RADIR by Knežević were applied for data collection. First-borns made lower appraisals of each dimension of family functioning than second-born respondents. There were no statistically significant differences in the control group. Differences in the experimental group were statistically significant in the following dimensions: Activity, Democracy and Structuring time and activity. Thus, the results show that first-born child's 'dethronement' has more effect if it is associated with blindness. This can be explained by fact that it is more difficult for a blind first-born child to catch up with a second-born 'rival'.

Modulation transfer function of a fish-eye lens based on the sixth-order wave aberration theory.

Science.gov (United States)

Jia, Han; Lu, Lijun; Cao, Yiqing

2018-01-10

A calculation program of the modulation transfer function (MTF) of a fish-eye lens is developed with the autocorrelation method, in which the sixth-order wave aberration theory of ultra-wide-angle optical systems is used to simulate the wave aberration distribution at the exit pupil of the optical systems. The autocorrelation integral is processed with the Gauss-Legendre integral, and the magnification chromatic aberration is discussed to calculate polychromatic MTF. The MTF calculation results of a given example are then compared with those previously obtained based on the fourth-order wave aberration theory of plane-symmetrical optical systems and with those from the Zemax program. The study shows that MTF based on the sixth-order wave aberration theory has satisfactory calculation accuracy even for a fish-eye lens with a large acceptance aperture. And the impacts of different types of aberrations on the MTF of a fish-eye lens are analyzed. Finally, we apply the self-adaptive and normalized real-coded genetic algorithm and the MTF developed in the paper to optimize the Nikon F/2.8 fish-eye lens; consequently, the optimized system shows better MTF performances than those of the original design.

Tokamak first-wall coating program development

International Nuclear Information System (INIS)

Davis, M.J.; Langley, R.A.; Prevender, T.S.

1977-08-01

The development of a research program to study coatings for control of impurities originating from the first wall of a Tokamak reactor is extensively discussed. The first wall environment and sputtering, temperature, surface chemical, and bulk radiation damage effects are reviewed. Candidate materials and application techniques are discussed. The philosophy and flow chart of a recommended coating development plan are presented and discussed. Projected impacts of the proposed plan include benefits to other aspects of confinement experiments. A list of 45 references is appended

Agricultural herbicide transport in a first-order intermittent stream, Nebraska, USA

Science.gov (United States)

Vogel, J.R.; Linard, J.I.

2011-01-01

The behavior of herbicides in surface waters is a function of many variables, including scale of the watershed, physical and chemical properties of the herbicide, physical and chemical properties of the soil, rainfall intensity, and time of year. In this study, the transport of 6 herbicides and 12 herbicide degradates was examined during the 2004 growing season in an intermediate-scale agricultural watershed (146 ha) that is drained by a first-order intermittent stream, and the mass load for each herbicide in the stream was estimated. The herbicide load during the first week of storm events after application ranged from 17% of annual load for trifluralin to 84% of annual load for acetochlor. The maximum weekly herbicide load in the stream was generally within the first 3 weeks after application for those compounds that were applied within the watershed during 2004, and later for herbicides not applied within the watershed during 2004 but still detected in the stream. The apparent dominant mode of herbicide transport in the stream-determined by analysis amongst herbicide and conservative ion concentrations at different points in the hydrograph and in base flow samples-was either overland runoff or shallow subsurface flow, depending on the elapsed time after application and type of herbicide. The load as a percentage of use (LAPU) for the parent compounds in this study was similar to literature values for those compounds applied by the farmer within the watershed, but smaller for those herbicides that had rainfall as their only source within the watershed.

The gravitational waves from the first-order phase transition with a dimension-six operator

Energy Technology Data Exchange (ETDEWEB)

Cai, Rong-Gen; Wang, Shao-Jiang [CAS Key Laboratory of Theoretical Physics, Institute of Theoretical Physics, Chinese Academy of Sciences, No.55 Zhong Guan Cun East Road, Beijing 100190 (China); Sasaki, Misao, E-mail: cairg@itp.ac.cn, E-mail: misao@yukawa.kyoto-u.ac.jp, E-mail: schwang@itp.ac.cn [Center for Gravitational Physics, Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502 (Japan)

2017-08-01

We investigate in details the gravitational wave (GW) from the first-order phase transition (PT) in the extended standard model of particle physics with a dimension-six operator, which is capable of exhibiting the recently discovered slow first-order PT in addition to the usually studied fast first-order PT. To simplify the discussion, it is sufficient to work with an example of a toy model with the sextic term, and we propose an unified description for both slow and fast first-order PTs. We next study the full one-loop effective potential of the model with fixed/running renormalization-group (RG) scales. Compared to the prediction of GW energy density spectrum from the fixed RG scale, we find that the presence of running RG scale could amplify the peak amplitude by amount of one order of magnitude while shift the peak frequency to the lower frequency regime, and the promising regime of detection within the sensitivity ranges of various space-based GW detectors shrinks down to a lower cut-off value of the sextic term rather than the previous expectation.

Developmental Programming of Renal Function and Re-Programming Approaches

Science.gov (United States)

Nüsken, Eva; Dötsch, Jörg; Weber, Lutz T.; Nüsken, Kai-Dietrich

2018-01-01

Chronic kidney disease affects more than 10% of the population. Programming studies have examined the interrelationship between environmental factors in early life and differences in morbidity and mortality between individuals. A number of important principles has been identified, namely permanent structural modifications of organs and cells, long-lasting adjustments of endocrine regulatory circuits, as well as altered gene transcription. Risk factors include intrauterine deficiencies by disturbed placental function or maternal malnutrition, prematurity, intrauterine and postnatal stress, intrauterine and postnatal overnutrition, as well as dietary dysbalances in postnatal life. This mini-review discusses critical developmental periods and long-term sequelae of renal programming in humans and presents studies examining the underlying mechanisms as well as interventional approaches to “re-program” renal susceptibility toward disease. Clinical manifestations of programmed kidney disease include arterial hypertension, proteinuria, aggravation of inflammatory glomerular disease, and loss of kidney function. Nephron number, regulation of the renin–angiotensin–aldosterone system, renal sodium transport, vasomotor and endothelial function, myogenic response, and tubuloglomerular feedback have been identified as being vulnerable to environmental factors. Oxidative stress levels, metabolic pathways, including insulin, leptin, steroids, and arachidonic acid, DNA methylation, and histone configuration may be significantly altered by adverse environmental conditions. Studies on re-programming interventions focused on dietary or anti-oxidative approaches so far. Further studies that broaden our understanding of renal programming mechanisms are needed to ultimately develop preventive strategies. Targeted re-programming interventions in animal models focusing on known mechanisms will contribute to new concepts which finally will have to be translated to human application

An improved solution of first order kinetics for biochemical oxygen ...

African Journals Online (AJOL)

This paper evaluated selected Biochemical Oxygen Demand first order kinetics methods. Domesticinstitutional wastewaters were collected twice in a month for three months from the Obafemi Awolowo University, Ile-Ife waste stabilization ponds. Biochemical Oxygen Demand concentrations at different days were determined ...

First Order Dominance Techniques and Multidimensional Poverty Indices

DEFF Research Database (Denmark)

Permanyer, Iñaki; Hussain, M. Azhar

2017-01-01

In this empirically driven paper we compare the performance of two techniques in the literature of poverty measurement with ordinal data: multidimensional poverty indices and first order dominance techniques (FOD). Combining multiple scenario simulated data with observed data from 48 Demographic...... between those country comparisons that are sensitive to alternative specifications of basic measurement assumptions and those which are not. To the extent that the FOD approach is able to uncover the socio-economic gradient that exists between countries, it can be proposed as a viable complement...

Application of Two Intervention Programs in Order to Optimize Motivation and to Improve Eating Habits in Adult and Elderly Women.

Science.gov (United States)

Leyton, Marta; Batista, Marco; Lobato, Susana; Aspano, Mª Isabel; Jiménez, Ruth

2017-10-01

The objective of this study was to analyse the effectiveness of two intervention programs: a physical exercise program with strategies to support the three basic psychological needs (autonomy, competence and relatedness); and a physical exercise program with nutritional education in order to improve the lifestyles of adult and elderly women who practiced functional maintenance. The Self-Determination Theory was applied as the theoretical framework. A sample of 135 women aged between 40 and 88 years (59.66 ± 10.76) who enrolled in a 12-week functional maintenance program and attended 24 exercise classes took part in the study. A quasi-experimental study was performed where strategies to support the three basic psychological needs were applied to one group and strategies for the improvement of eating habits were applied to the other group. No strategy was applied to the control group. The main results showed an improvement in experimental groups I and II when compared to the control group regarding the variables of autonomy, competence, intrinsic regulation, identified regulation, introjected regulation, external regulation and eating habits, after the application of the intervention programs. The conclusion is that both intervention programs were successful with this project's participants and that it is crucial to promote such intervention programs in functional maintenance classes, as they foster healthy lifestyles among participants.

Application of Two Intervention Programs in Order to Optimize Motivation and to Improve Eating Habits in Adult and Elderly Women

Directory of Open Access Journals (Sweden)

Leyton Marta

2017-10-01

Full Text Available The objective of this study was to analyse the effectiveness of two intervention programs: a physical exercise program with strategies to support the three basic psychological needs (autonomy, competence and relatedness; and a physical exercise program with nutritional education in order to improve the lifestyles of adult and elderly women who practiced functional maintenance. The Self-Determination Theory was applied as the theoretical framework. A sample of 135 women aged between 40 and 88 years (59.66 ± 10.76 who enrolled in a 12-week functional maintenance program and attended 24 exercise classes took part in the study. A quasi-experimental study was performed where strategies to support the three basic psychological needs were applied to one group and strategies for the improvement of eating habits were applied to the other group. No strategy was applied to the control group. The main results showed an improvement in experimental groups I and II when compared to the control group regarding the variables of autonomy, competence, intrinsic regulation, identified regulation, introjected regulation, external regulation and eating habits, after the application of the intervention programs. The conclusion is that both intervention programs were successful with this project’s participants and that it is crucial to promote such intervention programs in functional maintenance classes, as they foster healthy lifestyles among participants.

Smooth Frechet subalgebras of C-algebras defined by first order ...

Indian Academy of Sciences (India)

The differential structure in a *-algebra defined by a dense Frechet subalgebra whose topology is defined by a sequence of differential seminorms of order 1 is investigated. This includes differential Arens–Michael decomposition, spectral invariance, closure under functional calculi as well as intrinsic spectral description.

The first decade of the Massachusetts Tobacco Control Program.

Science.gov (United States)

Koh, Howard K; Judge, Christine M; Robbins, Harriet; Celebucki, Carolyn Cobb; Walker, Deborah K; Connolly, Gregory N

2005-01-01

This article provides a comprehensive overview of the first decade of the Massachusetts Tobacco Control Program (MTCP). Born after Massachusetts passed a 1992 ballot initiative raising cigarette excise taxes to fund the program, MTCP greatly reduced statewide cigarette consumption before being reduced to a skeletal state by funding cuts. The article describes the program's components and goals, details outcomes, presents a summary of policy accomplishments, and reviews the present status of MTCP in the current climate of national and state fiscal crises. The first decade of the MTCP offers many lessons learned for the future of tobacco control.

Algorithm for programming function generators

International Nuclear Information System (INIS)

Bozoki, E.

1981-01-01

The present paper deals with a mathematical problem, encountered when driving a fully programmable μ-processor controlled function generator. An algorithm is presented to approximate a desired function by a set of straight segments in such a way that additional restrictions (hardware imposed) are also satisfied. A computer program which incorporates this algorithm and automatically generates the necessary input for the function generator for a broad class of desired functions is also described

LATTICE/hor ellipsis/a beam transport program

International Nuclear Information System (INIS)

Staples, J.

1987-06-01

LATTICE is a computer program that calculates the first order characteristics of synchrotrons and beam transport systems. The program uses matrix algebra to calculate the propagation of the betatron (Twiss) parameters along a beam line. The program draws on ideas from several older programs, notably Transport and Synch, adds many new ones and incorporates them into an interactive, user-friendly program. LATTICE will calculate the matched functions of a synchrotron lattice and display them in a number of ways, including a high resolution Tektronix graphics display. An optimizer is included to adjust selected element parameters so the beam meets a set of constraints. LATTICE is a first order program, but the effect of sextupoles on the chromaticity of a synchrotron lattice is included, and the optimizer will set the sextupole strengths for zero chromaticity. The program will also calculate the characteristics of beam transport systems. In this mode, the beam parameters, defined at the start of the transport line, are propagated through to the end. LATTICE has two distinct modes: the lattice mode which finds the matched functions of a synchrotron, and the transport mode which propagates a predefined beam through a beam line. However, each mode can be used for either type of problem: the transport mode may be used to calculate an insertion for a synchrotron lattice, and the lattice mode may be used to calculate the characteristics of a long periodic beam transport system

On entropy change measurements around first order phase transitions in caloric materials.

Science.gov (United States)

Caron, Luana; Ba Doan, Nguyen; Ranno, Laurent

2017-02-22

In this work we discuss the measurement protocols for indirect determination of the isothermal entropy change associated with first order phase transitions in caloric materials. The magneto-structural phase transitions giving rise to giant magnetocaloric effects in Cu-doped MnAs and FeRh are used as case studies to exemplify how badly designed protocols may affect isothermal measurements and lead to incorrect entropy change estimations. Isothermal measurement protocols which allow correct assessment of the entropy change around first order phase transitions in both direct and inverse cases are presented.

Reducing the first-order Doppler shift in a Sagnac interferometer

NARCIS (Netherlands)

Hannemann, S.; Salumbides, E.J.; Ubachs, W.M.G.

2007-01-01

We demonstrate a technique to reduce first-order Doppler shifts in crossed atomic/molecular and laser beam setups by aligning two counterpropagating laser beams as part of a Sagnac interferometer. Interference fringes on the exit port of the interferometer reveal minute deviations from perfect

JAVA CONCURENT PROGRAM FOR THE SMARANDACHE FUNCTION

OpenAIRE

Power, David; Tabirca, S.; Tabirca, T.

2004-01-01

The aim of this article is to propose a Java concurrent program for the Smarandache fimction based on an equation. Some results concerning the theoretical complexity of this program are proposed. Finally, the experimental results of the sequential and Java programs are given in order to demonstrate the efficiency of the conament implementation.

The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming

NARCIS (Netherlands)

Trancón y Widemann, B.; Bolz, C.F.; Grelck, C.; Loidl, H.-W.; Peña, R.

2013-01-01

R is an environment and functional programming language for statistical data analysis and visualization. Largely unknown to the functional programming community, it is popular and influential in many empirical sciences. Due to its integrated combination of dynamic and reflective scripting on one

Classical solutions of mixed problems for quasilinear first order PFDEs on a cylindrical domain

Directory of Open Access Journals (Sweden)

Wojciech Czernous

2014-01-01

Full Text Available We abandon the setting of the domain as a Cartesian product of real intervals, customary for first order PFDEs (partial functional differential equations with initial boundary conditions. We give a new set of conditions on the possibly unbounded domain \\(\\Omega\\ with Lipschitz differentiable boundary. Well-posedness is then reliant on a variant of the normal vector condition. There is a neighbourhood of \\(\\partial\\Omega\\ with the property that if a characteristic trajectory has a point therein, then its every earlier point lies there as well. With local assumptions on coefficients and on the free term, we prove existence and Lipschitz dependence on data of classical solutions on \\((0,c\\times\\Omega\\ to the initial boundary value problem, for small \\(c\\. Regularity of solutions matches this domain, and the proof uses the Banach fixed-point theorem. Our general model of functional dependence covers problems with deviating arguments and integro-differential equations.

Temporal aggregation in first order cointegrated vector autoregressive

DEFF Research Database (Denmark)

la Cour, Lisbeth Funding; Milhøj, Anders

2006-01-01

We study aggregation - or sample frequencies - of time series, e.g. aggregation from weekly to monthly or quarterly time series. Aggregation usually gives shorter time series but spurious phenomena, in e.g. daily observations, can on the other hand be avoided. An important issue is the effect of ...... of aggregation on the adjustment coefficient in cointegrated systems. We study only first order vector autoregressive processes for n dimensional time series Xt, and we illustrate the theory by a two dimensional and a four dimensional model for prices of various grades of gasoline....

Extinction order and altered community structure rapidly disrupt ecosystem functioning.

Science.gov (United States)

Larsen, Trond H; Williams, Neal M; Kremen, Claire

2005-05-01

By causing extinctions and altering community structure, anthropogenic disturbances can disrupt processes that maintain ecosystem integrity. However, the relationship between community structure and ecosystem functioning in natural systems is poorly understood. Here we show that habitat loss appeared to disrupt ecosystem functioning by affecting extinction order, species richness and abundance. We studied pollination by bees in a mosaic of agricultural and natural habitats in California and dung burial by dung beetles on recently created islands in Venezuela. We found that large-bodied bee and beetle species tended to be both most extinction-prone and most functionally efficient, contributing to rapid functional loss. Simulations confirmed that extinction order led to greater disruption of function than predicted by random species loss. Total abundance declined with richness and also appeared to contribute to loss of function. We demonstrate conceptually and empirically how the non-random response of communities to disturbance can have unexpectedly large functional consequences.

Lindström theorems for fragments of first-order logic

NARCIS (Netherlands)

van Benthem, J.; ten Cate, B.; Väänänen, J.

2009-01-01

Lindström theorems characterize logics in terms of model-theoretic conditions such as Compactness and the Löwenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic. But on the other hand, many logics relevant to computer science are fragments or

NEWLIN: A digital computer program for the linearisation of sets of algebraic and first order differential equations

International Nuclear Information System (INIS)

Hopkinson, A.

1969-05-01

The techniques normally used for linearisation of equations are not amenable to general treatment by digital computation. This report describes a computer program for linearising sets of equations by numerical evaluations of partial derivatives. The program is written so that the specification of the non-linear equations is the same as for the digital simulation program, FIFI, and the linearised equations can be punched out in form suitable for input to the frequency response program FRP2 and the poles and zeros program ZIP. Full instructions for the use of the program are given and a sample problem input and output are shown. (author)

Evolution of spin-dependent structure functions from DGLAP equations in leading order and next to leading order

International Nuclear Information System (INIS)

Baishya, R.; Jamil, U.; Sarma, J. K.

2009-01-01

In this paper the spin-dependent singlet and nonsinglet structure functions have been obtained by solving Dokshitzer, Gribov, Lipatov, Altarelli, Parisi evolution equations in leading order and next to leading order in the small x limit. Here we have used Taylor series expansion and then the method of characteristics to solve the evolution equations. We have also calculated t and x evolutions of deuteron structure functions, and the results are compared with the SLAC E-143 Collaboration data.

Echoes of inflationary first-order phase transitions in the CMB

Energy Technology Data Exchange (ETDEWEB)

Jiang, Hongliang, E-mail: hjiangag@connect.ust.hk [Department of Physics, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong Special Administrative Region (Hong Kong); Liu, Tao, E-mail: taoliu@ust.hk [Department of Physics, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong Special Administrative Region (Hong Kong); Sun, Sichun, E-mail: sichun@uw.edu [Jockey Club Institute for Advanced Study, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong Special Administrative Region (Hong Kong); Wang, Yi, E-mail: phyw@ust.hk [Department of Physics, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong Special Administrative Region (Hong Kong)

2017-02-10

Cosmological phase transitions (CPTs), such as the Grand Unified Theory (GUT) and the electroweak (EW) ones, play a significant role in both particle physics and cosmology. In this letter, we propose to probe the first-order CPTs, by detecting gravitational waves (GWs) which are generated during the phase transitions through the cosmic microwave background (CMB). If happened around the inflation era, the first-order CPTs may yield low-frequency GWs due to bubble dynamics, leaving imprints on the CMB. In contrast to the nearly scale-invariant primordial GWs caused by vacuum fluctuation, these bubble-generated GWs are scale dependent and have non-trivial B-mode spectra. If decoupled from inflaton, the EWPT during inflation may serve as a probe for the one after reheating where the baryon asymmetry could be generated via EW baryogenesis (EWBG). The CMB thus provides a potential way to test the feasibility of the EWBG, complementary to the collider measurements of Higgs potential and the direct detection of GWs generated during EWPT.

Developmental Programming of Renal Function and Re-Programming Approaches

Directory of Open Access Journals (Sweden)

Eva Nüsken

2018-02-01

Full Text Available Chronic kidney disease affects more than 10% of the population. Programming studies have examined the interrelationship between environmental factors in early life and differences in morbidity and mortality between individuals. A number of important principles has been identified, namely permanent structural modifications of organs and cells, long-lasting adjustments of endocrine regulatory circuits, as well as altered gene transcription. Risk factors include intrauterine deficiencies by disturbed placental function or maternal malnutrition, prematurity, intrauterine and postnatal stress, intrauterine and postnatal overnutrition, as well as dietary dysbalances in postnatal life. This mini-review discusses critical developmental periods and long-term sequelae of renal programming in humans and presents studies examining the underlying mechanisms as well as interventional approaches to “re-program” renal susceptibility toward disease. Clinical manifestations of programmed kidney disease include arterial hypertension, proteinuria, aggravation of inflammatory glomerular disease, and loss of kidney function. Nephron number, regulation of the renin–angiotensin–aldosterone system, renal sodium transport, vasomotor and endothelial function, myogenic response, and tubuloglomerular feedback have been identified as being vulnerable to environmental factors. Oxidative stress levels, metabolic pathways, including insulin, leptin, steroids, and arachidonic acid, DNA methylation, and histone configuration may be significantly altered by adverse environmental conditions. Studies on re-programming interventions focused on dietary or anti-oxidative approaches so far. Further studies that broaden our understanding of renal programming mechanisms are needed to ultimately develop preventive strategies. Targeted re-programming interventions in animal models focusing on known mechanisms will contribute to new concepts which finally will have to be translated

Polarimetric signatures of a canopy of dielectric cylinders based on first and second order vector radiative transfer theory

Science.gov (United States)

Tsang, Leung; Chan, Chi Hou; Kong, Jin AU; Joseph, James

1992-01-01

Complete polarimetric signatures of a canopy of dielectric cylinders overlying a homogeneous half space are studied with the first and second order solutions of the vector radiative transfer theory. The vector radiative transfer equations contain a general nondiagonal extinction matrix and a phase matrix. The energy conservation issue is addressed by calculating the elements of the extinction matrix and the elements of the phase matrix in a manner that is consistent with energy conservation. Two methods are used. In the first method, the surface fields and the internal fields of the dielectric cylinder are calculated by using the fields of an infinite cylinder. The phase matrix is calculated and the extinction matrix is calculated by summing the absorption and scattering to ensure energy conservation. In the second method, the method of moments is used to calculate the elements of the extinction and phase matrices. The Mueller matrix based on the first order and second order multiple scattering solutions of the vector radiative transfer equation are calculated. Results from the two methods are compared. The vector radiative transfer equations, combined with the solution based on method of moments, obey both energy conservation and reciprocity. The polarimetric signatures, copolarized and depolarized return, degree of polarization, and phase differences are studied as a function of the orientation, sizes, and dielectric properties of the cylinders. It is shown that second order scattering is generally important for vegetation canopy at C band and can be important at L band for some cases.

Gravitational waves from the sound of a first order phase transition.

Science.gov (United States)

Hindmarsh, Mark; Huber, Stephan J; Rummukainen, Kari; Weir, David J

2014-01-31

We report on the first three-dimensional numerical simulations of first-order phase transitions in the early Universe to include the cosmic fluid as well as the scalar field order parameter. We calculate the gravitational wave (GW) spectrum resulting from the nucleation, expansion, and collision of bubbles of the low-temperature phase, for phase transition strengths and bubble wall velocities covering many cases of interest. We find that the compression waves in the fluid continue to be a source of GWs long after the bubbles have merged, a new effect not taken properly into account in previous modeling of the GW source. For a wide range of models, the main source of the GWs produced by a phase transition is, therefore, the sound the bubbles make.

First-order irreversible thermodynamic approach to a nonsteady RLC circuit as an energy converter

International Nuclear Information System (INIS)

Valencia, G; Arias, L A

2015-01-01

In this work we show a RLC-circuit as energy converter within the context of first-order irreversible thermodynamics (FOIT). For our analysis, we propose an isothermic model with transient elements and passive elements. With the help of the dynamic equations, the Kirchhoff equations, we found the generalized fluxes and forces of the circuit, the equation system shows symmetry of the cross terms, this property is characteristic of the steady state linear systems, but in this case phenomenological coefficients are function of time. Then, we can use these relations, similar to the linear Onsager relations, to construct the characteristic functions of the RLC energy converter: the power output, efficiency, dissipation and ecological function, and study its energetic performance. The study of performance of the converter is based on two parameters, the coupling parameter and the ''forces ratio'' parameter, in this case as functions of time. We find that the behavior of the non-steady state converter is similar to the behavior of steady state energy converter. We will explain the linear and symmetric behavior of the converter in the frequencies space rather than in the time space. Finally, we establish optimal operation regimes of economic degree of coupling for this energy converter

Proceedings Sixth Workshop on Trends in Functional Programming in Education

OpenAIRE

Thompson, Simon

2018-01-01

The Sixth International Workshops on Trends in Functional Programming in Education, TFPIE 2017, was held on 22 June 2017 at the University of Kent, in Canterbury, UK, and was co-located with TFP, the Symposium on Trends in Functional Programming. The goal of TFPIE is to gather researchers, professors, teachers, and all professionals interested in functional programming in education. This includes the teaching of functional programming, but also the application of functional programming as a t...

Merging monads and folds for functional programming

NARCIS (Netherlands)

Meijer, E.; Jeuring, J.T.

1995-01-01

These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after the decomposition of the value they consume. Monads structure programs after the computation of the value they produce. Our programs

Effects of Ordering Strategies and Programming Paradigms on Sparse Matrix Computations

Science.gov (United States)

Oliker, Leonid; Li, Xiaoye; Husbands, Parry; Biswas, Rupak; Biegel, Bryan (Technical Monitor)

2002-01-01

The Conjugate Gradient (CG) algorithm is perhaps the best-known iterative technique to solve sparse linear systems that are symmetric and positive definite. For systems that are ill-conditioned, it is often necessary to use a preconditioning technique. In this paper, we investigate the effects of various ordering and partitioning strategies on the performance of parallel CG and ILU(O) preconditioned CG (PCG) using different programming paradigms and architectures. Results show that for this class of applications: ordering significantly improves overall performance on both distributed and distributed shared-memory systems, that cache reuse may be more important than reducing communication, that it is possible to achieve message-passing performance using shared-memory constructs through careful data ordering and distribution, and that a hybrid MPI+OpenMP paradigm increases programming complexity with little performance gains. A implementation of CG on the Cray MTA does not require special ordering or partitioning to obtain high efficiency and scalability, giving it a distinct advantage for adaptive applications; however, it shows limited scalability for PCG due to a lack of thread level parallelism.

Toward a Monte Carlo program for simulating vapor-liquid phase equilibria from first principles

Energy Technology Data Exchange (ETDEWEB)

McGrath, M; Siepmann, J I; Kuo, I W; Mundy, C J; Vandevondele, J; Sprik, M; Hutter, J; Mohamed, F; Krack, M; Parrinello, M

2004-10-20

Efficient Monte Carlo algorithms are combined with the Quickstep energy routines of CP2K to develop a program that allows for Monte Carlo simulations in the canonical, isobaric-isothermal, and Gibbs ensembles using a first principles description of the physical system. Configurational-bias Monte Carlo techniques and pre-biasing using an inexpensive approximate potential are employed to increase the sampling efficiency and to reduce the frequency of expensive ab initio energy evaluations. The new Monte Carlo program has been validated through extensive comparison with molecular dynamics simulations using the programs CPMD and CP2K. Preliminary results for the vapor-liquid coexistence properties (T = 473 K) of water using the Becke-Lee-Yang-Parr exchange and correlation energy functionals, a triple-zeta valence basis set augmented with two sets of d-type or p-type polarization functions, and Goedecker-Teter-Hutter pseudopotentials are presented. The preliminary results indicate that this description of water leads to an underestimation of the saturated liquid density and heat of vaporization and, correspondingly, an overestimation of the saturated vapor pressure.

Expanded porphyrins as third order non-linear optical materials ...

Indian Academy of Sciences (India)

WINTEC

function correlations ... An understanding of the structure–function corre- lations of these expanded porphyrins is an important first step for ... where χ (2) and χ (3) are the quadratic χ (2) (first- order) and χ (3) cubic (second-order) susceptibilities.

Variational Optimization of the Second-Order Density Matrix Corresponding to a Seniority-Zero Configuration Interaction Wave Function.

Science.gov (United States)

Poelmans, Ward; Van Raemdonck, Mario; Verstichel, Brecht; De Baerdemacker, Stijn; Torre, Alicia; Lain, Luis; Massaccesi, Gustavo E; Alcoba, Diego R; Bultinck, Patrick; Van Neck, Dimitri

2015-09-08

We perform a direct variational determination of the second-order (two-particle) density matrix corresponding to a many-electron system, under a restricted set of the two-index N-representability P-, Q-, and G-conditions. In addition, we impose a set of necessary constraints that the two-particle density matrix must be derivable from a doubly occupied many-electron wave function, i.e., a singlet wave function for which the Slater determinant decomposition only contains determinants in which spatial orbitals are doubly occupied. We rederive the two-index N-representability conditions first found by Weinhold and Wilson and apply them to various benchmark systems (linear hydrogen chains, He, N2, and CN(-)). This work is motivated by the fact that a doubly occupied many-electron wave function captures in many cases the bulk of the static correlation. Compared to the general case, the structure of doubly occupied two-particle density matrices causes the associate semidefinite program to have a very favorable scaling as L(3), where L is the number of spatial orbitals. Since the doubly occupied Hilbert space depends on the choice of the orbitals, variational calculation steps of the two-particle density matrix are interspersed with orbital-optimization steps (based on Jacobi rotations in the space of the spatial orbitals). We also point to the importance of symmetry breaking of the orbitals when performing calculations in a doubly occupied framework.

Symmetric positive differential equations and first order hyperbolic systems

International Nuclear Information System (INIS)

Tangmanee, S.

1981-12-01

We prove that under some conditions the first order hyperbolic system and its associated mixed initial boundary conditions considered, for example, in Kreiss (Math. Comp. 22, 703-704 (1968)) and Kreiss and Gustafsson (Math. Comp. 26, 649-686 (1972)), can be transformed into a symmetric positive system of P.D.E.'s with admissible boundary conditions of Friedrich's type (Comm. Pure Appl. Math 11, 333-418 (1958)). (author)

Efficient robust control of first order scalar conservation laws using semi-analytical solutions

KAUST Repository

Li, Yanning; Canepa, Edward S.; Claudel, Christian G.

2014-01-01

This article presents a new robust control framework for transportation problems in which the state is modeled by a first order scalar conservation law. Using an equivalent formulation based on a Hamilton-Jacobi equation, we pose the problem of controlling the state of the system on a network link, using initial density control and boundary flow control, as a Linear Program. We then show that this framework can be extended to arbitrary control problems involving the control of subsets of the initial and boundary conditions. Unlike many previously investigated transportation control schemes, this method yields a globally optimal solution and is capable of handling shocks (i.e. discontinuities in the state of the system). We also demonstrate that the same framework can handle robust control problems, in which the uncontrollable components of the initial and boundary conditions are encoded in intervals on the right hand side of inequalities in the linear program. The lower bound of the interval which defines the smallest feasible solution set is used to solve the robust LP/MILP. Since this framework leverages the intrinsic properties of the Hamilton-Jacobi equation used to model the state of the system, it is extremely fast. Several examples are given to demonstrate the performance of the robust control solution and the trade-off between the robustness and the optimality.

Guaranteed Cost Finite-Time Control of Fractional-Order Positive Switched Systems

Directory of Open Access Journals (Sweden)

Leipo Liu

2017-01-01

Full Text Available The problem of guaranteed cost finite-time control of fractional-order positive switched systems (FOPSS is considered in this paper. Firstly, a new cost function is defined. Then, by constructing linear copositive Lyapunov functions and using the average dwell time (ADT approach, a state feedback controller and a static output feedback controller are constructed, respectively, and sufficient conditions are derived to guarantee that the corresponding closed-loop systems are guaranteed cost finite-time stable (GCFTS. Such conditions can be easily solved by linear programming. Finally, two examples are given to illustrate the effectiveness of the proposed method.

A time series model: First-order integer-valued autoregressive (INAR(1))

Science.gov (United States)

Simarmata, D. M.; Novkaniza, F.; Widyaningsih, Y.

2017-07-01

Nonnegative integer-valued time series arises in many applications. A time series model: first-order Integer-valued AutoRegressive (INAR(1)) is constructed by binomial thinning operator to model nonnegative integer-valued time series. INAR (1) depends on one period from the process before. The parameter of the model can be estimated by Conditional Least Squares (CLS). Specification of INAR(1) is following the specification of (AR(1)). Forecasting in INAR(1) uses median or Bayesian forecasting methodology. Median forecasting methodology obtains integer s, which is cumulative density function (CDF) until s, is more than or equal to 0.5. Bayesian forecasting methodology forecasts h-step-ahead of generating the parameter of the model and parameter of innovation term using Adaptive Rejection Metropolis Sampling within Gibbs sampling (ARMS), then finding the least integer s, where CDF until s is more than or equal to u . u is a value taken from the Uniform(0,1) distribution. INAR(1) is applied on pneumonia case in Penjaringan, Jakarta Utara, January 2008 until April 2016 monthly.

Time discretization of the point kinetic equations using matrix exponential method and First-Order Hold

International Nuclear Information System (INIS)

Park, Yujin; Kazantzis, Nikolaos; Parlos, Alexander G.; Chong, Kil To

2013-01-01

Highlights: • Numerical solution for stiff differential equations using matrix exponential method. • The approximation is based on First Order Hold assumption. • Various input examples applied to the point kinetics equations. • The method shows superior useful and effective activity. - Abstract: A system of nonlinear differential equations is derived to model the dynamics of neutron density and the delayed neutron precursors within a point kinetics equation modeling framework for a nuclear reactor. The point kinetic equations are mathematically characterized as stiff, occasionally nonlinear, ordinary differential equations, posing significant challenges when numerical solutions are sought and traditionally resulting in the need for smaller time step intervals within various computational schemes. In light of the above realization, the present paper proposes a new discretization method inspired by system-theoretic notions and technically based on a combination of the matrix exponential method (MEM) and the First-Order Hold (FOH) assumption. Under the proposed time discretization structure, the sampled-data representation of the nonlinear point kinetic system of equations is derived. The performance of the proposed time discretization procedure is evaluated using several case studies with sinusoidal reactivity profiles and multiple input examples (reactivity and neutron source function). It is shown, that by applying the proposed method under a First-Order Hold for the neutron density and the precursor concentrations at each time step interval, the stiffness problem associated with the point kinetic equations can be adequately addressed and resolved. Finally, as evidenced by the aforementioned detailed simulation studies, the proposed method retains its validity and accuracy for a wide range of reactor operating conditions, including large sampling periods dictated by physical and/or technical limitations associated with the current state of sensor and

Transient modeling of non-Fickian transport and first-order reaction using continuous time random walk

Science.gov (United States)

Burnell, Daniel K.; Hansen, Scott K.; Xu, Jie

2017-09-01

Contaminants in groundwater may experience a broad spectrum of velocities and multiple rates of mass transfer between mobile and immobile zones during transport. These conditions may lead to non-Fickian plume evolution which is not well described by the advection-dispersion equation (ADE). Simultaneously, many groundwater contaminants are degraded by processes that may be modeled as first-order decay. It is now known that non-Fickian transport and reaction are intimately coupled, with reaction affecting the transport operator. However, closed-form solutions for these important scenarios have not been published for use in applications. In this paper, we present four new Green's function analytic solutions in the uncoupled, uncorrelated continuous time random walk (CTRW) framework for reactive non-Fickian transport, corresponding to the quartet of conservative tracer solutions presented by Kreft and Zuber (1978) for Fickian transport. These consider pulse injection for both resident and flux concentration combined with detection in both resident and flux concentration. A pair of solutions for resident concentration temporal pulses with detection in both flux and resident concentration is also presented. We also derive the relationship between flux and resident concentration for non-Fickian transport with first-order reaction for this CTRW formulation. An explicit discussion of employment of the new solutions to model transport with arbitrary upgradient boundary conditions as well as mobile-immobile mass transfer is then presented. Using the new solutions, we show that first-order reaction has no effect on the anomalous spatial spreading rate of concentration profiles, but produces breakthrough curves at fixed locations that appear to have been generated by Fickian transport. Under the assumption of a Pareto CTRW transition distribution, we present a variety of numerical simulations including results showing coherence of our analytic solutions and CTRW particle

Program plan for the DOE Office of Fusion Energy First Wall/Blanket/Shield Engineering Technology Program. Volume I. Summary, objectives and management. Revision 2

International Nuclear Information System (INIS)

1982-08-01

This document defines a plan for conducting selected aspects of the engineering testing required for magnetic fusion reactor FWBS components and systems. The ultimate product of this program is an established data base that contributes to a functional, reliable, maintainable, economically attractive, and environmentally acceptable commercial fusion reactor first wall, blanket, and shield system. This program plan updates the initial plan issued in November of 1980 by the DOE/Office of Fusion Energy (unnumbered report). The plan consists of two parts. Part I is a summary of activities, responsibilities and program management including reporting and interfaces with other programs. Part II is a compilation of the Detailed Technical Plans for Phase I (1982 to 1984) developed by the participants during Phase 0 of the program

First-order discrete Faddeev gravity at strongly varying fields

Science.gov (United States)

Khatsymovsky, V. M.

2017-11-01

We consider the Faddeev formulation of general relativity (GR), which can be characterized by a kind of d-dimensional tetrad (typically d = 10) and a non-Riemannian connection. This theory is invariant w.r.t. the global, but not local, rotations in the d-dimensional space. There can be configurations with a smooth or flat metric, but with the tetrad that changes abruptly at small distances, a kind of “antiferromagnetic” structure. Previously, we discussed a first-order representation for the Faddeev gravity, which uses the orthogonal connection in the d-dimensional space as an independent variable. Using the discrete form of this formulation, we considered the spectrum of (elementary) area. This spectrum turns out to be physically reasonable just on a classical background with large connection like rotations by π, that is, with such an “antiferromagnetic” structure. In the discrete first-order Faddeev gravity, we consider such a structure with periodic cells and large connection and strongly changing tetrad field inside the cell. We show that this system in the continuum limit reduces to a generalization of the Faddeev system. The action is a sum of related actions of the Faddeev type and is still reduced to the GR action.

One- and two-center ETF-integrals of first order in relativistic calculation of NMR parameters

Science.gov (United States)

Slevinsky, R. M.; Temga, T.; Mouattamid, M.; Safouhi, H.

2010-06-01

The present work focuses on the analytical and numerical developments of first-order integrals involved in the relativistic calculation of the shielding tensor using exponential-type functions as a basis set of atomic orbitals. For the analytical development, we use the Fourier integral transformation and practical properties of spherical harmonics and the Rayleigh expansion of the plane wavefunctions. The Fourier transforms of the operators were derived in previous work and they are used for analytical development. In both the one- and two-center integrals, Cauchy's residue theorem is used in the final developments of the analytical expressions, which are shown to be accurate to machine precision.

One- and two-center ETF-integrals of first order in relativistic calculation of NMR parameters

Energy Technology Data Exchange (ETDEWEB)

Slevinsky, R M; Temga, T; Mouattamid, M; Safouhi, H, E-mail: hassan.safouhi@ualberta.c [Mathematical Section, Campus Saint-Jean, University of Alberta, 8406, 91 Street, Edmonton, Alberta T6C 4G9 (Canada)

2010-06-04

The present work focuses on the analytical and numerical developments of first-order integrals involved in the relativistic calculation of the shielding tensor using exponential-type functions as a basis set of atomic orbitals. For the analytical development, we use the Fourier integral transformation and practical properties of spherical harmonics and the Rayleigh expansion of the plane wavefunctions. The Fourier transforms of the operators were derived in previous work and they are used for analytical development. In both the one- and two-center integrals, Cauchy's residue theorem is used in the final developments of the analytical expressions, which are shown to be accurate to machine precision.

A quantitative experimental paradigm to optimize construction of rank order lists in the National Resident Matching Program: the ROSS-MOORE approach.

Science.gov (United States)

Ross, David A; Moore, Edward Z

2013-09-01

As part of the National Resident Matching Program, programs must submit a rank order list of desired applicants. Despite the importance of this process and the numerous manifest limitations with traditional approaches, minimal research has been conducted to examine the accuracy of different ranking strategies. The authors developed the Moore Optimized Ordinal Rank Estimator (MOORE), a novel algorithm for ranking applicants that is based on college sports ranking systems. Because it is not possible to study the Match in vivo, the authors then designed the Recruitment Outcomes Simulation System (ROSS). This program was used to simulate a series of interview seasons and to compare MOORE and traditional approaches under different conditions. The accuracy of traditional ranking and the MOORE approach are equally and adversely affected with higher levels of intrarater variability. However, compared with traditional ranking methods, MOORE produces a more accurate rank order list as interrater variability increases. The present data demonstrate three key findings. First, they provide proof of concept that it is possible to scientifically test the accuracy of different rank methods used in the Match. Second, they show that small amounts of variability can have a significant adverse impact on the accuracy of rank order lists. Finally, they demonstrate that an ordinal approach may lead to a more accurate rank order list in the presence of interviewer bias. The ROSS-MOORE approach offers programs a novel way to optimize the recruitment process and, potentially, to construct a more accurate rank order list.

Independence of First- and Second-Order Memories in Newborn Rabbits

Science.gov (United States)

Coureaud, Gerard; Languille, Solene; Joly, Virginie; Schaal, Benoist; Hars, Bernard

2011-01-01

The mammary pheromone promotes the acquisition of novel odorants (CS1) in newborn rabbits. Here, experiments pinpoint that CS1 becomes able to support neonatal learning of other odorants (CS2). We therefore evaluated whether these first- and second-order memories remained dependent after reactivation. Amnesia induced after CS2 recall selectively…

Understanding operational risk capital approximations: First and second orders

Directory of Open Access Journals (Sweden)

Gareth W. Peters

2013-07-01

Full Text Available We set the context for capital approximation within the framework of the Basel II / III regulatory capital accords. This is particularly topical as the Basel III accord is shortly due to take effect. In this regard, we provide a summary of the role of capital adequacy in the new accord, highlighting along the way the significant loss events that have been attributed to the Operational Risk class that was introduced in the Basel II and III accords. Then we provide a semi-tutorial discussion on the modelling aspects of capital estimation under a Loss Distributional Approach (LDA. Our emphasis is to focuss on the important loss processes with regard to those that contribute most to capital, the so called “high consequence, low frequency" loss processes. This leads us to provide a tutorial overview of heavy tailed loss process modelling in OpRisk under Basel III, with discussion on the implications of such tail assumptions for the severity model in an LDA structure. This provides practitioners with a clear understanding of the features that they may wish to consider when developing OpRisk severity models in practice. From this discussion on heavy tailed severity models, we then develop an understanding of the impact such models have on the right tail asymptotics of the compound loss process and we provide detailed presentation of what are known as first and second order tail approximations for the resulting heavy tailed loss process. From this we develop a tutorial on three key families of risk measures and their equivalent second order asymptotic approximations: Value-at-Risk (Basel III industry standard; Expected Shortfall (ES and the Spectral Risk Measure. These then form the capital approximations. We then provide a few example case studies to illustrate the accuracy of these asymptotic captial approximations, the rate of the convergence of the assymptotic result as a function of the LDA frequency and severity model parameters, the sensitivity

Funktioneel programmeren: evaluatie van een onderwijsexperiment [Functional programming: evaluation of an educational experiment

NARCIS (Netherlands)

van den Berg, Klaas; Pilot, A.

In this report we describe an experiment with a course in Functional Programming for first years students in Computer Science. The background of the experiment is given as well as the aims of the questionaires, assignments and time requirement analysis. A discussion is given about some didactical

The Widom-Rowlinson mixture on a sphere: elimination of exponential slowing down at first-order phase transitions

International Nuclear Information System (INIS)

Fischer, T; Vink, R L C

2010-01-01

Computer simulations of first-order phase transitions using 'standard' toroidal boundary conditions are generally hampered by exponential slowing down. This is partly due to interface formation, and partly due to shape transitions. The latter occur when droplets become large such that they self-interact through the periodic boundaries. On a spherical simulation topology, however, shape transitions are absent. We expect that by using an appropriate bias function, exponential slowing down can be largely eliminated. In this work, these ideas are applied to the two-dimensional Widom-Rowlinson mixture confined to the surface of a sphere. Indeed, on the sphere, we find that the number of Monte Carlo steps needed to sample a first-order phase transition does not increase exponentially with system size, but rather as a power law τ∝V α , with α∼2.5, and V the system area. This is remarkably close to a random walk for which α RW = 2. The benefit of this improved scaling behavior for biased sampling methods, such as the Wang-Landau algorithm, is investigated in detail.

Elliptic boundary value problems with fractional regularity data the first order approach

CERN Document Server

Amenta, Alex

2018-01-01

In this monograph the authors study the well-posedness of boundary value problems of Dirichlet and Neumann type for elliptic systems on the upper half-space with coefficients independent of the transversal variable and with boundary data in fractional Hardy-Sobolev and Besov spaces. The authors use the so-called "first order approach" which uses minimal assumptions on the coefficients and thus allows for complex coefficients and for systems of equations. This self-contained exposition of the first order approach offers new results with detailed proofs in a clear and accessible way and will become a valuable reference for graduate students and researchers working in partial differential equations and harmonic analysis.

Higher-Order Hierarchical Legendre Basis Functions in Applications

DEFF Research Database (Denmark)

Kim, Oleksiy S.; Jørgensen, Erik; Meincke, Peter

2007-01-01

The higher-order hierarchical Legendre basis functions have been developed for effective solution of integral equations with the method of moments. They are derived from orthogonal Legendre polynomials modified to enforce normal continuity between neighboring mesh elements, while preserving a high...

Development of nonlinear dynamic analysis program for nuclear piping systems

International Nuclear Information System (INIS)

Kamichika, Ryoichi; Izawa, Masahiro; Yamadera, Masao

1980-01-01

In the design for nuclear power piping, pipe-whip protection shall be considered in order to keep the function of safety related system even when postulated piping rupture occurs. This guideline was shown in U.S. Regulatory Guide 1.46 for the first time and has been applied in Japanese nuclear power plants. In order to analyze the dynamic behavior followed by pipe rupture, nonlinear analysis is required for the piping system including restraints which play the role of an energy absorber. REAPPS (Rupture Effective Analysis of Piping Systems) has been developed for this purpose. This program can be applied to general piping systems having branches etc. Pre- and post- processors are prepared in this program in order to easily input the data for the piping engineer and show the results optically by use of a graphic display respectively. The piping designer can easily solve many problems in his daily work by use of this program. This paper describes about the theoretical background and functions of this program and shows some examples. (author)

Echoes of inflationary first-order phase transitions in the CMB

Directory of Open Access Journals (Sweden)

Hongliang Jiang

2017-02-01

Full Text Available Cosmological phase transitions (CPTs, such as the Grand Unified Theory (GUT and the electroweak (EW ones, play a significant role in both particle physics and cosmology. In this letter, we propose to probe the first-order CPTs, by detecting gravitational waves (GWs which are generated during the phase transitions through the cosmic microwave background (CMB. If happened around the inflation era, the first-order CPTs may yield low-frequency GWs due to bubble dynamics, leaving imprints on the CMB. In contrast to the nearly scale-invariant primordial GWs caused by vacuum fluctuation, these bubble-generated GWs are scale dependent and have non-trivial B-mode spectra. If decoupled from inflaton, the EWPT during inflation may serve as a probe for the one after reheating where the baryon asymmetry could be generated via EW baryogenesis (EWBG. The CMB thus provides a potential way to test the feasibility of the EWBG, complementary to the collider measurements of Higgs potential and the direct detection of GWs generated during EWPT.

An interprofessional palliative care oncology rehabilitation program: effects on function and predictors of program completion.

Science.gov (United States)

Chasen, M R; Feldstain, A; Gravelle, D; Macdonald, N; Pereira, J

2013-12-01

After treatment, patients with active cancer face a considerable burden from the effects of both the disease and its treatment. The Palliative Rehabilitation Program (prp) is designed to ameliorate disease effects and to improve the patient's functioning. The present study evaluated predictors of program completion and changes in functioning, symptoms, and well-being after the program. The program received referrals for 173 patients who had finished anticancer therapy. Of those 173 patients, 116 with advanced cancer were eligible and enrolled in the 8-week interprofessional prp; 67 completed it. Measures of physical, nutritional, social, and psychological functioning were evaluated at entry to the program and at completion. Participants experienced significant improvements in physical performance (p program not challenging enough), death, and personal or unknown reasons. A normal level of C-reactive protein (program completion. Patients living with advanced cancers who underwent the interprofessional prp experienced significant improvement in functioning across several domains. Program completion can be predicted by a normal level of C-reactive protein.

First Measurements of Higher Order Optics Parameters in the LHC

CERN Document Server

Vanbavinckhove, G; Bartolini, R; Calaga, R; Giovannozzi, M; Maclean, E H; Miyamoto, R; Schmidt, F; Tomas, R

2011-01-01

Higher order effects can play an important role in the performance of the LHC. Lack of knowledge of these pa- rameters can increase the tune footprint and compromise the beam lifetime. First measurements of these parameters at injection and flattop have been conducted. Detailed sim- ulations are compared to the measurements together with discussions on the measurement limitations.

Quantum algorithms for the ordered search problem via semidefinite programming

International Nuclear Information System (INIS)

Childs, Andrew M.; Landahl, Andrew J.; Parrilo, Pablo A.

2007-01-01

One of the most basic computational problems is the task of finding a desired item in an ordered list of N items. While the best classical algorithm for this problem uses log 2 N queries to the list, a quantum computer can solve the problem using a constant factor fewer queries. However, the precise value of this constant is unknown. By characterizing a class of quantum query algorithms for the ordered search problem in terms of a semidefinite program, we find quantum algorithms for small instances of the ordered search problem. Extending these algorithms to arbitrarily large instances using recursion, we show that there is an exact quantum ordered search algorithm using 4 log 605 N≅0.433 log 2 N queries, which improves upon the previously best known exact algorithm

An Integrated Model of Material Supplier Selection and Order Allocation Using Fuzzy Extended AHP and Multiobjective Programming

Directory of Open Access Journals (Sweden)

Zhi Li

2013-01-01

Full Text Available This paper presents a supplier selection and order allocation (SSOA model to solve the problem of a multiperiod supplier selection and then order allocation in the environment of short product life cycle and frequent material purchasing, for example, fast fashion environment in apparel industry. At the first stage, with consideration of multiple decision criteria and the fuzziness of the data involved in deciding the preferences of multiple decision variables in supplier selection, the fuzzy extent analytic hierarchy process (FEAHP is adopted. In the second stage, supplier ranks are inputted into an order allocation model that aims at minimizing the risk of material purchasing and minimizing the total material purchasing costs using a dynamic programming approach, subject to constraints on deterministic customer demand and deterministic supplier capacity. Numerical examples are presented, and computational results are reported.

Program content of teaching physical education in order to prevent violence in educational institutions

Directory of Open Access Journals (Sweden)

Sretenović Zoran

2013-01-01

Full Text Available The primary goal of this paper is to show the capacity of the program content of physical education in the implementation of the third specific objective of the Framework Action Plan for the Prevention of Violence in Educational Institutions. Ministry of Education brought this plan in January 2009. The third specific objective of the Framework Action Plan: Provide preventive and protective role of school sport and sporting activities of students. This paper examines the extent to which this goal is achieved, trough regular classes, after-school and extracurricular activities of physical education; indicates the capacity of the teaching field in the creation and development of a safe and supportive environment in the institution; sees level of participation by experts, council and teams in the design and implementation of sports activities in school and the extent to which these activities are implemented in the institution documents, plans and programs of experts, and larger teams; it is the sustainability of these activities achieved in school practices and also to strengthen the competence of teachers in supporting the development of students personality, communication and collaboration. In order to complete document association of council, experts and teams in the institution, there has been an insight into the school curriculum, the development plan, annual plan of the institution, protection program community of students, the curriculum of a school parliament, council of parents, higher vocational and physical education teachers and report on the implementation of the protection program. In order to document by empirical data the capacity of the teaching areas in the function of preventing violence, a sample of 46 primary schools in Sumadija area, evaluation of the implementation of sports and sports activities students in programming classes of physical education, was executed. By these results, it can be concluded that in teaching methods

Reversible first-order transition in Pauli percolation

Science.gov (United States)

Maksymenko, Mykola; Moessner, Roderich; Shtengel, Kirill

2015-06-01

Percolation plays an important role in fields and phenomena as diverse as the study of social networks, the dynamics of epidemics, the robustness of electricity grids, conduction in disordered media, and geometric properties in statistical physics. We analyze a new percolation problem in which the first-order nature of an equilibrium percolation transition can be established analytically and verified numerically. The rules for this site percolation model are physical and very simple, requiring only the introduction of a weight W (n )=n +1 for a cluster of size n . This establishes that a discontinuous percolation transition can occur with qualitatively more local interactions than in all currently considered examples of explosive percolation; and that, unlike these, it can be reversible. This greatly extends both the applicability of such percolation models in principle and their reach in practice.

On the existence of a first order phase transition at small vacuum angel θin the CP3 model

International Nuclear Information System (INIS)

Olejnik, S.; Slovenska Akademia Vied, Bratislava; Schierholz, G.; Forschungszentrum Juelich GmbH

1993-12-01

We examine the phase structure of the CP 3 model as a function of θ in the weak coupling regime. It is shown that the model has a first order phase transition at small θ. We pay special attention to the extrapolation of the data to the infinite volume. It is found that the critical value of θ decreases towards zero as β is taken to infinity. (orig.)

Transfer function of radio over fiber multimode fiber optic links considering third-order dispersion.

Science.gov (United States)

Capmany, J; Gasulla, Ivana

2007-08-20

Although a considerable number of multimode fiber (MMF) links operate in a wavelength region around 850 nm where chromatic dispersion of a given modal group mu is described adequately by the second derivative beta(mu) (2) of the propagation constant beta(mu)(omega), there is also an increasing interest in MMF links transmitting in the second spectral window (@1300nm) where this second derivative vanishes being thus necessary to consider the third derivative beta(mu) (3) in the evaluation of the transfer function of the multimode fiber link. We present in this paper, for the first time to our knowledge, an analytical model for the transfer function of a multimode fiber (MMF) optic link taken into account the impact of third-order dispersion. The model extends the operation of a previously reported one for second-order dispersion. Our results show that the performance of broadband radio over fiber transmission through middle-reach distances can be improved by working at the minimum-dispersion wavelength as long as low-linewidth lasers are employed.

Fuzzy Goal Programming Approach in Selective Maintenance Reliability Model

Directory of Open Access Journals (Sweden)

Neha Gupta

2013-12-01

Full Text Available 800x600 In the present paper, we have considered the allocation problem of repairable components for a parallel-series system as a multi-objective optimization problem and have discussed two different models. In first model the reliability of subsystems are considered as different objectives. In second model the cost and time spent on repairing the components are considered as two different objectives. These two models is formulated as multi-objective Nonlinear Programming Problem (MONLPP and a Fuzzy goal programming method is used to work out the compromise allocation in multi-objective selective maintenance reliability model in which we define the membership functions of each objective function and then transform membership functions into equivalent linear membership functions by first order Taylor series and finally by forming a fuzzy goal programming model obtain a desired compromise allocation of maintenance components. A numerical example is also worked out to illustrate the computational details of the method.  Normal 0 false false false EN-US X-NONE X-NONE MicrosoftInternetExplorer4

The Effects of the First Step to Success Program on Teacher-Student Positive Interactions

OpenAIRE

Liao, Christy

2012-01-01

Positive student-teacher interactions have been linked to academic and social-success of all students. The present study examined the effects of the First Steps to Success program in improving the teacher-student interaction of three Latino English Language Learners (ELL) participants identified as at risk for behavioral and academic problems. A single subject multiple baseline research design was employed for this study. Data showed a functional relationship between the behavioral interventi...

First-order phase transition in the quantum spin glass at T=0

Energy Technology Data Exchange (ETDEWEB)

Viana, J. Roberto; Nogueira, Yamilles; Sousa, J. Ricardo de

2003-05-26

The van Hemmen model with transverse and random longitudinal field is studied to analyze the tricritical behavior in the quantum Ising spin glass at T=0. The free energy and order parameter are calculated for two types of probability distributions: Gaussian and bimodal. We obtain the phase diagram in the {omega}-H plane, where {omega} and H are the transverse and random longitudinal fields, respectively. For the case of Gaussian distribution the phase transition is of second order, while the bimodal distribution we observe second-order transition for high-transverse field and first-order transition for small transverse field, with a tricritical point in the phase diagram.

First-order phase transition in the quantum spin glass at T=0

International Nuclear Information System (INIS)

Viana, J. Roberto; Nogueira, Yamilles; Sousa, J. Ricardo de

2003-01-01

The van Hemmen model with transverse and random longitudinal field is studied to analyze the tricritical behavior in the quantum Ising spin glass at T=0. The free energy and order parameter are calculated for two types of probability distributions: Gaussian and bimodal. We obtain the phase diagram in the Ω-H plane, where Ω and H are the transverse and random longitudinal fields, respectively. For the case of Gaussian distribution the phase transition is of second order, while the bimodal distribution we observe second-order transition for high-transverse field and first-order transition for small transverse field, with a tricritical point in the phase diagram

First order phase transition of a long polymer chain

International Nuclear Information System (INIS)

Aristoff, David; Radin, Charles

2011-01-01

We consider a model consisting of a self-avoiding polygon occupying a variable density of the sites of a square lattice. A fixed energy is associated with each 90 0 bend of the polygon. We use a grand canonical ensemble, introducing parameters μ and β to control average density and average (total) energy of the polygon, and show by Monte Carlo simulation that the model has a first order, nematic phase transition across a curve in the β-μ plane.

Comparison Criteria for Nonlinear Functional Dynamic Equations of Higher Order

Directory of Open Access Journals (Sweden)

Taher S. Hassan

2016-01-01

Full Text Available We will consider the higher order functional dynamic equations with mixed nonlinearities of the form xnt+∑j=0Npjtϕγjxφjt=0, on an above-unbounded time scale T, where n≥2, xi(t≔ri(tϕαixi-1Δ(t,  i=1,…,n-1,   with  x0=x,  ϕβ(u≔uβsgn⁡u, and α[i,j]≔αi⋯αj. The function φi:T→T is a rd-continuous function such that limt→∞φi(t=∞ for j=0,1,…,N. The results extend and improve some known results in the literature on higher order nonlinear dynamic equations.

Order in large and chaos in small components of nuclear wave functions

International Nuclear Information System (INIS)

Soloviev, V.G.

1992-06-01

An investigation of the order and chaos of the nuclear excited states has shown that there is order in the large and chaos in the small quasiparticle or phonon components of the nuclear wave functions. The order-to-chaos transition is treated as a transition from the large to the small components of the nuclear wave function. The analysis has shown that relatively large many-quasiparticle components of the wave function at an excitation energy (4-8)MeV may exist. The large many-quasiparticle components of the wave functions of the neutron resonances are responsible for enhanced E1-, M1- and E2-transition probabilities from neutron resonance to levels lying (1-2)MeV below them. (author)

Higher-order stochastic differential equations and the positive Wigner function

Science.gov (United States)

Drummond, P. D.

2017-12-01

General higher-order stochastic processes that correspond to any diffusion-type tensor of higher than second order are obtained. The relationship of multivariate higher-order stochastic differential equations with tensor decomposition theory and tensor rank is explained. Techniques for generating the requisite complex higher-order noise are proved to exist either using polar coordinates and γ distributions, or from products of Gaussian variates. This method is shown to allow the calculation of the dynamics of the Wigner function, after it is extended to a complex phase space. The results are illustrated physically through dynamical calculations of the positive Wigner distribution for three-mode parametric downconversion, widely used in quantum optics. The approach eliminates paradoxes arising from truncation of the higher derivative terms in Wigner function time evolution. Anomalous results of negative populations and vacuum scattering found in truncated Wigner quantum simulations in quantum optics and Bose-Einstein condensate dynamics are shown not to occur with this type of stochastic theory.

Third-order QCD corrections to the charged-current structure function F3

International Nuclear Information System (INIS)

Moch, S.; Vermaseren, J.A.M.; Vogt, A.

2008-12-01

We compute the coefficient function for the charge-averaged W ± -exchange structure function F 3 in deep-inelastic scattering (DIS) to the third order in massless perturbative QCD. Our new three-loop contribution to this quantity forms, at not too small values of the Bjorken variable x, the dominant part of the next-to-next-to-next-to-leading order corrections. It thus facilitates improved determinations of the strong coupling α s and of 1/Q 2 power corrections from scaling violations measured in neutrino-nucleon DIS. The expansion of F 3 in powers of α s is stable at all values of x relevant to measurements at high scales Q 2 . At small x the third-order coefficient function is dominated by diagrams with the colour structure d abc d abc not present at lower orders. At large x the coefficient function for F 3 is identical to that of F 1 up to terms vanishing for x→1. (orig.)

Fluctuation effects in first-order phase transitions: Theory and model for martensitic transformations

DEFF Research Database (Denmark)

Lindgård, Per-Anker; Mouritsen, Ole G.

1990-01-01

We discuss central questions in weak, first-order structural transitions by means of a magnetic analog model. A theory including fluctuation effects is developed for the model, showing a dynamical response with softening, fading modes and a growing central peak. The model is also analyzed by a two......-dimensional Monte Carlo simulation, showing clear precursor phenomena near the first-order transition and spontaneous nucleation. The kinetics of the domain growth is studied and found to be exceedingly slow. The results are applicable for martensitic transformations and structural surface...

Invasion-wave-induced first-order phase transition in systems of active particles.

Science.gov (United States)

Ihle, Thomas

2013-10-01

An instability near the transition to collective motion of self-propelled particles is studied numerically by Enskog-like kinetic theory. While hydrodynamics breaks down, the kinetic approach leads to steep solitonlike waves. These supersonic waves show hysteresis and lead to an abrupt jump of the global order parameter if the noise level is changed. Thus they provide a mean-field mechanism to change the second-order character of the phase transition to first order. The shape of the wave is shown to follow a scaling law and to quantitatively agree with agent-based simulations.

MHD stability analysis using higher order spline functions

Energy Technology Data Exchange (ETDEWEB)

Ida, Akihiro [Department of Energy Engineering and Science, Graduate School of Engineering, Nagoya University, Nagoya, Aichi (Japan); Todoroki, Jiro; Sanuki, Heiji

1999-04-01

The eigenvalue problem of the linearized magnetohydrodynamic (MHD) equation is formulated by using higher order spline functions as the base functions of Ritz-Galerkin approximation. When the displacement vector normal to the magnetic surface (in the magnetic surface) is interpolated by B-spline functions of degree p{sub 1} (degree p{sub 2}), which is continuously c{sub 1}-th (c{sub 2}-th) differentiable on neighboring finite elements, the sufficient conditions for the good approximation is given by p{sub 1}{>=}p{sub 2}+1, c{sub 1}{<=}c{sub 2}+1, (c{sub 1}{>=}1, p{sub 2}{>=}c{sub 2}{>=}0). The influence of the numerical integration upon the convergence of calculated eigenvalues is discussed. (author)

Function-oriented display system: background and first prototypes

International Nuclear Information System (INIS)

Andresen, Gisle; Friberg, Maarten; Teigen, Arild; Pirus, Dominique

2004-04-01

The objective of the function-oriented displays and alarm project is to design, implement and evaluate Human System Interfaces (HSI) based on a function-oriented design philosophy. Function-oriented design is an approach for designing HSIs where the plant's functions, identified through a function analysis, are used for determining the content, organisation, and management of displays. The project has used the 'FITNESS approach', originally developed by EDF in France, as a starting point. FITNESS provides an integrated display system consisting of process operating displays, operating procedures, alarms and trend displays - all based on a functional decomposition of the plant. So far, two prototypes have been implemented on the FRESH PWR simulator in HAMMLAB. The first prototype focused on the condensate pumps. Three process operating displays representing functions at different levels of the functional hierarchy were implemented. Computerised startup and shutdown procedures for the condensate pumps function were also implemented. In the second prototype, the scope was increased to cover the main feedwater system. The displays of the first prototype were redesigned and additional displays were created. In conclusion, the first phase of the project has been completed successfully, and we are now ready to enter the second phase. In the second phase, the scope of the prototype will be increased further to include the steam-generators and function-oriented disturbance operating procedures. The prototype will be evaluated in a user test conducted later in 2004. (Author)

How much are your geraniums? Taking graph conditions beyond first Order

NARCIS (Netherlands)

Rensink, Arend; Katoen, Joost-Pieter; Langerak, Rom; Rensink, Arend

2017-01-01

Previous work has shown how first-order logic can equivalently be expressed through nested graph conditions, also called condition trees, with surprisingly few ingredients. In this paper, we extend condition trees by adding set-based operators such as sums and products, calculated over operands that

A NEW OSCILLATION CRITERION FOR FIRST ORDER NEUTRAL DELAY DIFFERENTIAL EQUATION

Institute of Scientific and Technical Information of China (English)

无

2006-01-01

In this paper, a new sufficient condition for the oscillation of all solutions of first order neutral delay differential equations is obtained. Secondly, the result can also be extended to a general neutral differential equation, and many known results in the literatures are improved.

Preferential semantics for action specification in first-order modal action logic

NARCIS (Netherlands)

Broersen, Jan; Wieringa, Roelf J.

In this paper we investigate preferential semantics for declarative specifications in a First Order Modal Action Logic. We address some well known problems: the frame problem, the qualification problem and the ramification problem. We incorporate the assumptions that are inherent to both the frame

A novel approach based on preference-based index for interval bilevel linear programming problem

OpenAIRE

Aihong Ren; Yuping Wang; Xingsi Xue

2017-01-01

This paper proposes a new methodology for solving the interval bilevel linear programming problem in which all coefficients of both objective functions and constraints are considered as interval numbers. In order to keep as much uncertainty of the original constraint region as possible, the original problem is first converted into an interval bilevel programming problem with interval coefficients in both objective functions only through normal variation of interval number and chance-constrain...

Calculating Second-Order Effects in MOSFET's

Science.gov (United States)

Benumof, Reuben; Zoutendyk, John A.; Coss, James R.

1990-01-01

Collection of mathematical models includes second-order effects in n-channel, enhancement-mode, metal-oxide-semiconductor field-effect transistors (MOSFET's). When dimensions of circuit elements relatively large, effects neglected safely. However, as very-large-scale integration of microelectronic circuits leads to MOSFET's shorter or narrower than 2 micrometer, effects become significant in design and operation. Such computer programs as widely-used "Simulation Program With Integrated Circuit Emphasis, Version 2" (SPICE 2) include many of these effects. In second-order models of n-channel, enhancement-mode MOSFET, first-order gate-depletion region diminished by triangular-cross-section deletions on end and augmented by circular-wedge-cross-section bulges on sides.

Effectiveness of a co-taught handwriting program for first grade students.

Science.gov (United States)

Case-Smith, Jane; Holland, Terri; White, Susan

2014-02-01

Our study examined the effects of Write Start, a classroom-embedded handwriting/writing program on handwriting and writing fluency for first grade students, co-taught by occupational therapists and teachers. Two first grade classrooms received the Write Start and two received standard handwriting instruction. This co-taught program included specific feedback during handwriting practice, small group activities, student self-evaluation, and peer supports. The students were evaluated on handwriting legibility, fluency, and written expression at baseline, immediately after the program, and 6 months later. When performance was compared between the two groups, the students in the Write Start program improved significantly more in legibility (d = .57) and fluency (d = .75) than students who received standard instruction. Gains in handwriting speed (d = .18), average legibility (d = .26), and written expression (d = .25) did not differ significantly between the two groups. A co-taught, inclusive handwriting/writing program can promote first grade students' achievement of lower case legibility and writing fluency.

Methylmercury toxicity and functional programming

DEFF Research Database (Denmark)

Grandjean, Philippe

2007-01-01

: Accumulating evidence indicates that adverse effects may occur even at low-level methylmercury exposures from seafood and freshwater fish. Neurobehavioral outcomes are usually non-specific, and imprecise exposure assessment results in a bias toward the null. Essential nutrients may promote the development......PURPOSE: Adverse health effects of developmental toxicants may induce abnormal functional programming that leads to lasting functional deficits. This notion is considered from epidemiological evidence using developmental methylmercury neurotoxicity as an example. MOST IMPORTANT FINDINGS...... of certain brain functions, thereby causing confounding bias. The functional deficits caused by prenatal methylmercury exposure appear to be permanent, and their extent may depend on the joint effect of toxicants and nutrients. PRINCIPAL CONCLUSIONS: The lasting functional changes caused...

First-order convex feasibility algorithms for x-ray CT

DEFF Research Database (Denmark)

Sidky, Emil Y.; Jørgensen, Jakob Heide; Pan, Xiaochuan

2013-01-01

Purpose: Iterative image reconstruction (IIR) algorithms in computed tomography (CT) are based on algorithms for solving a particular optimization problem. Design of the IIR algorithm, therefore, is aided by knowledge of the solution to the optimization problem on which it is based. Often times...... problems. Conclusions: Formulation of convex feasibility problems can provide a useful alternative to unconstrained optimization when designing IIR algorithms for CT. The approach is amenable to recent methods for accelerating first-order algorithms which may be particularly useful for CT with limited...

The first decade of the Massachusetts Tobacco Control Program.

OpenAIRE

Koh, Howard K.; Judge, Christine M.; Robbins, Harriet; Celebucki, Carolyn Cobb; Walker, Deborah K.; Connolly, Gregory N.

2005-01-01

This article provides a comprehensive overview of the first decade of the Massachusetts Tobacco Control Program (MTCP). Born after Massachusetts passed a 1992 ballot initiative raising cigarette excise taxes to fund the program, MTCP greatly reduced statewide cigarette consumption before being reduced to a skeletal state by funding cuts. The article describes the program's components and goals, details outcomes, presents a summary of policy accomplishments, and reviews the present status of M...

Mapping and Visiting in Functional and Object-oriented Programming

DEFF Research Database (Denmark)

Nørmark, Kurt; Thomsen, Bent; Thomsen, Lone Leth

2008-01-01

Mapping and visiting represent different programming styles for traversals of collections of data.  Mapping is rooted in the functional programming paradigm, and visiting is rooted in the object-oriented programming paradigm.  This paper explores the similarities and differences between mapping...... and visiting, seen across the traditions in the two different programming paradigms. The paper is concluded with recommendations for mapping and visiting in programming languages that support both the functional and the object-oriented paradigms....

Hamilton-Jacobi approach for first order actions and theories with higher derivatives

International Nuclear Information System (INIS)

Bertin, M.C.; Pimentel, B.M.; Pompeia, P.J.

2008-01-01

In this work, we analyze systems described by Lagrangians with higher order derivatives in the context of the Hamilton-Jacobi formalism for first order actions. Two different approaches are studied here: the first one is analogous to the description of theories with higher derivatives in the hamiltonian formalism according to [D.M. Gitman, S.L. Lyakhovich, I.V. Tyutin, Soviet Phys. J. 26 (1983) 730; D.M. Gitman, I.V. Tyutin, Quantization of Fields with Constraints, Springer-Verlag, New York, Berlin, 1990] the second treats the case where degenerate coordinate are present, in an analogy to reference [D.M. Gitman, I.V. Tyutin, Nucl. Phys. B 630 (2002) 509]. Several examples are analyzed where a comparison between both approaches is made

Practical Markov Logic Containing First-Order Quantifiers With Application to Identity Uncertainty

National Research Council Canada - National Science Library

Culotta, Aron; McCallum, Andrew

2005-01-01

.... In this paper, we present approximate inference and training methods that incrementally instantiate portions of the network as needed to enable first-order existential and universal quantifiers in Markov logic networks...

Temperature-dependent dielectric function of germanium in the UV–vis spectral range: A first-principles study

International Nuclear Information System (INIS)

Yang, J.Y.; Liu, L.H.; Tan, J.Y.

2014-01-01

The study of temperature dependence of thermophysical parameter dielectric function is key to understanding thermal radiative transfer in high-temperature environments. Limited by self-radiation and thermal oxidation, however, it is difficult to directly measure the high-temperature dielectric function of solids with present experimental technologies. In this work, we implement two first-principles methods, the ab initio molecular dynamics (AIMD) and density functional perturbation theory (DFPT), to study the temperature dependence of dielectric function of germanium (Ge) in the UV–vis spectral range in order to provide data of high-temperature dielectric function for radiative transfer study in high-temperature environments. Both the two methods successfully predict the temperature dependence of dielectric function of Ge. Moreover, the good agreement between the calculated results of the AIMD approach and experimental data at 825 K enables us to predict the high-temperature dielectric function of Ge with the AIMD method in the UV–vis spectral range. - Highlights: • The temperature dependence of dielectric function of germanium (Ge) is investigated with two first-principles methods. • The temperature effect on dielectric function of Ge is discussed. • The high-temperature dielectric function of Ge is predicted

Use of Dirac-Coulomb Sturmians of the first-order for relativistic calculations of two-photon bound-bound transition amplitudes in hydrogenic-like ions

International Nuclear Information System (INIS)

Tetchou Nganso, H.M.; Kwato Njock, M.G.

2005-08-01

A fully relativistic treatment of the S-matrix elements describing two-photon bound-bound transition amplitudes in hydrogenic-like ions is undertaken in the present work. Several selected transitions from the ground state vertical bar 1 2 S> towards the L and M shells (vertical bar 2 2 S>, vertical bar 3 2 S>,vertical bar 3 2 D 1/2 >, and vertical bar 3 2 D 5/2 ) are described. For that purpose, we use the complete set of relativistic Sturmian functions derived by Szmytkowski from the first-order Sturm- Liouville problems for the Dirac equation. The method followed consists in writing the matrix elements in terms of Green functions expanded over the first-order Dirac-Coulomb Sturmians. Previous approaches used the Sturmian basis associated with the Gell-Mann-Feynman equation. However these latter second-order Sturmian functions do not form a complete set and cannot rigorously describe the process under study. On the other hand, a distinctive feature of our tensor treatment is that the expressions derived are quite general and could be applied to any multipole of the two photon bound-bound transitions. In the case of dipole transitions considered by Szymanowski et al., in their calculations, the selection rules derived from our method lead to two additional terms related to l lp =2 and l 2p =2. (author)

Elementary function calculation programs for the central processor-6

International Nuclear Information System (INIS)

Dobrolyubov, L.V.; Ovcharenko, G.A.; Potapova, V.A.

1976-01-01

Subprograms of elementary functions calculations are given for the central processor (CP AS-6). A procedure is described to obtain calculated formulae which represent the elementary functions as a polynomial. Standard programs for random numbers are considered. All the programs described are based upon the algorithms of respective programs for BESM computer

Towards Rational Design of Functional Fluoride and Oxyfluoride Materials from First Principles

Science.gov (United States)

Charles, Nenian

Complex transition metal compounds (TMCs) research has produced functional materials with a range of properties, including ferroelectricity, colossal magnetoresistance, nonlinear optical activity and high-temperature superconductivity. Conventional routes to tune properties in transition metal oxides, for example, have relied primarily on cation chemical substitution and interfacial effects in thin film heterostructures. In heteroanionic TMCs, exhibiting two chemically distinct anions coordinating the same or different cations, engineering of the anion sub-lattice for property control is a promising alternative approach. The presence of multiple anions provides additional design variables, such as anion order, that are absent in homoanionic counterparts. The more complex structural and chemical phase space of heteroanionic materials provides a unique opportunity to realize enhanced or unanticipated electronic, optical, and magnetic responses. Although there is growing interest in heteroanionic materials, and synthetic and characterization advances are occurring for these materials, the crystal-chemistry principles for realizing structural and property control are only slowing emerging. This dissertation employs anion engineering to investigate phenomena in transition metal fluorides and oxyfluorides compounds using first principles density functional theory calculations. Oxyfluorides are particularly intriguing owing their tendency to stabilize highly ordered anion sublattices as well as the potential to combine the advantageous properties of transition metal oxides and fluorides. This work 1) addresses the challenges of studying fluorides and oxyfluorides using first principles calculations; 2) evaluates the feasibility of using external stimuli, such as epitaxial strain and hydrostatic pressure, to control properties of fluorides and oxyfluorides; and 3) formulates a computational workflow based on multiple levels of theory and computation to elucidate structure

Adaptive generalized function matrix projective lag synchronization between fractional-order and integer-order complex networks with delayed coupling and different dimensions

International Nuclear Information System (INIS)

Dai, Hao; Si, Gangquan; Jia, Lixin; Zhang, Yanbin

2013-01-01

This paper investigates generalized function matrix projective lag synchronization between fractional-order and integer-order complex networks with delayed coupling, non-identical topological structures and different dimensions. Based on Lyapunov stability theory, generalized function matrix projective lag synchronization criteria are derived by using the adaptive control method. In addition, the three-dimensional fractional-order chaotic system and the four-dimensional integer-order hyperchaotic system as the nodes of the drive and the response networks, respectively, are analyzed in detail, and numerical simulation results are presented to illustrate the effectiveness of the theoretical results. (paper)

REGIONAL FIRST ORDER PERIODIC AUTOREGRESSIVE MODELS FOR MONTHLY FLOWS

Directory of Open Access Journals (Sweden)

Ceyhun ÖZÇELİK

2008-01-01

Full Text Available First order periodic autoregressive models is of mostly used models in modeling of time dependency of hydrological flow processes. In these models, periodicity of the correlogram is preserved as well as time dependency of processes. However, the parameters of these models, namely, inter-monthly lag-1 autocorrelation coefficients may be often estimated erroneously from short samples, since they are statistics of high order moments. Therefore, to constitute a regional model may be a solution that can produce more reliable and decisive estimates, and derive models and model parameters in any required point of the basin considered. In this study, definitions of homogeneous region for lag-1 autocorrelation coefficients are made; five parametric and non parametric models are proposed to set regional models of lag-1 autocorrelation coefficients. Regional models are applied on 30 stream flow gauging stations in Seyhan and Ceyhan basins, and tested by criteria of relative absolute bias, simple and relative root of mean square errors.

Temporal aggregation in first order cointegrated vector autoregressive models

DEFF Research Database (Denmark)

La Cour, Lisbeth Funding; Milhøj, Anders

We study aggregation - or sample frequencies - of time series, e.g. aggregation from weekly to monthly or quarterly time series. Aggregation usually gives shorter time series but spurious phenomena, in e.g. daily observations, can on the other hand be avoided. An important issue is the effect of ...... of aggregation on the adjustment coefficient in cointegrated systems. We study only first order vector autoregressive processes for n dimensional time series Xt, and we illustrate the theory by a two dimensional and a four dimensional model for prices of various grades of gasoline...

Spectroscopic studies (FT-IR, FT-Raman, UV-Visible), normal co-ordinate analysis, first-order hyperpolarizability and HOMO, LUMO studies of 3,4-dichlorobenzophenone by using Density Functional Methods.

Science.gov (United States)

Venkata Prasad, K; Samatha, K; Jagadeeswara Rao, D; Santhamma, C; Muthu, S; Mark Heron, B

2015-01-01

The vibrational frequencies of 3,4-dichlorobenzophenone (DCLBP) were obtained from the FT-IR and Raman spectral data, and evaluated based on the Density Functional Theory using the standard method B3LYP with 6-311+G(d,p) as the basis set. On the basis of potential energy distribution together with the normal-co-ordinate analysis and following the scaled quantum mechanical force methodology, the assignments for the various frequencies were described. The values of the electric dipole moment (μ) and the first-order hyperpolarizability (β) of the molecule were computed. The UV-absorption spectrum was also recorded to study the electronic transitions. The calculated HOMO and LUMO energies show that charge transfer occurs within the molecule. The NBO analysis, to study the intramolecular hyperconjugative interactions, was carried out. Mulliken's net charges were evaluated. The MEP and thermodynamic properties were also calculated. The electron density-based local reactivity descriptor, such as Fukui functions, was calculated to explain the chemical selectivity or reactivity site in 3,4-dichlorobenzophenone. Copyright © 2015 Elsevier B.V. All rights reserved.

Time and order of eruption of first functional teeth in the upper jaw of post-larval life of Sicyopterus japonicus (Gobiidiae: Sicydiinae) during cranial metamorphosis at the time of river recruitment.

Science.gov (United States)

Sahara, Noriyuki; Moriyama, Keita; Iida, Midori; Watanabe, Shun

2016-06-01

The present study was aimed at elucidating the time and order of eruption of first functional teeth in the upper jaw of post-larval life of Sicyopterus japonicus (S. japonicus) during cranial metamorphosis at the time of river recruitment. Fishes were caught at the post-larval stage at a river mouth and maintained for 7 days in a water tank. Each of 10 specimens was evaluated every day for 7 days by using microcomputed tomography, scanning electron microscopy, and light microscopy with peculiar attention to the development of the upper jaw teeth. Fishes caught at the river mouth were mostly transparent, with a rostral terminal mouth, and no teeth could be found in either the upper or lower jaw. At 2 days after collection, the mouth position changed from terminal to subterminal, resulting from a change in head shape. The initial eruption of first functional teeth was detected at the anterior two-thirds region of each upper jaw. These teeth erupted in adjacent positions, most had a tricuspid crown, and they represented miniature versions of adult teeth. At 5 days, the position of the mouth became further relocated from terminal rostral to ventral. The number of erupted teeth increased, followed by spreading of them anteriorly and posteriorly. At 7 days, they formed a single row of close-set tricuspid teeth along the entire length of each upper jaw. The present study demonstrated that even under laboratory conditions a rapid and drastic cranial metamorphosis took place within a week after the time of collection of post-larval S. japonicus from a river. The eruption of first functional teeth in the upper jaw of S. japonicus, which teeth are adapted to scraping algae off the substrate, was initially detected at 2 days after collection, and first functional dentition of the upper jaw was set up within 7 days after it. Copyright © 2016 Elsevier Ltd. All rights reserved.

Optical conductivity calculation of a k.p model semiconductor GaAs incorporating first-order electron-hole vertex correction

Science.gov (United States)

Nurhuda, Maryam; Aziz Majidi, Muhammad

2018-04-01

The role of excitons in semiconducting materials carries potential applications. Experimental results show that excitonic signals also appear in optical absorption spectra of semiconductor system with narrow gap, such as Gallium Arsenide (GaAs). While on the theoretical side, calculation of optical spectra based purely on Density Functional Theory (DFT) without taking electron-hole (e-h) interactions into account does not lead to the appearance of any excitonic signal. Meanwhile, existing DFT-based algorithms that include a full vertex correction through Bethe-Salpeter equation may reveal an excitonic signal, but the algorithm has not provided a way to analyze the excitonic signal further. Motivated to provide a way to isolate the excitonic effect in the optical response theoretically, we develop a method of calculation for the optical conductivity of a narrow band-gap semiconductor GaAs within the 8-band k.p model that includes electron-hole interactions through first-order electron-hole vertex correction. Our calculation confirms that the first-order e-h vertex correction reveals excitonic signal around 1.5 eV (the band gap edge), consistent with the experimental data.

Generalized ensemble method applied to study systems with strong first order transitions

Science.gov (United States)

Małolepsza, E.; Kim, J.; Keyes, T.

2015-09-01

At strong first-order phase transitions, the entropy versus energy or, at constant pressure, enthalpy, exhibits convex behavior, and the statistical temperature curve correspondingly exhibits an S-loop or back-bending. In the canonical and isothermal-isobaric ensembles, with temperature as the control variable, the probability density functions become bimodal with peaks localized outside of the S-loop region. Inside, states are unstable, and as a result simulation of equilibrium phase coexistence becomes impossible. To overcome this problem, a method was proposed by Kim, Keyes and Straub [1], where optimally designed generalized ensemble sampling was combined with replica exchange, and denoted generalized replica exchange method (gREM). This new technique uses parametrized effective sampling weights that lead to a unimodal energy distribution, transforming unstable states into stable ones. In the present study, the gREM, originally developed as a Monte Carlo algorithm, was implemented to work with molecular dynamics in an isobaric ensemble and coded into LAMMPS, a highly optimized open source molecular simulation package. The method is illustrated in a study of the very strong solid/liquid transition in water.

The mass transfer approach to multivariate discrete first order stochastic dominance

DEFF Research Database (Denmark)

Østerdal, Lars Peter Raahave

2010-01-01

A fundamental result in the theory of stochastic dominance tells that first order dominance between two finite multivariate distributions is equivalent to the property that the one can be obtained from the other by shifting probability mass from one outcome to another that is worse a finite numbe...

First German disease management program for breast cancer.

Science.gov (United States)

Rupprecht, Christoph

2005-01-01

The first disease management program contract for breast cancer in Germany was signed in 2002 between the Association of Regional of Physicians in North-Rhine and the statutory health insurance companies in Rhineland. At the heart of this unique breast cancer disease management program is a patient-centered network of health care professionals. The program's main objectives are: (1) to improve the quality of treatment and post-operative care for breast cancer patients, (2) to provide timely information and consultation empowering the patient to participate in decisionmaking, (3) to improve the interface between inpatient and outpatient care, and (4) to increase the number of breast-conserving surgeries.