Paper 5. Directional Stability and Control of a Vessel in Restricted Waters

1972 ◽  
Vol 14 (7) ◽  
pp. 29-33 ◽  
Author(s):  
M. Fujino
Keyword(s):  
Hydrodynamic Force ◽  
Equations Of Motion ◽  
Narrow Channel ◽  
Order Theory ◽  
Stability Criteria ◽  
First Order ◽  
Stability And Control ◽  
First Order Theory ◽  
And Control ◽  
Improve Stability

By way of introduction the paper discusses conflicting observations of stability behaviour of ships in restricted waters. The equations of motion of a ship in a narrow channel are given, leading to stability criteria; differences from the deep water case are highlighted. More qualitatively, the theory also illustrates the asymmetric hydrodynamic force. Criteria are outlined for an automatic control system to improve stability. However, the first-order theory is shown to provide an inadequate description of all experimental results.

scholarly journals A first-order theory of Ulm type

Computability ◽  
2019 ◽  
Vol 8 (3-4) ◽  
pp. 347-358
Author(s):  
Matthew Harrison-Trainor
Keyword(s):  
Order Theory ◽  
First Order ◽  
First Order Theory

scholarly journals Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers

2015 ◽  
Vol 57 (2) ◽  
pp. 157-185 ◽  
Author(s):  
Peter Franek ◽  
Stefan Ratschan ◽  
Piotr Zgliczynski
Keyword(s):  
Order Theory ◽  
Real Numbers ◽  
First Order ◽  
First Order Theory

The spectrum of resplendency

1990 ◽  
Vol 55 (2) ◽  
pp. 626-636
Author(s):  
John T. Baldwin
Keyword(s):  
Homogeneous Model ◽  
Order Theory ◽  
First Order ◽  
First Order Theory ◽  
Uncountable Cardinal ◽  
Recursive Theory ◽  
Finite Language

AbstractLet T be a complete countable first order theory and λ an uncountable cardinal. Theorem 1. If T is not superstable, T has 2λ resplendent models of power λ. Theorem 2. If T is strictly superstable, then T has at least min(2λ, ℶ2) resplendent models of power λ. Theorem 3. If T is not superstable or is small and strictly superstable, then every resplendent homogeneous model of T is saturated. Theorem 4 (with Knight). For each μ ∈ ω ∪ {ω, 2ω} there is a recursive theory in a finite language which has μ resplendent models of power κ for every infinite κ.

Model Theory of Epimorphisms

1974 ◽  
Vol 17 (4) ◽  
pp. 471-477 ◽  
Author(s):  
Paul D. Bacsich
Keyword(s):  
Model Theory ◽  
Order Theory ◽  
First Order ◽  
First Order Theory

Given a first-order theory T, welet be the category of models of T and homomorphisms between them. We shall show that a morphism A→B of is an epimorphism if and only if every element of B is definable from elements of A in a certain precise manner (see Theorem 1), and from this derive the best possible Cowell- power Theorem for .

Sign in / Sign up

Export Citation Format

Share Document