这是南京大学《软件分析》第二讲 （十分感谢南大能将这么好的课公开出来，十分感谢李越、谭添老师这么认真的备课，收获很多。笔记中大部分的图都是从老师的视频中截图所得，会添上自己的理解，以及一定的修改） ps：笔记是上课过程中的记录，所以会有语法、语义等方面的错误，请大家包容和提
关于以太网通信 最近用了两种以太网芯片了，先是STM32F446+W5500，然后是STM32F429+LAN8720A，第二种虽然现在也能发数了，但是发送的数据一超过一千字节就会报错，实际上根本没有吃透这个LWIP，只是简单的去测试源代码都不能成功，等我搞明白了再来记录。 关于W5500这个芯片就很友好了，（中
乐视的电视机摄像头带有深度信息，可用于体感识别、视觉SLAM、点云地图构建、三维重建等应用。但是刚开始无法显示RGB彩色图像，后来发现是没安装OpenNI库，以及官方的驱动包有一个硬件配置跟自己电脑的不同。修改后可以正常显示。过程如下： 安装依赖： $ sudo apt-get install build-
本文主要介绍Odoo模块中权限配置文件ir.model.access.csv文件的对应的字段详细解析，为odoo模块开发及修改提供参考 id:权限id，默认规则是access_模块名_类名，还没发现有什么用name:权限名，默认规则是模块名.类名，还没发现有什么用model_id:id:这个是固定写法，规则是model_模块名_类名，其
初始化序列 <?xml version="1.0" encoding="utf-8"?> <odoo> <data> <record id="seq_sale_order" model="ir.sequence"> <field name="name">XXX fund</field>
https://mp.weixin.qq.com/s/7suuJ7m2BKCpsHk1K2FzJQ 介绍riscv-debug的使用实例：如何使用DMI。 1. dm Debug Module实现了调试模块。 2. dmi Debug Module Interface是对Debug Module的访问接口。 3. DTM dmi包含在DTM中。DTM是硬件接口相关的，可以是JTAG
altium designer 20.0.8 download : http://dl3.downloadly.ir/Files/Software/Altium_Designer_20.0.8_Beta.part1_Downloadly.ir.rar http://dl3.downloadly.ir/Files/Software/Altium_Designer_20.0.8_Beta.part2_Downloadly.ir.rar http://dl3.downloadly.ir/Files/Softwa
目录 本文目的 主流框架的问题 Training Inference 已有框架 为什么复杂，以及问题 历史类似问题 解决方案： 深度学习解决方案 TVM 特点 竞争对手 TVM的IR 偏算子端的IR 偏计算图端的部分 XLA的IR eg代码优化 Q: 深度学习编译和传统编译的技术路线差别 方法 ref： 深度学习
angr是什么 angr是一个多架构的二进制分析平台，具备对二进制文件的动态符号执行能力（例如Mayhem，KLEE等）和多种静态分析能力。 大概看来，要做到这些必须要克服一些问题： 装载二进制文件到到分析平台 转换二进制文件为中间语言（intermediate representation）（IR） 转换IR为语义描述（即它做什么
Longest Subarray 题意：一个数列，每个元素大小都在1到C之间，求一个最长的子串，满足在这个子串中1到C之间的每个数字要么出现0次，要么出现至少K次。 题解：\(i\)从1到n枚举右端点，维护一个\(tree[j]\)表示在\(i\)为右端点时以\(j\)为左端点可行的个数(这里的可行是指对于1到C之间的某一个数
修改views/views.xml文件的res_model, 修改为<field name="res_model">{}</field>中的{}包裹的内容 例, 其中res_mode为"em.em" <odoo> <data> <!-- actions opening views on models --> <record model="
Power-Plan或者说PG如何打，这是一个仁者见仁智者见智的问题，没有一个标准的答案，因为有各种各样的影响因素。本文将列举一些可能的影响因素： 1.和design 相关 1） Utilization 低的打的越多越好，高的需要打低一点，考虑DRC 和Congestion。 2）同样的Utilization,同样的PG 结构，模块功能不一
LLVM不仅仅是一个编译器，同时提供了模块化的功能和库，用于编译器的开发和功能扩展。常规的一个编译器分为前端、优化器和后端，LLVM编译器也不例外，Clang就是属于一个编译器的前端部分，LLVM属于优化器和后端，当然LLVM也可以支持其他类型的前端，比如GCC前端编译器。 Clang的安装 ap
bool DFS(int x,int color,int r,int l,int fa){ col[x]=color; for(int i=0;i<v[x].size();i++) { int to=v[x][i]; if(to==fa||to>r||to<l)continue; if(col[to]==0) { if(!DFS(to,3-color,r,l,x)) re
Pass作为LLVM的一个重要的组成部分，在LLVM IR层面和LLVM Backend层面都发挥了重要的作用。很多LLVM的使用者容易将Pass理解为LLVM IR层面的analysis和transform，而忽略了Pass在LLVM Backend层面的作用。而实际上，Pass在LLVM Backend层面发挥的作用一点都不小。以后端的结构为例： N
std::lock_guard std::lock_guard是RAII模板类的简单实现，功能简单。 std::lock_guard 在构造函数中进行加锁，析构函数中进行解锁。 锁在多线程编程中，使用较多，因此c++11提供了lock_guard模板类；在实际编程中，我们也可以根据自己的场景编写resource_guard RAII类，避免忘掉释放资源。
前言 不知道该说什么好。我买了STM32了，opencv终于有用武之地了。 PPM与PWM PPM，pulse position modulation.比如调制tont_{on}ton长度，保持tofft_{off}toff不变。 PWM，pulse width modulation.比如调制占空比tonT\frac{t_{on}}{T}Tton，但是周期不变。 我的单片机上的遥
直接提供下载链接，发现还是国外网站的资源比较厉害，我的谷歌都无法搜索到这样的结果。http://dl1.technet24.ir/Downloads/Software/Microsoft/ExchangeServer/Microsoft-Exchange-Server-2019-x64-cu1.iso使用下载工具，基本上可以全速下载，挺爽的。有图有真相！
1.题目要求 (1). 首先在同学中找一个同伴，范围不限，可以在1~5班中随意组合，建议尽量不要找同组的成员，女同学尽量找男同学结对，但是不做强制要求； (2). 从以往个人完成的项目中选择一个作品，例如：以往的数据结构课程设计或者其它具有比较完整功能的小系统，代码至少要大于100行； (3). 将代码上
下面我们要来研究二次曲面$C(R)=\{(x,y,z):x^2+y^2-z^2=-R^2\}$, 其中$R>0$. 这是一个双叶双曲面. 为了以微分几何的手法研究之, 类似球极投影, 可作``双曲面极投影''. 具体如下, 考虑``双曲面极''$P=(0,0,-R)$, 任何$C(R)$上的点$Q$, $PQ$的连线交$x$轴$y$轴所在平面于一点,
