2006 Refining Processes Computer File

This book constitutes the refereed proceedings of the First Asian Semantic Web Conference, ASWC 2006, held in Beijing, China, in September 2006. The 36 revised full papers and 36 revised short papers presented together with three invited contributions were carefully reviewed and selected from 208 full paper submissions. The papers are organized in topical sections.

Used lubricating oil is a valuable resource. However, it must be re-refined mainly due to the accumulation of physical and chemical contaminants in the oil during service. Refining Used Lubricating Oils describes the properties of used lubricating oils and presents ways these materials can be re-refined and converted into useful lubricants as well as other products. It provides an up-to-date review of most of the processes for used lubricating oil refining that have been proposed or implemented in different parts of the world, and addresses feasibility and criteria for selecting a particular process. The book begins with an overview of lubricating oil manufacturing, both petroleum-based and synthetic-based. It reviews the types and properties of lubricating oils and discusses the characteristics and potential of used lubricating oils. The authors describe the basic steps of used oil treatment including dehydration, distillation or solvent extraction, and finishing. They explore the combustion of used oil for use as fuel, covering chemistry and equipment, fuel oil properties, and combustion emissions. The book considers alternative processing options such as refinery processing and re-refining. It also reviews the major refining processes that have been suggested over the years for used oil. These include acid/clay, simple distillation, combinations of distillation and hydrogenation, solvent extraction, filtration, and coking processes. The book addresses economic, life cycle assessment, and other criteria for evaluating the attractiveness of an oil recycling project, examining various costs and presenting an economic evaluation method using an Excel spreadsheet that can be downloaded from the publisher’s website. The book concludes with a chapter offering insights on how to choose the most suitable process technology.

A pioneering and comprehensive introduction to the complex subject of integrated refinery process simulation, using many of the tools and techniques currently employed in modern refineries. Adopting a systematic and practical approach, the authors include the theory, case studies and hands-on workshops, explaining how to work with real data. As a result, senior-level undergraduate and graduate students, as well as industrial engineers learn how to develop and use the latest computer models for the predictive modeling and optimization of integrated refinery processes. Additional material is available online providing relevant spreadsheets and simulation files for all the models and examples presented in the book.

The European Symposium on Computer Aided Process Engineering (ESCAPE) series presents the latest innovations and achievements of leading professionals from the industrial and academic communities. The ESCAPE series serves as a forum for engineers, scientists, researchers, managers and students to present and discuss progress being made in the area of computer aided process engineering (CAPE). European industries large and small are bringing innovations into our lives, whether in the form of new technologies to address environmental problems, new products to make our homes more comfortable and energy efficient or new therapies to improve the health and well being of European citizens. Moreover, the European Industry needs to undertake research and technological initiatives in response to humanity's "Grand Challenges," described in the declaration of Lund, namely, Global Warming, Tightening Supplies of Energy, Water and Food, Ageing Societies, Public Health, Pandemics and Security. Thus, the Technical Theme of ESCAPE 21 will be "Process Systems Approaches for Addressing Grand Challenges in Energy, Environment, Health, Bioprocessing & Nanotechnologies."

Embedded computing systems play an important and complex role in the functionality of electronic devices. With our daily routines becoming more reliant on electronics for personal and professional use, the understanding of these computing systems is crucial. Embedded Computing Systems: Applications, Optimization, and Advanced Design brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures. By highlighting formal modeling, execution models, and optimal implementations, this reference source is essential for experts, researchers, and technical supporters in the industry and academia.

This book constitutes the thoroughly refereed proceedings of the 13th Workshop of the European Group for Intelligent Computing in Engineering and Architecture, EG-ICE 2006, held in Ascona, Switzerland in June 2006. The 59 revised full papers were carefully reviewed and selected from numerous submissions for inclusion in the book. All issues of advanced informatics are covered including a range of techniques.

The utilization of various types of biomass residue to produce products such as biofuels and biochemicals means biorefinery technology using biomass residues may become a one-stop solution to the increasing need for sustainable, non-fossil sources of energy and chemicals. Refining Biomass Residues for Sustainable Energy and Bioproducts: Technology, Advances, Life Cycle Assessment and Economics focuses on the various biorefineries currently available and discusses their uses, challenges, and future developments. This book introduces the concept of integrated biorefinery systems, as well as their operation and feedstock sourcing. It explores the specificities, current developments, and potential end products of various types of residue, from industrial and municipal to agricultural and marine, as well as residue from food industries. Sustainability issues are discussed at length, including life cycle assessment, economics, and cost analysis of different biorefinery models. In addition, a number of global case studies examine successful experiences in different regions. This book is an ideal resource for researchers and practitioners in the field of bioenergy and waste management who are looking to learn about technologies involved in residue biorefinery systems, how to reduce their environmental impacts, and how to ensure their commercial viability. Explores a range of different biorefinery categories, such as industrial, agricultural, and marine biomass residues Includes a Life Cycle Assessment of biorefinery models, in addition to costs and market analysis. Features case studies from around the world and is written by an international team of authors

This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking—from foundational and methodological issues to the evaluation of major tools and systems—are addressed.