S^3PR网的可达标识集算法

针对具有特定资源库所的S3PR网,提出了一种基于P不变式和严格极小信标的计算可达标识集的新方法.首先计算出由P不变式所确定的不变式标识集,再通过分析严格极小信标中相应库所的托肯数与其界的关系,提出判定标识是否为伪标识的判定定理,并基于判定定理有效求解伪标识集,最终通过剔除不变式标识集中的伪标识来获得可达标识集.实验结果表明,采用所提的方法,可以快速有效地计算出S3PR网中的可达标识集.

活动断层错动引致土壤与结构互制灾害

由历年灾害性地震事件调查资料显示，除了地盘震动、地盘破坏等原因之外，断盘错动导致上覆土层变形，以921集集地震为例，在断层带附近，大多数结构物均遭受到严重损毁。然而少数结构物即使位于断层带，结构体本身却仅有整体位移或转动而未受损。因此断层作用时覆盖断层带上面的土层，在断层作用中所反映的行为与变形对结构物的影响，是该研究的重点。

S^3PR网的一种死锁预防策略

针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤.首先将S3PR网中的严格极小信标分为基本信标和从属信标,由基本信标集合得出一组状态向量表示的线性不等式约束,然后将这组约束用C/D-RUN策略进行优化,得到一组标识向量满足的广义相互抑制约束.根据所得标识约束添加控制库所,使所有基本信标均为P-不变式可控,得到活的、结构简单的、许可行为更多的Petri网监督控制器.