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.
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 | ||
| ||
Gestaltung vernetzt-flexibler Arbeit : Beiträge aus Theorie und Praxis für die digitale Arbeitswelt / / herausgegeben von Mario Daum, Marco Wedel, Christian Zinke-Wehlmann, Hannah Ulbrich
| Gestaltung vernetzt-flexibler Arbeit : Beiträge aus Theorie und Praxis für die digitale Arbeitswelt / / herausgegeben von Mario Daum, Marco Wedel, Christian Zinke-Wehlmann, Hannah Ulbrich |
| Autore | Daum Mario |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XIX, 264 S. 32 Abb., 22 Abb. in Farbe.) |
| Disciplina | 658.5 |
| Soggetto topico |
Engineering economy
Computers, Special purpose Management Industrial management Educational technology Engineering Economics, Organization, Logistics, Marketing Special Purpose and Application-Based Systems Innovation/Technology Management Technology and Digital Education |
| Soggetto non controllato |
Engineering Economics, Organization, Logistics, Marketing
Special Purpose and Application-Based Systems Innovation/Technology Management Technology and Digital Education Industrial Management Business and Management Education Arbeitsgestaltung Digitalisierte Arbeit Flexible Arbeitsstrukturen Digitaler Wandel Digital Workplace Arbeit 4.0 Open Access Engineering: general Management of specific areas Expert systems / knowledge-based systems Research & development management Industrial applications of scientific research & technological innovation Educational equipment & technology, computer-aided learning (CAL) |
| ISBN | 3-662-61560-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Vorwort -- Einführung -- Status quo und Perspektiven der staatlichen Regulierung von orts- und zeitflexibler Arbeit -- Ein nutzergerechtes Erreichbarkeitsmanagement: Wissenschaftliche Erkenntnisse und Implikationen -- Rechtliche Anforderungen an ein System zur Erreichbarkeitssteuerung -- Erreichbarkeitsmanagement in der betrieblichen Praxis -- Empowerment als Schlüssel für die digitale Arbeitswelt -- Empowerment in der agilen Arbeitswelt. Konzepte und Instrumente für eine ganzheitliche Gestaltung -- Social Business Transformation. Leitlinien zur nachhaltigen Etablierung von Social Business und dem Einsatz von Enterprise Social Networks -- Rollen und Verantwortlichkeiten für erfolgreiche Social-Business-Anwendungen -- Weiterentwicklung von Enterprise Social Networks in Großunternehmen – Herausforderungen beim Thema Datenschutz -- Erste Systematisierungsansätze für die Beschreibung eines modellhaften Crowdsourcing-Systems im Zusammenhang mit der Steuerung von Crowdsourcing -- Entwurf eines Prozess- und Rollenmodells für internes Crowdsourcing -- Interne Crowd Work als Baustein einer Empowerment-orientierten Arbeitsorganisation -- Gemeinsames Arbeiten in der dezentralen digitalen Welt -- Matching Professionals in Coworking-Spaces – Tools, Erfahrungen und Beispiele. |
| Record Nr. | UNINA-9910416118803321 |
|
Daum Mario
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Haptics: Science, Technology, Applications [[electronic resource] ] : 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings / / edited by Ilana Nisky, Jess Hartcher-O’Brien, Michaël Wiertlewski, Jeroen Smeets
| Haptics: Science, Technology, Applications [[electronic resource] ] : 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings / / edited by Ilana Nisky, Jess Hartcher-O’Brien, Michaël Wiertlewski, Jeroen Smeets |
| Autore | Nisky Ilana |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XVIII, 557 p. 38 illus.) |
| Disciplina |
005.437
4.019 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
User interfaces (Computer systems)
Robotics Special purpose computers Application software Optical data processing User Interfaces and Human Computer Interaction Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Image Processing and Computer Vision |
| Soggetto non controllato |
User Interfaces and Human Computer Interaction
Robotics Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Image Processing and Computer Vision Computer and Information Systems Applications Computer Vision communication systems computer networks data communication systems display devices engineering haptic devices haptic interfaces human engineering Human-Computer Interaction (HCI) mobile computing network protocols robotics signal processing telecommunication networks user interfaces virtual reality wireless telecommunication systems User interface design & usability Artificial intelligence Expert systems / knowledge-based systems Information retrieval Internet searching Image processing Computer vision |
| ISBN | 3-030-58147-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Haptic Science -- The EmojiGrid as a Rating Tool for the Affective Appraisal of Touch -- A 2-DoF Skin Stretch Display on Palm: Effect of Stimulation Shape, Speed and Intensity -- User-Defined Mid-Air Haptic Sensations for Interacting with an AR Menu Environment -- Surface Roughness Judgment during Finger Exploration is Changeable by Visual Oscillations -- Identifying tactors locations on the proximal phalanx of the finger for navigation -- Tactile Perception of Objects by the User's Palm for the Development of Multi-contact Wearable Tactile Displays -- From Hate to Love: How Learning Can Change Affective Responses to Touched Materials -- Switching between objects improves precision in haptic perception of softness -- Discriminating between Intensities and Velocities of Mid-Air Haptic Patterns -- Density estimation is influenced more by mass when objects are denser -- Haptic feedback in a teleoperated Box & Blocks task -- Systematic Adaptation of Exploration Force to Exploration Duration in Softness Discrimination -- Perception of vibratory direction on the back -- Comparing Lateral Modulation and Amplitude Modulation in Phantom Sensation -- Context Matters: The Effect of Textual Tone on the Evaluation of Mediated Social Touch -- Influence of roughness on contact force estimation during active touch -- Green Fingers: Plant Thigmo Responses as an Unexplored Area for Haptics Research -- The impact of control-display gain in kinesthetic search -- The arm’s blind line: anisotropic distortion in perceived orientation of stimuli on the arm -- Evaluation of Changes in Perceived Intensity and Threshold of Moisture Sensation of Clothes Associated with Skin Moisture -- The Effects of Simultaneous Multi-Point Vibratory Stimulation on Kinesthetic Illusion -- Isometric force matching asymmetries depend on the position of the left hand regardless of handedness -- Computational Model of a Pacinian Corpuscle for an Electrical Stimulus: Spike-Rate and Threshold Characteristics -- Haptic Technology -- SwitchPaD: Active Lateral Force Feedback over a Large Area Based on Switching Resonant Modes -- Visuo-Haptic Display by Embedding Imperceptible Spatial Haptic Information into Projected Images -- Manipulating the Perceived Directions of Wind by Visuo-audio-haptic Cross-modal Effects -- A 6-DoF Zero-order Dynamic Deformable Tool for Haptic Interactions of Deformable and Dynamic Objects -- Evaluating Ultrasonic Tactile Feedback Stimuli -- WeATaViX: WEarable Actuated TAngibles for VIrtual reality eXperiences -- Noncontact Thermal and Vibrotactile Display Using Focused Airborne Ultrasound -- KATIB: Haptic-visual Guidance for Handwriting -- ThermalTex: A two-modal tactile display for delivering surface texture and thermal information -- Can Stiffness Sensations be Rendered in Virtual Reality Using Mid-air Ultrasound Haptic Technologies? -- Midair Haptic Presentation Using Concave Reflector -- Movement-Free Virtual Reality Interface using Kinesthetic Illusion Induced by Tendon Vibration -- Haptic Display Using Fishing Rod -- Confinement of Vibrotactile Stimuli in Periodically Supported Plates -- 2MoTac: Simulation of button click by superposition of two ultrasonic plate waves -- A Proposal and Investigation of Displaying Method by Passive Touch with Electrostatic Tactile Display -- Sensing Ultrasonic Mid-Air Haptics with a Biomimetic Tactile Fingertip -- Soft-wearable device for the estimation of shoulder orientation and gesture -- Wearable Vibrotactile Interface Using Phantom Tactile Sensation for Human-Robot Interaction -- A Parallel Elastic Haptic Thimble for Wide Bandwidth Cutaneous Feedback -- Instrumenting Hand-held Surgical Drills With a Pneumatic Sensing Cover for Haptic Feedback -- Rendering Ultrasound Pressure Distribution on Hand Surface in Real-Time -- Energy Analysis of Lateral vs. Normal Vibration Modes for Ultrasonic Surface Haptic Devices -- Midair Tactile Reproduction of Real Objects -- LinkRing: A Wearable Haptic Display for Delivering Multi-contact and Multi-modal Stimuli at the Finger Pads -- ElectroAR: Distributed Electro-tactile Stimulation for Tactile Transfer -- Haptic Applications -- Identification Rate of Simple and Complex Tactile Alerts in MUM-T Setup -- Attention-based Robot Learning of Haptic Interaction -- Motion Guidance using Translational Force and Torque Feedback by Induced Pulling Illusion -- Perceptually Compressive Communication of Interactive Telehaptic Signal -- Sound Image Icon with Aerial Haptic Feedback -- Stiffness Discrimination by Two Fingers with Stochastic Resonance -- Interest Arousal by Haptic Feedback During a Storytelling for Kindergarten Children -- Investigating the influence of haptic feedback in rover navigation with communication delay -- Shared haptic perception for human-robot collaboration -- Two-Point Haptic Pattern Recognition with the Inverse Filter Method -- Adaptive Fuzzy Sliding Mode Controller Design for a New Hand Rehabilitation Robot. |
| Record Nr. | UNINA-9910418352703321 |
|
Nisky Ilana
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Haptics: Science, Technology, Applications [[electronic resource] ] : 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings / / edited by Ilana Nisky, Jess Hartcher-O’Brien, Michaël Wiertlewski, Jeroen Smeets
| Haptics: Science, Technology, Applications [[electronic resource] ] : 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings / / edited by Ilana Nisky, Jess Hartcher-O’Brien, Michaël Wiertlewski, Jeroen Smeets |
| Autore | Nisky Ilana |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XVIII, 557 p. 38 illus.) |
| Disciplina |
005.437
4.019 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
User interfaces (Computer systems)
Robotics Special purpose computers Application software Optical data processing User Interfaces and Human Computer Interaction Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Image Processing and Computer Vision |
| Soggetto non controllato |
User Interfaces and Human Computer Interaction
Robotics Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Image Processing and Computer Vision Computer and Information Systems Applications Computer Vision communication systems computer networks data communication systems display devices engineering haptic devices haptic interfaces human engineering Human-Computer Interaction (HCI) mobile computing network protocols robotics signal processing telecommunication networks user interfaces virtual reality wireless telecommunication systems User interface design & usability Artificial intelligence Expert systems / knowledge-based systems Information retrieval Internet searching Image processing Computer vision |
| ISBN | 3-030-58147-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Haptic Science -- The EmojiGrid as a Rating Tool for the Affective Appraisal of Touch -- A 2-DoF Skin Stretch Display on Palm: Effect of Stimulation Shape, Speed and Intensity -- User-Defined Mid-Air Haptic Sensations for Interacting with an AR Menu Environment -- Surface Roughness Judgment during Finger Exploration is Changeable by Visual Oscillations -- Identifying tactors locations on the proximal phalanx of the finger for navigation -- Tactile Perception of Objects by the User's Palm for the Development of Multi-contact Wearable Tactile Displays -- From Hate to Love: How Learning Can Change Affective Responses to Touched Materials -- Switching between objects improves precision in haptic perception of softness -- Discriminating between Intensities and Velocities of Mid-Air Haptic Patterns -- Density estimation is influenced more by mass when objects are denser -- Haptic feedback in a teleoperated Box & Blocks task -- Systematic Adaptation of Exploration Force to Exploration Duration in Softness Discrimination -- Perception of vibratory direction on the back -- Comparing Lateral Modulation and Amplitude Modulation in Phantom Sensation -- Context Matters: The Effect of Textual Tone on the Evaluation of Mediated Social Touch -- Influence of roughness on contact force estimation during active touch -- Green Fingers: Plant Thigmo Responses as an Unexplored Area for Haptics Research -- The impact of control-display gain in kinesthetic search -- The arm’s blind line: anisotropic distortion in perceived orientation of stimuli on the arm -- Evaluation of Changes in Perceived Intensity and Threshold of Moisture Sensation of Clothes Associated with Skin Moisture -- The Effects of Simultaneous Multi-Point Vibratory Stimulation on Kinesthetic Illusion -- Isometric force matching asymmetries depend on the position of the left hand regardless of handedness -- Computational Model of a Pacinian Corpuscle for an Electrical Stimulus: Spike-Rate and Threshold Characteristics -- Haptic Technology -- SwitchPaD: Active Lateral Force Feedback over a Large Area Based on Switching Resonant Modes -- Visuo-Haptic Display by Embedding Imperceptible Spatial Haptic Information into Projected Images -- Manipulating the Perceived Directions of Wind by Visuo-audio-haptic Cross-modal Effects -- A 6-DoF Zero-order Dynamic Deformable Tool for Haptic Interactions of Deformable and Dynamic Objects -- Evaluating Ultrasonic Tactile Feedback Stimuli -- WeATaViX: WEarable Actuated TAngibles for VIrtual reality eXperiences -- Noncontact Thermal and Vibrotactile Display Using Focused Airborne Ultrasound -- KATIB: Haptic-visual Guidance for Handwriting -- ThermalTex: A two-modal tactile display for delivering surface texture and thermal information -- Can Stiffness Sensations be Rendered in Virtual Reality Using Mid-air Ultrasound Haptic Technologies? -- Midair Haptic Presentation Using Concave Reflector -- Movement-Free Virtual Reality Interface using Kinesthetic Illusion Induced by Tendon Vibration -- Haptic Display Using Fishing Rod -- Confinement of Vibrotactile Stimuli in Periodically Supported Plates -- 2MoTac: Simulation of button click by superposition of two ultrasonic plate waves -- A Proposal and Investigation of Displaying Method by Passive Touch with Electrostatic Tactile Display -- Sensing Ultrasonic Mid-Air Haptics with a Biomimetic Tactile Fingertip -- Soft-wearable device for the estimation of shoulder orientation and gesture -- Wearable Vibrotactile Interface Using Phantom Tactile Sensation for Human-Robot Interaction -- A Parallel Elastic Haptic Thimble for Wide Bandwidth Cutaneous Feedback -- Instrumenting Hand-held Surgical Drills With a Pneumatic Sensing Cover for Haptic Feedback -- Rendering Ultrasound Pressure Distribution on Hand Surface in Real-Time -- Energy Analysis of Lateral vs. Normal Vibration Modes for Ultrasonic Surface Haptic Devices -- Midair Tactile Reproduction of Real Objects -- LinkRing: A Wearable Haptic Display for Delivering Multi-contact and Multi-modal Stimuli at the Finger Pads -- ElectroAR: Distributed Electro-tactile Stimulation for Tactile Transfer -- Haptic Applications -- Identification Rate of Simple and Complex Tactile Alerts in MUM-T Setup -- Attention-based Robot Learning of Haptic Interaction -- Motion Guidance using Translational Force and Torque Feedback by Induced Pulling Illusion -- Perceptually Compressive Communication of Interactive Telehaptic Signal -- Sound Image Icon with Aerial Haptic Feedback -- Stiffness Discrimination by Two Fingers with Stochastic Resonance -- Interest Arousal by Haptic Feedback During a Storytelling for Kindergarten Children -- Investigating the influence of haptic feedback in rover navigation with communication delay -- Shared haptic perception for human-robot collaboration -- Two-Point Haptic Pattern Recognition with the Inverse Filter Method -- Adaptive Fuzzy Sliding Mode Controller Design for a New Hand Rehabilitation Robot. |
| Record Nr. | UNISA-996418312503316 |
|
Nisky Ilana
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Based Engineering of Collaborative Embedded Systems [[electronic resource] ] : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck
| Model-Based Engineering of Collaborative Embedded Systems [[electronic resource] ] : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck |
| Autore | Böhm Wolfgang (Wolfgang J.) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Automotive engineering Special purpose computers Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems |
| Soggetto non controllato |
Software Engineering
Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems |
| ISBN | 3-030-62136-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
| Record Nr. | UNISA-996464424603316 |
|
Böhm Wolfgang (Wolfgang J.)
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck
| Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology / / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck |
| Autore | Böhm Wolfgang (Wolfgang J.) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Automotive engineering Computers, Special purpose Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems |
| Soggetto non controllato |
Software Engineering
Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems |
| ISBN | 3-030-62136-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering. |
| Record Nr. | UNINA-9910433229903321 |
|
Böhm Wolfgang (Wolfgang J.)
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The once-only principle : the TOOP Project / / editors, Robert Krimmer, Andriana Prentza, Szymon Mamrot
| The once-only principle : the TOOP Project / / editors, Robert Krimmer, Andriana Prentza, Szymon Mamrot |
| Autore | Krimmer Robert |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (x, 241 pages) : illustrations (some color) |
| Altri autori (Persone) |
KrimmerRobert
PrentzaAndriana MamrotSzymon |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Government information - Law and legislation
Internet in public administration |
| Soggetto non controllato |
Computer Applications
Special Purpose and Application-Based Systems Programming Techniques Software Engineering/Programming and Operating Systems Computer Application in Administrative Data Processing Computer and Information Systems Applications Software Engineering access control communication systems computer systems cryptography databases Field Programmable Gate Array (FPGA) gateways (computer networks) information systems internet protocols network protocols object-oriented design object-oriented programming object-oriented programming languages signal processing social networks software architecture software design system architectures Information technology: general issues Expert systems / knowledge-based systems Computer programming / software engineering Operating systems |
| ISBN | 3-030-79851-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Once-Only Principle: A Matter of Trust Implementation of the 'once-only' principle in Europe national approaches Drivers for and Barriers to the Cross-Border Implementation of the Once-Only Princi pleOnce-Only Principle Good Practices in Europ eThe Single Digital Gateway Regulation as an Enabler and Constraint of Once-Only in EuropeLegal Basis and Regulatory Applications of the Once-Only Principle: the Italian CaseTOOP Trust ArchitectureThe Technical challenges in OOP application across the European Union and the TOOP OOP architectureTesting methodology for the TOOP pilotsTOOP pilot experiences: challenges and achievements in implementing once-only in different domains and Member StatesMeasuring the Impact of the Once Only Principle for Businesses Across BordersThe Future of the Once-Only Principle in Europe |
| Record Nr. | UNINA-9910488704303321 |
|
Krimmer Robert
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The once-only principle : the TOOP Project / / editors, Robert Krimmer, Andriana Prentza, Szymon Mamrot
| The once-only principle : the TOOP Project / / editors, Robert Krimmer, Andriana Prentza, Szymon Mamrot |
| Autore | Krimmer Robert |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (x, 241 pages) : illustrations (some color) |
| Altri autori (Persone) |
KrimmerRobert
PrentzaAndriana MamrotSzymon |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Government information - Law and legislation
Internet in public administration |
| Soggetto non controllato |
Computer Applications
Special Purpose and Application-Based Systems Programming Techniques Software Engineering/Programming and Operating Systems Computer Application in Administrative Data Processing Computer and Information Systems Applications Software Engineering access control communication systems computer systems cryptography databases Field Programmable Gate Array (FPGA) gateways (computer networks) information systems internet protocols network protocols object-oriented design object-oriented programming object-oriented programming languages signal processing social networks software architecture software design system architectures Information technology: general issues Expert systems / knowledge-based systems Computer programming / software engineering Operating systems |
| ISBN | 3-030-79851-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Once-Only Principle: A Matter of Trust Implementation of the 'once-only' principle in Europe national approaches Drivers for and Barriers to the Cross-Border Implementation of the Once-Only Princi pleOnce-Only Principle Good Practices in Europ eThe Single Digital Gateway Regulation as an Enabler and Constraint of Once-Only in EuropeLegal Basis and Regulatory Applications of the Once-Only Principle: the Italian CaseTOOP Trust ArchitectureThe Technical challenges in OOP application across the European Union and the TOOP OOP architectureTesting methodology for the TOOP pilotsTOOP pilot experiences: challenges and achievements in implementing once-only in different domains and Member StatesMeasuring the Impact of the Once Only Principle for Businesses Across BordersThe Future of the Once-Only Principle in Europe |
| Record Nr. | UNISA-996464432203316 |
|
Krimmer Robert
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Smart Technologies for Precision Assembly : 9th IFIP WG 5. 5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers
| Smart Technologies for Precision Assembly : 9th IFIP WG 5. 5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers |
| Autore | Ratchev Svetan |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (371 pages) |
| Collana | IFIP Advances in Information and Communication Technology |
| Soggetto topico |
Information technology: general issues
Artificial intelligence Human-computer interaction |
| Soggetto non controllato |
Computer Applications
Special Purpose and Application-Based Systems User Interfaces and Human Computer Interaction Robotics Computer and Information Systems Applications open access artificial intelligence computer vision hci human engineering human-computer interaction image processing manipulators mobile robots motion planning network protocols robots sensors signal processing software engineering telecommunication networks user interfaces Information technology: general issues Expert systems / knowledge-based systems User interface design & usability |
| ISBN | 3-030-72632-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Keynote Paper -- Augmented Reality in Assembly Systems: State of the Art and Future Perspectives -- 1 Introduction -- 2 Basics on Augmented Reality -- 2.1 AR Techniques -- 2.2 AR Devices -- 2.3 AR Applications in Production Engineering -- 3 Applications in Manual Assembly Systems -- 3.1 Guidance in Assembly Tasks - Optical and Video See-Through Approaches -- 3.2 Guidance in Assembly Tasks - Image Projection Approaches -- 3.3 Guidance in Complex Assembly Tasks -- 3.4 Order Picking -- 3.5 Quality Control and Inspection -- 3.6 Integration with Sensing Devices -- 3.7 Training -- 4 Applications in Collaborative Assembly Systems -- 5 Other Potential Areas of Application -- 6 Open Issues and Future Perspectives -- 6.1 Hardware and Software Performance -- 6.2 Tracking Methods -- 6.3 User's Acceptance -- 6.4 Authoring Procedure -- 7 Conclusions -- References -- Assembly Design and Planning -- Application of a Standardized Design Procedure in the Development of Automated Micro-assembly Processes -- 1 Introduction -- 2 A Function-Based Design Procedure -- 3 The Design Procedure in Practice -- 3.1 Identify Customer Needs -- 3.2 Establish Target Specifications -- 3.3 Generate Process Concepts -- 3.4 Select Process Concepts -- 3.5 Test Process Concepts -- 3.6 Specify Final Targets -- 3.7 Plan Development -- 4 Conclusion -- References -- Towards the Automated Coverlay Assembly in FPCB Manufacturing: Concept and Preliminary Tests -- 1 Introduction -- 2 The Proposed Assembly Approach -- 2.1 Requirements -- 2.2 Gripping -- 2.3 Peeling Strategy -- 2.4 Assembly Procedure -- 3 Assembly System Architecture -- 3.1 Workcell Description -- 3.2 Gripper Architecture -- 4 Peeling Tests -- 4.1 Experimental Setup -- 4.2 Results and Discussion -- 5 Conclusions -- References.
Resource Interface Matchmaking as a Part of Automatic Capability Matchmaking -- 1 Introduction -- 2 Capability Matchmaking Process -- 2.1 Information Models Involved -- 2.2 Overview of Capability Matchmaking Process -- 3 Interface Matching Process -- 4 Case Examples -- 4.1 Screwdriving Solution -- 4.2 Pick and Place Solution -- 5 Verification of Capability and Interface Matchmaking Results -- 6 Discussion and Conclusions -- References -- Investigation on the Convergence of the Genetic Algorithm of an Aerodynamic Feeding System Due to the Enlargement of the Solution Space -- 1 Introduction -- 2 The Aerodynamic Feeding System -- 3 Implementation of the Nozzle Position as Fifth Parameter -- 4 Effect of the Nozzle Position on the Orientation Process -- 5 Convergence of the Genetic Algorithm -- 6 Conclusion and Outlook -- References -- Assembly Operations -- Indirect System Condition Monitoring Using Online Bayesian Changepoint Detection -- 1 Introduction -- 2 Methodology -- 2.1 Test Bench Setup -- 2.2 Data Collection from the Test Bench -- 2.3 Online Bayesian Changepoint Detection -- 3 Results and Discussion -- 4 Conclusions -- References -- Strategies for Dealing with Problems in Robotised Unscrewing Operations -- 1 Introduction -- 2 Automated Unscrewing Method -- 2.1 A Human-Robot Collaborative Disassembly Cell -- 2.2 Automated Unscrewing Process -- 3 Mitigating Strategies for Failure Modes -- 3.1 Strategies for Dealing with Failure Modes -- 3.2 Detection Methods for Failure Modes -- 4 Experimental Tests and Results -- 4.1 Tests and Results for Dealing with Failure Mode 1 -- 4.2 Tests and Results for Dealing with Failure Mode 2 -- 4.3 Tests and Results for Dealing with Failure Mode 3 -- 5 Conclusion -- Appendix -- References -- Improving Automated Insertion Task in Robotics by Reducing Registration Error -- 1 Introduction -- 2 Related Work. 3 Description of the RRBC Method -- 4 Description of Experiments -- 4.1 Equipment -- 4.2 General Procedure and Concept of Experiments -- 5 Results and Discussion -- 5.1 Failed Insertions: Uncorrected vs. Corrected Target Locations -- 5.2 Relationship Between Failures and TRE -- 5.3 Tighter Tolerances -- 6 Conclusions -- 7 Disclaimer -- References -- Assembly Cells and Systems -- Development of a Sensitive Winding Application Based on a Serial Robot and Integrated Torque Sensors -- 1 Introduction and Approach of the Problem -- 2 State of the Art of the Winding Application -- 3 Process Development -- 3.1 Winding Process -- 3.2 Feedback Control System -- 3.3 Measurement Concept -- 4 Implementation and Validation -- 5 Summary and Outlook -- References -- High-Load Titanium Drilling Using an Accurate Robotic Machining System -- 1 Introduction -- 2 Related Works -- 3 Accurate Robot Architecture -- 3.1 Kinematic Model -- 3.2 Spindle -- 3.3 Pressure Foot -- 3.4 Additional Sensors/Data Sources/Systems -- 3.5 Programmable Drilling Parameters -- 4 Industrial Applications -- 5 Experimental Methods -- 6 Results and Discussion -- 6.1 Dynamometer Results -- 6.2 Hole Quality -- 7 Conclusions -- References -- Application of Advanced Simulation Methods for the Tolerance Analysis of Mechanical Assemblies -- 1 Introduction -- 2 Tolerance Modelling -- 2.1 Case Study -- 2.2 Assembly Models -- 2.3 Probability of Defected Products and Limit State Function -- 3 Advanced Simulation Methods -- 3.1 Crude Monte Carlo -- 3.2 Latin Hypercube Simulation Method -- 3.3 Quasi Monte Carlo Simulation Based on Sobol' Sequence -- 3.4 Subset Simulation Method -- 4 Results and Discussion -- 5 Conclusions -- References -- Development of a Low-Cost, High Accuracy, Flexible Panel Indexing Cell with Modular, Elastic Architecture -- 1 Introduction -- 2 Objectives. 2.1 Innovative Design Methodology -- 2.2 Functional Requirements -- 2.3 Commercial and Schedule Constraints -- 2.4 Modular Architecture -- 2.5 Cost Analysis -- 3 Architecture -- 3.1 Overview -- 3.2 Structure -- 3.3 Drive Systems -- 3.4 Indexing -- 3.5 Metrology -- 3.6 Force Sensing Clamps -- 4 Next Steps -- References -- Context-Aware Plug and Produce for Robotic Aerospace Assembly -- 1 Introduction -- 2 Flexibility in Manufacturing Systems -- 2.1 Flexible and Reconfigurable Manufacturing Systems -- 2.2 Evolvable Assembly Systems, Context Awareness, and WingLIFT -- 3 Use Case -- 3.1 High-Level Use Case Motivation -- 3.2 Specific Use Case Scenarios -- 4 Reference Architecture Concept -- 4.1 Generic Process Flow -- 4.2 Architectural Concept -- 4.3 Data Communications Concept -- 4.4 Hardware/Software Stack -- 5 Validation -- 5.1 Demonstration Scenario -- 5.2 Outline Solution -- 6 Summary -- References -- Data Capture and Visualisation on a Shoestring: Demonstrating the Digital Manufacturing on a Shoestring Project -- 1 Introduction -- 2 Architecture -- 3 Demonstrator Functionality -- 3.1 Cloud Database and Visualisations -- 3.2 Tool Condition Monitoring (TCM) -- 3.3 Job and Machine Status Tracking -- 3.4 Robotic Process Monitoring -- 4 Discussion -- 5 Conclusions -- References -- Digital Innovation Hubs for Enhancing the Technology Transfer and Digital Transformation of the European Manufacturing Industry -- 1 Introduction -- 1.1 Emerging Robotics Trends -- 1.2 Ecosystems -- 1.3 Future Skills -- 2 Review of Digital Innovation Hubs in Robotics -- 3 Trinity DIH - Concept and Approach -- 3.1 Use-Case Demonstrations -- 3.2 Concept for Approaching the Industrial Partners -- 4 Conclusions -- References -- Plenoptic Inspection System for Automatic Quality Control of MEMS and Microsystems -- 1 Introduction -- 1.1 MEMS and Typical Defects. 1.2 State of the Art (3D) Inspection Technology -- 2 3D Real-Time Imaging with Plenoptic Camera -- 2.1 Principle of Plenoptic Camera Technology -- 2.2 Application of Plenoptic Cameras for MEMS and Microsystems Inspection -- 3 Conclusion -- References -- Human Centred Assembly -- Automated Information Supply of Worker Guidance Systems in Smart Assembly Environment -- 1 Introduction: Background and Definitions -- 2 Related Work -- 2.1 Worker Guidance Systems -- 2.2 Information Supply of WGS -- 3 Conceptual Design for Automated Information Supply -- 3.1 Automated Information Supply of WGS -- 3.2 Authoring Process -- 3.3 Assisting Assembly Planning -- 3.4 Creation of Instruction Information -- 3.5 Entry of Instruction Information -- 4 Technical Implementation -- 4.1 Software-Based Proof-of-Concept Demonstrator -- 4.2 Integration in TU Wien Pilot Factory Industry 4.0 -- 5 Conclusion and Future Research Agenda -- 5.1 Conclusion and Recommendations -- 5.2 Limitation and Outlook -- References -- Towards Human and Robot Collaborative Ergonomic Handling of Long Parts with a Loose Grip -- 1 Introduction -- 2 Problem Formulation and Approach -- 3 Handling of Long Parts -- 3.1 Tracking System -- 3.2 Grasping the Part -- 3.3 Realtime-Control of Robot -- 3.4 Safety-Constraints -- 3.5 Discussion -- 4 Ergonomic Handling of Long Parts -- 5 Conclusions and Future Work -- References -- Human and Workcell Event Recognition and Its Application Areas in Industrial Assembly -- 1 Introduction -- 2 Problem Statement -- 2.1 Quality Assurance -- 2.2 Worker Assistance -- 2.3 Process Teaching and Configuration -- 3 State of the Art -- 3.1 Event Recognition -- 3.2 Object Recognition and Tracking -- 3.3 Smart Tools in Assembly Settings -- 3.4 Semantic Knowledge Representation and Processing -- 4 Methods -- 4.1 Events and Semantic Representation of Domain Knowledge. 4.2 Conception of the Event Recognition System. |
| Record Nr. | UNISA-996464417503316 |
|
Ratchev Svetan
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
