2025年3月31日
go实现一个简单的生产消费者模型
摘要： import ( "fmt" "math/rand" "sync" "time" ) type Buffer struct { mutex sync.Mutex notEmpty *sync.Cond buff []int } func NewBuffer() *Buffer { buf := Bu 阅读全文
posted @ 2025-03-31 15:37 seonwee 阅读(6) 评论(0) 推荐(0)
go使用两个协程交替打印1-100
摘要： 1. 使用channel控制 func main() { wg := sync.WaitGroup{} c1 := make(chan struct{}, 1) c2 := make(chan struct{}, 0) wg.Add(2) c1 <- struct{}{} go func() { f 阅读全文
posted @ 2025-03-31 15:20 seonwee 阅读(99) 评论(0) 推荐(0)
2025年3月12日
蓝牙app(appinventor开发)控制esp32蓝牙小车(MircroPython开发)所踩的坑
摘要： 1. 传统蓝牙与低功耗蓝牙的区别 资料 2. esp32自带的蓝牙模块是低功耗蓝牙模块 CSDN上的第一篇文章 CSDN上的第二篇文章 推荐一个B站讲的比较好的esp32 3. 照着CSDN上两篇文章做出现的问题 博文上所给的在线appinventor开发网址打包的app不太兼容安卓11、12，屏幕 阅读全文
posted @ 2025-03-12 12:44 seonwee 阅读(154) 评论(0) 推荐(0)
vim编辑器
摘要： vim编辑器 1. vim编辑器的几种模式以及模式之间的转换 2. 普通模式下可以执行的操作 命令 作用 备注 yy 复制光标所在的当前行 nyy(n是一个数字，相当于复制光标所在行开始的n行) y$ 复制光标所在位置到这行末尾的内容 y^ 复制光标所在位置到这行开头的内容 w 跳转到下一个单词开始 阅读全文
posted @ 2025-03-12 12:42 seonwee 阅读(24) 评论(0) 推荐(0)
Linux网络配置
摘要： 1. 查看网络相关信息 windows ipconfig Linux ifconfig 2. vmware中虚拟出的VMnet8和VMnet1两张网卡的作用 2.1 VMnet8 上述图中PC连接路由器应该是接在PC机的默认网卡上 2.2 VMnet1 3. 设置为静态IP 查看当前网卡的名字 /e 阅读全文
posted @ 2025-03-12 12:40 seonwee 阅读(20) 评论(0) 推荐(0)
低功耗蓝牙的相关概念和及用法
摘要： 1. 蓝牙广播（advertising） 1.1 包含40个信道，频段从2402MHz到2480MHz，每2MHz一个信道，其中37、38、39是广播信道，剩余的是数据信道 1.2 广播数据包最大37个字节，其中有6个字节作为蓝牙设备的mac地址，故剩下的31个字节是给用户进行使用的，所以我们也只用 阅读全文
posted @ 2025-03-12 12:37 seonwee 阅读(122) 评论(0) 推荐(0)
WIFI模块中的相关概念
摘要： 1.AP模式与STA模式的区别 Access Point(AP) 无线接入点，提供无线接入的设备，家里的光猫就是结合WiFi和internet路由功能的AP。AP和AP可以相互连接。 Station(STA) 无线终端，连接到AP的装置，手机，电脑等需要联网的设备都是出于STA模式，这个模式不允许其 阅读全文
posted @ 2025-03-12 12:28 seonwee 阅读(70) 评论(0) 推荐(0)
Learning Rate Based Branching Heuristic for SAT Solvers
摘要： 1. 预备知识 1.1 Simple Average and Exponential Moving Average 给定一个含有时间序列的数字序列\(S_n=<r_1,r_1,r_2, ..., r_n>\) simple average 的计算方式为 \(avg(S_n)=\sum_{i=1}^N 阅读全文
posted @ 2025-03-12 12:26 seonwee 阅读(38) 评论(0) 推荐(0)
satz
摘要： 1. 相关数据结构 变量名 注释 NB_VAR 算例变元的数量 NB_CLAUSE 算例子句的数量 sat[x][y] 二维数组存放算例，例如：sat[x]就是第x个子句，子句末尾用NONE(-1)标识。注意sat的一维下标从0开始，即第一个子句是sat[0]；假如sat[x][y]存放某个变元z， 阅读全文
posted @ 2025-03-12 12:18 seonwee 阅读(34) 评论(0) 推荐(0)
Maple_CM
摘要： 1. 子句化简 一开始上来先用vsids策略，直到冲突次数达到设置的init，之后再使用2500s的LRB策略，2500s后再次产生冲突分支策略将改为VSIDS策略。 其存放学习子句有三个集合，学习子句的质量从高到低分别是learnts_core、learnts_tier2、learnts_loca 阅读全文
posted @ 2025-03-12 12:17 seonwee 阅读(28) 评论(0) 推荐(0)