Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Fifth European Conference on Power Electronics and Applications : 13-16 September 1993 : venue, Brighton Conference Centre, UK
| Fifth European Conference on Power Electronics and Applications : 13-16 September 1993 : venue, Brighton Conference Centre, UK |
| Disciplina | 621.317 |
| Soggetto topico |
Power electronics
Electrical engineering |
| Soggetto non controllato | Electrical engineering |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | v. 1. Contents and index of all volumes, invited papers and abstracts -- v. 2. Materials and devices -- v. 3. Electronic power supply systems -- v. 4. Control in power electronics -- v. 5. Drives I -- v. 6. Drives II -- v. 7. System engineering -- v. 8. Power electronics in generation and transmission. |
| Altri titoli varianti | 1993 Fifth European Conference on Power Electronics and Applications |
| Record Nr. | UNISA-996201231103316 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
|
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe
| Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe |
| Autore | Carreira Paulo |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer engineering Internet of things Embedded computer systems Special purpose computers Application software Computer-aided engineering Software Engineering Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design |
| Soggetto non controllato |
Software Engineering
Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design Open Access Embedded and cyber-physical systems Software design engineering Model-driven software engineering Modelica Performance Analysis Design Languages System Description Languages System and Modeling DEVS Statecharts Petri Nets Multi-Paradigm Modeling AADL Concurrency Modeling Electrical engineering Cybernetics & systems theory Expert systems / knowledge-based systems Information technology: general issues Computer-aided design (CAD) |
| ISBN | 3-030-43946-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. |
| Record Nr. | UNISA-996465472303316 |
Carreira Paulo
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems / / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe
| Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems / / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe |
| Autore | Carreira Paulo |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer engineering Internet of things Embedded computer systems Special purpose computers Application software Computer-aided engineering Software Engineering Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design |
| Soggetto non controllato |
Software Engineering
Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design Open Access Embedded and cyber-physical systems Software design engineering Model-driven software engineering Modelica Performance Analysis Design Languages System Description Languages System and Modeling DEVS Statecharts Petri Nets Multi-Paradigm Modeling AADL Concurrency Modeling Electrical engineering Cybernetics & systems theory Expert systems / knowledge-based systems Information technology: general issues Computer-aided design (CAD) |
| ISBN | 3-030-43946-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. |
| Record Nr. | UNINA-9910404112303321 |
|
Carreira Paulo
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Future of Transport Between Digitalization and Decarbonization : Trends, Strategies and Effects on Energy Consumption / / by Michel Noussan, Manfred Hafner, Simone Tagliapietra
| The Future of Transport Between Digitalization and Decarbonization : Trends, Strategies and Effects on Energy Consumption / / by Michel Noussan, Manfred Hafner, Simone Tagliapietra |
| Autore | Noussan Michel |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XV, 112 p. 16 illus., 15 illus. in color.) |
| Disciplina | 388 |
| Collana | SpringerBriefs in Energy |
| Soggetto topico |
Transportation
Energy systems Economic policy Management Industrial management Energy Systems R & D/Technology Policy Innovation/Technology Management |
| Soggetto non controllato |
Transportation
Energy Systems R & D/Technology Policy Innovation/Technology Management Open Access Energy transition Transportation and Information Decarbonisation strategies Digitalisation Energy Consumption Biofuels Electrification of transportation Energy systems Innovative solutions for mobility Electrical engineering Energy technology & engineering Research & development management Industrial applications of scientific research & technological innovation |
| ISBN | 3-030-37966-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Evolution of Transport Across World Regions -- Decarbonization Pathways -- Digitalization Trends -- Policies to Decarbonize the Transport Sector. |
| Record Nr. | UNINA-9910404118503321 |
|
Noussan Michel
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Hackable City [[electronic resource] ] : Digital Media and Collaborative City-Making in the Network Society / / edited by Michiel de Lange, Martijn de Waal
| The Hackable City [[electronic resource] ] : Digital Media and Collaborative City-Making in the Network Society / / edited by Michiel de Lange, Martijn de Waal |
| Autore | de Lange Michiel |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Singapore, : Springer Nature, 2019 |
| Descrizione fisica | 1 online resource (XV, 302 p. 39 illus., 35 illus. in color.) |
| Disciplina | 621.382 |
| Soggetto topico |
Electrical engineering
Regional planning Urban planning User interfaces (Computer systems) Communications Engineering, Networks Landscape/Regional and Urban Planning User Interfaces and Human Computer Interaction |
| Soggetto non controllato |
Engineering
Electrical engineering Regional planning Urban planning User interfaces (Computer systems) |
| ISBN | 981-13-2694-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction. The Hacker, the City and Their Institutions: From Grassroots Urbanism to Systemic Change -- Part I: Design Practices in the Hackable City -- Power to the People: Hacking the City with Plug-In Interfaces for Community Engagement -- Rapid Street Game Design: Prototyping Lab for Urban Change -- The City as Perpetual Beta: Fostering Systemic Urban Acupuncture -- Part II: Changing Roles -- Transforming Cities by Designing with Communities -- Economic Resilience Through Community-driven (Real Estate) Development in Amsterdam-Noord -- This is Our City! Urban Communities Re-Appropriating Their City -- Removing Barriers for Citizen Participation to Urban Innovation -- Part III: Hackers and Institutions -- Working in Beta: Testing Urban Experiments and Innovation Policy within Dublin City Council -- Reinventing the Rules: Emergent Gameplay for Civic Learning -- Data Flow in the Smart City: Open Data vs. The Commons -- Part IV: Theorizing the Hackable City -- Hacking, Making, and Prototyping for Social Change -- Unpacking the Smart City Through the Lens of the Right to the City: A Taxonomy as a Way Forward in Participatory Citymaking -- A Hacking Atlas: Holistic Hacking in the Urban Theater -- Of Hackers and Cities: How Selfbuilders in the Buiksloterham Are Making their City -- Epilogue: Co-creating a Humane Digital Transformation of Cities. |
| Record Nr. | UNINA-9910350307603321 |
|
de Lange Michiel
|
||
| Singapore, : Springer Nature, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to robotics / / Tadej Bajd, Matjaz Mihelj, Marko Munih
| Introduction to robotics / / Tadej Bajd, Matjaz Mihelj, Marko Munih |
| Autore | Bajd Tadej |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Dordrecht, Netherlands : , : Springer, , 2013 |
| Descrizione fisica | 1 online resource (vii, 83 pages) : illustrations |
| Disciplina | 629.892 |
| Collana | SpringerBriefs in Applied Sciences and Technology |
| Soggetto topico |
Robotics
Robots |
| Soggetto non controllato |
Engineering
Mechanical engineering Computer engineering Robotics and Automation Electrical engineering |
| ISBN | 94-007-6101-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 Rotation and Orientation -- 3 Pose and Displacement -- 4 Geometric Robot Model -- 5 Geometric Model of Anthropomorphic Robot with Spherical Wrist -- Index. |
| Record Nr. | UNINA-9910437903603321 |
|
Bajd Tadej
|
||
| Dordrecht, Netherlands : , : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Machine learning for cyber physical systems : selected papers from the international conference ML4CPS 2020 ; Berlin, Germany, March 12-13, 2020 / / editors, Jürgen Beyerer, Alexander Maier, Oliver Niggemann
| Machine learning for cyber physical systems : selected papers from the international conference ML4CPS 2020 ; Berlin, Germany, March 12-13, 2020 / / editors, Jürgen Beyerer, Alexander Maier, Oliver Niggemann |
| Autore | Beyerer Jürgen |
| Edizione | [1st edition 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (VII, 130 p. 42 illus., 25 illus. in color.) |
| Disciplina | 621.38 |
| Collana | Technologies for Intelligent Automation |
| Soggetto topico | Machine learning |
| Soggetto non controllato |
Cyber-physical systems, IoT
Communications Engineering, Networks Computer Systems Organization and Communication Networks Cyber-Physical Systems Computer Engineering and Networks Machine Learning Artificial Intelligence Cognitive Robotics Internet of Things Computational intelligence Computer-based algorithms Smart grid Open Access Industry 4.0 Electrical engineering Cybernetics & systems theory Communications engineering / telecommunications Computer networking & communications |
| ISBN | 3-662-62746-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Energy Profile Prediction of Milling Processes Using Machine Learning Techniques -- Improvement of the prediction quality of electrical load profiles with artficial neural networks -- Detection and localization of an underwater docking station -- Deployment architecture for the local delivery of ML-Models to the industrial shop floor -- Deep Learning in Resource and Data Constrained Edge Computing Systems -- Prediction of Batch Processes Runtime Applying Dynamic Time Warping and Survival Analysis -- Proposal for requirements on industrial AI solutions -- Information modeling and knowledge extraction for machine learning applications in industrial production systems -- Explanation Framework for Intrusion Detection -- Automatic Generation of Improvement Suggestions for Legacy, PLC Controlled Manufacturing Equipment Utilizing Machine Learning -- Hardening Deep Neural Networks in Condition Monitoring Systems against Adversarial Example Attacks -- First Approaches to Automatically Diagnose and Reconfigure Hybrid Cyber-Physical Systems -- Machine learning for reconstruction of highly porous structures from FIB-SEM nano-tomographic data. |
| Record Nr. | UNINA-9910433248603321 |
|
Beyerer Jürgen
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Optimization-Based Energy Management for Multi-Energy Maritime Grids
| Optimization-Based Energy Management for Multi-Energy Maritime Grids |
| Autore | Fang Sidun |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (211 pages) |
| Altri autori (Persone) | WangHongdong |
| Collana | Springer Series on Naval Architecture, Marine Engineering, Shipbuilding and Shipping |
| Soggetto topico |
Offshore engineering
Energy technology & engineering Electrical engineering |
| Soggetto non controllato |
Offshore Engineering
Energy Policy, Economics and Management Power Electronics, Electrical Machines and Networks Power Electronics Energy Grids and Networks Energy Efficiency Energy Management Sustainable Shipping All-electric Ship Seaport Microgrid Maritime Renewables Energy Storage Gas Emission Capture Open Access Marine engineering Energy technology & engineering Energy industries & utilities Electrical engineering |
| ISBN | 981-336-734-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910473453603321 |
|
Fang Sidun
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Security of Ubiquitous Computing Systems [[electronic resource] ] : Selected Topics / / edited by Gildas Avoine, Julio Hernandez-Castro
| Security of Ubiquitous Computing Systems [[electronic resource] ] : Selected Topics / / edited by Gildas Avoine, Julio Hernandez-Castro |
| Autore | Avoine Gildas |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (XVIII, 265 p. 25 illus., 8 illus. in color.) |
| Disciplina | 005.8 |
| Soggetto topico |
Computer security
Computer engineering Internet of things Embedded computer systems Computer software System safety Systems and Data Security Cyber-physical systems, IoT Professional Computing Security Science and Technology |
| Soggetto non controllato |
Systems and Data Security
Cyber-physical systems, IoT Professional Computing Security Science and Technology Data and Information Security Internet of Things Cryptology Cryptacus Security Ubiquitous Devices Lightweight Cryptography Symmetric Cryptography Side-Channel Analysis IoT Security Ubiquitous Computing Systems Open Access Computer security Network security Electrical engineering Cybernetics & systems theory Applied computing Security & fire alarm systems |
| ISBN | 3-030-10591-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Introduction -- Emerging Security Challenges for Ubiquitous Devices -- Part II: Lightweight Cryptographic Primitives -- Catalog and Illustrative Examples of Lightweight Cryptographic Primitives -- Selected Design and Analysis Techniques in Contemporary Symmetric Encryption -- An Account of the ISO/IEC Standardization of the Simon and Speck Block Cipher Families -- Part III: Authentication Protocols -- ePassport and eID Technologies -- Ultra-lightweight Authentication -- From Relay Attacks to Distance-Bounding Protocols -- Part IV: Hardware Implementation and Systems -- It Started With Templates: The Future of Profiling in Side-Channel Analysis -- Side Channel Attack Assessment Platforms and Tools for Ubiquitous Systems -- Challenges in Certifying Small-scale (IoT) Hardware Random Number Generators -- Finding Software Bugs in Embedded Devices -- Part V: Privacy and Forensics -- Privacy-Oriented Analysis of Ubiquitous Computing Systems: A 5-D Approach -- IoT Forensics. |
| Record Nr. | UNISA-996464447403316 |
|
Avoine Gildas
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
