搜索筛选:
搜索耗时0.0995秒,为你在为你在102,285,761篇论文里面共找到 27 篇相符的论文内容
发布年度:
[学位论文] 作者：庞善臣,,
来源：山东科技大学 年份：2004
本文对工作流的组成、功能及实现等技术进行了直观的介绍和分析；研究了Petri网的结构和活性性质，给出了活性与状态不变性和行为不变性的关系及共享合成Petri网的活性判定方法；研......
[期刊论文] 作者：庞善臣,
来源：山东科技大学学报：自然科学版 年份：2004
采用文献[11]求解子串前缀的方法,给出了BM算法一个改进算法.改进算法最坏情况下的时间复杂度达到O(m*n/k),有效地减少了字符重复比较的次数,提高了匹配效率....
[期刊论文] 作者：庞善臣,,
来源：电子学报 年份：2012
资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完......
[期刊论文] 作者：沙静,庞善臣,
来源：计算机科学 年份：2011
工作流进程中的QoS受很多非功能性因素的影响,例如性能、可靠性以及安全性等等。对QoS度量的管理直接影响到参与工作流具体应用的服务能否顺利完成。因此,当服务被工作流或We...
[期刊论文] 作者：庞善臣,林闯,
来源：计算机学报 年份：2012
针对Petri网对动态系统重构形式化描述和建模能力的不足，提出了可重写Petri网和位置可重写Petri网的基本概念．分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性...
[期刊论文] 作者：庞善臣, 王淑栋,
来源：小型微型计算机系统 年份：2004
字符串的模式匹配问题是计算机科学的基本问题之一,本文提出了基于模式最长前缀正文分割的匹配新算法(Text Divided Algorithm,以下简称TD算法).首先在模式P中寻找最长的前缀...
[期刊论文] 作者：庞善臣, 蒋昌俊,,
来源：计算机学报 年份：2010
基于工作流的Petri网结构化建模方法，证明了工作流网的P-不变量存在性、可覆盖性，给出了一个工作流模型可靠性（soundness）的充要条件，得到了基于P-不变量的多项式分解算法，克服了非......
[期刊论文] 作者：庞善臣,王淑栋,
来源：山东科技大学学报：社会科学版 年份：1999
本文利用概率统计的方法对高校学生违纪事件的规律进行了研究，在本文的条件下，得出了高校学生违纪事件服从正态分布的结论。...
[期刊论文] 作者：王淑栋,庞善臣,
来源：山东科技大学学报：自然科学版 年份：2002
Vizing(1964年)和Gupta(1966年)各自独立地证明了边着色中的重要定理:对任何简单图G,有χ′(G)=Δ或χ′(G)=Δ+1.但确定一个图G的边色数仍是一个尚未解决的问题.本文利用系...
[期刊论文] 作者：庞善臣,蒋昌俊,
来源：第十次全国Petri网学术年会暨形式化方法学术讨论会 年份：2005
工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri...
[期刊论文] 作者：庞善臣,蒋昌俊,
来源：同济大学学报：自然科学版 年份：2009
基于工作流的Petri网结构化建模方法，证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性，给出了一个工作流模型完整性的充要条件，进一步得到了基于T-不变量的多项式分解算......
[期刊论文] 作者：王淑栋,庞善臣,等,
来源：数学研究 年份：2002
研究了若干科类的邻强边染色。利用在图中添加辅助点和边的方法，2构造性的证明于对于完全图Kn和路Lm的笛卡尔积图Kn×Lm，有xas'(KR×KTR）＝△(Kn×Lm)+1，其中△（K&#...
[期刊论文] 作者：王淑栋,庞善臣,许进,
来源：数学研究与评论 年份：2005
本文研究了系列平行图的邻强边染色．从图的结构性质出发，利用双重归纳和换色的方法证明了对于△(G)=3，4的系列平行图满足邻强边染色猜想；对于△(G)≥5的系列平行图G，有△(G)≤X......
[期刊论文] 作者：庞善臣，蒋昌俊，PANGShan-chen，JIANGCha,
来源：系统仿真学报 年份：2005
...
[期刊论文] 作者：庞善臣, 闫春钢, 蒋昌俊,,
来源：电子学报 年份：2006
工作流技术是计算机应用领域的一个研究热点，而行之有效的建模方法和分析工具是工作流系统的关键，也是研究人员的研究重点．基于工作流的Petri网结构化建模方法，研究了同一品质多......
[期刊论文] 作者：庞善臣,王淑栋,蒋昌俊,
来源：计算机应用 年份：2004
在分析BM算法和文献[12]的基础上,给出了BM串匹配的一个改进算法。该算法有以下重要的特点:1)最坏情况下,算法有效地减少了字符重复比较的次数,提高了匹配效率;2)匹配算法在二维匹配和不精确匹配中较易推广。......
[期刊论文] 作者：庞善臣,蒋昌俊,宫丽华,
来源：山东科技大学学报：自然科学版 年份：2004
物流管理系统是工作流管理系统的重要组成部分，是企业经营过程的核心，借鉴组合Petri网的思想，在组件技术和分布式对象技术的基础上，提出了基于过程组件的物流管理系统的层次结构......
[期刊论文] 作者：金迅婴,李浩建,庞善臣,
来源：山东科技大学学报：自然科学版 年份：2003
给出了解决K-闭包问题的DNA算法,进一步表明了用DNA计算来解决NP-完全问题是非常有前景的....
[期刊论文] 作者：王淑栋,庞善臣,刘西奎,
来源：数学研究 年份：2001
为了解决强边着色猜想,1993年,Brualdi和Massey(Discrete Math.(122)51-58)引入了关联着色概念.陈东灵等[2]证明了对于△(G)=n-2的图G,inc(G)≤△(G)+2,其中n是G的阶数.本文...
[期刊论文] 作者：王淑栋,陈东灵,庞善臣,
来源：纯粹数学与应用数学 年份：2001
1965年,M.Behzad和Vizing分别提出了著名的全着色猜想:即对于简单图G有:XT(G)≤△+2,其中△是图G的最大度.本文确定了完全图Kn的广义图K(n,m)的全色数,并利用它证明了Lm×...
相关搜索：
