暂无评论
一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！
基于攻击树的网络攻击模式形式化研究
免疫系统的形式化研究，杨朋樽，田玉玲，免疫算法是基于生物免疫系统而提出的优化算法，在工业控制、组合优化、机器学习等方面都有很好的应用。不过基于生物机制的免疫算
提出一种0-1序列生成器的设计方法。该方法通过Logistic映射得到一组对初始值具有敏感性、快速衰减的自相关性、长期不可预测性和伪随机性的随机序列;利用SVM对随机序列进行粗粒化,由于SVM的确定性
论文研究-反精确现象与形式化研究.pdf, 通过尝试给出软直方图估计模型中样本不完备度和模型粗糙度匹配关系的公式化定义,发现了一个反精确规则.该反精确规则给出的启示是,如果信息是不完备的,则一个较粗
隐标识身份认证方法及其形式化语义分析
形式化方法裘宗燕北京大学
Habanero编程模型的Coq形式化 编程模型的形式化。 我们主要关注属性的形式化,例如死锁自由和种族自由。 该项目的总体目标是提供理论框架,阅读Coq库,以验证同步机制。 刊物 使用Coq对Hab
形式化分析的工具Scyther软件的说明手册，可以对工业协议和安全加密的协议进行形式化分析
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同
暂无评论