清朝画工

中国科学院软件研究所研究员(人物简介 学习经历 工作经历 研究成果 获奖情况)

西北农林科技大学林学院教授(人物简介 教学工作 科研工作 代表性论文 目前主持的科研项目)

国营第627厂产品研究所所长

郑州大学化工与能源学院硕士研究生导师(人物简介 开设课程 研究领域 研究项目 在研课题 论文专著 所获荣誉)

清朝画工

[清]康熙十四年（一六七五）重修山西永济永乐宫混成殿画工。《于希宁考察记》

中国科学院软件研究所研究员

人物简介

男，1963年6月出生于福建福安，1988年在挪威奥斯陆大学数学自然科学学院获博士学位，现任中国科学院软件研究所计算机科学国家重点实验室研究员，研究兴趣包括：程序正确性、模型检测、逻辑推理、形式化方法。

学习经历

1976-1978福建宁德地区民族中学

1978-1979北京大学

1979-1988挪威奥斯陆大学

工作经历

1986-1986挪威INENCO公司

1987-1987挪威奥斯陆大学

1988-1989中科院软件所

1989-1989香港Citibank公司

1989-1991挪威奥斯陆大学

1991-1993挪威Telemark学院

1993-1994中科院软件所

1994-1995挪威Telemark学院

1995-1997挪威Achilles公司

1997-2001挪威能源技术研究所

2001-2004中科院软件所

研究成果

主要从事形式化方法及相关领域的研究，在程序的形式验证、逻辑推理、模型检测、软件系统设计方法的形式化等方面有一定的研究积累。在自动推理的研究方面，对谓词公式中的量词和其它逻辑联结词作了详细的分析。区分了引理中它们的使用对证明的复杂性的不同影响。在这基础上分析了连接法和消解法及其变种与可自由使用引理的逻辑系统的关系，论证了这些方法在引理使用上的不同的局限性，加深了对自动定理证明方法的不足的认识，并揭示了扩展的消解法，即允许表示定义的重言子句集合加到初始子句集合进行消解，其功能实质上就是为了增加复杂引理应用的可能性，以提高推理效率。在这些工作的基础上，提出了一个分析模型个数的算法和一个命题逻辑公式判定的算法，取得了良好的理论效果。这方面的工作对认识自动定理证明的困难本质和命题逻辑公式判定算法的研究起到了一定的推动作用。在模型检测的研究方面，将模型检测方法应用于操作程序的验证，提出了多种针对具体应用做抽象和分不同情况以降低模型检测空间和时间复杂性的方法，包括将操作程序和操作环境的模型用中间进程分开，递增式地对操作环境进行建模和逐级验证以降低模型检测的应用门槛；基于对应用目标和模型的分析，将应用领域的特殊性质嵌入到模型及性质描述中以降低模型检测的复杂性；结合对模型的静态分析，将所选的不同情况嵌入到性质描述中以降低模型检测的复杂性。这方面的工作对模型检测在不同领域的应用有一定的借鉴作用。

获奖情况

1993年获王宽诚科研奖金资助

2002年获财政部中科院引进国外杰出人才资助

西北农林科技大学林学院教授

人物简介

性别：男

出生年月：1955．12

职称：教授，学历：研究生

学位：博士

学科点：森林培育学、植物学，森林植物专家、陕西省“三五”人才、国务院政府特殊津贴专家。

个人简历：

1982-1985: 西北林学院林学系森林植物专业，攻读硕士学位

1985.6-1987.6：助教，西北林学院, 森林资源保护系, 森林植物学教研室

1987.6-1994.11：讲师， 西北林学院, 森林资源保护系, 森林植物学教研室

1994.11-1998.12：副教授，西北林学院森林资源保护系,森林植物学教研室

1998.12-现在：教授，西北农林科技大学林学院

2001.3-现在： 西北农林科技大学，博士生导师

2000.6-现在： 东北林业大学，植物学科客座教授，博士生导师

1993-1995年: 东北林业大学学习, 植物专业博士

1995-1997年: 巴西圣卡洛斯联邦大学,植物系植物专业，一期博士后(巴西)

1997-2000年：东北林业大学, 林学学科, 二期博士后

1997.10-2000.6：东北林业大学植物学科客座教授,博士生合作导师

2001.3-现在： 中科院水利部水土保持研究所，中国科学院高级访问学者

2003.9-2004.3 瑞典农业大学园林景观规划系高级访问学者

教学工作

承担教授的课程： 树木学，园林植物学，植物种群生态学，生物多样性保护与利用，保护生物学，专业英语等。

培养研究生：在读硕士生12人（2005年）；在读博士生5人（2005）。

主编出版教材：

1) 谢国文,亨颜梅，张文辉主编.生物多样性保护与利用,长沙:湖南科技出版社.2001.8

2) 李景侠，康永祥，张文辉等，观赏植物学，北京：中国林业出版社. 2005．2

3) 张恒庆，张文辉，保护生物学，科学出版社，2005．8

获得的教学成果奖：

2000年：林业院校基础生物学课程体系及教学内容改革的研究，陕西省人民政府优秀教学成果奖二等奖（主持人）

科研工作

主持课题14项国家、省、部级研究课题。发表论文93篇（截至2004）

主编出版著作：

1) 张文辉著, 裂叶沙参种群生态学研究, 哈尔滨：东北林业大学出版社. 1998

2) 祖元刚，张文辉等著，濒危植物裂叶沙参保护生物学，北京：科学出版社.1999

获省部级以上科技奖：

获陕西省和黑龙江省科技进步二等奖2次，三等奖1次，林业厅科技进步二等奖1次，优秀论文奖国家级奖1次，省部级2次

主要成果摘要：

1989年：陕西南部栎林资源利用现状和未来预测，陕西省林业厅科技进步二等奖（主持人）

1990年：陕西南部栎林资源利用现状和未来预测，陕西省科技进步三等奖（主持人）

1997年：大兴安岭火烧基地不同更新方式比较的研究，黑龙江省科技进步二等奖（主要参加人）

1998年：三江平原低山区森林生态系统恢复与重建配套技术的研究，黑龙江省科技进步二等奖（主要参加人）

1999年：裂叶沙参与泡沙参种群的有性生殖和无性繁殖比较研究,黑龙江省优秀论文二等奖（第二完成人）

1999 年：论西北生物多样性特点及其研究思路中国科学技术协会，中国科学院等，中国99`青年科技论坛优秀论文三等奖（第一完成人）

2000年：林业院校基础生物学课程体系及教学内容改革的研究，陕西省人民政府优秀教学成果奖二等奖（主持人）

2003年：濒危植物种群生态学特征，陕西省科科协、人事厅优秀论文二等奖（ 第一完成人）

代表性论文

C. H. B. Prado, W. H. Zhang, M. H. C. Rojas, and G. M. Souza. 2004. The seasonal leaf gas exchange and leaf water potential in woody cerrado species community. Braz. J. Physiol. 16(1):7-16 (SCI)

张文辉，卢涛 马克明，周建云，刘世梁 闽江上游植物群落分布的环境与空间因素分析，生态学报，2004。24（3）：552-559

张文辉，王延平，康永祥, 刘祥君.太白红杉种群结构与环境关系，生态学报，2004，24（1）：41-46

张文辉,段宝利, 周建云,刘祥君. 不同种源栓皮栎幼苗叶片水分关系和保护酶活性对干旱胁迫响应, 植物生态学报, 2004。28（4）：4483-490

张文辉，李景侠，李红,刘祥君.独叶草种群年龄结构及动态分析，应用生态学报2004.15(4):561-565

张文辉，刘祥君,刘国彬，马克明.川西北泡沙参种群根系生长动态及其与环境因素关系研究.应用生态学报 2004，15(1):39-43

张文辉，卢志军，李景侠,刘国彬.秦岭北坡栓皮栎种群动态的研究，应用生态学报，2003，14(9):1427-1432

张文辉, 李红 李景侠 卢志军, 刘国彬.秦岭独叶草种群个体和构件生物量动态研究, 应用生态学报.2003. 14（4）:530-534

张文辉，王延平，康永祥.太白红杉种群分布格局的动态研究,应用生态学报,2005，16（2） ：207-212

张文辉,郭连金,许学华,李登武, 刘国彬.黄土丘陵区狼牙刺种群恢复及群落土壤水分养分效应.水土保持学报2004.18(6)：49-53

张文辉,许晓波,周建云,谢宗强.秦岭冷杉种群生殖生态学研究,生态学报，2006.26 (8): 2417~2424

张文辉，许晓波，周建云，谢宗强. 2005.濒危植物秦岭冷杉种群动数量态研究，应用生态学报，16（10）：1799-1804

张文辉，王延平，康永祥. 2005.太白红杉种群分布格局的动态研究,应用生态学报, 16（2） ：207-212

张文辉,郭连金,许学华,李登武, 刘国彬. 2004.黄土丘陵区狼牙刺种群恢复及群落土壤水分养分效应.水土保持学报18(6)：49-53(陕西)

张文辉，卢涛 马克明，周建云，刘世梁.2004. 闽江上游植物群落分布的环境与空间因素分析，生态学报， 24（3）：552-559

张文辉,段宝利, 周建云,刘祥君. 2004. 不同种源栓皮栎幼苗叶片水分关系和保护酶活性对干旱胁迫响应, 植物生态学报, 28（4）：483-490

张文辉，李景侠，李红,刘祥君. 2004.独叶草种群年龄结构及动态分析，应用生态学报15(4):561-565

张文辉,许学华,李登武. 2006黄土丘陵区经过30年恢复的狼牙刺种群动态研究,应用生态学报, 17(2)：182-186(陕西)

张文辉，许晓波，周建云，谢宗强. 2005.濒危植物秦岭冷杉种群动数量态研究，应用生态学报，16（10）：1799-1804（天津）

张文辉,卢彦昌,周建云,张晓辉,史小华. 2008.巴山北坡不同干扰条件下栓皮栎种群结构与动态,林业科学,44(7):11-16

张文辉，刘国彬.2009.黄土高原植被恢复与建设策略.中国水土保持，24-27

郭连金，张文辉，刘国彬.2007.黄土丘陵区沙棘人工林发育过程中物种多样性及种间关联变化,应用生态学报,18(1):9-15

张文辉，刘国彬。2007，黄土高原植被生态恢复评价、问题与对策，林业科学，43 (1）:102-106

目前主持的科研项目

自然科学基金项目: 栓皮栎无性繁殖及其在种群恢复中的作用(30872018),2009-2011年 主持人

国家自然科学基金，栓皮栎种子成苗的生态过程及在群落恢复中的功能（30740059）2008-2009，主持人

国家十一五科技支撑课题，商品林定向培育及高效利用技术研究,专题，柳树能源林高效栽培技术研究(2006BAD18B0102)，专题，瑞典能源柳栽培技术，2006-2010,主持人

国家十一五科技支撑课题（2006BAD09B03），植被优化配置与可持续建设技术，2006-2010，300万元，课题负责人（2），

5）中科院科学院西部行动计划项目(KZCX2-XB2-05 )“黄土高原水土保持与可持续生态建设试验示范研究”，课题，林草植被恢复与生态稳定性研究与示范，2006-2009，课题负责人（2）,专题主持人(1)

十一五科技支撑项目竹藤资源培育与高附加值加工利用技术研究(2006BAD19B0104),专题：箭竹林退化生态系统恢复技术研究,主持人

科技部重点基础研究项目,森林生态学研究观测数据加工整合，中国林科院，2007-2010 主持人

国营第627厂产品研究所所长

张文辉

1964年8月生，湖南湘潭市人。1986年毕业于北京理工大学车辆工程系。现任国营第627厂产品研究所所长，技术中心主任，高级工程师。

从事特种车辆的研究，主持并参与多项武器装备科研项目。获兵器工业集团公司科技创新二等奖1项。

1998年被授予湖南省“劳动模范”、全国“五一劳动奖章”，1999年被评为湘潭市“十大杰出青年”，2000年荣获全国“劳动模范”称号、湖南省“青年五四奖章”，2003年被评为湘潭市优秀专家。

湖南省政协委员、湖南省青年联合会委员。

郑州大学化工与能源学院硕士研究生导师

人物简介

张文辉，男，1964年10月1日出生，河南西华县人，大学本科学历，1986 年毕业于郑州工学院，现任郑州大学化工与能源学院高级工程师/硕士生导师。

开设课程

专业外语，文献检索，化工设计等

研究领域

工业废弃物的资源化利用，环境生物工程，化学肥料，无机化工产品开发，电化学等

研究项目

碳酸钾新工艺的研究与开发；新型膜催化技术及其在污水处理中的应用；污泥的资源化利用；新型缓释肥料的研究与开发等。

在研课题

SPE复合膜电极的制备及其应用；污泥的生化处理及制肥研究；化学合成缓释肥料研究；新型缓释材料的开发;一种联合生产碳酸钾和碳酸镁的方法，新型控制释放包膜肥料的研究开发，树用控制释放肥料的研究开发等。

论文专著

在《材料学报》，《化工矿山与加工》，《中氮肥》，《磷肥与复肥》，《化肥工业》，《fertilizer research》等国内外刊物发表论30余篇。

所获荣誉

获郑州市优秀教师；“部分酸化磷矿一步法制粒状复合肥及其工艺”2000年获国家十大专利金奖（第二完成人），河南省科技进步二等奖（第一完成人）；‘以肥料包肥料的控制释放肥料的研究与开发“获化工部发明二等奖（第二完成人），国家发明三等奖（第四完成人）；“包硫尿素的研究与开发”获化工部科技进步三等奖（第一完成人）。

获发明专利四项；实用新型专利三项，均为第一发明人。