Efficiency of the Wang-Landau algorithm: a simple test case

We analyze the efficiency of the Wang-Landau algorithm to sample a multimodal distribution on a prototypical simple test case. We show that the exit time from a metastable state is much smaller for the Wang Landau dynamics than for the original standard Metropolis-Hastings algorithm, in some asymptotic regime. Our results are confirmed by numerical experiments on a more realistic test case

Explaining Violation Traces with Finite State Natural Language Generation Models

An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In this paper we present a natural language generation model which can be used to explain such traces. A key idea is that the explanation language is a CNL that is, formally speaking, regular language susceptible transformations that can be expressed with finite state machinery. At the same time it admits various forms of abstraction and simplification which contribute to the naturalness of explanations that are communicated to the user

ERBS fuel addendum: Pollution reduction technology program small jet aircraft engines, phase 3

A Model TFE731-2 engine with a low emission, variable geometry combustion system was tested to compare the effects of operating the engine on Commercial Jet-A aviation turbine fuel and experimental referee broad specification (ERBS) fuels. Low power emission levels were essentially identical while the high power NOx emission indexes were approximately 15% lower with the EBRS fuel. The exhaust smoke number was approximately 50% higher with ERBS at the takeoff thrust setting; however, both values were still below the EPA limit of 40 for the Model TFE731 engine. Primary zone liner wall temperature ran an average of 25 K higher with ERBS fuel than with Jet-A. The possible adoption of broadened proprties fuels for gas turbine applications is suggested

Pollution reduction technology program small jet aircraft engines, phase 3

A series of Model TFE731-2 engine tests were conducted with the Concept 2 variable geometry airblast fuel injector combustion system installed. The engine was tested to: (1) establish the emission levels over the selected points which comprise the Environmental Protection Agency Landing-Takeoff Cycle; (2) determine engine performance with the combustion system; and (3) evaulate the engine acceleration/deceleration characteristics. The hydrocarbon (HC), carbon monoxide (CO), and smoke goals were met. Oxides of nitrogen (NOx) were above the goal for the same configuration that met the other pollutant goals. The engine and combustor performance, as well as acceleration/deceleration characteristics, were acceptable. The Concept 3 staged combustor system was refined from earlier phase development and subjected to further rig refinement testing. The concept met all of the emissions goals

Pollution Reduction Technology Program for Small Jet Aircraft Engines, Phase 2

A series of iterative combustor pressure rig tests were conducted on two combustor concepts applied to the AiResearch TFE731-2 turbofan engine combustion system for the purpose of optimizing combustor performance and operating characteristics consistant with low emissions. The two concepts were an axial air-assisted airblast fuel injection configuration with variable-geometry air swirlers and a staged premix/prevaporization configuration. The iterative rig testing and modification sequence on both concepts was intended to provide operational compatibility with the engine and determine one concept for further evaluation in a TFE731-2 engine