Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Design of Embedded Control Systems
A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including the following, which seem to be the main ones. First, the behavior of a device under design must be described properly, and some adequate formal language should be chosen for that. Second, effective algorithmsshouldbeusedforcheckingtheprepareddescriptionforcorrectness, foritssyntacticandsemanticveri?cationattheinitialbehaviorlevel.Third,the problem of logic circuit implementation must be solved using some concrete technological base; ef?cient methods of logic synthesis, test, and...
Design of Digital Systems and Devices
Logic design of digital devices is a very important part of the Computer Science. It deals with design and testing of logic circuits for both data-path and control unit of a digital system. Design methods depend strongly on logic elements using for implementation of logic circuits. Different programmable logic devices are wide used for implementation of logic circuits. Nowadays, we witness the rapid growth of new and new chips, but there is a strong lack of new design methods. This book includes a variety of design and test methods targeted on different digital devices. It covers methods of digital system design, the development of theoretical base for construction and designing of the PLD...
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
Christoph Brandau entwirft und verifiziert digitale Schaltungen unter der Verwendung von Petri-Netzen. Die Generierung einer Hardwarebeschreibung erfolgt dabei durch eine neu eingeführte Transformation des gesamten Petri-Netz-Modells. Die Hauptbestandteile der Studie sind die Definition der Digital Circuit Petri Nets inklusive der Beschreibung von Ein- und Ausgängen, die Einführung von Subnetzen zur Unterteilung und Wiederverwendung von modellierten Netzen und eine Beschreibung des gesamten formalisierten Transformationsprozesses von der Modellierung bis zur endgültigen Hardwarebeschreibung. Die Aufteilung in Schritte und Strategien ermöglicht eine Erweiterung des Prozesses. Des Weitere...
Tribology and Surface Engineering
The book covers very important issues, not only scientific in nature but, ultimately, for industry and the economy. Wear and deterioration of surface properties during operation is a natural and unavoidable phenomenon. However, minimizing the degree of wear is of great importance for the entire economy, as illustrated by the example of the US economy, for which the loss of natural resources as a direct cause of friction and wear exceeds 6% of the Gross National Product. This book showcases the valuable knowledge revealed from both theoretical and practical research results in the field of advanced technologies of coatings and surface modification, as well as wear and tribological characteristics of advanced materials and surface layers. Therefore, it is hoped that this book will be a valuable resource and helpful tool for scientists, engineers, and students in the field of surface engineering, materials science, and manufacturing engineering.
Design of Embedded Control Systems
A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including the following, which seem to be the main ones. First, the behavior of a device under design must be described properly, and some adequate formal language should be chosen for that. Second, effective algorithmsshouldbeusedforcheckingtheprepareddescriptionforcorrectness, foritssyntacticandsemanticveri?cationattheinitialbehaviorlevel.Third,the problem of logic circuit implementation must be solved using some concrete technological base; ef?cient methods of logic synthesis, test, and...
Monitor polski
Includes legislation.
Simulation des Straßenverkehrs in der Großstadt
Jörg Dallmeyer untersucht die Simulation urbaner Verkehrsszenarien. Es werden verschiedene Verkehrsteilnehmertypen modelliert und in effiziente, valide Simulationsmodelle überführt. Das Straßennetz wird vollautomatisch modelliert, um den Verkehr ganzer Städte simulieren zu können. Der Autor entwickelt hierfür das Verkehrssimulationssystem MAINSIM – MultimodAle INnerstädtische StraßenverkehrsSIMulation und nutzt es für Fallstudien: z.B. maschinelle Lernverfahren zur Analyse und Beeinflussung des Verkehrs. Er untersucht die Auswirkungen exemplarischer, nonkonformer Handlungen von Autos, Fahrrädern und Fußgängern. Ein künstliches Pheromonsystem wird zur Verteilung des Verkehrs eingesetzt. Gemessene CO2-Emissionen werden mittels einer atmosphärischen Simulation anhand realer Wetter- und Geländedaten im Raum Frankfurt verteilt.
图书馆杂志
None
Politics and the Media in Poland from the 19th to the 21st Centuries
The book presents the latest research and reflects on the relationships between the media and politics, using the case study method. It delves into the interests of Polish researchers from various centres. The individual chapters focus on different types of both old and new media, including the press, books, radio and the Internet. The authors are historians, media experts and political scientists, sociologists, cultural experts, linguists and representatives of other disciplines. As a result, the research methods, hypotheses and research results present a range of perspectives.
