Vi inför en modellkontrollmetod för att diagnostisera uppkomsten av benpatologier. Införandet av en ny modell för benremodellering i PRISM har lett till en intressant karakterisering av osteoporos som en defekt benremodellering dynamik med avseende på andra benpatologier. Vårt tillvägagångssätt gör det möjligt att härleda tre typer av modellkontroll-baserade diagnostiska estimatorer. Den första diagnostiska åtgärden fokuserar på nivån av benmineraltäthet, som för närvarande används i medicinsk praxis. Dessutom har vi infört en ny diagnostisk estimator som använder den fullständiga patient kliniska rekord, här simuleras med hjälp av modellering ramar. Denna estimator upptäcker snabba (månader) negativa förändringar i benmineraldensiteten. Oberoende av den faktiska benmineraltätheten, när minskningen sker snabbt, är det viktigt att varna patienten och övervaka honom/henne närmare för att upptäcka andra benkomorbiditeter. En tredje estimator tar hänsyn till variansen av bentätheten, som kan behandla undersökningen av metabola syndrom, diabetes och cancer. Vårt genomförande kan använda sig av olika logiska kombinationer av dessa statistiska skattningar och kan innehålla andra biomarkörer för andra systemiska komorbiditeter (till exempel diabetes och thalassemi). Vi är glada över att kunna rapportera att kombinationen av stokastisk modellering med formella metoder motiverar nya diagnostiska ramar för komplexa patologier. I synnerhet tar vår strategi hänsyn till viktiga egenskaper hos biosystem som multiskal och självanpassningsförmåga. Multidiagnosen skulle kunna utvidgas ytterligare och öka i riktning mot komplexiteten hos sjukdomar hos människor. Slutligen introducerar vi helt kort självanpassning i formella metoder som är en viktig egenskap i de regulativa mekanismerna i biologiska system och välkända inom andra matematiska och tekniska områden.
Mer nyligen, Liò et al. använda PRISM för att diagnostisera uppkomsten av benpatologier REF.
Multiple verification in computational modeling of bone pathologies
{'venue': 'EPTCS 67, 2011, pp. 82-96', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics', 'Biology', 'Engineering']}