4. / edited by B. J. Birch and W. Kuyk |
Pubbl/distr/stampa | Berlin, : Springer, 1975 |
Descrizione fisica | v, 151 p. ; 24 cm |
Soggetto topico |
11-XX - Number theory [MSC 2020]
14-XX - Algebraic geometry [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 11F12 - Automorphic forms, one variable [MSC 2020] 11G40 - $L$-functions of varieties over global fields; Birch-Swinnerton-Dyer conjecture [MSC 2020] 14H45 - Special algebraic curves and curves of low genus [MSC 2020] 11F03 - Modular and automorphic functions [MSC 2020] 11F25 - Hecke-Petersson operators, differential operators (one variable) [MSC 2020] 14H25 - Arithmetic ground fields for curves [MSC 2020] |
Soggetto non controllato |
Algorithms
Boundary Element Methods Forms Functions Reliability Singular fiber Variables |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0256494 |
Berlin, : Springer, 1975 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Applied Probability : From Random Experiments to Random Sequences and Statistics / Valérie Girardin, Nikolaos Limnios |
Autore | Girardin, Valérie |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | xv, 253 p. : ill. ; 24 cm |
Altri autori (Persone) | Limnios, Nikolaos |
Soggetto non controllato |
Applied probability
Probability Theory Random sequences Random variables Random vectors Reliability Statistical inference Stochastic topology |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0276878 |
Girardin, Valérie
![]() |
||
Cham, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Characterization of Distributions by the Method of Intensively Monotone Operators / A. V. Kakosyan, L. B. Klebanov, J. A. Melamed |
Autore | Kakosyan, Ashot V. |
Pubbl/distr/stampa | Berlin, : Springer, 1984 |
Descrizione fisica | xii, 180 p. ; 24 cm |
Altri autori (Persone) |
Klebanov, Leo B.
Melamed, Joseph A. |
Soggetto topico |
47H05 - Monotone operators and generalizations [MSC 2020]
47H10 - Fixed-point theorems [MSC 2020] 47J05 - Equations involving nonlinear operators (general) [MSC 220] 62-XX - Statistics [MSC 2020] 62E10 - Characterization and structure theory of statistical distributions [MSC 2020] 62H05 - Characterization and structure theory for multivariate probability distributions; copulas [MSC 2020] |
Soggetto non controllato |
Characters
Construction Distribution Mathematica Monotone Operators Reliability Statistics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0263194 |
Kakosyan, Ashot V.
![]() |
||
Berlin, : Springer, 1984 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Empirical modeling and data analysis for engineers and applied scientists / Scott A. Pardo ; with contributions by Yehudah A. Pardo |
Autore | Pardo, Scott A. |
Pubbl/distr/stampa | [Cham], : Springer, 2016 |
Descrizione fisica | XV, 247 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
62-XX - Statistics [MSC 2020] 62P30 - Applications of statistics in engineering and industry; control charts [MSC 2020] 62P35 - Applications of statistics to physics [MSC 2020] |
Soggetto non controllato |
Analysis
Applications Applied scientist Bayes Engineering Experimental design Measurement Methods Modeling Models Operations Research Probability Regression Reliability Six Sigma Statistics Taguchi Validation |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114673 |
Pardo, Scott A.
![]() |
||
[Cham], : Springer, 2016 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Exploring Resilience [[electronic resource] ] : A Scientific Journey from Practice to Theory / / edited by Siri Wiig, Babette Fahlbruch |
Autore | Wiig Siri |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham, : Springer Nature, 2019 |
Descrizione fisica | 1 online resource (VI, 128 p. 5 illus. in color.) |
Disciplina | 658.56 |
Collana | SpringerBriefs in Safety Management |
Soggetto topico |
Quality control
Reliability Industrial safety Health economics Environmental management Health informatics Organization Planning Health care management Health services administration Quality Control, Reliability, Safety and Risk Health Economics Environmental Management Health Informatics Health Care Management |
Soggetto non controllato |
Engineering
Quality control Reliability Industrial safety Health economics Environmental management Health informatics Organization Planning Health care management Health services administration |
ISBN | 3-030-03189-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Exploring resilience – an introduction, by Siri Wiig and Babette Fahlbruch -- Resilience, reliability, safety: multilevel research challenges, by Jean-Christophe Le Coze -- Moments of resilience: time, space and the organisation of safety in complex sociotechnical systems, by Carl Macrae -- Resilience engineering as a quality improvement method in Healthcare, by Janet E. Anderson, A. J. Ross, J. Back, M. Duncan and P. Jaye -- Resilience and Essential Public Infrastructure, by Michael Baram -- Human performance, levels of service and system resilience, by Miltos Kyriakidis and Vinh N. Dang -- Precursor resilience in practice – an organizational response to weak signals, by Kenneth Pettersen Gould -- Leadership in resilient organizations, by Gudela Grote -- Modelling the influence of safety management tools on resilience, by Teemu Reiman and Kaupo Viitanen -- Resilient characteristics as described in empirical studies on health Care, by Siv Hilde Berg and Karina Aase -- Resilience from the United Nations Standpoint: The Challenges of “Vagueness”, by Leah R. Kimber -- Building resilience in humanitarian hospital programs during protracted conflicts: opportunities and limitations, by Ingrid Tjoflåt and Britt Sætre Hansen -- Exploring Resilience at Interconnected System Levels in Air Traffic Management, by Rogier Woltjer -- Resilience in healthcare: a modified stakeholder analysis, by Mary Chambers and Marianne Storm -- Resilience: From Practice to Theory and Back Again, by Carl Macrae and Siri Wiig. |
Record Nr. | UNINA-9910337605403321 |
Wiig Siri
![]() |
||
Cham, : Springer Nature, 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
High Availability and Scalability of Mainframe Environments using System z and z/OS as example |
Autore | Vaupel Robert |
Pubbl/distr/stampa | KIT Scientific Publishing, 2013 |
Descrizione fisica | 1 electronic resource (XVI, 322 p. p.) |
Soggetto non controllato |
High Availability
Scalability Workload Management Processor Technology Mainframe Cluster System z Reliability Operating Systems |
ISBN | 1000034624 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910346865303321 |
Vaupel Robert
![]() |
||
KIT Scientific Publishing, 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency [[electronic resource] ] : Intelligent Methods for the Factory of the Future / / edited by Oliver Niggemann, Peter Schüller |
Autore | Niggemann Oliver |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Berlin, Heidelberg, : Springer Nature, 2018 |
Descrizione fisica | 1 online resource (VII, 129 p. 52 illus., 29 illus. in color.) |
Disciplina | 658.56 |
Collana | Technologien für die intelligente Automation, Technologies for Intelligent Automation |
Soggetto topico |
Quality control
Reliability Industrial safety Robotics Automation Input-output equipment (Computers) Quality Control, Reliability, Safety and Risk Robotics and Automation Input/Output and Data Communications |
Soggetto non controllato |
Engineering
Quality control Reliability Industrial safety Robotics Automation Input-output equipment (Computers) |
ISBN | 3-662-57805-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Concept and Implementation of a Software Architecture for Unifying Data Transfer in Automated Production Systems -- Social Science Contributions to Engineering Projects: Looking Beyond Explicit Knowledge Through the Lenses of Social Theory -- Enable learning of Hybrid Timed Automata in Absence of Discrete Events through Self-Organizing Maps -- Anomaly Detection and Localization for Cyber-Physical Production Systems with Self-Organizing Maps -- A Sampling-Based Method for Robust and Efficient Fault Detection in Industrial Automation Processes -- Validation of similarity measures for industrial alarm flood analysis -- Concept for Alarm Flood Reduction with Bayesian Networks by Identifying the Root Cause. |
Record Nr. | UNINA-9910299919103321 |
Niggemann Oliver
![]() |
||
Berlin, Heidelberg, : Springer Nature, 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to Interrater Agreement for Nominal Data / Roel Popping |
Autore | Popping, Roel |
Pubbl/distr/stampa | Cham, : Springer, 2019 |
Descrizione fisica | xii, 150 p. ; 24 cm |
Soggetto topico |
60-XX - Probability theory and stochastic processes [MSC 2020]
62-XX - Statistics [MSC 2020] 97-XX - Mathematics education [MSC 2020] |
Soggetto non controllato |
Agreement
Agreement indices Chance correction Coding Inference Interrater agreement Nominal data Raters Reliability Reporting reliability |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0126932 |
Popping, Roel
![]() |
||
Cham, : Springer, 2019 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to System Reliability Theory / Jorge Navarro |
Autore | Navarro, Jorge |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | xii, 174 p. : ill. ; 24 cm |
Soggetto topico |
90B06 - Transportation, logistics and supply chain management [MSC 2020]
90B25 - Reliability, availability, maintenance, inspection in operations research [MSC 2020] 90Bxx - Operations research and management science [MSC 2020] |
Soggetto non controllato |
Aging Classes
Coherent Systems Copula Distortions Hazard Rate Importance Indices Mean Residual Life Redundancy Reliability Signature Stochastic Orders Survival |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0277688 |
Navarro, Jorge
![]() |
||
Cham, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Kommunikation und Bildverarbeitung in der Automation [[electronic resource] ] : Ausgewählte Beiträge der Jahreskolloquien KommA und BVAu 2018 / / herausgegeben von Jürgen Jasperneite, Volker Lohweg |
Autore | Jasperneite Jürgen |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Berlin, Heidelberg, : Springer Nature, 2020 |
Descrizione fisica | 1 online resource (XI, 364 S. 152 Abb., 96 Abb. in Farbe.) |
Disciplina | 621.382 |
Collana | Technologien für die intelligente Automation, Technologies for Intelligent Automation |
Soggetto topico |
Electrical engineering
Signal processing Image processing Speech processing systems Robotics Automation Quality control Reliability Industrial safety Communications Engineering, Networks Signal, Image and Speech Processing Robotics and Automation Quality Control, Reliability, Safety and Risk |
Soggetto non controllato |
Engineering
Electrical engineering Signal processing Image processing Speech processing systems Robotics Automation Quality control Reliability Industrial safety |
ISBN | 3-662-59895-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto |
Intro -- Preface -- Organisation -- Table of Contents -- Communication in Automation -- TSN basierte automatisch etablierte Redundanz für deterministische Kommunikation -- 1 Einleitung -- 2 Mechanismen für Quality of Service (QoS) -- 3 Industrielle Anforderungen an Echtzeitkommunikation -- 3.1 Latenz -- 3.2 Verfügbarkeit -- 4 Stream Reservation -- 5 Redundante Stream Reservierung -- 5.1 End-to-End Frame Replication and Elimination for Reliability (E2E FRER) -- 5.2 Network Frame Replication and Elimination for Reliability (Network-FRER) -- 6 Fazit -- Literatur -- Arduino based Framework for Rapid Application Development of a Generic IO-Link interface -- 1 Introduction -- 2 Framework overview -- 3 Firmware -- 4 GUI -- 5 Hardware interface -- 6 Proof of concept -- 6.1 IO-Link distance sensor -- 7 Conclusions -- References -- On the suitability of 6TiSCH for industrial wireless communication -- 1 Introduction -- 2 Overview of 6TiSCH-stack -- 2.1 Time Slotted Channel Hopping -- 2.2 Routing protocol RPL -- 2.3 6TiSCH-WG standardization activities -- 3 Challenges -- Challenge 1: Convergence on industrial concerns -- Challenge 2: Avoidance of specification implementation mismatches -- Challenge 3: Design of the management architecture scheme -- Challenge 4: Concurrence of other wireless technologies -- 4 Analysis and Improvements of the 6TiSCH minimal configuration -- 4.1 6TiSCH network formation procedure -- 4.2 Shortcomings of 6TiSCH-MC -- 4.3 Improvements of 6TiSCH-MC -- 4.4 Diagonal: Our improvement proposal for 6TiSCH-MC -- 5 Conclusions -- References -- Ein dezentraler Regelalgorithmus für ein automatisches Koexistenzmanagement -- 1 Einführung -- 2 Der Betrachtungsraum als Regelkreis -- 3 Modellierung der Regelstrecke zur Koexistenz -- 4 Modellierung eines dezentralen Regleralgorithmusses -- 5 Validierung des Modells für die dezentrale Regelung.
6 Schlussfolgerung -- Literatur -- Untersuchung der Netzlastrobustheit von OPC UA - Standard, Profile, Geräte und Testmethoden -- 1 Einleitung -- 2 Stand der Technik OPC UA -- 2.1 OPC UA Kommunikationsmodell -- 2.2 OPC UA Transportprotokolle -- 2.3 OPC UA Profile -- 2.4 OPC UA Security Model -- 2.5 OPC UA Certification Test -- 3 Stand der Technik Security Level 1 Test bei PROFINET -- 4 Exemplarischer Netzlasttest einer OPC UA Implementierung -- 4.1 Beschreibung des zu testenden OPC UA Gerätes -- 4.2 Aufbau und Durchführung des Tests -- 4.3 Testergebnisse und deren Auswertung -- 5 Zusammenfassung -- Literatur -- Open-Source Implementierung von OPC UA PubSub für echtzeitfähige Kommunikation mit Time-Sensitive Networking -- 1 Einführung -- 1.1 OPC Unified Architecture -- 1.2 Time-Sensitive Networking (TSN) -- 1.3 OPC UA PubSub und OPC UA PubSub in Kombination mit TSN -- 2 Integration von OPC UA Servern mit echtzeitfähigem OPC UA PubSub -- 3 Implementierung -- 4 Evaluierung -- 5 Zusammenfassung und Ausblick -- Literatur -- Abstraction models for 5G mobile networks integration into industrial networks and their evaluation -- 1 Introduction -- 2 Mobile Network Integration -- 2.1 Integration approach on layer 3 -- 2.2 Integration approach on layer 2 -- 3 Evaluation approach -- 3.1 Metrics for the performance evaluation -- 3.2 Metrics for the usability evaluation -- 4 Conclusion -- References -- Anforderungen an die 5G-Kommunikation für die Automatisierung in vertikalen Domänen -- 1 Einleitung -- 2 Genereller Überblick zur 5G-Standardisierung -- 3 5G Dienstanforderungen für uMTC im industriellen Umfeld -- 4 Erkenntnisse aus der Erarbeitung von TR 22.804 -- 4.1 Gemeinsamkeiten über „vertikale Grenzen" hinweg -- 4.2 Kennzahlen (insbesondere Latenzzeiten) sind nicht alles -- 4.3 Industrielle 5G-Netze als nicht-öffentliche Netze. 4.4 Aufstellung industrieller 5G-Netze -- 4.5 Ende-zu-Ende-Dienste für Kontrollanwendungen sind ein neues Feld -- 5 5G Alliance for Connected Industries and Automation (5G-ACIA -- 6 Offene Themen -- 6.1 Netzwerkanforderungen -- 6.2 Verhaltensweise der Dienste -- 6.3 „Native Einbindung" -- 6.4 Frequenzzuweisung -- 7 Wie geht es weiter? -- Literatur -- Optimierung eines Funksystems für hybride kaskadierte Netzwerke in der Fertigungsautomation -- 1 Einleitung -- 2 Kommunikationssysteme in der Fertigungsautomation -- 2.1 Allgemeine Anforderungen von Applikationen der Fertigungsautomation -- 2.2 Zentrale Anforderungen der Fertigungsautomation an ein Kommunikationssystem -- 3 Hybride, kaskadierte Netzwerke und ihre Eigenschaften -- 3.1 Verwendbarkeit von bereits etablierten drahtlosen Technologien -- 3.2 Freiheitsgrade beim Entwurf eines Funksystems -- 3.3 Optimierter Entwurf des Funksystems -- 4 Das Projekt ParSec: Paralleles und sicheres Funksystem -- 5 Zusammenfassung und Ausblick -- Hinweis -- Literatur -- How Device-to-Device Communication can be used to Support an Industrial Mobile Network Infrastructure -- 1 Introduction -- 1.1 Related Works -- 1.2 Approach -- 2 Scenario -- 2.1 Automated services without coverage -- 2.2 Extended connectivity outside coverage -- 2.3 Low latency communication and synchronization -- 3 Handover Comparison -- 3.1 X2 based Handover -- 3.2 PC5 based Path Switch -- 3.3 X2 PC5 Comparison -- 4 Conclusion & -- Future Work -- 5 Acknowledgement -- References -- Hardwarearchitektur eines latenzoptimierten drahtlosen Kommunikationssystems für den industriellen Mobilfunk -- 1 Einleitung -- 2 Anforderungen -- 3 Systemdesign -- 3.1 Gewährleistung von Authentizität, Integrität und Vertraulichkeit -- 3.2 Kanalkodierung -- 3.3 Mehrträgerverfahren OFDM -- 3.4 Frame-Design -- 3.5 RF-Frontend und AGC -- 4 Hardwarearchitektur. 4.1 Frontend-Domäne -- 4.2 Basisband-Domäne -- 4.3 Applikationsdomäne -- 5 Auswertung der Implementierung -- 5.1 Hardwarekomplexität -- Förderung der Forschung -- Literatur -- Praxisbericht: Implementierung von TSN-Endpunkten im industriellen Umfeld -- 1 Einleitung -- 2 Ein industrieller Anwendungsfall -- 3 TSN-Automatisierungsprofile -- 4 TSN-Endpunkt-Architektur aus dem Profil der Avnu Alliance -- 4.1 CUC Interface -- 4.2 Time-Sensitive Stream Object -- 4.3 Network Interface -- Stream Translation. -- Time-Sensitive Queue. -- 4.4 End Station Configuration State Machine -- 4.5 Time Synchronisation -- 4.6 Topology Discovery -- 4.7 Technische Anforderungen an TSN-Endpunkte -- Stream Translation: -- Time-Sensitive Queue: -- Integrierter Switch bei 2-Port-Endgerät: -- 5 Verfügbare Lösungen und Umsetzung -- 5.1 Hilscher NetX 51 -- 5.2 Xilinx 100M/1G TSN Subsystem IP -- 5.3 Vergleich der Lösungen -- 5.4 Umsetzung -- Time-Synchronisation -- Stream-Translation -- Time Sensitive Queue -- 6 Auswertung -- 6.1 Messung der Zeitsynchronisation -- 6.2 Prüfung der Übersetzung von Datenströmen -- 6.3 Prüfung der Sendemechanismen Time Sensitive Queue. -- Time Sensitive Queue. -- Per-Stream Scheduling. -- Literatur -- Ethernet TSN Nano Profil - Migrationshelfer vom industriellen Brownfield zum Ethernet TSN-basierten IIoT -- 1 Entwicklungstendenzen von Ethernet TSN im Applikationsfeld industrielle Automation und Motivation für ein Ethernet TSN Nano Profil -- 2 Heterogenität von Ethernet TSN in Profilen, Systemen und Geräten -- 3 Ethernet TSN Nano-Profil - Skalierung von Ethernet TSN für die Feldebene und Retrofitting von IEC Echtzeit Ethernet-Hardware und -Anlagen -- 3.1 Time Aware Forwarder: Funktionsmodus für den Time Aware Shaper für Bridged Endstations mit eingeschränkter Weiterleittabelle und. 3.2 Domain-based Time Aware Forwarder: Funktionsmodus für garantierte niedrige Latenz in Linientopologien mit Geräten ohne Time Aware -- 4 Ethernet TSN-Konfigurationsmodellvarianten für heterogene Netze -- 4.1 TSN-Funktionsmodus ohne Topologiewissen in der Konfigurationslogik -- 4.2 Spezieller TSN-Funktionsmodus für Netzwerke mit einem zentralen Kommunikationspunkt (Single-Controller Networks) -- 4.3 Spezieller TSN-Funktionsmodus mit Topologiewissen und Sendereihenfolgeoptimierung für Single-Controller Networks -- 4.4 Ausblick allgemeine TSN-Funktion und -konfiguration für konvergente Netzwerke (inkl. Multi-Controller Networks, kein zentral Kommunikationspunkt) -- 5 Zusammenfassung -- Literatur -- Sichere Benutzerauthentifizierung mit mobilen Endgeräten in industriellen Anwendungen -- 1 Einleitung -- 2 OPC-UA -- 3 Nutzung einer PKI im Zusammenhang mit einem Konfigurationsund Nutzermanagementsystems -- 4 Smartcards als Schlüssel zum Zugriff auf Komponenten eines Netzwerks und ihre Personalisierung -- 5 Benutzerauthentifizierung mit einem mobilen Endgerät und einer Smartcard -- 6 Sicherheitskritische Betrachtung von NFC im Kontext der Applikation -- 7 Zusammenfassung -- Literatur -- A comparative evaluation of security mechanisms in DDS, TLS and DTLS -- 1 Introduction -- 2 IT security requirements in Industrie 4.0 -- 3 Fundamentals -- 3.1 DDS Core -- 3.2 DDS Security -- 3.3 TLS and DTLS -- 4 Evaluation -- 5 Conclusion -- References -- Modeling Security Requirements and Controls for an Automated Deployment of Industrial IT Systems -- 1 Introduction -- 2 IEC 62443 Security Standard -- 3 Security extension for OASIS TOSCA -- 4 Model checking -- 5 Prototypical Evaluation in a Realistic Scenario -- 5.1 Use-case scenario: Operation and Monitoring of Automated-Guided Vehicles -- 5.2 Security Requirements Modeling based on IEC 62443. 5.3 Security Capabilities Modeling based on IEC 62443. |
Record Nr. | UNINA-9910372743303321 |
Jasperneite Jürgen
![]() |
||
Berlin, Heidelberg, : Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|