Investigation of an Intermediate Representation for a High Level Language

Computing and Information Scienc

A multi-agent approach for design consistency checking

The last decade has seen an explosion of interest to advanced product development methods, such as Computer Integrated Manufacture, Extended Enterprise and Concurrent Engineering. As a result of the globalization and future distribution of design and manufacturing facilities, the cooperation amongst partners is becoming more challenging due to the fact that the design process tends to be sequential and requires communication networks for planning design activities and/or a great deal of travel to/from designers' workplaces. In a virtual environment, teams of designers work together and use the Internet/Intranet for communication. The design is a multi-disciplinary task that involves several stages. These stages include input data analysis, conceptual design, basic structural design, detail design, production design, manufacturing processes analysis, and documentation. As a result, the virtual team, normally, is very changeable in term of designers' participation. Moreover, the environment itself changes over time. This leads to a potential increase in the number of design. A methodology of Intelligent Distributed Mismatch Control (IDMC) is proposed to alleviate some of the related difficulties. This thesis looks at the Intelligent Distributed Mismatch Control, in the context of the European Aerospace Industry, and suggests a methodology for a conceptual framework based on a multi-agent architecture. This multi-agent architecture is a kernel of an Intelligent Distributed Mismatch Control System (IDMCS) that aims at ensuring that the overall design is consistent and acceptable to all participating partners. A Methodology of Intelligent Distributed Mismatch Control is introduced and successfully implemented to detect design mismatches in complex design environments. A description of the research models and methods for intelligent mismatch control, a taxonomy of design mismatches, and an investigation into potential applications, such as aerospace design, are presented. The Multi-agent framework for mismatch control is developed and described. Based on the methodology used for the IDMC application, a formal framework for a multi-agent system is developed. The Methods and Principles are trialed out using an Aerospace Distributed Design application, namely the design of an A340 wing box. The ontology of knowledge for agent-based Intelligent Distributed Mismatch Control System is introduced, as well as the distributed collaborative environment for consortium based projects

An optical navigation filter simulator for a CubeSat mission to Didymos binary asteroid system

AIDA (Asteroid Impact and Deflection Assessment), is a joint NASA-ESA mission that will operate within 65803 Didymos binary system and whose main purpose is to experiment and investigate the kinetic impact technique for the deviation of the asteroid trajectories in space. HERA, the "mother" satellite designed by ESA, will aim to collect data about the chemical-physical composition of the binary system and about the characteristics of the impact between DART, the bullet-satellite realized and run by NASA, and the minor of the two celestial bodies that compose Didymos, which should occur around October 2022. HERA satellite will carry high-level technology onboard, including some CubeSats. This panorama also includes the DustCube mission, a project proposal for a CubeSat, whose main objective is to assist HERA in the acquisition of data. This thesis, as part of the DustCube project, aims at investigating the autonomous navigation of the CubeSat within the Didymos system, in particular through the development of a navigation filter based on optical observables. By making use of images gathered by a couple of infrared cameras, both LoS and range measurements are retrieved and fed to an Extended Kalman Filter. Results show that, even if implementing a reduced dynamical model within the filter, the expected position accuracy is below the requested 10 meters

2016-2017 Boise State University Undergraduate Catalog

This catalog is primarily for students, but can serve many audiences. In this catalog you will find an overview of Boise State University and information on admission, registration, grades, tuition and fees, financial aid, housing, student services, and other important policies and procedures. However, most of this catalog is devoted to describing the various programs and courses offered at Boise State

2020-2021 Boise State University Undergraduate Catalog

This catalog is primarily for and directed at students. However, it serves many audiences, such as high school counselors, academic advisors, and the public. In this catalog you will find an overview of Boise State University and information on admission, registration, grades, tuition and fees, financial aid, housing, student services, and other important policies and procedures. However, most of this catalog is devoted to describing the various programs and courses offered at Boise State

2019-2020 Boise State University Undergraduate Catalog

This catalog is primarily for and directed at students. However, it serves many audiences, such as high school counselors, academic advisors, and the public. In this catalog you will find an overview of Boise State University and information on admission, registration, grades, tuition and fees, financial aid, housing, student services, and other important policies and procedures. However, most of this catalog is devoted to describing the various programs and courses offered at Boise State