Kirjahaku

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (e.g., reachability, liveness, deadlock, and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets, Petri nets with insecure places, time Petri nets, and plain time Petri nets with priorities, focusing on different fields of application. As for the model checking methods, this book introduces readers to computation tree logic (CTL), computation tree logic of knowledge (CTLK), and timed computation tree logic (TCTL), as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-soundness for time Petri nets and secure bisimulation for Petri nets with insecure places, both of which are based on the bisimulation theory. As such, it offers an introduction to basic information on bisimulation theory.

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (e.g., reachability, liveness, deadlock, and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets, Petri nets with insecure places, time Petri nets, and plain time Petri nets with priorities, focusing on different fields of application. As for the model checking methods, this book introduces readers to computation tree logic (CTL), computation tree logic of knowledge (CTLK), and timed computation tree logic (TCTL), as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-soundness for time Petri nets and secure bisimulation for Petri nets with insecure places, both of which are based on the bisimulation theory. As such, it offers an introduction to basic information on bisimulation theory.

China has undergone a unique path of development in the post-Maoist era. Especially, the last decade witnessed China's rapid rise to economic wealth and superpower status vis-à-vis the severe developmental predicaments of the West (financial crises, socio-political turbulences, etc.). This book analyzes how the leading Chinese thinkers understand China's prosperity and rapid development today, and whether there is any hidden mechanism that has been playing a crucial role of forming contemporary Chinese thinkers' shared passionate endeavor of resuscitating classical Chinese ideas, and thus shows how the fervor for discovering “essential characteristics” of Chinese thought reveals a hidden psychological mechanism.

With the rapid evolution of wireless communication technologies, emerging applications like autonomous driving, telemedicine, and virtual reality are becoming integral to modern life. These advancements have significantly increased computing demands and coverage requirements, posing challenges for traditional systems and resource-constrained devices. Unmanned aerial vehicle-assisted mobile edge computing (UAV-assisted MEC) offers an innovative solution, enabling rapid deployment of communication infrastructure and providing efficient computing services for devices. However, the openness and broadcast nature of UAV communications make them highly susceptible to security threats. The book "Secure Communications in Unmanned Aerial Vehicle-Enabled Mobile Edge Computing Systems" explores advanced strategies to secure data transmission in UAV-enabled MEC systems. Furthermore, this book provides a detailed exploration of how physical-layer security techniques can be effectively employed to enhance secure communications within these complex systems. Aimed at researchers, engineers, and professionals in the fields of secure communications, MEC, and UAV technology, the book addresses the growing demand for resilient security frameworks that can handle the dynamic and real-time nature of UAV operations. It offers vital insights for anyone involved in the development of next-generation wireless networks, making it an indispensable reference for those tackling security challenges in UAV-enabled MEC systems. The content covers advanced theoretical insights and technical analysis, offering a comprehensive range of methods to strengthen security in UAV-enabled MEC systems. Key topics include secure offloading strategies, communication modes, edge learning, deep reinforcement learning, reconfigurable intelligent surface, and multiple UAVs collaboration. Additionally, the book delves into physical-layer security techniques such as artificial noise generation and cooperative jamming. These methods aim to safeguard sensitive information from eavesdroppers and secure communication channels at the physical layer. Alongside these security-focused techniques, the book also covers essential optimization strategies, including trajectory optimization, resource allocation under adversarial conditions, which collectively enhance secure performance in UAV-enabled MEC systems.

V sbornik voshli novejshie proizvedenija dvadtsati shesti pisatelej iz Guanduna - samoj razvitoj provintsii Kitaja, magnita dlja talantov Podnebesnoj. Liricheskie stikhi i pronzitelnye esse rasskazhut o chuvstvakh cheloveka v stremitelno menjajuschemsja mire, o radosti i dushevnoj boli migrantov, obretajuschikh novuju rodinu. Sostavitel: Rodionov A. A.

Chinese media in the reform era walk a fine line between commercialized diversification and Party-state control. Nowhere have these two trends been in more open conflict than at Southern Weekly (Nanfang Zhoumo), a bestselling Guangzhou-based newspaper known for reliably pushing the envelope on media controls. This gripping insider’s account highlights the fiery internal debates and public protests at the paper at the beginning of Xi Jinping’s reign. In early 2013, disagreements with censors over draconian cuts to the paper’s New Year’s edition grew into a lengthy internal discussion about how to push back against the Party’s ever-tightening constraints. At the same time, a parallel movement emerged among activists protesting outside the paper’s Guangzhou’s headquarters to publicly show their opposition to Party control over the media. Nothing, however, changed, as Party-state controls remained firmly in place. Guan Jun offers thoughtful reflections on the tensions inherent within the Chinese government’s program of “reform and opening,” in the new era of tightening authoritarianism under Xi Jinping. The End of Chinese Media, as a first-person account of a seminal cultural and political moment early in, provides an ominous warning on the path ahead for Chinese media and civil society.

Chinese media in the reform era walk a fine line between commercialized diversification and Party-state control. Nowhere have these two trends been in more open conflict than at Southern Weekly (Nanfang Zhoumo), a bestselling Guangzhou-based newspaper known for reliably pushing the envelope on media controls. This gripping insider’s account highlights the fiery internal debates and public protests at the paper at the beginning of Xi Jinping’s reign. In early 2013, disagreements with censors over draconian cuts to the paper’s New Year’s edition grew into a lengthy internal discussion about how to push back against the Party’s ever-tightening constraints. At the same time, a parallel movement emerged among activists protesting outside the paper’s Guangzhou’s headquarters to publicly show their opposition to Party control over the media. Nothing, however, changed, as Party-state controls remained firmly in place. Guan Jun offers thoughtful reflections on the tensions inherent within the Chinese government’s program of “reform and opening,” in the new era of tightening authoritarianism under Xi Jinping. The End of Chinese Media, as a first-person account of a seminal cultural and political moment early in, provides an ominous warning on the path ahead for Chinese media and civil society.

The violent dynamical expansion of dense matter produced in heavy-ion collisions determines that the microscopic transport theories designed for it should keep the line of time evolution and medium effects, both in the in-medium particle drifting and in-medium particle-particle scatterings. A set of relativistic transport equations for particle distribution functions have thus been developed. Starting from a Lagrangian of baryons interacting through mesons, one computes Feynman diagrams up to the Born term through employing the closed time-path Green's function technique. All the ingredients of equations are derived from the same effective interaction and presented analytically. This book clearly shows how a relativistic Boltzmann equation can be deduced from a given interaction through reckoning Feynman diagrams of quantum field theory. While discussions are concentrated on the topic of relativistic heavy-ion collisions, the introduced method is rather general, and may find it's application in the problems of neutrino transportation of astrophysics and electron transportation of solid-state physics.

This book summarizes the research advances in star identification that the author’s team has made over the past 10 years, systematically introducing the principles of star identification, general methods, key techniques and practicable algorithms. It also offers examples of hardware implementation and performance evaluation for the star identification algorithms. Star identification is the key step for celestial navigation and greatly improves the performance of star sensors, and as such the book include the fundamentals of star sensors and celestial navigation, the processing of the star catalog and star images, star identification using modified triangle algorithms, star identification using star patterns and using neural networks, rapid star tracking using star matching between adjacent frames, as well as implementation hardware and using performance tests for star identification. It is not only valuable as a reference book for star sensor designers and researchers working in pattern recognition and other related research fields, but also as teaching resource for senior postgraduate and graduate students majoring in information processing, computer science, artificial intelligence, aeronautics and astronautics, automation and instrumentation. Dr. Guangjun Zhang is a professor at the School of Instrumentation Science and Opto-electronics Engineering, Beihang University, China and also the Vice President of Beihang University, China

This book summarizes the research advances in star identification that the author’s team has made over the past 10 years, systematically introducing the principles of star identification, general methods, key techniques and practicable algorithms. It also offers examples of hardware implementation and performance evaluation for the star identification algorithms. Star identification is the key step for celestial navigation and greatly improves the performance of star sensors, and as such the book include the fundamentals of star sensors and celestial navigation, the processing of the star catalog and star images, star identification using modified triangle algorithms, star identification using star patterns and using neural networks, rapid star tracking using star matching between adjacent frames, as well as implementation hardware and using performance tests for star identification. It is not only valuable as a reference book for star sensor designers and researchers working in pattern recognition and other related research fields, but also as teaching resource for senior postgraduate and graduate students majoring in information processing, computer science, artificial intelligence, aeronautics and astronautics, automation and instrumentation. Dr. Guangjun Zhang is a professor at the School of Instrumentation Science and Opto-electronics Engineering, Beihang University, China and also the Vice President of Beihang University, China

This book takes a comprehensive look at the governance and civil society of Macao, the shadowy mecca of gambling in Asia, and the reforms, changes, and social movements which are challenging that reputation today. Thanks to the rapid expansion of the local casino industry, Macao has experienced spectacular economic growth since it returned to Chinese rule in 1999. Following double-digit rates of economic growth between 2002 and 2013, Macao has become one of the wealthiest regions in Asia, with GDP per capita rising from USD$14,258 in 2001 to USD$89,333 in 2014. However, as the casino industry has overshadowed all other sectors of the local economy, it has not only made Macao’s economy highly vulnerable and difficult to sustain, but has also aroused increasing social discontent. The authors lay out a comprehensive and well-argued discussion of the dilemma of the economic monoculture, and strategies by which to overcome it, in the process producing a book that will be of profoundinterest to scholars of greater China, students of political economy, and travelers to Macao.

This book takes a comprehensive look at the governance and civil society of Macao, the shadowy mecca of gambling in Asia, and the reforms, changes, and social movements which are challenging that reputation today. Thanks to the rapid expansion of the local casino industry, Macao has experienced spectacular economic growth since it returned to Chinese rule in 1999. Following double-digit rates of economic growth between 2002 and 2013, Macao has become one of the wealthiest regions in Asia, with GDP per capita rising from USD$14,258 in 2001 to USD$89,333 in 2014. However, as the casino industry has overshadowed all other sectors of the local economy, it has not only made Macao’s economy highly vulnerable and difficult to sustain, but has also aroused increasing social discontent. The authors lay out a comprehensive and well-argued discussion of the dilemma of the economic monoculture, and strategies by which to overcome it, in the process producing a book that will be of profoundinterest to scholars of greater China, students of political economy, and travelers to Macao.

The book focuses on design technology of high-speed and high-performance direct digital frequency synthesizer (DDS) chip. The technologies involves phase to amplitude converter design, D/A converter design, phase accumulator design, multi-chip synchronization circuit design, etc. In each chapter, the concept of the technology is explained first, and then the features of different implementation schemes are introduced through the real design cases. More over, a design case of a 2.5GHz monolithic DDS in 0.18 µm CMOS which was designed by the authors are introduced in detail, which can help the reader understanding about the of DDS design deeply. The book is suitable for the readers who are interested to learn practical design technology in DDS. The book can benefit researchers, engineers, and graduate students in fields of mix-signal IC design, communication engineering, electronics engineering, and radar engineering, etc.

The book focuses on design technology of high-speed and high-performance direct digital frequency synthesizer (DDS) chip. The technologies involves phase to amplitude converter design, D/A converter design, phase accumulator design, multi-chip synchronization circuit design, etc. In each chapter, the concept of the technology is explained first, and then the features of different implementation schemes are introduced through the real design cases. More over, a design case of a 2.5GHz monolithic DDS in 0.18 µm CMOS which was designed by the authors are introduced in detail, which can help the reader understanding about the of DDS design deeply. The book is suitable for the readers who are interested to learn practical design technology in DDS. The book can benefit researchers, engineers, and graduate students in fields of mix-signal IC design, communication engineering, electronics engineering, and radar engineering, etc.

Based on the field investigation and the summary of the published research results of the April 20, 2013, Lushan, Sichuan, China, MS7.0 earthquake, having occurred along the same fault zone which accommodated the May 12, 2008, Wenchuan MS8.0 earthquake, this Brief tries to describe and discuss the special earthquake phenomenology associated with both the local geology and the changing society. Since the occurrence of this earthquake, there have been the scientific debates on (1) the seismo-tectonics of this earthquake which has no primary seismic fault discovered on the surface of the ground; (2) the relation between this earthquake and the Wenchuan earthquake (i.e., whether it can be considered as one of the aftershocks); and (3) how well have been accomplished in the reduction of earthquake disasters, 5 years after the Wenchuan earthquake. This Brief also tries to introduce the studies and practice of Chinese seismological agencies for the reduction of earthquake disasters. Due to language and cultural barriers, such an introduction makes sense not only for English readers but also for Chinese readers. For example, people (abroad) are always asking why there are so many Chinese seismologists working on earthquake prediction. In fact the Chinese wording 'earthquake prediction' has a much wider coverage than that in English. And actually the Chinese approach to (time-dependent) seismic hazard has no systematic difference from outside world in its methodology.