期刊文献+
共找到240篇文章
< 1 2 12 >
每页显示 20 50 100
改进的WF^(2)Q+动态感知调度策略的设计
1
作者 黄敏 刘志方 《信息与电脑》 2023年第17期74-76,共3页
随着互联网的快速发展,网络流量增长导致的网络拥塞问题日益严重。为了解决这一问题,研究者提出了各种流量调度算法。其中,改进的最坏情况下公平的加权公平队列(Worst-case Fair Weighted Fair Queueing plus,WF^(2)Q+)算法结合了加权... 随着互联网的快速发展,网络流量增长导致的网络拥塞问题日益严重。为了解决这一问题,研究者提出了各种流量调度算法。其中,改进的最坏情况下公平的加权公平队列(Worst-case Fair Weighted Fair Queueing plus,WF^(2)Q+)算法结合了加权公平队列(Weighted Fair Queueing,WFQ)算法和差额循环调度(Deficit Round Robin,DRR)算法的优点,能够实现公平的带宽分配和低延迟的服务质量。然而,由于网络环境的动态性,传统的WF^(2)Q+算法无法适应网络流量的变化。因此,提出了一种基于动态感知策略的改进WF^(2)Q+算法,以提高网络性能、用户体验及网络流量的管理水平。 展开更多
关键词 动态感知 调度策略 最坏情况下公平的加权公平队列(wf^(2)Q+) 队列
下载PDF
凡纳滨对虾白便综合征发生与环境因子、机体免疫酶活性和微生物的相关性
2
作者 王印庚 于永翔 +7 位作者 蔡欣欣 张正 王春元 廖梅杰 李彬 荣小军 朱洪洋 戴岩 《水产学报》 CSCD 北大核心 2024年第1期143-155,共13页
为系统解析凡纳滨对虾白便综合征(white feces syndrome,WFS)的发生与环境因子、微生物因子、宿主免疫力和水体微生物群落组成的关系。实验利用水体理化因子、可培养细菌、对虾机体免疫酶活性以及高通量测序等检测技术对健康与患WFS的... 为系统解析凡纳滨对虾白便综合征(white feces syndrome,WFS)的发生与环境因子、微生物因子、宿主免疫力和水体微生物群落组成的关系。实验利用水体理化因子、可培养细菌、对虾机体免疫酶活性以及高通量测序等检测技术对健康与患WFS的池塘养殖凡纳滨对虾进行比较分析。结果显示,与健康组相比,患病池塘的水温、溶解氧(DO)、pH、盐度等水质理化因子波动趋势相似,波动范围分别为26.1~29.0℃、4.26~6.08 mg/L、8.39~8.73和40~49,患病组DO和盐度比健康组高;健康组对虾肝胰腺内可培养细菌和弧菌含量为1.19×10^(5)~7.70×10^(5)和8.8×10^(3)~1.96×10^(4) CFU/g,弧菌占比为2%~16%,患病组对虾肝胰腺内可培养细菌和弧菌含量在3.80×10^(5)~2.51×10^(6)和2.02×10^(5)~1.49×10^(6) CFU/g范围内,比健康组高15~113倍,弧菌占比在55%~70%。碱性磷酸酶(AKP)、酸性磷酸酶(ACP)、溶菌酶(LZM)、超氧化物歧化酶(SOD)和酚氧化酶(PO)活性在健康组内为1.21~5.64、9.17~15.25、3.56~7.43、4.83~6.70及3.10~4.55 U/mg,在患病组内为2.12~5.39、19.22~26.96、19.73~26.85、3.00~4.14及7.76~9.21 U/mg。比较分析表明,WFS的发生与可培养细菌含量、弧菌占比、ACP、LZM、PO的相关性较强。高通量测序分析表明,患病组水体菌群结构的Ace和Chao指数呈一定程度下降趋势,PCoA指数偏离度较高,放线菌门、变形菌门相对丰度降低,拟杆菌门、蓝藻门相对丰度显著升高;RDA关联分析表明,盐度、溶解氧、虾体细菌、虾体弧菌、水体细菌是影响患病对虾水体菌群结构组成的重要因子。相关研究结果为解析养殖生产中对虾WFS发生机制提供数据支撑,并为WFS的临床防控奠定理论基础。 展开更多
关键词 凡纳滨对虾 白便综合征 水质理化因子 可培养细菌 机体免疫力 菌群结构
下载PDF
1980—2016年中国北方风蚀气候侵蚀力的变化
3
作者 刘伟 邹学勇 +2 位作者 刘博 王汝幸 王祖正 《地理科学》 CSCD 北大核心 2024年第4期703-710,共8页
随着修订风蚀方程(RWEQ)的提出,采用增加了冻结因子的气候因子(WF)表达风蚀气候侵蚀力更具有科学性和必要性。基于中国北方风蚀区157个气象站1980—2016年的观测数据,逐月计算了各站点气候因子,并探讨了气候因子时空分布变化特征及影响... 随着修订风蚀方程(RWEQ)的提出,采用增加了冻结因子的气候因子(WF)表达风蚀气候侵蚀力更具有科学性和必要性。基于中国北方风蚀区157个气象站1980—2016年的观测数据,逐月计算了各站点气候因子,并探讨了气候因子时空分布变化特征及影响因素。结果表明:①1980—1997年,年气候因子值表现为快速下降,从940.46 kg/m下降到273.03 kg/m;而1998—2016年,年气候因子值表现相对稳定,在139.81~398.85 kg/m范围内波动。②春季气候因子值约占全年63%,其变化也显著高于其它季节,这也是土壤风蚀发生在春季的主要原因。③气候因子的高值区分布在新疆东部、青海西部、40°N以北的内蒙古中西部,这与气压中心和高大山体地形分布有关。 展开更多
关键词 气候因子 土壤风蚀 全球变暖 北方风蚀区
下载PDF
钨丝/锆基非晶复合材料与93W合金弹芯侵彻靶板的损伤特征
4
作者 吴烁罡 杜成鑫 +3 位作者 周峰 高光发 吕文争 陈曦 《爆炸与冲击》 EI CAS CSCD 北大核心 2024年第4期109-119,共11页
为研究钨丝/锆基非晶复合材料(WF/Zr-based bulk metallic glass matrix composite,WF/Zr-MG)及93W合金两种弹芯材料对于45钢靶板的侵彻特征机理与损伤特征,利用上述两种弹芯进行对比开展侵彻试验,在宏观和微观层面对侵彻结果进行分析,... 为研究钨丝/锆基非晶复合材料(WF/Zr-based bulk metallic glass matrix composite,WF/Zr-MG)及93W合金两种弹芯材料对于45钢靶板的侵彻特征机理与损伤特征,利用上述两种弹芯进行对比开展侵彻试验,在宏观和微观层面对侵彻结果进行分析,其中,宏观定量化表征量采用等效直径进行研究,微观层面利用扫描电镜、光学显微镜、XRD衍射仪与显微维氏硬度仪对靶板的微观形貌、相变及硬度特征进行表征。试验结果表明,WF/Zr-MG弹芯完全贯穿靶板,而93W合金弹芯残留于靶板之中,其等效扩孔直径分别为16.7和18.4 mm,前者较后者低10.18%,WF/Zr-MG弹芯的穿甲能力高于93W合金弹芯。在微观角度,WF/Zr-MG与93W合金弹芯侵彻后弹坑细晶层晶粒长径比分别为4.5和7.3,其维氏硬度HV的峰值分别为249和287,其中高硬度层宽度分别为10.2和8.9 mm。前者对应靶板高硬度层更宽的原因是Zr基非晶合金在侵彻过程中持续释放热量,使其温度影响区较大,因此硬度提升的区域大。侵彻过程中,后者的靶板强度明显高于前者的,其主要原因为WF/Zr-MG弹芯发生屈曲回流,而93W合金弹芯产生蘑菇头现象,使得WF/Zr-MG弹芯对于靶板的挤压变形更小,晶粒拉长效果减弱,硬度峰值提升变小,靶板单位长度的能量损耗小,从而增强WF/Zr-MG复合材料弹芯的穿甲能力。 展开更多
关键词 wf/Zr-MG复合材料 93W 微观分析 硬度分析 损伤特征
下载PDF
钨丝/锆基非晶弹芯贯穿靶板靶后破片飞散特性
5
作者 周峰 陈俊 +4 位作者 袁勇 李大超 杜忠华 付华萌 杜成鑫 《弹道学报》 CSCD 北大核心 2024年第3期75-81,共7页
为研究钨丝/锆基非晶复合材料(以下简称“钨丝集束”)弹芯侵彻有限厚靶板的侵彻性能及靶后毁伤能力,采用长径比为15.4,体积分数为80%的钨丝集束(钨丝增强相直径为0.3 mm)弹芯在(1600±20)m/s的速度下对有限厚45钢靶板进行侵彻实验,... 为研究钨丝/锆基非晶复合材料(以下简称“钨丝集束”)弹芯侵彻有限厚靶板的侵彻性能及靶后毁伤能力,采用长径比为15.4,体积分数为80%的钨丝集束(钨丝增强相直径为0.3 mm)弹芯在(1600±20)m/s的速度下对有限厚45钢靶板进行侵彻实验,并与91钨合金弹芯进行对比。分析了45钢靶板及后效靶的宏观毁伤效果,得到两种材料侵彻体靶后毁伤特征参数及靶后破片飞散特性参数。讨论了两种材料弹芯靶后毁伤机制的差异。研究结果表明:与91钨合金弹芯相比,钨丝集束弹芯侵彻靶板的弹坑直径更小,说明钨丝集束弹芯侵彻过程中具有结构“自锐”特性,侵彻过程中能量耗散更小,侵彻性能更高。此外,由于钨丝集束弹芯的拉压不对称特性,使得钨丝集束弹芯在出靶后弹芯材料随即发生破碎、离散,对距靶板0.5 m处2A12后效靶的毁伤面积分别为钨合金弹芯的1.7倍和1.63倍,有效破片数量分别为后者的2.76倍和1.61倍,破片飞散角及后效靶最大破口尺寸均大于钨合金弹芯,增大了对靶后目标的毁伤能力。 展开更多
关键词 钨丝集束 有限厚靶 钨合金 侵彻性能 毁伤后效
下载PDF
纤维增强大块非晶的各向异性压缩力学行为原位实验研究
6
作者 李英杰 李继承 +1 位作者 李宁 郭亚洲 《兵工学报》 EI CAS CSCD 北大核心 2024年第9期2982-2992,共11页
钨纤维增强锆基大块非晶复合材料(WF/Zr-based bulk Metallic Glass matrix composite,WF/Zr-MG)由于其高密度、高强度和高绝热剪切敏感性的特点,在动能侵彻领域应用广泛。为了进一步精确表征在正撞和斜撞等穿甲过程中不同穿甲姿态对复... 钨纤维增强锆基大块非晶复合材料(WF/Zr-based bulk Metallic Glass matrix composite,WF/Zr-MG)由于其高密度、高强度和高绝热剪切敏感性的特点,在动能侵彻领域应用广泛。为了进一步精确表征在正撞和斜撞等穿甲过程中不同穿甲姿态对复合材料穿甲性能的影响,搭建准静态和动态显微原位压缩实验平台。通过对0°、10°、25°、45°、65°以及90°共6种不同纤维排列角度下的试样进行原位力学性能实验测试和显微图像分析,研究6种不同纤维排列角度WF/Zr-MG的压缩力学行为,进而得到复合材料失效强度随纤维排列角度的变化情况。根据实验结果划定考虑应变率与纤维排列角度WF/Zr-MG的失效强度包络线。所得结果为材料在不同穿甲姿态和加载速率下提供了一个安全应力状态范围参考,对于穿甲材料的研制具有重要意义。 展开更多
关键词 wf/Zr-MG复合材料 原位实验 微观分析 破坏机理
下载PDF
EAF-LF-VD-WF-CC工艺生产低氮钢技术 被引量:24
7
作者 周世祥 傅杰 王平 《特殊钢》 北大核心 1998年第1期1-6,共6页
综述了用EAF-LF-VD-WF-CC工艺流程生产低氮钢的现状及采取的主要技术措施。降氮措施有:电炉内激烈的碳沸腾、造泡沫渣、EBT出钢及采用DRI,VD炉内真空底吹氩搅拌;保护措施有:LF炉内气氛控制及连铸钢包与中间罐间的长水口加氩气... 综述了用EAF-LF-VD-WF-CC工艺流程生产低氮钢的现状及采取的主要技术措施。降氮措施有:电炉内激烈的碳沸腾、造泡沫渣、EBT出钢及采用DRI,VD炉内真空底吹氩搅拌;保护措施有:LF炉内气氛控制及连铸钢包与中间罐间的长水口加氩气环保护。 展开更多
关键词 炼钢 降氮 脱氮 电炉炼钢
下载PDF
基于GML和WFS及SVG的WebGIS实现框架 被引量:5
8
作者 马庆勋 武法东 韩伟民 《测绘科学》 CSCD 北大核心 2006年第4期140-141,共2页
异构数据的交互性与客户端显示地图的图形质量问题,是目前W ebG IS技术实现方面比较突出的两个方面,作者在此推荐一种完全基于国际标准的W ebG IS实现框架,它能够很好解决上述W ebG IS技术实现方面的焦点问题。
关键词 GML wfS SVG WEBGIS
下载PDF
基于WF-net网的工作流仿真技术研究 被引量:4
9
作者 刘磊 李仁旺 杨名权 《计算机工程与应用》 CSCD 北大核心 2006年第35期188-190,197,共4页
工作流仿真是解决工作流系统可靠性与安全性的有效技术。与工作流建模相比,工作流仿真还是一个薄弱环节。在研究工作流仿真技术的基础上,提出了一种基于WF-net网,通过建立工作流虚拟运行环境来执行仿真的方法,并构建了一个工作流仿真平... 工作流仿真是解决工作流系统可靠性与安全性的有效技术。与工作流建模相比,工作流仿真还是一个薄弱环节。在研究工作流仿真技术的基础上,提出了一种基于WF-net网,通过建立工作流虚拟运行环境来执行仿真的方法,并构建了一个工作流仿真平台JXWf_Simulation,最后给出了JXWf_Simulation具体实例分析。 展开更多
关键词 工作流 PETRI网 工作流网 仿真
下载PDF
基于WF-net的工作流建模技术及应用 被引量:2
10
作者 宋贤钧 王炳鹏 郭佳 《计算机科学》 CSCD 北大核心 2006年第4期134-136,共3页
工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,... 工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网(WF-net)是由 Petri 网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,所以它是一种严格的过程形式化体系。讨论 WF-net 的建模技术,并以办公自动化系统中收文为例说明其应用,并分析其在众多的建模工具中所具有的优势。 展开更多
关键词 工作流 PETRI 工作流网 wf-NET
下载PDF
WF-net模型到PNML的转换方法研究与实现 被引量:4
11
作者 周建涛 海晓军 《计算机科学》 CSCD 北大核心 2010年第12期96-98,105,共4页
Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF... Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNML格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。 展开更多
关键词 元模型 wf-NET PNML 转换规则
下载PDF
多版本并发控制的WFS要素更新方法 被引量:4
12
作者 李风光 王永生 +1 位作者 祝若鑫 陈科 《测绘科学技术学报》 CSCD 北大核心 2014年第2期212-215,220,共5页
分析了网络要素服务规范中提供的进程内锁机制在多用户并发提交更新事务过程中存在的缺陷;借助数据库系统中事务并发控制方法,提出了一种基于多版本并发控制的要素更新并发控制方法,来解决WFS服务在多用户并发提交要素更新事务请求中存... 分析了网络要素服务规范中提供的进程内锁机制在多用户并发提交更新事务过程中存在的缺陷;借助数据库系统中事务并发控制方法,提出了一种基于多版本并发控制的要素更新并发控制方法,来解决WFS服务在多用户并发提交要素更新事务请求中存在的死锁和阻塞式等待问题。针对本文提出的这一方法,对WFS要素更新中增加要素、删除要素和更新要素的并发问题进行实验验证。 展开更多
关键词 网络要素服务 多版本并发控制 事务并发 要素更新 更新事务冲突
下载PDF
基于WF-net的工作流恢复网模型的研究 被引量:2
13
作者 黄龙达 娄渊胜 《计算机应用研究》 CSCD 北大核心 2007年第12期68-71,共4页
针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用EC... 针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。 展开更多
关键词 工作流恢复网模型 异常处理 工作流网 事件-条件-动作 数据依赖
下载PDF
基于WF-net的工作流模式建模与仿真 被引量:3
14
作者 费玲玲 唐兴艳 《计算机仿真》 CSCD 北大核心 2011年第4期96-99,共4页
针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真。首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模... 针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真。首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模型,并对该模型进行仿真调度策略和冲突解决策略进行选择,给出了某产品开发过程的扩展WF-net工作流模型,设计了扩展WF-net工作流模型仿真流程。为了增强模型仿真的可信度和可视性,从Petri网到扩展WF-net工作流网算法和仿真流程,经过仿真可知该模型没有死变迁,是正确的工作流模式模型。 展开更多
关键词 工作流模式 工作流网 建模与仿真
下载PDF
关于wF(p,r,q)算子类 被引量:1
15
作者 杨长森 原江涛 《数学物理学报(A辑)》 CSCD 北大核心 2007年第5期769-780,共12页
作为wA(p,r)算子类的一个推广,该文介绍了一类更广泛的算子类即wF(p,r,q)算子类,它包含A(p,r)类而含于F(p,r,q)类之中,进而考虑了该类算子的特征,包含关系,正规性和幂性质等等.
关键词 F(p r q)类 wf(p r q)类 FURUTA不等式 Harisen不等式 广义ALUTHGE变换
下载PDF
海泥青霉Penicillium sp.WF-06的抗肿瘤活性代谢产物 被引量:1
16
作者 任虹 于洋 《国外医药(抗生素分册)》 CAS 2011年第2期86-90,共5页
目的阐明海泥青霉Penicillium sp.WF-06的抗肿瘤活性次级代谢产物。方法 28℃下,130r/min摇床发酵7d培养生产菌WF-06,活性跟踪分离纯化WF-06发酵液中的活性单体化合物,根据理化性质和光谱分析(ESI MS、UV、IR、NMR等)鉴定单体化合物结构... 目的阐明海泥青霉Penicillium sp.WF-06的抗肿瘤活性次级代谢产物。方法 28℃下,130r/min摇床发酵7d培养生产菌WF-06,活性跟踪分离纯化WF-06发酵液中的活性单体化合物,根据理化性质和光谱分析(ESI MS、UV、IR、NMR等)鉴定单体化合物结构;采用细胞形态镜检、MTT方法评价单体化合物对人肝癌hepG2细胞的抗肿瘤活性。结果从青霉Penicillium sp.WF-06发酵液中分离并鉴定了6个生物碱类单体化合物,分别为四个环肽类化合物Gliocladine C(1)、环-甘氨酰脯氨酸(2)、环-苯丙氨酰脯氨酸(3)、环-色氨酰丙氨酸(4)和两个苯衍生物1,3-二氨基-2-硝基苯(5)和3-羧基吲哚(6),抗肿瘤活性检测结果发现化合物1对hepG2细胞显示增殖抑制活性,其IC50为19.6μmol/L,化合物2~6无活性(IC50>100μmol/L)。结论本实验首次评价了含硫环肽类化合物Gliocladine C对hepG2细胞的抗肿瘤活性,揭示了海泥青霉Penicillium sp.WF-06的主要抗肿瘤活性次级代谢物是含硫环肽类化合物。 展开更多
关键词 PENICILLIUM sp.wf-06 活性跟踪 环肽类化合物 抗肿瘤活性
下载PDF
基于WF Flowchart的UML活动图动态构建与测试 被引量:2
17
作者 孔令东 《软件》 2018年第5期121-125,共5页
企业信息系统大都采用UML分析与设计,经常会出现业务流程实现的信息不一致性,缺少一种无缝的业务流程实现,WF提供了业务过程自动化的可视化编程模型。对比分析WF Flowchart和UML活动图的基础上,研究从UML活动图到WF Flowchart业务流程... 企业信息系统大都采用UML分析与设计,经常会出现业务流程实现的信息不一致性,缺少一种无缝的业务流程实现,WF提供了业务过程自动化的可视化编程模型。对比分析WF Flowchart和UML活动图的基础上,研究从UML活动图到WF Flowchart业务流程映射关系,选取UML中典型活动图,依据一定的命名转换规则,探索一种从UML活动图分析设计到基于WF Flowchart业务流程可视化的转换及实现方法。 展开更多
关键词 wf Flowchart UML 活动图
下载PDF
K-Fuzzy赋范空间与 WF-Fuzzy赋范空间(英文) 被引量:1
18
作者 方锦暄 郭翀琦 《南京师大学报(自然科学版)》 CAS CSCD 2000年第2期1-4,共4页
研究了 K- fuzzy赋范空间与 WF- fuzzy赋范空间之间的关系 ,证明了 Hausdorff的 K- fuzzy赋范空间与 WF- fuzzy赋范空间本质上是一致的 .
关键词 K-模糊赋范空间 wf-模糊赋范空间 豪斯道夫
下载PDF
确保安全QoS的WFS路由算法
19
作者 肖建华 陈松乔 陈建二 《小型微型计算机系统》 CSCD 北大核心 2003年第5期922-924,共3页
中的最关键的功能组件之一就是基于QoS的路由,从本质上看QoS路由实际就是端点到端点的带结点条件限制和边条件限制的最短路径问题,在文[1]中指出这种问题是NP完全的。本文研究对丢失敏感对延时不敏感的QoS路由模型——确保安全QoS的... 中的最关键的功能组件之一就是基于QoS的路由,从本质上看QoS路由实际就是端点到端点的带结点条件限制和边条件限制的最短路径问题,在文[1]中指出这种问题是NP完全的。本文研究对丢失敏感对延时不敏感的QoS路由模型——确保安全QoS的路由算法,并提出了一种新启发式算法;首先,我们讨论QoS一般模型,然后利用图论中的WFS算法求解QoS路由,该算法的时间复杂度为O(nlog(n)+n×d×K_0),优于化前在该问题上的求解算法。 展开更多
关键词 计算机网络 服务质量 QOS wfS算法 路由算法 电子邮件 网络安全
下载PDF
一种WF-net合理性验证方法
20
作者 何萍 李凡 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第6期1259-1262,共4页
工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于WF-net工... 工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于WF-net工作流建模理论,在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上,提出了一种验证WF-net合理性的方法. 展开更多
关键词 工作流 wf-NET 验证
下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部