cs专业课
文章平均质量分 83
cs learning
毛线岛民
https://www.cnblogs.com/chanceYu/
展开
-
CS152 Review--Complex Pipelining
1.This problem deals with an out-of-order single-issue processor that is based on the basic RISC-V pipeline and has a floating-point unit. The FPU has one adder, one multiplier, and one load/store unit. The adder has a two-cycle latency and is fully pipeli原创 2022-05-29 17:47:26 · 389 阅读 · 2 评论 -
计算机组成3 --RISC V Single-Cycle Control and Pipelining
BasicsInstruction TableInst[31:0]BrEqBrLTPCSelImmSelBrUnASelBSelALUSelMemRWRegWEnWBSeladd**+4**RegRegAddRead1 (Y)ALUsub**+4**RegRegSubRead1ALU(R-ROp)**+4**RegReg(Op)Read1ALUaddi**+4I*R原创 2022-03-31 18:09:27 · 274 阅读 · 0 评论 -
计算机组成2 --RISCV Assembly
RISC-V ArchitectureRegister Size: 1 word = 32 bits = 4 bytes32 registers:x0(holds the value zero)-x31Byte OrderingLittle Endian(x86, ARM)RISC-V InstructionsAssembly Syntax[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-f5d93vCZ-1648721107169)(http原创 2022-03-31 18:06:00 · 673 阅读 · 0 评论 -
计算机组成1 --Number Representation
Logical OperationsShift operationsLeft Shiftthrow away extra bits on left, fill with 0’s on the rightRight Shiftthrow away extra bits on rightlogical shift: fill with 0’s on the leftarithmetic shift: replicate most significant bit(x >> k原创 2022-03-31 18:04:08 · 245 阅读 · 0 评论 -
离散数学复习--Modular Arithmetic
DivisibilityDefinitionLet x,y∈Zx,y\in Zx,y∈Z with x≠0x\neq0x=0We say that a divides ba|b, if there exists some k∈Zk\in Zk∈Z such that b=akb = akb=ak.TheoremProof EasyCorollaryLet a,b,c∈Za, b, c \in Za,b,c∈Z. If a|b and a|c, then a|mb+nc for any原创 2022-03-10 11:49:01 · 770 阅读 · 0 评论 -
CS186 Lecture3 --Index & Hashing
B+ TreeStructureNode[…, (Pi,KiP_i,K_iPi,Ki), …]P1P_1P1K1K_1K1P2P_2P2…Pn−1P_{n-1}Pn−1Kn−1K_{n-1}Kn−1KnK_nKnLeaf NodeFor i = 1, 2, …, n–1, pointer PiP_iPi points to a file record with search-key value KiK_iKiPnP_nPn points原创 2021-07-30 20:09:29 · 153 阅读 · 0 评论 -
cs186 lecture2 --Data Models
Data ModelsLogical data independence: Maintain views when logical structure changesPhisical data independence: Maintain logical structure when phisical structure changesER ModelKey constraintsarrow: 可以divided(从尾到头at most one)#mermaid-svg-SUoQXSri8CA原创 2021-05-23 20:17:15 · 124 阅读 · 0 评论 -
cs186 Lecture1 --Relational Model & SQL
SQL (sequel/structured query language)Basic ConceptCreateDatabaseset of named RelationsRelationSchema(description/metadata):unique attribute names,atomic typesInstance:can change very oftenAttribute(Column,Field)Tuple(Record,Row)Primary key原创 2021-02-02 18:04:59 · 173 阅读 · 0 评论 -
算法设计与分析--Space-for-time tradeoffs
Two AlgorithmsInput EnhancementPrepocess the input(or its part) to store some info to be used later in solving the problemCounting SortsString Searching AlgorithmsPreconstructuringPrepocess the input to make accessing its elements easierhashi原创 2021-01-02 18:57:38 · 284 阅读 · 0 评论 -
算法设计与分析--Transform and conquer
Notion of Heap1.shape(查找方便2n2n2n and 2n+12n+12n+1)The binary tree is complete (except rightmost leaves)2.The parent dominance*(方便排序)原创 2020-11-24 22:19:45 · 347 阅读 · 0 评论 -
算法设计与分析--Decrease and Conquer
下标排列问题Josephus Problem原创 2020-10-16 17:23:06 · 133 阅读 · 0 评论 -
Numrical Analysis Summary
Evaluating a polynomialDirect form:O(n2n^2n2)Horner’s method:O(n)原创 2020-09-27 22:09:36 · 101 阅读 · 0 评论 -
离散数学复习--图论基础
基础知识图的概念1.设图G=(V,E),u,v∈Vu,v\in Vu,v∈V,(u,v)∈E(u,v)\in E(u,v)∈E若u=v,称e为环若(u,v)不止一条,称这些边为平行边。平行边的条数称为重数无环和平行边的图称为简单图。原创 2020-06-01 13:16:15 · 581 阅读 · 0 评论 -
算法设计与分析--时间复杂度分析
递归结构分析1原创 2020-05-29 15:38:43 · 484 阅读 · 0 评论 -
离散数学复习--代数系统综合
1 证明左与左对应,右与右对应2 求子群要罗列完整原创 2020-05-25 12:44:18 · 860 阅读 · 1 评论 -
离散数学复习--代数系统基础
重排定理原创 2020-05-18 09:01:02 · 356 阅读 · 0 评论 -
离散数学复习--集合的势证明
自然数的定义这里有几大前提,简单摘要最重要的:集合的势等势与优势集合的基数,可数/不可数常见证明R≈[0,1]Q≼·R-Q(无理数比有理数多)P(N)≈R这里可以简单说明P(N)≈[0,1),参考完整证明:总结...原创 2020-04-25 19:43:39 · 3990 阅读 · 0 评论 -
离散数学复习--集合论
基础回顾r(R ) reflexive re-,向后,往回,-flex,弯,转,词源同 flexible,reflect.引申词义诸相关词义。s(R ) symmetrict(R ) transitivity原创 2020-04-03 12:54:44 · 2518 阅读 · 0 评论 -
离散数学复习--谓词逻辑
1. 再次提醒各位注意先存在后任意,存在不能用变元替换2.涉及双量词问题,一定要联系空间想象(坐标系)3.等值式判断想一致性(任意–且,存在–或)区分跳跃项和连续项,或只要连续项为1总体为1;且只有总体为1才能保证连续项为1易错点–每步转换务必把否定提到量词里面判断此题选ABD...原创 2020-03-28 19:54:02 · 1568 阅读 · 0 评论 -
离散数学复习--命题逻辑
1.选A2.选A(回顾真值表)原创 2020-03-14 23:19:21 · 152 阅读 · 0 评论