云南高校图书馆联盟文献共享服务平台- 国家教育部博士点基金(20113718110004)

国家教育部博士点基金(20113718110004): 作品数：13被引量：45H指数：4; 导出分析报告; 相关作者：杜玉越薛洁王路杜军威吴洪越更多>>; 相关机构：山东科技大学青岛科技大学青岛农业大学山东省信息中心更多>>; 相关期刊：《山东科技大学学报（自然科学版）》《Frontiers of Computer Science》《计算机工程与应用》《电子学报》更多>>; 相关主题：PETRI网WEB服务大数据校准服务聚类更多>>; 相关领域：自动化与计算机技术自然科学总论更多>>

逻辑Petri网的S-组合及活性分析: 《计算机工程与应用》2016年第18期31-35,97,共6页王路蒋霞杜玉越; 国家自然科学基金(No.61170078;No.61202016;No.61472228);教育部高等学校博士学科点专项科研基金博导类资助课题(No.20113718110004);山东省自然科学基金(No.ZR2014FM009);青岛市科技计划基础研究项目(No.13-1-4-116-jch);山东科技大学科研创新团队支持计划项目(No.2011KYTD102); 基于Petri网和逻辑Petri网,提出了S-组合逻辑Petri网的概念。深入研究了S-组合逻辑Petri网的活性继承问题,给出了S-组合逻辑Petri网活性的判定定理和算法,并分析了S-组合网中几种资源共享情况。针对组合逻辑Petri网的几种资源共享情况,...; 关键词：逻辑Petri网 S-组合活性资源共享活性控制

流程交换重复偏差的识别方法: 《山东科技大学学报（自然科学版）》2015年第1期35-41,共7页王瑞莹杜玉越; 国家自然科学基金项目(61170078;61472228);教育部高等学校博士学科点专项科研基金博导类项目(20113718110004);青岛市科技计划基础研究项目(13-1-4-116-jch);山东科技大学科研创新团队支持计划项目(2011KYTD102); 针对现有流程偏差模式无法正确识别流程组合偏差的情况,提出一种流程组合偏差模式。该模式以构建偏差模式约束为前提,将活动替换、交换和重复偏差模式相互组合。以标准代价函数为基础,给出改进代价函数。根据组合偏差模式及改进代价函数...; 关键词：校准重复偏差组合偏差过程挖掘一致性检测大数据

一种基于校准的模型问题域识别方法被引量：6: 《山东科技大学学报（自然科学版）》2015年第1期42-46,53,共6页王路杜玉越; 国家自然科学基金项目(61170078;61472228);教育部高等学校博士学科点专项科研基金博导类项目(20113718110004);青岛市科技计划基础研究项目(13-1-4-116-jch);山东科技大学科研创新团队支持计划项目(2011KYTD102); 以Petri网作为描述流程模型的形式化方法,利用工作流的四种基本结构描述流程中活动之间的关系;结合流程模型质量维度中的拟合度、简化度、精确度和泛化度,给出了流程模型中执行序列与事件日志中迹的校准方法。通过所提出的校准动作序列...; 关键词：PETRI网流程模型质量维度校准动作映射大数据

医疗急诊流程挖掘与模型改进被引量：4: 《中国科技论文》2015年第2期232-236,共5页高立哲杜玉越刘伟; 高等学校博士学科点专项科研基金资助项目(20113718110004);国家自然科学基金资助项目(61170078;61472228);山东省自然科学基金资助项目(ZR2014FM009);青岛市科技计划基础研究项目(13-1-4-116-jch);山东科技大学科研创新团队支持计划项目(2011KYTD102); 基于流程挖掘中的α算法和流程挖掘平台ProM(process miner),将医疗急诊流程的事件日志转化为Petri网模型,并将其与医疗急诊日志及实际流程对比分析。由于α算法的局限性,对于一些复杂结构,可能会导致错误的挖掘流程。基于逻辑Petri网,...; 关键词：医疗急诊流程挖掘 α算法 PETRI网

业务过程管理研究现状与关键技术被引量：4: 《山东科技大学学报（自然科学版）》2015年第1期22-28,共7页李洪霞杜玉越; 国家自然科学基金项目(61170078);教育部高等学校博士学科点专项科研基金博导类项目(20113718110004);青岛市科技计划基础研究项目(13-1-4-116-jch);山东科技大学科研创新团队支持计划项目(2011KYTD102); 综述了业务过程管理(BPM,business process management)不同侧面的研究现状,阐述BPM的内容、视图及生命周期,分析BPM在过程模型建模、实施、分析和管理方面的关键技术,概括了模型实例获得、模型的可配置性、模型实例诊断及新实例产生方...; 关键词：大数据过程模型过程挖掘事件日志工作流管理业务过程管理

一种最优校准的分组算法被引量：2: 《山东科技大学学报（自然科学版）》2015年第1期29-34,共6页田银花杜玉越; 国家自然科学基金项目(61170078;61472228);教育部高等学校博士学科点专项科研基金博导类项目(20113718110004);青岛市科技计划基础研究项目(13-1-4-116-jch);山东科技大学科研创新团队支持计划项目(2011KYTD102); 为了选取最优校准的代表项简化迹与模型的一致性检查,提出一种基于质数权值的分组算法,实现对所有最优校准的分组。给不同的偏差分配互异的质数权值,将权值之积作为最优校准的代价。包含相同移动多重集但移动出现位置不同的相似最优校...; 关键词：迹 PETRI网模型最优校准质数权值分组算法

Web服务流程的结构范式及其判定算法被引量：8: 《计算机学报》2015年第1期178-190,共13页胡强杜军威杜玉越; 国家"九七三"重点基础研究发展规划项目基金(2010CB328101);国家自然科学基金(61170078;61273180);教育部高等学校博士学科点专项科研基金(20113718110004);山东省自然基金项目(ZR2012FL17);青岛市科技计划基础研究项目(13-1-4-116-jch);山东科技大学科研创新团队支持计划项目(2011KYTD102)资助~~; 服务组合是一种利用已有Web服务构建新的增值服务的有效方法,然而当前缺乏对组合产生的服务流程进行结构健壮性层次划分和判定的准则.针对上述问题,提出Web服务流程结构范式,从路径的可达性和结构冗余性两个角度将结构范式划分为四个层...; 关键词：WEB服务结构范式逻辑Petri网服务网健壮性

一种基于逻辑Petri网的Web服务簇组合方法被引量：8: 《计算机学报》2015年第1期204-218,共15页吴洪越杜玉越; 国家自然科学基金(61170078);国家"九七三"重点基础研究发展规划项目基金(2010CB328101);教育部高等学校博士学科点专项科研基金博导类资助课题(20113718110004);山东科技大学科研创新团队支持计划项目(2011KYTD102);青岛市科技计划基础研究项目(13-1-4-116-jch)资助~~; Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种...; 关键词：WEB服务服务簇服务组合逻辑Petri网服务簇网

基于服务簇的服务组合替换与分析被引量：5: 《电子学报》2014年第11期2231-2238,共8页杜玉越薛洁李彦成; 国家自然科学基金(No.61170078);国家973重点基础研究发展计划(No.2010CB328101);教育部高等学校博士学科点专项科研基金博导类资助课题(No.20113718110004);青岛市科技计划基础研究项目(No.13-1-4-116-jch);山东科技大学科研创新团队支持计划(No.2011KYTD102); 提出了一种基于服务簇的服务替换方法.将服务库中服务聚类形成服务簇,并建立相应的服务簇网元及其矩阵模型.假设基于服务簇的服务组合已建立,通过分析服务组合流程,构建了组合服务网模型.根据失效服务网元标准矩阵和组合服务网模型,提...; 关键词：服务簇服务组合服务簇网元服务替换 PETRI网

Property analysis of logic Petri nets by marking reachability graphs被引量：5: 《Frontiers of Computer Science》2014年第4期684-692,共9页Yuyue DU Yuhui NING; This work is supported by the National Basic Research Program of China （2010CB328101）; the National Natural Science Foundation of China （Grant Nos. 61170078 and 61173042）; the Doctoral Program of Higher Education of the Specialized Research Fund of China （20113718110004）; Basic Research Program of Qingdao City of China （13- 1-4-116-jch）; and the SDUST Research Fund of China （2011KYTD 102）.; Logic Petri nets （LPNs） are suitable to describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. To investigate the dynamic properties of LPNs directly, a new method fo...; 关键词：logic Petri nets enabled condition reachable marking graph FAIRNESS REVERSIBILITY

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家教育部博士点基金(20113718110004)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家教育部博士点基金(20113718110004)

检索结果分析

下载全文

用户登录

高级检索检索式检索