基于Petri网的工作流模型优化

为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.     

双解析函数在开口弧段上的Riemann边值逆问题

给出了双解析函数在开口弧段上Riemann边值逆问题及正则型与非正则型的提法.利用双解析函数与解析函数在开口弧段上Riemann边值问题相关理论,得到了正则型情况下双解析函数在开口弧段上Riemann边值逆问题的可解条件及解表达式.     

多次重燃过程中高频电弧持续时间的研究

利用在固定小开距真空灭弧室中产生高频放电的方法，对多次重燃过程中每次重燃的高频电弧现象进行了研究，实验发现：该高频放电的特征可用冷击穿电压和开距的关系及燃弧后真空间隙热而耐压水平和开距的关系进行描述，测量结果表明，用ＣｕＣｒ触头材料制成的真空灭弧室具有较高的冷击穿强度，是ＡｇＷＣ的３倍，根据能量关系建立了每次重燃时高频电弧持续时间的计算模型，并用该模型对试验电路进行了计算。     

计算带电人体通过金属小棒电极放电电流的一种电路模型

依据IEC61000-4-2标准制造的静电模拟器的放电过程,与真实的人体静电放电过程中身体表面分布的电荷是通过在手指尖端产生的火花放电完成的过程存在明显区别。为了探明人体真实放电过程的性质,提出了一种由所测放电电流估算火花放电电压的方法;并证明在人体接触式放电过程中,在火花放电之后存在着电弧放电现象。考虑到电弧放电和基于火花阻抗公式的时变阻抗,得到了一种用于计算与充电电压有关的人体放电电流的改进等效电路模型。     

带抑制弧Petri网极小活标识的配置

讨论无冲突带抑制弧Petri网结构活性的判定条件,即证明一个结构活的网,扩充为带抑制弧的网后仍然活当且仅当生成的抑制弧网具有持续性.给出一个已知结构活的带抑制弧网的极小活标识的配置算法,将网的极小活标识配置最终转化为环路中极小活标识的求解.与传统方法相比,新算法不仅易于程序实现,且时间复杂度是多项式的.     

蕴含强(p,q)哈密尔顿性的几个条件

利用路收缩技术,证明了,如果有向图D满足下列条件中的任何一个,(1)最小半度δ0(D)≥(n+p+q)/2;(2)D是(p+q+1)强连通有向图,且d+(x)+d+(y)+d-(u)+d-(v)≥2(n+p+q)-1,这里,x,y是任意控制顶点对,u,v是任意被控制顶点对;(3)D的弧数超过(n-1)2+q2+p;那么D是强(p,q)哈密尔顿的.     

一类带根号的Riemann边值问题

本文通过对未知函数ψ（z）结构的分析，把带根号的Riemann一边值问题化为一般的Riemann边值问题，并通过对后者的求解，得到前者的一般解及其可解条件．     

有向图中弧数和回路

本文部分解决了Heydemann等提出的一个猜想。也就是证明了每一阶为n的强连通有向图D,如果最小半次至少为3,至少n~2-6n+21条弧,则D存在长至少n-1的回路。     

网络可靠性评估的演化过程重要度抽样模拟方法

针对具有高可靠度网络的连通失效概率计算问题,提出了一种重要度抽样Monte Carlo模拟方法.首先提出了考虑节点和边单元失效网络连通状态判别的演化过程算法,算法根据网络节点和边单元的可靠度,将每次模拟抽样产生的随机数转化为单元的修复时间;按照单元修复时间次序构建网络连通拓扑结构,并视为向网络连通状态转变的演化过程.然后基于重要度抽样Mont,e Carlo模拟求解高可靠度网络的2\K\All端连通失效概率,其中重要度抽样函数的计算采用基于演化过程和交叉熵模型的多准则迭代方法.高可靠度网络算例的计算结果表明,预抽样求解重要度抽样函数时,多准则迭代方法所需的预抽样次数约为其他迭代方法的1/40.因此,本文方法具有较高的计算效率.