dynamic logic (381 Ergebnisse)

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics.

Softcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Pages cornées. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Dog-eared pages. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.

Heft; Zustand: Gut. 31 Seiten; Das hier angebotene Heft stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); insgesamt ordentlicher Erhaltungszustand; Sprache: Englisch Gewicht in Gramm: 60.

Zustand: New.

Zustand: New. KlappentextrnrnDialogical Logic was suggested at the end of the 1950s by Paul Lorenzen and then worked out by Kuno Lorenz. The basic idea f the dialogical approach to logic, inspired by Wittgenstein s meaning as use , is that the meanings of l.

Zustand: New. pp. 296.

Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Neuware -Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.Books on Demand GmbH, Überseering 33, 22297 Hamburg 292 pp. Englisch.

Zustand: gut. X, 349 S., Abb., 23 cm, Bibliotheksexemplar. Sprache: Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is about ensuring that software behaves as it is supposed to behave. More precisely, it is concerned with the deductive verification of the compliance of software implementations with their formal specification.Two successful ideas in program verification are integrated into a new approach which combines the advantages of both: Dynamic logic is brought together with verification on an intermediate verification language.Program verification combines the difficulties of two tasks in one: the difficulty of verifying algorithms and the problems of verification on implementation level. We propose a methodology to decompose this difficult task into two easier tasks using the well-established technique of refinement.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 172 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Neuware -The main objective of this book is to elaborate on MOS current-mode logic circuits and provide the readers a deep understanding of modelling and design strategies of current-mode digital circuits. The book presents different structures proposed in literature based on current-mode logic and compares them by consolidating all the results. First, the literature review of various MOS current mode logic topologies have presented. Then the book introduces MOS Current mode logic circuits which helps develop the elementary concepts and understanding of the circuits. Further, dynamic current mode logic design styles (DyCML-1 and DyCML-2) and hybrid structure of dynamic current mode logic design styles (H-DyCML-1 and H-DyCML-2) have been discussed. Their structures and working principle are discussed and compared. Finally, all the designing styles (DyCML-1, DyCML-2, H-DyCML-1 and H-DyCML-2) are compared for multi-level applications. For multi-level design applications, cascading with the help of self-timed buffers is explained.Books on Demand GmbH, Überseering 33, 22297 Hamburg 60 pp. Englisch.

Zustand: New.

Hardcover. Zustand: Sehr gut. Cambridge, MIT (2000). gr.8°. XV, 459 p. Cloth. with dust jacket. With exercises.- Name on flyleaves, name and pencil annotation on title, otherwise in very good condition.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 208 | Sprache: Englisch | Produktart: Bücher.

Zustand: New. In.

x,365pp. paperback. edge sl. spotted.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 152 | Sprache: Englisch | Produktart: Bücher.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Hardcover. Zustand: Very Good+. Boards with light rubbing to extremities. ; logic and modern reasoning; 8vo; 266 pages.

Taschenbuch. Zustand: Neu. Neuware -This book focuses on the fields of fuzzy logic and metaheuristic algorithms, particularly the harmony search algorithm and fuzzy control. There are currently several types of metaheuristics used to solve a range of real-world of problems, and these metaheuristics contain parameters that are usually fixed throughout the iterations. However, a number of techniques are also available that dynamically adjust the parameters of an algorithm, such as probabilistic fuzzy logic.This book proposes a method of addressing the problem of parameter adaptation in the original harmony search algorithm using type-1, interval type-2 and generalized type-2 fuzzy logic. The authors applied this methodology to the resolution of problems of classical benchmark mathematical functions, CEC 2015, CEC2017 functions and to the optimization of various fuzzy logic control cases, and tested the method using six benchmark control problems ¿ four of the Mamdani type: the problem of filling a water tank, theproblem of controlling the temperature of a shower, the problem of controlling the trajectory of an autonomous mobile robot and the problem of controlling the speed of an engine; and two of the Sugeno type: the problem of controlling the balance of a bar and ball, and the problem of controlling control the balance of an inverted pendulum. When the interval type-2 fuzzy logic system is used to model the behavior of the systems, the results show better stabilization because the uncertainty analysis is better. As such, the authors conclude that the proposed method, based on fuzzy systems, fuzzy controllers and the harmony search optimization algorithm, improves the behavior of complex control plants.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 92 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book focuses on the fields of fuzzy logic, bio-inspired algorithm, especially the differential evolution algorithm and also considering the fuzzy control area. The main idea is that these two areas together can help solve various control problems and to find better results. In this book, the authors test the proposed method using five benchmark control problems. First, the water tank, temperature, mobile robot, and inverted pendulum controllers are considered. For these 4 problems, experimentation was carried out using a Type-1 fuzzy system and an Interval Type-2 system. The last control problem was the D.C. motor, for which the experiments were performed with Type-1, Interval Type-2, and Generalized Type-2 fuzzy systems. When we use fuzzy systems combined with the differential evolution algorithm, we can notice that the results obtained in each of the controllers are better and with increasing uncertainty, the results are even better. For this reason, the authors consider in this book the proposed method using fuzzy systems and the differential evolution algorithm to improve the fuzzy controllers' behavior in complex control problems.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic logics for cyber-physical systems. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book opens the 'black box' of software sourcing by explaining how dynamic software alignment is established and how it impacts business performance outcomes. By investigating how software-sourcing modes are related to value generation in the post-implementation phase, it shows researchers and managers the impact logic of on-demand, on-premises, and in-house software on dynamic fit and process-level performance outcomes in a client organization. It describes dynamic IT alignment as the key to success in a fast-moving digital world with software-as-a-service on the rise and highlights the fact that today companies can choose between developing software in-house (make) or sourcing packaged systems in an on-premises (buy) or an on-demand (lease) mode. This book is the first to explicitly compare these sourcing arrangements with each other in terms of alignment and business performance.

Taschenbuch. Zustand: Neu. Neuware -Fiber-to-the-home (FTTH) is one of the best broadband access solution for the public. In order to support FTTH services, Ethernet passive optical network (EPON) is mainly used. In this book, an intelligent dynamic bandwidth allocation algorithm based on fuzzy logic is proposed to allocate the upstream EPON bandwidth in the FTTH environment to avoid collision. By using fuzzy logic in EPON, it has been proved that the bandwidth is granted as according to the Quality of Service, thus leads to the less unused slot remainder and less delay. Hence, the performance of the system improves significantly.Books on Demand GmbH, Überseering 33, 22297 Hamburg 152 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book, a methodology for parameter adaptation in meta-heuristic op-timization methods is proposed. This methodology is based on using met-rics about the population of the meta-heuristic methods, to decide through a fuzzy inference system the best parameter values that were carefully se-lected to be adjusted. With this modification of parameters we want to find a better model of the behavior of the optimization method, because with the modification of parameters, these will affect directly the way in which the global or local search are performed.Three different optimization methods were used to verify the improve-ment of the proposed methodology. In this case the optimization methods are: PSO (Particle Swarm Optimization), ACO (Ant Colony Optimization) and GSA (Gravitational Search Algorithm), where some parameters are se-lected to be dynamically adjusted, and these parameters have the most im-pact in the behavior of each optimization method.Simulation results show that the proposed methodology helps to each optimization method in obtaining better results than the results obtained by the original method without parameter adjustment.

Zustand: New. In.