1,356,403 research outputs found
Yuri M. Romanovsky – destiny, science, rendezvous
Get PDFThe article is a recollection of Yuri Mikhailovich Romanovsky, a world-famous biophysicist, Honorary Professor of Lomonosov Moscow State Uаniversity, the stages of his life, scientific and personal destiny, of his sons – Mikhail and Alexander. The development of Yu. M. Romanovsky as a scientist and personality, the influence on him of his family, classmates, senior associates and friends, who represented the best people of Soviet and Russian science over the past 60 years, are described, as well as his personal contribution to world science – especially to mathematical biophysics. Much attention is paid to his scientific and social activities – from the chairman of the housing cooperative of scientists and teachers of Lomonosov Moscow State University to the collector of biographies of graduates of the Physics Department of Lomonosov Moscow State University, who made a huge contribution to the development of the scientific and industrial potential of our country. His enormous role in the development of cooperation between Lomonosov Moscow State University and Saratov State University in the field of biophysics and nonlinear dynamics is also presented
A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers
Get PDFCommercial off-the-shelf (COTS) software components are built to be used as black boxes that cannot be modified. The specific context in whichthese COTS components are employed is not known to their developers. Whenintegrating such COTS components into systems, which have high dependability requirements, there may be mismatches between the failure assumptions of these components and the rest of the system. For resolving these mismatches, system integrators must rely on techniques that are external to the COTS software components. In this paper, we combine the concepts of an idealised architectural component and protective wrappers to develop an architectural solution that provides an effective and systematic way for building dependable software systems from COTS software components
The growth of muscles in rams of the romanovsky breed and mixed breed of the Romanovsky and the Romny-March
No full textA study of the growth of tissues and anatomical groups of muscules was carried out in comparison of 3-, 7- and 9-month aged rams of the romanovsky breed and mixed breed of the romanovsky and the romny-march breeds. It was established, that absolute weight of 9-month the romanovsky breed rams is less than their peers of mixed breed on 5,2%, the carcass weight - on 4,80%, the muscle weight - on 10,41%. The influence of mixing on level of muscles wasn't detected. In post natal development of the muscles functional requirements have relatively bigger influence, than little difference in heredity (breed). The muscle growth strictly goes by genetic sequence in dependence of functional needs
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS
No full textETCS is an European system for high speed trains control and protection within ERTMS, the European standard for rail traffic management system. ERTMS/ETCS implementations use GSM-R for communications. As GSM-R is becoming obsolete, the adoption of more advanced technologies is investigated for next generation trains. New communication systems for railway infrastructures are expected to overcome the limitations of GSM-R, providing enhanced performance and reliability, as well as safety and security functionality to meet the requirements of the future signalling systems, control and users’ applications. While 4G technologies (LTE and LTE-A) are currently tested in a few field trials, railway operators should consider that fifth generation (5G) mobile communications technologies will soon be available. One of the foundational aspects of the 5G architecture is control-plane programmability, achieved through the SDN paradigm. Being aware that in a railway scenario this opportunity can be exploited to dynamically reconfigure the network behavior to better match the communication flows produced by moving trains, we aim at defining a framework, integrating formal modeling and analysis tools and techniques into a network emulator, to evaluate the impact on ERTMS/ETCS safety and security deriving from the adoption of an SDN model in the communication infrastructure. In this paper we describe a first step towards this objective, by presenting a first proof-of-concept implementation of the framework and its use to reproduce a simple railway infrastructure. In our current implementation, Finite State Machines are used to model communication protocols between ERTMS/ETCS entities and to automatically produce code and Promela models. Generated code is directly used to control the network behavior while the Promela model allows to generate and verify a network configuration by model checking
FIDJI'2004 - Scientific Engineering of Distributed Java Applications, proceedings of the 4th International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2004
No full textWorkshops summaries: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems
No full text
Recent and Possible Future Changes in Permafrost
Get PDFRecent observations indicate a warming of permafrost in many northern regions with the resulting degradation of ice-rich and carbon rich permafrost. Permafrost temperature has increased by 0.5°C to 3°C in the northern Hemisphere during the last 30-40 years (Romanovsky et al., 2010)
- …
