04424nam 22006495 450 99646619400331620200705022532.03-662-48650-410.1007/978-3-662-48650-4(CKB)4340000000001300(SSID)ssj0001585615(PQKBManifestationID)16264296(PQKBTitleCode)TC0001585615(PQKBWorkID)14864583(PQKB)10923503(DE-He213)978-3-662-48650-4(MiAaPQ)EBC6297342(MiAaPQ)EBC5577961(Au-PeEL)EBL5577961(OCoLC)932003168(PPN)190529156(EXLCZ)99434000000000130020151123d2015 u| 0engurnn#008mamaatxtccrTransactions on Petri Nets and Other Models of Concurrency X[electronic resource] /edited by Maciej Koutny, Jörg Desel, Serge Haddad1st ed. 2015.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2015.1 online resource (XV, 177 p. 41 illus. in color.)Transactions on Petri Nets and Other Models of Concurrency,1867-7193 ;9410Bibliographic Level Mode of Issuance: Monograph3-662-48649-0 Verification of Logs - Revealing Faulty Processes of a Medical Laboratory -- An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model -- Timed Aggregate Graph: Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies -- Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling -- Modelling and Analysis Mobile Systems Using π-Calculus (EFCP).These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 10th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 35th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2014, and the 14th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC. The 8 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency.Transactions on Petri Nets and Other Models of Concurrency,1867-7193 ;9410Software engineeringComputer logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware engineering.Computer logic.Software Engineering.Logics and Meanings of Programs.511.3Koutny Maciejedthttp://id.loc.gov/vocabulary/relators/edtDesel Jörgedthttp://id.loc.gov/vocabulary/relators/edtHaddad Sergeedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466194003316Transactions on Petri Nets and Other Models of Concurrency X2831824UNISA04674nam 22006735 450 991030036900332120200706015330.03-319-01890-610.1007/978-3-319-01890-4(CKB)3710000000074275(EBL)1592133(OCoLC)868915422(SSID)ssj0001067644(PQKBManifestationID)11681941(PQKBTitleCode)TC0001067644(PQKBWorkID)11092882(PQKB)11484942(MiAaPQ)EBC1592133(DE-He213)978-3-319-01890-4(PPN)25885202X(PPN)176105050(EXLCZ)99371000000007427520131115d2014 u| 0engur|n|---|||||txtccrMagnetic Stochasticity in Magnetically Confined Fusion Plasmas Chaos of Field Lines and Charged Particle Dynamics /by Sadrilla Abdullaev1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (422 p.)Springer Series on Atomic, Optical, and Plasma Physics,1615-5653 ;78Description based upon print version of record.3-319-01889-2 Includes bibliographical references and index.Hamiltonian Representation of Magnetic Field -- Magnetic Field Structure of Equilibrium Plasmas -- Magnetic Field Perturbations.-Hamiltonian Equations for the Guiding Center Motion of Particles -- Drift Orbits in Equilibrium Plasmas -- Methods to Study the Hamiltonian Systems -- Onset of Dynamical Chaos: Mathematical Aspects -- Onset of Dynamical Chaos: Physical Aspects -- Magnetic Field Structure Induced by Resonant Magnetic Perturbations in Tokamaks -- Transport of Field Lines and Particles in a Stochastic Magnetic Field -- Transport of Particles in a Turbulent Field.This is the first book to systematically consider the modern aspects of chaotic dynamics of magnetic field lines and charged particles in magnetically confined fusion plasmas.  The analytical models describing the generic features of equilibrium magnetic fields and  magnetic perturbations in modern fusion devices are presented. It describes mathematical and physical aspects of onset of chaos, generic properties of the structure of stochastic magnetic fields, transport of charged particles in tokamaks induced by magnetic perturbations, new aspects of particle turbulent transport, etc. The presentation is based on the classical and new unique mathematical tools of Hamiltonian dynamics, like the action--angle formalism, classical perturbation theory, canonical transformations of variables, symplectic mappings, the Poincaré-Melnikov integrals. They are extensively used for analytical studies as well as for numerical simulations of magnetic field lines, particle dynamics, their spatial structures and  statistical properties.  The numerous references to articles on the latest development in the area are provided.The book is intended for graduate students and researchers who interested in the modern problems of magnetic stochasticity in magnetically confined fusion plasmas. It is also useful for physicists and  mathematicians interested in new methods of Hamiltonian dynamics and  their applications.Springer Series on Atomic, Optical, and Plasma Physics,1615-5653 ;78AtomsPhysicsPlasma (Ionized gases)Atoms and Molecules in Strong Fields, Laser Matter Interactionhttps://scigraph.springernature.com/ontologies/product-market-codes/P24025Plasma Physicshttps://scigraph.springernature.com/ontologies/product-market-codes/P24040Numerical and Computational Physics, Simulationhttps://scigraph.springernature.com/ontologies/product-market-codes/P19021Applied and Technical Physicshttps://scigraph.springernature.com/ontologies/product-market-codes/P31000Atoms.Physics.Plasma (Ionized gases)Atoms and Molecules in Strong Fields, Laser Matter Interaction.Plasma Physics.Numerical and Computational Physics, Simulation.Applied and Technical Physics.530.44Abdullaev Sadrillaauthttp://id.loc.gov/vocabulary/relators/aut791375BOOK9910300369003321Magnetic Stochasticity in Magnetically Confined Fusion Plasmas1768760UNINA