On interrelations between trivial and nontrivial basic sets of structurally stable diffeomorphisms of surfaces

2021 ◽  
Vol 31 (2) ◽  
pp. 023132
Author(s):  
Vyacheslav Grines ◽  
Dmitrii Mints
Keyword(s):  
Structurally Stable ◽  
Basic Sets

Two-dimensional basic sets of structurally stable diffeomorphisms of three-dimensional manifolds

2000 ◽  
Vol 55 (6) ◽  
pp. 1135-1136
Author(s):  
S Kh Aranson ◽  
E V Zhuzhoma ◽  
V S Medvedev ◽  
I A Tel'nykh
Keyword(s):  
Three Dimensional ◽  
Two Dimensional ◽  
Structurally Stable ◽  
Basic Sets

The topological classification of structurally stable 3-diffeomorphisms with two-dimensional basic sets

Nonlinearity ◽  
2015 ◽  
Vol 28 (11) ◽  
pp. 4081-4102 ◽  
Author(s):  
V Grines ◽  
Yu Levchenko ◽  
V Medvedev ◽  
O Pochinka
Keyword(s):  
Topological Classification ◽  
Two Dimensional ◽  
Structurally Stable ◽  
Basic Sets

PAL – Propositional Algorithmic Logic

1981 ◽  
Vol 4 (3) ◽  
pp. 675-760
Author(s):  
Grażyna Mirkowska
Keyword(s):  
Data Structures ◽  
Completeness Theorem ◽  
Natural Numbers ◽  
First Order ◽  
Algorithmic Logic ◽  
Axiomatic Systems ◽  
Nondeterministic Program ◽  
Basic Sets

The aim of propositional algorithmic logic is to investigate the properties of program connectives. Complete axiomatic systems for deterministic as well as for nondeterministic interpretations of program variables are presented. They constitute basic sets of tools useful in the practice of proving the properties of program schemes. Propositional theories of data structures, e.g. the arithmetic of natural numbers and stacks, are constructed. This shows that in many aspects PAL is close to first-order algorithmic logic. Tautologies of PAL become tautologies of algorithmic logic after replacing program variables by programs and propositional variables by formulas. Another corollary to the completeness theorem asserts that it is possible to eliminate nondeterministic program variables and replace them by schemes with deterministic atoms.

The Absorption Energy and Equilibrium Structure Analysis of CH4 on Coal Molecules

2013 ◽  
Vol 807-809 ◽  
pp. 2366-2370
Author(s):  
Hua Ping Yang ◽  
Ming Li ◽  
Zheng Xin Yan ◽  
Dong Zhi Yan
Keyword(s):  
Structure Analysis ◽  
Dft Method ◽  
Equilibrium Structure ◽  
Atomic Charges ◽  
Absorption Model ◽  
Absorption Energy ◽  
Molecule Model ◽  
Basic Sets

The coal molecule model and the absorption model of coal and methane were established according to Van der Walls force. The coal molecule model and the absorption model of coal and methane were optimized and obtained absorption energy and equilibrium structure with the DFT method with 6-311G++ basic sets. The effects of coal molecule on the absorption position, absorption energy and absorption distance of CH4 were presented by analyzing the Mulliken atomic charges of coal molecules.

The mode conversion of structurally stable vector beams propagating through free space optical channels

2016 ◽  
Vol 29 (6) ◽  
pp. 483-491
Author(s):  
T. I. Arsenyan ◽  
E. A. Babanin ◽  
O. M. Vokhnik ◽  
A. M. Zotov ◽  
A. F. Mardanov ◽  
...  
Keyword(s):  
Free Space ◽  
Mode Conversion ◽  
Free Space Optical ◽  
Optical Channels ◽  
Vector Beams ◽  
Structurally Stable
Sign in / Sign up

Export Citation Format

Share Document