Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems

计算机模拟模型中的编码错误隔离及其在废水处理系统中的应用。通过程序测试和调试来验证模拟代码是至关重要的，但这很繁琐，而且往往很困难。本课题将研究一种新颖的方法。该方法包括通过使用给定数学模型的两个独立实现版本的背靠背测试来检测编码错误，并通过系统地分析生成的测试错误信号（两个模型输出之间的差异）来隔离编码错误。这是可能的，因为两个版本中的一个以这样一种方式实现，即测试错误带有易于识别的特征。这个项目将彻底改变模型验证领域。

Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing the test error signal generated (the difference between the outputs of the two models). This is possible because one of the two versions is implemented in such a way that the test error carries an easily identifiable feature. This project could revolutionize the area of model verification.