الصفحة 1
الصفحة 1
Time in Quantum Mechanics
The treatment of time in quantum mechanics is still an important and challenging open question in the foundation of the quantum theory. This book describes the problems, and the attempts and achievements in defining, formalizing and measuring different time quantities in quantum theory.
The Supercontinuum Laser Source : Fundamentals with Updated References
This book covers the fundamental principles and surveys research of current thinkers and experts in the field with updated references of the key breakthroughs over the past decade and a half. The application of SC are time-resolved pump-SC probe absorption and excitation spectroscopy for chemistry, biology and physics fundamental processes; optical coherence tomography; ultrashort pulse generation in femtosecond and attosecond regions; frequency clocks; phase stabilization; optical communication; atmospheric science; lightning control; optical medical imaging; biological cell imaging; and metrology standards.
The Quantum Beat : Principles and Applications of Atomic Clocks
This work attempts to convey a broad understanding of the physical principles underlying the workings of these quantum-based atomic clocks, with introductory chapters placing them in context with the early development of mechanical clocks and the introduction of electronic time-keeping as embodied in the quartz-controlled clocks.
Femtosecond optical frequency comb : Principle, operation and applications
This book provides an introductory description of mode-locked lasers, the connection between time and frequency descriptions of their output and the physical origins of the electric field dynamics, together with an overview of applications of femtosecond comb technology. Individual chapters go into more detail on mode-locked laser development, spectral broadening in microstructure fiber, optical parametric amplification, optical frequency metrology, optical atomic clocks, ultrasensitive sensors, carrier-envelope phase dynamics, high field ionization of atoms and generation of attosecond high-harmonic radiation. To provide readers with the most recent, direct, and comprehensive information, the chapters are written by the international researchers who have led the development of this field. This book provides an introduction to those new to the field and is at the same time a resource for experts.
Difference Equations : From Rabbits to Chaos
Difference equations are models of the world around us. From clocks to computers to chromosomes, processing discrete objects in discrete steps is a common theme. Difference equations arise naturally from such discrete descriptions and allow us to pose and answer such questions as: How much? How many? How long? Difference equations are a necessary part of the mathematical repertoire of all modern scientists and engineers.The book cover the basics of difference equations and some of their applications in computing and in population biology. Each chapter leads to techniques that can be applied by hand to small examples or programmed for larger problems. Along the way, the reader will use linear algebra and graph theory, develop formal power series, solve combinatorial problems, visit Perron—Frobenius theory, discuss pseudorandom number generation and integer factorization, and apply the Fast Fourier Transform to multiply polynomials quickly.
Code : The Hidden Language of Computer Hardware and Software ; 2nd ed
The classic guide to how computers work, updated with new chapters and interactive graphics Computers are everywhere --- most obviously in our laptops and smartphones, but also our cars, televisions, microwave ovens, alarm clocks, robot vacuum cleaners, and other smart appliances. Have you ever wondered what goes on inside these devices to make our lives easier but occasionally more infuriating? Explores more deeply the bit-by-bit, gate-by-gate construction of the heart of every smart device ― the central processing unit that combines the simplest of basic operations to perform the most complex of feats. Along with new chapters, Petzold created a new website, CodeHiddenLanguage.com, that uses animated interactive graphics to make computers even easier to comprehend.
Clocks in the Sky : The Story of Pulsars
In this book, Geoff McNamara explores the history, subsequent discovery and contemporary research into pulsar astronomy. The story of pulsars is brought right up to date with the announcement in 2006 of a new breed of pulsar, Rotating Radio Transients (RRATs), which emit short bursts of radio signals separated by long pauses. These may outnumber conventional radio pulsars by a ratio of four to one. Geoff McNamara ends by pointing out that, despite the enormous success of pulsar research in the second half of the twentieth century, the real discoveries are yet to be made including, perhaps, the detection of the hypothetical pulsar black hole binary system by the proposed Square Kilometre Array - the largest single radio telescope in the world.
Lasers, Clocks and Drag-Free Control : Exploration of Relativistic Gravity in Space
Over the next decade the gravitational physics community will benefit from dramatic improvements in many technologies critical to testing gravity. Highly accurate deep space navigation, interplanetary laser communication, interferometry and metrology, high precision frequency standards, precise pointing and attitude control, together with drag-free technologies, will revolutionize the field of experimental gravitational physics. The centennial of the general theory of relativity in 2015 will motivate a significant number of experiments designed to test this theory with unprecedented accuracy.
Charged Particle Traps : Physics and Techniques of Charged Particle Field Confinement
This book provides an introduction and guide to modern advances in charged particle (and antiparticle) confinement by electromagnetic fields. Confinement in different trap geometries, the influence of trap imperfections, classical and quantum mechanical description of the trapped particle motion, different methods of ion cooling to low temperatures, and non-neutral plasma properties (including Coulomb crystals) are the main subjects. They form the basis of such applications of charged particle traps as high-resolution optical and microwave spectroscopy, mass spectrometry, atomic clocks, and, potentially, quantum computing.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
