共享合成Petri网系统的语言递归性与系统活性

在Perri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作--共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性，得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的.     

论非对称选择网的活性

本文给出了非对称选择网AC网(asymmetric choice nets)活性单调性的充分必要条件,并在此基础上证明了一类AC网系统活性的单调性和此类网结构活的充要条件.     

多岔控制转换的并行化重构

诸如ＰＡＳＣＡＬ里的ＣＡＳＥ,Ｃ里的ＳＷＩＴＣＨ,ＦＯＲＴＲＡＮ里的计算ＧＯＴＯ等等语句所代表的多岔控制转移,是程序设计语言中最复杂的控制结构之一．其本身,或者与无条件ＧＯＴＯ的配合使用,迄今在国内外均被并行性识别排除在外,亦即无条件地保持串行,从而丧失硬件惊人的并行潜力．本文通过并行化重构,在等价地消除各种多值逻辑的基础上,进而实施对它们的并行性分析,把隐藏于其中的潜在并行性全部挖掘出来．     

基于后缀树的骨干网络垃圾邮件检测方法

虽然目前垃圾邮件过滤或检测的研究比较多,但是它们大多数是基于邮件客户端。文章提出了一种基于后缀树的骨干网络垃圾邮件检测方法,它采用后缀树文本表示方法,通过不定长统计方法判定邮件是否相似,然后利用邮件重复出现的次数判定是否为垃圾邮件。该方法不需要任何训练,直接对接收的邮件进行分类统计;对于长度为的邮件,算法的时间复杂度和空间复杂度均为;另外,该方法独立于任何语种。