导师姓名 段振华
导师类型 硕士生导师、博士生导师
工作状态 在职
职称 教授
最高学历 博士研究生

硕士学科
(081202)计算机软件与理论
博士学科
(081202)计算机软件与理论

工作单位 计算理论与技术研究所
办公电话 029-88202883
办公地址 新科技楼705 通讯地址
电子邮箱 zhenhua_duan@126.com
主页地址 http://web.xidian.edu.cn/zhhduan/

个人简历
段振华，博士，教授，博士生导师。1982年和1987年分别获西北大学学士和硕士学位，1989年到英国学习。1996年7月和1997年2月分别获Newcastle大学理学博士学位和Sheffield大学工学博士学位。2003年回国工作。现任西安电子科技大学计算理论与技术研究所所长。

主要研究方向及感兴趣的领域
（1）高可信软件技术；
（2）P2P与服务计算（包括云计算）；
（3）基于FPGA的嵌入式系统。

研究成果与着作、个人代表作、获奖情况
段教授领导的团队，开发了5个与项目相关的软件系统原型：
● 框架时序逻辑程序设计语言—Framed Tempura 解释器
● Hp2p 软件
●模型检测器原型
●Web Services支持环境
●用c/c++语言设计开发了一个运行于linux操作系统的具有彩色图形界面的 FPGA支持软件。

已经发表的与项目相关的论文有：
[1] Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny, Framed Temporal Logic Programming, Science of Computer Programming, Elsevier Science，Accepted paper. 2007
[2] Zhenhua Duan, Cong Tian and Li Zhang, A Decision Procedure for Propositional Projection Temporal Logic with Infinite Models. Acta Informatica. Accepted Paper. 2007
[3] Zhenhua Duan and Maciej Koutny, A framed temporal logic programming language, Journal of Computer Science and Technology, Vol 19, No.3, May 2004
[4] Duan Z., Holcombe M., Bell A., A logic for biological systems. Elsevier Science, BioSystems 55 (2000) 93-105, 2000
[5] Lihui Lei, Zhenhua Duan, Integrating AJAX and Web services for cooperative image editing, IT Professional, Vol9, No 3, p 25-29,May/June, 2007
[6] Zhenhua Duan, Temporal Logic and Temporal Logic Programming. Science Press, China, 2006.
[7] Zhenhua Duan, Modeling and Analysis of Hybrid Systems. Science Press, China, 2005.
[8] Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny, Semantics of Framed Temporal Logic Programs,Proceedings of ICLP2005 Spain, Sigtes, LNCS 3886, pp.356-370, Springer Verlager, Oct. 2005
[9] Zhenhua Duan and Cong Tian, Decidability of Propositional Projection Temporal Logic with Infinite Models. Theory and Applications of Models of Computation, Lecture Notes in Computer Science, 4484, 521-532. Springer-Verlag, 2007
[10] Cong Tian and Zhenhua Duan, Model Checking Propositional Projection Temporal Logic Based on SPIN. ICFEM 2007, Lecture Notes in Computer Science, 4789, 246-265. Springer-Verlag, 2007
[11]Xiaoxiao Yang, Zhenhua Duan, Operational Semantics of Framed Temporal Logic Programs, SOFSEM 2007, LNCS 4362,pp.566-578. Springer Verlag, Jan.2007
[12] Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang: An Interpreter for Framed Tempura and Its Application. TASE 2007: 251-260，Shanghai, 2007
[13] Peng Men, Zhenhua Duan, Bin Yu, Utilizing Fuzzy Petri Net for Choreagraphy Based Semantic Web Services Discovery, ATPN07,Siedlce, Poland, LNCS, Springer, 6,2007
[14] Lihui Lei , Zhenhua Duan, Semantic Matching of Web Services for Collaborative Business Processes, LNCS 4202，Springer Verlag, 2007
[15] Lihui Lei, Zhenhua Duan, Automating Web Service Composition for Collaborative Business Processes, CSCWD 07, IEEE, Melbourne,Australia,2007
[16] Zhenhua Duan, Xiaobing Wang, Implementing Pointer in Temporal Logic Programming Languages, Proceeding of SBMF2006, pp.171-184, Natal, Brazil, Sep. 2006
[17] Lihui Lei, Zhenhua Duan, Bin Yu, Semantic Matching of Web Services Based on Choreographies, The Proceedings of the 10th International Conference of Computer Supported Cooperative Work in Design (IEEE), P751-756, Nanjing, China. May 2006
[18]Lihui Lei, Zhenhua Duan, Transforming OWL-S Process Model i n t o EDFA for Service Discovery, The Proceeding of the IEEE International Conference on Web Services (ICWS06), p137-144, Chicago, USA. September, 2006
[19]Zhile Zou, Zhenhua Duan, Jianli Wang, A Comprehensive Framework for Dynamic Web Services Integration, The Proceedings of the 4th IEEE European Conference on Web Services (ECOWS06), p211-220, Zurich, Switzerland, Dec. 2006
[20]Zhile Zou, Zhenhua Duan, Building Business Processes or Assembling Service Components: Reuse Services with BPEL4WS and SCA, The Proceedings of the 4th IEEE European Conference on Web Services (ECOWS06), p138-147, Zurich, Switzerland, Dec. 2006
[21]Duan Z., Koutny M., and Holt C.: Projection in temporal logic programming. In F. Pfenning, editor, Proceeding of Logic Programming and Automatic Reasoning, Lecture Notes in Artificial Intelligence, a subseries of LNCS, Vol.822, pp333-344, Springer Verlag, July, 1994.
[22]Zhuo Peng, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Ertao Lv，“HP2P: A Hybrid Hierarchical P2P Network”,The Proceedings of The First International Conference on the Digital Society (IEEE)(ICDS 2007), Guadeloupe, French Caribbean, Jan. 2007 9．
[23]Ertao Lv, zhenhua Duan, Jian-Jun Qi, Yang Cao and Zhuo Peng,“Incorporating Clusters i n t o Hybrid P2P Network”, The Proceedings of The First International Conference on the Digital Society (IEEE)(ICDS 2007),Guadeloupe, French Caribbean, Jan. 2007
[24] W. Wang and Z. Duan: A Multi-Fingerprints Based AntiSpam Peer-to-Peer Network, ISBN：4-916227-17-4, ISFST’04, Xian, China Oct. 2004
[25]段振华，带ε的回溯自动机， 计算机科学，8，2003
[26] 雷丽珲 , 段振华，基于工作流模式的OWL-S过程模型分析及其应用，计算机科学，6月 2007
[27] 张海宾，段振华，“多速率混合系统的符号化可达性分析”，西安交通大学学报2007年第四期
[28] 张海宾，段振华，“稠密时间区间时序逻辑的可满足性判定”， 西安电子科技大学学报 2007年第3期
[29] 张海宾，段振华，“混合投影时序逻辑与混合系统的形式化验证”，计算机科学 (已录取)
[30] 刘洪燕，段振华，张鹏飞，“Web服务提供方安全模型的设计、建模和分析”，计算机技术与发展, Vol16, No11, p162-165, 2006
[31] 张海宾*，段振华，“稠密时间区间时序逻辑的可满足性判定”，西安电子科技大学学报，Vol.34(3):463-467,2007.
[32] 雷丽晖*，段振华，“使用扩展区间时序逻辑为并发工作流建模”，西安电子科技大学学报，Vol.34(4):673-680,2007.
[33] 雷丽晖，段振华，“基于扩展投影时序逻辑的组合Web服务描述与验证”，西安交通大学学报，2007年第10期 页码: 1155-1159
[34]张鹏飞 段振华 田聪“状态图到PTL 形式规范的转化”, 第三届全国软件与应用学术会议论文集(《计算机工程与科学》，vol28， No A2, p122-125，Sep.2006
[35] 施小祥，段振华，“划分和时延驱动的动态可重构FPGA在线布局算法”， 全国第六届嵌入式系统学术年会论文集《计算机技术与发展》Vol16, 10月, 2006）, 12－15页,西安, 2006年10月

目前承担的科研项目及教学情况 目前承担的项目：
●*****开发方法及支持环境
●信息服务的需求获取与建模
●构造可信、高效软件系统的基础研究
●组合Web服务的建模与验证
●基于命题投影时序逻辑的模型检测

目前承担研究生教学任务：
基于互联网的计算

如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式