2018 年度汇编期末大作业参考文档

整体思路 Inspired by sunnyden’s MBRLock Reference 观察发现 MS-DOS 7.11 和 WinXP 的 磁盘,1~31 扇区均为空!(0 扇区为 MBR) https://stackoverflow.com/questions/21463908/x86-instructions-to-power-off-computer-in-real-mode https://wiki.osdev.org/APM https://stackoverflow.com/questions/1396909/ret-retn-retf-how-to-use-them https://stackoverflow.com/questions/39474332/assembly-difference-between-var-and-var/39474660 https://sourcegraph.com/github.com/sunnyden/MBRLock@master/ https://www.felixcloutier.com/x86/ https://asminst.kmahyyg.xyz/ https://blog.csdn.net/u013630349/article/details/50370227 https://docs.microsoft.com/en-us/cpp/cpp/argument-passing-and-naming-conventions?view=vs-2017

离散数学的 CP 规则

CP 规则 先说一下,即使不用CP规则,只用P规则和T规则(即直接证明法)也可以实现所有证明。引入CP规则,只是为了简化证明过程。不过CP规则的适用范围不像P、T规则那样具有普遍性——当被证明的结论本身是一个条件复合命题时,才会用到CP规则。其内容是: 若要证明:(S)=>(R→C);——S是前提,R→C是结论; 只需证明:(S∧R)=>(C);——即:把R当作附加的前提,引入推理过程; 具体运用方法就是: (1)使用P规则,把R当作一般前提(就像S一样)来使用;但应加以说明:附加前提; (2)当推导出C之后,可直接写出最后的结论:R→C;这一步的说明是:CP规则; 需要注意:单纯来看(2)中的这一步推理,其实从C到R→C是可以直接推出的。【C=>R→C】本身就是一个重言蕴含式(也就是推理公式),在直接证明法中可直接使用T规则完成这一步的推理。但是,在这里是不行的。 因为,推导C的过程中我们用到了R这一前提,但这个前提不是用纯正的P规则引入的。R是作为“附加前提”引入的。可以说,C这个中间结论(以及所有借助R推出的中间结论)并不是纯正的结论。事实上,这个中间结论可能根本就是个假命题。——虽然这并不影响我们的最终推理,因为我们的目标并不是C,而是R→C,但是,这种情况在直接推理中是绝对不允许的:在直接推理中,包括中间结论在内的每一步都必须是真命题。 这也就是CP规则与P、T规则的区别所在。所以,在这样的推理中,必须对CP规则的使用作出说明。 如上所说,CP规则的使用被分成了(1)、(2)两部分。这两部分所依据的规则都与纯正的P、T规则不同,所以都应作出特殊的说明。 高等数学的等价无穷小量 http://www.ivy-end.com/archives/1567 https://zh.wikipedia.org/wiki/%E6%B3%B0%E5%8B%92%E5%85%AC%E5%BC%8F

数据结构实验 4 – 迷宫

数据结构的迷宫实验的一个解法,有点复杂,记录一下。 写在最前 数据结构实验 4 – 迷宫 实验代码和实验要求请参见 我的 Github 项目 (Private) 本篇博文将更加注重着眼于: 具体迷宫生成实现 自动完成迷宫实现 实现过程中新学到的东西和踩的坑 stdarg.h 举一反三: Python – Non-keyword Argument Pass the variable length argument list with single asterisk. Inside the function, we have a loop which adds the passed argument and prints the result. We passed 3 different tuples with variable length as... » read more

信息安全导论的相关文献

https://www.ctolib.com/docs/sfile/xss-naxienian/index.html https://www.knowsec.net/archives/78/ https://www.zhihu.com/question/26628342 http://adoyle.me/blog/why-zip-file-checksum-changed.html http://www.cnblogs.com/hyddd/archive/2009/04/09/1432744.html https://kennel209.gitbooks.io/owasp-testing-guide-v4/content/zh/web_application_security_testing/testing_for_cross_site_request_forgery_csrf_otg-sess-005.html Google 官方的开发者教程: https://techdevguide.withgoogle.com/paths/foundational/ https://techdevguide.withgoogle.com/paths/advanced/