Skip to main content

Elsevier Science

Towards Verified Systems
1st Edition
Volume 2
J. Bowen
English
As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still need further investigation and promulgation to make their widespread use a reality.This book presents results of research into techniques to aid the formal verification of mixed hardware/software systems. Aspects of system specification and verification from requirements down to the underlying hardware are addressed, with particular regard to real-time issues. The work presented is largely based around the Occam programming language and Transputer microprocessor paradigm. The HOL theorem prover, based on higher order logic, has mainly been used in the application of machine-checked proofs.The book describes research work undertaken on the collaborative UK DTI/SERC-funded Information Engineering Dictorate Safemos project. The partners were Inmos Ltd., Cambridge SRI, the Oxford University Computing Laboratory and the University of Cambridge Computer Laboratory, who investigated the problems of formally verifying embedded systems. The most important results of the project are presented in the form of a series of interrelated chapters by project members and associated personnel. In addition, overviews of two other ventures with similar objectives are included as appendices.The material in this book is intended for computing science researchers and advanced industrial practitioners interested in the application of formal methods to real-time safety-critical systems at all levels of abstraction from requirements to hardware. In addition, material of a more general nature is presented, which may be of interest to managers in charge of projects applying formal methods, especially for safety-critical-syst... and others who are considering their use.
One and Two Dimensional NMR Spectroscopy
1st Edition
Atta-ur- Rahman
English
The field of nuclear magnetic resonance spectroscopy has undergone explosive development during the last decade with the advent of new one- and two-dimensional techniques. The author has had extensive experience in the use of these techniques for the structure elucidation of complex natural products, and in this book he gives a comprehensive, up-to-date and very readable account of these developments.The book's scope is very wide. It starts from fundamental principles of modern NMR spectroscopy, describing the instrumentation and its optimum use, and extends to the latest developments such as inverse measurements. Emphasis is on problem-solving so as to be useful to a large number of organic chemists, biochemists and medicinal chemists. The problems and worked solutions at the end of the chapters will help students to gain proficiency in the application of these new techniques. Those who are learning how to operate modern NMR spectrometers will find particularly useful the description of such basic aspects as shimming, probe tuning, and methods for improvement of resolution and sensitivity.
Dictionary of the Printing and Allied Industries
In English (with definitions), French, German, Dutch, Spanish and Italian
2nd Edition
F.J.M. Wijnekus + 1 more
English
The first edition of this dictionary, compiled by F.J.M. Wijnekus and published in 1967, was the result of years of systematic collection and preparation of thousands of terms and expressions which were until then not to be found in any other dictionary. The material was correlated for use in his daily work and, as the reputation of his private collection spread, there was an increasing demand for access to these findings. Until 1967 there was no comprehensive multilingual dictionary on the subject; former publications were incomplete and out of date and lacked clear definition - often leading to disastrous misunderstandings. Furthermore, the subject of printing, paper and ink technology had never been dealt with, in dictionary form, in relation to other aspects of the graphic industry.This new work, prepared by F.J.M. Wijnekus and his son, has been considerably up-dated. Much time has been devoted to checking the material against the most reliable and authoritative sources. The usefulness of the work has been further enhanced by the addition of Spanish and Italian to the original languages of English, French and German.The first edition was received with much enthusiastic praise and this new dictionary will undoubtedly continue to be an invaluable tool for all those working with the printed word in the widest sense. It is a reference work which should be in the hands of all those in any way connected with the printing industry, paper manufacturers, ink manufacturers, printers, bookbinders, publishers, lithographers, lay-out men and graphical research institutes.
Theoretical and Applied Rheology
Proceedings of the XIth International Congress on Rheology, Brussels, Belgium, August 17-21, 1992
1st Edition
P. Moldenaers + 1 more
English
More than 900 authors from over 35 countries contributed to the 1992 International Congress on Rheology. These proceedings volumes comprise 17 plenary and keynote papers, 250 oral contributions and some 200 poster presentations. All relevant aspects of rheology are covered, e.g., theoretical rheology, molecular theories, fluid mechanics, rheometry, experimental methods, foams, polymer solutions, polymer melts, rubber, solids, composites, biorheology, industrial rheology, polymer processing, food rheology and electrorheology, reflecting the development of rheology into a broad, multidisciplinary field of recognized academic and industrial relevance.
Graphite Fluorides
1st Edition
Volume 8
N. Watanabe + 2 more
English
This volume reviews the preparation, structures, physicochemical properties and applications of graphite fluorides, mainly based on the results obtained by the authors. Their interest in graphite fluorides stemmed from research on the ``anode effect'', in electrolytic production of fluorine gas in KF.2HF melt using carbon electrodes.The formation of a thin graphite fluoride film on carbon anodes made it difficult to continue the electrolysis of KF.2HF at a high current density. To elucidate this phenomenon studies on graphite fluoride were initiated. In the course of these systematic studies, the use of graphite fluoride in high-energy batteries became successful: a new graphite fluoride (C2F)n was found; and another fluorineographite intercalation compound with ionic bonding, CxF, was synthesized. During this research it was established that CxF is closely associated with the ``anode effect''.The book will be of interest to all those involved in the study and research of graphite fluorides, particularly fluorine chemists, electrochemists, and fluorine and battery companies.
Wheat Studies - Retrospect and Prospects
1st Edition
Volume 3
H. Kihara
English
This authoritative work has been written by a man whose career as an active wheat geneticist has spanned sixty years and has earned him a world-wide reputation. The book contains descriptions and much original data on genetical and cytogenetical findings concerning cultivated wheats and their relatives. It covers chromosomal analyses, genome analyses, ancestors of wheat, artificial synthesis of wheat, evidence of cytoplasmic inheritance and variations of wild species. The author explains how these facts and concepts have been discovered, points out the importance inherent in these discoveries, and shows how they can be utilized in genetical and breeding studies. Special emphasis is placed on the motives, processes and development of the studies.
Phanerozoic Environments, Associations and Deposits
1st Edition
Volume 19
English
This is the most comprehensive, all-embracing, single source of data on metallic deposits and their worldwide distribution. With over 1,750 pages it contains: 594 figures illustrating ore styles and their setting; 113 tables providing concise but highly quantitative data on several thousand locality examples; 4 indexes (general, locality, genetic, metals) enabling rapid and thorough searches; and more than 2,000 references. This vast body of information on metallic ore deposits is arranged by environments in which they presently form or lithologic associations in which they occur. The organization of the book follows the approach employed in regional mineral-potential evaluation and exploration. Long-lasting, objectively observable host units and empirical indicators of ore presence are stressed. The coverage is balanced and truly worldwide, based on original literature consulted in over 30 languages and on the author's personal familiarity with more than 2,000 ore deposits located in 85 countries.The book is a must for practising exploration geologists, petrologists, and economic geologists, as well as for specialists in various other branches of geology (e.g. glacial geologists, carbonate sedimentologists, volcanologists, and geochemists). Teachers and students will find this most complete data sourcebook an ideal supplement to the theory and basic data found in textbooks.
Bridge Technology Report
1st Edition
Architecture Technology Architecture Technology Corpor
English
Please note this is a Short Discount publication.As LANs have proliferated, new technologies and system concepts have come to the fore. One of the key issues is how to interconnect networks. One means of interconnection is to use a 'bridge'. Other competing technologies are repeaters, routers, and gateways. Bridges permit traffic isolation, connect network segments together and operate at the MAC layer. Further, because they operate at the MAC layer, they can handle a variety of protocols such as TCP/IP, SNA, and X.25.This report focuses on the specific technology of bridging two networks and the competing approaches of spanning tree [backed by DEC] and the source route technology [backed by IBM]. Both of these approaches are compared and their strengths and weaknesses described and contrasted. Other approaches that combine the two approaches as well as novel approaches to this problem are described.In a world of increasing complexity of networks, it is imperative that the user understand the possible means of bridging two networks and the capabilities of the various vendors products. The report focuses itself on developing that critical understanding.
Emerging Countries & World Summary
Emerging Countries and World Summary
3rd Edition
Kenneth F. Wilson
English
Volume 3 of the definitive Market Reference to global electronics production and markets, with forecasts to 1997. The countries covered in this volume are China, Egypt, Greece, Mexico, New Zealand, Portugal, Puerto Rico, Saudi Arabia, Turkey and Venezuela.The aim is to cover all electronic products and components included in those products. These are grouped into 10 major categories which are common and directly comparable across all countries. Product groupings are further broken down in to sub-categories, the degree of detail of which, however, varies for each country depending on the importance of that product for each country and the availability of statistical sources.In compiling the Yearbook Series, trade statistics are analyzed in detail with over 350 separate catergories being employed. For some of the emerging countries, where trade statistics from a country are limited or unreliable, as in China, greater emphasis has been placed on trade statistics of countries trading with that country. Production statistics are collected from Government and Manufacturer's Association sources where these are available. Extensive use is also made of research reports, company reports, news items and work by other consultants to supplement and cross check the official and semi-official sources.From this "base year" estimates are built up, this being 1992 for the 1994 edition of the Yearbook. Production is then forecast for the next two years and markets for the next five. These forecasts are made in real terms using constant exchange rates and excluding inflation. Forecasts are based on the historical performance of each product, the general economic outlook, and the major growth influencing factors.Each new edition of the Yearbook is fully revised and updated with all sources being reanalysed in each successive edition.
Laser Processing of Materials in Japan
Research, Development and Applications
1st Edition
Japan Technical Information Japan Technical Information Se
English
Please note this is a short discount publication.Up until now, information on Japanese research efforts in the field of laser material processing has been difficult to collate - LASER PROCESSING OF MATERIALS IN JAPAN provides all this information in one exhaustive reference work.The report describes the various Japanese techniques for the creation of advanced materials by using laser-technology, and details the laser generation equipment being developed in Japan. Also provided are the names and addresses of principal Japanese workers in a variety of laser-processing fields, together with lists of the main Japanese research initiatives.

Browse by Publisher