Software verification plan for GCS

This verification plan is written as part of an experiment designed to study the fundamental characteristics of the software failure process. The experiment will be conducted using several implementations of software that were produced according to industry-standard guidelines, namely the Radio Technical Commission for Aeronautics RTCA/DO-178A guidelines, Software Consideration in Airborne Systems and Equipment Certification, for the development of flight software. This plan fulfills the DO-178A requirements for providing instructions on the testing of each implementation of software. The plan details the verification activities to be performed at each phase in the development process, contains a step by step description of the testing procedures, and discusses all of the tools used throughout the verification process

GCS programmer's manual

A variety of instructions to be used in the development of implementations of software for the Guidance and Control Software (GCS) project is described. This document fulfills the Radio Technical Commission for Aeronautics RTCA/DO-178A guidelines, 'Software Considerations in Airborne Systems and Equipment Certification' requirements for document No. 4, which specifies the information necessary for understanding and programming the host computer, and document No. 12, which specifies the software design and implementation standards that are applicable to the software development and testing process. Information on the following subjects is contained: activity recording, communication protocol, coding standards, change management, error handling, design standards, problem reporting, module testing logs, documentation formats, accuracy requirements, and programmer responsibilities

The relationship between oxidised LDL, endothelial progenitor cells and coronary endothelial function in patients with CHD

Objective The balance between coronary endothelial dysfunction and repair is influenced by many protective and deleterious factors circulating in the blood. We studied the relationship between oxidised low-density lipoprotein (oxLDL), circulating endothelial progenitor cells (EPCs) and coronary endothelial function in patients with stable coronary heart disease (CHD). Methods 33 patients with stable CHD were studied. Plasma oxLDL was measured using ELISA, coronary endothelial function was assessed using intracoronary acetylcholine infusion and EPCs were quantified using flow cytometry for CD34+/KDR+ cells. Results Plasma oxLDL correlated positively with the number of EPCs in the blood (r=0.46, p=0.02). There was a positive correlation between the number of circulating EPCs and coronary endothelial function (r=0.42, p=0.04). There was no significant correlation between oxLDL and coronary endothelial function. Conclusions Plasma levels of oxLDL are associated with increased circulating EPCs in the blood of patients with CHD, which may reflect a host-repair response to endothelial injury. Patients with stable CHD had a high prevalence of coronary endothelial dysfunction, which was associated with lower numbers of circulating EPCs, suggesting a mechanistic link between endothelial dysfunction and the pathogenesis of atherosclerosis

Sport, Gender and Development : Intersections, Innovations and Future Trajectories

The ebook edition of this title is Open Access, thanks to Knowledge Unlatched funding, and freely available to read online. In a context where striving for gender equity in relation to achieving the UN Sustainable Development Goals seems more pressing than ever before, Sport, Gender and Development: Intersections, Innovations and Future Trajectories bring together an exploration of sport feminisms to offer new approaches to research on Sport for Development and Peace (SDP) in global and local contexts. Including postcolonial and decolonial feminist lenses by drawing upon fieldwork with organizations and individuals in Afghanistan, Uganda, Nicaragua, and India, Sport, Gender and Development reveals the complexities of development and gender discourses and how they operate on and through researchers, practitioners, and participants\u27 bodies. Delving into a thoughtful engagement with the (dis)connections and comparisons across these diverging contexts, this book offers a critically reflexive account of what is transpiring in the transnational sport, gender, and development field, while remaining sensitive to the importance of community context and local iterations. Taking up emerging and contemporary feminist issues in sport-related international development, this book advances empirical, conceptual, and theoretical developments in the sport, gender, and development. Read the full book at https://www.emerald.com/insight/publication/doi/10.1108/9781838678630.https://digitalcommons.otterbein.edu/fac_bk/1006/thumbnail.jp

Biopedagogies and Indigenous knowledge: examining sport for development and peace for urban Indigenous young women in Canada and Australia

This paper uses transnational postcolonial feminist participatory action research (TPFPAR) to examine two sport for development and peace (SDP) initiatives that focus on Indigenous young women residing in urban areas, one in Vancouver, Canada, and one in Perth, Australia. We examine how SDP programs that target urban Indigenous young women and girls reproduce the hegemony of neoliberalism by deploying biopedagogies of neoliberalism to \u27teach\u27 Indigenous young women certain education and employment skills that are deemed necessary to participate in competitive capitalism. We found that activities in both programs were designed to equip the Indigenous girls and young women with individual attributes that would enhance their chances of future success in arenas valued by neoliberal capitalism: Eurocentric employment, post-secondary education and healthy active living. These forms of \u27success\u27 fall within neoliberal logic, where the focus is on the individual being able to provide for oneself. However, the girls and young women we interviewed argued that their participation in the SDP programs would help them change racist and sexist stereotypes about their communities and thereby challenged negative stereotypes. Thus, it is possible that these programs, despite their predominant use of neoliberal logic and biopedagogies, may help to prepare the participants to more successfully negotiate Eurocentric institutions, and through this assist them participants in contributing to social change. Nevertheless, based on our findings, we argue that SDP programs led by Indigenous peoples that are fundamentally shaped by Indigenous voices, epistemologies, concerns and standpoints would provide better opportunities to shake SDP\u27s current biopedagogical foundation. We conclude by suggesting that a more radical approach to SDP, one that fosters Indigenous self-determination and attempts to disrupt dominant relations of power, could have difficulty in attracting the sort of corporate donors who currently play such important roles in the current SDP landscape

Проблеми та можливості споживання енергії в Україні

Проаналізовано споживання енергії в різних секторах економіки й подано модель визначення потенціалу зниження споживання енергії в Україні. Ключові слова: енергоефективність, енергозбереження, енергоємність, енергоспоживання, потенціал зменшення споживання енергії.Проанализированы потребления энергии в различных секторах экономики и представлена модель определения потенциала снижения потребления энергии в Украине. Ключевые слова: энергоэффективность, энергосбережение, энергоемкость, энергопотребление, потенциал уменьшения потребления энергии.The paper analyses energy consumption in different economic sectors and presents the model of determining the potential of reducing energy consumption in Ukraine. Keywords: energy efficiency, energy saving, energy intensity, energy waste, energy consumption, potential of reducing energy consumption