浅析硫化促进剂TBBS的合成

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

推理维护系统的Petri网模型

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

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

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

随机高级Petri网的层次模型和分层性能评价*

这篇论文提供了一种将大型随机高级Petri网(SHLPN)模型构造成独立子网的方法和技术这些子网可以独立地进行性能评价，在原模型中子网可由非基本变迁进行性能等效替代，以达简化状态空间的目的．这种技术依赖于SHLPN模型的层次设计和一个标记穿越子网时平均延时时间的估算．在这篇文章中，四种子网界面结构的性能等效分解和合并以及子网平均延时时间的计算做了着重的讨论．     

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

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

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

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

ATM网络传输管理与控制

在通信网中,网络的各类资源,如网络带宽、结点中的缓冲器容量等是有限的,当网络的资源分配不平衡或调度不当时,网络的服务质量(Quality of Service,QoS)就会降低,因此,为保证网络的服务质量始终处于较高状态,就必须对网络中的传输进行控制和管理。 与传统的网络不同,ATM网络有支持所有类型信息(例如,声音、电视图像和数据等)在一个线路中传送的潜在能力。它是有更高     

Petri网用于表示知识

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

计算高级Petri网S-不变量的一种简单算法

在高级Petri网的性质分析中,S—不变量的方法是一个重要的方法,如何计算高级Petri网的S—不变量是一个重要课题。本文基于复合标志(Token)和标志流路的概念,给出了一个整系数线性方程系统,由该线性方程系统,可以得到高级Petri网的所有S—不变量,而不必将高级Petri网扩展为一般Petri网。     

基于IP网络的动态部分缓冲共享方案

本文基于IP网络提出了一种分组丢弃控制方案——动态部分缓冲共享.和已有的静态部分缓冲共享方案相比,新方案根据分组丢弃行为对控制阈值进行动态调整,从而对网络流量的变化具有更优的适应性.同时新方案也避免了复杂的阈值设置问题,任意设定的初始阈值都不会影响系统稳态性能.实验结果显示,新方案可以保证稳定的相对丢失率性能,并且在相同的流量条件下比原有方案具有更低的抖动延迟.