埃齐奥·巴托西;彼得罗·利奥;伊曼纽拉·梅雷利;尼古拉·保莱蒂 复杂生物系统中的多重验证：骨重塑案例研究。 （英语） Zbl 1381.74152号 Priami，Corrado（编辑）等人，《计算系统生物学学报》第十四卷。细胞过程计算模型专题。柏林：施普林格出版社（ISBN 978-3-642-35523-3/pbk）。计算机科学课堂讲稿7625。生物信息学讲义。《期刊副刊》，53-76（2012）。 摘要：我们提出了一套用于组织和器官层面复合形式分析的形式化技术和方法，重点是验证骨重塑过程中的定量属性。从微分方程模型出发，我们推导了一个随机模型和分段多仿射近似，以便对生物组织的稳定性进行模型检查，并评估正常重塑活动和骨质疏松症等典型疾病的缺陷活动之间的差异。骨重塑的复杂非线性动力学分析采用了多种技术：微分方程模型的敏感性分析；随机模型的定量概率模型检验；以及分段多仿射模型的经典模型检验和参数综合。这样的分析使我们能够提取出丰富的信息，这些信息不仅有助于深入了解生物过程，也有助于医学诊断。关于整个系列，请参见[Zbl 1259.92001号]. 引用于1文件 MSC公司： 74升15 生物力学固体力学 92C30型 生理学（一般） 92立方厘米 系统生物学、网络 关键词：形式分析;骨重塑;模型检查;敏感;分段多仿射抽象 软件：生物-PEPA;棱镜;BlenX公司;参数;MARCO公司;失效模式与后果 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，Lect。注释计算。科学。7625，53-76（2012；Zbl 1381.74152） 全文： 内政部