Engineering Papers⌕ Search

Engineering topics

Green, Jeffrey

Publications and source records attributed to Green, Jeffrey.

Leveraging Shore-Side, Building Energy Simulation Tools for Use in the Shipboard Environment

Within the confines of the Maritime Prescreening Assessment of Conservation Technologies program, the U.S. Department of Energy's National Renewable Energy Laboratory, in collaboration with the Naval Surface Warfare Center Carderock and Philadelphia Divisions, the U.S. Department of Transportation's Maritime Administration, and the Massachusetts Maritime Academy, recently developed a physics-based modeling engine to evaluate non-propulsive ship energy consumption under different operational scenarios and technology applications, in order to enhance the Navy's ability to optimize ship operational reach and tactical performance. To accomplish this, a mature thermophysical modeling software, EnergyPlus TM , was modified for ship-related applications. This software, originally developed for use in whole-building energy consumption studies, is a free and open-source simulation program that has been used for more than two decades. The team evaluated the accuracy of the modified version of EnergyPlus by comparing results to direct measurements taken over a 6-week underway period onboard the Maritime Administration's Training Ship Kennedy. The team developed an energy model of a prescribed area of the ship and compared its performance to measured results obtained from 235 sensor points. EnergyPlus behaved well with respect to solar loading and convective heat transfer to seawater while the ship was underway. However, results suggest that additional work remains to accurately simulate seawater heat transfer while the ship is stationary.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Automating Traceability for Generated Software Artifacts

Program synthesis automatically derives programs from specifications of their behavior. One advantage of program synthesis, as opposed to manual coding, is that there is a direct link between the specification and the derived program. This link is, however, not very fine-grained: it can be best characterized as Program is-derived- from Specification. When the generated program needs to be understood or modified, more $ne-grained linking is useful. In this paper, we present a novel technique for automatically deriving traceability relations between parts of a specification and parts of the synthesized program. The technique is very lightweight and works -- with varying degrees of success - for any process in which one artifact is automatically derived from another. We illustrate the generality of the technique by applying it to two kinds of automatic generation: synthesis of Kalman Filter programs from speci3cations using the Aut- oFilter program synthesis system, and generation of assembly language programs from C source code using the GCC C compilel: We evaluate the effectiveness of the technique in the latter application.

Richardson, Julian↗