scispace - formally typeset
Search or ask a question

Showing papers on "Operator (computer programming) published in 1987"


Book
01 Jan 1987
TL;DR: Finite representations Finite evaluation Finite convergence Computable sufficient conditions for existence and convergence Safe starting regions for iterative methods.
Abstract: Finite representations Finite evaluation Finite convergence Computable sufficient conditions for existence and convergence Safe starting regions for iterative methods Applications to mathematical programming Applications to operator equations An application in finance Internal rates-of-return.

2,983 citations


Journal ArticleDOI
TL;DR: In this article, the authors prove a unique continuation result for a second order parabolic operator with smooth coefficients. But their proof is based on the derivation of a Carleman estimate which is reminiscent of the classical Carlemann inequality for second order elliptic operators.

345 citations


Journal ArticleDOI
TL;DR: In this article, a generalized numerical dispersion analysis for wave equation computations is developed, which can then be designed by minimizing the corresponding peak relative error in group velocity within a spatial frequency band.
Abstract: Conventional finite-difference operators for numerical differentiation become progressively inaccurate at higher frequencies and therefore require very fine computational grids. This problem is avoided when the derivatives are computed by multiplication in the Fourier domain. However, because matrix transpositions are involved, efficient application of this method is restricted to computational environments where the complete data volume required by each computational step can be kept in random access memory. To circumvent these problems a generalized numerical dispersion analysis for wave equation computations is developed. Operators for spatial differentiation can then be designed by minimizing the corresponding peak relative error in group velocity within a spatial frequency band. For specified levels of maximum relative error in group velocity ranging from 0.03% to 3%, differentiators have been designed that have the largest possible bandwidth for a given operator length. The relation between operator length and the required number of grid points per shortest wavelength, for a required accuracy, provides a useful starting point for the design of cost-effective numerical schemes. To illustrate this, different alternatives for numerical simulation of the time evolution of acoustic waves in three-dimensional inhomogeneous media are investigated. It is demonstrated that algorithms can be implemented that require fewer arithmetic and I/O operations by orders of magnitude compared to conventional second-order finite-difference schemes to yield results with a specified minimum accuracy.

339 citations


Journal ArticleDOI
TL;DR: A new method for directly obtaining the normally ordered form of single- and two-mode squeeze operators is presented, based on the technique of ‘‘integration within an ordered product’’.
Abstract: A new method for directly obtaining the normally ordered form of single- and two-mode squeeze operators is presented. This method is based on the technique of ``integration within an ordered product.'' The operator expressions are derived using the coherent-state representation as well as the coordinate and the momentum representations. The method is very simple, and the approach has an intuitive basis that makes the squeezing property manifest at the outset.

332 citations


Journal ArticleDOI
TL;DR: The conformal anomaly number for new two-dimensional critical points obtained by adding a slightly relevant perturbation φ (renormalization group eigenvalue y ⪡ 1) to a given critical theory is obtained to lowest order in y to be c ′ = c − y 3 / b 2 + …, where b is the operator product expansion coefficient in φφ ∼ (− b ) φ.

257 citations


Journal ArticleDOI
TL;DR: In this article, the authors proved analogues of the basic results of the theory of Q-semigroups for resolvent positive operators on an ordered Banach space (with generating and normal positive cone).
Abstract: Resolvent positive operators on an ordered Banach space (with generating and normal positive cone) are by definition linear (possibly unbounded) operators whose resolvent exists and is positive on a right half-line. Even though these operators are defined by a simple (purely algebraic) condition, analogues of the basic results of the theory of Q-semigroups can be proved for them. In fact, if A is resolvent positive and has a dense domain, then the Cauchy problem associated with A has a unique solution for every initial value in the domain of A, and the solution is positive if the initial value is positive. Also the converse is true (if we assume that A has a non-empty resolvent set and D(A) n E+ is dense in £+). Moreover, every positive resolvent is a Laplace-Stieltjes transform of a so-called integrated semigroup; and conversely every such (increasing, non-degenerate) integrated semigroup defines a unique resolvent positive operator.

252 citations


Journal ArticleDOI
TL;DR: The Wigner distribution method is shown to be a convenient framework for characterizing Gaussian kernels and their unitary evolution under Sp(2n,openR) action and the nontrivial role played by a phase term in the kernel is brought out.
Abstract: Gaussian kernels representing operators on the Hilbert space scrH=L2(openRn) are studied. Necessary and sufficient conditions on such a kernel in order that the corresponding operator be positive semidefinite, corresponding to a density matrix (cross-spectral density) in quantum mechanics (optics), are derived. The Wigner distribution method is shown to be a convenient framework for characterizing Gaussian kernels and their unitary evolution under Sp(2n,openR) action. The nontrivial role played by a phase term in the kernel is brought out. The entire analysis is presented in a form which is directly applicable to n-dimensional oscillator systems in quantum mechanics and to Gaussian Schell-model partially coherent fields in optics.

250 citations


Journal ArticleDOI
TL;DR: In this article, a canonical scale for the truth value of a fuzzy proposition is selected such that the → operator is the Lukasiewicz operator and the negation is the classical 1− operator.

219 citations


Journal ArticleDOI
TL;DR: In this paper, the theory of the generalized Weyl correspondence is reexamined using the IWOP (integration within an ordered product of operators) technique, and the generalized Wigner operator is evaluated in a normal-ordered form.

202 citations


Journal ArticleDOI
TL;DR: In this article, the authors presented the formal solution of the transfer problem in terms of the exponential short characteristic method and derived approximate operators that allow for the iterative solution of non-LTE two-level atom problem.
Abstract: We present the formal solution of the transfer problem in terms of the exponential short characteristic method and derive approximate operators that allow for the iterative solution of the non-LTE two-level atom problem. An eigenvalue analysis for the convergence rate of these operators and several approximate operators proposed by other authors is presented. The family of operators presented for the short characteristic approach range from local diagonal approximations to tridiagonal and pentadiagonal operators. The extension to multidimensions of the several proposed approximate operators is discussed.

188 citations


Journal ArticleDOI
TL;DR: In this paper, the open shell restricted Hartree-Fock theory is reexamine and Fock-like operators are developed that are quite general and easy to implement on a computer.
Abstract: We reexamine the open shell restricted Hartree-Fock theory and develop Fock-like operators that are quite general and easy to implement on a computer. We present a table of ‘vector coupling coefficients’ that define this operator for most of the cases that commonly arise. We compare the form of this operator with that suggested by others, and discuss the orbitals obtained by this procedure with respect to the generalised Brillouin's theorem, and the orbital energies with respect to Koopmans' approximation.

Dissertation
01 Jan 1987
TL;DR: Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1987.
Abstract: Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1987.

Journal ArticleDOI
TL;DR: The conceptual design of a comprehensive support system for operators of complex systems is presented, and a variety of difficult design issues are discussed, and ongoing efforts aimed at resolving these issues are noted.
Abstract: The conceptual design of a comprehensive support system for operators of complex systems is presented. Key functions within the support system architecture include information management, error monitoring, and adaptive aiding. One of the central knowledge sources underlying this functionality is an operator model that involves a combination of algorithmic and symbolic models for assessing and predicting an operator's activities, awareness, intentions, resources, and performance. Functional block diagrams are presented for the overall architecture as well as the key elements within this architecture. A variety of difficult design issues are discussed, and ongoing efforts aimed at resolving these issues are noted.

Patent
28 Jul 1987
TL;DR: An information processing apparatus includes a processor for performing various information processing operations in accordance with an instruction from an operator, a bioinformation sensor for detecting a mental condition of the operator, and an output unit for outputting corresponding information to the operator based on the detected mental condition as mentioned in this paper.
Abstract: An information processing apparatus includes a processor for performing various information processing operations in accordance with an instruction from an operator, a bioinformation sensor for detecting a mental condition of the operator, and an output unit for outputting corresponding information to the operator based on the detected mental condition The operator is relaxed by the information output from the output unit

01 Jan 1987
TL;DR: A survey of operator perturbation methods for line formation in non-LTE atmospheres can be found in this paper, where an algorithm for the simultaneous solution of thousands of transfer equations under global constraints is presented.
Abstract: Preface Introduction Part I. Operator Perturbation: 1. Survey of operator perturbation methods W. Kalkofen 2. Line formation in expanding atmospheres: multilevel calculations using approximate lambda operators W. R. Hamann 3. Stellar atmospheres in non-LTE: model construction and line formation calculations using approximate lambda operators K. Werner 4. Acceleration of convergence L. H. Auer 5. Line formation in a time-dependent atmosphere W. Kalkofen 6. Iterative solution of multilevel transfer problems Eugene H. Avrett and Rudolf Loeser 7. An algorithm for the simultaneous solution of thousands of transfer equations under global constraints Lawrence S. Anderson 8. Operator perturbation for differential equations W. Kalkofen Part II. Polarised Radiation: 9. A gentle introduction to polarised radiative transfer David E. Rees 10. Non-LTE polarised radiative transfer in special lines David E. Rees and Graham A. Murphy 11. Transfer of polarised radiation using 4x4 matrices E. Landi Degli'Innocenti 12. Radiative transfer in the presence of strong magnetic fields A. A. van Ballegooijen 13. An integral operator technique of radiative transfer in spherical symmetry A. Peraiah 14. Discrete ordinate matrix method M. Schmidt and R. Wehrse.

Journal ArticleDOI
TL;DR: In this article, the authors present an efficient and general algorithm for evaluating coefficient functions of asymptotic operator expansions, based on large euclidean momenta and a large mass.

Book
01 Jun 1987
TL;DR: In this paper, the FEBS method is used to study the stability of boundary-value problems for Equations of Second Order and First and Second Order Difference Equations, respectively.
Abstract: Ordinary Difference Equations. Difference Equations of First and Second Order. Examples of Difference Schemes. Boundary-Value Problems for Equations of Second Order. Basis of the FEBS Method. Difference Schemes for Ordinary Differential Equations. Elementary Examples of Difference Schemes. Convergence of the Solutions of Difference Equations as a Consequence of Approximation and Stability. Widely-Used Difference Schemes. Difference Schemes for Partial Differential Equations. Basic Concepts. Simplest Examples of the Construction and Study of Difference Schemes. Some Basic Methods for the Study of Stability. Difference Scheme Concepts in the Computation of Generalized Solutions. Problems with Two Space Variable. The Concept of Difference Schemes with Splitting. Elliptic Problems. Concept of Variational-Difference and Projection-Difference Schemes. Stability of Evolutional Boundary-Value Problems Viewed as the Boundedness of Norms of Powers of a Certain Operator. Construction of the Transition Operator. Spectral Criterion for the Stability of Nonselfadjoint Evolutional Boundary-Value Problems. Appendix: Method of Internal Boundary Conditions. Bibliographical Commentaries. Bibliography. Index.

Patent
19 Oct 1987
TL;DR: In this paper, a novel method and apparatus are disclosed which assist in utilization of ranging type non-contact sensors with coordinate measurement machines (CMM's) and other machines and various visual and/or audible indicators are provided to assist the operator in using the machine.
Abstract: Novel method and apparatus are disclosed which assist in utilization of ranging type non-contact sensors with coordinate measurement machines (CMM's ) and other machines. Various visual and/or audible indicators are provided to assist the operator in using the machine.

Journal ArticleDOI
TL;DR: In this paper, the effects of higher-order configuration mixing and mesonic exchange currents on free-nucleon M1 matrix elements were analyzed using the Wildenthal wave function.

Journal ArticleDOI
TL;DR: In this paper, the authors derived the operator dispersion equation of the multilayer gyroanisotropic waveguide and its reflection and transmission operators by means of the characteristic matrix of such a medium Fresnel's reflection operator.
Abstract: For the general case of an inhomogeneous anisotropic and gyrotropic medium a differential tensor equation, expressing the evolution of the tangential component of the field vectors of an electromagnetic wave is obtained. A fundamental solution of this equation is given by a multiplicative integral. A plane-stratified system of anisotropic and gyrotropic layers is considered. By means of the characteristic matrix of such a medium Fresnel's reflection and transmission operators are derived. These operators have wide utility because they describe exactly the interaction of light with any plane-stratified gyroanisotropic structure. The conservation of the normal component of the Poynting vector in such a structure allows the authors to find a correlation between the operators of reflection and transmission. The operator dispersion equation of the multilayer gyroanisotropic waveguide is presented. All the calculations in this paper are based on the direct manipulation of tensors and their invariants, eliminating the use of coordinate systems. This facilitates solutions and provides results of great generality which are suitable for computer use.

Journal ArticleDOI
TL;DR: In this article, the authors formulate a Fock space theory for incomplete model spaces (IMS) that applies both to coupled-cluster expansions and to perturbation theory.
Abstract: In this and the following paper, we formulate a Fock space theory for incomplete model spaces (IMS) that applies both to coupled‐cluster expansions and to perturbation theory. We stress in this paper that the concept of the ‘‘connected’’ nature of extensive quantities like an effective Hamiltonian Heff is more fundamental than the ‘‘linkedness’’ that is conventionally used in many‐body perturbation theory. The ‘‘connectedness’’ of Heff follows when the wave operator W is multiplicatively separable into noninteracting subsystems. This is ensured by writing W as an exponential Fock space operator with the exponent connected. It is demonstrated in particular that the connectedness of the exponent in W requires that the normalization condition of W be separable as well. Unlike the situation in a complete model space, the definition of ‘‘diagonal’’ or ‘‘nondiagonal’’ operators depends generally on the particular m‐valence IMS. There are, however, special categories of IMS, the ‘‘quasicomplete’’ and the ‘‘isola...

Journal ArticleDOI
TL;DR: In this paper, the asymptotic behavior of functions in the kernel of the perturbed heat operator δ12−δ2−u(x) suffice to determine u(x), and an explicit formula is derived using the\(\bar \partial \) method of inverse scattering, complete with estimates for small and moderately regular potentialsu.
Abstract: The asymptotic behavior of functions in the kernel of the perturbed heat operator δ12−δ2−u(x) suffice to determineu(x). An explicit formula is derived using the\(\bar \partial \) method of inverse scattering, complete with estimates for small and moderately regular potentialsu. Ifu evolves so as to satisfy the Kadomtsev-Petviashvili (KP II) equation, the asymptotic data evolve linearly and boundedly. Thus the KP II equation has solutions bounded for all time. A method for calculating nonlinear evolutions related to KP II is presented. The related evolutions include the so-called “KP II Hierarchy” and many others.

Journal ArticleDOI
TL;DR: In this paper, the authors show that the conformal field theories describing two-dimensional critical behaviour with continuously varying exponents must have central charge c=1 if (a) there are no conserved spin-2 currents other than the stress tensor and (b) the marginal operator responsible for the line of fixed points does not mix with other operators.
Abstract: The author shows that the conformal field theories describing two-dimensional critical behaviour with continuously varying exponents must have central charge c=1 if (a) there are no conserved spin-2 currents other than the stress tensor and (b) the marginal operator responsible for the line of fixed points does not mix with other operators. In such cases one may show the existence of a fixed line knowing only the four-point function of the marginal operator. The author applies this to the Ashkin-Teller model and the XY model with fourfold symmetry breaking.

Journal ArticleDOI
TL;DR: In this article, it is shown that the intermediate normalization is not separable in general and hence not compatible with a connected diagram expansion, since connectedness is a Fock space property.
Abstract: We generalize here the formalism of the preceeding paper to encompass the case of the general incomplete model space. The classification of operators as diagonal or nondiagonal depends in this case upon the specific m‐valence model space. It is stressed that even then one has to work in Fock space in order to get connected‐diagram expansions, since connectedness is a Fock space property. Two choices of separable normalization of the wave operator W leading to a connected Heff are discussed. It is shown that the intermediate normalization is not separable in general and hence not compatible with a connected‐diagram expansion. We also discuss how to generate ‘‘subduced’’ incomplete model spaces of lower particle rank such that Heff remains a valid effective Hamiltonian for these subduced model spaces as well. We discuss the nature of the various disconnected diagrams encountered in many‐body formalisms and point out which of these are really worth worrying about. We finally comment on the question of the se...

Journal ArticleDOI
TL;DR: In this paper, the authors used constructive field theory to generalize index theory to an infinite-dimensional setting and proved the first index theorem for a Dirac operator that couples infinitely many degrees of freedom.
Abstract: We use methods of constructive field theory to generalize index theory to an infinite-dimensional setting. We study a family of Dirac operatorsQ on loop space. These operators arise in the context of supersymmetric nonlinear quantum field models with HamiltoniansH=Q2. In these modelsQ is self-adjoint and Fredholm. A natural grading operator Γ exists such that ΓQ+QΓ=0. We studyQ+=P−QP+, whereP±=1/2 (1±Γ) are the orthogonal projections onto the eigenspaces of Γ. We calculate the indexi(Q+) for Wess-Zumino models defined by a superpotentialV(ω). HereV is a polynomial of degreen≧2. We establish thati(Q+)=n−1=degδV. In particular, the field theory models have unbroken supersymmetry, and (forn≧3) they have degenerate vacua. We believe that this is the first index theorem for a Dirac operator that couples infinitely many degrees of freedom.

Patent
27 Feb 1987
TL;DR: In this article, a computer-based system aids an operator in proceeding step-by-step through procedures for a complex process facility, at each step, monitored plant parameter values are used to evaluate relevant plant status and recommend action to be taken.
Abstract: A computer based system aids an operator in proceeding step-by-step through procedures for a complex process facility. At each step, monitored plant parameter values are used to evaluate relevant plant status and recommend action to be taken. The status and recommended action are presented to the operator on a display device together with prompts for generating appropriate responses. The step logic is carried out repetitively to provide the operator with feedback and to verify operator actions. The complete display picture including operator responses, and other plant conditions monitored in parallel with the current step, is logged for later review. An online review feature permits review of plant conditions and operator actions while the operator continues to execute the procedure. High-level textual statements of all steps of a current procedure can be reviewed and prior steps can be executed or re-executed.

Journal ArticleDOI
TL;DR: A projection operator is experimentally demonstrating a projection operator whereby the image storage is done without the usual angle or spatial encoding of reference beams to recognize what features of an input belong to a space defined by a set of stored vectors.
Abstract: We view a real-time volume holographic medium as a programmable two-port device that operates on an optical electric field. A photorefractive two-port operator can be used to establish the interconnects required by neural network models. The index grating that forms in the medium serves to fully interconnect two layers of processing units and at the same time sums the input signals to the output layer. The dynamics of grating formation in photorefractive media are used to indicate the time evolution of the two-port operator when the diffraction efficiency of the medium is small. We experimentally demonstrate a projection operator whereby we store and recall, in iron-doped lithium niobate, seven 1-D images. The image storage is done without the usual angle or spatial encoding of reference beams. A projection operator is used to recognize what features of an input belong to a space defined by a set of stored vectors. The two-port operator can also be used to perform the complementary function: to recognize what features of an input do not belong to this space.

Journal ArticleDOI
01 May 1987
TL;DR: An operator based on the cubic facet model is discussed, which reduces sharply both estimate bias and noise sensitivity with no increase in computational complexity.
Abstract: Accurate edge direction information is required in many image processing applications. A variety of operators for computing local edge direction have been proposed, many of them estimating a kind of gradient. These operators face two major problems. One problem is the inherent bias in their estimate of edge direction. The bias itself is a function of edge direction. Another problem is their sensitivity to the presence of noise in the image data. The second problem can be alleviated by an increase in the processing neighborhood size but usually at the expense of an increase in estimate bias and also inefrors in the processing of small or thin objects. An operator based on the cubic facet model is discussed, which reduces sharply both estimate bias and noise sensitivity with no increase in computational complexity. The measure of gradient strength is the maximum value of the integral of the first directional derivative taken over a rectangular or square neighborhood, the maximum being taken over all possible directions for the directional derivative. The line direction which maximizes the integral defines the new estimate of gradient direction. Experimental results show the superiority of this operator to others such as the Roberts operator, the Prewitt operator, the Sobel operator, and the standard cubic facet gradient operator for step edges and ramp edges. Under zero-noise conditions the 7× 7 integrated directional derivative gradient operator has a worst bias of less than 0.

Patent
22 Oct 1987
TL;DR: The polynomial operator in the Galois field of the invention is organized at three levels: a multiplexer level to select and transmit the operands to be used for the successive stage of the calculation to a second level; a so-called pipeline level comprising 3 flip-flop registers to memorize the selected operands selected at the first level; and a third level for calculation, comprising a multiplier-adder which has its inputs X, Y and Z connected to the outputs of the registers, and which gives the coefficients of the resultant polynomials.
Abstract: The polynomial operator in the Galois field of the invention is organized at three levels: a multiplexer level to select and transmit the operands to be used for the successive stage of the calculation to a second level; a so-called pipeline level comprising 3 flip-flop registers to memorize the operands selected at the first level; a third level for calculation, comprising a multiplier-adder which has its inputs X, Y and Z connected to the outputs of the registers, and which gives the coefficients of the resultant polynomials in the Galois field while always performing the same calculation by repetition of the same control instruction. This operator can be applied to digital telecommunications for the encoding and decoding of BCH or RS (REED SOLOMON) error-correcting codes, and can be used to make an integrated processor capable of processing digital data in the form of octets.

Journal ArticleDOI
Ronald R. Yager1
TL;DR: Quasi-associative operators are defined and suggested as a general structure useful for representing a class of operators used to combine various pieces of evidence as mentioned in this paper, and both averaging operators and Dempster-Shafer combining operators can be represented in this new framework.
Abstract: Quasi‐associative operators are defined and suggested as a general structure useful for representing a class of operators used to combine various pieces of evidence. We show that both averaging operators and Dempster‐Shafer combining operators can be represented in this new framework.