江苏省基础研究计划(BK2004411)
- 作品数：4 被引量：19H指数：3
- 相关作者：窦万春蔡士杰刘茜萍宋巍王仪科更多>>
- 相关机构：南京大学中国科学院软件研究所更多>>
- 发文基金：江苏省基础研究计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于复杂问题定义模型的复杂问题求解被引量：1
- 2008年
- 复杂问题求解往往涉及多个知识领域,其对应的工作流和知识流也非常复杂。为了促进后续问题求解过程的可靠性和针对性,利用现有的形式化和非形式化的方法,提出了一种复杂问题定义模型,并在此基础上分析了复杂问题求解过程中的知识流和工作流。结合大型软件项目开发,提出了复杂问题求解的参考步骤。
- 范绍坤窦万春
- 关键词：元学习工作流知识流
- 面向认知协作的知识流分析与研究被引量：12
- 2006年
- 为了有效地对认知科学中基于群学习方式的认知协作进行研究,首先探讨了基于本体描述的认知基础环境,对知识驱动的认知环境所涉及的一些基本概念进行了定义·进而,基于本体论思想,对支持认知协作的知识应用集成环境进行了探讨·在此基础上,对知识流关系进行了形式化定义,并利用Markov决策过程理论分析研究了知识应用集成环境下协同认知的过程逻辑·最后,对全文进行了总结并提出了进一步的研究方向·
- 窦万春刘茜萍蔡士杰
- 关键词：知识流本体
- 资源限制工作流网及其可调度性验证
- 工作流建模阶段的验证工作对工作流的成功执行具有重要意义。根据活动对资源的操作类型,对资源进行分类,在此基础上提出资源限制工作流网(RCWF-net)的概念,并进一步给出了RCWF-net下资源依赖和资源冲突的概念,最后通...
- 宋巍窦万春
- 关键词：资源依赖资源冲突
- 文献传递
- 基于穹顶提取的边缘选取算法被引量：3
- 2005年
- 在检测斜坡状边缘时,由于噪声的影响,经常出现单边缘多重响应现象.灰度形态学重建(grayscale recon struction)可以用于提取穹顶(dome).文章指出并证明了穹顶所具有的三个特性,并提出一种基于穹顶在梯度图中选取边缘的算法(DEG).根据指出的穹顶的特性,该算法具有非极大抑制(non maxima suppression, NMS)的效果;并且它仅选取出梯度图中相应于边缘的极大值点,在其附近由噪声引起的小的极大值点不会被选取出.算法的时间复杂度和内存要求同非极大抑制法相比没有明显的增加.实验结果显示,该算法抑制了单边缘多重响应现象,具有非极大抑制的效果,同时不会引起边缘的移位,适合用于对斜坡状边缘的检测.
- 王仪科窦万春张习文蔡士杰
- 关键词：边缘检测数学形态学
- 基于资源和时间限制的多工作流网及可调度性验证被引量：3
- 2007年
- 工作流建模阶段的验证工作对工作流的成功执行具有重要意义。首先分析了与工作流执行密切相关的资源和时间特性,考虑到工作流应用系统中总是有若干工作流并发执行,于是综合考虑结构、时间、资源限制三个层面,提出一个工作流应用系统一般性限制框架。基于该框架提出了多工作流网原型,并进一步给出了多工作流网下资源冲突和可调度性的概念,最后给出了多工作流网可调度性验证算法及其冲突解决方案。
- 宋巍窦万春
- 关键词：资源限制
