带有同步变迁的有界Petri网系统的建模及可达性分析

由于存在可达标识集的爆炸性问题,大型Petri网系统的建模及可达性分析等问题的研究存在难度.文章利用矩阵的半张量积工具,研究了带有同步变迁的有界Petri网系统的建模及可达性问题.一方面,由于该类Petri网系统可以看作是由若干个子Petri网系统组成,所以可以用半张量积工具表述得到整个Petri网系统的矩阵表示.另一方面,在得出的矩阵表示的基础上,研究了两个标识之间可达性的充要判据,并给出了求可达变迁序列的算法.最后,文章用实例验证了该算法的正确性.所提出的方法在一定程度上解决了状态空间爆炸问题,并易于计算机实现.

一种紧同步随机Petri网模型的性能分析方法

紧同步随机Petri网模型常用于对多个子系统构成的实际系统进行建模.由于状态空间爆炸问题,这种模型的性能分析目前还没有得到很好的解决.首先给出了随机Petri网中顺序、并行、循环、选择这4种基本结构的性能近似等价公式,然后提出了一种同步变迁等价分解(synchronous transition equivalent decomposition,简称STED)法对紧同步随机Petri网进行分解求解,有效地缓解了具有一个或多个同步变迁情况下的空间爆炸问题,该方法对于子模型同构的情况处理简便且十分有效.

协议分布式测试系统的性能模型

协议测试领域专家们已经达成共识 :新一代的协议测试系统应该是分布式架构的。本文用广义随机Petri网 (GSPN )对目前提出的几种协议分布式测试框架构造了性能模型 ,进行了性能比较和分析。为了解决状态空间爆炸的问题 ,提出了一种同步变迁实施速率等价法 (STER) ,这种方法能够对具有同步变迁的随机Petri网模型分解求解。

制度变迁同步化对中国对外直接投资的影响

本文使用2006~2016年中国对78个国家的OFDI数据,实证检验了制度变迁同步化水平对OFDI的影响。结果显示:首先,双边制度变迁同步化水平显著提升中国OFDI规模,分别体现在政治制度和经济制度中;其次,中国与发展中国家的政治制度和经济制度变迁同步化均对OFDI具有显著推进效应,与发达国家的制度变迁同步化的OFDI效应则更大程度上与经济制度相关;再次,母国和东道国制度变迁同步化水平构成中国OFDI的“推动力”与“吸引力”;最后,多样化的OFDI动机与不同维度下的制度变迁同步化密切相关。可见,国家制度变迁的整体效率以及不同维度间的制度配置效率是推进以OFDI为载体的中国国际化战略的关键。