2020 AIAA IEEE 39th Digital Avionics Systems Conference (DASC)


Book Description

To provide a forum for free discussions of new ideas, research, development and applications in order to stimulate and inspire pioneering work in the field of digital avionics and related areas To acquire high quality technical papers for publication in a DASC Proceedings and other appropriate publications such as the DATC Journal of Aircraft and IEEE Systems Magazine To provide a meeting that will further the progress of DATC and IEEE entities, including Societies, Technical Committees, and local Sections and thereby better serve the interests of all DATC and IEEE members and the community at large To provide an atmosphere that strengthens the interpersonal rapport of a large number of engineers and scientists interested in specialized and closely related fields To provide an exhibition of current hardware and software products, methods and tools To provide instruction in advances in digital avionics and to encourage and reward student academic participation




Advances in Networked-Based Information Systems


Book Description

This book provides the latest research findings, innovative research results, methods and development techniques from both theoretical and practical perspectives related to the emerging areas of information networking and their applications. The networks and information systems of today are evolving rapidly. There are new trends and applications in information networking such as wireless sensor networks, ad hoc networks, peer-to-peer systems, vehicular networks, opportunistic networks, grid and cloud computing, pervasive and ubiquitous computing, multimedia systems, security, multi-agent systems, high-speed networks, and web-based systems. These kinds of networks need to manage the increasing number of users, provide support for different services, guarantee the QoS, and optimize the network resources. For these networks, there are many research issues and challenges that should be considered and find solutions.







NASA Formal Methods


Book Description




Sustainable Aviation Technology and Operations


Book Description

Sustainable Aviation Technology and Operations Comprehensively covers research and development initiatives to enhance the environmental sustainability of the??aviation sector Sustainable Aviation Technology and Operations provides a comprehensive and timely outlook of recent research advances in aeronautics and air transport, with emphasis on both long-term sustainable development goals and current achievements. This book discusses some of the most promising advances in aircraft technologies, air traffic management and systems engineering methodologies for sustainable aviation. The topics covered include: propulsion, aerodynamics, avionics, structures, materials, airspace management, biofuels and sustainable lifecycle management. The physical processes associated with various aircraft emissions — including air pollutants, noise and contrails — are presented to support the development of computational models for aircraft design, flight path optimization and environmental impact assessment. Relevant advances in systems engineering and lifecycle management processes are also covered, bridging some of the existing gaps between academic research and industry best practices. A collection of research case studies complements the book, highlighting opportunities for a timely uptake of the most promising technologies, towards a more efficient and environmentally sustainable aviation future. Key features: Contains important research and industry relevant contributions from world-class experts. Addresses recent advances in aviation sustainability including multidisciplinary design approaches and multi-objective operational optimisation methods. Includes a number of research case studies, addressing propulsion, aerostructures, alternative aviation fuels, avionics, air traffic management, and sustainable lifecycle management solutions. Sustainable Aviation Technology and Operations is an excellent book for aerospace engineers, aviation scientists, researchers and graduate students involved in the field.










The Proceedings of the 2021 Asia-Pacific International Symposium on Aerospace Technology (APISAT 2021), Volume 2


Book Description

This proceeding comprises peer-reviewed papers of the 2021 Asia-Pacific International Symposium on Aerospace Technology (APISAT 2021), held from 15-17 November 2021 in Jeju, South Korea. This book deals with various themes on computational fluid dynamics, wind tunnel testing, flow visualization, UAV design, flight simulation, satellite attitude control, aeroelasticity and control, combustion analysis, fuel injection, cooling systems, spacecraft propulsion and so forth. So, this book can be very helpful not only for the researchers of universities and academic institutes, but also for the industry engineers who are interested in the current and future advanced topics in aerospace technology.







NASA Formal Methods


Book Description

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.