00978nam0 2200277 i 450 SUN012755820200316025139.7580.00N978-3-030-12601-820200316d2019 |0engc50 baengCH|||| |||||*Alternative MedicineA Critical Assessment of 150 ModalitiesEdzard ErnstCham : Springer, 2019XIV312 p.ill. ; 24 cmPubblicazione in formato elettronicoCHChamSUNL001889Ernst, EdzardSUNV099067782220SpringerSUNV000178650ITSOL20200921RICAhttps://link.springer.com/book/10.1007%2F978-3-030-12601-8SUN0127558BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 5235 15EB 5235 20200316 Alternative Medicine1734926UNICAMPANIA03640oam 2200577 450 991014345190332120210716142359.03-540-46767-X10.1007/3-540-46767-X(CKB)1000000000211107(SSID)ssj0000324523(PQKBManifestationID)11240640(PQKBTitleCode)TC0000324523(PQKBWorkID)10312937(PQKB)10787344(DE-He213)978-3-540-46767-0(MiAaPQ)EBC3072669(MiAaPQ)EBC6486286(PPN)15519416X(EXLCZ)99100000000021110720210716d1999 uy 0engurnn|008mamaatxtccrLogic programming and nonmonotonic reasoning 5th International Conference, LPNMR '99, el Paso, Texas, USA, December 2-4, 1999, proceedings /Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)1st ed. 1999.Berlin ;Heidelberg :Springer,[1999]©19991 online resource (XII, 396 p.) Lecture Notes in Computer Science ;1730Bibliographic Level Mode of Issuance: Monograph3-540-66749-0 Includes bibliographical references at the end of each chapters and index.Contributed Papers -- Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning -- Classifying Semi-Normal Default Logic on the Basis of its Expressive Power -- Locally Determined Logic Programs -- Annotated Revision Programs -- Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning -- An Argumentation Framework for Reasoning about Actions and Change -- Representing Transition Systems by Logic Programs -- Transformations of Logic Programs Related to Causality and Planning -- From Causal Theories to Logic Programs (Sometimes) -- Monotone Expansion of Updates in Logical Databases -- Updating Extended Logic Programs through Abduction -- LUPS — A Language for Updating Logic Programs -- Pushing Goal Derivation in DLP Computations -- Linear Tabulated Resolution for the Well-Founded Semantics -- A Case Study in Using Preference Logic Grammars for Knowledge Representation -- Minimal Founded Semantics for Disjunctive Logic Programming -- On the Role of Negation in Choice Logic Programs -- Default Reasoning via Blocking Sets -- Coherent Well-founded Annotated Logic Programs -- Many-Valued Disjunctive Logic Programs with Probabilistic Semantics -- Extending Disjunctive Logic Programming by T-norms -- Extending the Stable Model Semantics with More Expressive Rules -- Stable Model Semantics of Weight Constraint Rules -- Towards First-Order Nonmonotonic Reasoning -- A Comparison of Sceptical NAF-Free Logic Programming Approaches -- Characterizations of Classes of Programs by Three-Valued Operators -- Invited Talks -- Using LPNMR for Problem Specification and Code Generation -- Answer Set Planning -- World-Modeling vs. World-Axiomatizing -- Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems.Lecture notes in computer science ;1730.Logic programmingCongressesLogic programming005.115Gelfond MichaelLeone NicolaPfeifer GeraldLPNMR '99MiAaPQMiAaPQUtOrBLWBOOK9910143451903321Logic Programming and Nonmonotonic Reasoning772042UNINA05414nam 2200637Ia 450 991087685370332120200520144314.01-282-02167-297866120216713-527-62637-93-527-62638-7(CKB)1000000000725186(EBL)481501(OCoLC)319000720(SSID)ssj0000715385(PQKBManifestationID)11413559(PQKBTitleCode)TC0000715385(PQKBWorkID)10703095(PQKB)10205322(MiAaPQ)EBC481501(EXLCZ)99100000000072518620090904d2008 uy 0gerur|n|---|||||txtccrIntegration von Advanced Control in der Prozessindustrie Rapid Control Prototyping /hrsg. von Dirk Abel, Ulrich Epple und Gerd-Ulrich Spohr1. Aufl.Weinheim WILEY-VCHc 20081 online resource (340 p.)Description based upon print version of record.3-527-31205-6 Includes bibliographical references and index.Integration von Advanced Control in der Prozessindustrie; Inhaltsverzeichnis; Vorwort; 1 Motivation; 1.1 Regelungstechnik; 1.1.1 Rapid Control Prototyping (RCP); 1.1.2 HW/SW-in-the-Loop-Simulation; 1.2 Leittechnik; 1.2.1 Entwicklungsebenen der Leittechnik; 1.2.2 Entwicklungstendenzen Basissystemebene; 1.2.3 Entwicklungstendenzen Anwendungsebene; 1.2.4 Zusatzfunktionen; 1.2.5 Entwicklungstendenzen im Bereich der leittechnischen Systemdienste; 1.2.6 Gesicherte Funktionsebenen; 1.2.7 Wächterfunktionalität für die Auslegungsebene; 1.3 Leitsysteme; 1.3.1 APC-Anwendungen in Prozessleitsystemen1.3.1.1 Historische Entwicklung der Prozessleitsysteme1.3.1.2 Technische Realisierung von APC-Anwendungen; 1.3.1.3 APC-Anwendungstypen; 2 Methoden der Regelungstechnik; 2.1 Regelungsstrukturen; 2.1.1 Vorbemerkungen; 2.1.2 Erweiterte einschleifige Regelungsstrukturen; 2.1.2.1 Vorregelung; 2.1.2.2 Störgrößenaufschaltung; 2.1.2.3 Hilfsstellgröße; 2.1.2.4 Hilfsregelgröße; 2.1.2.5 Kaskadenregelung; 2.1.2.6 Vorsteuerung und Führungsgrößenfilter; 2.2 Mehrgrößenregelung; 2.2.1 Kopplung von Regelkreisen; 2.2.2 Entkopplungsregler; 2.3 Zustandsraumverfahren; 2.3.1 Zustandsraumbeschreibung2.3.2 Zustandsregelung2.3.3 Zustandsbeobachter; 2.3.4 Zustandsregelungen auf Leitsystemen; 2.4 Softsensoren; 2.5 Model Predictive Control (MPC); 2.5.1 Eigenschaften und Vorteile von Prädiktivreglern; 2.5.2 Funktionsprinzip; 2.5.3 Internal Model Control (IMC) als Regelsystemstruktur; 2.5.4 Klassifikation von Prädiktivreglern; 2.5.4.1 Verwendete Modelltypen; 2.5.4.2 Schlanke und große Prädiktivregler (ohne/mit Online-Optimierung); 2.5.5 Algorithmus am Beispiel des Dynamic Matrix Control (DMC); 2.5.5.1 Eingrößenfall; 2.5.5.2 Mehrgrößenfall; 2.5.6 Warum eignet sich TIAC als Plattform für MPC?2.6 Flachheitsbasierte Regelung und Steuerung2.6.1 Systemdarstellung und Entwurfsaufgabe; 2.6.2 Flachheitsbegriff und Eigenschaften flacher Systeme; 2.6.2.1 Nicht-Eindeutigkeit des flachen Ausgangs; 2.6.2.2 Bestimmung von Ruhelagen; 2.6.2.3 Entkopplung; 2.6.2.4 Steuerbarkeit und Beobachtbarkeit flacher Systeme; 2.6.2.5 Defekt nicht flacher Systeme; 2.6.2.6 Bestimmung eines flachen Ausgangs und Nachweis der Flachheit; 2.6.3 Flachheitsbasierte Lösung der Entwurfsaufgabe; 2.6.3.1 Vorsteuerungsentwurf und dynamische Systeminversion; 2.6.3.2 Regelung durch Zustandsrückführung2.6.3.3 Regelung durch Gain-Scheduling2.6.4 Realisierung des Trajektoriengenerators; 2.6.4.1 Trajektorienplanung durch Lösung eines Gleichungssystems; 2.6.4.2 Trajektorienplanung durch einen Polynomansatz; 2.6.4.3 Trajektorienplanung in Echtzeit; 2.6.5 Zusammenfassung; 2.7 Rapid Control Prototyping; 2.7.1 Begriffe; 2.7.1.1 System; 2.7.1.2 Modell; 2.7.2 Vorgehensweise; 2.7.2.1 Konventionelle Entwicklungsprozesse; 2.7.2.2 V-Modell; 2.7.2.3 Entwicklungsprozess RCP; 2.7.3 Simulationskonfigurationen; 2.7.3.1 Systemsimulation; 2.7.3.2 Software-in-the-Loop; 2.7.3.3 Hardware-in-the-Loop2.7.4 EntwurfsumgebungDas erste Buch, das Rapid Control Prototyping zur zeitnahen und effizienten Umsetzung von Steuerungsverfahren für verfahrenstechnische Anlagen beschreibtAufgrund zunehmender Komplexität verfahrenstechnischer Prozesse und steigender Qualitäts-, Umwelt- und Rentabilitätsanforderungen kommt dem Einsatz intelligenter Verfahren der Automatisierungs- und Leittechnik eine ständig wachsende Bedeutung zu.Unter den Verfahren des Advanced Control, d.h. den höheren Regelungsmethoden, haben sich dabei insbesondere modellgestützte prädiktive Regelungen in der Praxis bestens bewährt. Die Production managementOperations managementProduction management.Operations management.620.0042Abel Dirk1759454Epple U(Ulrich)1759455Spohr Gerd-Ulrich1759456MiAaPQMiAaPQMiAaPQBOOK9910876853703321Integration von Advanced Control in der Prozessindustrie4197919UNINA