流模型

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于因果自回归流模型的因果结构学习算法
《计算机工程》2024年第3期131-136,共6页卢小金 陈薇 郝志峰 蔡瑞初 
国家自然科学基金(61876043,61976052,62206064);科技创新2030-“新一代人工智能”重大项目(2021ZD0111501);国家优秀青年科学基金(62122022)。
因果自回归流模型已经在非独立噪声等场景的因果方向推断问题上取得了一定的进展,但在多个结点的场景下仍存在全局结构搜索带来的准确度低和计算时间复杂度高的问题。面向非时序观察数据设计一种两阶段因果结构学习算法。在第一阶段,基...
关键词：因果结构学习 因果发现 加性噪声模型 因果自回归流模型 标准化流 
基于压缩与精化深度体素流模型的视频插值
《计算机工程》2022年第9期248-253,共6页茹妞妞 于晋伟 杨卫华 卞玮 
国家自然科学基金(11671296)。
视频插值是利用视频相邻帧的图像信息合成中间帧,可直接应用于慢动作视频回放、高频视频合成、动画制作等领域。现有基于深度体素流的视频插值模型存在合成精度低、参数量大的问题,限制其在移动端的部署应用。提出一种压缩驱动的精化深...
关键词：视频插值 预训练模型 参数压缩 卷积神经网络 精化深度体素流模型 
求解复杂交通流模型的低耗散中心迎风格式被引量：2
《计算机工程》2019年第6期37-44,共8页杨苗苗 封建湖 程晓晗 冯娟娟 
国家自然科学基金(11601037);陕西省自然科学基金(2018JQ1027);中央高校基本科研业务费专项资金(310812171002)
针对非均匀道路上的多车种LWR交通流模型,提出一种低耗散中心迎风格式。以4阶中心加权基本无震荡重构和低耗散中心迎风数值通量为基础,通过构造不同形式的全局光滑因子及增大非光滑模板对应的非线性权重优化数值格式的耗散特性,并采用Ru...
关键词：交通流 低耗散 中心迎风格式 中心加权基本无震荡 激波 稀疏波 
基于π演算的工作流模型检验
《计算机工程》2011年第23期60-62,共3页刘峰 陈笑蓉 
贵州省工业攻关计划基金资助项目(黔科合GY字[2010]3077)
为保证工作流模型语义的正确性,提出一种基于π演算的工作流模型语义性质检验方法。采用π演算的一个子集πN演算描述工作流模型,证明该模型的反应关系能够终止,构造有限反应迁移图算法,利用NuSMV检验工作流模型是否满足线性时序逻辑性...
关键词：Π演算 工作流模型 模型检验 时序逻辑 
基于虚拟执行的动态工作流演进算法被引量：1
《计算机工程》2011年第15期27-29,33,共4页张杰 吕红 周立军 王丽娜 
为实现工作流管理系统中工作流演进的控制,解决流程实例动态调整的问题,给出工作流模型相关定义的形式化表示及正确性标准,提出基于数据流相关信息历史记录的虚拟执行算法,适用于模型结构变化及模型存在循环结构等情况。该算法能判断流...
关键词：工作流 工作流模型 工作流演进 历史记录 虚拟执行 
基于AOV网的抽象工作流模型被引量：2
《计算机工程》2011年第9期90-92,共3页陈谊 新吉乐 孙悦红 李海生 
北京市教委科技发展计划基金资助项目(KM200910011007)
针对项目管理中的工作流控制需求,提出一个基于顶点活动(AOV)网的抽象工作流模型。给出该模型的形式化定义以及各结点的时序关系,阐述工作流的设计与执行规则,包括分支设计规则和回路设计规则,定义工作流图分支结构中汇聚结点的时序同...
关键词：工作流模型 顶点活动网 形式化描述 工作流管理系统 
UMTS网络无线资源控制协议脆弱性研究
《计算机工程》2011年第S1期104-106,110,共4页郭志亮 李强 常慧君 
研究通用移动通信系统(UMTS)网络中无线资源控制协议的脆弱性。采用动态触发方法分析无线资源控制协议,指出其存在脆弱性的原因,并根据协议特点设计2种周期性突发分组数据流模型。通过对数据流模型的量化分析与仿真实验,说明2种数据流...
关键词：通用移动通信系统 无线资源控制协议状态机 脆弱性 数据流模型 动态触发 
基于Petri网的网络攻击流模型研究被引量：3
《计算机工程》2011年第4期158-160,177,共4页赵博夫 殷肖川 
针对网络攻击的智能组织实施问题,提出一种攻击流的概念,选用Petri网作为工具,对网络攻击流进行建模。在此基础上,对3种基本网络攻击流模型进行分析,并结合IP欺骗攻击实例,分析其在IP欺骗攻击中的具体应用及其实现方式。实验结果表明,...
关键词：网络攻击流 PETRI网建模 智能网络攻击 
一种面向数据流模型的流计数算法被引量：1
《计算机工程》2010年第23期31-33,35,共4页廖豪 梁峰 谭建龙 
国家"973"计划基金资助项目(2007CB311100)
在研究数据流过程中,基于现有的概要数据结构Bloom Filter,给出改进的K-Bloom Filter结构,从理论上对假阳性误判进行分析,得出两者具有相同的在误判率f0下表示集合规模的上限n0,因此,K-Bloom Filter的误判率在可控范围内。提出基于K-Blo...
关键词：数据流 布鲁姆过滤器 概要数据结构 
基于π演算的工作流模型分析方法被引量：4
《计算机工程》2010年第6期70-72,共3页梁爱南 李长云 黄贤明 
国家自然科学基金资助项目(60773110)
使用合理性、弱合理性和松合理性对π演算形式化的工作流模式进行合理性分析时,工作流都不符合这3种合理性。针对以上问题,提出懒惰合理性的概念,用于对工作流进行分析。通过考虑节点语义,扩展结构合理性。为了表达节点语义,用π演算表...
关键词：工作流 合理性分析 Π演算 懒惰合理性 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部