- 博客(4)
- 资源 (14)
- 收藏
- 关注
RSS订阅原创 SPIN和SMV工具的对比学习 ——基于农夫过河问题
前言SPIN和SMV是课程中介绍了两种特别重要的模型检测工具，本文将介绍两种工具的安装、基本使用，同时使用两种工具来解决农夫过河问题，并对这两种工具进行比较。一、形式化验证工具的安装1.1.SPIN的安装1.1.1下载SPIN可执行文件进入spin验证工具的官网：http://spinroot.com/spin/whatispin.html进入安装向导页面，按照指示来进行安装。Wi...
2019-01-19 10:29:38
3889
10
原创 transformer模型核心图解
三图解万言！！！模型图：动画：首先输入源语：“I arrived at the ”第一层 self-attention然后第二层 self-attention,输入是上一层attention的结果然后第三层 self-attention，输入是上一层的attention结果。这样 见过三次多头attention后,得到输入句子的句法树。完了Decoder是< start...
2019-01-10 11:01:59
1872
原创 基于注意力机制的 中 英机器翻译
数据处理模块__author__ = 'jmh081701'import jsonimport copyimport numpy as npimport randomclass DATAPROCESS: def __init__(self,source_ling_path,dest_ling_path,source_word_embedings_path,sourc...
2019-01-08 09:42:55
3035
10
原创 使用NuSMV解决过河问题
使用NuSMV做形式化验证NuSMV的安装在http://nusmv.fbk.eu/bin/bin_download2-v2.cgi 页面下载合适的二进制可运行版本即可。在本报告中，本人下载了http://nusmv.fbk.eu/distrib/NuSMV-2.6.0-win64.tar.gz 文件。解压后，即可得到具有如下目录的文件夹：在bin目录下有可执行文件nusmv.exe，直...
2019-01-05 20:25:47
4354
4
定制版LightGBM
2018-06-24
深度学习_高清PDF,带书签目录
2017-10-15
神经网络在艺术风格上的学习应用
2016-03-19
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人