scholarly journals Upper and Lower Solutions for the FitzHugh– Nagumo Type System of Equations

2018 ◽  
Vol 25 (1) ◽  
pp. 33-53
Author(s):  
Svetlana V. Bytsyura ◽  
Natalia T. Levashova
Keyword(s):  
Upper And Lower Solutions ◽  
Type System ◽  
System Of Equations

Parallel functional programming on recursively defined data via data-parallel recursion

1999 ◽  
Vol 9 (4) ◽  
pp. 427-462 ◽  
Author(s):  
SUSUMU NISHIMURA ◽  
ATSUSHI OHORI
Keyword(s):  
Parallel Processing ◽  
Functional Programming ◽  
Formal Semantics ◽  
Operational Semantics ◽  
Type System ◽  
Parallel Execution ◽  
System Of Equations ◽  
Functional Language ◽  
Data Parallel ◽  
Evaluation Mechanism

This article proposes a new language mechanism for data-parallel processing of dynamically allocated recursively defined data. Different from the conventional array-based data- parallelism, it allows parallel processing of general recursively defined data such as lists or trees in a functional way. This is achieved by representing a recursively defined datum as a system of equations, and defining new language constructs for parallel transformation of a system of equations. By integrating them with a higher-order functional language, we obtain a functional programming language suitable for describing data-parallel algorithms on recursively defined data in a declarative way. The language has an ML style polymorphic type system and a type sound operational semantics that uniformly integrates the parallel evaluation mechanism with the semantics of a typed functional language. We also show the intended parallel execution model behind the formal semantics, assuming an idealized distributed memory multicomputer.

Boussinesq-type system of equations in the B�nard-Marangoni system

1994 ◽  
Vol 99 (3) ◽  
pp. 692-698
Author(s):  
R. A. Kraenkel ◽  
S. M. Kurcbart ◽  
J. G. Pereira ◽  
M. A. Manna
Keyword(s):  
Type System ◽  
System Of Equations

scholarly journals On The Stress Free Deformation Of Linear FGM Interface Under Constant Temperature

2015 ◽  
Vol 9 (3) ◽  
pp. 135-139 ◽  
Author(s):  
Artur Ganczarski ◽  
Damian Szubartowski
Keyword(s):  
Constant Temperature ◽  
Thermal Deformation ◽  
Thick Plate ◽  
Type System ◽  
Plane Stress State ◽  
Engineering Problem ◽  
Elastic Problem ◽  
System Of Equations ◽  
State Problem ◽  
3D Problem

AbstractThis paper demonstrates the stress free thermo-elastic problem of the FGM thick plate. Existence of such a purely thermal deformation is proved in two ways. First proof is based on application of the Iljushin thermo-elastic potential to displacement type system of equations. This reduces 3D problem to the plane stress state problem. Next it is shown that the unique solution fulfils conditions of simultaneous constant temperature and linear gradation of thermal expansion coefficient. Second proof is based directly on stress type system of equations which straightforwardly reduces to compatibility equations for purely thermal deformation. This occurs if only stress field is homogeneous in domain and at boundary. Finally an example of application to an engineering problem is presented.

Ultrastructural characteristics of sporidia of Ustilago

1989 ◽  
Vol 47 ◽  
pp. 786-787
Author(s):  
Patricia N. Hackney
Keyword(s):  
Electron Microscope ◽  
Type System ◽  
Tube Formation ◽  
High Voltage Electron Microscopy ◽  
Voltage Electron ◽  
University Of Wisconsin ◽  
Transmission Electron ◽  
Ustilago Hordei ◽  
Silene Alba ◽  
The University

Ustilago hordei and Ustilago violacea are yeast-like basidiomycete pathogens ofHordeum vulgare and Silene alba respectively. The mating type system in both species of Ustilago is bipolar, with alleles, A,a, (U.hordei) and a1, a2 (U.violacea) at a single locus. Haploid sporidia maintain the asexual phase by budding, while the sexual phase is initiated by conjugation tube formation between the mating types during budding and conjugation.For observation of budding, sporidia were prepared by culturing the four types on YEG (yeast extract glucose) broth for 24 hours. After centrifugation at 5000g cells were either left unmated or mated in a1/a2,A/a combinations. The sporidia were then mixed 1:1 with 4% agar and the resulting 1mm cubes fixed in 8% gluteraldehyde and post fixed in osmium tetroxide. After dehydration and embedding cubes were thin sectioned with a LKB ultratome and photographed in a Zeiss 9s transmission electron microscope or in an AE1 electron microscope of MK11 1MEV at the High Voltage Electron Microscopy Center of the University of Wisconsin-Madison.

Canonical Submersion and Lie Homomorphisms Normal Subgroup

2020 ◽  
Vol 23 (1) ◽  
pp. 97-101
Author(s):  
Mikhail Petrichenko ◽  
Dmitry W. Serow
Keyword(s):  
Normal Subgroup ◽  
Canonical System ◽  
System Of Equations ◽  
Core Group ◽  
The Core ◽  
Switch Group

Normal subgroup module f (module over the ring F = [ f ] 1; 2-diffeomorphisms) coincides with the kernel Ker Lf derivations along the field. The core consists of the trivial homomorphism (integrals of the system v = x = f (t; x )) and bundles with zero switch group Lf , obtained from the condition ᐁ( ω × f ) = 0. There is the analog of the Liouville for trivial immersion. In this case, the core group Lf derivations along the field replenished elements V ( z ), such that ᐁz = ω × f. Hence, the core group Lf updated elements helicoid (spiral) bundles, in particular, such that f = ᐁU. System as an example Crocco shown that the canonical system does not permit the trivial embedding: the canonical system of equations are the closure of the class of systems that permit a submersion.

LIQUIDUS THERMO-BAROMETER FOR THE MODELING OF MAGNETITE — MELT EQUILIBRIUM

2018 ◽  
pp. 71-80
Author(s):  
N. S. Aryaeva ◽  
E. V. Koptev-Dvornikov ◽  
D. A. Bychkov
Keyword(s):  
Experimental Data ◽  
Liquidus Temperature ◽  
Vertical Structure ◽  
Maximum Error ◽  
Silicate Melt ◽  
System Of Equations ◽  
Wide Range ◽  
Basaltic Melts ◽  
Multidimensional Statistics

A system of equations of thermobarometer for magnetite-silicate melt equilibrium was obtained by method of multidimensional statistics of 93 experimental data of a magnetite solubility in basaltic melts. Equations reproduce experimental data in a wide range of basalt compositions, temperatures and pressures with small errors. Verification of thermobarometers showed the maximum error in liquidus temperature reproducing does not exceed ±7 °C. The level of cumulative magnetite appearance in the vertical structure of Tsypringa, Kivakka, Burakovsky intrusions predicted with errors from ±10 to ±50 m.

Study on the Modes of Operation of a Multi-Machine Installations with Mechanical Reduction

2019 ◽  
pp. 12-22
Author(s):  
A. M. Oleynikov ◽  
L. N. Kanov
Keyword(s):  
Mathematical Description ◽  
Reactive Power ◽  
Maximum Efficiency ◽  
Wind Flow ◽  
System Of Equations ◽  
Mechanical Equilibrium ◽  
Synchronous Generators ◽  
Electromagnetic Excitation ◽  
Number Of Generators ◽  
Wide Range

The paper gives the description of the original wind electrical installation with mechanical reduction in which the output of vertical axis wind turbine with rather low rotation speed over multiplicator is distributed to a certain number of generators. The number of acting generators is determined by the output of actual operating wind stream at each moment. According to this constructive scheme, it is possible to provide effective and with maximum efficiency installation work in a wide range of wind speeds and under any schedule issued to the consumer of electricity. As there are no any experience in using such complexes, mathematical description of its main elements is given, namely windwheels, generators with electromagnetic excitation of magnetic electrical type, then their interaction with windwheel, and also the results of mathematical modeling of work system regimes under using the offered system of equations. The basis for the mathematical description of the main elements of the installation – synchronous generators – are the system of equations of electrical and mechanical equilibrium in relative units in rotating coordinates without considering saturation of the magnetic circuit. The equation of mechanical equilibrium systems includes torque and brake windwheel electromagnetic moments of generators with taking into account the reduction coefficients and friction. In addition, we specify the alternator rotor dynamics resulting from continuous torque of windwheel fluctuations under the influence of unsteady wind flow and wind speed serving as the original variable is modeled by a set of sinusoids. Model simplification is achieved by equivalization of similar generators and by disregarding these transitions with a small time constant. Calculation the installation with synchronous generators of two types of small and medium capacity taking into account the operational factors allowed us to demonstrate the logic of interactions in the main elements of the reported complex in the process of converting wind flow into the generated active and reactive power. We have shown the possibility of stable system work under changeable wind stream condition by regulating of the plant blade angle and with simultaneous varying of generator number of different types. All these are in great interest for project organizations and power producers.

Sign in / Sign up

Export Citation Format

Share Document