• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 70
  • 19
  • 17
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 142
  • 142
  • 70
  • 64
  • 54
  • 54
  • 38
  • 27
  • 26
  • 26
  • 24
  • 22
  • 21
  • 18
  • 17
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
141

Modélisation à haut niveau d'abstraction pour les systèmes embarqués

Moy, Matthieu 13 March 2014 (has links) (PDF)
Les systèmes embarqués modernes ont atteint un niveau de complexité qui fait qu'il n'est plus possible d'attendre les premiers prototypes physiques pour valider les décisions sur l'intégration des composants matériels et logiciels. Il est donc nécessaire d'utiliser des modèles, tôt dans le flot de conception. Les travaux présentés dans ce document contribuent à l'état de l'art dans plusieurs domaines. Nous présentons dans un premier temps de nouvelles techniques de vérification de programmes écrits dans des langages généralistes comme C, C++ ou Java. Dans un second temps, nous utilisons des outils de vérification formelle sur des modèles écrits en SystemC au niveau transaction (TLM). Plusieurs approches sont présentées, la plupart d'entre elles utilisent des techniques de compilations spécifiques à SystemC pour transformer le programme SystemC en un format utilisable par les outils. La seconde partie du document s'intéresse aux propriétés non-fonctionnelles des modèles~: performances temporelles, consommation électrique et température. Dans le contexte de la modélisation TLM, nous proposons plusieurs techniques pour enrichir des modèles fonctionnels avec des informations non-fonctionnelles. Enfin, nous présentons les contributions faites à l'analyse de performance modulaire (MPA) avec le calcul temps-réel (RTC). Nous proposons plusieurs connections entre ces modèles analytiques et des formalismes plus expressifs comme les automates temporisés et le langage de programmation Lustre. Ces connexion posent le problème théorique de la causalité, qui est formellement défini et résolu avec un algorithme nouveau dit de " fermeture causale ".
142

The Biowall Field Test Analysis and Optimization

Jacob J. Torres (5930906) 14 May 2019 (has links)
<div> <p>A residential botanical air filtration system (Biowall) to investigate the potential for using phytoremediation to remove contaminants from indoor air was developed. A full scale and functioning prototype was installed in a residence located in West Lafayette, Indiana. The prototype was integrated into the central Heating, Ventilating, and Air Conditioning (HVAC) system of the home. This research evaluated the Biowall operation to further its potential as an energy efficient and sustainable residential air filtration system.<br></p> <p> </p> <p>The main research effort began after the Biowall was installed in the residence. A field evaluation, which involved a series of measurements and data analysis, was conducted to identify treatments to improve Biowall performance. The study was conducted for approximately one year (Spring 2017-Spring 2018). Based on the initial data set, prioritization of systems in need of improvement was identified and changes were imposed. Following a post-treatment testing period, a comparison between the initial and final performances was completed with conclusions based on this comparison. </p> <p> </p> <p>The engineering and analysis reported in this document focus on the air flow path through the Biowall, plant growth, and the irrigation system. The conclusions provide an extensive evaluation of the design, operation, and function of the Biowall subsystems under review.</p> </div> <br>

Page generated in 0.0603 seconds