原创 Lambda演算學習筆記[zz]

前言 blog好久沒有更新了,上次更新還是4月28號。這段時間實在是很忙,4月的最後一週爲了趕一篇論文,累死累活,最後在tom的幫助下總算在4月30號截稿之前完成了。4月29號的晚上一直改到了第二天凌晨3點才睡。 4月30號下午回家,可

原创 曾經的網絡考試複習

Chapter 1 概述 計算機網絡: 通過同一種技術相互連接起來的一組自主計算機的集合 計算機網絡vs分佈式系統: 分佈式系統建立在網絡之上,具有高度的內聚性和透明性 服務、接口、協議: 服務是爲緊鄰上層提供的功能調用,服務通過服

原创 端口掃描方法[轉]

  一,端口掃描技術 基本的TCP connect()掃描 TCP SYN掃描(半開連接掃描, half open) TCP Fin掃描(祕密掃描,stealth) TCP ftp proxy掃描(bounce attack) 用IP分

原创 搜索小技巧[轉自小木蟲]

1. allinanchor: anchor是一處說明性的文字,它標註說明了這個鏈接可能跳轉到其它的網頁或跳轉到當前網頁的不同地方。當我們用allinanchor提交查詢的時候,Google會限制搜索結果必須是那些在anchor文字裏包含

原创 我的技術博客搬家至此

雖然教育網上CSDN異常的慢,但介於ChinaUnix實在不穩定,還是毅然決定將博客搬至此地。 以後在此安家啦~~ 點贊 收藏 分享 文章舉報 nickscofield 發佈

原创 曾經的圖形學考試複習

可能的考題: 1.基本圖形的統一描述 數據結構填表 2-3 2.交點向量特徵值的計算 填表 2-7 3.重交點的取捨規則 4.交點特徵值的作用 5.方向的正負定義(直線左負右正、圓逆正順負) 6.矩陣變換的證明(旋轉矩陣、錯切矩陣、平移

原创 消隱的實現

最近做了個圖形學的大作業。一開始還不知道怎麼把一個三維存儲的圖形呈現到平面內,一天內,確實只有一天內就完成了基本的投影和消隱算法,頗有成就感! 其實在投影上作了很大的簡化,僅僅把圖像投影到xy平面,可想有多簡單了吧~取xy座標值即可。

原创 symbolic model checking notations

  通常的分析方法是:list/table represent the state space symbolic model: represent the state space symbolically Temoral Logic  

原创 常用BT種子tracker服務器地址列表

udp://tracker.bitcomet.net:8080/announcehttp://www.manfen.net:7802/announcehttp://ptracker.cjb.net:6700/announcehttp://

原创 併發編程的 15 條建議(譯) zz

內核專家 Bryan Cantrill 和 Jeff Bonwick 在 2008 年 9 月的《ACM Queue》上發表了《Real-world Concurrency》 一文,提出了 15 條併發編程的建議,這裏簡單摘錄如下。 1

原创 多核時代不宜再用 x86 的 RDTSC 指令測試指令週期和時間

多核時代不宜再用 x86 的 RDTSC 指令測試指令週期和時間 陳碩Blog.csdn.net/Solstice 自從 Intel Pentium 加入 RDTSC 指令以來,這條指令是 micro-benchmarking 的利器,

原创 模式識別與機器學習的簡介(zz)

模式識別與機器學習的關係 模式識別源自工程,是一類問題 (problem);機器學習源自數學,是一類方法(methodology)。對於一個具體的模式識別問題,可以用handcrafted rule-based的方法去求解,但是更復雜的P

原创 IEEE 通俗簡介~(轉載)

標  題: IEEE 通俗簡介~發信站: 北大未名站 (2007年03月23日02:11:54 星期五) , 站內信件 電子類學生大都知道IEEE, 這個IEEE就像一個大的BBS論壇,而這個協會下面有很多雜誌,比如圖像處理,信號處理,

原创 貪心算法[轉自王曉東《算法設計與分析》一書]

      所謂貪心算法是指,在對問題求解時,總是做出在當前看來是最好的選擇。也就是說,不從整體最優上加以考慮,他所做出的僅是在某種意義上的局部最優解。  貪心算法不是對所有問題都能得到整體最優解,但對範圍相當廣泛的許多問題他能產生整體最

原创 POSIX thread (pthread) libraries (ZZ)

    POSIX thread (pthread) libraries The POSIX thread libraries are a standards based thread API for C/C++. It allows