An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study

In Part 1 of this paper a methodology for back-to-back testing of simulation software was described. Residuals with error-dependent geometric properties were generated. A set of potential coding errors was enumerated, along with a corresponding set of feature matrices, which describe the geometric properties imposed on the residuals by each of the errors. In this part of the paper, an algorithm is developed to isolate the coding errors present by analysing the residuals. A set of errors is isolated when the subspace spanned by their combined feature matrices corresponds to that of the residuals. Individual feature matrices are compared to the residuals and classified as 'definite', 'possible' or 'impossible'. The status of 'possible' errors is resolved using a dynamic subset testing algorithm. To demonstrate and validate the testing methodology presented in Part 1 and the isolation algorithm presented in Part 2, a case study is presented using a model for biological wastewater treatment. Both single and simultaneous errors that are deliberately introduced into the simulation code are correctly detected and isolated. Copyright (C) 2003 John Wiley Sons, Ltd.

Anticipated versus inferred politeness

A number of researchers have recently argued that politeness is not always inferred in the form of an implicature as claimed by Brown and Levinson (1987), but rather can be anticipated by addressees when it involves expected behaviour. The distinction between anticipated and inferred politeness is thus an important area for further development of politeness theory. In this paper, the way in which the notion of ‘expectations’ is related to politeness is first considered, before outlining the distinction between anticipated and inferred politeness in some detail. It is then argued that discourse politeness theory (Usami, 1998, 2001a, b, 2002) shows greater promise for deepening our understanding of this distinction than the proposals made thus far by relevance theorists. It is concluded that any investigation of the distinction between anticipating and inferring politeness must ultimately be grounded in empirical studies of politeness phenomena.