随笔分类 - 1.首页原创精华区
摘要：1. 整数r>s>0，(r, s)=1，2∤r+s，x=r^2-s^2, y=2rs, z=r^2+s^2，求证(x, y)=1，(y, z)=1 证明：由2∤r+s（r与s必一奇一偶）知2∤r-s，故2∤r^2-s^2，以及2∤(r+s)(r+s)。又1=(r, s)=(r+s, r)=(r+s
阅读全文
摘要：1. 三条定律：交换律、结合律、吸收律（对于半格是幂等律），吸收律包含了幂等律 2. 上下界：交半格每对元素都有唯一最大下界，并半格每对元素都有唯一最小上界，格每对元素都有唯一最大下界和唯一最小上界 3. 格定义一个偏序，偏序有三个性质：自反性、反对称性、传递性 4. 格与偏序的关系：每个格对应一个
阅读全文
摘要：【命题1】控制流图G中若a dom n，且b dom n，则a dom b 或b dom a 【证明】设G入口为s，假设结论不成立，即a 不dom b且b 不dom a，或a dom b且b dom a。根据支配结点定义，如果是前者，则从s有全部路径经a（或b）到n但不经过b（或a），这与题设b（或
阅读全文
摘要：【性质】 1. 判定两个完全格L和M能否构成伽罗瓦连接，即抽象化函数α: L—>M是否完全加性的，或具体化函数γ: M—>L是否完全乘性的 2. 构造抽象化函数和具体化函数，即对于一个Galois连接（L, α, γ, M），给定α可通过γ(m) = ⊔{l | α(l) ⊑ m}确定γ，这对于所有
阅读全文
摘要：记输出为[G`, G, p, q, g]，其中p为大素数，G`为模p的有限循环整数群，阶为p-1；q为大素数，为G的阶，G为G`的子群（模亦是p），生成元为g（G`的一个元素），另外满足如下条件： 1. 1<q的位长<p的位长，p、q随机选取，p同余于1 mod q，即q整除p-1，q为p-1的素因
阅读全文
摘要：定理：令K[x]是由次数小于8、系数为0或1的多项式组成的环，m(x)=x^8+x^4+x^3+x+1为不可约多项式，则K[x]/(m(x))（模m(x)剩余类环）同构于元素个数为256的有限域F 证明： 1. 构造映射H: P->Z，P表示K[x]中的多项式，Z表示小于256的非负整数，定义函数
阅读全文
摘要：目录 下载：基于Rust构建WebAssembly
阅读全文
摘要：背景 由于实际使用中RSA公钥通常很短，而私钥和模位长度一样，导致解密(或签名)时大数指数模运算比较慢，故可使用中国剩余定理约简模数和解密指数，以加快运算 描述 x为密文，n为模，p和q为大素数且满足n=pq，d为私钥，设 xp ≡ x mod p，xq ≡ x mod q (1) dp ≡ d m
阅读全文
摘要：算法描述 如果对于任意0<=a<p和0<=b<q(p和q皆是素数)，那么当x<p*q时，存在一个唯一的x，使得x≡a mod p 且 x≡b mod q，则 x =(((a - b)*u) mod p)*q + b，其中u满足u*q≡1 mod p。 算法证明 1.先推导x的解 因x≡a mod p
阅读全文
摘要：主要思路 1. 首次连接时调用redisConnectWithTimeout或redisConnectUnixWithTimeout连接Redis服务端，若成功则保存返回的redisContext，假设为ctx 2. 发送命令数据后获取响应，如果是pipeling模式则调用redisGetReply
阅读全文
摘要：存储格式 Oracle Number数据类型是变长的，占0~22字节，不像编程语言中的2/4字节整数或4/8字节浮点数，关于它的存储格式与解析，DSI上有详细的描述，如下所示 符号位/指数字节描述如下 数字字节描述如下 正数或零值的计算 负数值的计算 解析实现 由于Oracle Number的精度高
阅读全文
摘要：场景说明 选择ENet代替TCP用于弱网环境(通常丢包率高)的数据传输，提高可靠性及传输效率。为了说明怎样正确有效地应用ENet，本文按照TCP C/S同步通信的流程作了对应的接口封装实现，取库名为rudp。 接口对照 左边为rudp库的API，右边为标准的Berkeley套接字API。rudp库所
阅读全文
摘要：为什么用VSS VSS是Windows系统的卷影像拷贝服务，用于解决如下问题： ◆ 许多备份工具涉及打开文件 ◆ 但是若一个应用程序已经以独占方式打开文件并进行访问时，备份工具则不能访问该文件 ◆ 即使备份工具能够访问已打开的文件，也可能造成备份文件的不一致性 在实际数据灾备中，主流厂商实现SQL
阅读全文
摘要：阅读《MySQL Innodb无锁化设计的日志系统》（https://zhuanlan.zhihu.com/p/53037796）后的心得： 与oracle日志子系统异曲同工的差异 1. 空洞：对于并发会话copy重做日志造成的空洞，oracle是由lgwr判断并等待持有redo copy闩锁的会话
阅读全文
摘要：描述 nginx是一款著名的高性能开源Web与反向代理服务器，支持windows和linux操作系统，因为在windows系统上还不支持SCM（服务控制管理），所以只能以控制台方式运行，但这样并不是在后台运行，也不能在系统登录前启动。针对这些问题，本方法通过改进源码，使nginx良好地支持了SCM，
阅读全文
摘要：部署图 传统的vss备份架构由于备份应用部署在应用服务器内，因此比较耗应用服务器的CPU和IO，特别是拷贝大量的文件，为了降低对应用服务器的干扰，可采用server-free架构，将耗时的拷贝移到另一机器即备份服务器实现，而应用服务器只负责占用资源及耗时很少的打快照。这种架构运用了vss可传输卷影拷
阅读全文
摘要：1. 绑定变量作为一种优化查询处理的方法，在性能上有利有弊，是一把双刃剑。它的优势在于可以共享库缓存中的父游标，从而避免了硬解析及相关的开销；劣势在于因绑定变量扫视增加了查询优化器选择(非常)低效执行计划的风险，即使支持自适应游标共享，也引入了游标感知判断和谓词选择率估算的代价，而且在生成高效的执行
阅读全文
摘要：脚本概述 由于某些sdk或软件依赖众多的第三方库，而从官网下载到windows主机或从linux传到windows时，所依赖的so库往往丢失符号链接，给编译运行带来不便，因此编写了ctlsolink脚本，用于自动为单个so或某目录下的众多so或创建/删除一级/二级符号链接。该脚本的用法如下: ● 第
阅读全文
摘要：为了减少程序中的硬编码，灵活按需管理字符串空间，使用了ATL中的CString类，代码如下 Code highlighting produced by Actipro CodeHighlighter (freeware) http://www.CodeHighlighter.com/ --> 1 C
阅读全文
摘要：在GNU make中文手册这本书中，3.14节讲到了依赖文件的自动生成，如下图 图中的规则对C源文件和Makefile在同一目录，是正确的。但是不在同一目录的又希望依赖文件在对应的目录下，比如src/log/log_file.c，希望依赖文件log_file.d生成在src/log/下。因为gcc（
阅读全文
浙公网安备 33010602011771号