This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic.;The 12 revised full pap...
详细信息
ISBN:
(数字)9783030830076
ISBN:
(纸本)9783030830069
This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic.;The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others.
Topics and features: begins by introducing fundamental programming concepts such as declaration of variables, controlstructures, methods and arrays; goes on to cover the fundamental object-oriented concepts of classe...
详细信息
ISBN:
(数字)9783319994208
ISBN:
(纸本)9783319994192
Topics and features: begins by introducing fundamental programming concepts such as declaration of variables, controlstructures, methods and arrays; goes on to cover the fundamental object-oriented concepts of classes and objects, inheritance and polymorphism; uses JavaFX throughout for constructing event-driven graphical interfaces; includes advanced topics such as interfaces and lambda expressions, generics, collection classes and exceptions; explains file-handling techniques, packages, multi-threaded programs, socket programming, remote database access and processing collections using streams; includes self-test questions and programming exercises at the end of each chapter, as well as two illuminating case studies; provides additional resources at its associated website (simply go to *** and search for "Java in Two Semesters"), including a guide on how to install and use the NetBeans™ Java IDE.
In the usual process of control system design, the assumption is made that the controller is implemented exactly. This assumption is usually reasonable, since clearly, the plant uncertainty is the most significant sou...
详细信息
ISBN:
(数字)9781447102656
ISBN:
(纸本)9781852333904;9781447110828
In the usual process of control system design, the assumption is made that the controller is implemented exactly. This assumption is usually reasonable, since clearly, the plant uncertainty is the most significant source of uncertainty in the control system, while controllers are implemented with high-precision hardware. However, inevitably, there will be some amount of uncertainty in the controller, a fact that is largely ignored in existing modern advanced robust control techniques. If the controller is implemented by analogue means, there are some tolerances in the analogue components. More commonly, the controller will be implemented digitally, and consequently there will be uncertainty involved with the quantization in the analogue-digital conversion and rounding in the parameter representation and in the numerical computations. A failure to account for these uncertainties in the controller may result in a controller that is "fragile". A controller is fragile in the sense that very small perturbations in the coefficients of the designed controller destabilize the closed-loop control system.;This book collects a number of articles which consider the problems of finite-precision computing in digital controllers and filters. Written by leading researchers, topics that the book covers include:;- analysis of fragility and finite-precision effects;;- design of optimal controller realizations;;- design of non-fragile robust controllers;;- design of low-complexity digital controllers;;- analysis of quantization effects in fuzzy controllers.
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, i...
详细信息
ISBN:
(数字)9783030451905
ISBN:
(纸本)9783030451899
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.;The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows:;Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.;Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noor...
详细信息
ISBN:
(数字)9783540461470
ISBN:
(纸本)9783540510802
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2022, held as a virtual event in June 2022 (due ...
详细信息
ISBN:
(数字)9783031226984
ISBN:
(纸本)9783031226977
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2022, held as a virtual event in June 2022 (due to the Covid-19 pandemic).
Dieses zweibändige Lehrbuch bietet eine verständliche Einführung in den Aufbau und die Funktionsweise von Mikrorechnern, d.h. von universell einsetzbaren und programmierbaren Digitalrechnern, die als Ke...
详细信息
ISBN:
(数字)9783642561795
ISBN:
(纸本)9783540436935
Dieses zweibändige Lehrbuch bietet eine verständliche Einführung in den Aufbau und die Funktionsweise von Mikrorechnern, d.h. von universell einsetzbaren und programmierbaren Digitalrechnern, die als Kern einen oder mehrere Mikroprozessoren enthalten. Der zweite Band befaßt sich mit den Komponenten, die einen Mikroprozessor zu einem Mikrorechner erweitern. Im einzelnen werden Eingabe- und Ausgabebusse, die Organisation und Verwaltung des Arbeitsspeichers sowie die wichtigsten Steuer- und Schnittstellenbausteine behandelt. Weiterhin wird die Funktionsweise von Mikrocontrollern erläutert; dies sind vollständige Mikrorechner, die auf einem einzigen Halbleiterchip integriert sind. Anhand umfassender Fallstudien werden die vielfach verwendeten Bausteine, insbesondere der Firmen Intel, Motorola und Analog Devices, detailliert beschrieben. Für Studierende der Informatik, Elektronik, Elektrotechnik und Kommunikationstechnik.
暂无评论