Micro combined heat and power laboratory development

Micro Combined Heat and Power (Micro-CHP) system produces both electricity and heat required for residential or small business applications. Use of Micro-CHP in a residential application not only creates energy and economic savings but also reduces the carbon foot print of the house or small business. Additionally, micro-CHP can subsidize its cost of operation by selling excess electricity produced back to the grid. Even though Micro-CHP remains attractive on paper, high initial cost and optimization issues in residential scale heat and electrical requirement has kept this technology from becoming a success. To understand and overcome all disadvantages posed my Micro-CHP system, a laboratory is developed to test different scenarios of Micro-CHP applications so that we can learn and improve the current technology. This report focuses on the development of this Micro-CHP laboratory including installation of Ecopower micro-CHP unit, developing fuel line and exhaust line for Ecopower unit, design of electrical and thermal loop, installing all the instrumentation required for data collection on the Ecopower unit and developing controls for heat load simulation using thermal loop. Also a simulation of Micro-CHP running on Syngas is done in Matlab. This work was supported through the donation of ‘Ecopower’ a Micro-CHP unit by Marathon Engine and through the support of Michigan Tech REF-IF grand.

Conversion of a Micro, Glow-Ignition, Two-Stroke Engine from Nitromethane-Methanol Blend Fuel to Military Jet Propellant (JP-8)

The goal of the thesis "Conversion of a Micro, Glow-Ignition, Two-Stroke Engine from Nitromethane-Methanol Blend Fuel to Military Jet Propellant (JP-8)" was to demonstrate the ability to operate a small engine on JP-8 and was completed in two phases. The first phase included choosing, developing a test stand for, and baseline testing a nitromethane-methanol-fueled engine. The chosen engine was an 11.5 cc, glow-ignition, two-stroke engine designed for remote-controlled helicopters. A micro engine test stand was developed to load and motor the engine. Instrumentation specific to the low flow rates and high speeds of the micro engine was developed and used to document engine behavior. The second phase included converting the engine to operate on JP-8, completing JP-8-fueled steady-state testing, and comparing the performance of the JP-8-fueled engine to the nitromethane-methanol-fueled engine. The conversion was accomplished through a novel crankcase heating method; by heating the crankcase for an extended period of time, a flammable fuel-air mixture was generated in the crankcase scavenged engine, which greatly improved starting times. To aid in starting and steady-state operation, yttrium-zirconia impregnated resin (i.e. ceramic coating) was applied to the combustion surfaces. This also improved the starting times of the JP-8-fueled engine and ultimately allowed for a 34-second starting time. Finally, the steady-state data from both the nitromethane-methanol and JP-8-fueled micro engine were compared. The JP-8-fueled engine showed signs of increased engine friction while having higher indicated fuel conversion efficiency and a higher overall system efficiency. The minimal ability of JP-8 to cool the engine via evaporative effects, however, created the necessity of increased cooling air flow. The conclusion reached was that JP-8-fueled micro engines could be viable in application, but not without additional research being conducted on combustion phenomenon and cooling requirements.

MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH

Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.