基于CTL模型检测的胃腺癌核心路径形式化验证

摘要：

胃腺癌是消化系统最常见的恶性肿瘤, 死亡率居消化道各类癌症之首.其发生发展是多步骤、多因素参与的复杂过程, 涉及到多种蛋白分子的改变以及信号通路的异常, 但其确切发病机制目前尚不清楚, 研究其发病机理, 探索有效治疗方法一直是医学研究最重要的课题之一.因此, 对胃腺癌信号转导网络的研究有助于阐明其发病机制.目前, 在胃腺癌的发生发展过程中由于基因的改变而导致细胞功能的变化, 以及癌细胞环境因子通过作用于其受体和信号转导通路而影响其他正常细胞的功能.胃腺癌的信号转导网络非常复杂, 通过对胃腺癌信号转导网络离散值模型的分析和验证, 说明靶向胃腺癌信号通路或蛋白治疗的优越性.应用符号模型检测技术自动分析靶向信号通路或蛋白是如何影响胃腺癌细胞命运, 了解胃腺癌的发生发展机理, 从中找到潜在靶点, 为治疗胃腺癌提供建议, 使研制新的抗癌药物成为可能.

关键词：模型检测、NuSMV、细胞信号通路、胃腺癌

所属期刊栏目：40

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金F020504,A011404;中央高校基本科研业务费专项资金GK201603086

在线出版日期：2019-05-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2280-2286