公平网的活性判断

Petri网的活性判断一直是一个广为关心的问题。本文就公平网的活性进行了研究。指出如果一个公平网的有界子网是活的,那么该公平网是活的。并给出了一个公平网活的充分必要条件。     

Petri网弱公平性的判断

本文提出了弱公平网的概念，并给出了判断一个Ｐｅｔｒｉ网是否是弱公平网的一组充分必要条件。     

公平网的一组直接判断条件

本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况.     

自动制造系统Petri网的公平活性控制策略

基于Petri网的不变式理论,针对典型的自动制造系统,提出了Petri模型强制公平性 和活性的方法.首先,基于网论T-不变式的概念,把系统的网模型设计为一个公平网.此后,利 用P-不变式把一个公平网设计为一个活的且公平网.同时,提出了非冗余严格极小信标的概念, 大大简化了系统的分析与设计.一般说来,非冗余严格极小信标是系统严格极小信标一个小的 子集,尤其对于复杂系统的网模型.研究结果表明,只要使非冗余的严格极小信标受控,则系统 所有的严格极小信标就不会被清空.文中举例说明了这些控制方法的应用.研究结果适用于一 大类柔性制造系统,具有相当的普遍性.这种方法对于自动制造系统的调度设计也具有一定意义 和价值.     

一般网中结构公平的极小标识的求解算法

公平性(fairness)是Petri网的基本性质。在该文中利用网的关联矩阵求解出一般网中的基本可重复向量组,在其中找出该网的极小支集,并构造出该极小支集构的外延子网,然后利用文献[1]中给出的方式求解结构公平网的极小标识,得到了一个多项式时间算法。     

无界公平Petri网的进程表达式

Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一个算法．这个算法对无界Ｐｅｔｒｉ网是不适用的,其原因在于子进程同构的概念在无界网系统中没有意义．对此,作者通过定义进程段行为等价的概念,导出了无界Ｐｅｔｒｉ网的进程表达式的一般形式,并借助无界公平网的特征     

局部图像描述符最新研究进展

目的 局部图像描述符广泛应用于许多图像理解和计算机视觉应用领域,如图像分类、目标识别、图像检索、机器人导航、纹理分类等。SIFT算法的提出标志着现代局部图像描述符研究的开始。主要对最近发展的现代局部图像描述符进行了综述。方法 首先,介绍了4大类局部图像描述符:局部特征空间分布描述符、局部特征空间关联描述符、基于机器学习的局部描述符、扩展局部描述符(局部颜色描述符、局部RGB-D描述符、局部空时描述符)。对局部图像描述符进行了分析和分类,并总结了局部图像描述符的不变性、计算复杂度、应用领域、评价方法和评价数据集。最后,展望了局部图像描述符的未来研究方向。结果 近年来局部图像描述符研究取得了很大进展,提出了很多优秀的描述符,在辨别性、鲁棒性和实时性方面有了很大提高,应用领域不断拓展。结论 局部图像描述符应用广泛,是计算机视觉领域的重要基础研究。而目前,局部图像描述符还存在许多问题,还需进一步的深入研究。     

基于等离子体模型的气隙局部放电仿真研究

由于传统的局部放电三电容模型过于简单,无法精细刻画局部放电的本质特征.通过等离子体理论,给出了局部放电通道的阻抗表达式,构造了基于电容-电阻-电感的新局部放电物理模型.采用该模型对环氧树脂内部单、双气隙局部放电过程进行了Matlab/Simulink动态仿真.结果表明:所建模型的仿真结果与实验结果非常接近,为今后更深入研究局部放电机理提供了新的途径.     

融合LBP和局部稀疏表示的人脸表情识别

为更好获取人脸局部表情特征,提出了一种融合局部二值模式（Local Binary Pattern,LBP）和局部稀疏表示的人脸表情特征与识别方法。为深入分析表情对人脸子区域的影响,根据五官特征对人脸进行非均匀分区,并提取局部LBP特征;为精细刻画人脸局部纹理,整合人脸局部特征,设计了人脸局部稀疏重构表示方法,并根据表情对各局部子区域的影响因子,加权融合局部重构残差进行人脸表情识别。在JAFFE2表情人脸库上的对比实验,验证了该方法的可行性和鲁棒性。     

分布式系统下挖掘关联规则的两种方案*

对关联规则的分布式挖掘问题进行了探讨,给出了两种实现方案。一是采用局部－局部的通信模式,各个站点的通信负载比较均衡;二是采用局部－全局的通信模式,减少了各局部站点的通信负荷,实现了各局部站点的完全异步,但对全局站点的性能要求较高。