形式化方法CSP

以点集拓扑学为基础,用集合对单纯形和单纯复形进行了形式化描述;讨论了GTP模型进行单纯剖分的必要性和形式描述的完备性,在给出确定GTP模型顶点编号方法的基础上,对GTP模型进行单纯剖分和形式化描述;利

形式化分析、安全协议分析

基于攻击树的网络攻击模式形式化研究

免疫系统的形式化研究，杨朋樽，田玉玲，免疫算法是基于生物免疫系统而提出的优化算法，在工业控制、组合优化、机器学习等方面都有很好的应用。不过基于生物机制的免疫算

一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！

论文研究-反精确现象与形式化研究.pdf,  通过尝试给出软直方图估计模型中样本不完备度和模型粗糙度匹配关系的公式化定义,发现了一个反精确规则.该反精确规则给出的启示是,如果信息是不完备的,则一个较粗

本分析案例对于搞面向对象分析与形式化软件开发的人是一个较好的简单的例子希望大家捧场与评论请注意：以作者为amdcwf（昵称为：陈谈）上发的源 码， 绝对都是本人的原创本人格言：不是精品，绝对不发（什么

Habanero编程模型的Coq形式化 编程模型的形式化。 我们主要关注属性的形式化,例如死锁自由和种族自由。 该项目的总体目标是提供理论框架,阅读Coq库,以验证同步机制。 刊物 使用Coq对Hab

介绍BGA、CSP发展的历程，两者优缺点比较

高速铁路列车运行控制系统的形式化建模与验证方法