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.
Computational approaches for aerospace design [[electronic resource] ] : the pursuit of excellence / / Andy J. Keane, Prasanth B. Nair
| Computational approaches for aerospace design [[electronic resource] ] : the pursuit of excellence / / Andy J. Keane, Prasanth B. Nair |
| Autore | Keane A. J |
| Pubbl/distr/stampa | Chichester, England ; ; Hoboken, N.J., : Wiley, c2005 |
| Descrizione fisica | 1 online resource (606 p.) |
| Disciplina | 629.10113 |
| Altri autori (Persone) | NairP. B |
| Soggetto topico |
Aerospace engineering - Data processing
Aerospace engineering - Mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-27643-6
9786610276431 0-470-29998-3 0-470-85548-7 0-470-85547-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Computational Approaches for Aerospace Design; Contents; Foreword; Preface; Acknowledgments; I Preliminaries; 1 Introduction; 1.1 Objectives; 1.2 RoadMap -What is Covered andWhat is Not; 1.3 An Historical Perspective on Aerospace Design; 1.3.1 A Pair of Early Pioneers; 1.3.2 A Pair of Great Designers; 1.3.3 A Pair of Great Researchers; 1.3.4 Two Great Aerospace Companies; 1.3.5 Rationalization and Cooperation; 1.3.6 The Dawn of the Computational Era; 1.4 Traditional Manual Approaches to Design and Design Iteration, Design Teams; 1.4.1 Design as a Decision-making Process; 1.4.2 Concept Design.
1.4.3 Preliminary Design1.4.4 Detailed Design; 1.4.5 In-service Design and Decommissioning; 1.4.6 Human Aspects of Design Teams; 1.5 Advances in Modeling Techniques: Computational Engineering; 1.5.1 Partial Differential Equations (PDEs); 1.5.2 Hardware versus Software; 1.5.3 Computational Solid Mechanics (CSM); 1.5.4 Computational Fluid Dynamics (CFD); 1.5.5 Multilevel Approaches or 'Zoom' Analysis; 1.5.6 Complexity; 1.6 Trade-offs in Aerospace System Design; 1.6.1 Balanced Designs; 1.6.2 Structural Strength versusWeight; 1.6.3 Aerodynamics versus Structural Strength 1.6.4 Structures versus Control1.6.5 Robustness versus Nominal Performance; 1.7 Design Automation, Evolution and Innovation; 1.7.1 Innovation; 1.7.2 Evolution; 1.7.3 Automation; 1.8 Design Search and Optimization (DSO); 1.8.1 Beginnings; 1.8.2 A Taxonomy of Optimization; 1.8.3 A Brief History of Optimization Methods; 1.8.4 The Place of Optimization in Design - Commercial Tools; 1.9 The Take-up of Computational Methods; 1.9.1 Technology Transfer; 1.9.2 Academic Design Research; 1.9.3 Socio-technical Issues; 2 Design-oriented Analysis; 2.1 GeometryModeling and Design Parameterization 2.1.1 The Role of Parameterization in Design2.1.2 Discrete and Domain Element Parameterizations; 2.1.3 NACA Airfoils; 2.1.4 Spline-based Approaches; 2.1.5 Partial Differential Equation and Other Analytical Approaches; 2.1.6 Basis Function Representation; 2.1.7 Morphing; 2.1.8 Shape Grammars; 2.1.9 Mesh-based Evolutionary Encodings; 2.1.10 CAD Tools versus Dedicated Parameterization Methods; 2.2 ComputationalMesh Generation; 2.2.1 The Function ofMeshes; 2.2.2 Mesh Types and Cell/Element/Volume Geometries; 2.2.3 Mesh Generation, Quality and Adaptation; 2.2.4 Meshless Approaches 2.3 Analysis and Design of Coupled Systems2.3.1 Interactions between Geometry De.nition, Meshing and Solvers - Parallel Computations; 2.3.2 Simple Relaxation and Newton Techniques; 2.3.3 Systems Integration, Work.ow Management, Data Transfer and Compression; 3 Elements of Numerical Optimization; 3.1 Single Variable Optimizers - Line Search; 3.1.1 Unconstrained Optimization with a Single Real Variable; 3.1.2 Optimization with a Single Discrete Variable; 3.1.3 Optimization with a Single Nonnumeric Variable; 3.2 Multivariable Optimizers; 3.2.1 Population versus Single-point Methods 3.2.2 Gradient-based Methods |
| Record Nr. | UNINA-9910143747303321 |
Keane A. J
|
||
| Chichester, England ; ; Hoboken, N.J., : Wiley, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational approaches for aerospace design [[electronic resource] ] : the pursuit of excellence / / Andy J. Keane, Prasanth B. Nair
| Computational approaches for aerospace design [[electronic resource] ] : the pursuit of excellence / / Andy J. Keane, Prasanth B. Nair |
| Autore | Keane A. J |
| Pubbl/distr/stampa | Chichester, England ; ; Hoboken, N.J., : Wiley, c2005 |
| Descrizione fisica | 1 online resource (606 p.) |
| Disciplina | 629.10113 |
| Altri autori (Persone) | NairP. B |
| Soggetto topico |
Aerospace engineering - Data processing
Aerospace engineering - Mathematics |
| ISBN |
1-280-27643-6
9786610276431 0-470-29998-3 0-470-85548-7 0-470-85547-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Computational Approaches for Aerospace Design; Contents; Foreword; Preface; Acknowledgments; I Preliminaries; 1 Introduction; 1.1 Objectives; 1.2 RoadMap -What is Covered andWhat is Not; 1.3 An Historical Perspective on Aerospace Design; 1.3.1 A Pair of Early Pioneers; 1.3.2 A Pair of Great Designers; 1.3.3 A Pair of Great Researchers; 1.3.4 Two Great Aerospace Companies; 1.3.5 Rationalization and Cooperation; 1.3.6 The Dawn of the Computational Era; 1.4 Traditional Manual Approaches to Design and Design Iteration, Design Teams; 1.4.1 Design as a Decision-making Process; 1.4.2 Concept Design.
1.4.3 Preliminary Design1.4.4 Detailed Design; 1.4.5 In-service Design and Decommissioning; 1.4.6 Human Aspects of Design Teams; 1.5 Advances in Modeling Techniques: Computational Engineering; 1.5.1 Partial Differential Equations (PDEs); 1.5.2 Hardware versus Software; 1.5.3 Computational Solid Mechanics (CSM); 1.5.4 Computational Fluid Dynamics (CFD); 1.5.5 Multilevel Approaches or 'Zoom' Analysis; 1.5.6 Complexity; 1.6 Trade-offs in Aerospace System Design; 1.6.1 Balanced Designs; 1.6.2 Structural Strength versusWeight; 1.6.3 Aerodynamics versus Structural Strength 1.6.4 Structures versus Control1.6.5 Robustness versus Nominal Performance; 1.7 Design Automation, Evolution and Innovation; 1.7.1 Innovation; 1.7.2 Evolution; 1.7.3 Automation; 1.8 Design Search and Optimization (DSO); 1.8.1 Beginnings; 1.8.2 A Taxonomy of Optimization; 1.8.3 A Brief History of Optimization Methods; 1.8.4 The Place of Optimization in Design - Commercial Tools; 1.9 The Take-up of Computational Methods; 1.9.1 Technology Transfer; 1.9.2 Academic Design Research; 1.9.3 Socio-technical Issues; 2 Design-oriented Analysis; 2.1 GeometryModeling and Design Parameterization 2.1.1 The Role of Parameterization in Design2.1.2 Discrete and Domain Element Parameterizations; 2.1.3 NACA Airfoils; 2.1.4 Spline-based Approaches; 2.1.5 Partial Differential Equation and Other Analytical Approaches; 2.1.6 Basis Function Representation; 2.1.7 Morphing; 2.1.8 Shape Grammars; 2.1.9 Mesh-based Evolutionary Encodings; 2.1.10 CAD Tools versus Dedicated Parameterization Methods; 2.2 ComputationalMesh Generation; 2.2.1 The Function ofMeshes; 2.2.2 Mesh Types and Cell/Element/Volume Geometries; 2.2.3 Mesh Generation, Quality and Adaptation; 2.2.4 Meshless Approaches 2.3 Analysis and Design of Coupled Systems2.3.1 Interactions between Geometry De.nition, Meshing and Solvers - Parallel Computations; 2.3.2 Simple Relaxation and Newton Techniques; 2.3.3 Systems Integration, Work.ow Management, Data Transfer and Compression; 3 Elements of Numerical Optimization; 3.1 Single Variable Optimizers - Line Search; 3.1.1 Unconstrained Optimization with a Single Real Variable; 3.1.2 Optimization with a Single Discrete Variable; 3.1.3 Optimization with a Single Nonnumeric Variable; 3.2 Multivariable Optimizers; 3.2.1 Population versus Single-point Methods 3.2.2 Gradient-based Methods |
| Record Nr. | UNINA-9910829976703321 |
|
Keane A. J
|
||
| Chichester, England ; ; Hoboken, N.J., : Wiley, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer modeling in the aerospace industry / / edited by Iftikhar B. Abbasov
| Computer modeling in the aerospace industry / / edited by Iftikhar B. Abbasov |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley |
| Descrizione fisica | 1 online resource (283 pages) |
| Disciplina | 629.10113 |
| Soggetto topico |
Aerospace engineering - Computer simulation
Airplanes - Design and construction - Data processing |
| ISBN |
1-119-68230-4
1-119-68226-6 1-119-68136-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910554827803321 |
| Hoboken, NJ : , : Wiley | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer modeling in the aerospace industry / / edited by Iftikhar B. Abbasov
| Computer modeling in the aerospace industry / / edited by Iftikhar B. Abbasov |
| Pubbl/distr/stampa | Hoboken, NJ : , : Wiley |
| Descrizione fisica | 1 online resource (283 pages) |
| Disciplina | 629.10113 |
| Soggetto topico |
Aerospace engineering - Computer simulation
Airplanes - Design and construction - Data processing |
| ISBN |
1-119-68230-4
1-119-68226-6 1-119-68136-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910813593503321 |
| Hoboken, NJ : , : Wiley | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
DevOps for airborne software : exploring modern approaches / / Wanja Zaeske, Umut Durak
| DevOps for airborne software : exploring modern approaches / / Wanja Zaeske, Umut Durak |
| Autore | Zaeske Wanja |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (67 pages) |
| Disciplina | 629.10113 |
| Collana | SpringerBriefs in computer science |
| Soggetto topico |
Aeronautics - Computer programs
Computer software Computer software - Development |
| ISBN | 3-030-97579-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Preface -- Contents -- Acronyms -- 1 Introduction -- 1.1 Issues in Airborne Development -- 1.2 From Agile to DevOps -- 1.3 Constraints in Avionic Software Engineering -- 1.4 Structure -- References -- 2 Background -- 2.1 Certification in Avionics: DO-178 -- 2.2 Version Control with Git -- 2.3 Rust, a Modern Systems Programming Language -- 2.4 Test-Driven Development -- 2.5 Automation in DevOps -- 2.5.1 Continuous Integration -- 2.5.2 Continuous Delivery -- 2.5.3 Continuous Deployment -- 2.6 Behavior-Driven Development -- 2.7 Embedded Virtualization -- 2.7.1 Virtualization in Avionics -- 2.7.2 XtratuM Next Generation -- 2.8 Nix and Hydra -- 2.9 RTLola -- References -- 3 Approach -- 3.1 Development -- 3.1.1 Avoiding Errors -- 3.1.2 Requirements from Plan to Verification -- 3.1.3 Unifying Build System and Package Manager -- 3.2 Operation -- 3.2.1 Operating Product and Toolchain -- 3.2.2 Monitoring the Product -- 3.2.3 Closing the Feedback Loop -- 3.3 Summary -- References -- 4 Demonstrator and Evaluation -- 4.1 TAWS and openTAWS -- 4.2 Enhancing Hypervisor Partitions with Rust -- 4.3 Streamlining the Requirements Engineering with BDD -- 4.4 Continuous Integration -- 4.4.1 GitHub Actions -- 4.4.2 Nix and Hydra -- 4.5 Monitoring with RTLola -- References -- 5 Outlook and Conclusion -- 5.1 Outlook -- 5.1.1 Modify Setup for Full XNG Compatibility -- 5.1.2 Allow for Code Coverage Analysis -- 5.1.3 RTLola and Rust for Resilience -- 5.1.4 Online Monitoring for Software Planning -- 5.1.5 Operating Development Grade Products in Real Aircraft -- 5.1.6 Shortcomings of Nix -- 5.1.7 Fulfilling More DO-178 Objectives -- 5.2 Conclusion -- References. |
| Record Nr. | UNISA-996483159603316 |
|
Zaeske Wanja
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
DevOps for airborne software : exploring modern approaches / / Wanja Zaeske, Umut Durak
| DevOps for airborne software : exploring modern approaches / / Wanja Zaeske, Umut Durak |
| Autore | Zaeske Wanja |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (67 pages) |
| Disciplina | 629.10113 |
| Collana | SpringerBriefs in computer science |
| Soggetto topico |
Aeronautics - Computer programs
Computer software Computer software - Development |
| ISBN | 3-030-97579-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Preface -- Contents -- Acronyms -- 1 Introduction -- 1.1 Issues in Airborne Development -- 1.2 From Agile to DevOps -- 1.3 Constraints in Avionic Software Engineering -- 1.4 Structure -- References -- 2 Background -- 2.1 Certification in Avionics: DO-178 -- 2.2 Version Control with Git -- 2.3 Rust, a Modern Systems Programming Language -- 2.4 Test-Driven Development -- 2.5 Automation in DevOps -- 2.5.1 Continuous Integration -- 2.5.2 Continuous Delivery -- 2.5.3 Continuous Deployment -- 2.6 Behavior-Driven Development -- 2.7 Embedded Virtualization -- 2.7.1 Virtualization in Avionics -- 2.7.2 XtratuM Next Generation -- 2.8 Nix and Hydra -- 2.9 RTLola -- References -- 3 Approach -- 3.1 Development -- 3.1.1 Avoiding Errors -- 3.1.2 Requirements from Plan to Verification -- 3.1.3 Unifying Build System and Package Manager -- 3.2 Operation -- 3.2.1 Operating Product and Toolchain -- 3.2.2 Monitoring the Product -- 3.2.3 Closing the Feedback Loop -- 3.3 Summary -- References -- 4 Demonstrator and Evaluation -- 4.1 TAWS and openTAWS -- 4.2 Enhancing Hypervisor Partitions with Rust -- 4.3 Streamlining the Requirements Engineering with BDD -- 4.4 Continuous Integration -- 4.4.1 GitHub Actions -- 4.4.2 Nix and Hydra -- 4.5 Monitoring with RTLola -- References -- 5 Outlook and Conclusion -- 5.1 Outlook -- 5.1.1 Modify Setup for Full XNG Compatibility -- 5.1.2 Allow for Code Coverage Analysis -- 5.1.3 RTLola and Rust for Resilience -- 5.1.4 Online Monitoring for Software Planning -- 5.1.5 Operating Development Grade Products in Real Aircraft -- 5.1.6 Shortcomings of Nix -- 5.1.7 Fulfilling More DO-178 Objectives -- 5.2 Conclusion -- References. |
| Record Nr. | UNINA-9910585771303321 |
|
Zaeske Wanja
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering psychology and cognitive ergonomics : 19th international conference, EPCE 2022, held as part of the 24th HCI International Conference, HCII 2022, Virtual event, June 26-July 1, 2022, proceedings / / Don Harris, Wen-Chin Li (editors)
| Engineering psychology and cognitive ergonomics : 19th international conference, EPCE 2022, held as part of the 24th HCI International Conference, HCII 2022, Virtual event, June 26-July 1, 2022, proceedings / / Don Harris, Wen-Chin Li (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (519 p.) |
| Disciplina | 629.10113 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Aeronautics - Computer programs
Human-computer interaction Human engineering |
| ISBN | 3-031-06086-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910568244103321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering psychology and cognitive ergonomics : 19th international conference, EPCE 2022, held as part of the 24th HCI International Conference, HCII 2022, Virtual event, June 26-July 1, 2022, proceedings / / Don Harris, Wen-Chin Li (editors)
| Engineering psychology and cognitive ergonomics : 19th international conference, EPCE 2022, held as part of the 24th HCI International Conference, HCII 2022, Virtual event, June 26-July 1, 2022, proceedings / / Don Harris, Wen-Chin Li (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (519 p.) |
| Disciplina | 629.10113 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Aeronautics - Computer programs
Human-computer interaction Human engineering |
| ISBN | 3-031-06086-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996478868603316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||