您的位置: 专家智库 > >

代飞

作品数:69 被引量:127H指数:7
供职机构:西南林业大学更多>>
发文基金:国家自然科学基金云南省自然科学基金云南省教育厅科学研究基金更多>>
相关领域:自动化与计算机技术文化科学自然科学总论经济管理更多>>

文献类型

  • 45篇期刊文章
  • 18篇专利
  • 3篇会议论文
  • 2篇学位论文
  • 1篇科技成果

领域

  • 45篇自动化与计算...
  • 4篇文化科学
  • 1篇经济管理
  • 1篇自然科学总论

主题

  • 22篇PETRI网
  • 6篇网络
  • 5篇软件体系结构
  • 5篇体系结构
  • 5篇并行性
  • 4篇代数
  • 4篇等价
  • 4篇业务过程管理
  • 4篇依赖图
  • 4篇软件演化过程
  • 4篇神经网
  • 4篇神经网络
  • 4篇课程
  • 4篇跨组织
  • 4篇过程管理
  • 3篇代数语义
  • 3篇业务过程模型
  • 3篇元模型
  • 3篇日志
  • 3篇软件工程

机构

  • 56篇云南大学
  • 22篇西南林业大学
  • 3篇昆明理工大学
  • 3篇淮安市高级职...
  • 2篇云南农业大学
  • 2篇云南省科学技...
  • 1篇清华大学
  • 1篇四川建筑职业...
  • 1篇南京工程学院
  • 1篇南京信息工程...
  • 1篇曲阜师范大学
  • 1篇昆明医科大学
  • 1篇昭通学院

作者

  • 69篇代飞
  • 37篇李彤
  • 26篇莫启
  • 21篇谢仲文
  • 18篇朱锐
  • 10篇秦江龙
  • 9篇张璇
  • 6篇刘金卓
  • 6篇赵娜
  • 5篇强振平
  • 5篇于倩
  • 5篇王炜
  • 5篇陈凤强
  • 5篇赵文卓
  • 4篇刘宁
  • 3篇卢萍
  • 3篇钱晔
  • 3篇王雷光
  • 3篇郁湧
  • 3篇刘妙

传媒

  • 7篇计算机集成制...
  • 7篇计算机科学
  • 5篇软件学报
  • 4篇计算机应用研...
  • 2篇计算机研究与...
  • 2篇计算机应用与...
  • 2篇云南大学学报...
  • 2篇江苏大学学报...
  • 2篇计算机教育
  • 2篇计算机科学与...
  • 2篇西南林业大学...
  • 1篇内蒙古大学学...
  • 1篇经济师
  • 1篇计算机工程与...
  • 1篇计算机工程
  • 1篇小型微型计算...
  • 1篇光谱学与光谱...
  • 1篇创新创业理论...
  • 1篇工业和信息化...
  • 1篇2012中国...

年份

  • 3篇2024
  • 5篇2023
  • 3篇2021
  • 2篇2020
  • 4篇2019
  • 7篇2018
  • 5篇2017
  • 11篇2016
  • 8篇2015
  • 3篇2014
  • 4篇2013
  • 8篇2012
  • 4篇2011
  • 1篇2010
  • 1篇2008
69 条 记 录,以下是 1-10
排序方式:
基于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层的执行时延;获取目标平台...
刘国志代飞黄苾李乐成王帅巫晓静柴新卓刘宁杨静黄宗才亓祥宇刘露强振平
共7页<1234567>
聚类工具0