农机化研究
農機化研究
농궤화연구
JOURNAL OF AGRICULTURAL MECHANIZATION RESEARCH
2011年
1期
32-36
,共5页
无公害农产品%工作流%Petri网%工作流模型%模型化简算法%矩阵遍历算法
無公害農產品%工作流%Petri網%工作流模型%模型化簡算法%矩陣遍歷算法
무공해농산품%공작류%Petri망%공작류모형%모형화간산법%구진편력산법
针对无公害农产品认证业务流程的复杂性,设计并实现了基于工作流的无公害农产品监管系统.采用Petri 网技术构建无公害农产品认证业务的工作流模型,并通过模型化简和矩阵遍历相结合的算法对模型的合理性进行了验证.模型化简算法降低了矩阵遍历算法中遍历的维数,矩阵遍历算法弥补了复杂模型无法彻底化简的问题,两种算法相互作用提高了算法的效率和验证的准确性.结论表明,利用 Petri 网和改进的模型验证算法可以对无公害农产品认证业务模型进行构建和优化设计.
針對無公害農產品認證業務流程的複雜性,設計併實現瞭基于工作流的無公害農產品鑑管繫統.採用Petri 網技術構建無公害農產品認證業務的工作流模型,併通過模型化簡和矩陣遍歷相結閤的算法對模型的閤理性進行瞭驗證.模型化簡算法降低瞭矩陣遍歷算法中遍歷的維數,矩陣遍歷算法瀰補瞭複雜模型無法徹底化簡的問題,兩種算法相互作用提高瞭算法的效率和驗證的準確性.結論錶明,利用 Petri 網和改進的模型驗證算法可以對無公害農產品認證業務模型進行構建和優化設計.
침대무공해농산품인증업무류정적복잡성,설계병실현료기우공작류적무공해농산품감관계통.채용Petri 망기술구건무공해농산품인증업무적공작류모형,병통과모형화간화구진편력상결합적산법대모형적합이성진행료험증.모형화간산법강저료구진편력산법중편력적유수,구진편력산법미보료복잡모형무법철저화간적문제,량충산법상호작용제고료산법적효솔화험증적준학성.결론표명,이용 Petri 망화개진적모형험증산법가이대무공해농산품인증업무모형진행구건화우화설계.
