- 博客(944)
- 资源 (24)
- 收藏
- 关注
RSS订阅原创 《深入理解计算机系统》知识大纲——第七章：链接
链接是把各种代码和数据片段收集并组合成为一个单一文件的过程。通俗理解：一个大型程序通常由很多.c文件组成。编译只是把每个.c文件变成.o文件，而链接就是把这些.o文件拼装成一个完整的可执行程序。main.c 和 sum.c 是源代码main.osum.o然后链接器把这两个.oprogint main()return 0;在main.oarraymain都是本模块定义的全局符号。main.c中声明了sum，但没有定义它。对main.osum是一个外部符号，需要链接器解析。
2026-09-22 12:14:34
174
原创 《深入理解计算机系统》知识大纲——第六章：存储器层次结构
SSD它是一种基于闪存的存储设备。与传统旋转磁盘相比，SSD 没有机械运动部件。CPU 很快存储器很慢为了不让 CPU 经常等待数据，需要引入缓存。
2026-09-08 13:31:14
317
原创 《普通逻辑》学习记录——论证与谬误
1.1、论证的定义用一个（或多个）真实命题来确定另一个命题真实性的思维过程。核心是通过已知为真的前提（论据），推理出某个新命题的真实性（结论）。1.2、论证的三要素论题：需要被证明其真实性的命题。论据：用来支持论题的真实命题。论证方式：连接论据与论题的推理形式。论题可以是尚未被证实的科学假设，也可以是已被公认的真理。论据必须是真实的，否则论证无效。论题：雨天出门要带伞。论据：不带伞会被雨淋湿。论证方式：直接因果推理（因为不带伞有淋雨的后果，所以得出要带伞的结论）。
2025-10-22 13:10:34
2165
原创 《普通逻辑》学习记录——类比推理
定义：基于两个或两类对象在某些属性上的相似性，推断它们在其他属性上也可能相似的推理方式。基本原理：如果A对象具有属性a、b、c、d，B对象具有属性a、b、c，那么可以推断B对象也可能具有属性d。1.1、类比推理与比较比较：仅停留在对研究对象之间相同点或差异点的描述上，不作进一步的推导。类比推理：在比较的基础上，对被研究对象的某种未知情况作出推断。若思维仅停留在相同点或差异点的资料整理，而不进一步推导，就是比较，而非类比。1.2、类比推理的客观依据。
2025-09-27 23:36:51
2382
原创 《普通逻辑》学习记录——归纳推理
归纳推理：从个别知识的前提推出一般知识结论的推理。特点：根据个别现象总结出普遍规律。例：通过观察各种生物活动的时间周期性，得出“一切生物体的活动都具有时间上的周期性节律”的结论。
2025-09-17 13:19:35
2169
原创 《普通逻辑》学习记录——普通逻辑的基本规律
人们是用概念、命题、推理等思维形式来进行思维活动及论证思想的。在人们进行正确的思维和论证的过程中，都要正确地运用由概念、命题、推理等思维形式所构成的逻辑形式，而思维的逻辑形式是受普通逻辑基本规律制约的。普通逻辑所研究的基本规律（简称逻辑规律）有三条，即：同一律、矛盾律和排中律。为什么说这几条规律是普通逻辑的基本规律呢？这是因为这些规律基本上概括了逻辑思维的特征。逻辑思维的基本特征是思想的确定性，它具体表现为思想的同一性、无矛盾性、互相否定的思想的排中性。
2025-09-08 23:15:35
1712
原创 《普通逻辑》学习记录——模态命题及其推理
模态命题的广义与狭义之分狭义的模态命题：主要指可能命题与必然命题，涉及一个陈述是真或假的模态命题。广义的模态命题：泛指一切包含有模态词的命题，除了可能命题与必然命题外，还包括含有“必须”、“允许”、“禁止”这类涉及人的行为规范的模态词。规范命题的定义一种广义的模态命题，在一定情况下，给人（即规范的承受者）的行为提出某种命令或规定的命题。例：一切适龄儿童必须接受义务教育。允许公民信教或者不信教。
2025-08-26 13:08:30
1645
原创 QPainter::CompositionMode解析
本文详细介绍了图像处理中的像素合成模式，分为三大类： Porter-Duff合成模式（12种）、Photoshop混合模式（12种）、位运算混合模式（16种）
2025-08-02 16:20:32
1420
原创 深度神经网络原理学习记录
现在网络不再是简单的线性组合，因为激活函数引入了非线性。这使得网络可以表示非线性函数：每个激活函数就像一个"弯曲器"，将线性变换的结果进行非线性扭曲。通过组合多个这样的非线性变换，网络可以逼近任意复杂的非线性函数。输出 = W₂(W₁X + b₁) + b₂ = (W₂W₁)X + (W₂b₁ + b₂)实际上训练的结果是得到一组参数，这组参数带入到forward可以对输入内容做出预测。激活函数就是提供了这些"弯曲积木"，使网络能够构造复杂的非线性形状。这里使用的是回归任务中常用的损失函数。
2025-07-20 13:03:19
551
原创 《普通逻辑》学习记录——谓词自然推理
代换实例全为真的命题形式是永真命题形式，这种形式上的必然真就是逻辑真。例：永真式。如果A为真，则A ∨ B必定为真（因为A已经为真了）。因此，也为真。如果A为假，则根据蕴涵的定义，假前提可以推出任何结论，所以也为真。因此，无论A和B的值如何，始终为真，是一个逻辑真。
2025-07-08 07:34:57
1600
原创 《普通逻辑》学习记录——性质命题及其推理
1、性质命题（直言命题反映对象具有或不具有某种性质的命题。所有金属都是导体。（肯定了所有金属都具有导体的性质）有的物体不是绝缘体。（否定了有的物体具有绝缘体的性质）2、性质命题的组成部分主项：表示命题对象的概念（如“所有金属都是导体”中的“金属”），逻辑学上通常用“S”表示。谓项：表示命题对象具有或不具有的性质的概念（如“所有金属都是导体”中的“导体”），逻辑学上通常用“P”表示。联项：联结主项与谓项的概念。分为肯定联项和否定联项，一个性质命题是具有肯定联项还是否定联项，这称为命题的“质”
2025-04-25 13:26:56
1829
原创 《普通逻辑》学习记录——简单命题的基本要素：概念
定义是揭示概念内涵的逻辑方法。给一个概念下定义就是用精炼的语句将这个概念的内涵揭示出来，也就是揭示这个概念所反映的对象的特有属性或本质属性。定义是由被定义项、定义项和定义联项三个部分组成的。被定义项：通过定义来揭示其内涵的概念。定义项：用来揭示被定义项内涵的概念。定义联项：连接被定义项和定义项的部分。常常用“……是……”、“……即……”、“所谓……就是……”来表示。Ds 就是 Dp。其中，“Ds”表示被定义项，“Dp”表示定义项，“就是”表示定义联项。被定义项：哺乳动物。
2025-02-22 17:25:36
2464
原创 在qt安卓正确调用Java代码
2、这个类继承了 org.qtproject.qt5.android.bindings.QtActivity ，它是一个活动对象，该类的函数要用。
2024-08-30 11:05:36
1032
原创 Qt安卓开发的一些概念
这是两种不同的计算机架构设计哲学，它们影响着处理器的设计和性能。配置环境：首先需要设置好 NDK 和 JDK 的路径，确保 Qt 可以找到这些工具。编译 Qt：如果使用的是预编译的 Qt 版本，则这一步骤可以跳过；否则，需要使用 NDK 来编译 Qt 库。编译应用程序：使用 Qt 的 qmake 和 make 工具来编译应用程序。这个过程会调用 NDK 中的工具来编译 C++ 代码。
2024-07-31 21:49:10
2771
1
OpenCV 4.2.0 && Qt5.14.1 编译好的库
2020-03-22
三菱mc plc qt 通信协议测试程序 包含模拟工具（请务必看资源描述）
2024-12-11
编译好的qt5.15.2（mingw）和lvgl（8.1）版本的库，包含测试工程，可以直接运行
2024-02-19
台达DVP16ES2-qt串口通信测试程序
2024-01-29
Qt编写的模拟鼠标按下和按键按下的小工具
2022-09-19
QT_Plugin demo.zip
2020-05-02
QTableView鼠标滑过整行背景色改变.zip
2019-07-09
WebSocketServer.zip
2020-10-01
QT插件子工程.zip
2020-07-22
websocket.zip
2020-11-08
WebSocket.zip
2020-10-01
msvs编译器 VS2015版32位QT qt_msvs_opencv346_build.zip
2019-05-18
websocket通信服务端与客户端.zip
2020-10-01
qt_vs2015_opencv410_release.zip
2019-06-06
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人