A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome. The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators.

Laser shock processing (LSP) is a new and promising surface treatment technique for improving the fatigue durability, corrosion, wear resistance and other mechanical properties of metals and alloys. During LSP, the generated shock wave can introduce a deep compressive residual stress into the material, due to its high-pressure (GPa-TPa), ultra-fast (several tens nanoseconds), ultra-high strain-rate and high-energy. The overall properties and behavior of metal materials subjected to LSP were significantly improved because a refined surface layer was successfully obtained. Nevertheless, up to now, a clear scenery between micro-structure and macro-property of the refined surface layer, especially formation of sub-micrometer grains from coarse grains during severe plastic deformation, is still pending. Therefore, the basic studies of the underlying mechanism for grain refinement by ultra-high strain-rate presented in this book becomes more and more crucial.

The International Conference on Informatics and Management Science (IMS) 2012 will be held on November 16-19, 2012, in Chongqing, China, which is organized by Chongqing Normal University, Chongqing University, Shanghai Jiao Tong University, Nanyang Technological University, University of Michigan, Chongqing University of Arts and Sciences, and sponsored by National Natural Science Foundation of China (NSFC). The objective of IMS 2012 is to facilitate an exchange of information on best practices for the latest research advances in a range of areas. Informatics and Management Science contains over 600 contributions to suggest and inspire solutions and methods drawing from multiple disciplines including: Computer Science Communications and Electrical Engineering Management Science Service Science Business Intelligence

The International Conference on Informatics and Management Science (IMS) 2012 will be held on November 16-19, 2012, in Chongqing, China, which is organized by Chongqing Normal University, Chongqing University, Shanghai Jiao Tong University, Nanyang Technological University, University of Michigan, Chongqing University of Arts and Sciences, and sponsored by National Natural Science Foundation of China (NSFC). The objective of IMS 2012 is to facilitate an exchange of information on best practices for the latest research advances in a range of areas. Informatics and Management Science contains over 600 contributions to suggest and inspire solutions and methods drawing from multiple disciplines including: Computer Science Communications and Electrical Engineering Management Science Service Science Business Intelligence

Innovative Management in Information and Production is based on the proceedings of the Third International Symposium on Innovative Management, Information and Production. This symposium is held by International Society of Management Engineers. The symposium took place on October 8-10, in HCMC, Vietnam. This book examines recent innovative management of information and productions such as digital collection management and operations planning, scheduling and control.

Challenges in Mechanics of Time-Dependent Materials and Processes in Conventional and Multifunctional Materials, Volume 2 represents one of seven volumes of technical papers presented at the Society for Experimental Mechanics SEM 12th International Congress & Exposition on Experimental and Applied Mechanics, held at Costa Mesa, California, June 11-14, 2012. The full set of proceedings also includes volumes on: Dynamic Behavior of Materials, Imaging Methods for Novel Materials and Challenging Applications, Experimental and Applied Mechanics, 2nd International Symposium on the Mechanics of Biological Systems and Materials 13th International Symposium on MEMS and Nanotechnology and, Composite Materials and the 1st International Symposium on Joining Technologies for Composites.

This book provides a theoretical and application-oriented analysis of deterministic scheduling problems in advanced planning and computer systems. The text examines scheduling problems across a range of parameters: job priority, release times, due dates, processing times, precedence constraints, resource usage and more, focusing on such topics as computer systems and supply chain management. Discussion includes single and parallel processors, flexible shops and manufacturing systems, and resource-constrained project scheduling. Many applications from industry and service operations management and case studies are described. The handbook will be useful to a broad audience, from researchers to practitioners, graduate and advanced undergraduate students.

The advent of the digital economy has the potential to dramatically change the conventional interrelationships among individuals, enterprises and society. There can be little doubt that to achieve vigorous socioeconomic developments in the 21st century, people will have to aggressively use information technology to boost innovation and to organically link the results of that innovation to solutions to global environmental issues and social challenges such as the opportunity divide. We are responsible for taking advantage of the opportunities opened up by the digital economy and for turning those opportunities into things that reflect our values and goals. The book examines the overall impact of the digital economy and the development of a practical institutional design.

Die Casting: An Analytical Approach will refresh knowledge of the governing laws of the fluid dynamics that have an effect on die cast die and die cast process design. It will be bought by product designers that design die cast parts and die cast die and process engineers and designers.

Changing world market conditions have forced manufacturers to apply new architectures and technologies for the design and control of manufacturing systems. Distributed Manufacturing: Paradigm, Concepts, Solutions and Examples outlines the current requirements of manufacturing systems and addresses the architectures, methodologies, and technologies developed within European research activities in response to these requirements. Distributed Manufacturing: Paradigm, Concepts, Solutions and Examples will be of interest to researchers and developers in all fields involving industrial control systems, as well as to decision-makers within industry and government organizations. The reader will gain a detailed knowledge of the current research directions in industrial control, reaching a comprehensive understanding of current advances, their expected benefits and limitations, and the possible consequences for industrial businesses.

These proceedings capture papers presented at the third International Conferences on Sustainable Automotive Technologies (ICSAT), held at the Clemson University International Center for Automotive Research (CU-ICAR), Greenville, South Carolina, USA, during 5-6 April 2011. ICSAT is the state-of-the-art conference in the field of new technologies for transportation. The book summarizes all important trends in sustainability of automotive development today with a special focus on materials, propulsion technologies as well as manufacturing issues. It provides a brief selection of papers and key-note speakers of the conference. Papers from the US, Australia, Europe and Asia are showing the lighthouse character of the conference, in a field which gains more and more importance as far as emissions and the lack of fossil fuels in the future are concerned. The book provides a very good overview of R&D activities at OEMs as well as in leading universities and laboratories; the special focus is on new ideas for sustainable mobility.

Unternehmen mit kurzen Lieferzeiten, hoher Liefertreue und niedrigen Bestanden wachsen schnell und erzielen hohe Gewinne. Wie Unternehmen diese logistische Herausforderung meistern koennen, zeigt das Buch anhand von aktuellen Forschungsergebnissen der Leibniz Universitat Hannover. Der Band gibt einen umfassenden UEberblick uber die Aufgaben und Verfahren der Fertigungssteuerung und befahigt Leser dazu, Schwachen in diesem Bereich zu erkennen und zu korrigieren. Ein fundiertes Nachschlagewerk fur Studierende, Dozenten, Ingenieure und Wissenschaftler.

The requirements for production systems are constantly changing as a result of changing competitive conditions. This poses a challenge for manufacturers in the various branches of industry and creates an ever-increasing need for flexibility. With this as a background, this book explores the current developments and trends as well as their impact on today's production systems. It also compares known strategies, concepts and methods used to achieve production flexibility. Similarly, the practical knowledge and current research will be drawn upon and subjected to a sound scientific analysis, through which the technical and organizational flexibility ranges can be measured in their application in a production system. The convenience and usefulness of this concept for manufacturers is substantiated by its implementation in a software tool called ecoFLEX and its practical application, based on extensive examples. This illustrates how flexibility flaws can be quickly identified, classified and properly disposed of using ecoFLEX. This tool helps to close the gap between ERP / PPS systems and digital factory planning tools.

In today's competitive environment, manufacturing and service companies are intensifying their customization processes. Customization means companies must meet the challenge of providing individualized products and services, without introducing high costs. Therefore, companies must address both customization and cost factors to gain a competitive advantage. While product customization is the manufacturing of products according to individual customer needs, it does not involve any focus on the cost perspective. Information and Management Systems for Product Customization will concentrate on both product customization and costs' efficiency, which is termed as mass customization. Moreover, mass customization with its multi-dimensions is the new business paradigm challenging today's manufacturing companies.

Cracks can develop in rotating shafts and can propagate to relevant depths without affecting consistently the normal operating conditions of the shaft. In order to avoid catastrophic failures, accurate vibration analyses have to be performed for crack detection. The identification of the crack location and depth is possible by means of a model based diagnostic approach, provided that the model of the crack and the model of the cracked shaft dynamical behavior are accurate and reliable. This monograph shows the typical dynamical behavior of cracked shafts and presents tests for detecting cracks. The book describes how to model cracks, how to simulate the dynamical behavior of cracked shaft, and compares the corresponding numerical with experimental results. All effects of cracks on the vibrations of rotating shafts are analyzed, and some results of a numerical sensitivity analysis of the vibrations to the presence and severity of the crack are shown. Finally the book describes some crack identification procedures and shows some results in model based crack identification in position and depth. The book is useful for higher university courses in mechanical and energetic engineering, but also for skilled technical people employed in power generation industries.

Theuseoflasersinmaterialsprocessinghasbecomewidespreadinrecent years,sothatanunderstandingofthenatureofheatandmasstransferin thisbranchofmoderntechnologyisofincreasingimportance. Theaimofthe authorsofthisbookistoconcentrateonthephysicalprocesses;thesecanbe developedfromamathematicalpointofview,orfromdirectexperimental- derivedobservation. Thetwoapproachesarecomplementary;eachcanprovide insightsandthesynthesisofthetwocanleadtoaverypowerfulunderstanding oftheprocessesinvolved. Mathematicalmodellingofphysicalprocesseshas hadanimportantroletoplayinthedevelopmentoftechnologyoverthe centuriesandparticularlysointhelastonehundredand?ftyyearsorso. Itcanbearguedthatitismoreimportanttodaythaneverbeforesincethe availabilityofhigh-speedcomputersallowsaccuratenumericalsimulationof industrialprocessesatafractionofthecostofthecorrespondingexperiments. Thisisoneaspectofmathematicalmodelling,highpro?leandmuchvalued, butitisnottheonlyone. Inthepastmathematicalmodellinghadtorelyonqualitativeinves- gation,veryspecialanalyticalsolutions,orinaccurateandtime-consuming calculationsperformedwithlittleinthewayoftabulatedormechanical assistance. Logtablesandsliderulesarestillrememberedbypeopleworking today,thoughtherearesurelyfewwhoregrettheirdisappearance. Thevalueanddistinctivefunctionofmethodsbasedontheanalytical approachisnowbecomingmuchclearer,nowthattheyarenolongerexpected toproducedetailedimitationsofwhathappensinrealexperimentsofind- trialprocesses,afunctionnowful?lledmostlybynumericalmethods,c- sideredbelow. Theemphasistodayisontheirabilitytocon?rmandextend ourunderstandingofthebasicphysicalmechanismsinvolvedintheprocesses of interest. These are essential for any intelligent use of numerical simulation. Theargumentaboutthevalueofteachingpeoplehowtodoarithmetic themselveswithouttheaidofacalculatorseemstobepassingintohistory, vi Preface butitisanimportantoneandprovidesasimpleanalogy. Ifsomeonedoes nothaveafeelingfornumbersandthewayarithmeticworks,theywillalltoo easilyfailtospotanerrorproducedbyamachine. Computersarenotinfallible -andneitherarethosewhobuildorprogramthem. Computersarenow takingonlessmundanemathematicaltasksandthesamecontroversiesare appearinginconnectionwithalgebraicmanipulation. Equally,andwitheven greaterpenaltiesintermsofcostintheeventoferrors,thesameconsiderations applytonumericalsimulationofmajorindustrialprocesses. Awarenessofthe analyticalsolutionscanbeinvaluableindistinguishingtherightfromthe wrong,i. e. forthepractitionertounderstandthebasisofthework,andto haveanideaofthekindsofoutcomesthatareplausible-andtorecognise thosewhicharenot. Thephrase"mathematicalmodelling"is,however,ambiguous,perhaps morenowthanithaseverbeen. Thereisanenormousamountofworkdone todayonsimulationbasedontheuseofverypowerfulcomputerprograms, anditisquitecorrectlyreferredtoasmathematicalmodelling. Theprograms aresometimesconstructedin-housebutareusuallycommercialpackages. This isanentirelyvalidapproachwithspeci?c(generallycommercial)objectives. Ingeneraltherearetwouses. Thedominantobjectiveisnumericalagreement withaparticularexperimentinthe?rstinstance,leadingtopredictivec- mercialuseinthesecondinstance. Thesecondobjectiveistheclari?cation ofphysicalmechanisms,aimedatthegenerationofunderstandingofcomplex interconnectedprocesses,ratherthantheexactreproductionofaparticular experiment. Itissometimesoverlookedthat,withsu?cientcare,anum- icalapproachisequallyvalidintheinvestigationofphysicalfundamentals. Numericalsimulationisnotacentraltopicofthisbook,butbecauseofits crucialimportancetoeachofthetwousestowhichnumericalmodellingcan beput,itisvitalthatthecomputationalbasisoftheworkshouldbec- pletelysound. Inaddition,thelevelofprocessdetailwhichcanbeconsidered bythenumericalapproachusuallyexceedswhatispossiblewiththeanaly- calapproachsigni?cantly,leavinglittlechoicebuttoreverttothenumerical treatmentwheninvestigatingtheinterconnectionsbetweenprocesses. Itis forthesereasonsthatthebookconcludeswithachapteroncomprehensive numericalsimulation. Inmanyways,theapproachadoptedhereiscomplementarytothemore phenomenologicalapproach. Itisalwaysimportantina?eldwhichhasvery directindustrialapplicationstobearinmindhowtechniquessuchasthose describedherewillbeused,butitisessentialnottolosesightofthef- damentals. Thereareserioussafetyimplications;therearecostimplications; therearemoralimplications;thereareconsiderationsoftheappropriateness ofthetechnologytotheapplicationunderconsideration. Aproperrespectfor alltheserequiresanunderstandingofthefundamentals. Wearealltoowellawarethatthisbookdoeslittlemorethanscratch thesurfaceoftheproblemsinvolvedinafundamentalunderstandingofthese phenomena. Ifwehaveprovidedideasandinformationthatcauseothersto Preface vii testthemexperimentallyorintellectually,agreewiththemordisputethem vigorously,anddevelopthemfurther,wewillconsiderthatwehaveachieved ouraim. Colchester April,2008 JohnDowden Contents 1MathematicsinLaserProcessing JohnDowden...1 1. 1 MathematicsanditsApplication...1 1. 2 FormulationinTermsofPartialDi?erentialEquations...3 1. 2. 1 LengthScales...3 1. 2. 2 ConservationEquationsandtheirGeneralisations...4 1. 2. 3 GoverningEquationsofGeneralised ConservationType...7 1. 2. 4 Gauss'is,however,ambiguous,perhaps morenowthanithaseverbeen. Thereisanenormousamountofworkdone todayonsimulationbasedontheuseofverypowerfulcomputerprograms, anditisquitecorrectlyreferredtoasmathematicalmodelling. Theprograms aresometimesconstructedin-housebutareusuallycommercialpackages. This isanentirelyvalidapproachwithspeci?c(generallycommercial)objectives. Ingeneraltherearetwouses. Thedominantobjectiveisnumericalagreement withaparticularexperimentinthe?rstinstance,leadingtopredictivec- mercialuseinthesecondinstance. Thesecondobjectiveistheclari?cation ofphysicalmechanisms,aimedatthegenerationofunderstandingofcomplex interconnectedprocesses,ratherthantheexactreproductionofaparticular experiment. Itissometimesoverlookedthat,withsu?cientcare,anum- icalapproachisequallyvalidintheinvestigationofphysicalfundamentals. Numericalsimulationisnotacentraltopicofthisbook,butbecauseofits crucialimportancetoeachofthetwousestowhichnumericalmodellingcan beput,itisvitalthatthecomputationalbasisoftheworkshouldbec- pletelysound. Inaddition,thelevelofprocessdetailwhichcanbeconsidered bythenumericalapproachusuallyexceedswhatispossiblewiththeanaly- calapproachsigni?cantly,leavinglittlechoicebuttoreverttothenumerical treatmentwheninvestigatingtheinterconnectionsbetweenprocesses. Itis forthesereasonsthatthebookconcludeswithachapteroncomprehensive numericalsimulation. Inmanyways,theapproachadoptedhereiscomplementarytothemore phenomenologicalapproach. Itisalwaysimportantina?eldwhichhasvery directindustrialapplicationstobearinmindhowtechniquessuchasthose describedherewillbeused,butitisessentialnottolosesightofthef- damentals. Thereareserioussafetyimplications;therearecostimplications; therearemoralimplications;thereareconsiderationsoftheappropriateness ofthetechnologytotheapplicationunderconsideration. Aproperrespectfor alltheserequiresanunderstandingofthefundamentals. Wearealltoowellawarethatthisbookdoeslittlemorethanscratch thesurfaceoftheproblemsinvolvedinafundamentalunderstandingofthese phenomena. Ifwehaveprovidedideasandinformationthatcauseothersto Preface vii testthemexperimentallyorintellectually,agreewiththemordisputethem vigorously,anddevelopthemfurther,wewillconsiderthatwehaveachieved ouraim. Colchester April,2008 JohnDowden Contents 1MathematicsinLaserProcessing JohnDowden...1 1. 1 MathematicsanditsApplication...1 1. 2 FormulationinTermsofPartialDi?erentialEquations...3 1. 2. 1 LengthScales...3 1. 2. 2 ConservationEquationsandtheirGeneralisations...4 1. 2. 3 GoverningEquationsofGeneralised ConservationType...7 1. 2. 4 Gauss'Theuseoflasersinmaterialsprocessinghasbecomewidespreadinrecent years,sothatanunderstandingofthenatureofheatandmasstransferin thisbranchofmoderntechnologyisofincreasingimportance. Theaimofthe authorsofthisbookistoconcentrateonthephysicalprocesses;thesecanbe developedfromamathematicalpointofview,orfromdirectexperimental- derivedobservation. Thetwoapproachesarecomplementary;eachcanprovide insightsandthesynthesisofthetwocanleadtoaverypowerfulunderstanding oftheprocessesinvolved. Mathematicalmodellingofphysicalprocesseshas hadanimportantroletoplayinthedevelopmentoftechnologyoverthe centuriesandparticularlysointhelastonehundredand?ftyyearsorso. Itcanbearguedthatitismoreimportanttodaythaneverbeforesincethe availabilityofhigh-speedcomputersallowsaccuratenumericalsimulationof industrialprocessesatafractionofthecostofthecorrespondingexperiments. Thisisoneaspectofmathematicalmodelling,highpro?leandmuchvalued, butitisnottheonlyone. Inthepastmathematicalmodellinghadtorelyonqualitativeinves- gation,veryspecialanalyticalsolutions,orinaccurateandtime-consuming calculationsperformedwithlittleinthewayoftabulatedormechanical assistance. Logtablesandsliderulesarestillrememberedbypeopleworking today,thoughtherearesurelyfewwhoregrettheirdisappearance. Thevalueanddistinctivefunctionofmethodsbasedontheanalytical approachisnowbecomingmuchclearer,nowthattheyarenolongerexpected toproducedetailedimitationsofwhathappensinrealexperimentsofind- trialprocesses,afunctionnowful?lledmostlybynumericalmethods,c- sideredbelow. Theemphasistodayisontheirabilitytocon?rmandextend ourunderstandingofthebasicphysicalmechanismsinvolvedintheprocesses of interest. These are essential for any intelligent use of numerical simulation. Theargumentaboutthevalueofteachingpeoplehowtodoarithmetic themselveswithouttheaidofacalculatorseemstobepassingintohistory, vi Preface butitisanimportantoneandprovidesasimpleanalogy. Ifsomeonedoes nothaveafeelingfornumbersandthewayarithmeticworks,theywillalltoo easilyfailtospotanerrorproducedbyamachine. Computersarenotinfallible -andneitherarethosewhobuildorprogramthem. Computersarenow takingonlessmundanemathematicaltasksandthesamecontroversiesare appearinginconnectionwithalgebraicmanipulation. Equally,andwitheven greaterpenaltiesintermsofcostintheeventoferrors,thesameconsiderations applytonumericalsimulationofmajorindustrialprocesses. Awarenessofthe analyticalsolutionscanbeinvaluableindistinguishingtherightfromthe wrong,i. e. forthepractitionertounderstandthebasisofthework,andto haveanideaofthekindsofoutcomesthatareplausible-andtorecognise thosewhicharenot. Thephrase"mathematicalmodelling"is,however,ambiguous,perhaps morenowthanithaseverbeen. Thereisanenormousamountofworkdone todayonsimulationbasedontheuseofverypowerfulcomputerprograms, anditisquitecorrectlyreferredtoasmathematicalmodelling. Theprograms aresometimesconstructedin-housebutareusuallycommercialpackages. This isanentirelyvalidapproachwithspeci?c(generallycommercial)objectives. Ingeneraltherearetwouses. Thedominantobjectiveisnumericalagreement withaparticularexperimentinthe?rstinstance,leadingtopredictivec- mercialuseinthesecondinstance. Thesecondobjectiveistheclari?cation ofphysicalmechanisms,aimedatthegenerationofunderstandingofcomplex interconnectedprocesses,ratherthantheexactreproductionofaparticular experiment. Itissometimesoverlookedthat,withsu?cientcare,anum- icalapproachisequallyvalidintheinvestigationofphysicalfundamentals. Numericalsimulationisnotacentraltopicofthisbook,butbecauseofits crucialimportancetoeachofthetwousestowhichnumericalmodellingcan beput,itisvitalthatthecomputationalbasisoftheworkshouldbec- pletelysound. Inaddition,thelevelofprocessdetailwhichcanbeconsidered bythenumericalapproachusuallyexceedswhatispossiblewiththeanaly- calapproachsigni?cantly,leavinglittlechoicebuttoreverttothenumerical treatmentwheninvestigatingtheinterconnectionsbetweenprocesses. Itis forthesereasonsthatthebookconcludeswithachapteroncomprehensive numericalsimulation. Inmanyways,theapproachadoptedhereiscomplementarytothemore phenomenologicalapproach. Itisalwaysimportantina?eldwhichhasvery directindustrialapplicationstobearinmindhowtechniquessuchasthose describedherewillbeused,butitisessentialnottolosesightofthef- damentals. Thereareserioussafetyimplications;therearecostimplications; therearemoralimplications;thereareconsiderationsoftheappropriateness ofthetechnologytotheapplicationunderconsideration. Aproperrespectfor alltheserequiresanunderstandingofthefundamentals. Wearealltoowellawarethatthisbookdoeslittlemorethanscratch thesurfaceoftheproblemsinvolvedinafundamentalunderstandingofthese phenomena. Ifwehaveprovidedideasandinformationthatcauseothersto Preface vii testthemexperimentallyorintellectually,agreewiththemordisputethem vigorously,anddevelopthemfurther,wewillconsiderthatwehaveachieved ouraim. Colchester April,2008 JohnDowden Contents 1MathematicsinLaserProcessing JohnDowden...1 1. 1 MathematicsanditsApplication...1 1. 2 FormulationinTermsofPartialDi?erentialEquations...3 1. 2. 1 LengthScales...3 1. 2. 2 ConservationEquationsandtheirGeneralisations...4 1. 2. 3 GoverningEquationsofGeneralised ConservationType...7 1. 2. 4 Gauss'sLaw...10 1. 3 BoundaryandInterfaceConditions...11 1. 3. 1 GeneralisedConservationConditions...11 1. 3. 2 TheKinematicConditioninFluidDynamics...13 1. 4 Fick'sLaws...15 1. 5 Electromagnetism...15 1. 5. 1 Maxwell'sEquations...15 1. 5. 2 Ohm'sLaw...18 References...19 2SimulationofLaserCutting WolfgangSchulz,MarkusNiessen,UrsEppelt,KerstinKowalick...21 2. 1 Introduction...22 2. 1. 1 PhysicalPhenomenaandExperimentalObservation...23 2. 2 MathematicalFormulationandAnalysis...26 2. 2. 1 TheOne-PhaseProblem...29 2. 2. 2 TheTwo-PhaseProblem...42 2. 2. 3 Three-PhaseProblem...51 2. 3 Outlook...64 2. 4 Acknowledgements...65 References...65 x Contents 3KeyholeWelding:TheSolidandLiquidPhases AlexanderKaplan...71 3. 1 HeatGenerationandHeatTransfer...71 3. 1. 1 Absorption...

To survive and thrive in the competition, firms have strived to achieve greater supply chain collaboration to leverage the resources and knowledge of suppliers and customers. Internet based technologies, particularly interorganizational systems, further extend the firms' opportunities to strengthen their supply chain partnerships and share real-time information to optimize their operations. Supply Chain Collaboration: Roles of Interorganizational Systems, Trust, and Collaborative Culture explores the nature and characteristics, antecedents, and consequences of supply chain collaboration from multiple theoretical perspectives. Supply Chain Collaboration: Roles of Interorganizational Systems, Trust, and Collaborative Culture conceptualizes supply chain collaboration as seven interconnecting elements including information sharing, incentive alignment, goal congruence, decision synchronization, resource sharing, as well as communication and joint knowledge creation. These seven components define the occurrence of collaborative efforts and allow us to explain supply chain collaboration more precisely. Collaborative advantages are also divided into five components to capture the joint competitive advantages and benefits among supply chain partners. The definitions and measures developed here examine some central issue surrounding supply chain development but this is also followed up with real-life managerial practicalities. This balance of theory and practical application makes Supply Chain Collaboration: Roles of Interorganizational Systems, Trust, and Collaborative Culture a strong resource for industry practitioners and researchers alike.

Electrical Machines primarily covers the basic functionality and the role of electrical machines in their typical applications. The effort of applying coordinate transforms is justified by obtaining a more intuitive, concise and easy-to-use model. In this textbook, mathematics is reduced to a necessary minimum, and priority is given to bringing up the system view and explaining the use and external characteristics of machines on their electrical and mechanical ports. Covering the most relevant concepts relating to machine size, torque and power, the author explains the losses and secondary effects, outlining cases and conditions in which some secondary phenomena are neglected. While the goal of developing and using machine mathematical models, equivalent circuits and mechanical characteristics persists through the book, the focus is kept on physical insight of electromechanical conversion process. Details such as the slot shape and the disposition of permanent magnets and their effects on the machine parameters and performance are also covered.

Precision Nanometrology describes the new field of precision nanometrology, which plays an important part in nanoscale manufacturing of semiconductors, optical elements, precision parts and similar items. It pays particular attention to the measurement of surface forms of precision workpieces and to stage motions of precision machines. The first half of the book is dedicated to the description of optical sensors for the measurement of angle and displacement, which are fundamental quantities for precision nanometrology. The second half presents a number of scanning-type measuring systems for surface forms and stage motions. The systems discussed include: * error separation algorithms and systems for measurement of straightness and roundness, * the measurement of micro-aspherics, * systems based on scanning probe microscopy, and * scanning image-sensor systems. Precision Nanometrology presents the fundamental and practical technologies of precision nanometrology with a helpful selection of algorithms, instruments and experimental data. It will be beneficial for researchers, engineers and postgraduate students involved in precision engineering, nanotechnology and manufacturing.

This book helps readers evaluate and specificy the best Warehouse Management System (WMS) for their need. The advice is based on practical knowledge, describing in detail fundamental processes and technologies needed for a basic understanding. New approaches in the structure and design of WMS are presented, along with discussion of the limitations of current systems. The book shows how to operate a simple WMS based on the open-source initiative myWMS.

This book provides essential information on metal forming, utilizing a practical distinction between bulk and sheet metal forming. In the field of bulk forming, it examines processes of cold, warm and hot bulk forming, as well as rolling and a new addition, the process of thixoforming. As for the field of sheet metal working, on the one hand it deals with sheet metal forming processes (deep drawing, flange forming, stretch drawing, metal spinning and bending). In terms of special processes, the chapters on internal high-pressure forming and high rate forming have been revised and refined. On the other, the book elucidates and presents the state of the art in sheet metal separation processes (shearing and fineblanking). Furthermore, joining by forming has been added to the new edition as a new chapter describing mechanical methods for joining sheet metals. The new chapter "Basic Principles" addresses both sheet metal and bulk forming, in addition to metal physics, plastomechanics and computational basics; these points are complemented by the newly added topics of metallography and analysis, materials and processes for testing, and tribology and lubrication techniques. The chapters are supplemented by an in-depth description of modern numeric methods such as the finite element method. All chapters have been updated and revised for the new edition, and many practical examples from modern manufacturing processes have been added.

In the industrial design and engineering field, product lifecycle, product development, design process, Design for X, etc., constitute only a small sample of terms related to the generation of quality products. Current best practices cover widely different knowledge domains in trying to exploit them to the best advantage, individually and in synergy. Moreover, standards become increasingly more helpful in interfacing these domains and they are enlarging their coverage by going beyond the single domain boundary to connect closely different aspects of the product lifecycle. The degree of complexity of each domain makes impossible the presence of multipurpose competencies and skills; there is almost always the need for interacting and integrating people and resources in some effective way. These are the best conditions for the birth of theories, methodologies, models, architectures, systems, procedures, algorithms, software packages, etc., in order to help in some way the synergic work of all the actors involved in the product lifecycle. This brief introduction contains all the main themes developed in this book, starting from the analysis of the design and engineering scenarios to arrive at the development and adoption of a framework for product design and process reconfiguration. In fact, the core consists of the description of the Design GuideLines Collaborative Framework (DGLs-CF), a methodological approach that generates a collaborative environment where designers, manufacturers and inspectors can find the right and effective meeting point to share their knowledge and skills in order to contribute to the optimum generation of quality products.

The process control industry has seen generations of technology advancement, from pneumatic communication to electrical communication to electronic c- munication, from centralized control to distributed control. At the center of today's distributed control systems are operator workstations. These operator wo- stations provide the connection between those overseeing and running plant operations to the process itself. With each new generation of products the operator workstation has become increasingly more intelligent. Newer applications provide advanced alarming, control, and diagnostics. Behind all of these applications are smarter devices. These smart devices provide greater process insight, reduce en- neering costs, and contribute to improving the overall operational performance of the plant. Smart devices include advanced diagnostics that can report the health of the device and in many cases, the health of the process that the device is connected to. It is not uncommon for smart devices to include diagnostics that can detect plugged lines, burner flame instability, agitator loss, wet gas, orifice wear, leaks, and cavitations. These devices tell the user how well they are operating and when they need maintenance. Improvements in sensor technology and diagnostics have lead to a large variety of smart devices. So how do users connect the capabilities of these smart devices to their existing control system infrastructures? The answer is wireless. Wireless technology has matured to the point that it now can be safely applied in industrial control, monitor, and asset management applications.

Industries and particularly the manufacturing sector have been facing difficult challenges in a context of socio-economic turbulence characterized by complexity as well as the speed of change in causal interconnections in the socio-economic environment. In order to respond to these challenges companies are forced to seek new technological and organizational solutions. In this context two main characteristics emerge as key properties of a modern automation system - agility and distribution. Agility because systems need not only to be flexible in order to adjust to a number of a-priori defined scenarios, but rather must cope with unpredictability. Distribution in the sense that automation and business processes are becoming distributed and supported by collaborative networks. Emerging Solutions for Future Manufacturing Systems includes the papers selected for the BASYS'04 conference, which was held in Vienna, Austria in September 2004 and sponsored by the International Federation for Information Processing (IFIP).

"Advanced Steels: The Recent Scenario in Steel Science and Technology" contains more than 50 articles selected from the proceedings of the International Conference on Advanced Steels (ICAS) held during 9-11, Nov, 2010 in Guilin, China. This book covers almost all important aspects of steels from physical metallurgy, steel grades, processing and fabrication, simulation, to properties and applications. The book is intended for researchers and postgraduate students in the field of steels, metallurgy and materials science. Prof. Yuqing Weng is an academician of Chinese Academy of Engineering and the president of The Chinese Society for Metals. Prof. Han Dong is the vice president of Central Iron & Steel Research Institute and the director of National Engineering Research Center of Advanced Steel Technology, China. Prof. Yong Gan is an academician of Chinese Academy of Engineering, the vice president of Chinese Academy of Engineering and the president of Central Iron & Steel Research Institute, China.