已为您找到该学者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.,
-
63浏览
-
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
-
引用