作者查詢 / KWire

總覽項目：發文 | 留言 | 暱稱

作者 KWire 在 PTT 全部看板的留言(推文), 共143則

限定看板：全部

首頁

尾頁

[理工] 102成大計系6 8 9

[ Grad-ProbAsk ]15 留言, 推噓總分: +5

作者: st474ddr - 發表於 2019/01/16 22:12(5年前)

12^F推KWire: 你發現 available==1 到把它減 1 中間不保證 atomic01/17 00:44

13^F→KWire: 你需要 atomic CAS 或類似的指令01/17 00:45

14^F→KWire: 再來沒有 disable IRQ ,鎖到一半中斷被 ISR 用到就爆掉了01/17 00:46

[理工] 作業系統

[ Grad-ProbAsk ]25 留言, 推噓總分: +9

作者: raysun011081 - 發表於 2018/10/05 01:04(5年前)

5^F推KWire: 為什麼 fork 出來的 child process 會影響全域變數？10/05 17:34

6^F推KWire: man fork明確說到父子程序run in separate memory spaces10/05 17:36

7^F推KWire: 所以不是 fork 完的父子程序都應該要有一份 c 的副本嗎？10/05 17:39

14^F→KWire: 哪個部分使 c 在父子程序間有 shared memory 的行為？10/05 21:33

15^F→KWire: c 應該位於父程序記憶體的 .data 段10/05 21:34

16^F→KWire: 該記憶體段fork時不是會複製給子程序，因此兩個是獨立的？10/05 21:36

17^F推KWire: fork 完之後兩者看到的c就不同，或至少是 COW 的吧？10/05 21:40

[理工] 線代第一章 1-54 row-echlon form

[ Grad-ProbAsk ]12 留言, 推噓總分: +6

作者: yunghan15 - 發表於 2018/09/25 21:52(5年前)

6^F推KWire: REF的定義要求「首項的 1 是該行唯一非零元素」09/26 20:57

[理工] 直和的觀念問題（4題）已刪文

[ Grad-ProbAsk ]13 留言, 推噓總分: +6

作者: meokay - 發表於 2018/09/21 14:09(5年前)

7^F推KWire: Q1 Friedberg 第二章有一題就是在講這個。09/22 02:59

8^F→KWire: 結論是 T 是 L(V) 且 V 有限維時證一個就好。09/22 02:59

9^F→KWire: 查了一下是第四版 2.1 的第 35 題09/22 03:00

10^F推KWire: Q2 就是 Q1 的結果，因為這時兩個交集顯然只有 009/22 03:02

11^F推KWire: Q3 未必對。投影函數隨便抓一個就是反例09/22 03:04

12^F→KWire: Q4 投影函數的其中一個等價條件就是冪等09/22 03:05

13^F→KWire: 所以其實 Q4 就造了原 Q3 的反例09/22 03:05

[理工] 線代矩陣有解的判斷

[ Grad-ProbAsk ]31 留言, 推噓總分: +16

作者: piskebee - 發表於 2018/09/13 08:03(5年前)

12^F推KWire: 如果把 A 看成一個 F^n 到 F^m 的線性轉換09/13 11:16

13^F→KWire: 每個 F^m 裡面的東西都有解，表示是 A 是 onto09/13 11:17

14^F→KWire: 所以 A 的值空間就要是 F^m，維度就要一樣09/13 11:17

15^F→KWire: 每個 F^m 裡面的東西至多一解表示 A 至少是 1-109/13 11:18

16^F推KWire: 值空間的維度至少要是 n，但線轉不會升維度，所以只能是 n09/13 11:19

19^F推KWire: 假設 n 維定義域的值空間升到 n + k 維09/13 12:08

20^F→KWire: 把那組 n + k 維基底 T(x1) … T(x_{n + k}) 找出來09/13 12:08

21^F推KWire: 寫下線組=0 iff 係數全0 並把線性組合通通塞回 T 裡面09/13 12:11

22^F推KWire: 發現這個 n 維空間居然有元素數 n + k 的線性獨立集，矛盾09/13 12:14

23^F推KWire: 或有非零元素被送到0，那值空間顯然不可能比n維大，也矛盾09/13 12:19

29^F推KWire: 表示有些 F^m 中的元素不能表示成 A 的行向量的線性組合09/14 12:01

線代關於冪等算子的ker(T)

[ Grad-ProbAsk ]6 留言, 推噓總分: +3

作者: o5739201 - 發表於 2018/08/31 20:24(5年前)

1^F推KWire: N(T^2) 一定包含 N(T) ，因為若 T(v) = 008/31 22:24

2^F→KWire: 則 T(T(v))=T(0) = 008/31 22:24

3^F推KWire: 同理任意正數 i 有 N(T^(i+1)) 包含 N(T^i)08/31 22:32

4^F→KWire: 有種 i 越大 N(T^i) 會包含越多元素的味道08/31 22:33

5^F推KWire: 但其實到某個i就不會變大了。可以參考4 版炸漢堡Thm 7.1808/31 22:38

[理工] 線代 4-91

[ Grad-ProbAsk ]5 留言, 推噓總分: +3

作者: hkdjiun - 發表於 2018/08/29 18:03(5年前)

2^F推KWire: 他想說的是 AB 這個 mxm 矩陣不是 full-rank，故不可逆08/29 18:37

[理工] 線代對角化

[ Grad-ProbAsk ]12 留言, 推噓總分: +6

作者: AAQ8 - 發表於 2018/08/28 16:44(5年前)

4^F推KWire: 因為 A^2 = P S^2 P^-1 & 矩陣分配律 &08/28 19:58

5^F→KWire: 對角矩陣相乘相加仍是對角矩陣08/28 19:58

6^F推KWire: 翻了一下前面好像有討論能不能假定 A 可對角化的問題08/28 20:41

7^F推KWire: 其實可以假定 A 存在 Jordan Form (只要 splits 就存在)08/28 20:46

8^F→KWire: 依照Jordan Form左下是不是1討論。會發現左下是1會矛盾08/28 20:48

9^F推KWire: 更正是右上抱歉打太快08/28 20:51

[問題] 該修資工的線代還是看線上課程？

[ NTUcourse ]28 留言, 推噓總分: +23

作者: milktea33 - 發表於 2018/08/14 17:47(5年前)

20^F推KWire: 樓下請解釋怒空僅零08/15 21:26

23^F推KWire: 我只聽過極小可除滅除。樓下有印象推推特空間直和定理嗎？08/16 03:06

[問題] 完全門外漢修資工ada或sp的存活可能性

[ NTUcourse ]42 留言, 推噓總分: +20

作者: silentbox - 發表於 2018/08/11 14:53(5年前)

34^F推KWire: ADA一堆老師有自己的網站跟上課影片，自己去看看再評估啊08/15 21:29

首頁

尾頁