排序方式: 共有20条查询结果,搜索用时 0 毫秒
1.
2.
3.
为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法.根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析.在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证.给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法.实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的. 相似文献
4.
5.
对带滞后的离散扰动奇异系统 ,给出了所有广义特征值位于一个特殊区域内的充分性判据 .该区域的形状没有附加特别限制 (比如圆 ) .当所有特征值按要求限制在稳定区域内时 ,所给出的判据将成为稳定鲁棒性判据 . 相似文献
6.
7.
8.
9.
10.
利用函数的Z-变换,获得了离散广义系统模型的一般响应公式,由此得到该模型的局部可达性与局部能控性的充分必要条件。 相似文献