Trustworthy computation in engineer's equation-based simulations.
This paper investigates the trustworthiness of computation implemented in simulations in engineering, with a specific focus on equation-based simulations. Whereas opacity discussions in the computer simulation literature typically center on modeling opacity, we direct our attention to the grounds en...
| Publicado en: | Synthese Vol. 207; no. 1; pp. 1 - 28 |
|---|---|
| Autores principales: | , |
| Formato: | Literature Review |
| Publicado: |
Springer Nature
Jan2026
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=190357290&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 190357290 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Jan2026 vid: 207 iid: 1 pid: 237 pub: Springer Nature artinfo: ui: 190357290 10.1007/s11229-025-05397-6 ppf: 1 ppct: 27 formats: tig: atl: Trustworthy computation in engineer's equation-based simulations. aug: au: Ferestade, Iman Fillion, Nicolas affil: https://ror.org/019wvm592 Philosophy Department, Australian National University, Canberra, Australia https://ror.org/0213rcc28 Philosophy Department, Simon Fraser University, Burnaby, Canada su: Engineering simulations Computer simulation Quantitative research Robust programming Confidence sug: subj: Engineering simulations Computer simulation Quantitative research Robust programming Confidence keyword: Engineering knowledge Equation-based simulation Validation & verification ab: This paper investigates the trustworthiness of computation implemented in simulations in engineering, with a specific focus on equation-based simulations. Whereas opacity discussions in the computer simulation literature typically center on modeling opacity, we direct our attention to the grounds engineers should have for trusting that the computer indeed found an acceptable solution to a given model. This is a particularly sensitive issue in situations in which analytical or experimental methods are impossible or impractical. After critically reviewing alternative views found in the literature, we propose a systematic approach for evaluating the accuracy of solutions obtained via computational methods, that involves quantifying residual errors and evaluating the model's conditioning. We argue that, in equation-based simulations, ensuring that the residual is small enough and that the model is sufficiently well-conditioned provides a sufficient epistemic foundation for engineers to place their trust in the results obtained via computer simulations as much as they trust the models they use, thereby giving a conceptual basis for this much needed kind of conditional trust. pubtype: Academic Journal doctype: Literature Review src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2026 holdings: @attributes: islocal: N |
|---|