[SystemSafety] Accuracy of COVID modeling code
Peter Bishop
pgb at adelard.com
Sun May 10 16:54:27 CEST 2020
Exact results are pretty unlikely for FP.
But on the other hand, I think the *numerical algorithm* is probably
more important than any local HLL optimisations in reducing rounding
errors,
e.g. when adding an array of FP numbers, the best option is to sort them
an ascending order before sequentially adding them.
Peter Bishop
On 09/05/2020 18:21, Peter Bernard Ladkin wrote:
>
> On 2020-05-09 18:41 , Derek M Jones wrote:
>> Section 5.1.2.3 of the C Standard,
>>
>> or sentence 189: https://c0x.coding-guidelines.com/5.1.2.3.html
>> "In the abstract machine, all expressions are evaluated as specified by the semantics."
> Which should mean that the expression "x^2 - y^2" returns the square of the value of x minus the
> square of the value of y. What is called the exact value.
>
> What a poor piece of writing.
>
> PBL
>
> Prof. Peter Bernard Ladkin, Bielefeld, Germany
> Styelfy Bleibgsnd
> Tel+msg +49 (0)521 880 7319 www.rvs-bi.de
>
>
>
>
>
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription: https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
--
Peter Bishop
Chief Scientist
Adelard LLP
24 Waterside, 44-48 Wharf Road, London N1 7UX
Email: pgb at adelard.com
Tel: +44-(0)20-7832 5850
Registered office: 5th Floor, Ashford Commercial Quarter, 1 Dover Place, Ashford, Kent TN23 1FB
Registered in England & Wales no. OC 304551. VAT no. 454 489808
This e-mail, and any attachments, is confidential and for the use of
the addressee only. If you are not the intended recipient, please
telephone 020 7832 5850. We do not accept legal responsibility for
this e-mail or any viruses.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20200510/1ea770af/attachment.html>
More information about the systemsafety
mailing list