非肯定型工程问题的 Petri 网方法

一项工程一般都包含着多道工序.如果知道了各工序的工期以及工序之间的衔接关系,就可以画出工程的流程图.从工序流程图可以求出完成这项工程的最短时间和每个工序的最晚必须开工时间,并确定主工序线.这样便于统筹安排,提高施工效率.这就是统筹方法.我们提出解决这类工程问题的另一种方法:Petri 网方法.在[2]中我们定义了一类含时间因素的 Petri 网,并用这种网及其可达标识图对肯定型工程问题进行了分析和讨论.本文作为[2]的续篇,我们用 Petri 网方法讨论和分析非肯定型工程问题.     

“矩阵乘法的一个最佳算法”一文的进一步研究

对文献[1]的矩阵乘法算法做了进一步的研究,提出三种改进策略,改进后的算法在实用性和并行性诸方面都有很大的提高。     

整数向量卷积的一个最佳算法

在离散概率、数字信号处理及其他工程问题中,常会遇到两个向量的卷积(这里指的是循环卷积)的计算,即已知向量     

整数环上的Farkas引理及其应用

将实数域上的Farkas引理进行推广,提出整数环上的Farkas引理.之后,利用整数环上的Farkas引理证明了一个有关Petri网结构有界性的判定定理.     

用 Petri 网研究一次不定方程

引言 对于”元线性型 a lx:+aZxZ+…十a。x。,。妻2,(1)其中a‘(i~l,2,…,的为正整数,且(a,,aZ,…,气)~1.如果正整数 m*一F(a;,aZ,…,a。),,(2)使得对于任意正整数m>m*,都存在非负整数x:,x但 m~*却不能表示成(3)的形式,则称 m~*为线性型(1)的最大不可表数.对于任意给定的一组正整数{α_1,α_2,…,α_n}(n≥2,且(α_1,α_2,…,α_n)=1),求对应的最大不可表数的问题就是数论中著名的 Frobenius 问题.许多数学家对这个问题进行过研究,并对某些特殊情形给出了计算 F(α_1,α_2,…,α_n)的公式或算法.[1]指出,当     

有界Petri网的进程表达式

提出了有界Petri网的进程表达式的概念,并给出了求有界Petri网进程表达式的一个算法.一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式.它所表示的正规集是该Petri网全体满进程的集合.所谓满进程,是指每个s切对应着Petri网的一个可达标识的那类进程.     

一类含时间因素的 Petri 网及其在工程上的应用

Petri 网是一种用于描述系统的动态行为和分析系统的动态性质的数学模型.一个Petri 网实质上是一个带标识的有向偶图.有向偶图描述系统的静态结构,而标识指出系统所处的状态.当一个 Petri 网的标识按一定规律发生变化时,就形象地模拟了系统的动态行为.自1962年被提出以来,Petri 网理论得到了迅速的发展和广泛的应用.如今,Petri网已被用作对大型操作系统、分布式数据库、通讯协议、并行程序以及许多计算机系统进行分析和设计的手段.此外,在化学、工程技术、法律及其他领域里,也不乏 Petri 网应用的实例.