代飞
- 作品数:71 被引量:134H指数:7
- 供职机构:西南林业大学更多>>
- 发文基金:国家自然科学基金云南省自然科学基金云南省教育厅科学研究基金更多>>
- 相关领域:自动化与计算机技术文化科学自然科学总论经济管理更多>>
- 基于SE-CDIO方法的软件工程国家精品课程教学条件建设被引量:1
- 2012年
- 以云南大学软件学院"软件工程"国家精品课程为背景,讨论了基于SE-CDIO方法的"软件工程"国家精品课程教学条件建设情况.
- 李彤赵娜张璇王剑康雁秦江龙代飞
- 关键词:软件工程国家精品课程教学材料教学环境
- 结合Petri网和Pi演算的协同业务过程建模被引量:9
- 2015年
- 协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。
- 代飞莫启林雷蕾朱锐李彤谢仲文
- 关键词:PETRI网PI演算
- 一种多视角的跨组织业务过程建模方法被引量:7
- 2015年
- 为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方面进行描述,得到私有过程、公共过程、协作过程三种不同的过程形态。使用该方法对供应链的购买过程进行了建模说明,与现有建模方法相比,说明该方法可有效支持跨组织业务过程的个性化特征。
- 代飞莫启林雷蕾李彤顾思雅朱锐
- 关键词:业务过程建模PETRI网
- 一种挖掘BPMN编制流程并行性的方法及系统
- 本发明公开了一种挖掘BPMN编制流程并行性的方法及系统,方法包括:根据结构特征从编制流程中提取任务间的基本关系,并构造出基本关系矩阵;分析任务间的依赖关系,并构造出依赖关系矩阵;根据所述依赖关系矩阵构造出依赖图;根据转换...
- 代飞刘妙王博谢仲文赵娜
- 文献传递
- 一种挖掘二度循环的扩展Alpha算法被引量:2
- 2018年
- 为解决现有挖掘算法无法从不具有显式行为特征"aba"的局部完备性的日志文件中挖掘最简2度循环的问题,对经典的alpha算法进行了扩展,提出了αL算法,用于从具有行为特征或不具有行为特征的局部完备性日志中挖掘出最简2度循环。给出了最简2度循环的形式化定义。从全局角度根据不同结构具有不同行为轨迹来区分最简2度循环与并发结构。通过紧邻关系的强弱,来有效识别并发分支上同类型的最简2度循环结构。通过大量模型实验表明了所提算法的有效性,并将算法集成在开源框架ProM中。
- 林雷蕾周华代飞代飞闻立杰
- 关键词:业务流程管理PETRI网
- 基于SP-CDIO的软件过程课程建设被引量:1
- 2015年
- 针对软件过程课程教学长期出现的问题,结合软件过程的课程特性,以CDIO人才培养模式指导课程建设,提出SP-CDIO教学方法,从构思、设计、实现、运作4个阶段,建立理论与实践相结合的软件过程课程内容体系,阐述教学团队在软件过程课程建设中的具体措施和方法。
- 代飞李彤顾思雅刘妙谢仲文秦江龙
- 关键词:CDIO
- 基于Petri网的面向动态演化的软件体系结构建模被引量:7
- 2012年
- 为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性。
- 谢仲文李彤代飞秦江龙张璇莫启朱锐
- 关键词:软件体系结构PETRI网连接件
- 基于感知哈希算法和区块链的普洱茶信息溯源方法
- 本发明涉及图像处理技术领域,尤其涉及一种基于感知哈希算法和区块链的普洱茶信息溯源方法。所述方法包括:在接收到校验请求时,基于感知哈希算法,识别待校验茶饼图像上的待校验纹理码;将所述的待校验纹理码与存储于区块链上的参考纹理...
- 柴新卓代飞黄苾强振平巫晓静刘宁李乐成王帅
- 基于软件演化过程构件的软件演化过程复用
- 随着越来越多的软件系统变成遗产系统,软件演化的重要性和普及性越来越强。一方面,软件演化已成为软件生存周期最重要的形态之一,进入了软件的各个领域,成为了今天软件工程研究的热点领域;另一方面,软件过程在提高软件演化的效率和质...
- 代飞
- 关键词:过程复用
- 文献传递
- 端边云计算环境中的DNN协同推理加速方法、设备及介质
- 本发明涉及深度学习技术领域,尤其涉及一种端边云计算环境中的DNN协同推理加速方法、设备及介质。根据多分支DNN的层类型和计算平台的计算资源,构建目标时延预测模型;基于目标时延预测模型,预测DNN层的执行时延;获取目标平台...
- 刘国志代飞黄苾李乐成王帅巫晓静柴新卓刘宁杨静黄宗才亓祥宇刘露强振平