3,175 research outputs found
Separation of variables in the generalized 4th Appelrot class
We consider the analogue of the 4th Appelrot class of motions of the
Kowalevski top for the case of two constant force fields. The trajectories of
this family fill the four-dimensional surface O^4 in the six-dimensional phase
space. The constants of three first integrals in involution restricted to this
surface fill one of the sheets of the bifurcation diagram in R^3. We point out
the pair of partial integrals to obtain the explicit parametric equations of
this sheet. The induced system on O^4 is shown to be Hamiltonian with two
degrees of freedom having the thin set of points where the induced symplectic
structure degenerates. The region of existence of motions in terms of the
integral constants is found. We provide the separation of variables on O^4 and
the algebraic formulae for the initial phase variables.Comment: LaTex, 16 pages, 1 figur
Addendum to `Fake Projective Planes'
The addendum updates the results presented in the paper `Fake Projective
Plane, Invent Math 168, 321-370 (2007)' and makes some additions and
corrections. The fake projective planes are classified into twenty six classes.
Together with a recent work of Donald Cartwright and Tim Steger, there is now a
complete list of fake projective planes. There are precisely one hundred fake
projective planes as complex surfaces classified up to biholomorphism.Comment: A more refined classification is given in the new versio
Математические журналы и их интернационализация: первый португальский журнал “Jornal de sciencias mathematicas e astronomicas”
The article describes the historical place of the first Portuguese Journal “Jornal de sciencias mathematicas e astronómicas” (Teixeira´s Journal) during the development of the European mathematical community at the end of the 19th century
Application of Simplified Models to Qualitative Geotechnical Analysis
The paper describes an approach for qualifying soil-structure systems behavior, using simple numeric models – “geotoys”, reflecting the main features of the systems behavior and enabling numeric simulation of various case histories. Three case histories of major karstic sinkholes are analyzed to show that man-made structures above a karstic cavity prevent formation sinkhole. When plastic zones reach the structure periphery, the soil-structure system becomes unstable. Prior settlements could be negligible to serve as precursors. Another soil-footing-superstructure (SFSS) model is a 2D geotoy - an exact mathematical solution, used for multiple simulations (about 10,000) of SFSS sensitivity i.e., response to input parameters variations. The sensitivity was rated for each input-output pair [1]. The most interesting findings are the following: 1) SFSS stress state is very sensitive to soil strength parameters c and φ, which are responsible for formation of soil disruption zones (‘plastic zone’) under footing edges. 2) If a structure rests on a homogeneous soil base then it is practically insensitive to soil base compressibility i.e., soil modulus E variations. 3) 3D FEM analysis confirmed that 2D simulations can be used for qualitative SFSS analysis. 4) Geotoys can be used for case histories analysis, risk assessment, training practical intuition, education purposes and international exchange and cooperation
Updating DL-Lite ontologies through first-order queries
In this paper we study instance-level update in DL-LiteA, the description logic underlying the OWL 2 QL standard. In particular we focus on formula-based approaches to ABox insertion and deletion. We show that DL-LiteA, which is well-known for enjoying first-order rewritability of query answering, enjoys a first-order rewritability property also for updates. That is, every update can be reformulated into a set of insertion and deletion instructions computable through a nonrecursive datalog program. Such a program is readily translatable into a first-order query over the ABox considered as a database, and hence into SQL. By exploiting this result, we implement an update component for DLLiteA-based systems and perform some experiments showing that the approach works in practice.Peer ReviewedPostprint (author's final draft
- …