35 research outputs found
A New Method of Vibration Analysis of Elastic Systems, Based on the Lagrange Equations of the First Kind
 
Formal security model for virtual machine hypervisors in cloud computing systems
The paper describes a formal security model for virtual machine hypervisors in cloud systems based on the graph theory. This model defines security properties and data access operations hierarchy inside virtual machines and hypervisors in the cloud. The proposed model makes it possible to formalize major security issues for cloud systems and define tasks for hypervisor security and methods to solve them as well as the security condition for the virtual machine hypervisors
Anwendung des generalisierten Gaußschen Prinzips auf die Untersuchung der Bewegung eines Satelliten mit konstanter Beschleunigung
Es wird eine der neuen möglichen Aufgaben bezüglich der Bewegung eines Satelliten betrachtet, bei der seine Beschleunigung während seiner Umlaufbewegung um die Erde auf einem elliptischen Orbit zu einem bestimmten Zeitpunkt fixiert wird und bei der weiteren Bewegung unveränderlich erhalten bleibt. Für die Untersuchung der Bewegung wird das generalisierte Gaußsche Prinzip angewendet
Formal security model for virtual machine hypervisors in cloud computing systems
The paper describes a formal security model for virtual machine hypervisors in cloud systems based on the graph theory. This model defines security properties and data access operations hierarchy inside virtual machines and hypervisors in the cloud. The proposed model makes it possible to formalize major security issues for cloud systems and define tasks for hypervisor security and methods to solve them as well as the security condition for the virtual machine hypervisors
Mechanics of non-holonomic systems: a new class of control systems
Mechanics of non-holonomic systems gives a deep insight into the theory and applications of Analytical Mechanics. The theory suggested is illustrated by the examples of a spacecraft motion. The book is primarily addressed to specialists in analytic mechanics