الصفحة 13
الصفحة 13
Container Terminals and Automated Transport Systems : Logistics Control Issues and Quantitative Decision Support
Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals involve a huge capital investment and significant daily operating costs, it is of crucial importance to efficiently utilize the internal resources of container terminals and transportation systems. Today there is an ongoing trend to use automated container handling and transportation technology, in particular, in countries with high labour costs. This in turn requires highly sophisticated control strategies in order to meet the desired performance measures. The primary objective of this book is to reflect these recent developments and to present new insights and successful solutions to operational problems of automated container terminals and transportation systems. It comprises reports on the state of the art, applications of quantitative methods, as well as case studies and simulation results. Its contributions are written by leading experts from academia and business.
Construction of Mappings for Hamiltonian Systems and Their Applications
Based on the method of canonical transformation of variables and the classical perturbation theory, this innovative book treats the systematic theory of symplectic mappings for Hamiltonian systems and its application to the study of the dynamics and chaos of various physical problems described by Hamiltonian systems. It develops a new, mathematically-rigorous method to construct symplectic mappings which replaces the dynamics of continuous Hamiltonian systems by the discrete ones. Applications of the mapping methods encompass the chaos theory in non-twist and non-smooth dynamical systems, the structure and chaotic transport in the stochastic layer, the magnetic field lines in magnetically confinement devices of plasmas, ray dynamics in waveguides, etc. The book is intended for postgraduate students and researches, physicists and astronomers working in the areas of plasma physics, hydrodynamics, celestial mechanics, dynamical astronomy, and accelerator physics. It should also be useful for applied mathematicians involved in analytical and numerical studies of dynamical systems.
Constraint satisfaction techniques for agent-based reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as transportation, production, supply-chains, network management and human resource management. In this book we study new techniques for solving constraint satisfaction problems, with a special focus on solution adaptation applied to agent reasoning.
Conducting Polymers : A New Era in Electrochemistry
The discovery of polymers with variable conductivity brought forth a paradigmatic change in chemistry and in other branches of science and technology. Electrochemistry has played a central role in the preparation, characterization and application of these new materials. This book is a systematic survey of the knowledge accumulated in this field in the last thirty years. It includes thermodynamic aspects, the theory of the mechanism of charge transport processes, the chemical and physical properties of these compounds, the techniques of characterization, the chemical and electrochemical methods of synthesis as well as the application of these systems. The book contains a compilation of the polymers prepared so far and covers the relevant literature.
Concrete materials and technology : A practical guide
Demands an underlying knowledge of concrete fundamentals as well as its constituent materials, and in various formulations. Starting with the basics, Concrete Materials and Technology: A Practical Guide examines the production and chemistry of cement, as well as the different types and their applications. Quality control processes and numerous methods for testing are presented and explained in detail.
Concentrator Location in Telecommunications Networks
It presents polyhedral results and exact solution methods for location problems encountered in telecommunications but which also have applications in other areas like transportation and supply chain management.
Computer-aided Systems in Public Transport
This proceedings volume consists of selected papers presented at the Ninth Int- national Conference on Computer-Aided Scheduling of Public Transport (CASPT 2004), which was held at the Hilton San Diego Resort and Conference Center in San Diego, California, USA, from August 9-11, 2004. The CASPT 2004 conference is the continuation of a series of international workshops and conferences prese- ing recent research and progress in computer-aided scheduling in public transport.
Computer-Aided Highway Engineering
Aimed at developing professional knowledge in the field of highway engineering with adequate skills in planning, designing and implementation of the highway project with an exposure of hands on training of computer software in designing the worldwide road infrastructures. It discusses Digital Terrain Model (DTM) using satellite data including highway geometric, pavement and tunnel design, supported by relevant tutorials. Quantity estimation, cost estimation and production of various types of construction drawings are described in detail with theory and tutorials backed by real project data. Recognizes the role of information and computer technology in various aspects of highway design. Reviews different tasks for feasibility studies and DPR with software applications. Explores topographic survey, Digital Terrain Model (DTM) and highway geometrics and, pavement and drainage design. Discusses project estimations for various revisions of the engineering work. Includes HEADS Pro along with chapter wise tutorials containing design and field data, tutorial guides and various tutorial videos.
Computer Network Security
As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. Yet despite the proliferation of expert remedies, a viable solution to these security issues remains elusive, and society continues to suffer at the hands of cyber vandalism and computer viruses. This comprehensive text outlines and discusses today’s most important issues and concerns in computer network and information safety and security, and promises to ignite debate and participation in the ongoing global security dialog Computer Network Security is foremost an educational tool that aims to explore computer network infrastructure and protocol design security flaws and discusses current security solutions and best practices. It explores the security threats and vulnerabilities in the current network infrastructure and protocols and outlines current efforts including: Access Control and Authorization, Cryptography, Firewalls and VPNs, Web Security and Content Filtering, among others. The text further discusses various security proposals This text is an invaluable instructional and research tool for courses in computer and information security. Students or practitioners in computer science, information science, technology studies, library sciences, and information management studies will find this text particularly useful for their purposes. In addition, it is a rich resource for those looking to gain an understanding of computer infrastructures and network security threats.
Computational Methods in Transport ; Granlibakken 2004
Based on a series of lectures given in the Granlibakken workshop was devoted to providing a forum, where computational transport researchers could communicate their methods with their results. This book presents computational transport in mathematics, astrophysics, high energy density physics, atmospheric physics, oceanography, and plant canopies.
Computational Methods in Transport : Verification and Validation
The focus of this book deals with a cross cutting issue affecting all particle transport algorithms and applications; verification and validation (V&V). In other words, are the equations being solved correctly and are the correct equations being solved? Verification and validation assures a scientist, engineer or mathematician that a simulation code is a mirror of reality and not just an expensive computer game. In this book, we will learn what the astrophysicist, atmospheric scientist, mathematician or nuclear engineer do to assess the accuracy of their code. What convergence studies, what error analysis, what problems do each field use to benchmark and ascertain the accuracy of their transport simulations.
Computational Fluid Dynamics : Applications in Water, Wastewater and Stormwater Treatment
Provides a valuable introduction and overview of computational fluid dynamics and how it can be used in the water and wastewater industry. This book reviews procedures for conducting flow, transport, and reaction simulations using computational fluid dynamics along with specific practical examples.
Commercial and apartment building
Residential Commercial Building Project. Built in Morata City, Damascus, Syria. This Project consists of a building made up of: One Basement, One Parking Lot, Five Commercial Floors, Seven Apartments, A Hall Made for Sports.
Combined Scintigraphic and Radiographic Diagnosis of Bone and Joint Diseases
In addition to the bone and joint diseases described in the two earlier editions, this book encompasses novel applications of pinhole scanning to the diagnosis of a broader spectrum of skeletal disorders. It has been considerably expanded to discuss five new themes and is complemented by the addition of some 90 recently acquired cases
Column Generation
Column Generation is an insightful overview of the state of the art in integer programming column generation and its many applications. The volume begins with "A Primer in Column Generation" which outlines the theory and ideas necessary to solve large-scale practical problems, illustrated with a variety of examples. Other chapters follow this introduction on "Shortest Path Problems with Resource Constraints," "Vehicle Routing Problem with Time Window," "Branch-and-Price Heuristics," "Cutting Stock Problems," each dealing with methodological aspects of the field. Three chapters deal with transportation applications: "Large-scale Models in the Airline Industry," "Robust Inventory Ship Routing by Column Generation," and "Ship Scheduling with Recurring Visits and Visit Separation Requirements." Production is the focus of another three chapters: "Combining Column Generation and Lagrangian Relaxation," "Dantzig-Wolfe Decomposition for Job Shop Scheduling," and "Applying Column Generation to Machine Scheduling." The final chapter by François Vanderbeck, "Implementing Mixed Integer Column Generation," reviews how to set-up the Dantzig-Wolfe reformulation, adapt standard MIP techniques to the column generation context (branching, preprocessing, primal heuristics), and deal with specific column generation issues (initialization, stabilization, column management strategies).
Colloidal Transport in Porous Media
Colloids are known to be the often neglected phase for the transport of pollutants in aquatic ecosystems. The book covers the basics of abiotic colloid characterization, of biocolloids and biofilms, the resulting transport phenomena and their engineering aspects. The subject is presented from an international group of leading specialists devoted to colloidal sciences. The contributions include theoretical considerations, results from model experiments as well as field studies. The information given will serve students and scientists interested in the analytical, chemical, microbiological, geological and hydrological aspects of material transport in aquatic systems and soils.
Cognitive Computing in Human Cognition : Perspectives and Applications
This edited book designs the Cognitive Computing in Human Cognition to analyze to improve the efficiency of decision making by cognitive intelligence. The book is also intended to attract the audience who work in brain computing, deep learning, transportation, and solar cell energy. Due to this in the recent era, smart methods with human touch called as human cognition is adopted by many researchers in the field of information technology with the Cognitive Computing.
Mathematical Modelling for Sustainable Development
Mathematics needs Sustainable Development. When science was gradually reinvented in European medieval societies, it was legitimised as contributing to the disclosure of God’s divine creation. The conflicts that emerged became well known as a result of the clash between Galileo and the Church. Science found a new legitimacy through recognition that it was a powerful force against superstition. In the Enlightenment the argument was pushed forward by attributing Progress to the advancement of science: science could produce a better world by promoting rationality. In our modern society, science has become intimately linked to technology. Science for its own sake unfortunately rarely has positive outcomes in terms of research grant applications. Meanwhile, science and technology, and the progress they are supposed to produce, meet with wide scale scepticism. We all know of the current global problems: climate change, resource depletion, a thinning ozone layer, space debris, declining biodiversity, malnutrition, dying ecosystems, global inequity, and the risk of unprecedented nuclear wars
Mathematical Modeling, Simulation, Visualization and e-Learning ; Proceedings of an International Workshop held at Rockefeller Foundation' s Bellagio Conference Center, Milan, Italy, 2006
This book is a collection of articles written by some of the most prominent leading applied mathematicians, as well as articles from young and promising scientists from Africa, Asia and Europe. The common objective of these articles is to present an important issue which is currently widely discussed in scientific investigation with major human, economic or ecological implications. One main feature of the series, which the current book exemplifies, is that each article is as deep as an expert lecture but is also self-contained, so that even isolated scientists with limited resources can profit greatly from it. Another feature of this book is that each article is meant to present a collection of open questions which can fuel undergraduate or graduate research activities even in smaller or more isolated scientific communities.
Mathematical and Computational Models for Congestion Charging
This book presents rigorous treatments of issues related to congestion pricing. The chapters describe recent advances in areas such as mathematical and computational models for predicting traffic congestion, determining when, where, and how much to levy tolls, and analyzing the impact of tolls on transporation systems. The analyses and methodologies developed in this book provide Mechanisms that aid in determining and comparing congestion pricing schemes; Methodologies for evaluating the efficiency of existing and proposed congestion pricing schemes; A means to predict the impact of pricing on urban transporation systems; and Information essential to the financial and political success of congestion pricing programs.
