流模型

作品数：1117被引量：4142H指数：27
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：范玉顺宋弢王珣孔令江刘慕仁更多>>
相关机构：清华大学北京航空航天大学华中科技大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
新一代神威处理器上高效任务流并行系统
《计算机科学》2024年第12期137-146,共10页傅游 杜雷明 高希然 陈莉 
山东省自然科学基金(ZR2022MF274,ZR2021LZH004);国家重点研发计划(2017YFB0202002)。
我国自主研制的新一代神威超级计算机相比前一代的神威太湖之光,具有更强大的内存系统和更高的计算密度,其主力编程模型仍然是块同步(Bulk Synchronous Parallelism,BSP)模型。顺序任务流(Sequential Task Flow,STF)模型基于数据流信息...
关键词：顺序任务流模型 异构众核并行 任务调度 数据流并行 块同步模型 
基于颜色流模型的非配对医学图像颜色迁移方法
《计算机科学》2024年第8期176-182,共7页王晓洁 刘尽华 陆书一 周元峰 
战略性国际科技创新合作专项国家重点研发计划(2021YFE0203800);国家自然科学基金浙江省信息化与工业化融合联合基金(U1909210);国家自然科学基金(62172257)。
在临床应用中,CT图像是一种比较容易获取的影像数据,但是其与真实人体色彩有较大差距。人体断层彩色图像是真实人体的色彩反应,但却是一种稀有数据。如果将两者结合,使得每个病例都可以得到自己的彩色CT数据,将会对医生手术和患者理解...
关键词：流模型 着色 纹理约束 稳定性 边缘约束 
面向工业图像异常检测的连续密集标准化流模型被引量：2
《计算机科学》2023年第12期212-220,共9页张邹铨 张辉 吴天月 陈天才 
国家重点研发计划(2021ZD0114503);国家自然科学基金(61971071,62027810);湖南省杰出青年科学基金(2021JJ10025);湖南省研究生科研创新项目(CX20210797)。
工业产品表面异常检测是生产制造中不可或缺的环节。在实际工业生产中,普遍存在异常样本所占比例低且未知异常复杂多变等现象,进而造成在小样本数据集上过拟合、泛化能力不佳等一系列负面影响。近年来,标准化流思想为基于深度学习的工...
关键词：工业图像检测 异常检测 深度学习 标准化流 对比学习 
一种服务消息交互行为的元建模方法
《计算机科学》2017年第4期24-29,共6页周文博 刘洪佳 刘磊 张鹏 吕帅 
国家自然科学基金(61300049);教育部高等学校博士学科点专项科研基金(20120061120059);中国博士后科学基金(2011M500612);吉林省重点科技攻关项目(20130206052GX);吉林省自然科学基金项目(20150101054JC);吉林省青年科研基金(20140520069JH)资助
为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递...
关键词：服务交互 元建模 工作流模型 消息接口 形式语义 
基于Uppaal的实时系统AADL数据流模型的转换与验证被引量：1
《计算机科学》2016年第1期211-217,共7页沈宁敏 李静 白海洋 庄毅 
中央高校基本科研业务费专项资金(NS2015092)资助
体系结构分析设计语言AADL是一种可支持软硬件一体化建模及同一模型多元分析的形式化与图形化建模语言。采用时间自动机形式化模型检验方法对AADL模型中的数据流进行转换和验证。考虑到单一数据流与混合数据流的差异性,分别设计了数据...
关键词：AADL 时间自动机模型 数据流时延 UPPAAL 软件验证 
工作流建模技术综述及其研究趋势被引量：23
《计算机科学》2014年第S1期11-17,23,共8页陈广智 潘嵘 李磊 
国家自然科学基金(61300095)资助
随着工作流管理系统(业务流程管理系统)的广泛使用,工作流技术受到了越来越多的重视;与此相应,工作流建模技术的研究也受到了人们的重视。由于工作流模型在工作流技术中的核心地位,工作流建模技术得到了广泛的研究,出现了各种各样的建...
关键词：业务流程 建模技术 工作流建模 工作流模型 工作流管理系统 
工作流模型复杂控制结构构造方法被引量：3
《计算机科学》2012年第11期106-110,136,共6页李海波 
福建省高校产学研合作科技重大项目(2010N5008);厦门市科技计划创新项目(3502Z20110013);泉州市科技计划项目(2011G5);华侨大学基本科研业务费专项基金(JB-ZR1147);国务院侨办科研基金项目(10QZR07)资助
当工作流模型中的业务规则语义复杂时,控制结构的正确性很难由人工保证。然而自动构造的方法尚少,因此首先引入层次清晰、能满足工作流模型合理性许多性质的块结构化(Block Structured)控制结构,通过分析工作流模型中块的拓扑结构,分别...
关键词：工作流模型 控制结构 块结构 
一个基于网格环境的安全信息流模型
《计算机科学》2011年第6期157-160,199,共5页刘益和 
国家973项目(1999035801);四川省应用基础研究计划课题(04JY029-096);四川省教育厅自然科学重点项目(09ZA055)资助
网格安全是网格中的一个重要组成部分,它直接影响着网格的发展和网格系统软件的实际应用。为了充分描述网格环境下的信息流动情况,扩展了一般网络环境下的主体、客体,利用客体的组织密级、密级、完整性等级来划分安全类,定义信息流策略...
关键词：网格安全 BLP模型 BIBA模型 信息流模型 
α_H算法:工作流挖掘中一种能挖掘隐含任务的扩展α算法被引量：3
《计算机科学》2011年第4期221-225,共5页马慧 汤庸 吴凌坤 
国家自然科学基金(60970044);电子科技大学中山学院科研启动基金项目(409YKQ04)资助
正确发现流程实际运作情况对工作流管理有着重要的意义。工作流挖掘抽取系统日志信息,挖掘流程的真实运作模型。其中挖掘隐含任务是工作流挖掘中待研究问题之一。基于α算法,提出了能挖掘隐含任务的挖掘算法αH。分析了隐含任务出现的...
关键词：工作流模型 工作流挖掘 隐含任务 工作流网 PETRI网 
基于不变流形的FAST TCP参数选择方法
《计算机科学》2010年第8期124-128,共5页陈晓龙 章云 刘治 杨玲玲 
国家广东省联合基金(U0735003);国家自然科学研究基金项目(60604006);茂名学院自然科学研究基金资助
在各路径FAST TCP连接到达服从泊松过程、传送文件长度服从指数分布和瓶颈链路处于重流量服务强度的条件下,利用含有各路径FAST TCP连接平均逗留时间的Lyapunov函数,证明了若处于不变流形状态,则各路径活跃FAST TCP连接平均逗留时间最短...
关键词：参数选择 不变流形 重流量 服务强度 流模型 逗留时间 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部