Artificial Intelligence for Small Satellites Mission Autonomy

Space mission engineering has always been recognized as a very challenging and innovative branch of engineering: since the beginning of the space race, numerous milestones, key successes and failures, improvements, and connections with other engineering domains have been reached. Despite its relative young age, space engineering discipline has not gone through homogeneous times: alternation of leading nations, shifts in public and private interests, allocations of resources to different domains and goals are all examples of an intrinsic dynamism that characterized this discipline. The dynamism is even more striking in the last two decades, in which several factors contributed to the fervour of this period. Two of the most important ones were certainly the increased presence and push of the commercial and private sector and the overall intent of reducing the size of the spacecraft while maintaining comparable level of performances. A key example of the second driver is the introduction, in 1999, of a new category of space systems called CubeSats. Envisioned and designed to ease the access to space for universities, by standardizing the development of the spacecraft and by ensuring high probabilities of acceptance as piggyback customers in launches, the standard was quickly adopted not only by universities, but also by agencies and private companies. CubeSats turned out to be a disruptive innovation, and the space mission ecosystem was deeply changed by this. New mission concepts and architectures are being developed: CubeSats are now considered as secondary payloads of bigger missions, constellations are being deployed in Low Earth Orbit to perform observation missions to a performance level considered to be only achievable by traditional, fully-sized spacecraft. CubeSats, and more in general the small satellites technology, had to overcome important challenges in the last few years that were constraining and reducing the diffusion and adoption potential of smaller spacecraft for scientific and technology demonstration missions. Among these challenges were: the miniaturization of propulsion technologies, to enable concepts such as Rendezvous and Docking, or interplanetary missions; the improvement of telecommunication state of the art for small satellites, to enable the downlink to Earth of all the data acquired during the mission; and the miniaturization of scientific instruments, to be able to exploit CubeSats in more meaningful, scientific, ways. With the size reduction and with the consolidation of the technology, many aspects of a space mission are reduced in consequence: among these, costs, development and launch times can be cited. An important aspect that has not been demonstrated to scale accordingly is operations: even for small satellite missions, human operators and performant ground control centres are needed. In addition, with the possibility of having constellations or interplanetary distributed missions, a redesign of how operations are management is required, to cope with the innovation in space mission architectures. The present work has been carried out to address the issue of operations for small satellite missions. The thesis presents a research, carried out in several institutions (Politecnico di Torino, MIT, NASA JPL), aimed at improving the autonomy level of space missions, and in particular of small satellites. The key technology exploited in the research is Artificial Intelligence, a computer science branch that has gained extreme interest in research disciplines such as medicine, security, image recognition and language processing, and is currently making its way in space engineering as well. The thesis focuses on three topics, and three related applications have been developed and are here presented: autonomous operations by means of event detection algorithms, intelligent failure detection on small satellite actuator systems, and decision-making support thanks to intelligent tradespace exploration during the preliminary design of space missions. The Artificial Intelligent technologies explored are: Machine Learning, and in particular Neural Networks; Knowledge-based Systems, and in particular Fuzzy Logics; Evolutionary Algorithms, and in particular Genetic Algorithms. The thesis covers the domain (small satellites), the technology (Artificial Intelligence), the focus (mission autonomy) and presents three case studies, that demonstrate the feasibility of employing Artificial Intelligence to enhance how missions are currently operated and designed

AFIT School of Engineering Contributions to Air Force Research and Technology. Calendar Year 1971

This report contains abstracts of Master of Science theses and Doctoral Dissertations completed during the 1971 calendar year at the School of Engineering, Air Force Institute of Technology

Strategic districting for the mitigation of educational segregation : a pilot model for school district optimization in Helsinki

Helsingin kaupunkirakenne on eriytynyt viimeisten vuosikymmenien aikana merkittävästi sosiaalisilla mittareilla tarkasteltuna. Kehitys on heijastunut kouluihin oppilaspohjien ja oppimistuloksien erojen kasvuna, minkä lisäksi Helsingissä on löydetty viitteitä myös itsenäisistä kouluvaikutuksista. Koulujen eriytymiskehityksen pelätään mainevaikutuksen kautta kiihdyttävän alueellista segregaatiota ja siten oppilaspohjien eriytymistä entisestään. Oppilaspohjien eroihin on kuitenkin mahdollista vaikuttaa määrittämällä oppilasalueet uudelleen tavalla, joka minimoi oppilasalueiden välisiä sosiaalisia eroja mahdollisimman tehokkaasti. Tätä varten tarvitaan uudenlaisia, koneoppimiseen perustuvia optimointityökaluja. Tämän opinnäytetyön päätavoitteena on tutkia mahdollisuutta optimoida Helsingin oppilasalueita väestöpohjiltaan sisäisesti heterogeenisemmiksi ja keskenään homogeenisemmiksi. Tavoitetta varten olen kehittänyt työssäni automatisoidun optimointimallin, joka minimoi sosiaalisten muuttujien varianssia oppilasalueiden välillä oppilasalueiden muotoa varioimalla. Mallin pilottisovelluksessa optimoin Helsingin oppilaaksiottoalueita tasaisemmiksi käyttäen optimoitavana muuttujana vieraskielisen väestön osuutta. Olemassa olevaa kouluverkostoa eli koulujen sijaintia, oppilasalueiden maantieteellistä yhtenäisyyttä, enimmäisoppilasmääriä koulukohtaisella marginaalilla sekä koulukohtaista koulumatkan enimmäispituutta on käytetty mallissa alueiden muodostamista rajoittavina tekijöinä. Tutkimukseni keskeinen löydös on, että oppilasaluerajoja siirtelemällä oppilasalueiden sosiaalisen pohjan eroihin voidaan vaikuttaa Helsingissä merkittävästi. Malli vaatii kuitenkin vielä perusteellista jatkokehittämistä soveltuakseen aluejakojen käytännön suunnitteluun, ja tässä vaiheessa sen merkittävimmät kehityskohteet liittyvät optimoitujen alueiden muotoon, mallin laskennalliseen vaativuuteen ja koulumatkojen turvallisuutta mittaavan optimointiparametrin puuttumiseen.The social urban structure of Helsinki has experienced a significant rise in spatial differences during the last two decades. This development has reflected on schools as rising differences between schools’ student compositions and learning outcomes. Additionally, signs of independent school effects have been observed in several studies. The differentiation of student compositions is feared to exacerbate residential segregation and differentiate schools’ operating environments further. It is possible, however, to intervene this development by drawing the school attendance districts such that the social differences between schools’ student compositions are effectively minimized. For this purpose, new machine learning based optimization tools are needed. The main objective of this master’s thesis study is to examine the possibility to optimize Helsinki’s school districts toward more internally heterogeneous and externally homogeneous social compositions. For this purpose, I have developed an optimization model that minimizes the variance of social variables between school districts by iteratively redrawing the districts’ borders. In a pilot application of the model I optimize the school districts of Helsinki by using the share of population with immigrant background as the optimization variable, while existing school infrastructure (the school locations and student capacities), spatial contiguity of the districts, and school-specific maximum travel distances are used as constraints restricting the shapes that the districts can take. The core finding of this study is that in Helsinki, the social compositions of school districts can be significantly evened out by redrawing the school district borders. However, for the model to be suitable for district planning in practice it needs further development. At this stage, the main limitations of the model are related to the shapes of the optimized districts, the model’s time complexity and the lack of a constraint or optimization parameter that accounts for the safety of children’s school trips

Optimal leach protocol with improved bat algorithm in wireless sensor networks

© 2019, Korean Society for Internet Information. All rights reserved. A low-energy adaptive clustering hierarchy (LEACH) protocol is a low-power adaptive cluster routing protocol which was proposed by MIT’s Chandrakasan for sensor networks. In the LEACH protocol, the selection mode of cluster-head nodes is a random selection of cycles, which may result in uneven distribution of nodal energy and reduce the lifetime of the entire network. Hence, we propose a new selection method to enhance the lifetime of network, in this selection function, the energy consumed between nodes in the clusters and the power consumed by the transfer between the cluster head and the base station are considered at the same time. Meanwhile, the improved FTBA algorithm integrating the curve strategy is proposed to enhance local and global search capabilities. Then we combine the improved BA with LEACH, and use the intelligent algorithm to select the cluster head. Experiment results show that the improved BA has stronger optimization ability than other optimization algorithms, which the method we proposed (FTBA-TC-LEACH) is superior than the LEACH and LEACH with standard BA (SBA-LEACH). The FTBA-TC-LEACH can obviously reduce network energy consumption and enhance the lifetime of wireless sensor networks (WSNs)

Heuristic search methods and cellular automata modelling for layout design

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.Spatial layout design must consider not only ease of movement for pedestrians under normal conditions, but also their safety in panic situations, such as an emergency evacuation in a theatre, stadium or hospital. Using pedestrian simulation statistics, the movement of crowds can be used to study the consequences of different spatial layouts. Previous works either create an optimal spatial arrangement or an optimal pedestrian circulation. They do not automatically optimise both problems simultaneously. Thus, the idea behind the research in this thesis is to achieve a vital architectural design goal by automatically producing an optimal spatial layout that will enable smooth pedestrian flow. The automated process developed here allows the rapid identification of layouts for large, complex, spatial layout problems. This is achieved by using Cellular Automata (CA) to model pedestrian simulation so that pedestrian flow can be explored at a microscopic level and designing a fitness function for heuristic search that maximises these pedestrian flow statistics in the CA simulation. An analysis of pedestrian flow statistics generated from feasible novel design solutions generated using the heuristic search techniques (hill climbing, simulated annealing and genetic algorithm style operators) is conducted. The statistics that are obtained from the pedestrian simulation is used to measure and analyse pedestrian flow behaviour. The analysis from the statistical results also provides the indication of the quality of the spatial layout design generated. The technique has shown promising results in finding acceptable solutions to this problem when incorporated with the pedestrian simulator when demonstrated on simulated and real-world layouts with real pedestrian data.This study was funded by the University Science of Malaysia and Kementerian Pengajian Tinggi Malaysia

A virtual environment for the modelling, simulation and manufacturing of orthopaedic devices

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.The objective of this work is to investigate whether the game physics based modelling is accurate enough to be used in modelling the motion of the human body, in particular musculoskeletal motion. Hitherto, the implementation of game physics in the medical field focused only on anatomical representation for education and training purposes. Introducing gaming platforms and physics engines into orthopaedics applications will help to overcome several difficulties encountered in the modelling of articular joints. Implementing a physics engine (PhysX), which is mainly designed for video games, handles intensive computations in optimized ways at an interactive speed. In this study, the capabilities of the physics engine (PhysX) and gaming platform for modelling and simulating articular joints are evaluated. First, a preliminary validation is carried out for mechanical systems with analytical solutions, before constructing the musculoskeletal model to evaluate the consistency of gaming platforms. The developed musculoskeletal model deals with the human joint as an unconstrained system with 6 DOF which is not available with other joint modeller. The model articulation is driven by contact surfaces and the stiffness of surrounding tissues. A number of contributions, such as contact modelling and muscle wrapping, have been made in this research to overcome some existing challenges in joint modelling. Using muscle segmentation, the proposed technique effectively handles the problem of muscle wrapping, a major concern for many; thus the shortest path and line of action are no longer problematic. Collision behaviour has also shown a stable response for colliding as well as resting objects, provided that it is based on the principles of surface properties and the conservation of linear and angular momentums. The precision of collision detection and response are within an acceptable tolerance controllable by varying the mesh density. An image based analysis system is developed in this thesis, mainly in order to validate the proposed physics based modelling solution. This minimally invasive method is based on the analysis of marker positions located at bony positions with minimal skin movement. The image based system overcomes several challenges associated with the currently existing methods, such as inaccuracy, complication, impracticability and cost. The analysis part of this research has considered the elbow joint as a case study to investigate and validate the proposed physics based model. Beside the interactive 3D simulation, the obtained results are validated by comparing them with the image based system developed within the current research to investigate joint kinematics and laxity and also with published material, MJM and results from experiments performed at the Brunel Orthopaedic Research and Learning Centre. The proposed modelling shows the advantageous speed, reliability and flexibility of the proposed model. It is shown that the gaming platform and physics engine provide a viable solution to human musculoskeletal modelling. Finally, this thesis considers an extended implementation of the proposed platform for testing and assessing the design of custom-made implants, to enhance joint performance. The developed simulation software is expected to give indicative results as well as testing different types of prosthetic implant. Design parameterization and sensitivity analysis for geometrical features are discussed. Thus, an integrated environment is proposed to link the real-time simulation software with a manufacturing environment so as to assist the production of patient specific implants by rapid manufacturing

Programming and Problem Solving: A Transcript of the Spring 1999 Class

This report contains edited transcripts of the discussion held in Columbia's Programming and Problem-Solving course, taught as W4995-01during Spring 1999. The class notes were taken by the teaching assistant so that students could focus on the class material. As a service to both the students and to others who would like to get some insight into the class experience, we have drawn all of the class handouts, discussion, and some of the results into this technical report