中国科技论文在线

上传时间

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日

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

【期刊论文】回溯自动机的两个基本定理

段振华，郝克刚

西北大学学报，1990，20（1）：11～18，-0001，（）：

-1年11月30日

摘要

本文详细证明了回潮自动机的两个基本定理，得到下列结论：1）∈ωΣ，ω∈L (M) iff ω=R (G)，2）从G中q处删除一个CSq（结点q点留）或者添加一个CSq（q不需添加）后的图G’也是M的接受状态活动图。

自动机，有穷自动机，下推自动机，回潮自动机，软件工程.，

78浏览
0点赞
0收藏
0分享
136下载
0

引用

上传时间

2005年10月13日

【期刊论文】控制传布图及其算法*

段振华，郝克刚

计算机学报，1989，7：481～493，-0001，（）：

-1年11月30日

摘要

本文引入控制布图概念和求控制布图算法，旨在实现从数据流图导出结构图的半自动化。这种图表示以所指定的主加工集合为控制源所引起的控制传布关系。它不是结构图，但它是结构图的雏形。只要从数据流图导出这种控制传布图，再由它导出结构图就比较容易了。

69浏览
0点赞
0收藏
0分享
103下载
0

引用

上传时间

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

引用