- 博客(21)
- 收藏
- 关注
RSS订阅原创 【集合代数（二）】
该关系满足偏序公理，这种关系的不对称性直接来自定义。传递性得自加法交换律和结合律。的两个属性，它们直接来自布尔代数的定义。这个代数称为给定集合的子集代数。例 2. 如果布尔运算定义如下表所示，则集合。（该等式根据吸收率可得）。如果满足以下公理，则引入两个二元运算。被称为集合上的二元运算。被称为集合上的一元运算。作为一个举例我们考虑布尔代数。如果在这种情况下，我们假设。该布尔代数被称为逻辑代数。彼此等价（兼容性）。（乘法）、一个一元运算。（补）和两个指定元素。根据分配律和幂等性，
2023-12-26 06:57:35
686
原创 集合代数（一）
哥德尔-伯纳斯公理系统将“所有集合”划分为两种类型：“真实”集合（非正常类）和“超集”（正常类）。对于“超集”的定义要严格得多（例如它自己的类不能是任何类的元素）。很难给予集合的概念一个定义，无非是为“集合”这个词语替换同义词，如系统、类等，因而我们尝试用公理化方法来定义集合的概念。策梅洛-弗兰克尔公理系统禁止使用“超集”，并且不承认使用自然数的集合论规则对它们进行的任何运算是“合乎规则的”。例2. 偏序（有序）集合的每个子集本身也是偏序（有序）的。- 所有集合的集合，不包含自身作为元素。
2023-12-25 05:13:34
693
原创 数据库日志记录和恢复工具（1）
软故障恢复从物理一致性点恢复方案 恢复数据库的物理一致性开发 DBMS 的主要要求之一是数据库存储的可靠性。这一要求尤其意味着能够在任何类型的硬件和软件故障后恢复数据库的一致状态。显然，执行恢复需要一些额外的信息。在绝大多数现代关系 DBMS 中，这些冗余的附加信息以数据库更改日志的形式进行维护。因此，记录数据库更改的总体目标是确保数据库在发生任何故障后能够恢复到一致的状态。由于维护数据库状态一致的基础是事务机制，因此日志记录和恢复与事务的概念密切相关。恢复的一般原则如下：已提交事务的
2022-02-18 04:27:49
758
转载 彩色图像构建几何直方图
几何图像直方图的构造 由标量强度函数（黑白、红外等）定义的图像I. 局部构造1. 图像被划分为窄的水平（垂直）条纹。2. 将每个强度级别集投影到水平（垂直）轴上。它的投影是水平（垂直）轴上的一组线段。为每个区间分配其幂（为该区间投影的带状点的数量。)3.根据每个图像带，在图像坐标系的水平垂直轴上分配一组区间。每个区间都规定了一定的值的强度和力量。为彩色图像构建几何直方图 一种简单的方法：为分量 G/(G+B) 构建几何直方图，另外每个区间都提供了与另一个比率的平均值的偏差分布的直方图
2022-02-16 04:37:59
270
翻译 创建识别系统的图像样本
自然图像训练示例是根据真实数据创建的。它们的创建包括以下步骤：收集图形数据（拍摄感兴趣的对象、从相机捕获视频流、突出显示网页上的图像的一部分） 过滤 - 检查图像是否满足要求：其上的物体有足够的照明水平，是否存在所需的物体等 准备标记工具（编写自己的亦或优化完成） 标记（选择四边形、所需的标志物、图像中感兴趣的区域） 为每个图像分配一个标签（图像中对象的字母或名称）创建训练数据的另一种方法是人工生成。可以采用多个模板/“理想”示例（例如字体集）并使用各种变形来创建所需数量的示例进行训练，如以下
2022-02-14 03:38:09
261
翻译 学习率的影响
“学习”在含义上或多或少等同于“训练”，但它们是不同的东西。我们通过提供训练数据和执行训练程序来训练神经网络。在此种情况时，网络正在学习——或者更具体地说，它正在学习逼近训练数据中包含的输入-输出关系。学习的一种表现是权重的变化，而学习的速度会影响这种变化的方式。误差碗是一个 3D 表面，它可以帮助我们可视化在训练期间节点的误差随着其输入权重的变化而逐渐减小到零的过程。如果我们有一个点，其位置由两个权重的值和节点的输出误差确定，则权重的每次修改都会导致该点跳转到该误差面上某处的不同位置。这些..
2022-02-12 05:24:44
778
原创 “低级”视觉：直方图均衡、混合、色彩空间、Haar 级联
opencv直方图均衡化过度曝光或背光图像可用于通过直方图均衡增加局部或整体对比度。具体思路是在一张图像中找到最亮和最暗的像素值，并将它们映射为纯黑和纯白，然后将其他像素值按照一定的映射关系映射到纯黑和纯白之间的值算法。另一种方法是找到图像中像素的平均值作为中间灰度值，然后扩大范围以达到最充分的可显示值。直方图可以大致了解图像的亮度分布。它是一个图形，x 轴上有像素值（在 0 到 255 之间，并不总是），y 轴上有图像对应的像素数。它是理解图像的另一种方式。通过观察图像的直方图，可以直观地了解
2022-02-08 06:20:22
2948
原创 数据库故障恢复
从主外部数据库介质故障中恢复硬崩溃（故障）：鉴于现代外部存储设备具有足够高的可靠性，这种情况可能相对很少发生，但是，即使在这种情况下，DBMS 也应该能够恢复数据库。恢复的基础是备份副本和数据库更改日志，即冗余数据的存储。这些冗余数据存储在包含一系列数据库更改记录的日志中。记录信息有两个主要选项：在第一个选项中，对于每个事务，该事务都维护一个单独的本地数据库更改日志。这些本地日志用于单个事务回滚，可以在主内存中维护，或者更确切地说，在 DBMS 的虚拟内存中。这种方法可以快速执行单独的事务回
2022-01-28 00:24:05
1000
原创 折线图 python
带上网格（可以更清楚的展示比例及关系）：plt.grid()添加X轴Y轴：plt.xlabel("")plt.ylabel("")添加图像标题（可以通过fontsize参数来修改字体大小）：plt.title("")绘制折线：plt.plot(x, y, color='r', linestyle='-', label="")其中：r 红色，c 青色， k 黑色， w 白色线的类型有：- 是实线，--是虚线，-.是点划线，：是点虚线。...
2022-01-26 04:36:47
749
原创 设置断面线的位置
解决任务的步骤如下：【折线由其顶点 (xn, yn) 定义。程序的结果是一个包含顶点坐标的文件。绘制网格，水平 X 轴，垂直 Y 轴。沿每个轴的步长为 100 像素的网格。】程序询问“要加载带有顶点的文件吗？”如果输入“y”，那么程序从文件中加载顶点的坐标，绘制一条折线并打印顶点的坐标 (0,0) (x1,y1)……然后转到步骤 3。如果输入“n”，则程序转到步骤 1。1.将折线的顶点坐标（以像素为单位）打印成字符串。开始(0.0) 结束(1000.0)。2.画一条折线（一条直线，起点在点
2022-01-24 03:25:24
462
翻译 需要数据库恢复的情况，单个事务回滚
1.代数 A 的冗余对于代数 A {NOT, AND, OR}（否定、析取和合取）的运算，与经典布尔逻辑中相同的恒等式有效。众所周知，这个集合是传统的，但多余的，因为身份A AND B = NOT (NOT A OR NOT B)和A OR B = NOT (NOT A AND NOT B)。事实证明，代数 A 的操作 <NOT>、<AND> 和 <OR> 具有相似的恒等式。因此，在代数 A 的一组基本运算中，可以留下运算 <AND> 和 &l
2022-01-22 04:19:41
468
原创 DBMS的主要功能，DBMS的典型组织
数据模型描述了一组特定的通用概念和特性，如果它们基于此模型，它们管理的所有特定 DBMS 和数据库都应该具备这些概念和特性。拥有数据模型可以让您使用一种通用语言来比较特定的实现。虽然数据模型的概念是由 Codd 引入的，但对数据模型最常见的解释似乎是 Christopher Date 的解释。根据 Data，关系模型由三个部分组成，分别描述了关系方法的不同方面：1.结构部分2.操纵部分3.整体的部分数据模型的结构部分捕获了基本的逻辑数据结构，在组织与特定模型相对应的数据库时，可以在用户层面
2022-01-19 22:35:49
10546
原创 太空物体（一般情况）
1.绝对角速度满足泊松公式：ωE是地球自转的角速度，字母上方的点是时差t。有 ，特别是，ωE = (0, 0, ωE)。所以，根据泊松方程，我们得到：2. 转到链接的航天器坐标系（SCC）。过渡公式：Q 是从 SSC 到 SSC 的转换的四元数，它在区间 t0 ≤ t ≤ t1 上积分。 t0 和 t1 是观察开始和结束的时刻。e1 = (1,0,0) - SSK 轴 1 的单位向量。假设该单位矢量平行于示波器的光轴。计算Q(t0)的显式公式：3. 在对...
2022-01-12 00:53:54
385
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人