基于P-不变量的Petri网并行化方法的研究

为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法。根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析。在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证。给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法。实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的。

基于不变量综合离散事件系统Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利用系统的关联矩阵,把Petri网控制器的参数阵与受控系统的一个P-不变量用线性方程组联系起来.提出了Petri网控制器存在的代数判据.通过以此方程组为约束条件的一个整数线性规划问题的解,给出了Petri网控制器的结构参数(弧权值)和控制位置的初始标记数.给出的控制器的结构具有极小性.在结构一定的条件下,它是极大允许的.

基于Petri网模型的零件出库系统工作流并行结构分析

针对零件出库系统处理时间长、流程效率低下的问题,提出了一种基于并行化的工作流Petri网模型的构建方法与改善研究.构建了零件出库系统的并行化Petri网模型,运用P-不变量对时间性能进行分析,通过关联矩阵求解结果、P-不变量的时间分析和并行优化算法改进了该系统的Petri网结构,提升了零件出库系统的工作时间.通过实例验证,基于Petri网的工作流并行结构算法在提高系统处理时间上可行、有效.

L^p ESTIMATES FOR BI-INVARIANT OPERATORS ON CLASSICAL GROUPS

The main purpose of this paper is to extend to classical groups a H*irmander multiplier theorem concerning translation invariant operators on L p spaces which are known for the n-torus.