Update on 2024-06-11 from miRoox-m4F2aE

miRoox · Jun 11, 2024 · 4e42009 · 4e42009
1 parent 016a588
commit 4e42009
Show file tree

Hide file tree

Showing 13 changed files with 81 additions and 11 deletions.
diff --git a/tiddlers/Ceph.tid b/tiddlers/Ceph.tid
@@ -1,12 +1,12 @@
 created: 20240419053024490
 creator: miRoox
-modified: 20240419053146513
+modified: 20240610084433794
 modifier: miRoox
 tags: 分布式存储 软件 开源软件
 title: Ceph
 tmap.id: fa23f9ef-87c3-4641-b5a8-c0d1e2f5c34e
 type: text/vnd.tiddlywiki
 
-Ceph是一个开源的分布式存储系统，旨在提供高性能、高可靠性和可扩展性的存储解决方案。Ceph存储集群由多个组件组成，包括Ceph Monitor、Ceph OSD（Object Storage Daemon）和Ceph Manager。Ceph通过RADOS（可靠自动分布式对象存储）来管理数据存储和复制，同时提供对象存储、块存储和文件存储的功能。Ceph的设计使得它能够在大规模集群中运行，并支持动态扩展和容错能力。
+Ceph是一个开源的[[分布式存储]]系统，旨在提供高性能、高可靠性和可扩展性的存储解决方案。Ceph存储集群由多个组件组成，包括Ceph Monitor、Ceph OSD（Object Storage Daemon）和Ceph Manager。Ceph通过RADOS（可靠自动分布式对象存储）来管理数据存储和复制，同时提供对象存储、块存储和文件存储的功能。Ceph的设计使得它能够在大规模集群中运行，并支持动态扩展和容错能力。
 
 Ceph的存储集群可以通过不同的接口进行访问，包括RESTful接口、块存储接口和POSIX接口。通过librados API，用户可以直接与Ceph存储集群中的Ceph Monitor和Ceph OSD Daemon进行交互。librados API提供了C、Python、Java等语言的绑定，使开发者能够创建自己的接口与Ceph存储集群进行通信。
diff --git a/tiddlers/FIO典型性能测试方法.tid b/tiddlers/FIO典型性能测试方法.tid
@@ -1,8 +1,8 @@
 created: 20240417082945413
 creator: miRoox
-modified: 20240417083032041
+modified: 20240609024941692
 modifier: miRoox
-tags: FIO
+tags: FIO HowTos
 title: FIO典型性能测试方法
 tmap.id: 6084a1b1-2c78-4aa3-b5b1-72f1ecafc92a
 type: text/vnd.tiddlywiki

diff --git a/tiddlers/internal_macro definitions.tid b/tiddlers/internal_macro definitions.tid
@@ -1,10 +1,10 @@
 created: 20230212092001334
 creator: miRoox
-modified: 20230212111318913
+modified: 20240610091151598
 modifier: miRoox
 tags: $:/tags/Macro
 title: internal:macro definitions
 tmap.id: b2fc29f0-44fd-4569-aab3-051ea37d0889
 type: text/vnd.tiddlywiki
 
-\define plink(name) <$link to={{{[get[link-prefix]]+[addsuffix[$name$]]}}}>$name$</$link>
+\define plink(name) <$link to={{{[get[link-prefix]]+[addsuffix[$name$]]}}}>$name$</$link>
diff --git a/tiddlers/miRoox.tid b/tiddlers/miRoox.tid
@@ -1,7 +1,7 @@
 caption: Yong-an Lu
 created: 20190926103757903
 creator: miRoox
-modified: 20240519054703098
+modified: 20240610084138996
 modifier: miRoox
 tags: 人物
 title: miRoox
@@ -23,7 +23,7 @@ type: text/vnd.tiddlywiki
 * GitHub：[ext[miRoox|https://github.com/miRoox]]
 * Gitee：[ext[miroox|https://gitee.com/miroox]]
 * 微博：[ext[MiFantasy000|https://weibo.com/MiFantasy000]]
-* bilibili： [ext[magus000|https://space.bilibili.com/3940132]]
+* bilibili： [ext[miroox|https://space.bilibili.com/3940132]]
 * Pixiv: [ext[miroox|https://pixiv.me/miroox]]
 * Bangumi：[ext[miroox|http://bangumi.tv/user/miroox]]
 * 豆瓣：[ext[miroox|https://www.douban.com/people/miroox/]]

diff --git a/tiddlers/交集.tid b/tiddlers/交集.tid
@@ -0,0 +1,10 @@
+created: 20240610104510295
+creator: miRoox
+modified: 20240610104904614
+modifier: miRoox
+tags: 集合
+title: 交集
+tmap.id: 11626fc9-b3ec-468e-b700-15d9ee2d4093
+type: text/vnd.tiddlywiki
+
+$$C=A\cap B$$被称为集合$$A$$和$$B$$的交集，当且仅当$$C=\{x:x\in A \land x\in B\}$$
diff --git a/tiddlers/公理化集合论.tid b/tiddlers/公理化集合论.tid
@@ -0,0 +1,10 @@
+created: 20240610105254663
+creator: miRoox
+modified: 20240610105324759
+modifier: miRoox
+tags: 集合论
+title: 公理化集合论
+tmap.id: 2dbf5aa0-9f9c-4e22-8b30-580dbcb0ceae
+type: text/vnd.tiddlywiki
+
+公理化集合论是[[集合论]]透过建立[[一阶逻辑]]的严谨重整，以解决[[朴素集合论]]中出现的悖论。
diff --git a/tiddlers/凸集.tid b/tiddlers/凸集.tid
@@ -1,9 +1,9 @@
 caption: 凸集
 created: 20191115133844675
 creator: miRoox
-modified: 20230316103711660
+modified: 20240610104345513
 modifier: miRoox
-tags: 凸分析 TODO 凸优化
+tags: 凸分析 TODO 凸优化 集合
 title: 凸集
 tmap.id: d23b4bff-3624-4543-8361-bc08a5937821
 type: text/vnd.tiddlywiki

diff --git a/tiddlers/并集.tid b/tiddlers/并集.tid
@@ -0,0 +1,10 @@
+created: 20240610104749584
+creator: miRoox
+modified: 20240610104847959
+modifier: miRoox
+tags: 集合
+title: 并集
+tmap.id: 1ab022f7-c7fb-4114-a575-2cfe6999288b
+type: text/vnd.tiddlywiki
+
+$$C=A\cap B$$被称为集合$$A$$和$$B$$的并集，当且仅当$$C=\{x:x\in A \lor x\in B\}$$
diff --git a/tiddlers/朴素集合论.tid b/tiddlers/朴素集合论.tid
@@ -0,0 +1,10 @@
+created: 20240610105503949
+creator: miRoox
+modified: 20240610105716467
+modifier: miRoox
+tags: 集合论
+title: 朴素集合论
+tmap.id: f221d768-07e5-4aab-b640-403b0c68883f
+type: text/vnd.tiddlywiki
+
+在朴素集合论中，[[集合]]是指由许多对象组成，有明确定义的搜集（collection）。这些对象称为集合的''元素''或是''成员''。对象可以是数字、人、其他组合等。
diff --git a/tiddlers/空集.tid b/tiddlers/空集.tid
@@ -0,0 +1,10 @@
+created: 20240610104920141
+creator: miRoox
+modified: 20240611021910248
+modifier: miRoox
+tags: 集合
+title: 空集
+tmap.id: 606facab-717c-4897-a87b-ca341dd33ba1
+type: text/vnd.tiddlywiki
+
+空集$$\emptyset$$是''唯一''没有任何元素的[[集合]]。
diff --git a/tiddlers/策梅洛-弗兰克尔集合论.tid b/tiddlers/策梅洛-弗兰克尔集合论.tid
@@ -0,0 +1,10 @@
+created: 20240611021940221
+creator: miRoox
+modified: 20240611022056805
+modifier: miRoox
+tags: 公理化集合论
+title: 策梅洛-弗兰克尔集合论
+tmap.id: c8fd8f40-7032-49f2-8a15-deebdf433930
+type: text/vnd.tiddlywiki
+
+策梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），是数学基础中最常用的一阶[[公理化集合论]]。含[[选择公理]]时常简写为''ZFC''，不含[[选择公理]]的则简写为''ZF''。
diff --git a/tiddlers/红色警戒2：所有物体类型关联.tid b/tiddlers/红色警戒2：所有物体类型关联.tid
@@ -2,7 +2,7 @@ caption: 所有物体类型关联
 created: 20190930031719873
 creator: miRoox
 link-prefix: 红色警戒2：
-modified: 20230316103711657
+modified: 20240610090958531
 modifier: miRoox
 tags: TODO 红色警戒2 转载 ModerKenosis
 title: 红色警戒2：所有物体类型关联

diff --git a/tiddlers/集合.tid b/tiddlers/集合.tid
@@ -0,0 +1,10 @@
+created: 20240610104358755
+creator: miRoox
+modified: 20240610104421993
+modifier: miRoox
+tags: 集合论
+title: 集合
+tmap.id: dc5c8d68-4fb8-4b95-82f4-dd222ba9a634
+type: text/vnd.tiddlywiki
+
+集合是[[集合论]]中的基本元素