Physical Sciences and Mathematics Commons^™

Simulation Of Inviscid Multi-Species Plasma Flow, Alexandre Martin, Marcelo Reggio, Jean-Yves Trépanier

Alexandre Martin

A multi-species solver for plasma at thermodynamical equilibrium is developed. A numerical scheme, based on Roe's, is implemented with some modification regarding the average quantities. A perfect gas treatment is carried out for validations, and a quasi-real gas treatment is also presented. The latter takes into account the changes in the composition of the gas caused by fluctuations in temperature and density.

Quantitative Analysis Of Domain Testing Effectiveness., Narendra Koneru

Electronic Theses and Dissertations

The criticality of the applications modeled by the real-time software places stringent requirements on software quality before deploying into real use. Though automated test tools can be used to run a large number of tests efficiently, the functionality of any test tool is not complege without providing a means for analyzing the test results to determine potential problem sub-domains and sub-domains that need to be covered, and estimating the reliability of the modeled system.

This thesis outlines a solution strategy and implementation of that strategy for deriving quantitative metrics from domain testing of real-time control software tested via simulation. The …