云南高校图书馆联盟文献共享服务平台- 共享合成

共享合成: 作品数：18被引量：57H指数：5; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：韩耀军王鹏伟蒋昌俊吴哲辉蒲飞更多>>; 相关机构：山东科技大学同济大学上海外国语大学中国科学院数学与系统科学研究院更多>>; 相关期刊：《山东科技大学学报（自然科学版）》《系统工程理论与实践》《计算机学报》《系统仿真学报》更多>>; 相关基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金国家重点基础研究发展计划上海市科委重大科技攻关项目更多>>

基于语义的Petri网自动共享合成方法研究被引量：3: 《系统仿真学报》2012年第11期2237-2242,共6页相东明马炳先张正明; 国家自然科学基金(60903099);山东省优秀中青年科学家奖励基金(BS2009DX012);山东省高等学校科技计划项目(J09LG14); 提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则...; 关键词：PETRI网共享合成语义标记本体

可重写Petri网:位置可重写及性质分析被引量：3: 《计算机学报》2012年第10期2182-2193,共12页庞善臣林闯; 国家"九七三"重点基础研究发展规划项目基金(2010CB328105);国家自然科学基金(90718012;60970001;60874036;61170183);山东省优秀中青年科学家科研奖励基金(BS2011DX027;BS2011SW025);青岛市科技发展计划应用基础研究项目(12-1-4-6-(7)-jch);山东科技大学杰出青年基金(2011KYJQ104);山东科技大学科研创新团队支持计划项目(2011KYTD102)资助~~; 针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明...; 关键词：可重写Petri网位置可重写Petri网共享合成Petri网活性模拟

协同维修过程的合成Petri网建模与分析被引量：6: 《北京航空航天大学学报》2011年第6期711-716,共6页杨元黎放侯重远杨磊; 总装备部技术基础课题资助项目(4314231428);海军工程大学基金资助项目(HGDSK2008E27); 针对协同维修过程中共享资源约束、工序衔接时机和维修工时不确定3大问题,建立了一种基于合成Petri网的协同维修过程模型.该模型采用三参数的数组来描述不确定维修时间,引入活动图形来描述协同关系和建立共享资源控制网来约束资源派遣次...; 关键词：协同维修 PETRI网共享合成同步合成资源冲突派遣规则

Petri网共享合成及其在并行系统中的应用被引量：2: 《计算机工程与设计》2011年第3期968-971,983,共5页刘之家李文敬王汝凉; 国家自然科学基金项目(60864001);广西自然科学基金项目(0731028);广西教育厅科研基金项目(200911MS144); 为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法。对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将P...; 关键词：PETRI网共享合成 MPI并行程序顺序合成进程合成合成算法

几种满足汇合性质的Petri网子类被引量：1: 《计算机工程》2009年第4期44-47,共4页王鹏伟吴哲辉; 国家自然科学基金资助项目(60673053;60603090);山东省优秀中青年科学家奖励基金资助项目(2006BS01019); 证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T-图具有汇合性质,讨论共享合成与同步合成操作对Petri网汇合性质的保持性,得出由上述简单的Petri网子类通过共享合成及同步合成得到的复杂的网系统也具有汇合性...; 关键词：PETRI网汇合性质 T-图 S-图同步合成共享合成

同步及共享合成操作对Petri网汇合性质的保持性被引量：1: 《系统仿真学报》2007年第A01期21-25,共5页王鹏伟吴哲辉; 国家自然科学基金(60673053;60603090);山东省优秀中青年科学家奖励基金(2006BS01019)。; 若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Pe...; 关键词：PETRI网家态汇合性质同步合成共享合成

基于共享合成时间Petri网的船舶吊装过程建模被引量：9: 《计算机集成制造系统》2007年第3期465-471,共7页续爱民金烨; 上海市科委重大专项基金资助项目(04DZ11004)~~; 根据船舶吊装过程中所涉及的吊装网络约束、场地和设备约束,以及所用时间等信息,提出了一种基于共享合成时间Petri网的船台吊装过程建模方法。该方法不仅能够应用于单船吊装过程,而且可以方便地建立多船吊装过程模型。分析了该方法的可...; 关键词：时间PETRI网共享合成吊装造船

基于着色Petri网的航空发动机总装作业调度研究被引量：4: 《航空精密制造技术》2006年第6期52-55,51,共5页钟诗胜汤新民池善纯; 针对航空发动机作业并行交叉的特点,提出一种“自底向上”的柔性建模方法,着重描述异类对象作业工序对资源的占用与冲突。引入基于资源库所的共享合成运算,解决了Petri网结构重用性差而无法动态建模的问题,合成模型具有守衡、有界和无...; 关键词：航空发动机总装时间着色Petri网共享合成静态调度

Petri网的分享合成操作被引量：3: 《系统仿真学报》2006年第11期3313-3315,3319,共4页刘培顺何大可; 通过引入Fork算子,建立了Petri网的一种新的合成操作-分享合成,分享合成操作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时,子网中任何与分享库所无关的变迁序列在合成后保持不变,分享合成对于子网内由分享库所引...; 关键词：PETRI网共享合成分享合成信息融合

网格计算资源调度方案及其Petri网建模与分析被引量：3: 《系统仿真学报》2006年第4期824-828,共5页韩耀军; 国家重大研究计划(90412013);国家重点基础研究发展计划(973)项目(2004CB318001-03);国家自然科学基金项目(60473094);上海外国语大学科学研究基金项目; 通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分...; 关键词：网格计算资源调度方案 PETRI网共享合成可达任务图

共享合成