中国科技论文在线

上传时间

2005年10月13日

【期刊论文】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

引用

上传时间

2005年10月14日

【期刊论文】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

引用

上传时间

2005年10月13日

【期刊论文】论回溯自动机

段振华，郝克刚，李新

计算机学报，1990，5：340～347，-0001，（）：

-1年11月30日

摘要

为了描述集成化软件工程环境用户接口中选单的控制机构，需要引入回溯自动机的概念。本文给出了回溯自动机概念怕严格数学定义，并讨论了它与有穷自动机、确定的下推自动机等之间的关系，证明了它所接受的语言类处于正则语言类与确定的上下文无关语言类之间。

83浏览
0点赞
0收藏
0分享
76下载
0

引用

上传时间

2005年10月13日

【期刊论文】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

引用

上传时间

2005年10月13日

【期刊论文】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

引用