Soundness & Soundiness Soundness: the analysis captures all program behaviors, or the analysis result models all possible executions of the program ? ...
分类：
数据库 时间：
2021-01-29 12:01:47
阅读次数：
0
一、下载源地址修改，用国内镜像站点： 国内源： 新版ubuntu要求使用https源，要注意。 清华：https://pypi.tuna.tsinghua.edu.cn/simple 阿里云：http://mirrors.aliyun.com/pypi/simple/ 中国科技大学 https:// ...
分类：
其他好文 时间：
2021-01-29 11:56:43
阅读次数：
0
找规律后可以找到这个。 #include <bits/stdc++.h> using namespace std; typedef long long ll; const ll inf = 0x3f3f3f3f; const double eps = 1e-6; const ll N = 1e5+7 ...
分类：
其他好文 时间：
2021-01-27 13:56:17
阅读次数：
0
Motivation 明显，类层次分析没法很好完成invokeinterface的分析。 Intro 作用： 确定某个指针能够指向何处memory 对oop能够确定指针指向的具体是哪个class的方法，field等 一般是may analysis Pointer Analysis & Alias A ...
分类：
数据库 时间：
2021-01-26 12:06:31
阅读次数：
0
在安装好python后，有时候会根据需要安装一些python包，默认的pip源地址下载速度往往比较慢，经常会报超时错误。比较好的解决办法是修改pip默认源为国内源。国内比较靠谱的源地址有： pypi 清华大学源：https://pypi.tuna.tsinghua.edu.cn/simple pyp ...
分类：
编程语言 时间：
2021-01-22 12:30:41
阅读次数：
0
Network 一、概述 1、网络的由来 世界上第一个网络的产生，是在冷战期间，美国国防部DOD出资要求搭建一个分布式军事指挥系统。其后，ARPA：美国的高级研究项目署。 将美国的三所大学中的四台计算机联系经起来，形成ARPAnet。当时使用的基本原理就是IP地址，TCP/IP协议。一直延续到今天。 ...
分类：
Web程序 时间：
2021-01-18 10:50:09
阅读次数：
0
班级链接 福州大学至诚学院-2018软件工程1班 福州大学至诚学院-2018软件工程2班 助教博客链接 AaronLin ANNOMING 翼が見えた Yifelix 各周助教小结链接汇总 2020-09-06助教一周总结(第一周) 2020-09-13助教一周总结(第二周) 2020-09-20助 ...
分类：
其他好文 时间：
2021-01-14 10:50:05
阅读次数：
0
上大学后，就一直想着写这技术博客，用来记载学过的技术。可是一直没有行动。这次上班了，由于前端技术的短板，任务总是事倍功半。这次下定决心，认真的将日后工作中，学习中遇到的技术问题记载下载。方便日后回顾。 回归正题，公司用到的框架的是vue，这几周恶补了一下前端，今天正好学到了axios，就从这里开始记 ...
分类：
移动开发 时间：
2021-01-13 11:13:47
阅读次数：
0
Mean Field Multi-Agent Reinforcement Learning（MFMARL） 是伦敦大学学院（UCL）计算机科学系教授汪军提出的一个多智能体强化学习算法。主要致力于极大规模的多智能体强化学习问题，解决大规模智能体之间的交互及计算困难。由于多智能体强化学习问题不仅有环境交 ...
分类：
其他好文 时间：
2021-01-13 10:55:25
阅读次数：
0
最近出去面试了一下，收获颇多！！！ 以前的我，追求实际，比较追求实用价值，然而最近面试，传说中的面试造火箭，工作拧螺丝，竟然被我遇到了。虽然很多知识点在实际工作中并不经常用到，但人家就是靠这个来筛选人才的！！！ 在大学里，你可能会感觉到微积分没啥用处，去菜市场买菜，你不可能用到微积分吧，但是呢，这个 ...
分类：
编程语言 时间：
2021-01-12 11:00:29
阅读次数：
0
