A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these -formal methods- (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the...
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such ...
This volume considers the shock response spectrum, its various definitions, properties and the assumptions involved in its calculation. In developing the practical application of these concepts, the forms of shock most often used with test facilities are presented together with their characteristics and indications of how to establish test configurations comparable with those in the real, measured environment. This is followed by a demonstration of how to meet these specifications using standard laboratory equipment - shock machines, electrodynamic exciters driven by a time signal or a...
This volume considers the shock response spectrum, its various definitions, properties and the assumptions involved in its calculation. In developing ...
The vast majority of vibrations encountered in the real environment are random in nature. Such vibrations are intrinsically complicated and this volume describes the process that enables us to simplify the required analysis, along with the analysis of the signal in the frequency domain. The power spectrum density is also defined, together with the requisite precautions to be taken in its calculations as well as the processes (windowing, overlapping) necessary to obtain improved results. An additional complementary method - the analysis of statistical properties of the time signal...
The vast majority of vibrations encountered in the real environment are random in nature. Such vibrations are intrinsically complicated and this volum...
Fatigue damage in a system with one degree of freedom is one of the two criteria applied when comparing the severity of vibratory environments. The same criterion is also used for a specification representing the effects produced by the set of vibrations imposed in a real environment. In this volume, which is devoted to the calculation of fatigue damage, Christian Lalanne explores the hypotheses adopted to describe the behavior of material affected by fatigue and the laws of fatigue accumulation. The author also considers the methods for counting response peaks, which are used to...
Fatigue damage in a system with one degree of freedom is one of the two criteria applied when comparing the severity of vibratory environments. The sa...
This book gives new insight on plate models in the linear elasticity framework tacking into account heterogeneities and thickness effects. It is targeted to graduate students how want to discover plate models but deals also with latest developments on higher order models. Plates models are both an ancient matter and a still active field of research. First attempts date back to the beginning of the 19th century with Sophie Germain. Very efficient models have been suggested for homogeneous and isotropic plates by Love (1888) for thin plates and Reissner (1945) for thick plates. However, the...
This book gives new insight on plate models in the linear elasticity framework tacking into account heterogeneities and thickness effects. It is ta...
Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management. The three volumes of the Combinatorial Optimization series aim to cover a wide range of topics in this area. These topics also deal with fundamental notions and approaches as with several classical applications of combinatorial optimization.
Concepts of Combinatorial Optimization, is divided into three parts: - On the complexity of combinatorial optimization problems, presenting basics...
Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical ...
Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management. The three volumes of the Combinatorial Optimization series aim to cover a wide range of topics in this area. These topics also deal with fundamental notions and approaches as with several classical applications of combinatorial optimization.
Concepts of Combinatorial Optimization, is divided into three parts: - On the complexity of combinatorial optimization problems, presenting...
Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretic...
Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management. The three volumes of the Combinatorial Optimization series aim to cover a wide range of topics in this area. These topics also deal with fundamental notions and approaches as with several classical applications of combinatorial optimization.
Concepts of Combinatorial Optimization, is divided into three parts: - On the complexity of combinatorial optimization problems, presenting basics...
Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical ...
Cyberdefense has become, over the past five years, a major issue on the international scene. China, by the place it occupies, is the subject of attention: it is observed, criticized, and designated by many states as a major player in the global cyber-insecurity. The United States is building their cyberdefense strategy against what they call the -Chinese threat.- It is therefore important to better understand today's challenges related to cyber dimension in regard of the rise of China.
Contributions from international researchers provide cross perspectives on China, its...
Cyberdefense has become, over the past five years, a major issue on the international scene. China, by the place it occupies, is the subject of att...
Written for scientists, researchers, and engineers, Non-volatile Memories describes the recent research and implementations in relation to the design of a new generation of non-volatile electronic memories. The objective is to replace existing memories (DRAM, SRAM, EEPROM, Flash, etc.) with a universal memory model likely to reach better performances than the current types of memory: extremely high commutation speeds, high implantation densities and retention time of information of about ten years.
Written for scientists, researchers, and engineers, Non-volatile Memories describes the recent research and implementations in relation to the ...
