編譯原理和技術陳意雲
1. 陳意雲的主要研究方向
形式語義、代數規范、范疇論、類型論和重寫技術等形式描述技術的應用，程序設計語言的設計與實現技術，基於語言的安全技術。
編譯原理和技術（第二版），獲第二屆安徽圖書獎一等獎,1998
2. 千分相送，請問中科院遙感與應用所09年考研專業課科目
中科院遙感與應用所
二OO九年碩士招生專業目錄
專業：信號與信息處理，代碼：081002
招生人數：9人。具體招生人數以教育部下達招生計劃為准
免推生比例：50%。
復試考試科目：程序設計與演算法語言
標注ˇ符號的導師招收碩博連讀生。
研究方向
指導
教師
招生
人數
考 試 科 目
01遙感信息處理
唐娉ˇ
1
①101政治②201英語③301數學（一）
④945信號與系統或946計算機軟體基礎或943數字信號處理
郭子祺
1
趙忠明ˇ
1
02航天遙感信息技術及應用
余濤ˇ
1
①101政治②201英語③301數學（一）
④945信號與系統或946計算機軟體基礎或943數字信號處理
閔祥軍
1
蔣興偉
1
03遠程通訊地學處理
薛勇ˇ
1
①101政治②201英語③301數學（一）
④945信號與系統或946計算機軟體基礎或943數字信號處理
04環境遙感信息處理與應用
尹球ˇ
2
①101政治②201英語③301數學（一）
④945信號與系統或946計算機軟體基礎或943數字信號處理
專業：地圖學與地理信息系統，代碼：070503
招生人數：37人。具體招生人數以教育部下達招生計劃為准
免推生比例：50%。
復試考試科目：程序設計與演算法語言
標注ˇ符號的導師可招收碩博連讀生。
研究方向
指導
教師
招生
人數
考 試 科 目
01定量遙感
李小文ˇ
1
① 101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
顧行發ˇ
1
宮鵬ˇ
1
柳欽火ˇ
1
陳良富ˇ
1
李紫薇ˇ
2
劉強
1
02微波遙感
邵芸ˇ
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
施建成ˇ
2
03高光譜遙感
童慶禧ˇ
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
張立福
1
張霞
1
04生態環境遙感
吳炳方ˇ
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
孟慶岩
1
05農業遙感
吳炳方ˇ
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
李加洪
1
06資源環境遙感
張增祥ˇ
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
燕守勛
1
黃曉霞
1
07全球變化遙感
牛錚ˇ
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
09水色遙感
唐軍武
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
11地理信息系統
研究與應用
池天河
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
王世新
1
喬彥友
1
周藝
1
劉亞嵐
1
王橋
1
黃波
1
12網路空間信息系統
楊崇俊ˇ
1
①101政治②201英語③302數學（二）
④946計算機軟體基礎或942地理信息系統概論或941自然地理學
13虛擬地理環境
龔建華ˇ
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
15遙感信息處理與分析
駱劍承
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
16環境遙感
曹春香
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
17攝影測量與遙感
邸凱昌
2
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941
劉少創
1
①101政治②201英語③302數學（二）
④944遙感概論或942地理信息系統概論或941自然地理學
參 考 書 目
1、政治，英語，數學（一），數學（二）採用全國碩士生入學理工科統考試卷。
2、「遙感概論」參考科學出版社趙英時著《遙感應用分析原理與方法》。
3、「地理信息系統概論」參考《地理信息系統導論》陳述彭，魯學軍，周成虎，科學出版社。
4、「自然地理學」參考科學出版社劉南威主編《自然地理學》教材。
5、「程序設計與演算法語言」參考書目為《C語言程序設計》譚浩強，2000年版，高等教育出版社；《數據結構》嚴蔚敏，吳偉民 2002年版，清華大學出版社。
6、「信號與系統」試卷內容為連續時間和離散時間信號與系統（包括在輸入輸出描述方式和狀態描述方式下，以及時域、頻域和復頻域）的一整套概念、理論和方法，及其在通信、信號處理中的主要應用，以及數字信號處理的基本概念和方法（DFT,FFT和數字濾波器）。參考書目《信號與系統：理論、方法和應用》，徐守時 中國科技大學出版社，修訂版，2003年版；《數字信號處理》3-5章，王世一 北京理工大學出版社。
7、「計算機軟體基礎」試卷內容為數據結構、操作系統、編譯原理。參考書目《數據結構》嚴蔚敏 清華大學出版社；《編譯原理和技術》 陳意雲 高等教育出版社；《計算機操作系統》 湯子瀛 西安電子科技大學出版社。
8、「數字信號處理」參考《數字信號處理》丁美玉，高西全，西安電子科技大學出版社，2001年版
參考網址http://www.irsa.ac.cn/cn/info/browse.jsp?id=1243&column=54
中國科學院中國遙感衛星地面站
單位代碼：80074 地址：北京市北三環西路45號 郵編：100086 網址：www.rsgs.ac.cn
聯系部門：人事教育處 電話：010-62564659，62558988 傳真：010-62559142
聯系人：何小偉 E-mail：[email protected]
學科、專業名稱(代碼) 招生 考 試 科 目 （後三科選一）
研 究 方 向 人數
070503 地圖學與地理信息系統 12
01 遙感信號與圖像處理 ①101政治理論 ②201英語 ③301數學一
④839地理信息系統 / 843遙感概論 / 865計算機技術基礎
02 光學與紅外遙感 同上
03 雷達遙感 同上
081002 信號與信息處理 23
01 遙感衛星信號處理 ①101政治理論 ②201英語 ③301數學一
④857自動控制理論 / 859信號與系統 / 862計算機軟體基礎
02 遙感衛星數據處理 同上
03 遙感信息處理 同上
註：
1、本目錄招生人數僅供參考，以當年全國研究生招生專業目錄為准。
2、政治理論，英語，數學一由國家統一出題。
3、其他考試科目由中科院研究生院統一命題，其考試大綱和樣題請登錄中科院研究生院招生信息網「碩士招生」欄目（http://admission.gucas.ac.cn/board.asp?cid=7&bid=68）查詢。
考試大綱參考http://admission.gucas.ac.cn/2008-7/200877140249.htm
參考網址http://www.rsgs.ac.cn/master/master.htm 地面站現在還沒有出09年的 過幾天你可以去這個網址查查看
3. 張昱的人物經歷
先後主持了4項和英特爾公司合作的項目和1項中國科學院計算機科學重點實驗室開放課題基金項目；作為技術骨幹參加了4項國家自然科學基金面上項目和1項高等學校博士學科點專項科研基金。
主要研究方向：
程序設計語言理論與實現技術,特別是面向新型系統結構的並行語言設計和編譯、並行程序分析和驗證,即時編譯器輔助的垃圾收集技術
XML數據處理等
近年來完成和正在進行的項目名稱：
新並行編程語言特性與範例的設計與可編程性研究
JIT輔助的垃圾收集
軟體安全性的驗證和編譯
XML流查詢引擎研究
Perl到Java虛擬機的移植
面向開放式運行平台的類型化低級語言
程序分析技術研究
「本地電話網網管與集中監控系統」和「電信動力及環境集中監控系統」
2006年 青年教師優秀教學津貼
2005年《編譯原理課程系列教材建設》安徽省教學成果三等獎
2001年 王寬誠育才獎
教材及教研論文：
陳意雲，張昱，《編譯原理》，普通高等教育「十五」國家級規劃教材，高等教育出版社，2003年。ISBN:7-04-013367-9
陳意雲，張昱，《編譯原理習題精選與解析》，高等教育出版社，2005年。ISBN:7-04-017812-5
張昱、陳意雲、鄭啟龍，編譯原理課程的教學方法和教材建設，中國大學教學，pages 61-62, 2005.7.
陳意雲、張昱、鄭啟龍，《編譯原理》的教學與實際相結合的探討，教育與現代化，77(4), pages 32~36，2005.
論文：
吳曉勇、張昱、孫東海，帶Order子句的XQuery在XML流上的查詢，小型微型計算機系統，已錄用.
曹益華、張昱，DTD可選的XML訪問控制研究，小型微型計算機系統，已錄用.
孫東海、張昱、吳曉勇，XML流上的XQuery前綴共享查詢，計算機科學，已錄用.
吳曉勇、張昱、孫東海，XQuery在XML流上查詢的結構化連接實現，計算機工程，已錄用.
張昱、劉玉宇，一種Java位元組碼優化框架，計算機工程，已錄用.
張昱，一種構建Java語言擴展的編譯器框架，計算機工程，已錄用.
Ming Fu, Yu Zhang. Homomorphism Resolving of XPath Trees Based on Automata. To appear in APWeb/WAIM 2007, June 2007.
張昱、吳年，一種逐層提升緩沖的XML流查詢自動機，小型微型計算機系統，28(3)，2007.3.
Xiong Fu, Yu Zhang, and Yiyun Chen. Data-Layout Optimization Using Reuse Distance Distribution. In Proceedings of the 1st International Workshop on Embedded Software Optimization (ESO 2006) EUC Workshops 2006, LNCS 4097, pages 858-867, 2006.
付雄、張昱、陳意雲，基於復用距離的cache失效率分析，小型微型計算機系統，27(9), pages 1777-1781，2006.9.
張昱、吳年，XSIEQ-一種立即計算的XML流查詢系統，小型微型計算機系統，27(8), pages 1514-1518，2006.8.
張磊、張昱、陳意雲，Perl擴展到JVM的移植，計算機工程，32(3), pages 94~96，2006.2.
張昱、張磊，LALR(1)解析器的再工程:剖析YACC和CUP，計算機工程，31(15), pages 50-52，2005.8.
張昱、李凡，用Xerces-J進行基於XML Schema的XML局部驗證，小型微型計算機系統，26(8), pages 1369-1373，2005.8.
徐麗、張昱、陳意雲，Perl後端到JVM的移植，計算機工程，31(8), pages 82-83，2005.4.
張昱，付雄，含XPath的表達式的解析與應用，小型微型計算機系統，2004，25(3):442-446。
張昱，XForms--下一代的Web窗體，小型微型計算機系統，2003，24(9):1658-1664。
於海亮，張昱，陳意雲，Teleform--一種基於XML的Web界面描述模型，小型微型計算機系統，2003，24(12):2111-2117。
張昱，林志勇，陳意雲，分布式多媒體系統中的媒體同步，小型微型計算機系統，2003，24(3):444-447。
周達仁，張昱，於海亮，陳意雲，三層結構WEB界面模型的綁定機制，小型微型計算機系統，2002，23(5):536-539。
張昱，任才俊，鄭連城，基於規則描述的分布式電信業務工單處理系統，小型微型計算機系統，2001，22(8):1007-1010。
林志勇，張昱，陳意雲，DirectShow在MPEG-1流式播放器中的應用，計算機工程，2001，27(6):140-142。