编译原理和技术陈意云

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。