Bischof, C.H.; Mauer, A.; Jones, W.T.
1995-12-31
Automatic differentiation (AD) is a methodology for developing reliable sensitivity-enhanced versions of arbitrary computer programs with little human effort. It can vastly accelerate the use of advanced simulation codes in multidisciplinary design optimization, since the time for generating and verifying derivative codes is greatly reduced. In this paper, we report on the application of the recently developed ADIC automatic differentiation tool for ANSI C programs to the CSCMDO multiblock three-dimensional volume grid generator. The ADIC-generated code can easily be interfaced with Fortran derivative codes generated with the ADIFOR AD tool FORTRAN 77 programs, thus providing efficient sensitivity-enhancement techniques for multilanguage, multidiscipline problems.
Lee, S. L.; Hovland, P. D.
2000-11-01
PVODE is a high-performance ordinary differential equation solver for the types of initial value problems (IVPs) that arise in large-scale computational simulations. Often, one wants to compute sensitivities with respect to certain parameters in the IVP. We discuss the use of automatic differentiation (AD) to compute these sensitivities in the context of PVODE. Results on a simple test problem indicate that the use of AD-generated derivative code can reduce the time to solution over finite difference approximations.
Lee, S L; Hovland, P D
2000-09-15
PVODE is a high-performance ordinary differential equation solver for the types of initial value problems (IVPs) that arise in large-scale computational simulations. often, one wants to compute sensitivities with respect to certain parameters in the IVP. They discuss the use of automatic differentiation (AD) to compute these sensitivities in the context of PVODE. Results on a simple test problem indicate that the use of AD-generated derivative code can reduce the time to solution over finite difference approximations.
On the automatic differentiation of computer programs
Bischof, C.H.
1995-06-01
Automatic differentiation (AD) is a methodology for developing sensitivity-enhanced versions of arbitrary computer programs. In this paper, we provide some background information on AD and address some frequently asked questions. We introduce the ADIFOR and ADIC tools for the automatic differentiation of Fortran 77 and ANSI-C programs, respectively, and give an example of applying ADIFOR in the context of the optimization of multibody systems.
Automatic differentiation bibliography
Corliss, G.F.
1992-07-01
This is a bibliography of work related to automatic differentiation. Automatic differentiation is a technique for the fast, accurate propagation of derivative values using the chain rule. It is neither symbolic nor numeric. Automatic differentiation is a fundamental tool for scientific computation, with applications in optimization, nonlinear equations, nonlinear least squares approximation, stiff ordinary differential equation, partial differential equations, continuation methods, and sensitivity analysis. This report is an updated version of the bibliography which originally appeared in Automatic Differentiation of Algorithms: Theory, Implementation, and Application.
Automatic Differentiation Package
Energy Science and Technology Software Center (ESTSC)
2007-03-01
Sacado is an automatic differentiation package for C++ codes using operator overloading and C++ templating. Sacado provide forward, reverse, and Taylor polynomial automatic differentiation classes and utilities for incorporating these classes into C++ codes. Users can compute derivatives of computations arising in engineering and scientific applications, including nonlinear equation solving, time integration, sensitivity analysis, stability analysis, optimization and uncertainity quantification.
On the implementation of automatic differentiation tools.
Bischof, C. H.; Hovland, P. D.; Norris, B.; Mathematics and Computer Science; Aachen Univ. of Technology
2008-01-01
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathematical function into a program that computes the function and its derivatives. Derivatives play an important role in a wide variety of scientific computing applications, including numerical optimization, solution of nonlinear equations, sensitivity analysis, and nonlinear inverse problems. We describe the forward and reverse modes of automatic differentiation and provide a survey of implementation strategies. We describe some of the challenges in the implementation of automatic differentiation tools, with a focus on tools based on source transformation. We conclude with an overview of current research and future opportunities.
Using ADIFOR and ADIC to provide Jacobians for the SNES component of PETSc
Wu, Po-Ting; Bischof, C.H.; Hovland, P.D.
1997-11-01
The solution of large-scale nonlinear problems is important to many areas of computational science. The SNES component of PETSc provides a robust and flexible suite of numerical routines for the solving such problems. These routines generally utilize the Jacobian matrix. We present a strategy for using ADIFOR or ADIC to assist in the development of a subroutine for computing this matrix. We illustrate this strategy using one of the PETSc example programs and four different approaches to computing the Jacobian via automatic differentiation.
Computer Corner: Automatic Differentiation and APL.
ERIC Educational Resources Information Center
Neidinger, Richard D.
1989-01-01
Described are several programs that enable the user to evaluate derivatives to order n of any elementary function by using the combination of automatic differentiation method and A Programming Language (APL). Programs calculating first- and higher-order derivatives are presented. Selected APL symbols are appended. (YP)
Automatic differentiation and Navier-Stokes.
Bischof, C.; Hovland, P.; Mohammadi, B.
1997-12-17
We describe the use of automatic differentiation (AD) to enhance a compressible Navier-Stokes model. With the solver, AD is used to accelerate convergence by more than an order of magnitude. Outside the solver, AD is used to compute the derivatives needed for optimization. We emphasize the potential for performance gains if the programmer does not treat AD as a black box, but instead utilizes high-level knowledge about the nature of the application.
A taxonomy of automatic differentiation tools
Juedes, D.W. . Dept. of Computer Science)
1991-01-01
Many of the current automatic differentiation (AD) tools have similar characteristics. Unfortunately, the similarities between these various AD tools often cannot be easily ascertained by reading the corresponding documentation. To clarify this situation, a taxonomy of AD tools is presented. The taxonomy places AD tools into the Elemental, Extensional, Integral, Operational, and Symbolic classes. This taxonomy is used to classify twenty-nine AD tools. Each tool is examined individually with respect to the mode of differentiation used and the degree of derivatives computed. A list detailing the availability of the surveyed AD tools is provided in the Appendix. 54 refs., 3 figs., 1 tab.
NASA Astrophysics Data System (ADS)
Kochubei, Anatoly N.
1996-10-01
Representations of the canonical and deformed commutation relations by bounded operators on p-adic Banach spaces are constructed. Functions from the Mahler basis of the space of p-adic continuous functions and their multiplicative analogues are shown to be the p-adic counterparts of the Hermite and q-Hermite functions. The analogue of the Stone - von Neumann uniqueness theorem fails in the p-adic case.
AUTOMATIC DIFFERENTIATION OF AN EULERIAN HYDROCODE
R. HENNINGER; A. CARLE; P. MAUDLIN
2000-11-01
Automatic differentiation (AD) is applied to a two-dimensional Eulerian hydrodynamics computer code (hydrocode) to provide gradients that will be used for design optimization and uncertainty analysis. We examine AD in both the forward and adjoint (reverse) mode using Automatic Differentiation of Fortran (ADIFOR, version 3.0). Setup time, accuracy, and run times are described for three problems. The test set consists of a one-dimensional shock-propagation problem, a two-dimensional metal-jet-formation problem and a two-dimensional shell-collapse problem. Setup time for ADIFOR was approximately one month starting from a simplified, fixed-dimension version of the original code. ADIFOR produced accurate (as compared to finite difference) gradients in both modes for all of the problems. These test problems had 17 independent variables. We find that the forward mode is up to 39% slower and the adjoint mode is at least 11% faster than finding the gradient by means of finite differences. Problems of real interest will certainly have more independent variables. The adjoint mode is thus favored since the computational time increases only slightly for additional independent variables.
HYDROCODE SENSITIVITIES BY MEANS OF AUTOMATIC DIFFERENTIATION
R. HENNINGER; A. CARLE; P. MAUDLIN
2001-01-01
The purpose of this project has been to provide sensitivities of results from an Eulerian hydrodynamics computer code (hydrocode) for use in design-optimization and uncertainty analyses. We began by applying an equation-based sensitivity technique used successfully in the early eighties that was applied to reactor-safety thermal-hydraulics problems, which is called Differential Sensitivity Theory (DST). The methodology is as follows: the system of partial differential equations (the forward or physical PDEs) is assembled, and differentiated with respect to the model parameters of interest; the adjoint equations are then determined using the inner-product rules of Hilbert spaces; and finally, the resulting adjoint PDEs are solved using straightforward numerical operators. The forward-variable solutions when needed for the adjoint solutions are provided by the original computer code that solves the physical (or forward) problem. In the present hydrocode application, acceptable results were obtained for one-material, one-dimensional problems. The DST results were then improved by means of ''compatible'' finite difference operators. We have seen, however, that DST techniques do not produce accurate values for sensitivities to all of the parameters of interest and for problems with discontinuities such as a multi-material problem. To obtain accurate sensitivities for arbitrary numerical resolution a more code-based approach was then tried. We attempted to apply automatic differentiation (AD) in the forward mode using Automatic Differentiation of Fortran (ADIFOR, version 2.0) and the Tangent-linear and Adjoint Model Compiler (TAMC) in the forward and adjoint modes. We were successful for one-dimensional problems in both modes but failed to obtain accurate sensitivities in the adjoint mode for two-dimensional problem. Here we present the successful results for two-dimensional problems in both the forward and adjoint modes using ADIFOR, version 3.0. In what follows, we
Automatic differentiation of melanoma from dysplastic nevi.
Rastgoo, Mojdeh; Garcia, Rafael; Morel, Olivier; Marzani, Franck
2015-07-01
Malignant melanoma causes the majority of deaths related to skin cancer. Nevertheless, it is the most treatable one, depending on its early diagnosis. The early prognosis is a challenging task for both clinicians and dermatologist, due to the characteristic similarities of melanoma with other skin lesions such as dysplastic nevi. In the past decades, several computerized lesion analysis algorithms have been proposed by the research community for detection of melanoma. These algorithms mostly focus on differentiating melanoma from benign lesions and few have considered the case of melanoma against dysplastic nevi. In this paper, we consider the most challenging task and propose an automatic framework for differentiation of melanoma from dysplastic nevi. The proposed framework also considers combination and comparison of several texture features beside the well used colour and shape features based on "ABCD" clinical rule in the literature. Focusing on dermoscopy images, we evaluate the performance of the framework using two feature extraction approaches, global and local (bag of words) and three classifiers such as support vector machine, gradient boosting and random forest. Our evaluation revealed the potential of texture features and random forest as an almost independent classifier. Using texture features and random forest for differentiation of melanoma and dysplastic nevi, the framework achieved the highest sensitivity of 98% and specificity of 70%. PMID:25797605
A low rank approach to automatic differentiation.
Abdel-Khalik, H. S.; Hovland, P. D.; Lyons, A.; Stover, T. E.; Utke, J.; Mathematics and Computer Science; North Carolina State Univ.; Univ. of Chicago
2008-01-01
This manuscript introduces a new approach for increasing the efficiency of automatic differentiation (AD) computations for estimating the first order derivatives comprising the Jacobian matrix of a complex large-scale computational model. The objective is to approximate the entire Jacobian matrix with minimized computational and storage resources. This is achieved by finding low rank approximations to a Jacobian matrix via the Efficient Subspace Method (ESM). Low rank Jacobian matrices arise in many of today's important scientific and engineering problems, e.g. nuclear reactor calculations, weather climate modeling, geophysical applications, etc. A low rank approximation replaces the original Jacobian matrix J (whose size is dictated by the size of the input and output data streams) with matrices of much smaller dimensions (determined by the numerical rank of the Jacobian matrix). This process reveals the rank of the Jacobian matrix and can be obtained by ESM via a series of r randomized matrix-vector products of the form: Jq, and J{sup T} {omega} which can be evaluated by the AD forward and reverse modes, respectively.
The Real Number System vs. a System Called 10-adic.
ERIC Educational Resources Information Center
Aslan, Farhad; Duck, Howard
1992-01-01
P-adic or g-adic sets are sets of elements formed by linear combinations of powers of p, a prime number, or g, a counting number, where the coefficients are whole numbers less than p or g. Discusses exercises illustrating basic numerical operations for p-adic and g-adic sets. Provides BASIC computer programs to verify the solutions. (MDH)
Higher-order automatic differentiation of mathematical functions
NASA Astrophysics Data System (ADS)
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.
Nonlocal dynamics of p-adic strings
NASA Astrophysics Data System (ADS)
Dragovich, B. G.
2010-09-01
We consider the construction of Lagrangians that might be suitable for describing the entire p-adic sector of an adelic open scalar string. These Lagrangians are constructed using the Lagrangian for p-adic strings with an arbitrary prime number p. They contain space-time nonlocality because of the d’Alembertian in the argument of the Riemann zeta function. We present a brief review and some new results.
NASA Astrophysics Data System (ADS)
Brekke, Lee; Freund, Peter G. O.
1993-10-01
The boundary of the ordinary open string world sheet is the real line. Along with the usual open string, one can consider p-adic open strings whose world sheet has as boundary the p-adic line instead (the points on this boundary are labelled by p-adic numbers rather than real numbers). The world sheet itself is then no longer a continous manifold but becomes a discrete homogeneous Bethe lattice, or Bruhat-Tits tree of incidence number p + 1. The p-adic strings thus correspond to specific discretizations of the world sheet. Studying all these discretizations (one for each prime p) together, as suggested by number theory, sheds new light on the ordinary string, via adelic product formulae. One is also led this way to a new type of string, the adelic string. These issues and their generalization to closed strings are discussed after a self-contained mathematical introduction. Other physical systems with natural p-adic counterparts are considered and in their context the connection between p-adic theories and quantum groups is explored.
Autyomatic Differentiation of C/C++
Energy Science and Technology Software Center (ESTSC)
2005-11-14
Automatic differentiation (AD) tools mechanize the process of developing code for the computation of derivatives. AD avoids the inaccuracies inherent in numerical approximations. Furthermore, sophisticated AD algoirthms can often produce c ode that is more reliable and more efficient than code written by an expert programmer. ADIC is the first and only AD tool for C and C++ based on compiler technology. This compiler foundation makes possible analyses and optimizations not available in toos basedmore » on operator overloading. The earliest implementations of ADIC included support for ANSI C applications, ADIC 2.0 lverages EDG, a commercial C/C++ parser, to provide robust C++ differentiation support. Modern AD tools, including ADIC are implemented in a modular way, aiming to isolate language-dependent program analyses and semantic transformations. The component design leads to much higher implementation quality because the different components can be implemented by experts in each of the different domains involved. For example, a compiler expert can focus on parsing, canonicalizing, and unparising C and C++, while an expert in graph theory and algorithms can produce new differentiation modules without having to worry about the complexity of parsing and generating C++ code. Thsi separation of concerns was achieved through the use of language-independent program analysis interfaces (in collaboration with researcgers at Rice University) and a language-independent XML representation of the computational portions of programs (XAIF). In addition to improved robustness and faster development times, this design naturally enables the reuse of program analysis algorithms and differentiation modules in compiler-based AD tools for other languages. In fact, the analysis and differention components are used in both ADIC and the Open AD Fortran front-end (based on Rice's Open64 compiler.« less
Autyomatic Differentiation of C/C++
Beata Winnicka, Boyana Norris
2005-11-14
Automatic differentiation (AD) tools mechanize the process of developing code for the computation of derivatives. AD avoids the inaccuracies inherent in numerical approximations. Furthermore, sophisticated AD algoirthms can often produce c ode that is more reliable and more efficient than code written by an expert programmer. ADIC is the first and only AD tool for C and C++ based on compiler technology. This compiler foundation makes possible analyses and optimizations not available in toos based on operator overloading. The earliest implementations of ADIC included support for ANSI C applications, ADIC 2.0 lverages EDG, a commercial C/C++ parser, to provide robust C++ differentiation support. Modern AD tools, including ADIC are implemented in a modular way, aiming to isolate language-dependent program analyses and semantic transformations. The component design leads to much higher implementation quality because the different components can be implemented by experts in each of the different domains involved. For example, a compiler expert can focus on parsing, canonicalizing, and unparising C and C++, while an expert in graph theory and algorithms can produce new differentiation modules without having to worry about the complexity of parsing and generating C++ code. Thsi separation of concerns was achieved through the use of language-independent program analysis interfaces (in collaboration with researcgers at Rice University) and a language-independent XML representation of the computational portions of programs (XAIF). In addition to improved robustness and faster development times, this design naturally enables the reuse of program analysis algorithms and differentiation modules in compiler-based AD tools for other languages. In fact, the analysis and differention components are used in both ADIC and the Open AD Fortran front-end (based on Rice's Open64 compiler.
ADIFOR: Automatic differentiation in a source translator environment
Bischof, C.; Corliss, G.; Griewank, A. ); Carle, A. . Center for Research on Parallel Computation)
1992-01-01
The numerical methods employed in the solution of many scientific computing problems require the computation of derivatives of a function f: R{sup n} {yields} R{sup m}. ADIFOR (Automatic Differentiation in FORtran) is a source transformation tool that accepts Fortran 77 code for the computation of a function and writes portable Fortran 77 code for the computation of the derivatives. In contrast to previous approaches, ADIFOR views automatic differentiation as a source transformation problem and employs the data analysis capabilities of the ParaScope Fortran programming environment. Experimental results show that ADIFOR can handle real- life codes and that ADIFOR-generated codes are competitive with divided-difference approximations of derivatives. In addition, studies suggest that the source-transformation approach to automatic differentation may improve the time required to compute derivatives by orders of magnitude.
Application of automatic differentiation to groundwater transport models
Bischof, C.H.; Ross, A.A.; Whiffen, G.J.; Shoemaker, C.A.; Carle, A.
1994-06-01
Automatic differentiation (AD) is a technique for generating efficient and reliable derivative codes from computer programs with a minimum of human effort. Derivatives of model output with respect to input are obtained exactly. No intrinsic limits to program length or complexity exist for this procedure. Calculation of derivatives of complex numerical models is required in systems optimization, parameter identification, and systems identification. We report on our experiences with the ADIFOR (Automatic Differentiation of Fortran) tool on a two-dimensional groundwater flow and contaminant transport finite-element model, ISOQUAD, and a three-dimensional contaminant transport finite-element model, TLS3D. Derivative values and computational times for the automatic differentiation procedure axe compared with values obtained from the divided differences and handwritten analytic approaches. We found that the derivative codes generated by ADIFOR provided accurate derivatives and ran significantly faster than divided-differences approximations, typically in a tenth of the CPU time required for the imprecise divided-differences method for both codes. We also comment on the impact of automatic differentiation technology with respect to accelerating the transfer of general techniques developed for using water resource computer models, such as optimal design, sensitivity analysis, and inverse modeling problems to field problems.
Application of automatic differentiation to reservoir design models.
Sinha, A. K.; Bischof, C. H.; Shiriaev, D.; Mathematics and Computer Science; Indian Inst. of Tech.; Technical Univ. of Dresden
1998-05-01
Automatic differentiation is a technique for computing derivatives accurately and efficiently with minimal human effort. The calculation of derivatives of numerical models is necessary for gradient-based optimization of reservoir systems to determine optimal sizes for reservoirs. The writers report on the use of automatic differentiation and divided difference approaches for computing derivatives for a single- and multiple-reservoir yield model. In the experiments, the ADIFOR (Automatic Differentiation of Fortran) tool is employed. The results show that, for both the single- and the multiple-reservoir model, automatic differentiation computes derivatives exactly and more efficiently than the divided difference implementation. Postoptimization of the ADIFOR-generated derivative code by exploiting the model structure is also discussed. The writers observe that the availability of exact derivatives significantly benefits the convergence of the optimization algorithm: the solution of the multireservoir problem, which took 10.5 hours with divided difference derivatives, is decreased to less than two hours with ADIFOR 'out of the box' derivatives, and to less than an hour using the postoptimized ADIFOR derivative code.
Automatic differentiation for PDES: Unsaturated flow case study
Corliss, G.F.; Bischof, C.; Griewank, A.; Wright, S.J.; Robey, T.
1992-07-01
The techniques of automatic differentiation are applied to an example partial differential equation arising from the modeling of unsaturated flow. One common paradigm for the numerical solution to some classes of two-, three-, or higher-dimensional partial differential equations is as follows: Given a PDE and boundary conditions, apply finite difference or finite element approximations on some appropriate (frequently nonuniform) grid, and enforce an approximate solution by solving a nonlinear system F(u)=0 for the residual by Newton`s method. The dimension of the nonlinear system F(u)=0 is proportional to the number of grid points. In current algorithms, the Jacobian J required by Newton`s method is computed by some combination of hand coding, divided differences, matrix coloring, and partial separability. We present a case study documenting the steps we took in analyzing a code provided by Robey for modeling unsaturated flow in porous media. Our purpose was to compute J by automatic differentiation using ADOL-C, a tool for automatic differentiation using overloaded operators in C++.
Automatic differentiation for PDES: Unsaturated flow case study
Corliss, G.F.; Bischof, C.; Griewank, A.; Wright, S.J. ); Robey, T. )
1992-01-01
The techniques of automatic differentiation are applied to an example partial differential equation arising from the modeling of unsaturated flow. One common paradigm for the numerical solution to some classes of two-, three-, or higher-dimensional partial differential equations is as follows: Given a PDE and boundary conditions, apply finite difference or finite element approximations on some appropriate (frequently nonuniform) grid, and enforce an approximate solution by solving a nonlinear system F(u)=0 for the residual by Newton's method. The dimension of the nonlinear system F(u)=0 is proportional to the number of grid points. In current algorithms, the Jacobian J required by Newton's method is computed by some combination of hand coding, divided differences, matrix coloring, and partial separability. We present a case study documenting the steps we took in analyzing a code provided by Robey for modeling unsaturated flow in porous media. Our purpose was to compute J by automatic differentiation using ADOL-C, a tool for automatic differentiation using overloaded operators in C++.
Are there p-adic knot invariants?
NASA Astrophysics Data System (ADS)
Morozov, A. Yu.
2016-04-01
We suggest using the Hall-Littlewood version of the Rosso-Jones formula to define the germs of p-adic HOMFLY-PT polynomials for torus knots [ m, n] as coefficients of superpolynomials in a q-expansion. In this form, they have at least the [ m, n] ↔ [ n, m] topological invariance. This opens a new possibility to interpret superpolynomials as p-adic deformations of HOMFLY polynomials and poses a question of generalizing to other knot families, which is a substantial problem for several branches of modern theory.
Automatic Differentiation as a tool in engineering design
NASA Technical Reports Server (NTRS)
Barthelemy, Jean-Francois M.; Hall, Laura E.
1992-01-01
Automatic Differentiation (AD) is a tool that systematically implements the chain rule of differentiation to obtain the derivatives of functions calculated by computer programs. In this paper, it is assessed as a tool for engineering design. The paper discusses the forward and reverse modes of AD, their computing requirements, and approaches to implementing AD. It continues with application to two different tools to two medium-size structural analysis problems to generate sensitivity information typically necessary in an optimization or design situation. The paper concludes with the observation that AD is to be preferred to finite differencing in most cases, as long as sufficient computer storage is available.
p-Adic Strings and Their Applications
Freund, Peter G. O.
2006-03-29
The theory of p-adic strings is reviewed along with some of their applications, foremost among them to the tachyon condensation problem in string theory. Some open problems are discussed, in particular that of the superstring in 10 dimensions as the end-stage of the 26-dimensional closed bosonic string's tachyon condensation.
Clad — Automatic Differentiation Using Clang and LLVM
NASA Astrophysics Data System (ADS)
Vassilev, V.; Vassilev, M.; Penev, A.; Moneta, L.; Ilieva, V.
2015-05-01
Differentiation is ubiquitous in high energy physics, for instance in minimization algorithms and statistical analysis, in detector alignment and calibration, and in theory. Automatic differentiation (AD) avoids well-known limitations in round-offs and speed, which symbolic and numerical differentiation suffer from, by transforming the source code of functions. We will present how AD can be used to compute the gradient of multi-variate functions and functor objects. We will explain approaches to implement an AD tool. We will show how LLVM, Clang and Cling (ROOT's C++11 interpreter) simplifies creation of such a tool. We describe how the tool could be integrated within any framework. We will demonstrate a simple proof-of-concept prototype, called Clad, which is able to generate n-th order derivatives of C++ functions and other language constructs. We also demonstrate how Clad can offload laborious computations from the CPU using OpenCL.
Automatic differentiation of advanced CFD codes for multidisciplinary design
NASA Technical Reports Server (NTRS)
Bischof, C.; Corliss, G.; Green, L.; Griewank, A.; Haigler, K.; Newman, P.
1992-01-01
Automated multidisciplinary design of aircraft and other flight vehicles requires the optimization of complex performance objectives with respect to a number of design parameters and constraints. The effect of these independent design variables on the system performance criteria can be quantified in terms of sensitivity derivatives which must be calculated and propagated by the individual discipline simulation codes. Typical advanced CFD analysis codes do not provide such derivatives as part of a flow solution; these derivatives are very expensive to obtain by divided (finite) differences from perturbed solutions. It is shown that sensitivity derivatives can be obtained accurately and efficiently using the ADIFOR source translator for automatic differentiation. In particular, it is demonstrated that the 3-D, thin-layer Navier-Stokes, multigrid flow solver called TLNS3D is amenable to automatic differentiation in the forward mode even with its implicit iterative solution algorithm and complex turbulence modeling. It is significant that by using computational differentiation, consistent discrete nongeometric sensitivity derivatives have been obtained from an aerodynamic 3-D CFD code in a relatively short time, e.g., O(man-week) not O(man-year).
Automatic differentiation of advanced CFD codes for multidisciplinary design
Bischof, C.; Corliss, G.; Griewank, A. ); Green, L.; Haigler, K.; Newman, P. . Langley Research Center)
1992-01-01
Automated multidisciplinary design of aircraft and other flight vehicles requires the optimization of complex performance objectives with respect to a number of design parameters and constraints. The effect of these independent design variables on the system performance criteria can be quantified in terms of sensitivity derivatives which must be calculated and propagated by the individual discipline simulation codes. Typical advanced CFD analysis codes do not provide such derivatives as part of a flow solution; these derivatives are very expensive to obtain by divided (finite) differences from perturbed solutions. It is shown here that sensitivity derivatives can be obtained accurately and efficiently using the ADIFOR source translator for automatic differentiation. In particular, it is demonstrated that the 3-D, thin-layer Navier-Stokes, multigrid flow solver called TLNS3D is amenable to automatic differentiation in the forward mode even with its implicit iterative solution algorithm and complex turbulence modeling. It is significant that using computational differentiation, consistent discrete nongeometric sensitivity derivatives have been obtained from an aerodynamic 3-D CFD code in a relatively short time, e.g. O(man-week) not O(man-year).
Automatic differentiation of advanced CFD codes for multidisciplinary design
Bischof, C.; Corliss, G.; Griewank, A.; Green, L.; Haigler, K.; Newman, P.
1992-12-31
Automated multidisciplinary design of aircraft and other flight vehicles requires the optimization of complex performance objectives with respect to a number of design parameters and constraints. The effect of these independent design variables on the system performance criteria can be quantified in terms of sensitivity derivatives which must be calculated and propagated by the individual discipline simulation codes. Typical advanced CFD analysis codes do not provide such derivatives as part of a flow solution; these derivatives are very expensive to obtain by divided (finite) differences from perturbed solutions. It is shown here that sensitivity derivatives can be obtained accurately and efficiently using the ADIFOR source translator for automatic differentiation. In particular, it is demonstrated that the 3-D, thin-layer Navier-Stokes, multigrid flow solver called TLNS3D is amenable to automatic differentiation in the forward mode even with its implicit iterative solution algorithm and complex turbulence modeling. It is significant that using computational differentiation, consistent discrete nongeometric sensitivity derivatives have been obtained from an aerodynamic 3-D CFD code in a relatively short time, e.g. O(man-week) not O(man-year).
Optimum Shape Design Using Automatic Differentiation in Reverse Mode
NASA Technical Reports Server (NTRS)
Hafez, M.; Mohammadi, B.; Pironneau, O.
1996-01-01
This paper shows how to use automatic differentiation in reverse mode as a powerful tool in optimization procedures. It is also shown that for aerodynamic applications the gradients have to be as accurate as possible. In particular, the effect of having the exact gradient of he first or second order spatial discretization schemes is presented. We show that the loss of precision in the gradient affects not only the convergence, but also the final shape. Both two and three dimensional configurations of transonic and supersonic flows have been investigated. These cases involve up to several thousand control parameters.
Optimized higher-order automatic differentiation for the Faddeeva function
NASA Astrophysics Data System (ADS)
Charpentier, Isabelle
2016-08-01
Considerable research efforts have been directed at implementing the Faddeeva function w(z) and its derivatives with respect to z, but these did not consider the key computing issue of a possible dependence of z on some variable t. The general case is to differentiate the compound function w(z(t)) = w ∘ z(t) with respect to t by applying the chain rule for a first order derivative, or Faà di Bruno's formula for higher-order ones. Higher-order automatic differentiation (HOAD) is an efficient and accurate technique for derivative calculation along scientific computing codes. Although codes are available for w(z) , a special symbolic HOAD is required to compute accurate higher-order derivatives for w ∘ z(t) in an efficient manner. A thorough evaluation is carried out considering a nontrivial case study in optics to support this assertion.
Automatic differentiation of codes in nuclear engineering applications.
Alexe, M.; Roderick, O.; Utke, J.; Anitescu, M.; Hovland, P.; Fanning, T.; Virginia Polytechnic Inst. and State Univ.; Unv. of Chicago
2009-12-01
We discuss our experience in applying automatic differentiation (AD) to calculations in nuclear reactor applications. The document is intended as a guideline on how to apply AD to Fortran codes with significant legacy components; it is also a part of a larger research effort in uncertainty quantification using sampling methods augmented with derivative information. We provide a brief theoretical description of the concept of AD, explain the necessary changes in the code structure, and remark on possible ways to deal with non-differentiability. Numerical experiments were carried out where the derivative of a functional subset of the SAS4A/SASSYS code was computed in forward mode with several AD tools. The results are in good agreement with both the real and complex finite-difference approximations of the derivative.
Automatic differentiation as a tool in engineering design
NASA Technical Reports Server (NTRS)
Barthelemy, Jean-Francois; Hall, Laura E.
1992-01-01
Automatic Differentiation (AD) is a tool that systematically implements the chain rule of differentiation to obtain the derivatives of functions calculated by computer programs. AD is assessed as a tool for engineering design. The forward and reverse modes of AD, their computing requirements, as well as approaches to implementing AD are discussed. The application of two different tools to two medium-size structural analysis problems to generate sensitivity information typically necessary in an optimization or design situation is also discussed. The observation is made that AD is to be preferred to finite differencing in most cases, as long as sufficient computer storage is available; in some instances, AD may be the alternative to consider in lieu of analytical sensitivity analysis.
ON A p-ADIC ANALOGUE OF TATE HEIGHT
NASA Astrophysics Data System (ADS)
Berzin'sh, A. A.
1983-04-01
This paper is devoted to the study of the Tate height of an elliptic curve and its p-adic analogue. The main result is a series of explicit formulas for computing the local archimedean part of the Tate height. These results are used to obtain a new method for constructing the p-adic Tate height. Bibliography: 5 titles.
Development of an Automatic Differentiation Version of the FPX Rotor Code
NASA Technical Reports Server (NTRS)
Hu, Hong
1996-01-01
The ADIFOR2.0 automatic differentiator is applied to the FPX rotor code along with the grid generator GRGN3. The FPX is an eXtended Full-Potential CFD code for rotor calculations. The automatic differentiation version of the code is obtained, which provides both non-geometry and geometry sensitivity derivatives. The sensitivity derivatives via automatic differentiation are presented and compared with divided difference generated derivatives. The study shows that automatic differentiation method gives accurate derivative values in an efficient manner.
Parallel computation of automatic differentiation applied to magnetic field calculations
Hinkins, R.L. |
1994-09-01
The author presents a parallelization of an accelerator physics application to simulate magnetic field in three dimensions. The problem involves the evaluation of high order derivatives with respect to two variables of a multivariate function. Automatic differentiation software had been used with some success, but the computation time was prohibitive. The implementation runs on several platforms, including a network of workstations using PVM, a MasPar using MPFortran, and a CM-5 using CMFortran. A careful examination of the code led to several optimizations that improved its serial performance by a factor of 8.7. The parallelization produced further improvements, especially on the MasPar with a speedup factor of 620. As a result a problem that took six days on a SPARC 10/41 now runs in minutes on the MasPar, making it feasible for physicists at Lawrence Berkeley Laboratory to simulate larger magnets.
Automatic differentiation of melanoma and clark nevus skin lesions
NASA Astrophysics Data System (ADS)
LeAnder, R. W.; Kasture, A.; Pandey, A.; Umbaugh, S. E.
2007-03-01
Clark nevus. Consequently, grouping melanoma and melanoma in situ together achieves the best results in classifying and automatically differentiating melanoma from Clark nevus lesions.
An automatic detection software for differential reflection spectroscopy
NASA Astrophysics Data System (ADS)
Yuksel, Seniha Esen; Dubroca, Thierry; Hummel, Rolf E.; Gader, Paul D.
2012-06-01
Recent terrorist attacks have sprung a need for a large scale explosive detector. Our group has developed differential reflection spectroscopy which can detect explosive residue on surfaces such as parcel, cargo and luggage. In short, broad band ultra-violet and visible light is shone onto a material (such as a parcel) moving on a conveyor belt. Upon reflection off the surface, the light intensity is recorded with a spectrograph (spectrometer in combination with a CCD camera). This reflected light intensity is then subtracted and normalized with the next data point collected, resulting in differential reflection spectra in the 200-500 nm range. Explosives show spectral finger-prints at specific wavelengths, for example, the spectrum of 2,4,6, trinitrotoluene (TNT) shows an absorption edge at 420 nm. Additionally, we have developed an automated software which detects the characteristic features of explosives. One of the biggest challenges for the algorithm is to reach a practical limit of detection. In this study, we introduce our automatic detection software which is a combination of principal component analysis and support vector machines. Finally we present the sensitivity and selectivity response of our algorithm as a function of the amount of explosive detected on a given surface.
A collection of tools in support of automatic differentiation
Mauer, A.
1994-02-01
This document contains a collection of notes about tools that we have found useful in our work on automatic differentiation. Using m4 for Procedure Renaming. Most transformations necessary to link C and Fortran programs involve changing the case of the C prodecure names and some other trivial manipulations. We automate this procedure. On Linking ADOL-C and Fortran Programs. This portion of the document serves a dual purpose. It is a guide to getting started with ADOL-C, and it also describes methods of linking ADOL-C and Fortran programs together. A Quick Discussion of the fortran-manipulate{center_dot}pl Package. We provide two low-level perl functions that aid in coping with the fact that Fortran ``logical`` tines may include an initial line and many continuation lines. Fortran Text Manipulation with per1. We describe a very powerful perl template that may be easily customized to perform in many common Fortran manipulations, such as expansion of various templates in the code. A Simple Wrapper for ADIFOR. Some simple transformations of the ADIFOR script and composition files allow much more intuitive syntax.
Linear fraction P-Adic and adelic dynamical systems
NASA Astrophysics Data System (ADS)
Dragovich, Branko; Khrennikov, Andrei; Mihajlovic, Dusan
2007-08-01
Using an adelic approach we simultaneously consider real and p-adic aspects of dynamical systems whose states are mapped by linear fractional transformations isomorphic to some subgroups of GL(2, ℚ), SL(2, ℚ) and SL(2, ℤ) groups. In particular, we investigate behaviour of these adelic systems when fixed points are rational. It is shown that any of these rational fixed points is p-adic indifferent for all but a finite set of primes. Thus only for finite number of p-adic cases a rational fixed point may be attractive or repelling. Basins of attraction, the Siegel disks and adelic trajectory are examined. It is also shown that real and p-adic norms of any nonzero rational fixed point are connected by adelic product formula.
Phase transition of p-adic Ising λ-model
Dogan, Mutlay; Akın, Hasan; Mukhamedov, Farrukh
2015-09-18
We consider an interaction of the nearest-neighbors and next nearest-neighbors for the mixed type p-adic λ-model with spin values (−1, +1) on a Cayley tree of order two. In the previous work we have proved the existence of the p-adic Gibbs measure for the model. In this work we have proved the existence of the phase transition occurs for the model.
Moen, C.D.; Spence, P.A.; Meza, J.C.; Plantenga, T.D.
1996-12-31
Automatic differentiation is applied to the optimal design of microelectronic manufacturing equipment. The performance of nonlinear, least-squares optimization methods is compared between numerical and analytical gradient approaches. The optimization calculations are performed by running large finite-element codes in an object-oriented optimization environment. The Adifor automatic differentiation tool is used to generate analytic derivatives for the finite-element codes. The performance results support previous observations that automatic differentiation becomes beneficial as the number of optimization parameters increases. The increase in speed, relative to numerical differences, has a limited value and results are reported for two different analysis codes.
Thermal duality and Hagedorn transition from p-adic strings.
Biswas, Tirthabir; Cembranos, Jose A R; Kapusta, Joseph I
2010-01-15
We develop the finite temperature theory of p-adic string models. We find that the thermal properties of these nonlocal field theories can be interpreted either as contributions of standard thermal modes with energies proportional to the temperature, or inverse thermal modes with energies proportional to the inverse of the temperature, leading to a thermal duality at leading order (genus one) analogous to the well-known T duality of string theory. The p-adic strings also recover the asymptotic limits (high and low temperature) for arbitrary genus that purely stringy calculations have yielded. We also discuss our findings surrounding the nature of the Hagedorn transition. PMID:20366584
Thermal Duality and Hagedorn Transition from p-adic Strings
Biswas, Tirthabir; Cembranos, Jose A. R.; Kapusta, Joseph I.
2010-01-15
We develop the finite temperature theory of p-adic string models. We find that the thermal properties of these nonlocal field theories can be interpreted either as contributions of standard thermal modes with energies proportional to the temperature, or inverse thermal modes with energies proportional to the inverse of the temperature, leading to a thermal duality at leading order (genus one) analogous to the well-known T duality of string theory. The p-adic strings also recover the asymptotic limits (high and low temperature) for arbitrary genus that purely stringy calculations have yielded. We also discuss our findings surrounding the nature of the Hagedorn transition.
Hovland, P.; Bischof, C.; Spiegelman, D.; Casella, M.
1997-08-01
Developing code for computing the first- and higher-order derivatives of a function by hand can be very time-consuming and is prone to errors. Automatic differentiation has proven capable of producing derivative codes with very little effort on the part of the user. Automatic differentiation avoids the truncation errors characteristic of divided-difference approximations. However, the derivative code produced by automatic differentiation can be significantly less efficient than one produced by hand. This shortcoming may be overcome by utilizing insight into the high-level structure of a computation. This paper focuses on how to take advantage of the fact that the number of variables passed between subroutines frequently is small compared with the number of the variables with respect to which they wish to differentiate. Such an interface contraction, coupled with the associativity of the chain rule for differentiation, allows them to apply automatic differentiation in a more judicious fashion, resulting in much more efficient code for the computation of derivatives. A case study involving a program for maximizing a logistic-normal likelihood function developed from a problem in nutritional epidemiology is examined, and performance figures are presented. This paper concludes with some directions for future study.
ADIFOR: Automatic differentiation in a source translator environment. ADIFOR Working Note No. 5
Bischof, C.; Corliss, G.; Griewank, A.; Carle, A.
1992-07-01
The numerical methods employed in the solution of many scientific computing problems require the computation of derivatives of a function f: R{sup n} {yields} R{sup m}. ADIFOR (Automatic Differentiation in FORtran) is a source transformation tool that accepts Fortran 77 code for the computation of a function and writes portable Fortran 77 code for the computation of the derivatives. In contrast to previous approaches, ADIFOR views automatic differentiation as a source transformation problem and employs the data analysis capabilities of the ParaScope Fortran programming environment. Experimental results show that ADIFOR can handle real- life codes and that ADIFOR-generated codes are competitive with divided-difference approximations of derivatives. In addition, studies suggest that the source-transformation approach to automatic differentation may improve the time required to compute derivatives by orders of magnitude.
P-adic model of transport in porous disordered media
NASA Astrophysics Data System (ADS)
Khrennikov, Adrei Yu.; Oleschko, Klaudia
2014-05-01
The soil porosity and permeability are the most important quantitative indicators of soil dynamics under the land-use change. The main problema in the modeling of this dynamic is still poor correlation between the real measuring data and the mathematical and computer simulation models. In order to overpassed this deep divorce we have designed a new technique, able to compare the data arised from the multiscale image analices and time series of the basic physical properties dynamics in porous media studied in time and space. We present a model of the diffusion reaction type describing transport in disordered porous media, e.g., water or oil flow in a complex network of pores. Our model is based on p-adic representation of such networks. This is a kind of fractal representation. We explore advantages of p- adic representation, namely, the possibility to endow p-adic trees with an algebraic structure and ultrametric topology and, hence, to apply analysis which have (at least some) similarities with ordinary real analysis on the straight line. We present the system of two diffusion reaction equations describing propagation of particles in networks of pores in disordered media. As an application, one can consider water transport through the soil pore Networks, or oil flow through capillaries nets. Under some restrictions on potentials and rate coefficients we found the stationary regime corresponding to water content or concentration of oil in a cluster of capillaries. Usage of p-adic analysis (in particular, p-adic wavelets) gives a possibility to find the stationary solution in the analytic form which makes possible to present a clear pedological or geological picture of the process. The mathematical model elaborated in this paper (Khrennikov, 2013) can be applied to variety of problems from water concentration in aquifers to the problem of formation of oil reservoirs in disordered media with porous structures. Another possible application may have real practical
Sherman, L.L.; Taylor, A.C. III; Hou, G.W.; Korivi, V.M.
1996-12-01
The straightforward automatic-differentiation and the hand-differentiated incremental iterative methods are interwoven to produce a hybrid scheme that captures some of the strengths of each strategy. With this compromise, discrete aerodynamic sensitivity derivatives are calculated with the efficient incremental iterative solution algorithm of the original flow code. Moreover, the principal advantage of automatic differentiation is retained. The basic equations for second-order sensitivity derivatives are presented, which results in a comparison of four different methods. Each of these four schemes for second-order derivatives requires that large systems are solved first for the first-order adjoint variables. Of these latter three schemes, two require no solutions of large systems thereafter. For the other two for which additional systems are solved, the equations and solution procedures are analogous to those for the first-order derivatives. From a practical viewpoint, implementation of the second-order methods is feasible only with software tools such as automatic differentiation, because of the extreme complexity and large number of terms. First- and second-order sensitivities are calculated accurately for two airfoil problems, including a turbulent-flow example. In each of these two sample problems, three dependent variables (coefficients of lift, drag, and pitching-moment) and six independent variables (three geometric-shape and three flow-condition design variables) are considered. Several different procedures are tested, and results are compared on the basis of accuracy, computational time, and computer memory. For first-order derivatives, the hybrid incremental iterative scheme obtained with automatic differentiation is competitive with the best hand-differentiated method. Furthermore, it is at least two to four times faster than central finite differences, without an overwhelming penalty in computer memory. 23 refs., 14 tabs.
Simultaneous Approximation to Real and p-adic Numbers
NASA Astrophysics Data System (ADS)
Zelo, Dmitrij
2009-02-01
We study the problem of simultaneous approximation to a fixed family of real and p-adic numbers by roots of integer polynomials of restricted type. The method that we use for this purpose was developed by H. Davenport and W.M. Schmidt in their study of approximation to real numbers by algebraic integers. This method based on Mahler's Duality requires to study the dual problem of approximation to successive powers of these numbers by rational numbers with the same denominators. Dirichlet's Box Principle provides estimates for such approximations but one can do better. In this thesis we establish constraints on how much better one can do when dealing with the numbers and their squares. We also construct examples showing that at least in some instances these constraints are optimal. Going back to the original problem, we obtain estimates for simultaneous approximation to real and p-adic numbers by roots of integer polynomials of degree 3 or 4 with fixed coefficients in degree at least 3. In the case of a single real number (and no p-adic numbers), we extend work of D. Roy by showing that the square of the golden ratio is the optimal exponent of approximation by algebraic numbers of degree 4 with bounded denominator and trace.
NASA Astrophysics Data System (ADS)
Keat, Yap Hong; Atan, Kamel Ariffin Mohd; Sapar, Siti Hasana; Said, Mohamad Rushdan Md
2014-07-01
In this paper we apply Newton polyhedron technique in estimating the p-adic sizes of common zeros of partial derivative polynomial associated with a quartic polynomial. It is found that the p-adic sizes of a common zeros can be determined explicitly in terms of the p-adic orders of coefficients of dominant terms of polynomial.
NASA Technical Reports Server (NTRS)
Nguyen, Duc T.; Storaasli, Olaf O.; Qin, Jiangning; Qamar, Ramzi
1994-01-01
An automatic differentiation tool (ADIFOR) is incorporated into a finite element based structural analysis program for shape and non-shape design sensitivity analysis of structural systems. The entire analysis and sensitivity procedures are parallelized and vectorized for high performance computation. Small scale examples to verify the accuracy of the proposed program and a medium scale example to demonstrate the parallel vector performance on multiple CRAY C90 processors are included.
McCaldon, R. J.
1964-01-01
Individuals can carry out complex activity while in a state of impaired consciousness, a condition termed “automatism”. Consciousness must be considered from both an organic and a psychological aspect, because impairment of consciousness may occur in both ways. Automatism may be classified as normal (hypnosis), organic (temporal lobe epilepsy), psychogenic (dissociative fugue) or feigned. Often painstaking clinical investigation is necessary to clarify the diagnosis. There is legal precedent for assuming that all crimes must embody both consciousness and will. Jurists are loath to apply this principle without reservation, as this would necessitate acquittal and release of potentially dangerous individuals. However, with the sole exception of the defence of insanity, there is at present no legislation to prohibit release without further investigation of anyone acquitted of a crime on the grounds of “automatism”. PMID:14199824
DNAD, a simple tool for automatic differentiation of Fortran codes using dual numbers
NASA Astrophysics Data System (ADS)
Yu, Wenbin; Blair, Maxwell
2013-05-01
DNAD (dual number automatic differentiation) is a simple, general-purpose tool to automatically differentiate Fortran codes written in modern Fortran (F90/ 95/2003) or legacy codes written in previous version of the Fortran language. It implements the forward mode of automatic differentiation using the arithmetic of dual numbers and the operator overloading feature of F90/ 95/2003. Very minimum changes of the source codes are needed to compute the first derivatives of Fortran programs. The advantages of DNAD in comparison to other existing similar computer codes are its programming simplicity, extensibility, and computational efficiency. Specifically, DNAD is more accurate and efficient than the popular complex-step approximation. Several examples are used to demonstrate its applications and advantages. Program summaryProgram title: DNAD Catalogue identifier: AEOS_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEOS_v1_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.: 3922 No. of bytes in distributed program, including test data, etc.: 18 275 Distribution format: tar.gz Programming language: Fortran 90/95/2003. Computer: All computers with a modern FORTRAN compiler. Operating system: All platforms with a modern FORTRAN compiler. Classification: 4.12, 6.2. Nature of problem: Derivatives of outputs with respect to inputs of a Fortran code are often needed in physics, chemistry, and engineering. The author of the analysis code may no longer be available and the user may not have a deep knowledge of the code. Thus a simple tool is necessary to automatically differentiate the code with very minimum change to the source codes. This can be achieved using dual number arithmetic and operator overloading. Solution method: A new data type is defined with the first scalar
Automatic differentiation of C++ codes for large-scale scientific computing.
Gay, David M.; Bartlett, Roscoe A; Phipps, Eric Todd
2006-02-01
We discuss computing first derivatives for models based on elements, such as large-scale finite-element PDE discretizations, implemented in the C++ programming language.We use a hybrid technique of automatic differentiation (AD) and manual assembly, with local element-level derivatives computed via AD and manually summed into the global derivative. C++ templating and operator overloading work well for both forward- and reverse-mode derivative computations. We found that AD derivative computations compared favorably in time to finite differencing for a scalable finite-element discretization of a convection-diffusion problem in two dimensions.
Glowinski, Roland . E-mail: roland@math.uh.edu; Toivanen, Jari . E-mail: jatoivan@ncsu.edu
2005-07-20
We study the efficient solution of non-equilibrium radiation diffusion problems. An implicit time discretization leads to the solution of systems of non-linear equations which couple radiation energy and material temperature. We consider the implicit Euler method, the mid-point scheme, the two-step backward differentiation formula, and a two-stage implicit Runge-Kutta method for time discretization. We employ a Newton-Krylov method in the solution of arising non-linear problems. We describe the computation of the Jacobian matrix for Newton's method using automatic differentiation based on the operator overloading in Fortran 90. For GMRES iterations, we propose a simple multigrid preconditioner applied directly to the coupled linearized problems. We demonstrate the efficiency and scalability of the proposed solution procedure by solving one-dimensional and two-dimensional model problems.
NASA Technical Reports Server (NTRS)
Green, Lawrence L.; Newman, Perry A.; Haigler, Kara J.
1993-01-01
The computational technique of automatic differentiation (AD) is applied to a three-dimensional thin-layer Navier-Stokes multigrid flow solver to assess the feasibility and computational impact of obtaining exact sensitivity derivatives typical of those needed for sensitivity analyses. Calculations are performed for an ONERA M6 wing in transonic flow with both the Baldwin-Lomax and Johnson-King turbulence models. The wing lift, drag, and pitching moment coefficients are differentiated with respect to two different groups of input parameters. The first group consists of the second- and fourth-order damping coefficients of the computational algorithm, whereas the second group consists of two parameters in the viscous turbulent flow physics modelling. Results obtained via AD are compared, for both accuracy and computational efficiency with the results obtained with divided differences (DD). The AD results are accurate, extremely simple to obtain, and show significant computational advantage over those obtained by DD for some cases.
Parallel Calculation of Sensitivity Derivatives for Aircraft Design using Automatic Differentiation
NASA Technical Reports Server (NTRS)
Bischof, c. H.; Green, L. L.; Haigler, K. J.; Knauff, T. L., Jr.
1994-01-01
Sensitivity derivative (SD) calculation via automatic differentiation (AD) typical of that required for the aerodynamic design of a transport-type aircraft is considered. Two ways of computing SD via code generated by the ADIFOR automatic differentiation tool are compared for efficiency and applicability to problems involving large numbers of design variables. A vector implementation on a Cray Y-MP computer is compared with a coarse-grained parallel implementation on an IBM SP1 computer, employing a Fortran M wrapper. The SD are computed for a swept transport wing in turbulent, transonic flow; the number of geometric design variables varies from 1 to 60 with coupling between a wing grid generation program and a state-of-the-art, 3-D computational fluid dynamics program, both augmented for derivative computation via AD. For a small number of design variables, the Cray Y-MP implementation is much faster. As the number of design variables grows, however, the IBM SP1 becomes an attractive alternative in terms of compute speed, job turnaround time, and total memory available for solutions with large numbers of design variables. The coarse-grained parallel implementation also can be moved easily to a network of workstations.
Dyck, Miriam; Loughead, James; Kellermann, Thilo; Boers, Frank; Gur, Ruben C; Mathiak, Klaus
2011-02-01
The amygdala plays a key role in emotional processing. The specific contribution of the amygdala during the experience of one's own emotion, however, remains controversial and requires clarification. There is a long-standing debate on hemispheric lateralization of emotional processes, yet few studies to date directly investigated differential activation patterns for the left and right amygdala. Limited evidence supports right amygdala involvement in automatic processes of emotion and left amygdala involvement in conscious and cognitively controlled emotion processing. The present study investigated differential contributions of the left and right amygdala to cognitive and automatic mechanisms of mood induction. Using functional magnetic resonance imaging (fMRI), we examined hemispheric amygdala responses during two mood induction paradigms: a purely visual method presenting face stimuli and an audiovisual method using faces and music. Amygdala responses in 30 subjects (16 females) showed differences in lateralization patterns depending on the processing mode. The left amygdala exhibited comparable activation levels for both methods. The right amygdala, in contrast, showed increased activity only for the audiovisual condition and this activity was increasing over time. The left amygdala showed augmented activity with higher intensity ratings of negative emotional valence. These results support a left-lateralized cognitive and intentional control of mood and a right-sided more automatic induction of emotion that relies less on explicit reflection processes. The modulation of the left amygdala responses by subjective experience may reflect individual differences in the cognitive effort used to induce the mood. Thus, the central role of the amygdala may not be restricted to the perception of emotion in others but also extend into processes involved in regulation of mood. PMID:20946960
On combining computational differentiation and toolkits for parallel scientific computing.
Bischof, C. H.; Buecker, H. M.; Hovland, P. D.
2000-06-08
Automatic differentiation is a powerful technique for evaluating derivatives of functions given in the form of a high-level programming language such as Fortran, C, or C++. The program is treated as a potentially very long sequence of elementary statements to which the chain rule of differential calculus is applied over and over again. Combining automatic differentiation and the organizational structure of toolkits for parallel scientific computing provides a mechanism for evaluating derivatives by exploiting mathematical insight on a higher level. In these toolkits, algorithmic structures such as BLAS-like operations, linear and nonlinear solvers, or integrators for ordinary differential equations can be identified by their standardized interfaces and recognized as high-level mathematical objects rather than as a sequence of elementary statements. In this note, the differentiation of a linear solver with respect to some parameter vector is taken as an example. Mathematical insight is used to reformulate this problem into the solution of multiple linear systems that share the same coefficient matrix but differ in their right-hand sides. The experiments reported here use ADIC, a tool for the automatic differentiation of C programs, and PETSC, an object-oriented toolkit for the parallel solution of scientific problems modeled by partial differential equations.
On p-Adic Sector of Open Scalar Strings and Zeta Field Theory
Dragovich, Branko
2010-06-17
We consider construction of Lagrangians which may be suitable for description of p-adic sector of an open scalar string. Such Lagrangians have their origin in Lagrangian for a single p-adic string and they contain the Riemann zeta function with the d'Alembertian in its argument. However, investigation of the field theory with Riemann zeta function is interesting in itself as well. We present a brief review and some new results.
NASA Technical Reports Server (NTRS)
Park, Michael A.; Green, Lawrence L.; Montgomery, Raymond C.; Raney, David L.
1999-01-01
With the recent interest in novel control effectors there is a need to determine the stability and control derivatives of new aircraft configurations early in the design process. These derivatives are central to most control law design methods and would allow the determination of closed-loop control performance of the vehicle. Early determination of the static and dynamic behavior of an aircraft may permit significant improvement in configuration weight, cost, stealth, and performance through multidisciplinary design. The classical method of determining static stability and control derivatives - constructing and testing wind tunnel models - is expensive and requires a long lead time for the resultant data. Wind tunnel tests are also limited to the preselected control effectors of the model. To overcome these shortcomings, computational fluid dynamics (CFD) solvers are augmented via automatic differentiation, to directly calculate the stability and control derivatives. The CFD forces and moments are differentiated with respect to angle of attack, angle of sideslip, and aircraft shape parameters to form these derivatives. A subset of static stability and control derivatives of a tailless aircraft concept have been computed by two differentiated inviscid CFD codes and verified for accuracy with central finite-difference approximations and favorable comparisons to a simulation database.
Hovland, P; Lee, S; McInnes, L; Norris, B; Smith, B
2001-04-17
The increased use of object-oriented toolkits in large-scale scientific simulation presents new opportunities and challenges for the use of automatic (or algorithmic) differentiation (AD) techniques, especially in the context of optimization. Because object-oriented toolkits use well-defined interfaces and data structures, there is potential for simplifying the AD process. Furthermore, derivative computation can be improved by exploiting high-level information about numerical and computational abstractions. However, challenges to the successful use of AD with these toolkits also exist. Among the greatest challenges is balancing the desire to limit the scope of the AD process with the desire to minimize the work required of a user. They discuss their experiences in integrating AD with the PETSc, PVODE, and TAO toolkits and the plans for future research and development in this area.
van Grinsven, Mark J J P; Theelen, Thomas; Witkamp, Leonard; van der Heijden, Job; van de Ven, Johannes P H; Hoyng, Carel B; van Ginneken, Bram; Sánchez, Clara I
2016-03-01
We developed an automatic system to identify and differentiate color fundus images containing no lesions, drusen or exudates. Drusen and exudates are lesions with a bright appearance, associated with age-related macular degeneration and diabetic retinopathy, respectively. The system consists of three lesion detectors operating at pixel-level, combining their outputs using spatial pooling and classification with a random forest classifier. System performance was compared with ratings of two independent human observers using human-expert annotations as reference. Kappa agreements of 0.89, 0.97 and 0.92 and accuracies of 0.93, 0.98 and 0.95 were obtained for the system and observers, respectively. PMID:27231583
Automatic Differentiation: A Powerful Device for the Estimation of Hydraulic Parameters
NASA Astrophysics Data System (ADS)
Alvarez, R. M.; Guerrero, J.
2008-12-01
Our aim is to estimate the hydraulic transmission parameter T, in the confined aquifer equation: [1] ∂ / ∂ x}( T ∂ h} / ∂ x}) + ∂ / ∂ y}( T ∂ h} / ∂ y})=S ∂ h} / ∂ t}+q, which is typical case of an ill posed inverse problem. A widely used strategy to solve (1) in practice is to estimate T as the T0 solution of a certain kind of a nonlinear optimization problem such as: [2] minT F(T), F(T)= | hk(T)-h0 |2, where h0 is a real observations vector and hk(T) is the solution of (1) related to the actual Tk solution of (2), obtained by some iterative process. We shall present computational results of estimating T for the cuban Ariguanabo aquifer, emphasizing the use of automatic differentiation to solve the optimization problem (2), by comparing this alternative with the use of the divided differences method.
van Grinsven, Mark J. J. P.; Theelen, Thomas; Witkamp, Leonard; van der Heijden, Job; van de Ven, Johannes P. H.; Hoyng, Carel B.; van Ginneken, Bram; Sánchez, Clara I.
2016-01-01
We developed an automatic system to identify and differentiate color fundus images containing no lesions, drusen or exudates. Drusen and exudates are lesions with a bright appearance, associated with age-related macular degeneration and diabetic retinopathy, respectively. The system consists of three lesion detectors operating at pixel-level, combining their outputs using spatial pooling and classification with a random forest classifier. System performance was compared with ratings of two independent human observers using human-expert annotations as reference. Kappa agreements of 0.89, 0.97 and 0.92 and accuracies of 0.93, 0.98 and 0.95 were obtained for the system and observers, respectively. PMID:27231583
Complexity of regular invertible p-adic motions.
Pettigrew, J.; Roberts, J. A. G.; Vivaldi, F.
2001-12-01
We consider issues of computational complexity that arise in the study of quasi-periodic motions (Siegel discs) over the p-adic integers, where p is a prime number. These systems generate regular invertible dynamics over the integers modulo p(k), for all k, and the main questions concern the computation of periods and orbit structure. For a specific family of polynomial maps, we identify conditions under which the cycle structure is determined solely by the number of Siegel discs and two integer parameters for each disc. We conjecture the minimal parametrization needed to achieve-for every odd prime p-a two-disc tessellation with maximal cycle length. We discuss the relevance of Cebotarev's density theorem to the probabilistic description of these dynamical systems. (c) 2001 American Institute of Physics. PMID:12779524
OpenAD/F : a modular, open-source tool for automatic differentiation of Fortran codes.
Utke, J.; Naumann, U.; Fagan, M.; Tallent, N.; Strout, M.; Heimbach, P.; Hill, C.; Wunsch, C.; Mathematics and Computer Science; Rheinisch Westfalische Technische Hochschule Aachen; Rice Univ.; Colorado State Univ.; MIT
2008-01-01
The OpenAD/F tool allows the evaluation of derivatives of functions defined by a Fortran program. The derivative evaluation is performed by a Fortran code resulting from the analysis and transformation of the original program that defines the function of interest. OpenAD/F has been designed with a particular emphasis on modularity, flexibility, and the use of open source components. While the code transformation follows the basic principles of automatic differentiation, the tool implements new algorithmic approaches at various levels, for example, for basic block preaccumulation and call graph reversal. Unlike most other automatic differentiation tools, OpenAD/F uses components provided by the OpenAD framework, which supports a comparatively easy extension of the code transformations in a language-independent fashion. It uses code analysis results implemented in the OpenAnalysis component. The interface to the language-independent transformation engine is an XML-based format, specified through an XML schema. The implemented transformation algorithms allow efficient derivative computations utilizing locally optimized cross-country sequences of vertex, edge, and face elimination steps. Specifically, for the generation of adjoint codes, OpenAD/F supports various code reversal schemes with hierarchical checkpointing at the subroutine level. As an example from geophysical fluid dynamics a nonlinear time-dependent scalable, yet simple, barotropic ocean model is considered. OpenAD/F's reverse mode is applied to compute sensitivities of some of the model's transport properties with respect to gridded fields such as bottom topography as independent (control) variables.
NASA Astrophysics Data System (ADS)
Saburov, Mansoor; Khameini Ahmad, Mohd Ali
2015-12-01
Unlike the real number field, a set of p-adic Gibbs measures of p-adic lattice models of statistical mechanics has a complex structure in a sense that it is strongly tied up with a Diophantine problem over p-adic fields. Recently, all translation-invariant p-adic Gibbs measures of the p-adic Potts model on the Cayley tree of order two were described by means of roots of a certain quadratic equation over some domain of the p-adic field. In this paper, we consider the same problem on the Cayley tree of order three. In this case, we show that all translation-invariant p-adic Gibbs measures of the p-adic Potts model can be described in terms of roots of some cubic equation over Zpsetminus Zp^{*}. In own its turn, we also provide a solvability criterion of a general cubic equation over Zpsetminus Zp^{*} for p > 3.
Automatic differentiation evaluated as a tool for rotorcraft design and optimization
NASA Technical Reports Server (NTRS)
Walsh, Joanne L.; Young, Katherine C.
1995-01-01
This paper investigates the use of automatic differentiation (AD) as a means for generating sensitivity analyses in rotorcraft design and optimization. This technique transforms an existing computer program into a new program that performs sensitivity analysis in addition to the original analysis. The original FORTRAN program calculates a set of dependent (output) variables from a set of independent (input) variables, the new FORTRAN program calculates the partial derivatives of the dependent variables with respect to the independent variables. The AD technique is a systematic implementation of the chain rule of differentiation, this method produces derivatives to machine accuracy at a cost that is comparable with that of finite-differencing methods. For this study, an analysis code that consists of the Langley-developed hover analysis HOVT, the comprehensive rotor analysis CAMRAD/JA, and associated preprocessors is processed through the AD preprocessor ADIFOR 2.0. The resulting derivatives are compared with derivatives obtained from finite-differencing techniques. The derivatives obtained with ADIFOR 2.0 are exact within machine accuracy and do not depend on the selection of step-size, as are the derivatives obtained with finite-differencing techniques.
Sensitivity analysis of a mixed-phase chemical mechanism using automatic differentiation
Zhang, Y.; Easter, R.C.
1998-08-01
A sensitivity analysis of a comprehensive mixed-phase chemical mechanism is conducted under a variety of atmospheric conditions. The local sensitivities of gas and aqueous phase species concentrations with respect to a variety of model parameters are calculated using the novel automatic differentiation ADIFOR tool. The main chemical reaction pathways in all phases, interfacial mass transfer processes, and ambient physical parameters that affect tropospheric O{sub 3} formation and O{sub 3}-precursor relations under all modeled conditions are identified and analyzed. The results show that the presence of clouds not only reduces many gas phase species concentrations and the total oxidizing capacity but alters O{sub 3}-precursor relations. Decreases in gas phase concentrations and photochemical formation rates of O{sub 3} can be up to 9{percent} and 100{percent}, respectively, depending on the preexisting atmospheric conditions. The decrease in O{sub 3} formation is primarily caused by the aqueous phase reactions of O{sub 2}{sup {minus}} with dissolved HO{sub 2} and O{sub 3} under most cloudy conditions. {copyright} 1998 American Geophysical Union
Sensitivity Analysis of Photochemical Indicators for O3 Chemistry Using Automatic Differentiation
Zhang, Yang; Bischof, Christian H.; Easter, Richard C.; Wu, Po-Ting
2005-05-01
Photochemical indicators for determination of O{sub 3}-NO{sub x}-ROG sensitivity and their sensitivity to model parameters are studied for a variety of polluted conditions using a comprehensive mixed-phase chemistry box model and the novel automatic differentiation ADIFOR tool. The main chemical reaction pathways in all phases, interfacial mass transfer processes, and ambient physical parameters that affect the indicators are identified and analyzed. Condensed mixed-phase chemical mechanisms are derived from the sensitivity analysis. Our results show that cloud chemistry has a significant impact on the indicators and their sensitivities, particularly on those involving H{sub 2}O{sub 2}, HNO{sub 3}, HCHO, and NO{sub z}. Caution should be taken when applying the established threshold values of indicators in regions with large cloud coverage. Among the commonly used indicators, NO{sub y} and O{sub 3}/NO{sub y} are relatively insensitive to most model parameters, whereas indicators involving H{sub 2}O{sub 2}, HNO{sub 3}, HCHO, and NO{sub z} are highly sensitive to changes in initial species concentrations, reaction rate constants, equilibrium constants, temperature, relative humidity, cloud droplet size, and cloud water content.
NASA Technical Reports Server (NTRS)
Davarian, F.
1994-01-01
The LOOP computer program was written to simulate the Automatic Frequency Control (AFC) subsystem of a Differential Minimum Shift Keying (DMSK) receiver with a bit rate of 2400 baud. The AFC simulated by LOOP is a first order loop configuration with a first order R-C filter. NASA has been investigating the concept of mobile communications based on low-cost, low-power terminals linked via geostationary satellites. Studies have indicated that low bit rate transmission is suitable for this application, particularly from the frequency and power conservation point of view. A bit rate of 2400 BPS is attractive due to its applicability to the linear predictive coding of speech. Input to LOOP includes the following: 1) the initial frequency error; 2) the double-sided loop noise bandwidth; 3) the filter time constants; 4) the amount of intersymbol interference; and 5) the bit energy to noise spectral density. LOOP output includes: 1) the bit number and the frequency error of that bit; 2) the computed mean of the frequency error; and 3) the standard deviation of the frequency error. LOOP is written in MS SuperSoft FORTRAN 77 for interactive execution and has been implemented on an IBM PC operating under PC DOS with a memory requirement of approximately 40K of 8 bit bytes. This program was developed in 1986.
NASA Technical Reports Server (NTRS)
Hou, Gene
1998-01-01
Sensitivity analysis is a technique for determining derivatives of system responses with respect to design parameters. Among many methods available for sensitivity analysis, automatic differentiation has been proven through many applications in fluid dynamics and structural mechanics to be an accurate and easy method for obtaining derivatives. Nevertheless, the method can be computational expensive and can require a high memory space. This project will apply an automatic differentiation tool, ADIFOR, to a p-version finite element code to obtain first- and second- order then-nal derivatives, respectively. The focus of the study is on the implementation process and the performance of the ADIFOR-enhanced codes for sensitivity analysis in terms of memory requirement, computational efficiency, and accuracy.
NASA Astrophysics Data System (ADS)
Fürst, Jiří
2016-03-01
The article describes the development of bulk-flow code for the prediction of rotor-dynamic coefficients of labyrinth seals. The code is based on the so-called single control volume approach by Childs and Scharrer [1] and the the forces are evaluated using the automatic differentiation technique. The resulting code is very simple and provides reasonable predictions of stiffness and damping coefficients at short computational time.
Increasing the granularity of parallelism and reducing contention in automatic differentiation
Karp, B.N.; Bischof, C.H.
1990-11-01
The automatic differentiation package ADOL-C of Griewank and Juedes, traces the computation of a function whose derivative is to be computed, and then subsequently propagates adjoint values long these traces paths according to the chain rule. While a sequential implementation of the reverse mode can utilize this trace by traversing it in reverse order, a parallel implementation must build the entire computational graph, as different processors will each simultaneously be working on different sections of the trace. In a sequential implementation, the linearized trace inherently obeys the dependencies of the function evaluation. In a parallel implementation, however, there must be a mechanism to determine whether a node's dependencies have been resolved yet, meaning that the node's adjoint value is computable. A node in the graph must represent a quantity of arithmetic operations large enough for a processor to do enough computation before it must communicate the result to another processor, but small enough for there to be enough nodes in the graph to allow many processors to work simultaneously. Sinks are bottlenecks for efficient parallel computation, as their many dependencies mean that many processors will contend for them simultaneously. These two factors are both familiar problems in parallel computation; the first is an issue of granularity, while the second is an issue of contention. As a first step toward achieving an efficient parallel implementation, we present a system for construction of a computational graph from ADOL-C's computational trace, as well as two transformations for this graph, hoisting and splitting, which improve its computational granularity and reduce contention, respectively. 2 refs., 6 figs.
AUTO_DERIV: Tool for automatic differentiation of a Fortran code
NASA Astrophysics Data System (ADS)
Stamatiadis, S.; Farantos, S. C.
2010-10-01
AUTO_DERIV is a module comprised of a set of FORTRAN 95 procedures which can be used to calculate the first and second partial derivatives (mixed or not) of any continuous function with many independent variables. The mathematical function should be expressed as one or more FORTRAN 77/90/95 procedures. A new type of variables is defined and the overloading mechanism of functions and operators provided by the FORTRAN 95 language is extensively used to define the differentiation rules. Proper (standard complying) handling of floating-point exceptions is provided by using the IEEE_EXCEPTIONS intrinsic module (Technical Report 15580, incorporated in FORTRAN 2003). New version program summaryProgram title: AUTO_DERIV Catalogue identifier: ADLS_v2_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADLS_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.: 2963 No. of bytes in distributed program, including test data, etc.: 10 314 Distribution format: tar.gz Programming language: Fortran 95 + (optionally) TR-15580 (Floating-point exception handling) Computer: all platforms with a Fortran 95 compiler Operating system: Linux, Windows, MacOS Classification: 4.12, 6.2 Catalogue identifier of previous version: ADLS_v1_0 Journal reference of previous version: Comput. Phys. Comm. 127 (2000) 343 Does the new version supersede the previous version?: Yes Nature of problem: The need to calculate accurate derivatives of a multivariate function frequently arises in computational physics and chemistry. The most versatile approach to evaluate them by a computer, automatically and to machine precision, is via user-defined types and operator overloading. AUTO_DERIV is a Fortran 95 implementation of them, designed to evaluate the first and second derivatives of a function of many variables
NASA Astrophysics Data System (ADS)
Takemiya, Tetsushi
, and that (2) the AMF terminates optimization erroneously when the optimization problems have constraints. The first problem is due to inaccuracy in computing derivatives in the AMF, and the second problem is due to erroneous treatment of the trust region ratio, which sets the size of the domain for an optimization in the AMF. In order to solve the first problem of the AMF, automatic differentiation (AD) technique, which reads the codes of analysis models and automatically generates new derivative codes based on some mathematical rules, is applied. If derivatives are computed with the generated derivative code, they are analytical, and the required computational time is independent of the number of design variables, which is very advantageous for realistic aerospace engineering problems. However, if analysis models implement iterative computations such as computational fluid dynamics (CFD), which solves system partial differential equations iteratively, computing derivatives through the AD requires a massive memory size. The author solved this deficiency by modifying the AD approach and developing a more efficient implementation with CFD, and successfully applied the AD to general CFD software. In order to solve the second problem of the AMF, the governing equation of the trust region ratio, which is very strict against the violation of constraints, is modified so that it can accept the violation of constraints within some tolerance. By accepting violations of constraints during the optimization process, the AMF can continue optimization without terminating immaturely and eventually find the true optimum design point. With these modifications, the AMF is referred to as "Robust AMF," and it is applied to airfoil and wing aerodynamic design problems using Euler CFD software. The former problem has 21 design variables, and the latter 64. In both problems, derivatives computed with the proposed AD method are first compared with those computed with the finite
A note on multiloop calculus in chi-adic string theory
Cheknov, L. )
1989-01-01
The technique for finding correlation functions on homogeneous spaces of PGL groups (factorized Bruhat-Tits trees T/sub rho//{Gamma}/sub N/ with finite number of cycles) is presented. It was shown that the homogeneous spaces T/sub rho//{Gamma}/sub N/ are in fact the multiloop world sheets in rho-adic string theory.
On limit sets of contractive functions on p-adic field
NASA Astrophysics Data System (ADS)
Mukhamedov, Farrukh; Khakimov, Otabek
2016-06-01
In the present paper, we define unconventional limit set of contractive functions on the unit ball of the p-adic numbers. Main result of the present paper states that the unconventional limit set is compact. Our results will open new perspective to the theory of self-similarity in a non-Archimedean setting.
Ligand binding induces an ammonia channel in 2-amino-2-desoxyisochorismate (ADIC) synthase PhzE
Technology Transfer Automated Retrieval System (TEKTRAN)
PhzE utilizes chorismate and glutamine to synthesize 2-amino-2-desoxyisochorismate (ADIC) in the first step of phenazine biosynthesis. At variance with the related anthranilate synthase, the monomer of PhzE consists of a single chain that contains both a chorismate-converting domain of the menaquino...
Translation-invariant p-adic quasi-Gibbs measures for the Ising-Vannimenus model on a Cayley tree
NASA Astrophysics Data System (ADS)
Mukhamedov, F. M.; Saburov, M. Kh.; Khakimov, O. Kh.
2016-04-01
We consider the p-adic Ising-Vannimenus model on the Cayley tree of order k = 2. This model contains nearest-neighbor and next-nearest-neighbor interactions. We investigate the model using a new approach based on measure theory ( in the p-adic sense) and describe all translation-invariant p-adic quasi-Gibbs measures associated with the model. As a consequence, we can prove that a phase transition exists in the model. Here, "phase transition" means that there exist at least two nontrivial p-adic quasi-Gibbs measures such that one is bounded and the other is unbounded. The methods used are inapplicable in the real case.
Allou, Kaoutar; Vial, Jean-Philippe; Béné, Marie C; Lacombe, Francis
2015-01-01
The complete blood cell count and white blood cell differential are the first step in the biological diagnosis of hematological diseases. Both are currently performed by automated instruments which control data and produce alerts. If such flags are activated, the automated differential cannot be validated and the operator must activate a visual blood smear review. Microscopic examination is still today the reference method despite its lack of sensitivity and reproducibility. The HematoFlow™ (Beckman Coulter) system is the first flow cytometry commercialized method designed for the routine differential. Using six markers in five colors and an automated gating strategy, it provides differentials proven to be reliable for 17 leukocyte subpopulations detection. Relying first on a retrospective analysis of 6,462 blood samples processed by HematoFlow™, thresholds were determined to detect the presence of immature granulocytes and/or blast cells. All possible gating strategy misclassifications of leukocyte subpopulations were then summarized in a systematic nomenclature leading to the development of an original flag system based on the detection of aberrant localization of cell events in specific new bivariate histograms. Ultimately, more than 50% of the results could be automatically validated using the HematoFlow™ system, without any false negative, thereby dramatically contributing to an important decrease of technicians' workload. Moreover a noticeable help was given for smear review interpretation and new immunological flags led to the confirmation of blood disease after classical immunophenotyping. These results were confirmed in a second prospective study including 15,335 cases, where more than 50% of the results were automatically validated by this new flag system. MFC stands as being more and more essential for analyzing differentials in routine and this new flag system could greatly improve its implementation. PMID:25906976
AUTO_DERIV: Tool for automatic differentiation of a Fortran code
NASA Astrophysics Data System (ADS)
Stamatiadis, S.; Farantos, S. C.
2010-10-01
AUTO_DERIV is a module comprised of a set of FORTRAN 95 procedures which can be used to calculate the first and second partial derivatives (mixed or not) of any continuous function with many independent variables. The mathematical function should be expressed as one or more FORTRAN 77/90/95 procedures. A new type of variables is defined and the overloading mechanism of functions and operators provided by the FORTRAN 95 language is extensively used to define the differentiation rules. Proper (standard complying) handling of floating-point exceptions is provided by using the IEEE_EXCEPTIONS intrinsic module (Technical Report 15580, incorporated in FORTRAN 2003). New version program summaryProgram title: AUTO_DERIV Catalogue identifier: ADLS_v2_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADLS_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.: 2963 No. of bytes in distributed program, including test data, etc.: 10 314 Distribution format: tar.gz Programming language: Fortran 95 + (optionally) TR-15580 (Floating-point exception handling) Computer: all platforms with a Fortran 95 compiler Operating system: Linux, Windows, MacOS Classification: 4.12, 6.2 Catalogue identifier of previous version: ADLS_v1_0 Journal reference of previous version: Comput. Phys. Comm. 127 (2000) 343 Does the new version supersede the previous version?: Yes Nature of problem: The need to calculate accurate derivatives of a multivariate function frequently arises in computational physics and chemistry. The most versatile approach to evaluate them by a computer, automatically and to machine precision, is via user-defined types and operator overloading. AUTO_DERIV is a Fortran 95 implementation of them, designed to evaluate the first and second derivatives of a function of many variables
In any simulation model, knowing the sensitivity of the system to the model parameters is of utmost importance. s part of an effort to build a multiscale air quality modeling system for a high performance computing and communication (HPCC) environment, we are exploring an automat...
TaylUR 3, a multivariate arbitrary-order automatic differentiation package for Fortran 95
NASA Astrophysics Data System (ADS)
von Hippel, G. M.
2010-03-01
comments: This version of TaylUR is released under the second version of the GNU General Public License (GPLv2). Therefore anyone is free to use or modify the code for their own calculations. As part of the licensing, it is requested that any publications including results from the use of TaylUR or any modification derived from it cite Refs. [1,2] as well as this paper. Finally, users are also requested to communicate to the author details of such publications, as well as of any bugs found or of required or useful modifications made or desired by them. Running time: The running time of TaylUR operations grows rapidly with both the number of variables and the Taylor expansion order. Judicious use of the masking facility to drop unneeded higher derivatives can lead to significant accelerations, as can activation of the Diagonal_taylors variable whenever mixed partial derivatives are not needed. Acknowledgments: The author thanks Alistair Hart for helpful comments and suggestions. This work is supported by the Deutsche Forschungsgemeinschaft in the SFB/TR 09. References:G.M. von Hippel, TaylUR, an arbitrary-order diagonal automatic differentiation package for Fortran 95, Comput. Phys. Comm. 174 (2006) 569. G.M. von Hippel, New version announcement for TaylUR, an arbitrary-order diagonal automatic differentiation package for Fortran 95, Comput. Phys. Comm. 176 (2007) 710. G.M. Constantine, T.H. Savits, A multivariate Faa di Bruno formula with applications, Trans. Amer. Math. Soc. 348 (2) (1996) 503. A. Hart, G.M. von Hippel, R.R. Horgan, E.H. Müller, Automated generation of lattice QCD Feynman rules, Comput. Phys. Comm. 180 (2009) 2698, doi:10.1016/j.cpc.2009.04.021, arXiv:0904.0375.
The use of differential pressure feedback in an automatic flight control system
NASA Technical Reports Server (NTRS)
Levy, D. W.; Roskam, J.; Finn, P. D.
1982-01-01
A feasibility study has been performed to evaluate the performance of a system whereby a control surface is positioned with differential pressure as the feedback variable. Analogous to a position command system, the control surface is commanded to move until a certain differential pressure is achieved at a given point on the surface. Frequency response tests and theoretical considerations indicate that the pressure feedback transfer function is first order, with a break frequency up to 50 rad/sec. There exist applications to the outer loops of flight control systems as well. Stability augmentation, gust alleviation, and stall prevention appear to be possible by feeding back differential pressure across lifting and control surfaces.
A p-Adic model for the process of thinking disturbed by physiological and information noise.
Dubischar, D; Gundlach, V M; Steinkamp, O; Khrennikov, A
1999-04-21
We develop a model of the process of thinking in the presence of noise (which is produced by the simultaneous action of a huge number of neurons in the brain as well as by external information and internal cognitive processes). Our model is based on Freud's idea on the splitting of cognitive processes into two (closely connected) domains: consciousness and subconsciousness. We represent the process of thinking as a random dynamical process in a space of ideas endowed with a non-Euclidean geometry (which differs extremely from the ordinary Euclidean geometry of spatial location of neurons in the brain). The so-called p-adic geometry on a space of ideas describes the ability of cognitive systems to form associations. We show that random dynamical thinking systems on a p -adic space of ideas still generate only deterministic ideas. We also study positive and negative effects of noise (in particular, creativeness and stress). PMID:10196089
A note on spectral properties of the p-adic tree
NASA Astrophysics Data System (ADS)
Klimek, Slawomir; Rathnayake, Sumedha; Sakai, Kaoru
2016-02-01
We study the spectrum of the operator D∗D, where the operator D, introduced in Klimek et al. [e-print arXiv:1403.7263v2], is a forward derivative on the p-adic tree, a weighted rooted tree associated to ℤp via Michon's correspondence. We show that the spectrum is closely related to the roots of a certain q - hypergeometric function and discuss the analytic continuation of the zeta function associated with D∗D.
Finite temperature solitons in nonlocal field theories from p-adic strings
Biswas, Tirthabir; Cembranos, Jose A. R.; Kapusta, Joseph I.
2010-10-15
Nonlocal field theories which arise from p-adic string theories have vacuum soliton solutions. We find the soliton solutions at finite temperature. These solutions become important for the partition function when the temperature exceeds m{sub s}/g{sub o}{sup 2}, where m{sub s} is the string mass scale and g{sub o} is the open string coupling.
The double-slit experiment with Physarum polycephalum and p-adic valued probabilities and fuzziness
NASA Astrophysics Data System (ADS)
Schumann, Andrew; Adamatzky, Andrew
2015-04-01
Physarum polycephalum is a single-cell slime mould visible by unaided eye. When foraging for sources of nutrients the slime mould optimizes its body shape, or a network of protoplasmic tubes. This optimization can be interpreted as computation. Many experimental laboratory prototypes of Physarum-based non-silicon computing devices have been implemented recently yet the scope of the slime mould as a fuzzy processor was never explored. We are filling this gap and show, by implementing the double-slit experiment, that self-inconsistencies in the slime mould's behaviour cannot approximate atomic individual acts of Physarum. This finding is analogous to our inability to approximate single photons. We further interpret the Physarum's behaviour in terms of individual-collective duality using p-adic valued probabilities and fuzziness. We also construct a system of p-adic many-valued logic to describe experimental responses of Physarum and we show how this logic can be used in ?-adic fuzzy logic controllers on the medium of Physarum.
NASA Astrophysics Data System (ADS)
Dedovich, T. G.; Tokarev, M. V.
2013-11-01
Concept of the dimension of space-time in the general relativity theory and quantum theory is discussed. It is emphasized that the dimension of a discrete space can be defined based on the Hausdorff measure. The noninteger dimension is a typical characteristic of a fractal. The process of hadron formation in interactions between high-energy particles and nuclei is supposed to possess fractal properties. The following methods for analyzing fractals are considered: box counting (BC), method of P-adic coverages (PaC), and method of systems of equations of P-adic coverages (SePaC), for determining the fractal dimension. A comparative analysis of fractals with dependent branching is performed using these methods. We determine the optimum values of parameters permitting one to determine the fractal dimension D F , number of levels N lev, and the fractal structure with maximal efficiency. It is noted that the SePaC method has advantages in analyzing fractals with dependent branching.
Shin, J.; Malusare, P.; Hovland, P. D.; Mathematics and Computer Science
2008-01-01
Automatic differentiation (AD) has been expanding its role in scientific computing. While several AD tools have been actively developed and used, a wide range of problems remain to be solved. Activity analysis allows AD tools to generate derivative code for fewer variables, leading to a faster run time of the output code. This paper describes a new context-sensitive, flow-sensitive (CSFS) activity analysis, which is developed by extending an existing context-sensitive, flow-insensitive (CSFI) activity analysis. Our experiments with eight benchmarks show that the new CSFS activity analysis is more than 27 times slower but reduces 8 overestimations for the MIT General Circulation Model (MITgcm) and 1 for an ODE solver (c2) compared with the existing CSFI activity analysis implementation. Although the number of reduced overestimations looks small, the additionally identified passive variables may significantly reduce tedious human effort in maintaining a large code base such as MITgcm.
The automatic solution of partial differential equations using a global spectral method
NASA Astrophysics Data System (ADS)
Townsend, Alex; Olver, Sheehan
2015-10-01
A spectral method for solving linear partial differential equations (PDEs) with variable coefficients and general boundary conditions defined on rectangular domains is described, based on separable representations of partial differential operators and the one-dimensional ultraspherical spectral method. If a partial differential operator is of splitting rank 2, such as the operator associated with Poisson or Helmholtz, the corresponding PDE is solved via a generalized Sylvester matrix equation, and a bivariate polynomial approximation of the solution of degree (nx ,ny) is computed in O ((nxny) 3 / 2) operations. Partial differential operators of splitting rank ≥3 are solved via a linear system involving a block-banded matrix in O (min (nx3 ny ,nx ny3)) operations. Numerical examples demonstrate the applicability of our 2D spectral method to a broad class of PDEs, which includes elliptic and dispersive time-evolution equations. The resulting PDE solver is written in MATLAB and is publicly available as part of CHEBFUN. It can resolve solutions requiring over a million degrees of freedom in under 60 seconds. An experimental implementation in the JULIA language can currently perform the same solve in 10 seconds.
Madan, Christopher R; Chen, Yvonne Y; Singhal, Anthony
2016-01-01
It is known that the functional properties of an object can interact with perceptual, cognitive, and motor processes. Previously we have found that a between-subjects manipulation of judgment instructions resulted in different manipulability-related memory biases in an incidental memory test. To better understand this effect we recorded electroencephalography (EEG) while participants made judgments about images of objects that were either high or low in functional manipulability (e.g., hammer vs. ladder). Using a between-subjects design, participants judged whether they had seen the object recently (Personal Experience), or could manipulate the object using their hand (Functionality). We focused on the P300 and slow-wave event-related potentials (ERPs) as reflections of attentional allocation. In both groups, we observed higher P300 and slow wave amplitudes for high-manipulability objects at electrodes Pz and C3. As P300 is thought to reflect bottom-up attentional processes, this may suggest that the processing of high-manipulability objects recruited more attentional resources. Additionally, the P300 effect was greater in the Functionality group. A more complex pattern was observed at electrode C3 during slow wave: processing the high-manipulability objects in the Functionality instruction evoked a more positive slow wave than in the other three conditions, likely related to motor simulation processes. These data provide neural evidence that effects of manipulability on stimulus processing are further mediated by automatic vs. deliberate motor-related processing. PMID:27536224
Madan, Christopher R.; Chen, Yvonne Y.; Singhal, Anthony
2016-01-01
It is known that the functional properties of an object can interact with perceptual, cognitive, and motor processes. Previously we have found that a between-subjects manipulation of judgment instructions resulted in different manipulability-related memory biases in an incidental memory test. To better understand this effect we recorded electroencephalography (EEG) while participants made judgments about images of objects that were either high or low in functional manipulability (e.g., hammer vs. ladder). Using a between-subjects design, participants judged whether they had seen the object recently (Personal Experience), or could manipulate the object using their hand (Functionality). We focused on the P300 and slow-wave event-related potentials (ERPs) as reflections of attentional allocation. In both groups, we observed higher P300 and slow wave amplitudes for high-manipulability objects at electrodes Pz and C3. As P300 is thought to reflect bottom-up attentional processes, this may suggest that the processing of high-manipulability objects recruited more attentional resources. Additionally, the P300 effect was greater in the Functionality group. A more complex pattern was observed at electrode C3 during slow wave: processing the high-manipulability objects in the Functionality instruction evoked a more positive slow wave than in the other three conditions, likely related to motor simulation processes. These data provide neural evidence that effects of manipulability on stimulus processing are further mediated by automatic vs. deliberate motor-related processing. PMID:27536224
A differential automatic gain control circuit with two-stage -10 to 50 dB tuning range VGAs
NASA Astrophysics Data System (ADS)
Wenbo, Wang; Luhong, Mao; Xindong, Xiao; Shilin, Zhang; Sheng, Xie
2013-02-01
A differential automatic gain control (AGC) circuit is presented. The AGC architecture contains two-stage variable gain amplifiers (VGAs) which are implemented with a Gilbert cell, a peak detector (PD), a low pass filter, an operational amplifier, and two voltage to current (V—I) convertors. One stage VGA achieves 30 dB gain due to the use of active load. The AGC circuit is implemented in UMC 0.18-μm single-poly six-metal CMOS process technology. Measurement results show that the final differential output swing of the 2nd stage VGA is about 0.9-Vpp; the total gain of the two VGAs can be varied linearly from -10 to 50 dB when the control voltage varies from 0.3 to 0.9 V. The final circuit (containing output buffers and a band-gap reference) consumes 37 mA from single 1.8 V voltage supply. For a 50 mV amplitude 60% modulation depth input AM signal it needs 100 μs to stabilize the output. The frequency response of the circuit has almost a constant -3 dB bandwidth of 2.2 MHz. Its OIP3 result is at 19 dBm.
Song, Jae-Won; Lee, Ju-Hong; Choi, Joon-Hyuk; Chun, Seok-Ju
2013-01-01
Generally, pathological diagnosis using an electron microscope is time-consuming and likely to result in a subjective judgment, because pathologists perform manual screening of tissue slides at high magnifications. Recently, the advent of digital pathology technology has provided the basis for convenient screening and quantitative analysis by digitizing tissue slides through a computer system. However, a screening process with high magnification still takes quite a long time. To solve these problems, recently the use of computer-aided design techniques for performing pathologic diagnosis has been increasing in digital pathology. For pathological diagnosis, we need different diagnostic methods for different regions with different characteristics. Therefore, in order to effectively diagnose different lesions and types of diseases, a quantitative method for extracting specific features is required in computerized pathologic diagnosis. This study is about an automated differential diagnosis system to differentiate between benign serous cystadenoma and possibly-malignant mucinous cystadenoma. In order to diagnose cystic tumors, the first step is identifying a cystic region and inspecting its epithelial cells. First, we identify the lumen boundary of a cyst using the Direction Cumulative Map considering 8-ways. Then, the Epithelial Nuclei Identification algorithm is used to discern epithelial nuclei. After that, three morphological features for the differential diagnosis of mucinous and serous cystadenomas are extracted. To demonstrate the superiority of the proposed features, the experiments compared performance of the classifiers learned by using the proposed morphological features and the classical morphological features based on nuclei. The classifiers in the simulations are as follows; Bayesian Classifier, k-Nearest Neighbors, Support Vector Machine, and Artificial Neural Network. The results show that all classifiers using the proposed features have the best
The efficiency of geophysical adjoint codes generated by automatic differentiation tools
NASA Astrophysics Data System (ADS)
Vlasenko, A. V.; Köhl, A.; Stammer, D.
2016-02-01
The accuracy of numerical models that describe complex physical or chemical processes depends on the choice of model parameters. Estimating an optimal set of parameters by optimization algorithms requires knowledge of the sensitivity of the process of interest to model parameters. Typically the sensitivity computation involves differentiation of the model, which can be performed by applying algorithmic differentiation (AD) tools to the underlying numerical code. However, existing AD tools differ substantially in design, legibility and computational efficiency. In this study we show that, for geophysical data assimilation problems of varying complexity, the performance of adjoint codes generated by the existing AD tools (i) Open_AD, (ii) Tapenade, (iii) NAGWare and (iv) Transformation of Algorithms in Fortran (TAF) can be vastly different. Based on simple test problems, we evaluate the efficiency of each AD tool with respect to computational speed, accuracy of the adjoint, the efficiency of memory usage, and the capability of each AD tool to handle modern FORTRAN 90-95 elements such as structures and pointers, which are new elements that either combine groups of variables or provide aliases to memory addresses, respectively. We show that, while operator overloading tools are the only ones suitable for modern codes written in object-oriented programming languages, their computational efficiency lags behind source transformation by orders of magnitude, rendering the application of these modern tools to practical assimilation problems prohibitive. In contrast, the application of source transformation tools appears to be the most efficient choice, allowing handling even large geophysical data assimilation problems. However, they can only be applied to numerical models written in earlier generations of programming languages. Our study indicates that applying existing AD tools to realistic geophysical problems faces limitations that urgently need to be solved to allow the
Multiple two-variable p-adic q-L-function and its behavior at s = 0
NASA Astrophysics Data System (ADS)
Cenkci, M.; Simsek, Y.; Kurt, V.
2008-12-01
The objective of this paper is to construct a multiple p-adic q- L-function of two variables which interpolates multiple generalized q-Bernoulli polynomials. By using this function, we solve a question of Kim and Cho. We also define a multiple partial q-zeta function which is related to the multiple q- L-function of two variables. Finally, we give a finite-sum representation of the multiple p-adic q- L-function of two variables and prove a multiple q-extension of the generalized formula of Diamond and Ferrero-Greenberg.
Flight test evaluation of the E-systems Differential GPS category 3 automatic landing system
NASA Technical Reports Server (NTRS)
Kaufmann, David N.; Mcnally, B. David
1995-01-01
Test flights were conducted to evaluate the capability of Differential Global Positioning System (DGPS) to provide the accuracy and integrity required for International Civil Aviation Organization (ICAO) Category (CAT) III precision approach and landings. These test flights were part of a Federal Aviation Administration (FAA) program to evaluate the technical feasibility of using DGPS based technology for CAT III precision approach and landing applications. An IAI Westwind 1124 aircraft (N24RH) was equipped with DGPS receiving equipment and additional computing capability provided by E-Systems. The test flights were conducted at NASA Ames Research Center's Crows Landing Flight Facility, Crows Landing, California. The flight test evaluation was based on completing 100 approaches and landings. The navigation sensor error accuracy requirements were based on ICAO requirements for the Microwave Landing System (MLS). All of the approaches and landings were evaluated against ground truth reference data provided by a laser tracker. Analysis of these approaches and landings shows that the E-Systems DGPS system met the navigation sensor error requirements for a successful approach and landing 98 out of 100 approaches and landings, based on the requirements specified in the FAA CAT III Level 2 Flight Test Plan. In addition, the E-Systems DGPS system met the integrity requirements for a successful approach and landing or stationary trial for all 100 approaches and landings and all ten stationary trials, based on the requirements specified in the FAA CAT III Level 2 Flight Test Plan.
Kamen, Ali; Sun, Shanhui; Wan, Shaohua; Kluckner, Stefan; Chen, Terrence; Gigler, Alexander M.; Simon, Elfriede; Fleischer, Maximilian; Javed, Mehreen; Daali, Samira; Igressa, Alhadi; Charalampaki, Patra
2016-01-01
Diagnosis of tumor and definition of tumor borders intraoperatively using fast histopathology is often not sufficiently informative primarily due to tissue architecture alteration during sample preparation step. Confocal laser microscopy (CLE) provides microscopic information of tissue in real-time on cellular and subcellular levels, where tissue characterization is possible. One major challenge is to categorize these images reliably during the surgery as quickly as possible. To address this, we propose an automated tissue differentiation algorithm based on the machine learning concept. During a training phase, a large number of image frames with known tissue types are analyzed and the most discriminant image-based signatures for various tissue types are identified. During the procedure, the algorithm uses the learnt image features to assign a proper tissue type to the acquired image frame. We have verified this method on the example of two types of brain tumors: glioblastoma and meningioma. The algorithm was trained using 117 image sequences containing over 27 thousand images captured from more than 20 patients. We achieved an average cross validation accuracy of better than 83%. We believe this algorithm could be a useful component to an intraoperative pathology system for guiding the resection procedure based on cellular level information. PMID:27127791
Kamen, Ali; Sun, Shanhui; Wan, Shaohua; Kluckner, Stefan; Chen, Terrence; Gigler, Alexander M; Simon, Elfriede; Fleischer, Maximilian; Javed, Mehreen; Daali, Samira; Igressa, Alhadi; Charalampaki, Patra
2016-01-01
Diagnosis of tumor and definition of tumor borders intraoperatively using fast histopathology is often not sufficiently informative primarily due to tissue architecture alteration during sample preparation step. Confocal laser microscopy (CLE) provides microscopic information of tissue in real-time on cellular and subcellular levels, where tissue characterization is possible. One major challenge is to categorize these images reliably during the surgery as quickly as possible. To address this, we propose an automated tissue differentiation algorithm based on the machine learning concept. During a training phase, a large number of image frames with known tissue types are analyzed and the most discriminant image-based signatures for various tissue types are identified. During the procedure, the algorithm uses the learnt image features to assign a proper tissue type to the acquired image frame. We have verified this method on the example of two types of brain tumors: glioblastoma and meningioma. The algorithm was trained using 117 image sequences containing over 27 thousand images captured from more than 20 patients. We achieved an average cross validation accuracy of better than 83%. We believe this algorithm could be a useful component to an intraoperative pathology system for guiding the resection procedure based on cellular level information. PMID:27127791
NASA Astrophysics Data System (ADS)
Lainscsek, C.; Rowat, P.; Schettino, L.; Lee, D.; Song, D.; Letellier, C.; Poizner, H.
2012-03-01
Parkinson's disease is a degenerative condition whose severity is assessed by clinical observations of motor behaviors. These are performed by a neurological specialist through subjective ratings of a variety of movements including 10-s bouts of repetitive finger-tapping movements. We present here an algorithmic rating of these movements which may be beneficial for uniformly assessing the progression of the disease. Finger-tapping movements were digitally recorded from Parkinson's patients and controls, obtaining one time series for every 10 s bout. A nonlinear delay differential equation, whose structure was selected using a genetic algorithm, was fitted to each time series and its coefficients were used as a six-dimensional numerical descriptor. The algorithm was applied to time-series from two different groups of Parkinson's patients and controls. The algorithmic scores compared favorably with the unified Parkinson's disease rating scale scores, at least when the latter adequately matched with ratings from the Hoehn and Yahr scale. Moreover, when the two sets of mean scores for all patients are compared, there is a strong (r = 0.785) and significant (p <0.0015) correlation between them.
On the representation of the genetic code by the attractors of 2-adic function
NASA Astrophysics Data System (ADS)
Yurova Axelsson, Ekaterina
2015-10-01
The genetic code is a map which gives the correspondence between codons in DNA and amino acids. As a continuation of the study made by Khrennikov and Kozyrev on the genetic code, we consider a construction, where amino acids are associated to the attractors of some two-adic function. In this paper, we give an explicit form of representations for the standard nuclear and vertebrate mitochondrial genetics codes. To set these functions we use a van der Put representation. The usage of the van der Put series reduces the complexity of computation for explicit form of the functions for the genetic codes.
NASA Astrophysics Data System (ADS)
Coleman, Thomas F.; Santosa, Fadil; Verma, Arun
2000-01-01
Wave propagational inverse problems arise in several applications including medical imaging and geophysical exploration. In these problems, one is interested in obtaining the parameters describing the medium from its response to excitations. The problems are characterized by their large size, and by the hyperbolic equation which models the physical phenomena. The inverse problems are often posed as a nonlinear data-fitting where the unknown parameters are found by minimizing the misfit between the predicted data and the actual data. In order to solve the problem numerically using a gradient-type approach, one must calculate the action of the Jacobian and its adjoint on a given vector. In this paper, we explore the use of automatic differentiation (AD) to develop codes that perform these calculations. We show that by exploiting structure at 2 scales, we can arrive at a very efficient code whose main components are produced by AD. In the first scale we exploite the time-stepping nature of the hyperbolic solver by using the “Extended Jacobian” framework. In the second (finer) scale, we exploit the finite difference stencil in order to make explicit use of the sparsity in the dependence of the output variables to the input variables. The main ideas in this work are illustrated with a simpler, one-dimensional version of the problem. Numerical results are given for both one- and two- dimensional problems. We present computational templates that can be used in conjunction with optimization packages to solve the inverse problem.
NASA Astrophysics Data System (ADS)
Straka, Christian W.
2005-06-01
ADF95 is a tool to automatically calculate numerical first derivatives for any mathematical expression as a function of user defined independent variables. Accuracy of derivatives is achieved within machine precision. ADF95 may be applied to any FORTRAN 77/90/95 conforming code and requires minimal changes by the user. It provides a new derived data type that holds the value and derivatives and applies forward differencing by overloading all FORTRAN operators and intrinsic functions. An efficient indexing technique leads to a reduced memory usage and a substantially increased performance gain over other available tools with operator overloading. This gain is especially pronounced for sparse systems with large number of independent variables. A wide class of numerical simulations, e.g., those employing implicit solvers, can profit from ADF95. Program summaryTitle of program:ADF95 Catalogue identifier: ADVI Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADVI Program obtainable from: CPC Program Library, Queen's University of Belfast, N. Ireland Computer for which the program is designed: all platforms with a FORTRAN 95 compiler Programming language used:FORTRAN 95 No. of lines in distributed program, including test data, etc.: 3103 No. of bytes in distributed program, including test data, etc.: 9862 Distribution format: tar.gz Nature of problem: In many areas in the computational sciences first order partial derivatives for large and complex sets of equations are needed with machine precision accuracy. For example, any implicit or semi-implicit solver requires the computation of the Jacobian matrix, which contains the first derivatives with respect to the independent variables. ADF95 is a software module to facilitate the automatic computation of the first partial derivatives of any arbitrarily complex mathematical FORTRAN expression. The program exploits the sparsity inherited by many set of equations thereby enabling faster computations compared to alternate
Classical and quantum dynamics on p-adic trees of ideas.
Khrennikov, A
2000-01-01
We propose mathematical models of information processes of unconscious and conscious thinking (based on p-adic number representation of mental spaces). Unconscious thinking is described by classical cognitive mechanics (which generalizes Newton's mechanics). Conscious thinking is described by quantum cognitive mechanics (which generalizes the pilot wave model of quantum mechanics). The information state and motivation of a conscious cognitive system evolve under the action of classical information forces and a new quantum information force, namely, conscious force. Our model might provide mathematical foundations for some cognitive and psychological phenomena: collective conscious behavior, connection between physiological and mental processes in a biological organism, Freud's psychoanalysis, hypnotism, homeopathy. It may be used as the basis of a model of conscious evolution of life. PMID:10880858
Krammer, Eva-Maria; Ghaddar, Kassem; André, Bruno
2016-01-01
Commensal and pathogenic enteric bacteria have developed several systems to adapt to proton leakage into the cytoplasm resulting from extreme acidic conditions. One such system involves arginine uptake followed by export of the decarboxylated product agmatine, carried out by the arginine/agmatine antiporter (AdiC), which thus works as a virtual proton pump. Here, using classical and targeted molecular dynamics, we investigated at the atomic level the mechanism of arginine transport through AdiC of E. coli. Overall, our MD simulation data clearly demonstrate that global rearrangements of several transmembrane segments are necessary but not sufficient for achieving transitions between structural states along the arginine translocation pathway. In particular, local structural changes, namely rotameric conversions of two aromatic residues, are needed to regulate access to both the outward- and inward-facing states. Our simulations have also enabled identification of a few residues, overwhelmingly aromatic, which are essential to guiding arginine in the course of its translocation. Most of them belong to gating elements whose coordinated motions contribute to the alternating access mechanism. Their conservation in all known E. coli acid resistance antiporters suggests that the transport mechanisms of these systems share common features. Last but not least, knowledge of the functional properties of AdiC can advance our understanding of the members of the amino acid-carbocation-polyamine superfamily, notably in eukaryotic cells. PMID:27482712
Krammer, Eva-Maria; Ghaddar, Kassem; André, Bruno; Prévost, Martine
2016-01-01
Commensal and pathogenic enteric bacteria have developed several systems to adapt to proton leakage into the cytoplasm resulting from extreme acidic conditions. One such system involves arginine uptake followed by export of the decarboxylated product agmatine, carried out by the arginine/agmatine antiporter (AdiC), which thus works as a virtual proton pump. Here, using classical and targeted molecular dynamics, we investigated at the atomic level the mechanism of arginine transport through AdiC of E. coli. Overall, our MD simulation data clearly demonstrate that global rearrangements of several transmembrane segments are necessary but not sufficient for achieving transitions between structural states along the arginine translocation pathway. In particular, local structural changes, namely rotameric conversions of two aromatic residues, are needed to regulate access to both the outward- and inward-facing states. Our simulations have also enabled identification of a few residues, overwhelmingly aromatic, which are essential to guiding arginine in the course of its translocation. Most of them belong to gating elements whose coordinated motions contribute to the alternating access mechanism. Their conservation in all known E. coli acid resistance antiporters suggests that the transport mechanisms of these systems share common features. Last but not least, knowledge of the functional properties of AdiC can advance our understanding of the members of the amino acid-carbocation-polyamine superfamily, notably in eukaryotic cells. PMID:27482712
NASA Astrophysics Data System (ADS)
Shahamatnia, Ehsan; Dorotovič, Ivan; Fonseca, Jose M.; Ribeiro, Rita A.
2016-03-01
Developing specialized software tools is essential to support studies of solar activity evolution. With new space missions such as Solar Dynamics Observatory (SDO), solar images are being produced in unprecedented volumes. To capitalize on that huge data availability, the scientific community needs a new generation of software tools for automatic and efficient data processing. In this paper a prototype of a modular framework for solar feature detection, characterization, and tracking is presented. To develop an efficient system capable of automatic solar feature tracking and measuring, a hybrid approach combining specialized image processing, evolutionary optimization, and soft computing algorithms is being followed. The specialized hybrid algorithm for tracking solar features allows automatic feature tracking while gathering characterization details about the tracked features. The hybrid algorithm takes advantages of the snake model, a specialized image processing algorithm widely used in applications such as boundary delineation, image segmentation, and object tracking. Further, it exploits the flexibility and efficiency of Particle Swarm Optimization (PSO), a stochastic population based optimization algorithm. PSO has been used successfully in a wide range of applications including combinatorial optimization, control, clustering, robotics, scheduling, and image processing and video analysis applications. The proposed tool, denoted PSO-Snake model, was already successfully tested in other works for tracking sunspots and coronal bright points. In this work, we discuss the application of the PSO-Snake algorithm for calculating the sidereal rotational angular velocity of the solar corona. To validate the results we compare them with published manual results performed by an expert.
Linear forms in p-adic logarithms and the Diophantine equation formula here
NASA Astrophysics Data System (ADS)
Bugeaud, Yann
1999-11-01
A longstanding conjecture claims that the Diophantine equationformula herehas finitely many solutions and, maybe, only those given byformula hereAmong the known results, let us mention that Ljunggren [9] solved (1) completely when q = 2 and that very recently Bugeaud et al. [3] showed that (1) has no solution when x is a square. For more information and in particular for finiteness type results under some extra hypotheses, we refer the reader to Nagell [11], Shorey & Tijdeman [16, 17] and to the recent survey of Shorey [15]. One of the main tools used in most of the proofs is Baker's theory of linear form in archimedean logarithms of algebraic numbers and especially a dramatic sharpening obtained when the algebraic numbers involved are closed to 1. This was first noticed by Shorey [14], and has been applied in numerous works relating to (1) or to the Diophantine equationformula heresee for instance [1, 5, 10]. The purpose of the present work is to prove a similar sharpening for linear forms in p-adic logarithms and to show how it can be applied in the context of (1). Further, following previous investigations by Sander [12] and Saradha & Shorey [13], we derive from our results an irrationality statement for Mahler's numbers.
Lim, Julian; Teng, James; Wong, Kian Foong; Chee, Michael W L
2016-07-01
Rest breaks are commonly administered as a countermeasure to reduce on-the-job fatigue, both physical and mental. However, this practice makes the assumption that recovery from fatigue, as measured by the reversal of performance declines, is the sole effect of taking a break on behavior. Here, through administering rest breaks of differing lengths in between blocks of a mentally demanding symbol decoding task, we show that this assumption may not be strictly true. First, we replicate previous work by showing that taking a longer break leads to two correlated effects: greater immediate rebound in performance, and greater subsequent time-on-task decline. Using fMRI, we reveal that time-on-task in this paradigm is associated with increasing recruitment of fronto-parietal areas associated with top-down control, and decreasing deactivation in the default-mode network. Finally, by analyzing individual differences, we reveal a potential neural basis for our behavioral observation: greater recovery following long breaks is associated with greater activity in the putamen, an area associated with the automatic generation of motor responses, followed by greater activity in left middle frontal gyrus by the end of those task periods. Taken together, this suggests a shift in the implicit engagement of automatic and controlled attentional processing following longer breaks. This shift may be undesirable or detrimental in real-world situations where maintaining a stable level of attention over time is necessary. PMID:27039697
Gardner, Robert S; Suarez, Daniel F; Robinson-Burton, Nadira K; Rudnicky, Christopher J; Gulati, Asish; Ascoli, Giorgio A; Dumas, Theodore C
2016-05-01
The strategies utilized to effectively perform a given task change with practice and experience. During a spatial navigation task, with relatively little training, performance is typically attentive enabling an individual to locate the position of a goal by relying on spatial landmarks. These (place) strategies require an intact hippocampus. With task repetition, performance becomes automatic; the same goal is reached using a fixed response or sequence of actions. These (response) strategies require an intact striatum. The current work aims to understand the activation patterns across these neural structures during this experience-dependent strategy transition. This was accomplished by region-specific measurement of activity-dependent immediate early gene expression among rats trained to different degrees on a dual-solution task (i.e., a task that can be solved using either place or response navigation). As expected, rats increased their reliance on response navigation with extended task experience. In addition, dorsal hippocampal expression of the immediate early gene Arc was considerably reduced in rats that used a response strategy late in training (as compared with hippocampal expression in rats that used a place strategy early in training). In line with these data, vicarious trial and error, a behavior linked to hippocampal function, also decreased with task repetition. Although Arc mRNA expression in dorsal medial or lateral striatum alone did not correlate with training stage, the ratio of expression in the medial striatum to that in the lateral striatum was relatively high among rats that used a place strategy early in training as compared with the ratio among over-trained response rats. Altogether, these results identify specific changes in the activation of dissociated neural systems that may underlie the experience-dependent emergence of response-based automatic navigation. PMID:26976088
Gardner, Robert S.; Suarez, Daniel F.; Robinson-Burton, Nadira K.; Rudnicky, Christopher J.; Gulati, Asish; Ascoli, Giorgio A.; Dumas, Theodore C.
2016-01-01
The strategies utilized to effectively perform a given task change with practice and experience. During a spatial navigation task, with relatively little training, performance is typically attentive enabling an individual to locate the position of a goal by relying on spatial landmarks. These (place) strategies require an intact hippocampus. With task repetition, performance becomes automatic; the same goal is reached using a fixed response or sequence of actions. These (response) strategies require an intact striatum. The current work aims to understand the activation patterns across these neural structures during this experience-dependent strategy transition. This was accomplished by region-specific measurement of activity-dependent immediate early gene expression among rats trained to different degrees on a dual-solution task (i.e., a task that can be solved using either place or response navigation). As expected, rats increased their reliance on response navigation with extended task experience. In addition, dorsal hippocampal expression of the immediate early gene Arc was considerably reduced in rats that used a response strategy late in training (as compared with hippocampal expression in rats that used a place strategy early in training). In line with these data, vicarious trial and error, a behavior linked to hippocampal function, also decreased with task repetition. Although Arc mRNA expression in dorsal medial or lateral striatum alone did not correlate with training stage, the ratio of expression in the medial striatum to that in the lateral striatum was relatively high among rats that used a place strategy early in training as compared with the ratio among over-trained response rats. Altogether, these results identify specific changes in the activation of dissociated neural systems that may underlie the experience-dependent emergence of response-based automatic navigation. PMID:26976088
Chen, Qingfei; Ye, Chun; Liang, Xiuling; Cao, Bihua; Lei, Yi; Li, Hong
2014-09-16
Most current models of knowledge organization are based on hierarchical (plant-pine) or taxonomic categories (animal-plant). Another important organizational pattern is thematic categories, which performs external or complementary roles in the same scenario or event (bee-honey). The goal of this study was to explore the processing of hierarchical categories and thematic categories under automatic processing conditions that minimize strategic influences. The Evoked response potential (ERP) procedure was used to examine the time course of semantic priming for category members with a short stimulus onset asynchrony (SOA) of 300ms as participants performed a lexical decision task. Six experimental conditions were compared: hierarchical relations (offspring-grandson), internal features (gold-golden), productive relations (bee-honey), script relations (room-tenant), unrelated (star-spoon), and non-word trials (star-derf). We found faster reaction times for related prime-target pairs than unrelated pairs except for productive relations. The ERP data showed that an early N400 effect (200-400ms) was more negative for unrelated words than for all related words. Furthermore, a frontal negativity (400-550ms) elicited by productive relations was smaller (more positive) than other related words. We suggest that the smaller frontal negativity in the processing of productive relations indicates their increased salience in knowledge structure compared to less prominent hierarchical relations. Indeed, the allocation of attentional resources and subsequent recruitment of additional memory processing might be two of the hallmarks of thematic relations. PMID:25234647
Ilgü, Hüseyin; Jeckelmann, Jean-Marc; Gapsys, Vytautas; Ucurum, Zöhre; de Groot, Bert L; Fotiadis, Dimitrios
2016-09-13
Pathogenic enterobacteria need to survive the extreme acidity of the stomach to successfully colonize the human gut. Enteric bacteria circumvent the gastric acid barrier by activating extreme acid-resistance responses, such as the arginine-dependent acid resistance system. In this response, l-arginine is decarboxylated to agmatine, thereby consuming one proton from the cytoplasm. In Escherichia coli, the l-arginine/agmatine antiporter AdiC facilitates the export of agmatine in exchange of l-arginine, thus providing substrates for further removal of protons from the cytoplasm and balancing the intracellular pH. We have solved the crystal structures of wild-type AdiC in the presence and absence of the substrate agmatine at 2.6-Å and 2.2-Å resolution, respectively. The high-resolution structures made possible the identification of crucial water molecules in the substrate-binding sites, unveiling their functional roles for agmatine release and structure stabilization, which was further corroborated by molecular dynamics simulations. Structural analysis combined with site-directed mutagenesis and the scintillation proximity radioligand binding assay improved our understanding of substrate binding and specificity of the wild-type l-arginine/agmatine antiporter AdiC. Finally, we present a potential mechanism for conformational changes of the AdiC transport cycle involved in the release of agmatine into the periplasmic space of E. coli. PMID:27582465
NASA Astrophysics Data System (ADS)
Keat, Yap Hong; Atan, Kamel Ariffin Mohd; Sapar, Siti Hasana; Said, Mohamad Rushdan Md
2015-10-01
In this paper we obtain an estimation of p-adic sizes of common zeros of partial derivative polynomials associated with a complete quartic polynomial by applying the Newton polyhedron technique. Such estimates are obtained by examining indicator diagrams associated with the Newton polyhedra of partial derivatives polynomials considered and applying new conditions to improve the results of earlier researchers.
NASA Astrophysics Data System (ADS)
Neretin, Yu A.
2015-06-01
We construct p-adic analogues of operator colligations and their characteristic functions. Consider a p-adic group \\mathbf G={GL}(α+k∞, Q_p), a subgroup L= O(k∞, Z_p) of \\mathbf G and a subgroup \\mathbf K= O(∞, Z_p) which is diagonally embedded in L. We show that the space Γ=\\mathbf K\\setminus\\mathbf G/\\mathbf K of double cosets admits the structure of a semigroup and acts naturally on the space of \\mathbf K-fixed vectors of any unitary representation of \\mathbf G. With each double coset we associate a `characteristic function' that sends a certain Bruhat-Tits building to another building (the buildings are finite-dimensional) in such a way that the image of the distinguished boundary lies in the distinguished boundary. The second building admits the structure of a (Nazarov) semigroup, and the product in Γ corresponds to the pointwise product of characteristic functions.
Watt, L J; Clark, C E F; Krebs, G L; Petzel, C E; Nielsen, S; Utsumi, S A
2015-10-01
Proper performance monitoring of cows on pasture-based diets is crucial to inform nutritional recommendations that minimize undesirable effects of high ruminant CH4 emissions into the environment. The prediction of linkages between rumination patterns, methane emissions, and correlated production traits of cows in a pasture-based automatic milking system was tested. A previous 10-d baseline measurement of rumination activity by acoustic methodology of 156 Holstein-Friesian cows was used for frequency analysis of rumination time and identification of 2 treatment groups (n = 37 cows/group) represented by cows with consistently high (HR; 75th rumination percentile = 617.55 ± 81.37 min/d) or low (LR; 25th rumination percentile = 356.65 ± 72.67 min/d) rumination. The HR and LR cows were paired by nearest parity, days in milk, body weight (BW), and previous 10-d milk production, and within pairs randomly assigned to 1 of 2 experimental groups managed on a voluntary milking system with diets consisting of at least 75% pasture, plus concentrates. Animal traits, including rumination time, mass flux of CH4 (QCH4) and carbon dioxide (QCO2), milk production, and estimated dry matter intake according to individual QCO2 fluxes over a 22-d period were analyzed with repeated measure mixed models for a completely randomized design, structural equation modeling, and nonlinear regression. High rumination and methane was seen in older and heavier cows that had greater estimated dry matter intake and milk production. A consistent difference in rumination time and QCH4 across days was detected between HR and LR, even after adjustment for metabolic BW. Estimated dry matter intake had direct positive effects on rumination and QCH4, but no independent direct effect of rumination on QCH4 was detected. The LR cows produced more QCH4/milk, associated with lower milk, BW, concentrate intake, and greater activity at pasture. A typical dilution of maintenance effect on QCH4/milk was detected
NASA Astrophysics Data System (ADS)
Sochan, Agata; Zieliński, Paweł; Bieganowski, Andrzej
2015-08-01
A grain shape analysis of sandy deposits has implications for determining the processes that affect grain shape. So far, most methods of carrying out a grain shape analysis are based on the subjective estimation of the researcher. The purpose of this study is to indicate the shape parameter/parameters that best differentiate sand grains, and to compare the results with those that have been obtained by the Krumbein method. We determined the shape parameters of sand grains (size range from 0.71 mm to 1 mm) using photos of two-dimensional images of particle projections onto a plane. The photos were taken under an optical microscope and were then subjected to an image analysis. We selected six shape parameters that best differentiate the studied sand grains, based on the criteria of: i) the monotonicity of parameter value, which changed depending on the categorization of the grains to the successive Krumbein roundness classes, and ii) the statistical significance of differences between the optical parameter values in the individual Krumbein classes. We selected three circularity parameters (θ1, θ4 and θ5) and three surface structure parameters (κ3, κ4 and κ6). None of these shape parameters allowed the direct categorization of a particle into a particular Krumbein roundness class. Nevertheless, despite the fact that an unambiguous characterization of deposits is not possible, this method can be helpful in identifying the origin of deposits. Moreover, it is possible to develop more advanced methods (e.g., based on artificial intelligence tools), which would allow an unambiguous categorization based on the determined shape parameters.
NASA Technical Reports Server (NTRS)
Kaufmann, David N.; Ncnally, B. David
1995-01-01
Test flights were conducted to evaluate the capability of Differential Global Positioning System (DGPS) to provide the accuracy and integrity required for International Civil Aviation Organization (ICAO) Category (CAT) 3 precision approach and landings. These test flights were part of a Federal Aviation Administration (FAA) program to evaluate the technical feasibility of using DGPS based technology for CAT 3 precision approach and landing applications. A United Airlines Boeing 737-300 (N304UA) was equipped with DGPS receiving equipment and additional computing capability provided by Stanford University. The test flights were conducted at NASA Ames Research Center's Crows Landing Flight Facility, Crows Landing, California. The flight test evaluation was based on completing 100 approaches and autolandings; 90 touch and go, and 10 terminating with a full stop. Two types of accuracy requirements were evaluated: 1) Total system error, based on the Required Navigation Performance (RNP), and 2) Navigation sensor error, based on ICAO requirements for the Microwave Landing System (MLS). All of the approaches and autolandings were evaluated against ground truth reference data provided by a laser tracker. Analysis of these approaches and autolandings shows that the Stanford University/United Airlines system met the requirements for a successful approach and autolanding 98 out of 100 approaches and autolandings, based on the total system error requirements as specified in the FAA CAT 3 Level 2 Flight Test Plan.
Chatelin, Simon; Charpentier, Isabelle; Corbin, Nadège; Meylheuc, Laurence; Vappou, Jonathan
2016-07-01
Quantitative and accurate measurement of in vivo mechanical properties using dynamic elastography has been the scope of many research efforts over the past two decades. Most of the shear-wave-based inverse approaches for magnetic resonance elastography (MRE) make the assumption of isotropic viscoelasticity. In this paper, we propose a quantitative gradient method for inversion of the shear wave equation in anisotropic media derived from a full waveform description using analytical viscoelastic Green formalism and automatic differentiation. The abilities and performances of the proposed identification method are first evaluated on numerical phantoms calculated in a transversely isotropic medium, and subsequently on experimental MRE data measured on an isotropic hydrogel phantom, on an anisotropic cryogel phantom and on an ex vivo fibrous muscle. The experiments are carried out by coupling circular shear wave profiles generated by acoustic radiation force and MRE acquisition of the wave front. Shear modulus values obtained by our MRE method are compared to those obtained by rheometry in the isotropic hydrogel phantom, and are found to be in good agreement despite non-overlapping frequency ranges. Both the cryogel and the ex vivo muscle are found to be anisotropic. Stiffness values in the longitudinal direction are found to be 1.8 times and 1.9 times higher than those in the transverse direction for the cryogel and the muscle, respectively. The proposed method shows great perspectives and substantial benefits for the in vivo quantitative investigation of complex mechanical properties in fibrous soft tissues. PMID:27300107
NASA Astrophysics Data System (ADS)
Chatelin, Simon; Charpentier, Isabelle; Corbin, Nadège; Meylheuc, Laurence; Vappou, Jonathan
2016-07-01
Quantitative and accurate measurement of in vivo mechanical properties using dynamic elastography has been the scope of many research efforts over the past two decades. Most of the shear-wave-based inverse approaches for magnetic resonance elastography (MRE) make the assumption of isotropic viscoelasticity. In this paper, we propose a quantitative gradient method for inversion of the shear wave equation in anisotropic media derived from a full waveform description using analytical viscoelastic Green formalism and automatic differentiation. The abilities and performances of the proposed identification method are first evaluated on numerical phantoms calculated in a transversely isotropic medium, and subsequently on experimental MRE data measured on an isotropic hydrogel phantom, on an anisotropic cryogel phantom and on an ex vivo fibrous muscle. The experiments are carried out by coupling circular shear wave profiles generated by acoustic radiation force and MRE acquisition of the wave front. Shear modulus values obtained by our MRE method are compared to those obtained by rheometry in the isotropic hydrogel phantom, and are found to be in good agreement despite non-overlapping frequency ranges. Both the cryogel and the ex vivo muscle are found to be anisotropic. Stiffness values in the longitudinal direction are found to be 1.8 times and 1.9 times higher than those in the transverse direction for the cryogel and the muscle, respectively. The proposed method shows great perspectives and substantial benefits for the in vivo quantitative investigation of complex mechanical properties in fibrous soft tissues.
ERIC Educational Resources Information Center
Heyes, Cecilia
2011-01-01
"Automatic imitation" is a type of stimulus-response compatibility effect in which the topographical features of task-irrelevant action stimuli facilitate similar, and interfere with dissimilar, responses. This article reviews behavioral, neurophysiological, and neuroimaging research on automatic imitation, asking in what sense it is "automatic"…
Sannino, Giovanna; De Falco, Ivanoe; De Pietro, Giuseppe
2014-06-01
Real-time Obstructive Sleep Apnea (OSA) episode detection and monitoring are important for society in terms of an improvement in the health of the general population and of a reduction in mortality and healthcare costs. Currently, to diagnose OSA patients undergo PolySomnoGraphy (PSG), a complicated and invasive test to be performed in a specialized center involving many sensors and wires. Accordingly, each patient is required to stay in the same position throughout the duration of one night, thus restricting their movements. This paper proposes an easy, cheap, and portable approach for the monitoring of patients with OSA, which collects single-channel ElectroCardioGram (ECG) data only. It is easy to perform from the patient's point of view because only one wearable sensor is required, so the patient is not restricted to keeping the same position all night long, and the detection and monitoring can be carried out in any place through the use of a mobile device. Our approach is based on the automatic extraction, from a database containing information about the monitored patient, of explicit knowledge in the form of a set of IF…THEN rules containing typical parameters derived from Heart Rate Variability (HRV) analysis. The extraction is carried out off-line by means of a Differential Evolution algorithm. This set of rules can then be exploited in the real-time mobile monitoring system developed at our Laboratory: the ECG data is gathered by a wearable sensor and sent to a mobile device, where it is processed in real time. Subsequently, HRV-related parameters are computed from this data, and, if their values activate some of the rules describing the occurrence of OSA, an alarm is automatically produced. This approach has been tested on a well-known literature database of OSA patients. The numerical results show its effectiveness in terms of accuracy, sensitivity, and specificity, and the achieved sets of rules evidence the user-friendliness of the approach
Zhang, Y.; Easter, R.C.; Bischof, C.H.; Wu, P.T.
1997-12-31
A comprehensive sensitivity analysis of a multi-phase atmospheric chemical mechanism is conducted under a variety of atmospheric conditions. The ADIFOR automatic differentiation technology is applied to evaluate the local sensitivities of species concentrations in gas, aqueous and aerosol phases with respect to a variety of model parameters. In this paper, sensitivities of tropospheric ozone and photochemical indicators with respect to species initial concentrations, gas-phase reaction rate constants, and aerosol surface uptake coefficients are presented and analyzed. The main gas-phase reaction pathways and aerosol surface uptake processes that affect tropospheric O{sub 3} formation, O{sub 3}-precursor relations and sensitivity of indicators are identified. The most influential gas-phase reactions include the photolytic reactions of NO{sub 2}, O{sub 3}, H{sub 2}O{sub 2}, HCHO, ALD{sub 2} and MGLY, the conversion of NO to NO{sub 2}, the generation and inter-conversion of OH, HO{sub 2} and RO{sub 2} radicals, and the formation and dissociation of oxidants and acids. Photochemical indicators such as O{sub 3}/NO{sub x} and H{sub 2}O{sub 2}/HNO{sub 3} are sensitive to changes in reaction rate constants, initial species concentrations, and uptake coefficients. These indicators are found to have higher sensitivities for hydrocarbon reactions and lower sensitivities for NO{sub x} reactions under polluted conditions as compared to less polluted conditions. Aerosol surface uptake is important when the total surface area is larger than 1,000 {micro}m{sup 2} cm{sup {minus}3}. The identified important heterogeneous processes include aerosol surface uptake of HCHO, O{sub 3}, HO{sub 2}, HNO{sub 3}, NO, NO{sub 2}, N{sub 2}O{sub 5}, PAN, H{sub 2}O{sub 2}, CH{sub 3}O{sub 2} and SO{sub 2}. These uptake processes can affect not only O{sub 3} formation and its sensitivity, but also O{sub 3}-precursor relations and sensitivities of indicators.
NASA Technical Reports Server (NTRS)
Haus, FR
1936-01-01
This report lays more stress on the principles underlying automatic piloting than on the means of applications. Mechanical details of servomotors and the mechanical release device necessary to assure instantaneous return of the controls to the pilot in case of malfunction are not included. Descriptions are provided of various commercial systems.
Decker, R
1987-10-01
In addition to express warranties (those specifically made by the supplier in the contract) and implied warranties (those resulting from circumstances of the sale), there is one other classification of warranties that needs to be understood by hospital materials managers. These are sometimes known as automatic warranties. In the following dialogue, Doctor Decker develops these legal concepts. PMID:10284977
Robinson, H.P.
1960-06-01
An automatic counter of alpha particle tracks recorded by a sensitive emulsion of a photographic plate is described. The counter includes a source of mcdulated dark-field illumination for developing light flashes from the recorded particle tracks as the photographic plate is automatically scanned in narrow strips. Photoelectric means convert the light flashes to proportional current pulses for application to an electronic counting circuit. Photoelectric means are further provided for developing a phase reference signal from the photographic plate in such a manner that signals arising from particle tracks not parallel to the edge of the plate are out of phase with the reference signal. The counting circuit includes provision for rejecting the out-of-phase signals resulting from unoriented tracks as well as signals resulting from spurious marks on the plate such as scratches, dust or grain clumpings, etc. The output of the circuit is hence indicative only of the tracks that would be counted by a human operator.
Lindner, Christian; Dannlowski, Udo; Bauer, Jochen; Ohrmann, Patricia; Lencer, Rebekka; Zwitserlood, Pienie; Kugel, Harald
2016-01-01
Objective Early neuroimaging studies have demonstrated amygdala hypoactivation in schizophrenia but more recent research based on paradigms with minimal cognitive loads or examining automatic processing has observed amygdala hyperactivation. Hyperactivation was found to be related to affective flattening. In this study, amygdala responsivity to threat-related facial expression was investigated in patients as a function of automatic versus controlled processing and patients' flat affect. Methods Functional magnetic resonance imaging was used to measure amygdala activation in 36 patients with schizophrenia and 42 healthy controls. During scanning, a viewing task with masked and unmasked fearful and neutral faces was presented. Results Patients exhibited increased amygdala response to unmasked fearful faces. With respect to masked fearful faces, no between-group differences emerged for the sample as a whole but a subsample of patients with flat affect showed heightened amygdala activation. The amygdala response to masked fearful faces was positively correlated with the degree of flat affect. Conversely, amygdala response to unmasked fearful faces was negatively correlated to the severity of affective flattening. In patients, amygdala responses to masked and unmasked fearful faces showed an inverse correlation. Conclusion Our findings suggest that amygdala hyperresponsivity to unmasked fearful faces might be a functional characteristic of schizophrenia. Amygdala hyperresponsivity to masked fearful faces might be a specific characteristic of patients with affective flattening. A model of flat affect as a response mechanism to emotional overload is proposed. PMID:26766952
NASA Technical Reports Server (NTRS)
Haus, FR
1936-01-01
This report concerns the study of automatic stabilizers and extends it to include the control of the three-control system of the airplane instead of just altitude control. Some of the topics discussed include lateral disturbed motion, static stability, the mathematical theory of lateral motion, and large angles of incidence. Various mechanisms and stabilizers are also discussed. The feeding of Diesel engines by injection pumps actuated by engine compression, achieves the required high speeds of injection readily and permits rigorous control of the combustible charge introduced into each cylinder and of the peak pressure in the resultant cycle.
Miura, M.; Inuzuka, T.
1986-08-26
1. An automatic transmission with four forward speeds and one reverse position, is described which consists of: an input shaft; an output member; first and second planetary gear sets each having a sun gear, a ring gear and a carrier supporting a pinion in mesh with the sun gear and ring gear; the carrier of the first gear set, the ring gear of the second gear set and the output member all being connected; the ring gear of the first gear set connected to the carrier of the second gear set; a first clutch means for selectively connecting the input shaft to the sun gear of the first gear set, including friction elements, a piston selectively engaging the friction elements and a fluid servo in which hydraulic fluid is selectively supplied to the piston; a second clutch means for selectively connecting the input shaft to the sun gear of the second gear set a third clutch means for selectively connecting the input shaft to the carrier of the second gear set including friction elements, a piston selectively engaging the friction elements and a fluid servo in which hydraulic fluid is selectively supplied to the piston; a first drive-establishing means for selectively preventing rotation of the ring gear of the first gear set and the carrier of the second gear set in only one direction and, alternatively, in any direction; a second drive-establishing means for selectively preventing rotation of the sun gear of the second gear set; and a drum being open to the first planetary gear set, with a cylindrical intermediate wall, an inner peripheral wall and outer peripheral wall and forming the hydraulic servos of the first and third clutch means between the intermediate wall and the inner peripheral wall and between the intermediate wall and the outer peripheral wall respectively.
NASA Astrophysics Data System (ADS)
Kim, Namkug; Seo, Joon Beom; Sung, Yu Sub; Park, Bum-Woo; Lee, Youngjoo; Park, Seong Hoon; Lee, Young Kyung; Kang, Suk-Ho
2008-03-01
To find optimal binning, variable binning size linear binning (LB) and non-linear binning (NLB) methods were tested. In case of small binning size (Q <= 10), NLB shows significant better accuracy than the LB. K-means NLB (Q = 26) is statistically significant better than every LB. To find optimal binning method and ROI size of the automatic classification system for differentiation between diffuse infiltrative lung diseases on the basis of textural analysis at HRCT Six-hundred circular regions of interest (ROI) with 10, 20, and 30 pixel diameter, comprising of each 100 ROIs representing six regional disease patterns (normal, NL; ground-glass opacity, GGO; reticular opacity, RO; honeycombing, HC; emphysema, EMPH; and consolidation, CONS) were marked by an experienced radiologist from HRCT images. Histogram (mean) and co-occurrence matrix (mean and SD of angular second moment, contrast, correlation, entropy, and inverse difference momentum) features were employed to test binning and ROI effects. To find optimal binning, variable binning size LB (bin size Q: 4~30, 32, 64, 128, 144, 196, 256, 384) and NLB (Q: 4~30) methods (K-means, and Fuzzy C-means clustering) were tested. For automated classification, a SVM classifier was implemented. To assess cross-validation of the system, a five-folding method was used. Each test was repeatedly performed twenty times. Overall accuracies with every combination of variable ROIs, and binning sizes were statistically compared. In case of small binning size (Q <= 10), NLB shows significant better accuracy than the LB. K-means NLB (Q = 26) is statistically significant better than every LB. In case of 30x30 ROI size and most of binning size, the K-means method showed better than other NLB and LB methods. When optimal binning and other parameters were set, overall sensitivity of the classifier was 92.85%. The sensitivity and specificity of the system for each class were as follows: NL, 95%, 97.9%; GGO, 80%, 98.9%; RO 85%, 96.9%; HC, 94
33 CFR 401.20 - Automatic Identification System.
Code of Federal Regulations, 2013 CFR
2013-07-01
...' maritime Differential Global Positioning System radiobeacon services; or (7) The use of a temporary unit... 33 Navigation and Navigable Waters 3 2013-07-01 2013-07-01 false Automatic Identification System... Identification System. (a) Each of the following vessels must use an Automatic Identification System...
33 CFR 401.20 - Automatic Identification System.
Code of Federal Regulations, 2010 CFR
2010-07-01
...' maritime Differential Global Positioning System radiobeacon services; or (7) The use of a temporary unit... 33 Navigation and Navigable Waters 3 2010-07-01 2010-07-01 false Automatic Identification System... Identification System. (a) Each of the following vessels must use an Automatic Identification System...
33 CFR 401.20 - Automatic Identification System.
Code of Federal Regulations, 2012 CFR
2012-07-01
...' maritime Differential Global Positioning System radiobeacon services; or (7) The use of a temporary unit... 33 Navigation and Navigable Waters 3 2012-07-01 2012-07-01 false Automatic Identification System... Identification System. (a) Each of the following vessels must use an Automatic Identification System...
33 CFR 401.20 - Automatic Identification System.
Code of Federal Regulations, 2014 CFR
2014-07-01
...' maritime Differential Global Positioning System radiobeacon services; or (7) The use of a temporary unit... 33 Navigation and Navigable Waters 3 2014-07-01 2014-07-01 false Automatic Identification System... Identification System. (a) Each of the following vessels must use an Automatic Identification System...
Mackay, R D
2015-07-01
The automatism defence has been described as a quagmire of law and as presenting an intractable problem. Why is this so? This paper will analyse and explore the current legal position on automatism. In so doing, it will identify the problems which the case law has created, including the distinction between sane and insane automatism and the status of the 'external factor doctrine', and comment briefly on recent reform proposals. PMID:26378105
Automatic crack propagation tracking
NASA Technical Reports Server (NTRS)
Shephard, M. S.; Weidner, T. J.; Yehia, N. A. B.; Burd, G. S.
1985-01-01
A finite element based approach to fully automatic crack propagation tracking is presented. The procedure presented combines fully automatic mesh generation with linear fracture mechanics techniques in a geometrically based finite element code capable of automatically tracking cracks in two-dimensional domains. The automatic mesh generator employs the modified-quadtree technique. Crack propagation increment and direction are predicted using a modified maximum dilatational strain energy density criterion employing the numerical results obtained by meshes of quadratic displacement and singular crack tip finite elements. Example problems are included to demonstrate the procedure.
Method for automatically scramming a nuclear reactor
Ougouag, Abderrafi M.; Schultz, Richard R.; Terry, William K.
2005-12-27
An automatically scramming nuclear reactor system. One embodiment comprises a core having a coolant inlet end and a coolant outlet end. A cooling system operatively associated with the core provides coolant to the coolant inlet end and removes heated coolant from the coolant outlet end, thus maintaining a pressure differential therebetween during a normal operating condition of the nuclear reactor system. A guide tube is positioned within the core with a first end of the guide tube in fluid communication with the coolant inlet end of the core, and a second end of the guide tube in fluid communication with the coolant outlet end of the core. A control element is positioned within the guide tube and is movable therein between upper and lower positions, and automatically falls under the action of gravity to the lower position when the pressure differential drops below a safe pressure differential.
Digital automatic gain control
NASA Technical Reports Server (NTRS)
Uzdy, Z.
1980-01-01
Performance analysis, used to evaluated fitness of several circuits to digital automatic gain control (AGC), indicates that digital integrator employing coherent amplitude detector (CAD) is best device suited for application. Circuit reduces gain error to half that of conventional analog AGC while making it possible to automatically modify response of receiver to match incoming signal conditions.
NASA Technical Reports Server (NTRS)
Berdahl, B. J.; Carle, G. C.; Oyama, V. I.
1971-01-01
Analyzer operates unattended or up to 15 hours. It has an automatic sample injection system and can be programmed. All fluid-flow valve switching is accomplished pneumatically from miniature three-way solenoid pilot valves.
Automatic Payroll Deposit System.
ERIC Educational Resources Information Center
Davidson, D. B.
1979-01-01
The Automatic Payroll Deposit System in Yakima, Washington's Public School District No. 7, directly transmits each employee's salary amount for each pay period to a bank or other financial institution. (Author/MLF)
Schlecht, Martin F.; Kassakian, John G.; Caloggero, Anthony J.; Rhodes, Bruce; Otten, David; Rasmussen, Neil
1982-01-01
An automatic switching matrix that includes an apertured matrix board containing a matrix of wires that can be interconnected at each aperture. Each aperture has associated therewith a conductive pin which, when fully inserted into the associated aperture, effects electrical connection between the wires within that particular aperture. Means is provided for automatically inserting the pins in a determined pattern and for removing all the pins to permit other interconnecting patterns.
Malm, C.F.
1995-12-31
A phase lock loop automatic synchronizer, PLLS, matches generator speed starting from dead stop to bus frequency, and then locks the phase difference at zero, thereby maintaining zero slip frequency while the generator breaker is being closed to the bus. The significant difference between the PLLS and a conventional automatic synchronizer is that there is no slip frequency difference between generator and bus. The PLL synchronizer is most advantageous when the penstock pressure fluctuates the grid frequency fluctuates, or both. The PLL synchronizer is relatively inexpensive. Hydroplants with multiple units can economically be equipped with a synchronizer for each unit.
Automatic Program Synthesis Reports.
ERIC Educational Resources Information Center
Biermann, A. W.; And Others
Some of the major results of future goals of an automatic program synthesis project are described in the two papers that comprise this document. The first paper gives a detailed algorithm for synthesizing a computer program from a trace of its behavior. Since the algorithm involves a search, the length of time required to do the synthesis of…
Automaticity of Conceptual Magnitude.
Gliksman, Yarden; Itamar, Shai; Leibovich, Tali; Melman, Yonatan; Henik, Avishai
2016-01-01
What is bigger, an elephant or a mouse? This question can be answered without seeing the two animals, since these objects elicit conceptual magnitude. How is an object's conceptual magnitude processed? It was suggested that conceptual magnitude is automatically processed; namely, irrelevant conceptual magnitude can affect performance when comparing physical magnitudes. The current study further examined this question and aimed to expand the understanding of automaticity of conceptual magnitude. Two different objects were presented and participants were asked to decide which object was larger on the screen (physical magnitude) or in the real world (conceptual magnitude), in separate blocks. By creating congruent (the conceptually larger object was physically larger) and incongruent (the conceptually larger object was physically smaller) pairs of stimuli it was possible to examine the automatic processing of each magnitude. A significant congruity effect was found for both magnitudes. Furthermore, quartile analysis revealed that the congruity was affected similarly by processing time for both magnitudes. These results suggest that the processing of conceptual and physical magnitudes is automatic to the same extent. The results support recent theories suggested that different types of magnitude processing and representation share the same core system. PMID:26879153
Automaticity of Conceptual Magnitude
Gliksman, Yarden; Itamar, Shai; Leibovich, Tali; Melman, Yonatan; Henik, Avishai
2016-01-01
What is bigger, an elephant or a mouse? This question can be answered without seeing the two animals, since these objects elicit conceptual magnitude. How is an object’s conceptual magnitude processed? It was suggested that conceptual magnitude is automatically processed; namely, irrelevant conceptual magnitude can affect performance when comparing physical magnitudes. The current study further examined this question and aimed to expand the understanding of automaticity of conceptual magnitude. Two different objects were presented and participants were asked to decide which object was larger on the screen (physical magnitude) or in the real world (conceptual magnitude), in separate blocks. By creating congruent (the conceptually larger object was physically larger) and incongruent (the conceptually larger object was physically smaller) pairs of stimuli it was possible to examine the automatic processing of each magnitude. A significant congruity effect was found for both magnitudes. Furthermore, quartile analysis revealed that the congruity was affected similarly by processing time for both magnitudes. These results suggest that the processing of conceptual and physical magnitudes is automatic to the same extent. The results support recent theories suggested that different types of magnitude processing and representation share the same core system. PMID:26879153
AUTOmatic Message PACKing Facility
Energy Science and Technology Software Center (ESTSC)
2004-07-01
AUTOPACK is a library that provides several useful features for programs using the Message Passing Interface (MPI). Features included are: 1. automatic message packing facility 2. management of send and receive requests. 3. management of message buffer memory. 4. determination of the number of anticipated messages from a set of arbitrary sends, and 5. deterministic message delivery for testing purposes.
Automatic finite element generators
NASA Technical Reports Server (NTRS)
Wang, P. S.
1984-01-01
The design and implementation of a software system for generating finite elements and related computations are described. Exact symbolic computational techniques are employed to derive strain-displacement matrices and element stiffness matrices. Methods for dealing with the excessive growth of symbolic expressions are discussed. Automatic FORTRAN code generation is described with emphasis on improving the efficiency of the resultant code.
Principles of Automatic Lemmatisation
ERIC Educational Resources Information Center
Hann, M. L.
1974-01-01
Introduces some algorithmic methods, for which no pre-editing is necessary, for automatically "lemmatising" raw text (changing raw text to an equivalent version in which all inflected words are artificially transformed to their dictionary look-up form). The results of a study of these methods, which used a German Text, are also given. (KM)
Reactor component automatic grapple
Greenaway, P.R.
1982-12-07
A grapple for handling nuclear reactor components in a medium such as liquid sodium which, upon proper seating and alignment of the grapple with the component as sensed by a mechanical logic integral to the grapple, automatically seizes the component. The mechanical logic system also precludes seizure in the absence of proper seating and alignment.
Reactor component automatic grapple
Greenaway, Paul R.
1982-01-01
A grapple for handling nuclear reactor components in a medium such as liquid sodium which, upon proper seating and alignment of the grapple with the component as sensed by a mechanical logic integral to the grapple, automatically seizes the component. The mechanical logic system also precludes seizure in the absence of proper seating and alignment.
Keefe, Donald J.
1980-01-01
An automatically sweeping circuit for searching for an evoked response in an output signal in time with respect to a trigger input. Digital counters are used to activate a detector at precise intervals, and monitoring is repeated for statistical accuracy. If the response is not found then a different time window is examined until the signal is found.
Automatic Data Processing Glossary.
ERIC Educational Resources Information Center
Bureau of the Budget, Washington, DC.
The technology of the automatic information processing field has progressed dramatically in the past few years and has created a problem in common term usage. As a solution, "Datamation" Magazine offers this glossary which was compiled by the U.S. Bureau of the Budget as an official reference. The terms appear in a single alphabetic sequence,…
Automatic Dance Lesson Generation
ERIC Educational Resources Information Center
Yang, Yang; Leung, H.; Yue, Lihua; Deng, LiQun
2012-01-01
In this paper, an automatic lesson generation system is presented which is suitable in a learning-by-mimicking scenario where the learning objects can be represented as multiattribute time series data. The dance is used as an example in this paper to illustrate the idea. Given a dance motion sequence as the input, the proposed lesson generation…
Automatic multiple applicator electrophoresis
NASA Technical Reports Server (NTRS)
Grunbaum, B. W.
1977-01-01
Easy-to-use, economical device permits electrophoresis on all known supporting media. System includes automatic multiple-sample applicator, sample holder, and electrophoresis apparatus. System has potential applicability to fields of taxonomy, immunology, and genetics. Apparatus is also used for electrofocusing.
Fully automatic telemetry data processor
NASA Technical Reports Server (NTRS)
Cox, F. B.; Keipert, F. A.; Lee, R. C.
1968-01-01
Satellite Telemetry Automatic Reduction System /STARS 2/, a fully automatic computer-controlled telemetry data processor, maximizes data recovery, reduces turnaround time, increases flexibility, and improves operational efficiency. The system incorporates a CDC 3200 computer as its central element.
Valuing the Advanced Learner: Differentiating up
ERIC Educational Resources Information Center
Manning, Sandra; Stanford, Barbara; Reeves, Stacy
2010-01-01
In today's educational climate, differentiated instruction is a common practice for students who need remediation; what is less common is to Differentiate Instruction for the advanced learner. Contrary to popular perceptions, advanced learners do not automatically differentiate instruction on their own. Students who have the potential to excel…
Automatic carrier acquisition system
NASA Technical Reports Server (NTRS)
Bunce, R. C. (Inventor)
1973-01-01
An automatic carrier acquisition system for a phase locked loop (PLL) receiver is disclosed. It includes a local oscillator, which sweeps the receiver to tune across the carrier frequency uncertainty range until the carrier crosses the receiver IF reference. Such crossing is detected by an automatic acquisition detector. It receives the IF signal from the receiver as well as the IF reference. It includes a pair of multipliers which multiply the IF signal with the IF reference in phase and in quadrature. The outputs of the multipliers are filtered through bandpass filters and power detected. The output of the power detector has a signal dc component which is optimized with respect to the noise dc level by the selection of the time constants of the filters as a function of the sweep rate of the local oscillator.
Automatism and driving offences.
Rumbold, John
2013-10-01
Automatism is a rarely used defence, but it is particularly used for driving offences because many are strict liability offences. Medical evidence is almost always crucial to argue the defence, and it is important to understand the bars that limit the use of automatism so that the important medical issues can be identified. The issue of prior fault is an important public safeguard to ensure that reasonable precautions are taken to prevent accidents. The total loss of control definition is more problematic, especially with disorders of more gradual onset like hypoglycaemic episodes. In these cases the alternative of 'effective loss of control' would be fairer. This article explores several cases, how the criteria were applied to each, and the types of medical assessment required. PMID:24112330
Automatic Abstraction in Planning
NASA Technical Reports Server (NTRS)
Christensen, J.
1991-01-01
Traditionally, abstraction in planning has been accomplished by either state abstraction or operator abstraction, neither of which has been fully automatic. We present a new method, predicate relaxation, for automatically performing state abstraction. PABLO, a nonlinear hierarchical planner, implements predicate relaxation. Theoretical, as well as empirical results are presented which demonstrate the potential advantages of using predicate relaxation in planning. We also present a new definition of hierarchical operators that allows us to guarantee a limited form of completeness. This new definition is shown to be, in some ways, more flexible than previous definitions of hierarchical operators. Finally, a Classical Truth Criterion is presented that is proven to be sound and complete for a planning formalism that is general enough to include most classical planning formalisms that are based on the STRIPS assumption.
NASA Astrophysics Data System (ADS)
Espy-Wilson, Carol
2005-04-01
Great strides have been made in the development of automatic speech recognition (ASR) technology over the past thirty years. Most of this effort has been centered around the extension and improvement of Hidden Markov Model (HMM) approaches to ASR. Current commercially-available and industry systems based on HMMs can perform well for certain situational tasks that restrict variability such as phone dialing or limited voice commands. However, the holy grail of ASR systems is performance comparable to humans-in other words, the ability to automatically transcribe unrestricted conversational speech spoken by an infinite number of speakers under varying acoustic environments. This goal is far from being reached. Key to the success of ASR is effective modeling of variability in the speech signal. This tutorial will review the basics of ASR and the various ways in which our current knowledge of speech production, speech perception and prosody can be exploited to improve robustness at every level of the system.
Samuel, A G; Kat, D
1998-04-01
Two experiments were used to test whether selective adaptation for speech occurs automatically or instead requires attentional resources. A control condition demonstrated the usual large identification shifts caused by repeatedly presenting an adapting sound (/wa/, with listeners identifying members of a /ba/-/wa/ test series). Two types of distractor tasks were used: (1) Subjects did a rapid series of arithmetic problems during the adaptation periods (Experiments 1 and 2), or (2) they made a series of rhyming judgments, requiring phonetic coding (Experiment 2). A control experiment (Experiment 3) demonstrated that these tasks normally impose a heavy attentional cost on phonetic processing. Despite this, for both experimental conditions, the observed adaptation effect was just as large as in the control condition. This result indicates that adaptation is automatic, operating at an early, preattentive level. The implications of these results for current models of speech perception are discussed. PMID:9599999
NASA Technical Reports Server (NTRS)
Dwinell, W. S.
1979-01-01
In technique, voice circuits connecting crew's cabin to launch station through umbilical connector disconnect automatically unused, or deadened portion of circuits immediately after vehicle is launched, eliminating possibility that unused wiring interferes with voice communications inside vehicle or need for manual cutoff switch and its associated wiring. Technique is applied to other types of electrical actuation circuits, also launch of mapped vehicles, such as balloons, submarines, test sleds, and test chambers-all requiring assistance of ground crew.
Automatic digital image registration
NASA Technical Reports Server (NTRS)
Goshtasby, A.; Jain, A. K.; Enslin, W. R.
1982-01-01
This paper introduces a general procedure for automatic registration of two images which may have translational, rotational, and scaling differences. This procedure involves (1) segmentation of the images, (2) isolation of dominant objects from the images, (3) determination of corresponding objects in the two images, and (4) estimation of transformation parameters using the center of gravities of objects as control points. An example is given which uses this technique to register two images which have translational, rotational, and scaling differences.
Automatic analysis of computation in biochemical reactions.
Egri-Nagy, Attila; Nehaniv, Chrystopher L; Rhodes, John L; Schilstra, Maria J
2008-01-01
We propose a modeling and analysis method for biochemical reactions based on finite state automata. This is a completely different approach compared to traditional modeling of reactions by differential equations. Our method aims to explore the algebraic structure behind chemical reactions using automatically generated coordinate systems. In this paper we briefly summarize the underlying mathematical theory (the algebraic hierarchical decomposition theory of finite state automata) and describe how such automata can be derived from the description of chemical reaction networks. We also outline techniques for the flexible manipulation of existing models. As a real-world example we use the Krebs citric acid cycle. PMID:18606208
AUTOMATIC FREQUENCY CONTROL SYSTEM
Hansen, C.F.; Salisbury, J.D.
1961-01-10
A control is described for automatically matching the frequency of a resonant cavity to that of a driving oscillator. The driving oscillator is disconnected from the cavity and a secondary oscillator is actuated in which the cavity is the frequency determining element. A low frequency is mixed with the output of the driving oscillator and the resultant lower and upper sidebands are separately derived. The frequencies of the sidebands are compared with the secondary oscillator frequency. deriving a servo control signal to adjust a tuning element in the cavity and matching the cavity frequency to that of the driving oscillator. The driving oscillator may then be connected to the cavity.
McNeilly, Clyde E.
1977-01-04
A device is provided for automatically selecting from a plurality of ranges of a scale of values to which a meter may be made responsive, that range which encompasses the value of an unknown parameter. A meter relay indicates whether the unknown is of greater or lesser value than the range to which the meter is then responsive. The rotatable part of a stepping relay is rotated in one direction or the other in response to the indication from the meter relay. Various positions of the rotatable part are associated with particular scales. Switching means are sensitive to the position of the rotatable part to couple the associated range to the meter.
Automatic clutch control system
Kasai, H.; Ogawa, N.; Hattori, T.; Ishihara, M.; Uriuhara, M.
1986-12-16
This patent describes an automatic clutch control system, comprising: a clutch having a full clutch engagement point and a clutch contact point; a clutch actuator for controlling a clutch stroke; a plurality of solenoid valves for controlling the clutch actuator; clutch stroke sensor means for measuring the clutch stroke and for detecting the full clutch engagement point and the clutch contact point in the clutch stroke; control means, for feeding back a stroke signal detected by the clutch stroke sensor and for controlling the solenoid valves to control clutch engagement and disengagement.
Automatic speaker recognition system
NASA Astrophysics Data System (ADS)
Higgins, Alan; Naylor, Joe
1984-07-01
The Defense Communications Division of ITT (ITTDCD) has developed an automatic speaker recognition (ASR) system that meets the functional requirements defined in NRL's Statement of Work. This report is organized as follows. Chapter 2 is a short history of the development of the ASR system, both the algorithm and the implementation. Chapter 3 describes the methodology of system testing, and Chapter 4 summarizes test results. In Chapter 5, some additional testing performed using GFM test material is discussed. Conclusions derived from the contract work are given in Chapter 6.
33 CFR 164.43 - Automatic Identification System Shipborne Equipment-Prince William Sound.
Code of Federal Regulations, 2012 CFR
2012-07-01
... (AISSE) system consisting of a: (1) Twelve-channel all-in-view Differential Global Positioning System (d... 33 Navigation and Navigable Waters 2 2012-07-01 2012-07-01 false Automatic Identification System... Automatic Identification System Shipborne Equipment—Prince William Sound. (a) Until December 31, 2004,...
33 CFR 164.43 - Automatic Identification System Shipborne Equipment-Prince William Sound.
Code of Federal Regulations, 2014 CFR
2014-07-01
... (AISSE) system consisting of a: (1) Twelve-channel all-in-view Differential Global Positioning System (d... 33 Navigation and Navigable Waters 2 2014-07-01 2014-07-01 false Automatic Identification System... Automatic Identification System Shipborne Equipment—Prince William Sound. (a) Until December 31, 2004,...
33 CFR 164.43 - Automatic Identification System Shipborne Equipment-Prince William Sound.
Code of Federal Regulations, 2013 CFR
2013-07-01
... (AISSE) system consisting of a: (1) Twelve-channel all-in-view Differential Global Positioning System (d... 33 Navigation and Navigable Waters 2 2013-07-01 2013-07-01 false Automatic Identification System... Automatic Identification System Shipborne Equipment—Prince William Sound. (a) Until December 31, 2004,...
33 CFR 164.43 - Automatic Identification System Shipborne Equipment-Prince William Sound.
Code of Federal Regulations, 2011 CFR
2011-07-01
... (AISSE) system consisting of a: (1) Twelve-channel all-in-view Differential Global Positioning System (d... 33 Navigation and Navigable Waters 2 2011-07-01 2011-07-01 false Automatic Identification System... Automatic Identification System Shipborne Equipment—Prince William Sound. (a) Until December 31, 2004,...
Robust tuning of two-loop automatic control systems
NASA Astrophysics Data System (ADS)
Smirnov, N. I.; Sabanin, V. R.; Repin, A. I.
2007-07-01
We propose a solution to the problem of finding trade-off robust tuning parameters for two-loop automatic control systems by means of a numerical simulation method using the authors’ version of the Optim-MGA evolutionary optimization algorithm. Results from calculating and analyzing a two-loop superheated steam temperature control system employing a PI controller and a differentiator are presented.
Integral valve provides automatic relief and remote venting
NASA Technical Reports Server (NTRS)
Gilmore, R. F.
1969-01-01
In-line, pilot-operated, differential area, poppet type valve provides both automatic relief of a tank at a precise over-pressure and remote control of tank venting. Relief and vent operations are separate functions incorporated in an integral valve package.
Lauritzen, T.
1982-03-23
A measuring system is disclosed for surveying and very accurately positioning objects with respect to a reference line. A principal use of this surveying system is for accurately aligning the electromagnets which direct a particle beam emitted from a particle accelerator. Prior art surveying systems require highly skilled surveyors. Prior art systems include, for example, optical surveying systems which are susceptible to operator reading errors, and celestial navigation-type surveying systems, with their inherent complexities. The present invention provides an automatic readout micrometer which can very accurately measure distances. The invention has a simplicity of operation which practically eliminates the possibilities of operator optical reading error, owning to the elimination of traditional optical alignments for making measurements. The invention has an extendable arm which carries a laser surveying target. The extendable arm can be continuously positioned over its entire length of travel by either a coarse or fine adjustment without having the fine adjustment outrun the coarse adjustment until a reference laser beam is centered on the target as indicated by a digital readout. The length of the micrometer can then be accurately and automatically read by a computer and compared with a standardized set of alignment measurements. Due to its construction, the micrometer eliminates any errors due to temperature changes when the system is operated within a standard operating temperature range.
Automatic engine control system
Geary, W.C.; Mirsaiidi, M.V.; Redfern, T.; Wolfe, D.W.
1986-01-14
This patent describes an automatic control circuit for an internal combustion engine and clutch assembly. One component of this circuit is a timer for determining the time the engine is allowed to run and the clutch is engaged and a second period of time when the clutch is automatically disengaged. Associated with the timer is a starter means to start the engine during the first time period and a clutch actuating mechanism for engaging the clutch near the first time period initiation after the starter starts the engine. An engine shut down and clutch disengagement mechanism is also responsive to the first timer. The patent then goes on to describe a supplemental timer mechanism for determining a third and fourth period of time within the second time period such that the third period being when the engine is shut off and the fourth period being when the engine runs with clutch disengaged. The starter mechanism is responsive to the supplemental timer to start the engine at the beginning of the fourth period. A shut down means stops the engine at the beginning of the third period in response to the timer.
Lauritzen, T.
A measuring system is described for surveying and very accurately positioning objects with respect to a reference line. A principle use of this surveying system is for accurately aligning the electromagnets which direct a particle beam emitted from a particle accelerator. Prior art surveying systems require highly skilled surveyors. Prior art systems include, for example, optical surveying systems which are susceptible to operator reading errors, and celestial navigation-type surveying systems, with their inherent complexities. The present invention provides an automatic readout micrometer which can very accurately measure distances. The invention has a simplicity of operation which practically eliminates the possibilities of operator optical reading error, owning to the elimination of traditional optical alignments for making measurements. The invention has an extendable arm which carries a laser surveying target. The extendable arm can be continuously positioned over its entire length of travel by either a coarse of fine adjustment without having the fine adjustment outrun the coarse adjustment until a reference laser beam is centered on the target as indicated by a digital readout. The length of the micrometer can then be accurately and automatically read by a computer and compared with a standardized set of alignment measurements. Due to its construction, the micrometer eliminates any errors due to temperature changes when the system is operated within a standard operating temperature range.
Lauritzen, Ted
1982-01-01
A measuring system is disclosed for surveying and very accurately positioning objects with respect to a reference line. A principal use of this surveying system is for accurately aligning the electromagnets which direct a particle beam emitted from a particle accelerator. Prior art surveying systems require highly skilled surveyors. Prior art systems include, for example, optical surveying systems which are susceptible to operator reading errors, and celestial navigation-type surveying systems, with their inherent complexities. The present invention provides an automatic readout micrometer which can very accurately measure distances. The invention has a simplicity of operation which practically eliminates the possibilities of operator optical reading error, owning to the elimination of traditional optical alignments for making measurements. The invention has an extendable arm which carries a laser surveying target. The extendable arm can be continuously positioned over its entire length of travel by either a coarse or fine adjustment without having the fine adjustment outrun the coarse adjustment until a reference laser beam is centered on the target as indicated by a digital readout. The length of the micrometer can then be accurately and automatically read by a computer and compared with a standardized set of alignment measurements. Due to its construction, the micrometer eliminates any errors due to temperature changes when the system is operated within a standard operating temperature range.
Comparison of automatic control systems
NASA Technical Reports Server (NTRS)
Oppelt, W
1941-01-01
This report deals with a reciprocal comparison of an automatic pressure control, an automatic rpm control, an automatic temperature control, and an automatic directional control. It shows the difference between the "faultproof" regulator and the actual regulator which is subject to faults, and develops this difference as far as possible in a parallel manner with regard to the control systems under consideration. Such as analysis affords, particularly in its extension to the faults of the actual regulator, a deep insight into the mechanism of the regulator process.
Automatic beamline calibration procedures
Corbett, W.J.; Lee, M.J.; Zambre, Y.
1992-03-01
Recent experience with the SLC and SPEAR accelerators have led to a well-defined set of procedures for calibration of the beamline model using the orbit fitting program, RESOLVE. Difference orbit analysis is used to calibrate quadrupole strengths, BPM sensitivities, corrector strengths, focusing effects from insertion devices, and to determine the source of dispersion and coupling errors. Absolute orbit analysis is used to locate quadrupole misalignments, BPM offsets, or beam loss. For light source applications, the photon beam source coordinates can be found. The result is an accurate model of the accelerator which can be used for machine control. In this paper, automatable beamline calibration procedures are outlined and illustrated with recent examples. 5 refs.
Mann J.R.; Wainwright, A.E.
1963-06-11
An automatic, personnel-operated, alpha-particle hand monitor is described which functions as a qualitative instrument to indicate to the person using it whether his hands are cold'' or hot.'' The monitor is activated by a push button and includes several capacitor-triggered thyratron tubes. Upon release of the push button, the monitor starts the counting of the radiation present on the hands of the person. If the count of the radiation exceeds a predetermined level within a predetermined time, then a capacitor will trigger a first thyratron tube to light a hot'' lamp. If, however, the count is below such level during this time period, another capacitor will fire a second thyratron to light a safe'' lamp. (AEC)
NASA Technical Reports Server (NTRS)
Malin, Janice A.
1987-01-01
Automatic Routing Module (ARM) is a tool to partially automate Air Launched Cruise Missile (ALCM) routing. For any accessible launch point or target pair, ARM creates flyable routes that, within the fidelity of the models, are optimal in terms of threat avoidance, clobber avoidance, and adherence to vehicle and planning constraints. Although highly algorithmic, ARM is an expert system. Because of the heuristics applied, ARM generated routes closely resemble manually generated routes in routine cases. In more complex cases, ARM's ability to accumulate and assess threat danger in three dimensions and trade that danger off with the probability of ground clobber results in the safest path around or through difficult areas. The tools available prior to ARM did not provide the planner with enough information or present it in such a way that ensured he would select the safest path.
Automatic Bayesian polarity determination
NASA Astrophysics Data System (ADS)
Pugh, D. J.; White, R. S.; Christie, P. A. F.
2016-07-01
The polarity of the first motion of a seismic signal from an earthquake is an important constraint in earthquake source inversion. Microseismic events often have low signal-to-noise ratios, which may lead to difficulties estimating the correct first-motion polarities of the arrivals. This paper describes a probabilistic approach to polarity picking that can be both automated and combined with manual picking. This approach includes a quantitative estimate of the uncertainty of the polarity, improving calculation of the polarity probability density function for source inversion. It is sufficiently fast to be incorporated into an automatic processing workflow. When used in source inversion, the results are consistent with those from manual observations. In some cases, they produce a clearer constraint on the range of high-probability source mechanisms, and are better constrained than source mechanisms determined using a uniform probability of an incorrect polarity pick.
Automatic flowmeter calibration system
NASA Technical Reports Server (NTRS)
Lisle, R. V.; Wilson, T. L. (Inventor)
1981-01-01
A system for automatically calibrating the accuracy of a flowmeter is described. The system includes a calculator capable of performing mathematical functions responsive to receiving data signals and function command signals. A prover cylinder is provided for measuring the temperature, pressure, and time required for accumulating a predetermined volume of fluid. Along with these signals, signals representing the temperature and pressure of the fluid going into the meter are fed to a plurality of data registers. Under control of a progress controller, the data registers are read out and the information is fed through a data select circuit to the calculator. Command signals are also produced by a function select circuit and are fed to the calculator set indicating the desired function to be performed. The reading is then compared with the reading produced by the flowmeter.
Automatic Bayesian polarity determination
NASA Astrophysics Data System (ADS)
Pugh, D. J.; White, R. S.; Christie, P. A. F.
2016-04-01
The polarity of the first motion of a seismic signal from an earthquake is an important constraint in earthquake source inversion. Microseismic events often have low signal-to-noise ratios, which may lead to difficulties estimating the correct first-motion polarities of the arrivals. This paper describes a probabilistic approach to polarity picking that can be both automated and combined with manual picking. This approach includes a quantitative estimate of the uncertainty of the polarity, improving calculation of the polarity probability density function for source inversion. It is sufficiently fast to be incorporated into an automatic processing workflow. When used in source inversion, the results are consistent with those from manual observations. In some cases, they produce a clearer constraint on the range of high-probability source mechanims, and are better constrained than source mechanisms determined using a uniform probability of an incorrect polarity pick.
NASA Technical Reports Server (NTRS)
Wing, L. D.; Cunningham, J. W. (Inventor)
1981-01-01
An automatic thermal switch to control heat flow includes a first thermally conductive plate, a second thermally conductive plate and a thermal transfer plate pivotally mounted between the first and second plates. A phase change power unit, including a plunger connected to the transfer plate, is in thermal contact with the first thermally conductive plate. A biasing element, connected to the transfer plate, biases the transfer plate in a predetermined position with respect to the first and second plates. When the phase change power unit is actuated by an increase in heat transmitted through the first plate, the plunger extends and pivots the transfer plate to vary the thermal conduction between the first and second plates through the transfer plate. The biasing element, transfer plate and piston can be arranged to provide either a normally closed or normally open thermally conductive path between the first and second plates.
Morscheck, T.J.; Davis, A.R.; Huggins, M.J.
1987-06-30
This patent describes a semi-automatic mechanical change gear transmission system of the type comprising: a mechanical change gear transmission of the type comprising a transmission housing, an input shaft rotatably supported in the housing and driven by an engine through a nonpositive coupling, an output shaft rotatably supported in the housing and a plurality of selectable ratio gears selectively engageable one at a time to a first transmission element by means of positive, nonsynchronized jaw clutch assemblies for providing a plurality of manually selectable drive ratios between the input and output shafts, each of the jaw clutch assemblies comprising a first jaw clutch member rotatably associated with the first transmission element and a second jaw clutch member rotatably associated with a second transmission element, each of the first jaw clutch members axially moveable relative to the first transmission element; manually operated means for engaging and disengaging the nonpositive coupling; manually operated shifting means for engaging selected ratio gears to and disengaging selected ratio gears from the first transmission element; selection for sensing the identity of the particular ratio gear selected for manual engagement or disengagement from the first transmission element and for providing a signal; first and second rotational speed sensors for sensing the rotational speed of the first and second transmission elements and providing signals; a power synchronizer assembly selectively actuable for selectively varying the rotational speed of the second transmission element and the second jaw clutch members rotatably associated therewith; and a central processing unit semi-automatic mechanical change gear transmission system.
Automatic alkaloid removal system.
Yahaya, Muhammad Rizuwan; Hj Razali, Mohd Hudzari; Abu Bakar, Che Abdullah; Ismail, Wan Ishak Wan; Muda, Wan Musa Wan; Mat, Nashriyah; Zakaria, Abd
2014-01-01
This alkaloid automated removal machine was developed at Instrumentation Laboratory, Universiti Sultan Zainal Abidin Malaysia that purposely for removing the alkaloid toxicity from Dioscorea hispida (DH) tuber. It is a poisonous plant where scientific study has shown that its tubers contain toxic alkaloid constituents, dioscorine. The tubers can only be consumed after it poisonous is removed. In this experiment, the tubers are needed to blend as powder form before inserting into machine basket. The user is need to push the START button on machine controller for switching the water pump ON by then creating turbulence wave of water in machine tank. The water will stop automatically by triggering the outlet solenoid valve. The powders of tubers are washed for 10 minutes while 1 liter of contaminated water due toxin mixture is flowing out. At this time, the controller will automatically triggered inlet solenoid valve and the new water will flow in machine tank until achieve the desire level that which determined by ultra sonic sensor. This process will repeated for 7 h and the positive result is achieved and shows it significant according to the several parameters of biological character ofpH, temperature, dissolve oxygen, turbidity, conductivity and fish survival rate or time. From that parameter, it also shows the positive result which is near or same with control water and assuming was made that the toxin is fully removed when the pH of DH powder is near with control water. For control water, the pH is about 5.3 while water from this experiment process is 6.0 and before run the machine the pH of contaminated water is about 3.8 which are too acid. This automated machine can save time for removing toxicity from DH compared with a traditional method while less observation of the user. PMID:24783795
NASA Technical Reports Server (NTRS)
Collins, E. R., Jr.
1985-01-01
Coal cutting and removal done with minimal hazard to people. Automatic coal mine cutting, transport and roof-support movement all done by automatic machinery. Exposure of people to hazardous conditions reduced to inspection tours, maintenance, repair, and possibly entry mining.
Automatic Recognition of Road Signs
NASA Astrophysics Data System (ADS)
Inoue, Yasuo; Kohashi, Yuuichirou; Ishikawa, Naoto; Nakajima, Masato
2002-11-01
The increase in traffic accidents is becoming a serious social problem with the recent rapid traffic increase. In many cases, the driver"s carelessness is the primary factor of traffic accidents, and the driver assistance system is demanded for supporting driver"s safety. In this research, we propose the new method of automatic detection and recognition of road signs by image processing. The purpose of this research is to prevent accidents caused by driver"s carelessness, and call attention to a driver when the driver violates traffic a regulation. In this research, high accuracy and the efficient sign detecting method are realized by removing unnecessary information except for a road sign from an image, and detect a road sign using shape features. At first, the color information that is not used in road signs is removed from an image. Next, edges except for circular and triangle ones are removed to choose sign shape. In the recognition process, normalized cross correlation operation is carried out to the two-dimensional differentiation pattern of a sign, and the accurate and efficient method for detecting the road sign is realized. Moreover, the real-time operation in a software base was realized by holding down calculation cost, maintaining highly precise sign detection and recognition. Specifically, it becomes specifically possible to process by 0.1 sec(s)/frame using a general-purpose PC (CPU: Pentium4 1.7GHz). As a result of in-vehicle experimentation, our system could process on real time and has confirmed that detection and recognition of a sign could be performed correctly.
Automatic Command Sequence Generation
NASA Technical Reports Server (NTRS)
Fisher, Forest; Gladded, Roy; Khanampompan, Teerapat
2007-01-01
Automatic Sequence Generator (Autogen) Version 3.0 software automatically generates command sequences for the Mars Reconnaissance Orbiter (MRO) and several other JPL spacecraft operated by the multi-mission support team. Autogen uses standard JPL sequencing tools like APGEN, ASP, SEQGEN, and the DOM database to automate the generation of uplink command products, Spacecraft Command Message Format (SCMF) files, and the corresponding ground command products, DSN Keywords Files (DKF). Autogen supports all the major multi-mission mission phases including the cruise, aerobraking, mapping/science, and relay mission phases. Autogen is a Perl script, which functions within the mission operations UNIX environment. It consists of two parts: a set of model files and the autogen Perl script. Autogen encodes the behaviors of the system into a model and encodes algorithms for context sensitive customizations of the modeled behaviors. The model includes knowledge of different mission phases and how the resultant command products must differ for these phases. The executable software portion of Autogen, automates the setup and use of APGEN for constructing a spacecraft activity sequence file (SASF). The setup includes file retrieval through the DOM (Distributed Object Manager), an object database used to store project files. This step retrieves all the needed input files for generating the command products. Depending on the mission phase, Autogen also uses the ASP (Automated Sequence Processor) and SEQGEN to generate the command product sent to the spacecraft. Autogen also provides the means for customizing sequences through the use of configuration files. By automating the majority of the sequencing generation process, Autogen eliminates many sequence generation errors commonly introduced by manually constructing spacecraft command sequences. Through the layering of commands into the sequence by a series of scheduling algorithms, users are able to rapidly and reliably construct the
Electronically controlled automatic transmission
Ohkubo, M.; Shiba, H.; Nakamura, K.
1989-03-28
This patent describes an electronically controlled automatic transmission having a manual valve working in connection with a manual shift lever, shift valves operated by solenoid valves which are driven by an electronic control circuit previously memorizing shift patterns, and a hydraulic circuit controlled by these manual valve and shift valves for driving brakes and a clutch in order to change speed. Shift patterns of 2-range and L-range, in addition to a shift pattern of D-range, are memorized previously in the electronic control circuit, an operation switch is provided which changes the shift pattern of the electronic control circuit to any shift pattern among those of D-range, 2-range and L-range at time of the manual shift lever being in a D-range position, a releasable lock mechanism is provided which prevents the manual shift lever from entering 2-range and L-range positions, and the hydraulic circuit is set to a third speed mode when the manual shift lever is in the D-range position. The circuit is set to a second speed mode when it is in the 2-range position, and the circuit is set to a first speed mode when it is in the L-range position, respectively, in case where the shift valves are not working.
Range, Friederike; Huber, Ludwig; Heyes, Cecilia
2011-01-01
After preliminary training to open a sliding door using their head and their paw, dogs were given a discrimination task in which they were rewarded with food for opening the door using the same method (head or paw) as demonstrated by their owner (compatible group), or for opening the door using the alternative method (incompatible group). The incompatible group, which had to counterimitate to receive food reward, required more trials to reach a fixed criterion of discrimination performance (85% correct) than the compatible group. This suggests that, like humans, dogs are subject to ‘automatic imitation’; they cannot inhibit online the tendency to imitate head use and/or paw use. In a subsequent transfer test, where all dogs were required to imitate their owners' head and paw use for food reward, the incompatible group made a greater proportion of incorrect, counterimitative responses than the compatible group. These results are consistent with the associative sequence learning model, which suggests that the development of imitation depends on sensorimotor experience and phylogenetically general mechanisms of associative learning. More specifically, they suggest that the imitative behaviour of dogs is shaped more by their developmental interactions with humans than by their evolutionary history of domestication. PMID:20667875
Dougherty, T.J.; Frailing, C.E.
1980-03-11
Apparatus for automatically testing automotive-type, lead acid storage batteries is disclosed in which three separate tests are made and the results thereof compared to predetermined standards in a specified order to maximize the information obtained about the battery. The three tests measure (1) whether the battery meets its cold cranking rating by drawing a predetermined load current therefrom for a predetermined period of time and determining whether the battery terminal voltage is above a specified level at the end of that period, (2) whether the battery terminal voltage is above another specified level at the end of a predetermined period of time following the completion of the first test, and (3) whether the internal resistance is acceptably low. If the battery passes the first test, it is known to be acceptable. If the battery fails the first test and passes the second test, it is known to be unacceptable. If the battery fails the first and second tests, the third test is performed. If the battery then passes the third test, it is known to be acceptable but to require a recharge, whereas if the battery then fails the third test the acceptability of the battery is then not yet determined and it must be recharged and retested.
NASA Technical Reports Server (NTRS)
1982-01-01
Robotic welding has been of interest to industrial firms because it offers higher productivity at lower cost than manual welding. There are some systems with automated arc guidance available, but they have disadvantages, such as limitations on types of materials or types of seams that can be welded; susceptibility to stray electrical signals; restricted field of view; or tendency to contaminate the weld seam. Wanting to overcome these disadvantages, Marshall Space Flight Center, aided by Hayes International Corporation, developed system that uses closed-circuit TV signals for automatic guidance of the welding torch. NASA granted license to Combined Technologies, Inc. for commercial application of the technology. They developed a refined and improved arc guidance system. CTI in turn, licensed the Merrick Corporation, also of Nashville, for marketing and manufacturing of the new system, called the CT2 Optical Trucker. CT2 is a non-contracting system that offers adaptability to broader range of welding jobs and provides greater reliability in high speed operation. It is extremely accurate and can travel at high speed of up to 150 inches per minute.
Automatic brain tumor segmentation
NASA Astrophysics Data System (ADS)
Clark, Matthew C.; Hall, Lawrence O.; Goldgof, Dmitry B.; Velthuizen, Robert P.; Murtaugh, F. R.; Silbiger, Martin L.
1998-06-01
A system that automatically segments and labels complete glioblastoma-multiform tumor volumes in magnetic resonance images of the human brain is presented. The magnetic resonance images consist of three feature images (T1- weighted, proton density, T2-weighted) and are processed by a system which integrates knowledge-based techniques with multispectral analysis and is independent of a particular magnetic resonance scanning protocol. Initial segmentation is performed by an unsupervised clustering algorithm. The segmented image, along with cluster centers for each class are provided to a rule-based expert system which extracts the intra-cranial region. Multispectral histogram analysis separates suspected tumor from the rest of the intra-cranial region, with region analysis used in performing the final tumor labeling. This system has been trained on eleven volume data sets and tested on twenty-two unseen volume data sets acquired from a single magnetic resonance imaging system. The knowledge-based tumor segmentation was compared with radiologist-verified `ground truth' tumor volumes and results generated by a supervised fuzzy clustering algorithm. The results of this system generally correspond well to ground truth, both on a per slice basis and more importantly in tracking total tumor volume during treatment over time.
Attaining Automaticity in the Visual Numerosity Task is Not Automatic
Speelman, Craig P.; Muller Townsend, Katrina L.
2015-01-01
This experiment is a replication of experiments reported by Lassaline and Logan (1993) using the visual numerosity task. The aim was to replicate the transition from controlled to automatic processing reported by Lassaline and Logan (1993), and to examine the extent to which this result, reported with average group results, can be observed in the results of individuals within a group. The group results in this experiment did replicate those reported by Lassaline and Logan (1993); however, one half of the sample did not attain automaticity with the task, and one-third did not exhibit a transition from controlled to automatic processing. These results raise questions about the pervasiveness of automaticity, and the interpretation of group means when examining cognitive processes. PMID:26635658
Clothes Dryer Automatic Termination Evaluation
TeGrotenhuis, Ward E.
2014-10-01
Volume 2: Improved Sensor and Control Designs Many residential clothes dryers on the market today provide automatic cycles that are intended to stop when the clothes are dry, as determined by the final remaining moisture content (RMC). However, testing of automatic termination cycles has shown that many dryers are susceptible to over-drying of loads, leading to excess energy consumption. In particular, tests performed using the DOE Test Procedure in Appendix D2 of 10 CFR 430 subpart B have shown that as much as 62% of the energy used in a cycle may be from over-drying. Volume 1 of this report shows an average of 20% excess energy from over-drying when running automatic cycles with various load compositions and dryer settings. Consequently, improving automatic termination sensors and algorithms has the potential for substantial energy savings in the U.S.
Automatic programming of simulation models
NASA Technical Reports Server (NTRS)
Schroer, Bernard J.; Tseng, Fan T.; Zhang, Shou X.; Dwan, Wen S.
1988-01-01
The objective of automatic programming is to improve the overall environment for describing the program. This improved environment is realized by a reduction in the amount of detail that the programmer needs to know and is exposed to. Furthermore, this improved environment is achieved by a specification language that is more natural to the user's problem domain and to the user's way of thinking and looking at the problem. The goal of this research is to apply the concepts of automatic programming (AP) to modeling discrete event simulation system. Specific emphasis is on the design and development of simulation tools to assist the modeler define or construct a model of the system and to then automatically write the corresponding simulation code in the target simulation language, GPSS/PC. A related goal is to evaluate the feasibility of various languages for constructing automatic programming simulation tools.
Automatic safety rod for reactors
Germer, John H.
1988-01-01
An automatic safety rod for a nuclear reactor containing neutron absorbing material and designed to be inserted into a reactor core after a loss-of-core flow. Actuation is based upon either a sudden decrease in core pressure drop or the pressure drop decreases below a predetermined minimum value. The automatic control rod includes a pressure regulating device whereby a controlled decrease in operating pressure due to reduced coolant flow does not cause the rod to drop into the core.
Operating safety of automatic objects
NASA Astrophysics Data System (ADS)
Maiorov, Anatolii Vladimirovich; Moskatov, Genrikh Karlovich; Shibanov, Georgii Petrovich
Operating-safety assurance for automatic objects (aircraft, spacecraft, and underwater vehicles) is considered in the framework of safety-automata theory and automatic-control considerations. The interaction between the operator and the safety-assurance facilities is considered. Methodological recommendations are presented on the specification of reliability requirements for the vehicles considered, as well as on automata synthesis and analysis considerations, test planning, and the analysis of test results.
Prospects for de-automatization.
Kihlstrom, John F
2011-06-01
Research by Raz and his associates has repeatedly found that suggestions for hypnotic agnosia, administered to highly hypnotizable subjects, reduce or even eliminate Stroop interference. The present paper sought unsuccessfully to extend these findings to negative priming in the Stroop task. Nevertheless, the reduction of Stroop interference has broad theoretical implications, both for our understanding of automaticity and for the prospect of de-automatizing cognition in meditation and other altered states of consciousness. PMID:20356765
Automatic Collision Avoidance Technology (ACAT)
NASA Technical Reports Server (NTRS)
Swihart, Donald E.; Skoog, Mark A.
2007-01-01
This document represents two views of the Automatic Collision Avoidance Technology (ACAT). One viewgraph presentation reviews the development and system design of Automatic Collision Avoidance Technology (ACAT). Two types of ACAT exist: Automatic Ground Collision Avoidance (AGCAS) and Automatic Air Collision Avoidance (AACAS). The AGCAS Uses Digital Terrain Elevation Data (DTED) for mapping functions, and uses Navigation data to place aircraft on map. It then scans DTED in front of and around aircraft and uses future aircraft trajectory (5g) to provide automatic flyup maneuver when required. The AACAS uses data link to determine position and closing rate. It contains several canned maneuvers to avoid collision. Automatic maneuvers can occur at last instant and both aircraft maneuver when using data link. The system can use sensor in place of data link. The second viewgraph presentation reviews the development of a flight test and an evaluation of the test. A review of the operation and comparison of the AGCAS and a pilot's performance are given. The same review is given for the AACAS is given.
Automatic multirate methods for ordinary differential equations. [Adaptive time steps
Gear, C.W.
1980-01-01
A study is made of the application of integration methods in which different step sizes are used for different members of a system of equations. Such methods can result in savings if the cost of derivative evaluation is high or if a system is sparse; however, the estimation and control of errors is very difficult and can lead to high overheads. Three approaches are discussed, and it is shown that the least intuitive is the most promising. 2 figures.
Automatic analysis of double coronal mass ejections from coronagraph images
NASA Astrophysics Data System (ADS)
Jacobs, Matthew; Chang, Lin-Ching; Pulkkinen, Antti; Romano, Michelangelo
2015-11-01
Coronal mass ejections (CMEs) can have major impacts on man-made technology and humans, both in space and on Earth. These impacts have created a high interest in the study of CMEs in an effort to detect and track events and forecast the CME arrival time to provide time for proper mitigation. A robust automatic real-time CME processing pipeline is greatly desired to avoid laborious and subjective manual processing. Automatic methods have been proposed to segment CMEs from coronagraph images and estimate CME parameters such as their heliocentric location and velocity. However, existing methods suffered from several shortcomings such as the use of hard thresholding and an inability to handle two or more CMEs occurring within the same coronagraph image. Double-CME analysis is a necessity for forecasting the many CME events that occur within short time frames. Robust forecasts for all CME events are required to fully understand space weather impacts. This paper presents a new method to segment CME masses and pattern recognition approaches to differentiate two CMEs in a single coronagraph image. The proposed method is validated on a data set of 30 halo CMEs, with results showing comparable ability in transient arrival time prediction accuracy and the new ability to automatically predict the arrival time of a double-CME event. The proposed method is the first automatic method to successfully calculate CME parameters from double-CME events, making this automatic method applicable to a wider range of CME events.
Automatic Surface Inoculation of Agar Trays1
Wilkins, Judd R.; Mills, Stacey M.; Boykin, Elizabeth H.
1972-01-01
A machine is described which automatically inoculates a plastic tray containing agar media with a culture by use of either a conventional inoculating loop or a cotton swab. Isolated colonies were obtained with an inoculating loop when a heavy inoculum (109 cells/ml) was used or with a cotton swab when a light inoculum (ca. 104 cells/ml) was used. Trays containing combinations of differential or selective media were used to (i) separate mixtures of gram-positive and gram-negative bacteria, (ii) facilitate isolation of organisms from clinical specimens, and (iii) compare colony growth characteristics of pure cultures. The design of the machine is simple, it is easy to use, and it relieves the operator from the manual task of streaking cultures. Images PMID:16349943
Automatic rapid attachable warhead section
Trennel, Anthony J.
1994-05-10
Disclosed are a method and apparatus for (1) automatically selecting warheads or reentry vehicles from a storage area containing a plurality of types of warheads or reentry vehicles, (2) automatically selecting weapon carriers from a storage area containing at least one type of weapon carrier, (3) manipulating and aligning the selected warheads or reentry vehicles and weapon carriers, and (4) automatically coupling the warheads or reentry vehicles with the weapon carriers such that coupling of improperly selected warheads or reentry vehicles with weapon carriers is inhibited. Such inhibition enhances safety of operations and is achieved by a number of means including computer control of the process of selection and coupling and use of connectorless interfaces capable of assuring that improperly selected items will be rejected or rendered inoperable prior to coupling. Also disclosed are a method and apparatus wherein the stated principles pertaining to selection, coupling and inhibition are extended to apply to any item-to-be-carried and any carrying assembly.
Automatic programming of simulation models
NASA Technical Reports Server (NTRS)
Schroer, Bernard J.; Tseng, Fan T.; Zhang, Shou X.; Dwan, Wen S.
1990-01-01
The concepts of software engineering were used to improve the simulation modeling environment. Emphasis was placed on the application of an element of rapid prototyping, or automatic programming, to assist the modeler define the problem specification. Then, once the problem specification has been defined, an automatic code generator is used to write the simulation code. The following two domains were selected for evaluating the concepts of software engineering for discrete event simulation: manufacturing domain and a spacecraft countdown network sequence. The specific tasks were to: (1) define the software requirements for a graphical user interface to the Automatic Manufacturing Programming System (AMPS) system; (2) develop a graphical user interface for AMPS; and (3) compare the AMPS graphical interface with the AMPS interactive user interface.
Automatic rapid attachable warhead section
Trennel, A.J.
1994-05-10
Disclosed are a method and apparatus for automatically selecting warheads or reentry vehicles from a storage area containing a plurality of types of warheads or reentry vehicles, automatically selecting weapon carriers from a storage area containing at least one type of weapon carrier, manipulating and aligning the selected warheads or reentry vehicles and weapon carriers, and automatically coupling the warheads or reentry vehicles with the weapon carriers such that coupling of improperly selected warheads or reentry vehicles with weapon carriers is inhibited. Such inhibition enhances safety of operations and is achieved by a number of means including computer control of the process of selection and coupling and use of connectorless interfaces capable of assuring that improperly selected items will be rejected or rendered inoperable prior to coupling. Also disclosed are a method and apparatus wherein the stated principles pertaining to selection, coupling and inhibition are extended to apply to any item-to-be-carried and any carrying assembly. 10 figures.
FAMA: Fast Automatic MOOG Analysis
NASA Astrophysics Data System (ADS)
Magrini, Laura; Randich, Sofia; Friel, Eileen; Spina, Lorenzo; Jacobson, Heather; Cantat-Gaudin, Tristan; Donati, Paolo; Baglioni, Roberto; Maiorca, Enrico; Bragaglia, Angela; Sordo, Rosanna; Vallenari, Antonella
2014-02-01
FAMA (Fast Automatic MOOG Analysis), written in Perl, computes the atmospheric parameters and abundances of a large number of stars using measurements of equivalent widths (EWs) automatically and independently of any subjective approach. Based on the widely-used MOOG code, it simultaneously searches for three equilibria, excitation equilibrium, ionization balance, and the relationship between logn(FeI) and the reduced EWs. FAMA also evaluates the statistical errors on individual element abundances and errors due to the uncertainties in the stellar parameters. Convergence criteria are not fixed "a priori" but instead are based on the quality of the spectra.
Algorithms for skiascopy measurement automatization
NASA Astrophysics Data System (ADS)
Fomins, Sergejs; Trukša, Renārs; KrūmiĆa, Gunta
2014-10-01
Automatic dynamic infrared retinoscope was developed, which allows to run procedure at a much higher rate. Our system uses a USB image sensor with up to 180 Hz refresh rate equipped with a long focus objective and 850 nm infrared light emitting diode as light source. Two servo motors driven by microprocessor control the rotation of semitransparent mirror and motion of retinoscope chassis. Image of eye pupil reflex is captured via software and analyzed along the horizontal plane. Algorithm for automatic accommodative state analysis is developed based on the intensity changes of the fundus reflex.
Automatic diluter for bacteriological samples.
Trinel, P A; Bleuze, P; Leroy, G; Moschetto, Y; Leclerc, H
1983-02-01
The described apparatus, carrying 190 tubes, allows automatic and aseptic dilution of liquid or suspended-solid samples. Serial 10-fold dilutions are programmable from 10(-1) to 10(-9) and are carried out in glass tubes with screw caps and split silicone septa. Dilution assays performed with strains of Escherichia coli and Bacillus stearothermophilus permitted efficient conditions for sterilization of the needle to be defined and showed that the automatic dilutions were as accurate and as reproducible as the most rigorous conventional dilutions. PMID:6338826
Automatic diluter for bacteriological samples.
Trinel, P A; Bleuze, P; Leroy, G; Moschetto, Y; Leclerc, H
1983-01-01
The described apparatus, carrying 190 tubes, allows automatic and aseptic dilution of liquid or suspended-solid samples. Serial 10-fold dilutions are programmable from 10(-1) to 10(-9) and are carried out in glass tubes with screw caps and split silicone septa. Dilution assays performed with strains of Escherichia coli and Bacillus stearothermophilus permitted efficient conditions for sterilization of the needle to be defined and showed that the automatic dilutions were as accurate and as reproducible as the most rigorous conventional dilutions. Images PMID:6338826
Grinding Parts For Automatic Welding
NASA Technical Reports Server (NTRS)
Burley, Richard K.; Hoult, William S.
1989-01-01
Rollers guide grinding tool along prospective welding path. Skatelike fixture holds rotary grinder or file for machining large-diameter rings or ring segments in preparation for welding. Operator grasps handles to push rolling fixture along part. Rollers maintain precise dimensional relationship so grinding wheel cuts precise depth. Fixture-mounted grinder machines surface to quality sufficient for automatic welding; manual welding with attendant variations and distortion not necessary. Developed to enable automatic welding of parts, manual welding of which resulted in weld bead permeated with microscopic fissures.
Automatic 35 mm slide duplicator
NASA Technical Reports Server (NTRS)
Seidel, H. F.; Texler, R. E.
1980-01-01
Automatic duplicator is readily assembled from conventional, inexpensive equipment and parts. Series of slides can be exposed without operator attention, eliminating considerable manual handling and processing ordinarily required. At end of programmed exposure sequence, unit shuts off and audible alarm signals completion of process.
Automatic Association of News Items.
ERIC Educational Resources Information Center
Carrick, Christina; Watters, Carolyn
1997-01-01
Discussion of electronic news delivery systems and the automatic generation of electronic editions focuses on the association of related items of different media type, specifically photos and stories. The goal is to be able to determine to what degree any two news items refer to the same news event. (Author/LRW)
Automatic Error Analysis Using Intervals
ERIC Educational Resources Information Center
Rothwell, E. J.; Cloud, M. J.
2012-01-01
A technique for automatic error analysis using interval mathematics is introduced. A comparison to standard error propagation methods shows that in cases involving complicated formulas, the interval approach gives comparable error estimates with much less effort. Several examples are considered, and numerical errors are computed using the INTLAB…
Automatically Preparing Safe SQL Queries
NASA Astrophysics Data System (ADS)
Bisht, Prithvi; Sistla, A. Prasad; Venkatakrishnan, V. N.
We present the first sound program source transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL queries. Our approach therefore opens the way for eradicating the SQL injection threat vector from legacy web applications.
Bubble vector in automatic merging
NASA Technical Reports Server (NTRS)
Pamidi, P. R.; Butler, T. G.
1987-01-01
It is shown that it is within the capability of the DMAP language to build a set of vectors that can grow incrementally to be applied automatically and economically within a DMAP loop that serves to append sub-matrices that are generated within a loop to a core matrix. The method of constructing such vectors is explained.
Automatic Identification of Metaphoric Utterances
ERIC Educational Resources Information Center
Dunn, Jonathan Edwin
2013-01-01
This dissertation analyzes the problem of metaphor identification in linguistic and computational semantics, considering both manual and automatic approaches. It describes a manual approach to metaphor identification, the Metaphoricity Measurement Procedure (MMP), and compares this approach with other manual approaches. The dissertation then…
Automatic agar tray inoculation device
NASA Technical Reports Server (NTRS)
Wilkins, J. R.; Mills, S. M.
1972-01-01
Automatic agar tray inoculation device is simple in design and foolproof in operation. It employs either conventional inoculating loop or cotton swab for uniform inoculation of agar media, and it allows technician to carry on with other activities while tray is being inoculated.
How automatic are crossmodal correspondences?
Spence, Charles; Deroy, Ophelia
2013-03-01
The last couple of years have seen a rapid growth of interest (especially amongst cognitive psychologists, cognitive neuroscientists, and developmental researchers) in the study of crossmodal correspondences - the tendency for our brains (not to mention the brains of other species) to preferentially associate certain features or dimensions of stimuli across the senses. By now, robust empirical evidence supports the existence of numerous crossmodal correspondences, affecting people's performance across a wide range of psychological tasks - in everything from the redundant target effect paradigm through to studies of the Implicit Association Test, and from speeded discrimination/classification tasks through to unspeeded spatial localisation and temporal order judgment tasks. However, one question that has yet to receive a satisfactory answer is whether crossmodal correspondences automatically affect people's performance (in all, or at least in a subset of tasks), as opposed to reflecting more of a strategic, or top-down, phenomenon. Here, we review the latest research on the topic of crossmodal correspondences to have addressed this issue. We argue that answering the question will require researchers to be more precise in terms of defining what exactly automaticity entails. Furthermore, one's answer to the automaticity question may also hinge on the answer to a second question: Namely, whether crossmodal correspondences are all 'of a kind', or whether instead there may be several different kinds of crossmodal mapping (e.g., statistical, structural, and semantic). Different answers to the automaticity question may then be revealed depending on the type of correspondence under consideration. We make a number of suggestions for future research that might help to determine just how automatic crossmodal correspondences really are. PMID:23370382
Auxiliary circuit enables automatic monitoring of EKG'S
NASA Technical Reports Server (NTRS)
1965-01-01
Auxiliary circuits allow direct, automatic monitoring of electrocardiograms by digital computers. One noiseless square-wave output signal for each trigger pulse from an electrocardiogram preamplifier is produced. The circuit also permits automatic processing of cardiovascular data from analog tapes.
Automatic Whistler Detector and Analyzer system: Automatic Whistler Detector
NASA Astrophysics Data System (ADS)
Lichtenberger, J.; Ferencz, C.; BodnáR, L.; Hamar, D.; Steinbach, P.
2008-12-01
A new, unique system has been developed for the automatic detection and analysis of whistlers. The Automatic Whistler Detector and Analyzer (AWDA) system has two purposes: (1) to automatically provide plasmaspheric electron densities extracted from whistlers and (2) to collect statistical data for the investigation of whistler generation and propagation. This paper presents the details of and the first results obtained by the automatic detector segment. The detector algorithm is based on image correlation where the target image is a preprocessed spectrogram of raw VLF signals and the pattern is a model whistler. The first AWDA system has been working in Tihany, Hungary (L = 1.8), and has collected 100,000 whistler traces per year. The overall detection efficiency using a parameter set optimized for purpose 2 is 90% for misdetection and 50-80% for false detection. The statistical analysis over the period February 2002 to February 2008 including 600,000 whistler traces shows high diurnal variations; whistler were mainly, but not only, detected when both the source and receiver regions were unlit. The seasonal occurrence is high during austral summer and low during austral winter. Comparison with Tarcsai et al.'s (1988) statistical study on Tihany whistlers shows differences in both diurnal and seasonal variations, but the latter study was made on 1388 manually identified whistlers only. The L value distributions of both data sets are similar. A global network of AWDA systems (AWDAnet) has been set up to overcome the time and space limitations of a single station; the network consists of 13 nodes, and another 6 are envisaged for the near future.
A MODULAR APPROACH TO SIMULATION WITH AUTOMATIC SENSITIVITY CALCULATION
K. HANSON; G. CUNNINGHAM
2001-02-01
When using simulation codes, one often has the task of minimizing a scalar objective function with respect to numerous parameters. This situation occurs when trying to fit (assimilate) data or trying to optimize an engineering design. For simulations in which the objective function to be minimized is reasonably well behaved, that is, is differentiable and does not contain too many multiple minima, gradient-based optimization methods can reduce the number of function evaluations required to determine the minimizing parameters. However, gradient-based methods are only advantageous if one can efficiently evaluate the gradients of the objective function. Adjoint differentiation efficiently provides these sensitivities. One way to obtain code for calculating adjoint sensitivities is to use special compilers to process the simulation code. However, this approach is not always so ''automatic''. We will describe a modular approach to constructing simulation codes, which permits adjoint differentiation to be incorporated with relative ease.
Self-Compassion and Automatic Thoughts
ERIC Educational Resources Information Center
Akin, Ahmet
2012-01-01
The aim of this research is to examine the relationships between self-compassion and automatic thoughts. Participants were 299 university students. In this study, the Self-compassion Scale and the Automatic Thoughts Questionnaire were used. The relationships between self-compassion and automatic thoughts were examined using correlation analysis…
Automatic transmission for electric wheelchairs.
Reswick, J B
1985-07-01
A new infinitely variable automatic transmission called the RESATRAN that automatically changes its speed ratio in response to load torque being transmitted is presented. A prototype has been built and tested on a conventional three-wheeled electric motor propelled wheelchair. It is shown theoretically that more than 50 percent reduction in power during hill climbing may be expected when a transmission-equipped wheelchair is compared to a direct-drive vehicle operating at the same voltage. It is suggested that with such a transmission, wheelchairs can use much smaller motors and associated electronic controls, while at the same time gaining in efficiency that results in longer operating distances for the same battery charge. Design details of the transmission and test results are presented. These results show a substantial reduction in operating current and increased distance of operation over a test course. PMID:3835264
Automatic registration of satellite imagery
NASA Technical Reports Server (NTRS)
Fonseca, Leila M. G.; Costa, Max H. M.; Manjunath, B. S.; Kenney, C.
1997-01-01
Image registration is one of the basic image processing operations in remote sensing. With the increase in the number of images collected every day from different sensors, automated registration of multi-sensor/multi-spectral images has become an important issue. A wide range of registration techniques has been developed for many different types of applications and data. The objective of this paper is to present an automatic registration algorithm which uses a multiresolution analysis procedure based upon the wavelet transform. The procedure is completely automatic and relies on the grey level information content of the images and their local wavelet transform modulus maxima. The registration algorithm is very simple and easy to apply because it needs basically one parameter. We have obtained very encouraging results on test data sets from the TM and SPOT sensor images of forest, urban and agricultural areas.
Automatic design of magazine covers
NASA Astrophysics Data System (ADS)
Jahanian, Ali; Liu, Jerry; Tretter, Daniel R.; Lin, Qian; Damera-Venkata, Niranjan; O'Brien-Strain, Eamonn; Lee, Seungyon; Fan, Jian; Allebach, Jan P.
2012-03-01
In this paper, we propose a system for automatic design of magazine covers that quantifies a number of concepts from art and aesthetics. Our solution to automatic design of this type of media has been shaped by input from professional designers, magazine art directors and editorial boards, and journalists. Consequently, a number of principles in design and rules in designing magazine covers are delineated. Several techniques are derived and employed in order to quantify and implement these principles and rules in the format of a software framework. At this stage, our framework divides the task of design into three main modules: layout of magazine cover elements, choice of color for masthead and cover lines, and typography of cover lines. Feedback from professional designers on our designs suggests that our results are congruent with their intuition.
AUTO: Automatic script generation system
NASA Astrophysics Data System (ADS)
Granacki, John; Hom, Ivan; Kazi, Tauseef
1993-11-01
This technical manual describes an automatic script generation system (Auto) for guiding the physical design of a printed circuit board. Auto accepts a printed circuit board design as specified in a netlist and partslist and returns a script to automatically provide all the necessary commands and file specifications required by Harris EDA's Finesse CAD system for placing and routing the printed circuit board. Auto insulates the designer from learning the details of commercial CAD systems, allows designers to modify the script for customized design entry, and performs format and completeness checking of the design files. This technical manual contains a complete tutorial/design example describing how to use the Auto system and also contains appendices describing the format of files required by the Finesse CAD system.
Automatic Extraction of Building Outline from High Resolution Aerial Imagery
NASA Astrophysics Data System (ADS)
Wang, Yandong
2016-06-01
In this paper, a new approach for automated extraction of building boundary from high resolution imagery is proposed. The proposed approach uses both geometric and spectral properties of a building to detect and locate buildings accurately. It consists of automatic generation of high quality point cloud from the imagery, building detection from point cloud, classification of building roof and generation of building outline. Point cloud is generated from the imagery automatically using semi-global image matching technology. Buildings are detected from the differential surface generated from the point cloud. Further classification of building roof is performed in order to generate accurate building outline. Finally classified building roof is converted into vector format. Numerous tests have been done on images in different locations and results are presented in the paper.
Automatic computation of transfer functions
Atcitty, Stanley; Watson, Luke Dale
2015-04-14
Technologies pertaining to the automatic computation of transfer functions for a physical system are described herein. The physical system is one of an electrical system, a mechanical system, an electromechanical system, an electrochemical system, or an electromagnetic system. A netlist in the form of a matrix comprises data that is indicative of elements in the physical system, values for the elements in the physical system, and structure of the physical system. Transfer functions for the physical system are computed based upon the netlist.
Toward automatic finite element analysis
NASA Technical Reports Server (NTRS)
Kela, Ajay; Perucchio, Renato; Voelcker, Herbert
1987-01-01
Two problems must be solved if the finite element method is to become a reliable and affordable blackbox engineering tool. Finite element meshes must be generated automatically from computer aided design databases and mesh analysis must be made self-adaptive. The experimental system described solves both problems in 2-D through spatial and analytical substructuring techniques that are now being extended into 3-D.
Automatic Home Nursing Activity Recommendation
Luo, Gang; Tang, Chunqiang
2009-01-01
The rapid deployment of Web-based, consumer-centric electronic medical records (CEMRs) is an important trend in healthcare. In this paper, we incorporate nursing knowledge into CEMR so that it can automatically recommend home nursing activities (HNAs). Those more complex HNAs are made clickable for users to find detailed implementation procedures. We demonstrate the effectiveness of our techniques using USMLE medical exam cases. PMID:20351888
Automatic translation among spoken languages
NASA Astrophysics Data System (ADS)
Walter, Sharon M.; Costigan, Kelly
1994-02-01
The Machine Aided Voice Translation (MAVT) system was developed in response to the shortage of experienced military field interrogators with both foreign language proficiency and interrogation skills. Combining speech recognition, machine translation, and speech generation technologies, the MAVT accepts an interrogator's spoken English question and translates it into spoken Spanish. The spoken Spanish response of the potential informant can then be translated into spoken English. Potential military and civilian applications for automatic spoken language translation technology are discussed in this paper.
Automatic translation among spoken languages
NASA Technical Reports Server (NTRS)
Walter, Sharon M.; Costigan, Kelly
1994-01-01
The Machine Aided Voice Translation (MAVT) system was developed in response to the shortage of experienced military field interrogators with both foreign language proficiency and interrogation skills. Combining speech recognition, machine translation, and speech generation technologies, the MAVT accepts an interrogator's spoken English question and translates it into spoken Spanish. The spoken Spanish response of the potential informant can then be translated into spoken English. Potential military and civilian applications for automatic spoken language translation technology are discussed in this paper.
Automatic programming for critical applications
NASA Technical Reports Server (NTRS)
Loganantharaj, Raj L.
1988-01-01
The important phases of a software life cycle include verification and maintenance. Usually, the execution performance is an expected requirement in a software development process. Unfortunately, the verification and the maintenance of programs are the time consuming and the frustrating aspects of software engineering. The verification cannot be waived for the programs used for critical applications such as, military, space, and nuclear plants. As a consequence, synthesis of programs from specifications, an alternative way of developing correct programs, is becoming popular. The definition, or what is understood by automatic programming, has been changed with our expectations. At present, the goal of automatic programming is the automation of programming process. Specifically, it means the application of artificial intelligence to software engineering in order to define techniques and create environments that help in the creation of high level programs. The automatic programming process may be divided into two phases: the problem acquisition phase and the program synthesis phase. In the problem acquisition phase, an informal specification of the problem is transformed into an unambiguous specification while in the program synthesis phase such a specification is further transformed into a concrete, executable program.
Automatic segmentation of clinical texts.
Apostolova, Emilia; Channin, David S; Demner-Fushman, Dina; Furst, Jacob; Lytinen, Steven; Raicu, Daniela
2009-01-01
Clinical narratives, such as radiology and pathology reports, are commonly available in electronic form. However, they are also commonly entered and stored as free text. Knowledge of the structure of clinical narratives is necessary for enhancing the productivity of healthcare departments and facilitating research. This study attempts to automatically segment medical reports into semantic sections. Our goal is to develop a robust and scalable medical report segmentation system requiring minimum user input for efficient retrieval and extraction of information from free-text clinical narratives. Hand-crafted rules were used to automatically identify a high-confidence training set. This automatically created training dataset was later used to develop metrics and an algorithm that determines the semantic structure of the medical reports. A word-vector cosine similarity metric combined with several heuristics was used to classify each report sentence into one of several pre-defined semantic sections. This baseline algorithm achieved 79% accuracy. A Support Vector Machine (SVM) classifier trained on additional formatting and contextual features was able to achieve 90% accuracy. Plans for future work include developing a configurable system that could accommodate various medical report formatting and content standards. PMID:19965054
Automatic Synthesis Imaging with Difmap
NASA Astrophysics Data System (ADS)
Pearson, T. J.; Shepherd, M. C.; Taylor, G. B.; Myers, S. T.
1994-12-01
Difmap is a new interactive program for synthesis imaging. It includes data display, data editing, self-calibration, imaging, deconvolution, and model-fitting. The program can handle continuum, spectral-line, and polarization data from connected-element and very-long-baseline interferometer arrays. The program is written in ANSI C and runs on UNIX workstations. We describe the operation of the program with example data sets from the Very Large Array, the global VLBI network, and the Owens Valley Millimeter Array. We have developed Difmap scripts for automatic mapping and self-calibration of both VLA and VLBI data. We describe the strategies adopted for choosing the imaging, deconvolution, and self-calibration parameters, and show how these automatic scripts have made possible the rapid imaging of several hundred sources in the Caltech--Jodrell Bank VLBI surveys (CJ1 and CJ2) and several thousand sources in a VLA search for gravitational lenses (CLASS). Other images made with automatic mapping in Difmap are presented at this meeting by Fassnacht et al., Myers et al., and Taylor et al.
Automatic Contrail Detection and Segmentation
NASA Technical Reports Server (NTRS)
Weiss, John M.; Christopher, Sundar A.; Welch, Ronald M.
1998-01-01
Automatic contrail detection is of major importance in the study of the atmospheric effects of aviation. Due to the large volume of satellite imagery, selecting contrail images for study by hand is impractical and highly subject to human error. It is far better to have a system in place that will automatically evaluate an image to determine 1) whether it contains contrails and 2) where the contrails are located. Preliminary studies indicate that it is possible to automatically detect and locate contrails in Advanced Very High Resolution Radiometer (AVHRR) imagery with a high degree of confidence. Once contrails have been identified and localized in a satellite image, it is useful to segment the image into contrail versus noncontrail pixels. The ability to partition image pixels makes it possible to determine the optical properties of contrails, including optical thickness and particle size. In this paper, we describe a new technique for segmenting satellite images containing contrails. This method has good potential for creating a contrail climatology in an automated fashion. The majority of contrails are detected, rejecting clutter in the image, even cirrus streaks. Long, thin contrails are most easily detected. However, some contrails may be missed because they are curved, diffused over a large area, or present in short segments. Contrails average 2-3 km in width for the cases studied.
Automatic hypermnesia and impaired recollection in schizophrenia.
Linscott, R J; Knight, R G
2001-10-01
Evidence from studies of nonmnemonic automatic cognitive processes provides reason to expect that schizophrenia is associated with exaggerated automatic memory (implicit memory), or automatic hypermnesia. Participants with schizophrenia (n = 22) and control participants (n = 26) were compared on word stem completion (WSC) and list discrimination (LD) tasks administered using the process dissociation procedure. Unadjusted, extended measurement model and dual-process signal-detection methods were used to estimate recollection and automatic memory indices. Schizophrenia was associated with automatic hypermnesia on the WSC task and impaired recollection on both tasks. Thought disorder was associated with even greater automatic hypermnesia. The absence of automatic hypermnesia on the LD task was interpreted with reference to the neuropsychological bases of context and content memory. PMID:11761047
Social influence effects on automatic racial prejudice.
Lowery, B S; Hardin, C D; Sinclair, S
2001-11-01
Although most research on the control of automatic prejudice has focused on the efficacy of deliberate attempts to suppress or correct for stereotyping, the reported experiments tested the hypothesis that automatic racial prejudice is subject to common social influence. In experiments involving actual interethnic contact, both tacit and expressed social influence reduced the expression of automatic prejudice, as assessed by two different measures of automatic attitudes. Moreover, the automatic social tuning effect depended on participant ethnicity. European Americans (but not Asian Americans) exhibited less automatic prejudice in the presence of a Black experimenter than a White experimenter (Experiments 2 and 4), although both groups exhibited reduced automatic prejudice when instructed to avoid prejudice (Experiment 3). Results are consistent with shared reality theory, which postulates that social regulation is central to social cognition. PMID:11708561