自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(68)
  • 资源 (7)
  • 收藏
  • 关注

原创 Ch3 计算理论 表述复杂语言

在本章中, 我们将继续探究对复杂语言的表述方法, 介绍 **上下文无关语法**, 以及 **巴克斯 - 诺尔范式** .

2021-04-24 18:40:31 10

原创 Ch2 计算理论 自动机

本章介绍不同种类的自动机 (`Automata`), 并介绍多个实现在自动机和模式 (正则表达式) 之间进行转换的算法.

2021-04-24 18:39:54 6

原创 Ch1 计算理论 语言和正则表达式

在本章中, 我们将概述语言和正则表达式的相关定义, 性质与其他内容.

2021-04-24 18:38:56 14

原创 Ch0 计算理论 绪论

计算理论: 绪论

2021-04-24 18:38:09 14

原创 数据科学中的统计学

在本章中, 我们将简述一些在数据科学课程中所涉及的基本统计学术语, 概念和定理.

2021-04-24 18:36:19 14

原创 逻辑学探幽 Part2

在本章节中, 我们将简要介绍自然演绎推理和一阶谓词逻辑. 本文假定读者已基本掌握命题逻辑, 并熟悉包括 `Truth` 和 `Falsium` 等在内的语义符号, 并了解逻辑学的基本概念.

2021-04-24 18:35:14 9

原创 逻辑学探幽 Part1

本章进一步探讨对逻辑表达式的简化方法, 引入逻辑表达式等价定义和正规化的概念.

2021-04-24 18:34:01 12

原创 逻辑学探幽 Part0

在本章中, 我们将引入最基本的逻辑系统: 命题逻辑, 简要介绍其基本概念, 并进一步地引入两种广泛应用于计算机科学领域的命题语义: 布尔语义和幂集语义.

2021-04-24 18:33:29 9

原创 奇技淫巧: 使用0D/6D补丁解决XDCI睡眠唤醒

本文以数独求解问题为例, 简述回溯算法的原理和基本框架.

2021-04-24 18:31:54 202

原创 回溯算法:以数独求解为例

本文以数独求解问题为例, 简述回溯算法的原理和基本框架.

2021-04-24 18:30:21 44 1

原创 Moved to Github Blog

Moved to Github Blog:https://kirisamemarisaa.github.io

2020-11-05 11:32:48 25 2

原创 解锁4/6/8代Intel处理器ThinkPad的BIOS高级选单, 解除WWAN和Wi-Fi白名单

本教程提供了一种解锁搭载4/6/8代 Intel 处理器 ThinkPad 的 BIOS 高级选单 (Advanced Settings), 并完全解除WWAN和Wi-Fi白名单的方法.

2020-07-30 20:54:10 1622 9

原创 第四章:随机变量的数字特征和特征函数
原力计划

在本章中, 我们将介绍一些常用的数字特征: 数学期望, 方差, 协方差, 矩, 相关系数.

2020-06-17 16:46:26 580

原创 组合数学作业整理与解题思路总结:图论

组合数学作业整理与解题思路总结:图论

2020-06-14 20:49:28 481

原创 组合数学作业整理与解题思路总结:容斥原理, 生成函数和递归函数

组合数学作业整理与解题思路总结:容斥原理, 生成函数和递归函数

2020-06-14 18:39:09 398

原创 组合数学-Chapter IX: 递归方程

和生成函数相似, 递归方程也是一种有效的组合计数工具. 本文将对其进行简要介绍

2020-05-27 20:59:16 301

原创 Chapter3 复变函数的积分
原力计划

本章将介绍复变函数的积分, 给出其定义, 性质和计算方法, 并且引入Cauchy-Goursat 定理和 Cauchy 积分定理, 最后引入调和函数的概念.

2020-05-17 10:41:06 314

原创 MATLAB数学建模:智能模拟算法-元胞自动机

元胞自动机 (Celluar Automata) 是一种广泛应用的模型理论. 本文将简介元胞自动机的基本概念, 并举两个在 MATLAB 中实现元胞自动机的例子.

2020-05-16 23:39:36 736

原创 MATLAB数学建模:智能优化算法-人工鱼群算法
原力计划

人工鱼群算法是一种受鱼群聚集规律而启发的优化算法. 本文将简介人工鱼群算法的原理, 并且给出MATLAB实现的代码案例.

2020-05-16 21:47:49 2052

原创 组合数学-Chapter VIII: 生成函数

在组合数学中, 通过构造特殊的幂级数, 我们可以将组合意义下的计数问题和幂级数相应幂次项系数的值相关联, 从而大幅地简化一些组合计数问题的难度. 下面, 我们对生成函数进行简要介绍.

2020-05-06 15:35:15 281

原创 组合数学-Chapter VII: 容斥原理

在本章中, 我们将介绍一种常用的经典组合学技巧--容斥原理. 虽然在最简单的情形下, 它几乎是显然的, 但这一方法的强大体现在利用它解决涉及可列个元素的情形时.下面, 我们以几个简单的例子为引, 逐步导出并介绍容斥原理的基本算法, 公式和应用.

2020-05-05 09:58:47 215

原创 Chapter2 解析函数
原力计划

在本章中, 我们将研究复变函数的微分法. 我们将在本章中介绍复变函数解析的定义和相应的判别方法, 并将实变函数中的五个基本初等函数逐一推广到复数域中.

2020-05-04 16:10:05 255

原创 组合数学-作业

组合数学作业, 备份

2020-05-02 15:09:17 426

原创 组合数学-Chapter V: 图论补充

本文内容为 Chapter V: 图论的内容补充. 在本章中, 我们还将先后介绍交错图, 进一步介绍Ramsey定理, 引入多个新概念, Mantel 定理, Turan 定理, 图的染色, Hall 定理和 SDR 定理.

2020-04-26 23:02:47 605 4

原创 Chapter1 复数与复变函数
原力计划

Chapter1 复数与复变函数

2020-03-27 16:46:50 184

原创 组合数学-Chapter V: 图论

大量的组合问题都可以被归结为图论问题, "图" 这一组合结构可能是组合数学这一学科中研究得最为透彻的结构. 下面, 我们将对组合意义上的 "图" 做数学意义上抽象化定义, 并结合例子对一些重要概念进行介绍.

2020-03-25 13:21:13 347 2

原创 组合数学-Chapter III & Chapter IV
原力计划

Chapter III-IV: 递归与数学归纳, 鸽笼原理及其应用

2020-03-17 23:27:14 185

原创 3.1 随机变量及其分布

§1 随机变量及其分布

2020-03-16 22:32:38 263

原创 利用Wox实现无障碍谷歌翻译

本教程提供了一种无需特殊操作即可直接使用Wox调用Google Translate 中文站并进行快速多语言翻译的方法.

2020-02-28 17:53:12 1882 2

原创 组合数学-Chapter II: 字符串, 集合与二项式系数

组合数学是数学的一个分支,它研究事物 (一般以数字或符号指代) 在特定模式下的配置, 并研究这种配置的存在性, 所有可能配置的计数和分类, 以及配置的各种性质。组合数学与代数, 几何以及分析学均有着密切联系. 从本章开始, 我们将对组合数学这一课程进行简要介绍.

2020-02-26 18:45:12 240

原创 組合數學-Catalan Numbers

Catalan 數源於數學家 Catalan 解決凸 n+2 邊形的剖分問題時所得到的數列. Catalan 問題的解決過程中, 大量地采用了映射 (Mapping) 方法. 學習和熟悉 Catalan 問題的一般解法與其變形問題對組合數學的學習與 "組合思維" 的養成有顯著的正面作用. 學習和熟悉 Catalan 問題的一般解法與其變形問題對組合數學的學習與 "組合思維" 的養成有顯著的正面作用.

2020-02-25 23:44:08 88

原创 解决CTeX工具包中MikTeX编译TeX文件报错问题

在成功安装CTeX工具包并对VSCode进行相应配置后, 我们虽然可以正常编辑 TeX 文件, 但在编译时会立即发现, 当 VSCode 尝试调用 CTeX 工具包中内置的 MikTeX 进行编译操作时, 将会立即报错。本文提供了一种解决该问题的方法。

2020-02-13 20:13:37 608

原创 轻松搭建LaTeX+VSCode编辑环境(以CTeX为例)

WinEdit 或 TexStudio 作为常用老牌的TeX编辑器, 受众广泛, 操作效率高. 然而其原始落后的界面实在难以和美观便捷的VSCode媲美. 本文提供了一种操作难度较低的, 将VSCode变为 LaTeX 编辑器, 并实现侧栏伪实时渲染的方法.

2020-02-13 09:57:00 497

原创 完全关闭Win10的任务栏鼠标悬停时预览

本教程提供了一种有效的完全关闭Win10任务栏鼠标悬停预览的方法。

2020-02-10 18:55:01 2285

原创 MATLAB数学建模:数据图形可视化-三维绘图函数

本文是博客文章:《MATLAB数学建模:数据图形可视化》的第五章:三维绘图函数部分。

2020-02-10 17:49:59 2514

原创 MATLAB数学建模:数据图形可视化

用图表和图形展现数据的技术被称为数据图形可视化。在本文中,我们将简介MATLAB数据图形绘制机能。

2020-02-09 21:23:49 1201

原创 MATLAB数学建模:智能优化算法-模拟退火算法

模拟退火算法 (Simulated Annealing Algorithm)是1983年发明的一种通用概率演算法, 用于在一个较大的搜寻空间内寻找问题的最优解. 本节简述模拟退火算法原理及其在 MATLAB中的实现。

2020-02-08 16:09:57 858 1

原创 MATLAB数学建模:智能优化算法-免疫算法

免疫算法源于生物免疫系统的基本机制, 是一种具有生成+检测的迭代过程的群智能搜索算法. 本文将对免疫算法进行简介,并以图像阈值分割为例展现MATLAB中免疫算法的应用。

2020-02-07 20:12:20 2650 3

原创 MATLAB数学建模:智能优化算法-遗传算法

本文简介遗传算法在MATLAB中的使用。

2020-02-06 16:55:36 853

原创 MATLAB数学建模:智能优化算法-神经网络算法

本文简介数学建模常用的智能优化算法:神经网络算法。

2020-02-05 23:28:10 2117 3

Cydia Impactor和Filza.zip

本文件为Cydia Impactor和FilzaJailed的文件合集,解压后即可使用,没有密码。具体教程位于本人博客。

2020-01-21

Sierra Wireless EM7455 2.20.03.00 旧版固件

本文件为另一个Sierra Wireless EM7455 WWAN网卡的General(通用)版本固件。因Sierra Wireless官方不对外开放旧版本固件的下载渠道,故获取难度极大。目前该版本固件在全网暂无用户发布。

2020-01-21

Sierra Wireless EM7455 2.08.02.00 旧版固件

本文件为Sierra Wireless EM7455 WWAN网卡的General(通用)版本固件。因Sierra Wireless官方不对外开放旧版本固件的下载渠道,故获取难度极大。目前该版本固件在全网暂无用户发布。

2020-01-21

提取Secure Boot Key.rar

本工具可用于提取UEFI的Secure Boot安全密钥。具体使用教程详见本人博客相关文章。压缩文件没有密码。

2020-01-21

东方旧作(含中文翻译版)整合

东方旧作合集,封装方式为DOSBOX,可在windows xp及以上版本的系统中正常运行。来源为贴吧,解压缩即可使用,无压缩密码。

2020-01-16

Windows CE 软件安装教程

教您如何在WinCE设备上安装程序,提供实例截图描述如何同步WinCE设备并安装WinCE程序到手持设备上

2014-08-31

最小的XP系统

最小的WINDOWS XP系统,纯安装文件,不支持光盘启动!

2013-05-01

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人 TA的粉丝

提示
确定要删除当前文章?
取消 删除