段振华
现代高科技软件系统的研制和开发
个性化签名
- 姓名:段振华
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机科学技术
- 研究兴趣:现代高科技软件系统的研制和开发
段振华博士,计算机学院教授,博士生导师。1982 和1987 年在西北大学先后获得计算机科学学士和软件工程硕士学位。1989 年到英国留学,2003 年元月回国工作。1996 和1997 年先后获得英国Newcastle 大学理学博士和Shemeld 大学工学博士学位。并在Sheffield 大学从事博士后研究一年。在英国13 年,先后承担了英国SERC 和EPSRCZ 项研究课题。在时序逻辑,时序逻辑程序设计,实时系统和混合系统的理论和应用及网络通讯等方面进行了深入的研究,发表了20 多篇学术论文和研究报告,其中著名国际会议和杂志7 篇,撰写了两篇博士论文。开发了一个支持时序逻辑程序设计的软件工具。
在软件工业界工作了5 年多,先后在英国、美国、德国和法国著名公司,从事现代高科技软件系统的研制和开发。对软件设计可发和管理积累了丰富的经验。
在国内工作期间,曾长期从事计算机科学理论和软件工程的研究,发表了20 多篇学术论文,其中一级学报5 篇。目前研究方向:1 .实时,混合系统的理论和应用技术;2 .网络计算和网络软件(包括中间件,构件,XML ,语义WEB ,和P2P ) ; 3 .嵌入式系统和SOPC 技术;4 .时序逻辑程序设计;
在研项目:
自然科学基金重点项目:框架时序逻辑程序设计,180 万,05 . 1—08.12
自然科学基金项目:混合系统的形式验证,24 万,04 . 1—06.12
博士点基金项目:混合系统的模型检查,5 万,04 . 1—06.12
中科院软件所计算机科学重点实验室开放基金项目:实时和混合系统的模型检查,4 万,04 . 1 一05 . 12
-
主页访问
3623
-
关注数
0
-
成果阅读
1130
-
成果数
13
【期刊论文】A Peer-to-Peer Based Antispam Network
段振华, Wenqiang Wang, Zhenhua Duan, Ertao Lv
,-0001,():
-1年11月30日
This paper introduces a peer-to-peer based network for spam filtering.In this network, CopyRank values of emails are stored and used to determine whether a new email is a spam or not Multi-fingerprints method is proposed and employed to deal with spammer's tricks of slightly changing the content of each copy of a spam.
Peet-to-Peer,, AntiSpam,, Bayes
-
90浏览
-
0点赞
-
0收藏
-
0分享
-
169下载
-
0评论
-
引用
【期刊论文】A Framed Temporal Logic Programming Language
段振华, Zhen-Hua Duan, and Maciej Koutny
May 2004, Vol. 19, No.3, PP. 341~351,-0001,():
-1年11月30日
We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique in also presented, usinig which a synchronization operator, await, is defined withim the underlying logic. A framed temporal logic programming language (FTLL) is presented. To illustrate how to use both the language and framing technique, some examples are given.
temporal logic,, temporal logic programming,, frame,, projection,, concurrency
-
84浏览
-
0点赞
-
0收藏
-
0分享
-
139下载
-
0评论
-
引用
【期刊论文】Projection in Temporal Logic Programming*
段振华, Zhenhua Duan**, Macifj Koutny and Chris Holt
,-0001,():
-1年11月30日
We define a projection operator in the framework of the temporal logic programming. Its syntax and semantics are presented and illustrated with examples. We also discuss the implementation details of the projection construct.
Temporal logic,, programming,, Projection.,
-
82浏览
-
0点赞
-
0收藏
-
0分享
-
97下载
-
0评论
-
引用
【期刊论文】TIMED INTERVAL TEMPORAL LOGIC AND MODELLING OF HYBRID SYSTEMSL
段振华, Z.H. Duan, and W.M. Holcombe, D.A. Linkens
,-0001,():
-1年11月30日
We generalize Interval Temporal Logic to include absolute time and are motivated to model Hybrid systems consisting of discrete, continuous, and heuristic components. The syntax and semantics of Timed Interval Temporal Logic (TITL) are presented, a visual notation, the extended Statecharts with combine TITL, guarded language, and time constraints in a unified manner, is introduced, and an example for the modelling of soaking pits in a steelworks is employed to illustrate how the formalism operates.
Temporal logic,, statecharts,, X-machine,, automaton,, hybrid system.,
-
62浏览
-
0点赞
-
0收藏
-
0分享
-
78下载
-
0评论
-
引用
【期刊论文】Specification of a Soaking Pit Furnace System in Parallel Hybrid Mochines*
段振华, Z.H. Duan, W.M. Holcombe, D.A. Linkens
,-0001,():
-1年11月30日
A computational model for hybrid systems consisting of a non-trivial mixture of discreta cvents and continuous activities is presented. Based on this model, a spedcification language, Parallel Hybrid Machine (PHM), which allous us to specify a complex hybrid system in a paralled wag with a graphic representation, is formalized. As a case study, a graphic representation, is modeled by PHMs. Moreover,the PHMs and Hybrid Projection Temporal Logic (HPTL) share a common computational model. Thes enables us to model, analyze and verify a hybrid system in a uniform manner.
Temporal logic,, statecharts,, X-machine,, automaton,, hybrid system.,
-
70浏览
-
0点赞
-
0收藏
-
0分享
-
96下载
-
0评论
-
引用
【期刊论文】Traceable X-Machines As Models for Descrbing User Interfaces
段振华, Mike Holcombe, Zhenhua Duan
,-0001,():
-1年11月30日
In this paper the model of Traceable X-Machine is introdnced and methods to describe mean aspects of nser interfaces of intograted software engineering eaviromments are snggested.
-
67浏览
-
0点赞
-
0收藏
-
0分享
-
49下载
-
0评论
-
引用
段振华, 郝克刚
计算机学报,1989,7:481~493,-0001,():
-1年11月30日
本文引入控制布图概念和求控制布图算法,旨在实现从数据流图导出结构图的半自动化。这种图表示以所指定的主加工集合为控制源所引起的控制传布关系。它不是结构图,但它是结构图的雏形。只要从数据流图导出这种控制传布图,再由它导出结构图就比较容易了。
-
68浏览
-
0点赞
-
0收藏
-
0分享
-
103下载
-
0评论
-
引用
段振华, 郝克刚, 李新
计算机学报,1990,5:340~347,-0001,():
-1年11月30日
为了描述集成化软件工程环境用户接口中选单的控制机构,需要引入回溯自动机的概念。本文给出了回溯自动机概念怕严格数学定义,并讨论了它与有穷自动机、确定的下推自动机等之间的关系,证明了它所接受的语言类处于正则语言类与确定的上下文无关语言类之间。
-
83浏览
-
0点赞
-
0收藏
-
0分享
-
76下载
-
0评论
-
引用
-
72浏览
-
0点赞
-
0收藏
-
0分享
-
62下载
-
0评论
-
引用
段振华, 郝克刚
计算机学报,1990,1:75~80,-0001,():
-1年11月30日
控制传布图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文详细讨论了如何控制传布图转换为结构图,给出了转换算法,从而,该算法与文[J]所提出的控制传布图算法一起完成了数据流图到初始结构图的半自动转换。
-
81浏览
-
0点赞
-
0收藏
-
0分享
-
55下载
-
0评论
-
引用