- 博客(6)
- 收藏
- 关注
RSS订阅原创 GFA图格式介绍之L的方向问题
GFA（Graphical Fragment Assembly）是生物信息学里一种用于描述基因组图的文件格式。通常包括三部分：节点信息S、边的信息L，路径信息P。本文重点介绍L的方向问题。
2025-02-02 12:25:25
387
原创 直接映射Cache模拟器
直接映射Cache模拟器直接映射是Cache中结构最简单的一种。一、Cache的大小和结构直接映射Cache的结构如下：（因为每组只有一行，所以下文中行、组代表相同含义）代码如下：本实验采用总容量16KB，每一组（行）64字节，则共256组（行）typedef unsigned char UINT8;typedef unsigned short UINT16;typedef unsigned int UINT32;typedef int
2022-04-24 20:55:10
1226
原创 自然推理系统证明：¬(∀x)P(x)⊢(∃x)¬P(x)
自然推理系统证明：(¬x)P(x)⊢(∃x)¬P(x)(\lnot x)P(x)\vdash (\exists x)\lnot P(x)(¬x)P(x)⊢(∃x)¬P(x)题目很简短，但还是花了一些时间。思考过程先采用右∃\exists∃策略，即证¬(∀x)P(x)⊢¬P(x)\lnot(\forall x)P(x)\vdash \lnot P(x)¬(∀x)P(x)⊢¬P(x),差点以为可以用∀−\forall-∀−规则直接证出，但是前面有个¬\lnot¬在此基础上用右¬\lnot¬策略，¬(∀x
2022-04-17 19:45:22
1869
原创 自然推理系统证明：⊢(∃x)(C→P(x))＜-＞(C→(∃x)P(x))
自然推理系统证明：⊢(∃x)(C→P(x))↔(C→(∃x)P(x))\vdash (\exists x)(C\to P(x))\leftrightarrow(C\to (\exists x)P(x))⊢(∃x)(C→P(x))↔(C→(∃x)P(x))这道题卡了好久，记录一下。思考过程分两步：左推右和右推左，难度还是有差距的。左推右很简单，先用左∃\exists∃，再用右→\to→即可。右推左，即C→(∃x)P(x)⊢(∃x)(C→P(x))C\to (\exists x)P(x)\vdash
2022-04-17 18:54:17
757
原创 自然推理系统证明:(∀x)P(x)→C⊢(∃x)(P(x)→C)
用自然推理系统证明：(∀x)P(x)→C⊢(∃x)(P(x)→C)(\forall x)P(x)\rightarrow C \vdash (\exists x)(P(x)\rightarrow C)(∀x)P(x)→C⊢(∃x)(P(x)→C)思考过程看到题目想到两种策略：右∃和右¬，感觉右∃更加自然，故首先尝试右∃:看到题目想到两种策略：右\exists和右\lnot，感觉右\exists更加自然，故首先尝试右\exists:看到题目想到两种策略：右∃和右¬，感觉右∃更加自然，故首先尝试右∃:右边的
2022-04-16 17:20:24
1905
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人