使用Petri网T－不变量求解子句的逻辑推论

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了向前推论和向后推论在子句Ｐｅｔｒｉ网模型中的应用．     

基于HBM算法的高速反蠕虫引擎的设计实现

基于网络处理器的特点,提出了一种新的多模匹配算法HBM算法。在Intel网络处理器IXP2400上,设计实现了高速反蠕虫病毒引擎。实验表明,引擎达到了千兆以太网的性能要求,具有较好的实际应用价值。     

多媒体网络:从内容分发网络到未来互联网

近年来,随着网络技术的飞速发展,互联网流量视频化的趋势日益明显,视频应用使互联网的可扩展性、可演进性、服务质量和网络安全面临诸多挑战.内容分发网络通过在应用与网络间构建覆盖网,为解决网络视频应用面临的分发难题提供了有力的支持,也成为当前网络视频产业中的关键技术.但是随着视频应用在移动性、交互性、异构性以及可扩展性方面需求的不断增长,现有内容分发网络技术面临重大挑战,学术界与工业界都试图从互联网体系架构入手解决网络视频应用中的问题.文中系统总结了内容分发技术面临的挑战以及现有互联网体系结构研究的思路与核心技术,提出了面向未来网络的多媒体网络设计思路.     

主动队列管理中的智能分组丢弃新机制

主动队列管理通过网络中间节点有控制的分组丢弃实现了较低的排队延时和较高的有效吞吐量,是TCP端到端拥塞控制近来研究的一个技术热点.已有的大多数算法在判定分组丢弃时大都沿袭了RED的概率丢弃机制,具有一定计算复杂度的随机数生成过程不利于路由器性能的优化.在本文中,我们首先定义了拥塞指数这一新的测度变量来量化描述网络的拥塞状态.接着,利用模糊逻辑设计了一种新的智能分组丢弃机制,离线的合成推理使得分组丢弃的判定仅需要简单的查表操作和比较运算即可完成,为优化路由器的性能提供了便利.数字仿真的结果表明:智能分组丢弃机制的性能优于经典的RED算法,控制队列的能力强,鲁棒性好,稳定工作域大,能很好地抵抗突发性和非弹性业务的干扰,适合工作在瞬息万变的动态网络环境中.     

推理维护系统的Petri网模型

本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的．     

随机高级Petri网用于计算机网络传输协议的模型与性能评价

本文讨论了具有标记变量的随机高级Ｐｅｔｒｉ网（ＳＨＬＰＮ）以及标识类型，标记变量和等价标记变量的概念，给出了具有等价标记变量可达树构造算法，并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重描述了ＳＨＬＰＮ在计算机网络传输协议的模型与性能评价中扩，通过这个例子充分显示了这些概念和算法的有效性。     

浅析硫化促进剂TBBS的合成

摘妻：硫化促进剂能够提高硫化速度,控制硫化过程中的温度,缩短硫化时间,同时起到降低硫磺成本的作用,在如今的橡胶生产中得到了十分广泛的应用。硫化促进剂TBBS（又名NS,化学名为N一叔丁基一2一苯并噻唑次磺酰胺）是一种重要的次磺酰胺类硫化促进剂。它在促进橡胶硫化的过程中不会生成致癌物质,符合绿色环保的发展观,随着可持续发展政策的实施与大力号召,促进剂T1jBs必将在未来得到广泛的应用,拥有极为广阔的发展前景。     

Petri网用于表示知识

本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子说明这些方法是可用的和有效的.     

一种基于偏好的多目标调和遗传算法

最近涌现了各种进化方法来解决多目标优化问题,多数方法使用Pareto优胜关系作为选择策略而没有采用偏好信息.这些算法不能有效处理目标数目许多时的优化问题.通过在不同准则之间引入偏好来解决该问题,提出一种多目标调和遗传算法MOCGA(multi-objective concordance genetic algorithm).当同时待优化的目标数目增加时,根据决策者提供的信息使用弱优胜关系进行个体优劣的比较.这种算法被证明为能收敛至全局最优.对于目标数目为很多的优化问题,测试实验结果表明了这种新算法的有效性.