- 博客(5)
- 收藏
- 关注
原创 PyG初探(一)
今天主要安装了一下torch-geometric,本来之前以为直接pip install就完事了,结果使用时发现了很多报错,主要报错有 1:undefined symbol: _ZN3c105ErrorC1ENS_14SourceLocationERKSs 2:ModuleNotFoundError: No module named ‘torch_scatter’ 3:AttributeError: ‘NoneType‘ object has no attribute ‘origin‘ 其实这些报错都是一个
2021-08-06 20:49:52
480
原创 图神经网络初探(一)
由于数学功底不算强,故不从数学推导出发去学习GNN,主要学习GNN的结构,效果和用法。 之前的DL:针对欧式空间数据,对于图数据效果不好,故使用图神经网络直接处理图数据。 图嵌入 首先需要图嵌入,即高维图转变为低维向量表示,主要参考这篇文章https://zhuanlan.zhihu.com/p/62629465。 图嵌入的主要问题:属性选择,可扩展性,嵌入维数。 拉普拉斯矩阵 拉普拉斯矩阵是学习图神经网络绕不开的概念。首先复习一下相似矩阵,有可逆P,使得P^-1AP=B,则A和B是相似矩阵。在一组基(单位
2021-07-30 20:48:32
576
原创 Joern初步学习
joern 生成C/C++程序的CPG,其主要包含三个组件 parser / python interface / joern tools 解释器 安装: 安了一半我发现我看的文档是14年的老文档。。。。,重新安吧。安装请认准官网文档,不要再看博客了。 按照官网最新文档,安装很顺畅,没有出现问题。 开始时安装joern 0.3.1的过程: 依赖:jdk1.7 / Neo4J 2.1.5 / Gremlin plugion jdk下载:注意更改/etc/profile文件之后需要重新登陆用户才会生效,不然只有
2021-07-28 22:06:05
712
原创 Bert学习笔记(一)
Bert学习笔记(一)nlp基本任务 今天主要参考https://blog.youkuaiyun.com/jiaowoshouzi/article/details/89073944这篇文章学习。 nlp基本任务 nlp大致可分为三个模块,数据集建立和预处理;文本嵌入;根据嵌入向量训练模型。其中二三点可能在有些场景中比较模糊,如可能文本嵌入后就能得到目标结果。 语言模型:对于文本 ...
2021-07-26 22:05:21
255
原创 软件分析技术学习笔记(一)
软件分析技术学习(一)写在前面第一章第二章停机问题数据流分析算法要求 写在前面 由于要做一个软件分析+AI方向的项目,写博客记录一下学习的内容,也是激励自己学习的动力吧。软件分析学习主要参考北大熊英飞老师的课程,链接:https://xiongyingfei.github.io/SA/2020/main.htm。 第一章 运用哥德尔不完备定理论证了程序中的缺陷不可能完全判定。哥德尔定理:包含自然数和基本算术运算的系统一定不完备,即包含一个无法证明的定理。哥德尔定理证明略,与停机问题证明类似,证明下面的程序是
2021-07-26 13:10:28
526
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人