Our aim is to maximize expected profit per item of a multi-stage production system by determining best adjustment points of the equipments used based on technical product specifications defined by designer. In this system, the quality characteristics of items produced should be within lower and higher tolerance limits. When a quality characteristic of an item either falls beneath the lower li...

Model-based diagnosis is a successful AI technique for locating and identifying faults in technical systems. Extending previous research on model-based diagnosis support for fault search in technical designs, we are building a model-based debugger for Java programs to provide intelligent support for the programmer trying to locate the source of an error. By using one or more models derived from...

In May 2009, WHO convened a meeting of Working Group on Technical Specifications for Manufacturing and Evaluating Yellow Fever (YF) Vaccines, Geneva, Switzerland to initiate revision of the WHO Recommendations (formerly, Requirements) for YF vaccine published in WHO Technical Report Series number 872 (1998). The Working Group, consisting of experts from academia, industry, national regulatory a...

Checking data only relying on their specification is of importance when using neutral or standardized object models. Ambiguities arise during the tests because of specifications leaving a certain degree of freedom to the implementation. Based on an experimental background the observations and reflections about the reasons are systematically presented. It turns out that the transition (or mappin...

This document outlines our understanding of the specifications and proposed technical design for the Daya Bay water conditioning system, as of June 2007. In June 2007, the Daya Bay experiment has passed CD-0 and CD-1 reviews, and is preparing for technical reviews on the way to a CD-2 panel, which is expected to convene in Fall 2007. This document means to summarize the current status of the sy...

While specifications of queries are usually of a declarative nature (since the work of Codd in the early seventies), specifications of transactions are still mainly of an operational and descriptive nature. Especially descriptions of complex transactions (such as cascading deletes) tend to be very operational. Often these descriptions turn out to be nondeterministic as well. A problematic conse...