Jingbo Wang – författare

The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

The O&G industry is going through a paradigm shift, where scarcity of water, economics of water management, declining oil costs, and increasing focus on environmental and ecological stewardship are shifting the focus toward integrated water management in E&P operations.

Produced water contributes to the largest volume waste stream associated with oil and gas (O&G) exploration and production (E&P) operations. It is usually a complex mixture of inorganics and organics that is formed underground and brought to the surface during O&G production. Traditionally, produced water has been considered as a waste to the O&G industry. The conventional management strategies include disposal (typically by injection into depleted wells or permitted disposal wells), recycle (direct reuse within the E&P operation), and reuse (treatment and reuse offsite for food crop irrigation, livestock watering or industrial use). The O&G industry is going through a paradigm shift, where scarcity of water, economics of water management, declining oil costs, and increasing focus on environmental and ecological stewardship are shifting the focus toward integrated water management in E&P operations. Water is no longer a problem to be delegated to a third-party disposal or treatment vendor, but is becoming a cornerstone of O&G production. In this review, we summarize produced water characteristics, regulations and management options, produced water treatment fundamentals, and a detailed discussion of process equipment and advantages/disadvantages of currently available treatment processes. These results in peer-reviewed publications could provide a guide for the selection of appropriate technologies based on the desired application. Major research efforts in the future could focus on the optimization of current technologies and use of combined treatment processes of produced water in order to comply with reuse and discharge limits, under more stringent environmental regulations.

Over the past half century, reverse osmosis (RO) has grown from a nascent niche technology into the most versatile and effective desalination and advanced water treatment technology available.

Over the past half century, reverse osmosis (RO) has grown from a nascent niche technology into the most versatile and effective desalination and advanced water treatment technology available. However, there remain certain challenges for improving the cost-effectiveness and sustainability of RO desalination plants in various applications. In low-pressure RO applications, both capital (CAPEX) and operating (OPEX) costs are largely influenced by product water recovery, which is typically limited by mineral scale formation. In seawater applications, recovery tends to be limited by the salinity limits on brine discharge and cost is dominated by energy demand. The combination of water scarcity and sustainability imperatives, in many locations, is driving system designs towards minimal and zero liquid discharge (M/ZLD) for inland brackish water, municipal and industrial wastewaters, and even seawater desalination. Herein, we review the basic principles of RO processes, the state-of-the-art for RO membranes, modules and system designs as well as methods for concentrating and treating brines to achieve MLD/ZLD, resource recovery and renewable energy powered desalination systems. Throughout, we provide examples of installations employing conventional and some novel approaches towards high recovery RO in a range of applications from brackish groundwater desalination to oil and gas produced water treatment and seawater desalination.

Quantum mechanics undergraduate courses mostly focus on systems with known analytical solutions; the finite well, simple Harmonic, and spherical potentials. However, most problems in quantum mechanics cannot be solved analytically. This textbook introduces the numerical techniques required to tackle problems in quantum mechanics, providing numerous examples en route. No programming knowledge is required – an introduction to both Fortran and Python is included, with code examples throughout.With a hands-on approach, numerical techniques covered in this book include differentiation and integration, ordinary and differential equations, linear algebra, and the Fourier transform. By completion of this book, the reader will be armed to solve the Schrödinger equation for arbitrarily complex potentials, and for single and multi-electron systems.

Given the extensive application of random walks in virtually every science related discipline, we may be at the threshold of yet another problem solving paradigm with the advent of quantum walks. Over the past decade, quantum walks have been explored for their non-intuitive dynamics, which may hold the key to radically new quantum algorithms. This growing interest has been paralleled by a flurry of research into how one can implement quantum walks in laboratories. This book presents numerous proposals as well as actual experiments for such a physical realization, underpinned by a wide range of quantum, classical and hybrid technologies.

Given the extensive application of random walks in virtually every science related discipline, we may be at the threshold of yet another problem solving paradigm with the advent of quantum walks. Over the past decade, quantum walks have been explored for their non-intuitive dynamics, which may hold the key to radically new quantum algorithms. This growing interest has been paralleled by a flurry of research into how one can implement quantum walks in laboratories. This book presents numerous proposals as well as actual experiments for such a physical realization, underpinned by a wide range of quantum, classical and hybrid technologies.

Given the extensive application of random walks in virtually every science related discipline, we may be at the threshold of yet another problem solving paradigm with the advent of quantum walks. Over the past decade, quantum walks have been explored for their non-intuitive dynamics, which may hold the key to radically new quantum algorithms.

This book offers a comprehensive assessment of the successes and failures in China’s current legal system construction. Reform of the administrative examination and approval system and the administrative licensing system;