A classical method employed by physicists to check equations is the use of units of measurement.



The following equation, intended to model that a ship is kept afloat, is slightly wrong:



MaxWeight * WaterDensity <= ShipVolume



Deploying units of measurement, it is easy to recognize the mistake; and realize it should have been written



MaxWeight <= ShipVolume * WaterDensity



Question is: do you want to check this for all the expressions in your model? Probably not. The good news is that you can leave this kind of checking up to AIMMS.



How does this work?



Read more...