西安电子科技大学计算机学院导师:段振华

发布时间:2021-11-22 编辑:考研派小莉 推荐访问:
西安电子科技大学计算机学院导师:段振华

西安电子科技大学计算机学院导师:段振华内容如下,更多考研资讯请关注我们网站的更新!敬请收藏本站,或下载我们的考研派APP和考研派微信公众号(里面有非常多的免费考研资源可以领取,有各种考研问题,也可直接加我们网站上的研究生学姐微信,全程免费答疑,助各位考研一臂之力,争取早日考上理想中的研究生院校。)

西安电子科技大学计算机学院导师:段振华 正文


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

硕士学科
(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服务的建模与验证
●基于命题投影时序逻辑的模型检测

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



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

以上老师的信息来源于学校网站,如有更新或错误,请联系我们进行更新或删除,联系方式

添加西安电子科技大学学姐微信,或微信搜索公众号“考研派小站”,关注[考研派小站]微信公众号,在考研派小站微信号输入[西安电子科技大学考研分数线、西安电子科技大学报录比、西安电子科技大学考研群、西安电子科技大学学姐微信、西安电子科技大学考研真题、西安电子科技大学专业目录、西安电子科技大学排名、西安电子科技大学保研、西安电子科技大学公众号、西安电子科技大学研究生招生)]即可在手机上查看相对应西安电子科技大学考研信息或资源

西安电子科技大学考研公众号 考研派小站公众号
西安电子科技大学

本文来源:http://www.okaoyan.com/xiandianzikeji/daoshi_551119.html

推荐阅读