Search results for ""Author Jean""

In May 1940, during the Battle of France, the British Expeditionary Force in France aiding the French, was cut off from the rest of the French Army by the German advance. Encircled by the Germans they retreated to the area around the port of Dunkirk. The German land forces could have easily destroyed the British Expeditionary Force, especially when many of the British troops, in their haste to withdraw, had left behind their heavy equipment. This lull in the action gave the British a few days to evacuate by sea. Winston Churchill ordered any ship or boat available, large or small, to pick up the stranded soldiers, and 338,226 men (including 123,000 French soldiers) were evacuated– the miracle of Dunkirk, as Churchill called it. It took over 900 vessels to evacuate the Allied forces. More than 40,000 vehicles as well as massive amounts of other military equipment and supplies were left behind; their value being less than that of trained fighting men. After the success of Corridor des Panzers and Zur Kuste, this new volume takes us directly into the Dunkirk arena, and concludes the suite of works on this dramatic period of history. Jean-Yves Mary has also provided modern photos of the battlefields, in comparison with the original images, allowing us to locate the areas where the events took place.

Read more less

This book covers the daily life of the ordinary German infantryman from 1914 to 1918, through “Michel”, the archetype of the German soldier, the national personification of the German people, the symbol of patriotic union. We see his life, his material surroundings, his joys, his hardships, the way he ate, expressed himself, his relationship to authority, mobilization, moving up to the front, life in the front line and the rear, the fighting, his assignment to the assault troops, care in hospital, combined with an examination of the way uniforms and equipment altered as the war went on. The context of the period is also particularly well rendered thanks to extracts from songs in vogue at the time and a host of anecdotes and accurate details which make this book such a unique collection.

Read more less

Jazz up your quilt-making with lively and fun jelly roll quilts! Jean Ann Wright is back with 9 new quilt projects all made with precut jelly roll strips and inspired by the movement of music. The easy-to-follow, step-by-step instructions and detailed diagrams make these quilts a perfect weekend project, even for beginners. Also included are full-size, ready-to-use templates and the interesting background that inspired each musically-oriented design. Jean Ann has created unique and entertaining designs to ensure your projects won't look like a typical precut quilt.

Read more less

The numerical simulation of manufacturing processes and of their mechanical consequences is of growing interest in industry. However, such simulations need the modeling of couplings between several physical phenomena such as heat transfer, material transformations and solid or fluid mechanics, as well as to be adapted to numerical methodologies. This book gathers a state of the art on how to simulate industrial processes, what data are needed and what numerical simulation can bring. Assembling processes such as welding and friction stir welding, material removal processes, elaboration processes of composite structures, sintering processes, surface-finishing techniques, and thermo-chemical treatments are investigated.This book is the work of a group of researchers who have been working together in this field for more than 12 years. It should prove useful for both those working in industry and those studying the numerical methods applied to multiphysics problems encountered in manufacturing processes.

Read more less

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting. Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of “formal methods” (such as proof and model-checking) in industrial examples within the transportation domain. This book 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 usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.). Topics covered by the chapters of this book include SAET-METEOR, the B method and B tools, model-based design using Simulink, the Simulink design verifier proof tool, the implementation and applications of SCADE (Safety Critical Application Development Environment), GATeL: A V&V Platform for SCADE models and ControlBuild. Contents 1. From Classic Languages to Formal Methods, Jean-Louis Boulanger. 2. Formal Method in the Railway Sector 
the First Complex Application: SAET-METEOR, Jean-Louis Boulanger. 3. The B Method and B Tools, Jean-Louis Boulanger. 4. Model-Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation, Mirko Conrad and Pieter J. Mosterman. 5. Proving Global Properties with the Aid of the SIMULINK DESIGN VERIFIER Proof Tool, Véronique Delebarre and Jean-Frédéric Etienne. 6. SCADE: Implementation and Applications, Jean-Louis Camus. 7. GATeL: A V&V Platform for SCADE Models, Bruno Marre, Benjamin Bianc, Patricia Mouy and Christophe Junke. 8. ControlBuild, a Development Framework 
for Control Engineering, Franck Corbier. 9. Conclusion, Jean-Louis Boulanger.

Read more less

In 1984, additive manufacturing represented a new methodology for manipulating matter, consisting of harnessing materials and/or energy to create three-dimensional physical objects. Today, additive manufacturing technologies represent a market of around 5 billion euros per year, with an annual growth between 20 and 30%. Different processes, materials and dimensions (from nanometer to decameter) within additive manufacturing techniques have led to 70,000 publications on this topic and to several thousand patents with applications as wide-ranging as domestic uses. Volume 1 of this series of books presents these different technologies with illustrative industrial examples. In addition to the strengths of 3D methods, this book also covers their weaknesses and the developments envisaged in terms of incremental innovations to overcome them.

Read more less