- 博客(59)
- 资源 (258)
- 收藏
- 关注
原创 【集合论】有序对 ( 有序对 | 有序三元组 | 有序 n 元祖 )
一、 有序对 、二、 有序对性质的引理、定理 、三、 有序三元组 、四、 有序 n 元组性质定理 、
2020-09-30 20:14:55 15647
原创 【集合论】集合恒等式 ( 幂等律 | 交换律 | 结合律 | 分配率 | 德摩根律 | 吸收率 | 零律 | 同一律 | 排中律 | 矛盾律 | 余补律 | 双重否定定律 | 补交转换律 )
一、 集合恒等式 、 二、 集合恒等式推广到集族、
2020-09-30 19:13:20 18774 3
原创 【集合论】集合运算 ( 并集 | 交集 | 不相交 | 相对补集 | 对称差 | 绝对补集 | 广义并集 | 广义交集 | 集合运算优先级 )
一、 并集 、二、 并集示例 、三、 交集 、四、 交集示例 、五、 不相交 、六、 相对补集 、七、 对称差 、八、 绝对补集 、九、 广义并集 、十、 广义交集 、十一、 集合运算优先级
2020-09-30 11:59:10 29470 4
原创 【集合论】集合概念与关系 ( 真子集 | 空集 | 全集 | 幂集 | 集合元素个数 | 求幂集步骤 )
一、 真子集 、 二、 空集 、 三、 全集 、 四、 幂集 、 五、 集合元素个数 、 六、 求幂集步骤 、
2020-09-29 20:50:08 14861
原创 【Android 高性能音频】hello-oboe 示例解析 ( Oboe 源代码依赖 | CMakeList.txt 构建脚本分析 | Oboe 源代码构建脚本分析 )
一、Oboe 源码路径 、二、阅读 CMakeList.txt 查看依赖 、三、hello-oboe 中 NDK 的 CMakeList.txt 构建脚本 、四、Oboe 源码 的 CMakeList.txt 构建脚本 ( 参考 ) 、
2020-09-29 17:46:58 1076
原创 【计算机网络】网络安全 : 计算机网络安全威胁 ( 四种网络攻击类型 | 主动攻击与被动攻击 | 分布式拒绝服务攻击 DDos | 恶意程序 | 计算机网络安全目标)
一、网络安全内容 、二、四种网络攻击 、三、被动攻击 与 主动攻击 、四、分布式拒绝服务 DDos 、五、恶意程序 、六、计算机网络安全目标 、七、Cain 网络攻击原理 、
2020-09-29 13:58:05 19895
原创 【集合论】集合概念与关系 ( 集合表示 | 数集合 | 集合关系 | 包含 | 相等 | 集合关系性质 )
一、 集合论体系 、二、 集合表示 、三、 数集合 、三、 集合关系 、1、 包含关系 、2、 相等关系 、3、 集合间包含关系性质
2020-09-29 13:55:42 8038 1
原创 【数理逻辑】谓词逻辑 ( 前束范式 | 前束范式转换方法 | 谓词逻辑基本等值式 | 换名规则 | 谓词逻辑推理定律 )
一、 前束范式 、 二、 前束范式转换方法 、 三、 前束范式示例 、 四、 谓词逻辑推理定律 、
2020-09-28 23:03:06 25406 9
原创 【数理逻辑】谓词逻辑 ( 谓词逻辑基本等值式 | 消除量词等值式 | 量词否定等值式 | 量词辖域收缩扩张等值式 | 量词分配等值式 )
一、 消除量词 等值式 、 二、 量词否定 等值式 、 三、 量词辖域收缩扩张 等值式 、 四、 量词分配 等值式 、
2020-09-28 22:11:32 19393 2
原创 【数理逻辑】谓词逻辑 ( 判断一阶谓词逻辑公式真假 | 解释 | 示例 | 谓词逻辑公式类型 | 永真式 | 永假式 | 可满足式 | 等值式 )
一、 判断谓词逻辑公式真假 ( 语义 ) 、二、 谓词逻辑 "解释" 、三、 谓词逻辑 "解释" 示例 、四、 谓词逻辑公式类型 、
2020-09-28 14:07:30 14490
原创 【数理逻辑】命题逻辑 ( 命题逻辑推理正确性判定 | 形式结构是永真式 - 等值演算 | 从前提推演结论 - 逻辑推理 )
一、 命题逻辑推理正确性判定 、二、 形式结构是永真式 ( 等值演算 ) 、三、 从前提推演结论 ( 逻辑推理 ) 、
2020-09-27 21:47:48 4571
原创 【数理逻辑】命题逻辑 ( 命题逻辑推理 | 推理的形式结构 | 推理定律 | 附加律 | 化简律 | 假言推理 | 拒取式 | 析取三段论 | 假言三段论 | 等价三段论 | 构造性两难 )
一、推理的形式结构 、 二、推理定律 、 1、附加律 、 2、化简律 、 3、假言推理 、 4、拒取式 、 5、析取三段论 、 6、假言三段论 、 7、等价三段论 、 8、构造性两难 、
2020-09-27 14:40:56 31737 3
原创 【数理逻辑】命题逻辑 ( 等值演算 | 幂等律 | 交换律 | 结合律 | 分配律 | 德摩根律 | 吸收率 | 零律 | 同一律 | 排中律 | 矛盾律 | 双重否定率 | 蕴涵等值式 ... )
一、等值演算 、 二、等值式 、 三、基本等值式 、 四、基本运算 、 五、等值演算 、
2020-09-27 11:44:33 16135 3
原创 【数理逻辑】命题逻辑 ( 命题与联结词回顾 | 命题公式 | 联结词优先级 | 真值表 可满足式 矛盾式 重言式 )
一、命题与联结词 、二、命题公式 、三、命题公式示例 、四、联结词优先级 、五、真值表 、
2020-09-25 21:30:37 5926 3
原创 【Android 异步操作】线程池 ( 线程池作用 | 线程池种类 | 线程池工作机制 | 线程池任务调度源码解析 )
一、线程池作用 、二、线程池种类 、三、线程池工作机制 、四、线程池任务调度源码解析 、
2020-09-25 19:27:48 553
原创 【错误记录】Android 应用连接 BLE 设备无法读取数据 ( 可以写出数据 | 无法读取数据 )
一、问题描述 、二、问题分析 、三、完整设置代码 、
2020-09-25 15:55:39 1804
原创 【计算机网络】网络安全 : 入侵检测系统 ( 基于特征的入侵检测系统 | 基于异常的入侵检测系统 )
一、入侵检测系统 引入 、二、入侵检测系统 、三、入侵检测系统分类 、四、基于特征的入侵检测系统 、五、基于异常的入侵检测系统 、
2020-09-24 23:12:03 4447
原创 【计算机网络】网络安全 : 防火墙 ( 简介 | 防火墙功能 | 防火墙分类 | 分组过滤路由器 | 应用网关 )
一、防火墙简介 、二、防火墙功能 、三、防火墙分类 、四、分组过滤路由器 、五、应用网关
2020-09-24 22:56:39 3324
原创 【计算机网络】网络安全 : 运输层安全协议 ( 安全套接字层 SSL | 运输层安全 TSL | SSL 服务 | SSL 安全会话建立流程 )
一、运输层安全协议 、二、运输层使用 SSL 前后对比 、三、SSL 与 TSL 对比 、四、SSL 服务 、五、SSL 安全会话建立过程 、
2020-09-24 20:01:52 1456
原创 【计算机网络】网络安全 : 网络层安全协议 ( IPsec 协议 | IPsec 协议族组成 | IP 安全数据报工作方式 | 安全关联 SA | SA 状态信息 | IP 安全数据报格式 )
一、网络层安全性 、二、IPsec 协议族 、三、IPsec 协议族组成 、四、IP 安全数据包 工作方式 、五、安全关联 SA 、六、安全关联 SA 状态信息 、七、IP 安全数据报格式 、八、IP 安全数据报 生成流程 、九、IP 安全数据报格式 、十、IPsec 构件 、
2020-09-24 11:09:17 5106 1
原创 【计算机网络】网络安全 : 公钥分配 ( 公钥使用者 | 公钥分配 | CA 证书格式 | CA 证书吊销 )
一、公钥使用者 、二、公钥分配 、三、CA 证书格式 、四、CA 证书吊销
2020-09-22 22:21:58 2121
原创 【计算机网络】网络安全 : 对称密钥分配 ( 密钥分配 | 密钥分配中心 KDC | 对称密钥分配 | 密钥分配协议 | Kerberos 协议 )
一、密钥分配 、二、密钥分配中心 、三、对称密钥分配 、四、对称密钥分配说明 、五、密钥分配协议 、六、Kerberos 协议工作流程 、七、Kerberos 协议要求
2020-09-22 21:57:11 10379
原创 【计算机网络】网络安全 : 实体鉴别 ( 实体鉴别过程 | 不重数机制 | 公钥体质加密不重数 | 中间人攻击 )
一、鉴别分类 、二 、简单实体鉴别过程 、三 、不重数机制 ( 公钥体质加密 ) 、四 、中间人攻击
2020-09-22 14:46:29 4750 2
原创 【计算机网络】网络安全 : 报文鉴别 ( 密码散列函数 | 报文摘要算法 MD5 | 安全散列算法 SHA-1 | MAC 报文鉴别码 )
一、报文鉴别 、二、鉴别分类 、三、报文鉴别 、四、密码散列函数 、五、MD5 算法 、六、SHA-1 安全散列算法 、七、MAC 报文鉴别码 、
2020-09-22 11:37:30 5128 1
原创 【计算机网络】网络安全 : 数字签名 ( 数字签名简介 | 数字签名实现 | 数字签名功能 | 保密数字签名 )
一、数字签名 、二、基于公钥的数字签名实现 、三、数字签名 功能 、四、保密数字签名
2020-09-21 20:43:06 4807 2
原创 【计算机网络】网络安全 : 公钥密码体质 ( 公钥 - 加密密钥 | 私钥 - 解密密钥 | 与对称密钥体质对比 | 特点 | 数字签名引入 )
一、公钥密码体质 、二、公钥密码体质 中的 加密密钥 与 解密密钥 、三、公钥密码体质 与 对称密钥体质对比 、四、公钥密码体质算法特点 、五、公钥密码体质 与 数字签名
2020-09-19 23:36:07 3659
原创 【Android 应用开发】Google 官方 EasyPermissions 权限申请库 ( 最简单用法 | 一行代码搞定权限申请 | 推荐用法 )
一、添加依赖、二、在 AndroidManifest.xml 中配置权限、三、权限申请最简单用法、四、推荐使用的用法、五、GitHub 地址、
2020-09-19 12:18:22 1909
原创 【Android 应用开发】Google 官方 EasyPermissions 权限申请库 ( 完整代码示例 | 申请权限 | 申请权限原理对话框 | 引导用户手动设置权限对话框 )
一、申请权限、二、申请权限原理对话框、三、引导用户手动设置权限对话框、四、在 AndroidManifest.xml 中配置权限、五、完整代码示例、六、GitHub 地址、
2020-09-19 11:53:45 1517
原创 【Android 应用开发】Google 官方 EasyPermissions 权限申请库 ( 权限申请原理对话框操作回调接口 | 永久拒绝权限后引导设用户置权限 )
一、权限申请原理对话框操作回调接口 RationaleCallbacks、二、永久拒绝权限后引导设用户置权限
2020-09-18 22:18:15 1306
原创 【Android 应用开发】Google 官方 EasyPermissions 权限申请库 ( 简介 | 权限申请处理细节 | 添加依赖 | 界面权限申请结果处理 | 权限申请结果回调接口 )
一、EasyPermissions 简介 、二、EasyPermissions 权限申请处理细节 、三、添加 EasyPermissions 依赖 、四、权限申请结果处理 方法 onRequestPermissionsResult 、五、权限申请结果回调接口 PermissionCallbacks
2020-09-18 15:32:43 1057
原创 【计算机网络】网络安全 : 对称密钥密码体质 ( 数据加密标准 DES | DES 加密过程 | DES 保密性 | 三重 DES 加密 )
一、 对称密钥密码体质 、 二、 数据加密标准 DES 、 三、 DES 加密过程 、 四、 DES 保密性 、 五、 三重 DES 加密 、
2020-09-17 21:08:06 2164
原创 【计算机网络】网络安全 : 数据加密模型 ( 加密模型 | 密钥 | 密码学 | 密码安全 )
一、数据加密模型、二、密钥、三、密码学、四、密码安全、
2020-09-17 20:49:42 4781
原创 【计算机网络】网络安全 : 安全的计算机网络指标 ( 保密性 | 端点鉴别 | 信息完整性 | 运行安全性 )
一、安全的计算机网络指标 、二、保密性 、三、端点鉴别 、四、信息完整性 、五、运行安全性 、
2020-09-17 19:58:05 2493
原创 【计算机网络】应用层 : 万维网 和 HTTP 协议 ( 万维网概述 | HTTP 协议特点 | HTTP 协议连接方式 | HTTP 协议报文结构 | HTTP 请求报文 | HTTP 响应报文 )
一、万维网概述 、二、HTTP 协议 ( 超文本传输协议 ) 、三、HTTP 协议特点 、四、HTTP 连接方式 、五、HTTP 协议报文结构 、六、HTTP 请求报文 、七、HTTP 响应报文 、
2020-09-16 13:35:12 2245 1
原创 【计算机网络】应用层 : 电子邮件 ( SMTP 协议 | MIME 协议 | POP3 协议 | IMAP 协议 | 基于万维网的电子邮件 )
一、电子邮件信息格式、二、电子邮件系统 组成 结构、三、SMTP 协议 ( 简单邮件传送协议 )、四、SMTP 协议 连接建立流程、五、SMTP 协议 邮件发送 流程、六、SMTP 协议 断开连接 流程、七、MIME 协议、八、POP3 邮局协议、九、IMAP 网际报文存取协议、十、基于万维网的电子邮件、
2020-09-15 21:51:35 5838
原创 【计算机网络】应用层 : FTP 文件传输协议 ( FTP 客户端 和 服务器 | FTP 工作原理 | FTP 传输模式 )
一、文件传送协议、二、FTP 客户端 和 服务器、三、FTP 工作原理、四、FTP 传输模式、
2020-09-15 20:51:47 3095
FFmpegSDL 音视频开发 ⑦ ( 播放 PCM 音频数据 )
2024-09-10
FFmpegSDL 音视频开发 ⑥ ( SDL 播放 YUV 视频 )
2024-09-05
【AI 大模型】函数调用 Function Calling ② ( 函数调用 引入 - 函数调用开发流程 - 代码示例 )
2024-07-20
【AI 大模型】OpenAI 接口调用 ① ( PyCharm 中开发 Python 程序调用 OpenAI 接口 )
2024-06-24
FFmpegSDL 音视频开发 ④ ( SDL 多线程 / 创建线程 / 等待线程执行完毕 )
2024-06-18
FFmpegSDL 音视频开发 ③ ( SDL 事件处理 )
2024-06-14
算法Graham 凸包扫描算法 ( 凸包概念 - 常用的凸包算法 - 角排序 - 叉积 - Python 代码示例 )
2024-06-13
FFmpegSDL 音视频开发 ②
2024-06-11
FFmpegSDL 音视频开发 ① ( SDL 窗口绘制 )
2024-06-07
FFmpegSDL 开发环境搭建
2024-06-07
【OpenHarmony】ArkTS 语法基础 ⑥ ( ArkTS 状态管理 - @Link 装饰器 )
2024-06-05
【OpenHarmony】ArkTS 语法基础 ⑤ ( ArkTS 状态管理 / @State 装饰器定义状态数据 )
2024-06-05
【OpenHarmony】ArkTS 语法基础 ④ ( ArkTS UI 渲染控制 - 条件渲染 - 循环渲染 )
2024-06-04
【OpenHarmony】ArkTS 语法基础 ③ ( 自定义组件生命周期回调函数 - 页面生命周期回调函数 )
2024-06-04
【OpenHarmony】 ArkTS 语法基础 ② ( ArkTS 自定义组件 )
2024-06-03
Windows 10 平台 FFmpeg 开发环境搭建 博客资源
2024-05-24
FFmpegFilter 过滤器 ⑥ ( 九宫格画面拼接 ) 博客资源
2024-05-17
Java 语言中的 properties 配置文件使用
2023-11-16
JetpackNavigation 导航组件 ④ ( Fragment 跳转中使用 safe args 安全传递参数 )
2023-08-25
可运行的 Android 版本的 ijkplayer 2023年 8 月 14 日调试完毕
2023-08-14
hadoop-3.3.4.tar.gz + winutils 安装环境
2023-08-03
JetpackNavigation 导航组件 ③ ( 为 Navigation Graph 添加跳转动画 )
2023-06-26
JetpackNavigation 导航组件 ②
2023-06-21
ViewModel + LiveData + DataBinding 综合使用示例
2023-04-27
DataBinding 架构组件 ④
2023-04-18
DataBinding 架构组件 ③
2023-04-04
DataBinding 架构组件 ② - DataBinding 布局中使用 import 标签导入 Java、Kotlin 类
2023-03-26
DataBinding 架构组件
2023-03-25
JetpackLiveData 架构组件
2023-03-12
JetpackViewModel 架构组件 博客源码
2023-03-07
博客资料 -JetpackLifeCycle 架构组件
2023-03-03
使用 Jedis 操作 Redis 数据库 博客代码示例
2023-02-20
Redis 数据库 安装、配置、访问资源
2023-02-09
开发环境JRE 裁剪 ② ( 裁剪 bin 目录下的 dll 动态库文件 - 压缩 rt.jar 文件 )
2023-01-17
开发环境JRE 裁剪 ① ( 裁剪 bin 目录下的 dll 动态库文件 )
2023-01-16
【Android OpenCV】Visual Studio 创建支持 OpenCV 库的 CMake 工程 ③ 源码快照
2023-01-02
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人