Process plant operating procedures : synthesis, simulation and abnormal situation management / / Chuei-Tin Chang, Hao-Yeh Lee, Vincentius Surya Kurnia Adi

• Record Nr.: UNINA9910488693303321
• Autore: Chang Chuei-Tin
• Pubbl/distr/stampa: Cham, Switzerland : , : Springer, , [2021]; ©2021
• ISBN: 3-030-70978-7
• Descrizione fisica: 1 online resource (367 pages)
• Collana: Advances in Industrial Control
• Disciplina: 660.2815
• Soggetti: Chemical process control; Chemical process control - Automation
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Intro -- Series Editor's Foreword -- Preface -- Contents -- 1 Introduction -- 1.1 Graphical Representations of Chemical Processes -- 1.1.1 Process Flow Diagram -- 1.1.2 Piping and Instrumentation Diagram -- 1.2 Graphical Representations of Operating Procedures -- 1.3 Problem Statement -- 1.4 Framework and Organization -- References -- 2 Heuristic Approach to Procedure Synthesis -- 2.1 Heuristic Rules -- 2.2 Dynamic Simulation Software -- 2.3 Pilot Setups -- 2.4 Illustrative Examples -- References -- 3 Model-Based Approach to Procedure Synthesis -- 3.1 Hierarchical Structure of Chemical Processes -- 3.2 Discrete-Event System Models -- 3.2.1 Languages -- 3.2.2 Automata -- 3.2.3 Petri Nets -- 3.3 Supervisory Controllers -- 3.4 Control Specifications -- 3.5 Systematic Synthesis of Operating Procedures -- 3.5.1 Process Description -- 3.5.2 Components -- 3.5.3 Control Specifications -- 3.5.4 Supervisor Generation -- 3.5.5 Procedure Synthesis -- References -- 4 Normal Operating Procedures Based on Dynamic Simulations -- 4.1 Startup Operations of Simple DCs -- 4.2 Startup Operations of Extractive DCs -- References -- 5 Petri Net-Based Operating Procedures -- 5.1 Cleaning Operation of a Pipeline Network -- 5.1.1 Representation of Material-Transfer Paths -- 5.1.2 Enumeration of Possible Routes -- 5.1.3 Route Selection Procedures -- 5.1.4 Equipment Models -- 5.1.5 Generation ; of Operation Steps -- 5.1.6 Execution of Multiple Tasks -- 5.2 Material Transportation in a Batch Plant -- 5.2.1 Component Models -- 5.2.2 Generation of Operation Steps -- 5.2.3 Identification of Feasible Routes -- 5.2.4 Execution of Multiple Tasks -- 5.3 Automatic Synthesis of Batch Operating Procedures in Beer Filtration Plant -- 5.3.1 Stage-Based Operating Procedures -- 5.3.2 Time-Based Operating Procedures -- 5.4 Semiconductor Manufacturing Process Scheduling Strategy.; 5.4.1 Petri Net Models -- 5.4.2 Optimal Scheduling Strategy -- 5.4.3 Token Movements -- 5.4.4 Shared Resources -- 5.4.5 Linearization of Minimum-Horizon Model -- 5.4.6 Final Test Process -- 5.5 Concluding Remarks -- References -- 6 Normal Operating Procedures Obtained with Untimed Automata -- 6.1 Extended Finite Automata -- 6.2 An Illustrative Example -- 6.3 Component Models -- 6.3.1 Actuators -- 6.3.2 PID Controller -- 6.4 Intrinsic Stages and Their Control Specifications -- 6.5 Procedure Synthesis -- 6.6 Dynamic Simulation -- 6.7 Additional Examples -- 6.7.1 Semi-batch Reaction -- 6.7.2 Distillation Startup -- 6.8 Concluding Remarks -- Appendix 6.1 Component Models Used in Flash Startup Example -- Appendix 6.2 Control Specifications Used in Flash Startup Example -- References -- 7 Normal Operating Procedures Obtained with Timed Automata -- 7.1 Timed Automata -- 7.2 Process Structure -- 7.3 Construction of Component Models -- 7.3.1 Actuators and PID Controllers -- 7.3.2 Flash Drum -- 7.4 Intrinsic Stages and Their Control Specifications -- 7.4.1 Control Specifications for Stage 1 -- 7.4.2 Control Specifications for Stage 2 -- 7.4.3 Control Specifications for Stage 3 -- 7.5 Procedure Synthesis -- 7.6 Dynamic Simulation Studies -- 7.7 Another Example -- 7.7.1 Operation Stages -- 7.7.2 Feasible Operating Procedures -- 7.7.3 Unsafe Operating Procedures -- 7.7.4 Comparison with Aspen Built-in Procedure -- 7.8 Concluding Remarks -- Appendix 7.1 Exploratory and Test Runs on Aspen Plus Dynamics -- State Variables -- State Transition Times -- Appendix 7.2 Component Models and Layer Model Used in the Flash Startup Example -- Component Models in Level 3 -- Component Models in Level 5 -- Layer Model -- Appendix 7.3 A Detailed Listing of the Guards and Updates of Every Edge in the Component Model of Flash Drum.; Appendix 7.4 Task File Used for SFC-7.3 Simulation -- References -- 8 Generation of Test Plans for Fault Diagnosis with Untimed Automata -- 8.1 Model-Building Methods -- 8.2 Observable Event Traces in Diagnoser -- 8.3 Control Specifications for Diagnostic Tests -- 8.3.1 Test Target -- 8.3.2 Auxiliary Constraint -- 8.4 Test-Plan Synthesis -- 8.5 Case Studies -- 8.5.1 A Three-Tank Buffer System -- 8.5.2 A Beer Filtration Plant -- 8.6 Concluding Remarks -- References -- 9 Synthesis of Diagnostic Tests Based on Timed Automata -- 9.1 Model-Building Approach -- 9.2 Exhaustive Enumeration of Fault Propagation Scenarios -- 9.3 Construction of Test Plans -- 9.4 Case Studies -- 9.5 Concluding Remarks -- References -- 10 Synthesis of Diagnostic Test Plans Based on Hybrid Automata -- 10.1 Illustrative Example -- 10.2 Automata Built with Engineering Knowledge -- 10.2.1 PID Controller and Actuator -- 10.2.2 Process Configuration -- 10.2.3 Processing Units -- 10.2.4 Sensors -- 10.2.5 PLC or Operator -- 10.2.6 System Hierarchy -- 10.2.7 Path Explosion -- 10.3 Automata Built with Simulation and/or Historical Data -- 10.4 Hybrid Models -- 10.5 Observable Event Traces -- 10.6 Test Plan Synthesis -- 10.7 Validation of Test Plans -- 10.7.1 Trace Tr02.1 -- 10.7.2 Trace Tr02.2 -- 10.7.3 Trace Tr02.3 -- 10.8 Additional Case Studies -- 10.8.1 Process Description -- 10.8.2 Aggregated Hybrid Model -- 10.8.3 Diagnoser -- 10.8.4 Test Plans -- 10.9 Concluding Remarks -- References -- Index.

Language learners in study abroad contexts [[electronic resource] /] / edited by Margaret A. DuFon and Eton Churchill

• Record Nr.: UNINA9910784018303321
• Pubbl/distr/stampa: Clevedon, England ; ; Buffalo, NY, : Multilingual Matters, c2006
• ISBN: 1-84769-950-2; 1-280-50169-3; 9786610501694; 1-85359-853-4
• Descrizione fisica: 1 online resource (343 p.)
• Collana: Second language acquisition ; 15
• Altri autori (Persone): DuFonMargaret A. <1950->; ChurchillEton <1964->
• Disciplina: 418
• Soggetti: Second language acquisition; Language and languages - Study and teaching; Language and culture; Intercultural communication; Sociolinguistics
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references (p. 294-318) and index.
• Nota di contenuto: Evolving threads in study abroad research / Eton Churchill and Margaret A. DuFon -- Learning to take leave in social conversations : a diary study / Tim Hassall -- Learning to say 'you' in German : the acquisition of sociolinguistic competence in a study abroad context / Anne Barron -- The socialization of taste during study abroad in Indonesia / Margaret A. DuFon -- Joint construction of folk beliefs by JFL learners and Japanese host families / Haruko Minegishi Cook -- Norms of interaction in a Japanese homestay setting : toward two-way flow of linguistic and cultural resources / Masakazu Iino -- Negotiation in a Japanese study abroad setting / Abigail McMeekin -- Variability in the study abroad classroom and learner competence / Eton Churchill -- Study abroad social networks, motivation, and attitudes : implications for second language acquisition / Christina L. Isabelli-García -- Language learning strategies in the study abroad context / Rebecca Adams.
• Sommario/riassunto: Examining the overseas experience of language learners in diverse contexts through a variety of theoretical and methodological approaches, studies in this volume look at the acquisition of language use, socialization processes, learner motivation, identity and learning strategies. In this way, the volume offers a privileged window into learner experiences abroad while addressing current concerns central to second language acquisition.