10 2019 档案

boolean functions and beyon
摘要：1. boolean functions 2. syntax and revisited 3. Conjunctive and Disjunctivenormal form CNF: product of sums DNF: sum of products 4. 不是所有的formula都是CNF或 阅读全文

posted @ 2019-10-31 16:49 Eleni 阅读(180) 评论(0) 推荐(0)

lecture10.21
摘要：1. truth valuation 2. 3. logical equivalence 证明两个formula逻辑成立的方法有：比较所有truth table，均推出相同结果；互相可以推出且恒成立；借助第三个formula 4. theories ＆ entailment 5. entailmen 阅读全文

posted @ 2019-10-31 13:41 Eleni 阅读(109) 评论(0) 推荐(0)

logic
摘要：1. proposition是一个声明性描述，只有T或F 2. proposition通过logical connectives成为larger proposition，故而logical connectives是一个operations although=and=but=nevertheless 阅读全文

posted @ 2019-10-30 16:22 Eleni 阅读(385) 评论(0) 推荐(0)

Radar background and surface interaction
摘要：1. RADAR：RAdio Detection And Ranging无线电探测和测距 雷达系统是一种测距装置，它根据定向脉冲束在特定距离上的往返行程时间来测量距离 上式中的2均是因为发射+返回算一次 2. 雷达分为探测雷达，气象雷达系统等，我们主要关注映射雷达与成像雷达 雷达不依附于太阳，不受阴 阅读全文

posted @ 2019-10-30 15:44 Eleni 阅读(175) 评论(0) 推荐(0)

InSAR
摘要：干涉合成孔径雷达 1. most popular band: L band, C band, X band (wavelength递减) longer wavelength: 更好地渗透植被 shorter wavelength: 更多细节 2. SAR优缺点(合成孔径雷达) 优点： a) 独立性， 阅读全文

posted @ 2019-10-30 14:36 Eleni 阅读(484) 评论(0) 推荐(0)

quiz 2 总结
摘要：1. assert 先计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后终止程序运行 2. strcat() 阅读全文

posted @ 2019-10-29 22:59 Eleni 阅读(153) 评论(0) 推荐(0)

question 2
该文被密码保护。

posted @ 2019-10-29 09:37 Eleni 阅读(3) 评论(0) 推荐(0)

quiz 2
该文被密码保护。

posted @ 2019-10-29 09:23 Eleni 阅读(3) 评论(0) 推荐(0)

mid term exam
该文被密码保护。

posted @ 2019-10-25 20:13 Eleni 阅读(3) 评论(0) 推荐(0)

lecture 10.23
摘要：1. Prim's Algorithm时间复杂度：找到最小edge O(V*E) 利用priority queue找最小edge时，O(V*logE) 2. priority queue: 有的queue需要按照一定顺序输出，而不是queue默认的先进先出原则（FIFO） join: O(1) le 阅读全文

posted @ 2019-10-24 10:56 Eleni 阅读(125) 评论(0) 推荐(0)

lecture 10.22
摘要：1. 不能使用master theorem的地方 2. basic induction 3. inductive case中也可以分别对base case0，1两种情况分别证明p(k+2)成立，即分别证明奇数成立，偶数成立 4. induction m upwords induction steps 阅读全文

posted @ 2019-10-23 11:00 Eleni 阅读(113) 评论(0) 推荐(0)

lecture 10.21
摘要：1. 算法检测所给graph是否有Euler Path a) 假设点都是连续的 b) 假设每点的degree是已知的，我们不需要一个点一个点的数 O(1) 假设degree需要自己计算，每个vertex的cost是O(V), 总cost是O(V^2) c) 用循环检测所有vertices O(V) 阅读全文

posted @ 2019-10-22 19:13 Eleni 阅读(176) 评论(1) 推荐(0)

algorithmic analysis
摘要：1. asymptotic analysis: 随着input的增加，成本规模的变化, 可以参照9024之前讲过的 分别考虑每一步所带来的成本； 考虑最坏的情况(如遍历寻找某一个值时，需要假设这个值在列表的最后面)； 2. 3. mathematical induction 4. example o 阅读全文

posted @ 2019-10-21 08:14 Eleni 阅读(163) 评论(0) 推荐(0)

recursion
摘要：1. Solving recurrences (a) Unwinding the recurrence:find the genral pattern while describe step by step (b) Approximating with big-O: compare before a 阅读全文

posted @ 2019-10-20 13:48 Eleni 阅读(224) 评论(0) 推荐(0)

graph(2)
摘要：1. calloc(size_t nelems个数, size_t nbytes所需空间): 分配出nelems*nbytes的内存，这块内存里的所有字节初始化为0 2. DFS 所有vertex最多走一次(O(v))，所有标记了visited vertices的都走过(O(E))，时间复杂度为O( 阅读全文

posted @ 2019-10-20 11:08 Eleni 阅读(214) 评论(1) 推荐(0)

lecture 7
摘要：1. makefile: 定义了一系列规则指定了文件的编译顺序，以及哪些文件需要重新编译。在make指令下，整个工程将自动开始编译。如果这个工程没有编译过，那么我们的所有C文件都要编译并被链接；若只是工程中的几个文件被修改，则重新编译这几个文件并链接即可 target为目标文件，可以为object 阅读全文

posted @ 2019-10-14 19:17 Eleni 阅读(175) 评论(1) 推荐(0)

lecture 10.11
摘要：1. struct中的pointer： 下面两者实现的功能是不一样的： (a) *wp.salary=12500 (b) w.salary=12500 因为.的优先级更高，所以(b)会被翻译为*(wp.salary)=12500 所以应该写成*(wp).salary=12500或者wp->salar 阅读全文

posted @ 2019-10-13 17:24 Eleni 阅读(184) 评论(1) 推荐(0)

functions and Big-O notation
摘要：1. functions: f : S → T, is a binary relation f ⊆ S ×T such that for all s ∈ S there is exactly one t ∈ T such that (s,t) ∈ f unique element related t 阅读全文

posted @ 2019-10-10 10:44 Eleni 阅读(203) 评论(0) 推荐(0)

Dynamic Data Structures
摘要：1. 问题：给定集合S，是否能找到subset使其加和为1000 方法一：用n bits表示集合中的所有元素，每一个bit代表集合中的一个元素，如果bit取值为1则A[i]属于subset，反之不属于 如：A[ ]={1,2,3,5}, 则1100表示subset={1,2} 共有2n种情况，故而时 阅读全文

posted @ 2019-10-10 10:19 Eleni 阅读(369) 评论(1) 推荐(0)

作业出现的问题
摘要：1. for循环里所有的执行语句都要放在{ }中 2. 如果在compile中没有报错，但是在execute中出现错误提示LINK : fatal error LNK1168: cannot open Debug/question1.exe for writingError executing li 阅读全文

posted @ 2019-10-10 06:46 Eleni 阅读(195) 评论(0) 推荐(0)

week 1 problem set
摘要：1 # include 2 int choose(int n); 3 int main() 4 { 5 int i=2,a=1,b=1,c=2; 6 printf("%d\n%d\n",a,b); 7 for (i=2;i<=10;i++) 8 { 9 c=a+b; 10 a=b; 11 b=c;... 阅读全文

posted @ 2019-10-08 13:30 Eleni 阅读(160) 评论(0) 推荐(0)

右复合及映射
摘要：1. 设F，G为二元关系，G对F的右复合记作FoG，其中F是复合到G上的第二步作用 2. 若(值域)ranf=B，则称f:A→B是surjective 若different input can get different output，则称f:A→B是injective 若f:A→B既是surjec 阅读全文

posted @ 2019-10-08 09:15 Eleni 阅读(2967) 评论(0) 推荐(0)

C语言练习总结
摘要：1. str更为直观的初始化方法为: char c[]={"I am happy"}; char c[]="I am happy"; 2. 调用strlen函数计算字符串的长度，不包括结束字符，用到的标准库为<string.h>： 上面代码返回的结果为7。需要注意的是，strlen的返回结果为siz 阅读全文

posted @ 2019-10-07 12:06 Eleni 阅读(221) 评论(1) 推荐(0)

binary relations
摘要：1. 2. give examples of relations with specified properties, S, not R, not T example: inequality 3. equivalence relations Reflexive; Symmetric; Transit 阅读全文

posted @ 2019-10-05 14:04 Eleni 阅读(880) 评论(0) 推荐(0)

9020quiz总结
摘要：quiz 1 1. For all m,n ∈ ℕ>0 and all a,b ∈ ℤ: if a = b (mod m) and a = b (mod n) then a = b (mod mn) answer: False 如17和5关于2同余1，关于4同余1，但是2*4=8，17和5不关于8同 阅读全文

posted @ 2019-10-04 21:49 Eleni 阅读(677) 评论(0) 推荐(0)

analysis of algorithms
摘要：1. 2. binary search (sorted array) 给定查找对象，array，以及最大最小的范围；将查找对象与middle作比较，进而改变最大最小的范围，然后调用递归 时间复杂度的计算要考虑最坏的情况，本题中最坏的情况类比一条面包每天吃一半几天吃完的问题，时间复杂度为log以2为底 阅读全文

posted @ 2019-10-03 16:34 Eleni 阅读(207) 评论(0) 推荐(0)

Measurement of Reflected Radiation
摘要：1. (quiz) spectral resolution光谱分辨率：land set>spot (band 更少) 2. transparency透明性：microwave > visible > NIR 3. Landsat MSS bands 其中band 4应该为蓝色，信号弱 4. ampl 阅读全文

posted @ 2019-10-03 13:29 Eleni 阅读(237) 评论(0) 推荐(0)

lecture 5
摘要：1. 2. m*n=n*m并不总是成立，如m,n为array时 3. u为universal的缩写，即全集 4. 证明时严格按照公式顺序写，很多时候需要用commutativity调换顺序，每一步只能用一个公式 5. 6. If A is a set defined using ∩, ∪, ∅ and 阅读全文

posted @ 2019-10-02 10:20 Eleni 阅读(150) 评论(0) 推荐(0)

lecture 3
摘要：1. ADO(Abstract Data Object): 不向用户展示具体的实现，更好的提供灵活性 2. 用stack实现括号配对，检查所有括号是不是成对出现的 找到左括号加入stack中，找到右括号之后判断stack是否为空，为空则直接返回false，不为空则对stack进行pop，直到EOF( 阅读全文

posted @ 2019-10-01 10:00 Eleni 阅读(146) 评论(1) 推荐(0)

导航