Geometric theory of the normal form

1990 ◽  
pp. 67-87
Author(s):  
Howard Jacobowitz
Keyword(s):  
Normal Form ◽  
Geometric Theory

Closing the GAP—A 5Å Scanning Microscope

1969 ◽  
Vol 27 ◽  
pp. 6-7
Author(s):  
A. V. Crewe
Keyword(s):  
Normal Form ◽  
The Other ◽  
Resolving Power ◽  
Scanning Microscope ◽  
Conventional Microscope ◽  
Other Hand ◽  
Closing The Gap ◽  
Thermal Sources ◽  
Better Than ◽  
Transmission Microscope

We have become accustomed to differentiating between the scanning microscope and the conventional transmission microscope according to the resolving power which the two instruments offer. The conventional microscope is capable of a point resolution of a few angstroms and line resolutions of periodic objects of about 1Å. On the other hand, the scanning microscope, in its normal form, is not ordinarily capable of a point resolution better than 100Å. Upon examining reasons for the 100Å limitation, it becomes clear that this is based more on tradition than reason, and in particular, it is a condition imposed upon the microscope by adherence to thermal sources of electrons.

METHODS OF REDUCING OF LARGE BOOLEAN FORMULAS REPRESENTED IN A CONJUNCTIVE NORMAL FORM FOR DETERMINING THEIR SATISFIABILITY

2020 ◽  
Author(s):  
N.I. Gdansky ◽  
◽  
A.A. Denisov ◽  
Keyword(s):  
Normal Form ◽  
Normal Forms ◽  
Conjunctive Normal Form ◽  
Boolean Formulas

The article explores the satisfiability of conjunctive normal forms used in modeling systems.The problems of CNF preprocessing are considered.The analysis of particular methods for reducing this formulas, which have polynomial input complexity is given.

Analysis of a 2DOF Nonlinear Mechanical System Using the Normal Form Method

2019 ◽  
Author(s):  
David Julian Gonzalez Maldonado ◽  
Peter Hagedorn ◽  
Thiago Ritto ◽  
Rubens Sampaio ◽  
Artem Karev
Keyword(s):  
Normal Form ◽  
Mechanical System ◽  
Nonlinear Mechanical ◽  
Nonlinear Mechanical System ◽  
Normal Form Method

GEOMETRIC THEORY OF MULTIDIMENSIONAL INTERPOLATION

2020 ◽  
Vol 2020 (1) ◽  
pp. 9-16
Author(s):  
Evgeniy Konopatskiy
Keyword(s):  
Response Function ◽  
Algebraic Curves ◽  
Geometric Theory ◽  
Analytical Description ◽  
Geometric Interpretation ◽  
Affine Geometry ◽  
Mathematical Apparatus ◽  
Multidimensional Interpolation ◽  
Pass Through

The paper presents a geometric theory of multidimensional interpolation based on invariants of affine geometry. The analytical description of geometric interpolants is performed within the framework of the mathematical apparatus BN-calculation using algebraic curves that pass through preset points. A geometric interpretation of the interaction of parameters, factors, and the response function is presented, which makes it possible to generalize the geometric theory of multidimensional interpolation in the direction of increasing the dimension of space. The conceptual principles of forming the tree of the geometric interpolant model as a geometric basis for modeling multi-factor processes and phenomena are described.

Normal form method in search for periodic solutions of ordinary differential equations. Case of the fourth order

2018 ◽  
pp. 24-34
Author(s):  
V. F. Edneral ◽  
O. D. Timofeevskaya
Keyword(s):  
Normal Form ◽  
Differential Equations ◽  
Ordinary Differential Equations ◽  
Periodic Solutions ◽  
Fourth Order ◽  
Numerical Solutions ◽  
Numerical Calculations ◽  
Computational Time ◽  
Resonant Normal Form ◽  
Normal Form Method

Introduction:The method of resonant normal form is based on reducing a system of nonlinear ordinary differential equations to a simpler form, easier to explore. Moreover, for a number of autonomous nonlinear problems, it is possible to obtain explicit formulas which approximate numerical calculations of families of their periodic solutions. Replacing numerical calculations with their precalculated formulas leads to significant savings in computational time. Similar calculations were made earlier, but their accuracy was insufficient, and their complexity was very high.Purpose:Application of the resonant normal form method and a software package developed for these purposes to fourth-order systems in order to increase the calculation speed.Results:It has been shown that with the help of a single algorithm it is possible to study equations of high orders (4th and higher). Comparing the tabulation of the obtained formulas with the numerical solutions of the corresponding equations shows good quantitative agreement. Moreover, the speed of calculation by prepared approximating formulas is orders of magnitude greater than the numerical calculation speed. The obtained approximations can also be successfully applied to unstable solutions. For example, in the Henon — Heyles system, periodic solutions are surrounded by chaotic solutions and, when numerically integrated, the algorithms are often unstable on them.Practical relevance:The developed approach can be used in the simulation of physical and biological systems.

Box-Cox Transformations

2017 ◽  
Author(s):  
Russell Cheng
Keyword(s):  
Maximum Likelihood ◽  
Normal Form ◽  
Maximum Likelihood Estimate ◽  
Likelihood Estimate ◽  
Grouped Data ◽  
Numerical Example ◽  
Alternative Method ◽  
Modified Likelihood

This chapter examines the well-known Box-Cox method, which transforms a sample of non-normal observations into approximately normal form. Two non-standard aspects are highlighted. First, the likelihood of the transformed sample has an unbounded maximum, so that the maximum likelihood estimate is not consistent. The usually suggested remedy is to assume grouped data so that the sample becomes multinomial. An alternative method is described that uses a modified likelihood similar to the spacings function. This eliminates the infinite likelihood problem. The second problem is that the power transform used in the Box-Cox method is left-bounded so that the transformed observations cannot be exactly normal. This biases estimates of observational probabilities in an uncertain way. Moreover, the distributions fitted to the observations are not necessarily unimodal. A simple remedy is to assume the transformed observations have a left-bounded distribution, like the exponential; this is discussed in detail, and a numerical example given.

Examples of theories of presheaf type

2018 ◽  
Author(s):  
Olivia Caramello
Keyword(s):  
Finite Groups ◽  
Linear Independence ◽  
Geometric Theory ◽  
Vector Spaces ◽  
Linear Orders ◽  
Locally Finite ◽  
Strong Unit ◽  
Locally Finite Groups ◽  
Simplicial Sets ◽  
Separable Extensions

This chapter discusses several classical as well as new examples of theories of presheaf type from the perspective of the theory developed in the previous chapters. The known examples of theories of presheaf type that are revisited in the course of the chapter include the theory of intervals (classified by the topos of simplicial sets), the theory of linear orders, the theory of Diers fields, the theory of abstract circles (classified by the topos of cyclic sets) and the geometric theory of finite sets. The new examples include the theory of algebraic (or separable) extensions of a given field, the theory of locally finite groups, the theory of vector spaces with linear independence predicates and the theory of lattice-ordered abelian groups with strong unit.

Sign in / Sign up

Export Citation Format

Share Document