搜索结果
查询Tags标签： Rightarrow，共有 40条记录-
关于2020新高考一卷T23的一个解法
（可能书写格式不太规范） \((2)\) 证明： \(b\ln a-a\ln b=a - b\) \(\Rightarrow\frac{1}{a}(1-\ln \frac{1}{a})=\frac{1}{b}(1-\ln \frac{1}{b})\) 不妨设 \(\frac{1}{a}<\frac{1}{b}\) 由\((1)\)易知\(\frac{1}{a}\in (0,1),\frac{1}{b}\in (1,e)\) 记\(p(x)\)为方…
2022/9/14 6:17:38 人评论 次浏览 -
Hoare Logic Notes
The Hoare assignment axiom \[\vdash \{P[E/V]\} V:=E \{P\} \]The Floyd assignment axiom \[\vdash \{P\} V:=E \{\exist v.\ (V=E[v/V]) \wedge P[v/V]\} \]Precondition strengthening \[\frac{\vdash P \Rightarrow P,\vdash\{P\}C\{Q\}}{\vdash\{P\}C\{Q\}} \]Post…
2022/9/5 23:54:00 人评论 次浏览 -
EM算法
EM Algorithm 目录EM AlgorithmJensens inequalityEM Algorithm Jensens inequality convex function: \(f(x) \ge 0\) or \(H \ge 0\) (Hessian matrix when x is a vector) \[E[f(x)] \ge f(EX) \]EM Algorithm EM can be proved that it make the likelihood function …
2022/8/23 1:52:59 人评论 次浏览 -
Trie树
字典树（Trie）是一个比较简单的数据结构，也叫前缀树，用来存储和查询字符串。例如：aa, aba, ba, caaa, cab, cba, cc可以用下图的方式来进行存储。可以发现，这棵字典树用边来代表字母，而从根结点到树上某一结点的路径就代表了一个字符串。举个例子，\(1\rightarrow 4…
2022/4/19 6:13:13 人评论 次浏览 -
刷(shui)题记录2022.4
[ABC247-F] Cards \(\Rightarrow \rm AT\) 链接 转化问题，将每一张牌看成一条边 \((P_i,Q_i)\) ，问题就转化成若干个环的答案积，每一个环的答案都是选择若干边，使得所有点都至少存在一条边被选择的方案。考虑断环为链，可以发现可以用 \(\rm dp\) 解决，设 \(f_x(n,0/…
2022/4/11 23:18:28 人评论 次浏览 -
对数运算法则之证明
\begin{array}{c}proof:\quad \log_{a}{x^n}=n\log_{a}{x}\\设:\log_{a}{x}=m,\quad 即a^m=x\\则:\log_{a}{x^n} \Rightarrow \log_{a}{(a^m)^n} \Rightarrow \log_{a}{a^{mn}}\\\because a^m=x,\quad \log_{a}{x}=m\\\therefore \log_{a}{a^m}=m\\\therefore \log_{a}{a^…
2022/3/26 9:22:47 人评论 次浏览 -
第一单元总结
第一单元总结 目录 目录第一单元总结目录作业分析整体架构架构思路整体架构这种架构是如何拆括号的？这种架构的优缺点是什么？其他架构的讨论架构的迭代程序结构分析第一次作业代码规模复杂度分析第二次作业代码规模复杂度分析第三次作业代码规模复杂度分析静态分析测试与…
2022/3/25 23:26:59 人评论 次浏览 -
BUAA-OO-Lab1-Java面向对象
BUAA-OO-Lab1-Java面向对象 一、面向对象程序设计 1.1 面向对象程序设计 面向对象程序设计（Object-Oriented Programming）是一种基于对象的编程范式。相对面向过程程序设计（Procedure-Oriented Programming）而言，OOP 不 ”注重“ 代码实现细节，而更强调对象所具备的…
2022/3/25 22:53:34 人评论 次浏览 -
OO - 第一单元总结
OO第一单元总结第一次作业总结 分析 我们要做的是对单变量多项式的括号展开，并且化简输出，所以我的思路为分为两步：1. 将输入表达式转化为后缀表达式 （展开括号） 2. 将后缀表达式计算并化简为顺序结果 （计算结果）首先，用递归下降法解析输入，将输入的表达式进行化…
2022/3/25 6:22:55 人评论 次浏览 -
信息熵 交叉熵 KL散度
信息量 事件A发生的信息量： \[I(A) = -\log_2(P(A)) \]这样定义有以下好处：概率越小的事件发生，带来的信息量就越大。相互独立的事件A,B同时发生，信息量为A、B单独发生时信息量的和：\[\begin{align} I(AB) =&& -\log_2(P(AB)) \\=&& -\log_2(P(A)P(…
2022/2/15 6:13:53 人评论 次浏览 -
定点乘法原理
定点乘法原理 目录定点乘法原理原码一位乘法原码两位乘法补码一位乘法矫正法booth公式参考资料 原码一位乘法 原码的一位乘与十进制计算乘法过程类似，只不过在存储方式上有一些技巧。因为两个n位乘数相乘得到的数应该是2n位，但是考虑到每对于乘数的每一位，我们读取并判…
2022/1/17 6:06:00 人评论 次浏览 -
定点乘法原理
定点乘法原理 目录定点乘法原理原码一位乘法原码两位乘法补码一位乘法矫正法booth公式参考资料 原码一位乘法 原码的一位乘与十进制计算乘法过程类似，只不过在存储方式上有一些技巧。因为两个n位乘数相乘得到的数应该是2n位，但是考虑到每对于乘数的每一位，我们读取并判…
2022/1/17 6:06:00 人评论 次浏览 -
HITsz 数据库笔记
这是 HITsz 数据库笔记，欢迎到我的 GitHub 上查看，有笔记说明和源码，作业和实验报告，希望对你有帮助 博客园显示图片异常数据库基本概念 数据抽象通过抽象来对用户屏蔽复杂性，以简化用户与系统的交互。物理层（或内部层）： 最低层次的抽象，描述数据实际上是怎样…
2022/1/9 19:07:10 人评论 次浏览 -
HITsz 数据库笔记
这是 HITsz 数据库笔记，欢迎到我的 GitHub 上查看，有笔记说明和源码，作业和实验报告，希望对你有帮助 博客园显示图片异常数据库基本概念 数据抽象通过抽象来对用户屏蔽复杂性，以简化用户与系统的交互。物理层（或内部层）： 最低层次的抽象，描述数据实际上是怎样…
2022/1/9 19:07:10 人评论 次浏览 -
【生信分析】生物分子网络构建基础——单调动力系统
单调动力系统 单调动力系统1. 单调动力系统基础2. 单调动力系统的动态与分解参考资料单调动力系统 在生物系统中，通过化学动力学原理所建立的生物网络数学模型往往具有一些特定数学性质，尤其是生物调控网络。动力系统理论上把这类系统称为单调动力系统。 1. 单调动力系统…
2021/12/1 23:06:49 人评论 次浏览
