基于模型检测的非确定性概率模型学习

项目名称： 基于模型检测的非确定性概率模型学习

项目编号： No.61402306

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 毛华

作者单位： 四川大学

项目金额： 24万元

中文摘要： 随着计算机系统在日常生活中占据日益重要的地位，系统运行的正确性和可靠性也变得尤其重要。模型检测技术，将传统的形式化验证方法自动化，通过对系统描述模型中相关性质的自动验证来分析系统的可靠性。概率模型检测将模型检测技术与概率论相结合，能够量化地描述目标系统的随机行为，分析系统的随机性质，是模型检测领域一个新兴的研究方向。为目标系统构造一个正确的系统模型是一个复杂繁重且极易出错的过程，被工业界视为将模型检测技术更大范围应用的桎梏。本项目研究内容包括：提出基于模型检测的非确定性系统描述模型及其学习算法；研究算法收敛性与概率模型检测中系统性质收敛性；提出基于模型轨迹概率分布的距离对学习结果进行评价。最终本项目将建立一个概率模型建模平台，为概率模型检测提供高质量的系统描述模型。

中文关键词： 模型验证；时态逻辑；深度神经网络；；

英文摘要： As computer-based systems have gained their popularity in the society, the correctness and reliability of such systems become crucial. Model checking, an automatic formal verification technique, is proposed to evaluate the target system based on its suita

英文关键词： Model Checking；Temporal Logic；Deep Neural Network；；