Page 16
Page 16
Space Systems Failures : Disasters and Rescues of Satellites, Rocket and Space Probes
The very first book on space systems failures written from an engineering perspective. In the 1960s and 1970s deep space missions were dispatched in pairs in case one was lost in launch or failed during its journey. Following the triumphs of the Viking landings on Mars in 1976 and both Voyagers spacecraft successfully surveying the outer giant planets of the Solar System, it was decided by NASA to cut costs and send out just a single probe. Although Magellan successfully mapped Venus by radar, it suffered from problems during the flight. Then came the loss of Mars Observer, whose engine exploded as it was preparing to enter Mars’ orbit because it was using technology designed for Earth’s satellites and the engine was not suited to spending several months in space. Later came the high-profile losses of Mars Climate Observer and Mars Polar Lander - a consequence of the faster, better, cheaper philosophy introduced by Dan Goldin in 1993. Even the highly successful Galileo mission suffered a major setback when its high-gain antenna (also based on satellite mission suffered a major setback when its high-gain antenna (also based on satellite communication technology) failed to deploy fully, greatly diminishing the craft’s radio transmission capabilities, forcing the ground crew to re-programme the on-board computer to enable it to fulfil its mission and provide stunning images of Jupiter and its moons.
Space Shuttle Columbia : Her Missions and Crews
On February 1st 2003, one of the worst and most public disasters ever witnessed in the human space programme unfolded with horrifying suddenness in the skies above north central Texas. The Space Shuttle Columbia – the world’s first truly reusable manned spacecraft – was lost during her return to Earth, along with a crew of seven. It was an event that, after the loss of Space Shuttle Challenger during a launch 17 years before, the world had hoped it would never see again. This book details each of Columbia’s 28 missions in turn, as told by scientists and researchers who developed and supported her many payloads, by the engineers who worked on her and by the astronauts who flew her. In doing so, it is intended to provide a fitting tribute to this most remarkable flying machine and those who perished on her last mission.
Soviet and Russian Lunar Exploration
Tells the story of the Soviet and Russian lunar programme. The book is ideally suited to cover not only the engineering and scientific side but also the human stories of the Soviet and Russian lunar programme. These include those of the cosmonaut squad that trained to land on the moon, but was stood down, and of the designers who tried to realise the dream of a Russian moon, from Tikhonravov to Mishin.
Songs generator
Songs generator app is a tool to generate lyrics, musi,and voice based on the given selected choices of users using Deep learning models. This app has multiple aims to achieve, the first aim is to generate lyrics to help a computer program capable of generating lyrics for given melodies, the deep learning model goal in this phase is to generate lyrics of the chosen mood say (happy, sad, etc. ), by training itself based on the given datasets of lyrics of various artists, but not identical to existing lyrics, it takes a sequence of words as an input and output a continuation of that sequence using our model. For the second phase, The goal of this model is to generate music by using a deep learning model that takes tokenized MIDI files as input and predicts the notes as an output the output of this model would be a midi file. For the last phase, we used a library to generate a voice that takes the output of the first model and the second model to generate a voice that is consistent with the lyrics and the music.
Solving PDEs in Python : The FEniCS Tutorial I
This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software library. Using a series of examples, including the Poisson equation, the equations of linear elasticity, the incompressible Navier–Stokes equations, and systems of nonlinear advection–diffusion–reaction equations, it guides readers through the essential steps to quickly solving a PDE in FEniCS, such as how to define a finite variational problem, how to set boundary conditions, how to solve linear and nonlinear systems, and how to visualize solutions and structure finite element Python programs.
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence. The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The book is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing.
Software Visualization : Visualizing the Structure, Behaviour, and Evolution of Software
Software visualization encompasses the development and evaluation of methods for graphically representing different aspects of software, including its structure, its execution, and its evolution. Software visualization combines techniques from areas like software engineering, programming languages, data mining, computer graphics, information visualization and human-computer interaction.
Software Verification ; 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
Software Technologies for Embedded and Ubiquitous Systems ; 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2007, held on Santorini Island, Greece, in May 2007 in conjunction with ISORC 2007, the 10th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing.
Software Quality — ECSQ 2002 ; Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings
We have selected two themes for this conference . Our ?rst theme, “production of attractive and reliable software at Internet speed” sums up the dilemma many software organisations face. In order to be competitive, software should contain advanced features and run reliably – yet it should be developed quickly and cost e?ectively for the right market window. Finding the right balance between these objectives is a critical question that will determine business success in the years to come. Our second theme, “production of software with a dynamic partnership n- work” highlights the current trend of using partnerships and subcontractors as integral players in the software development process. Partnerships sometimes need to be created quickly to respond to a market opportunity, yet the costs and speed of cooperation must be competitive.
Software product lines in action : The best industrial practice in product line engineering
Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level programming languages. Nowhere else in software engineering have we seen such breathtaking improvements in cost, quality, time to market, and developer productivity, often registering in the order-of-magnitude range. While the underlying concepts are straightforward enough – building a family of related products or systems by planned and careful reuse of a base of generalized software development assets – the devil can be in the details, as successful product line practice can involve organizational change, business process change, and technology change.
Software Product Lines ; Vol. 3714 ; 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings
The technical program of SPLC 2005 included. – two keynotes from David Weiss (Avaya, USA) and Jan Bosch (Nokia, F- land), both leading experts with academic and industrial insights; – 17 full and 3 short research papers organized around the following themes: feature modeling, re-engineering, strategies, validation, scoping and architecture, and product derivation ; – eight experience reports describing commercial application of product line practices ; – two panels focused on special topics in product line practice and product line research ; – tool demonstrations ; – a Hall of Fame session that continued the SPLC tradition in as lightly revised format. In addition, the technical program was preceded by a tutorial and workshop day that included ten half-day tutorials presented by well-recognized experts and five workshops on specific areas of product line research.
Software Process Improvement; 15th European Conference, EuroSPI 2008 , Dublin, Ireland, September 3-5, 2008. Proceedings
This book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation knowledge management as well as project issues.
Software Process Improvement ; 13th European Conference, EuroSpi 2006, Joensuu, Finland, October 11-13, 2006, Proceedings
This book constitutes the refereed proceeding of the 13th European Software Process Improvement Conference, EuroSPI 2006, held in Joensuu, Finland in October 2006. The 18 revised full papers presented were carefully reviewed and selected from 62 submissions.
Software process improvement ; 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings
Constitutes the refereed proceeding of the 12th European Software Process Improvement Conference, EuroSPI 2005, held in Budapest, Hungary in November 2005. This title presents 18 revised full papers that were reviewed and selected from 40 submissions.
Software Process Change ; International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings
Contains papers presented at the first joint conference of the Software Pr- ess Workshop and the International Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006) held in Shanghai, P.R. China, 2006.
Software Process and Product Measurement ; International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings
Includes : estimation models, measurement methodology, effort estimation, measurement programs, new approaches, prozessbewertung, size measurement, education, measurement in software lifecycle, and product measurement.
Software Process and Product Measurement ; International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
Deals with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, industrial experiences in software measurement, planning and implementing measurement, measurement-based software process improvement, best practices in software measurement, usability and user interaction measurement, measurement of open source projects, teaching and learning software measurement as well as new trends and ontologies for software measurement.
Software for Exascale Computing - SPPEXA 2016-2019
This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019.
Software for Data Analysis : Programming with R
This book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual stages, starting with simple functions. More advanced programming techniques can be added as needed, allowing users to grow into software contributors, benefiting their careers and the community. R packages provide a powerful mechanism for contributions to be organized and communicated. The techniques covered include such modern programming enhancements as classes and methods, namespaces, and interfaces to spreadsheets or data bases, as well as computations for data visualization, numerical methods, and the use of text data.
