流模型

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

检索结果分析

结果分析中...
选择条件：
  • 基金=中央高校基本科研业务费专项资金x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
压裂煤储层气水两相流模型及煤层气产量分析被引量：2
《中国煤炭地质》2023年第6期9-13,共5页刘谨嘉 冯堃 祝捷 张双源 刘轩 
国家自然科学基金项目(52074297);煤层气开发利用国家工程研究中心运行管理研究项目(2021DQ0107-01);中央高校基本科研业务费专项基金项目(2022YJSLJ03)。
水力压裂是促使煤层气增产的关键技术,研究压裂煤储层中的气水两相流特征具有重要意义。以鄂尔多斯盆地大宁-吉县区块2000m以深的8号煤层为研究对象,建立了研究区COMSOL软件下的模拟模型,基于储层物性参数和煤层气井排采参数,得到了与...
关键词：气水两相流 数值模型 水力压裂 储层压力 产气量 井底流压 
反例引导的C代码空间流模型检测方法
《软件学报》2022年第6期1961-1977,共17页于银菠 刘家佳 慕德俊 
广东省基础与应用基础研究基金(2021A1515110279);太仓市基础研究计划(TC2020JC03);中央高校基本科研业务费专项资金(D5000210588)。
软件验证一直是确保软件正确性和安全性的热点研究问题.然而,由于程序语言复杂的语法语义特性,应用形式化方法验证程序的正确性存在准确度低和效率差的问题.其中,由指针操作带来的地址空间的状态变化使得现有模型检测方法的检测准确度...
关键词：软件验证 模型检测 稀疏值流分析 指针分析 漏洞检测 
基于AnyLogic的我校校园行人流研究被引量：1
《华北科技学院学报》2020年第4期116-121,共6页程冉冉 张生晖 
中央高校基本科研业务费资助项目(3142017004);教育科学研究课题资助项目(HKJYZD201723)。
本文通过实地调查和记录我校学生中午课后的人员分散情况,分析其运动规律,进而计算出学生的行走速度和行人密度,运用MATLAB软件拟合,进一步建立学生流仿真数学模型。通过运行Anylogic行人库,找到校园道路拥挤区域并加以分析,为校园道路...
关键词：行人密度 学生流模型 仿真模拟 行人库 
求解复杂交通流模型的低耗散中心迎风格式被引量：2
《计算机工程》2019年第6期37-44,共8页杨苗苗 封建湖 程晓晗 冯娟娟 
国家自然科学基金(11601037);陕西省自然科学基金(2018JQ1027);中央高校基本科研业务费专项资金(310812171002)
针对非均匀道路上的多车种LWR交通流模型,提出一种低耗散中心迎风格式。以4阶中心加权基本无震荡重构和低耗散中心迎风数值通量为基础,通过构造不同形式的全局光滑因子及增大非光滑模板对应的非线性权重优化数值格式的耗散特性,并采用Ru...
关键词：交通流 低耗散 中心迎风格式 中心加权基本无震荡 激波 稀疏波 
基于过程挖掘与复杂网络集成的制造过程资源建模与关键加工节点识别被引量：6
《机械工程学报》2019年第3期169-180,共12页董晨阳 郑小云 余建波 
国家自然科学基金(71777173);中央高校基本科研业务费学科项目;上海科委创新科技行动计划(17511109204)资助项目
为了解决多任务复杂制造过程中的工作流变异导致的流程和资源的不确定性,进而导致制造资源模型出现实时变化,提出了基于过程挖掘与复杂网络集成的制造过程资源模型,得到了流程与资源信息集成的资源复杂网络模型与分析方法。首先,从制造...
关键词：制造过程 资源建模 过程挖掘 工作流模型 复杂网络 
AVB网络流量整形帧模型端到端延迟计算被引量：7
《北京航空航天大学学报》2017年第7期1442-1449,共8页李二帅 何锋 熊华钢 
国家自然科学基金(61301086);中央高校基本科研业务费专项资金(YWF-15-GJSYS-055)~~
音视频桥接技术(AVB)以传统以太网为基础,通过基于信用量的整形(CBS)算法进行流量整形,提供了音视频流确定性传输的基础保障。在CBS流模型的延迟分析计算基础上,考虑了AVB网络中数据帧实际排队和调度的离散特性,提出了一种改进的CBS帧...
关键词：音视频桥接技术(AVB) 实时性 帧模型 端到端延迟 流模型 
考虑坡道的元胞自动机交通流模型研究被引量：5
《计算机应用研究》2016年第9期2611-2614,共4页邱小平 于丹 孙若晓 杨达 
国家自然科学基金资助项目(51408509;51278429);四川省科技厅资助项目(2013GZX0167;2014ZR0091);中央高校基本业务经费资助项目(SWJTU11CX080);成都市科技局资助项目(2014RK0000056ZF;2014RK0000072ZF);研究生创新实验实践项目(YC201507101);中央高校基本科研业务费专项资金资助项目(2682016CX053;2682016ZDPY08)
为了更好地研究坡道交通流的特征,基于Gipps安全驾驶的思想,考虑了坡道长度和纵坡度等因素,建立了一个新的更为精细的坡道交通流元胞自动机模型,并通过计算机数值模拟,对坡道交通流特征进行了分析。发现坡道加剧了道路的拥堵,而且拥堵...
关键词：坡道 交通流 元胞自动机 安全距离 冲击波 
小学门口放学期间的一个行人流模型被引量：1
《北京航空航天大学学报》2016年第9期1992-1998,共7页邵益晓 唐铁桥 陈亮 
国家自然科学基金(71271016;71422001);中央高校基本科研业务费专项资金(YWF-15-JTXY-043)~~
以小学放学时的行人流运动模式作为研究对象,研究该场景中的行人流特征。放学过程中,学校门口的行人流存在行人不均衡分布、行人按一定规则输入输出、行人成对行为、拥堵现象等特征。借助元胞自动机模型,在静态场基础上提出了一个行人...
关键词：行人流 元胞自动机 建模 仿真 静态场 
基于Uppaal的实时系统AADL数据流模型的转换与验证被引量：1
《计算机科学》2016年第1期211-217,共7页沈宁敏 李静 白海洋 庄毅 
中央高校基本科研业务费专项资金(NS2015092)资助
体系结构分析设计语言AADL是一种可支持软硬件一体化建模及同一模型多元分析的形式化与图形化建模语言。采用时间自动机形式化模型检验方法对AADL模型中的数据流进行转换和验证。考虑到单一数据流与混合数据流的差异性,分别设计了数据...
关键词：AADL 时间自动机模型 数据流时延 UPPAAL 软件验证 
超低马赫数空腔流诱发自激振荡数值模拟被引量：4
《中国公路学报》2015年第7期121-126,共6页汪怡平 王文龙 杨雪 邓亚东 苏楚奇 
国家自然科学基金项目(51305312);中央高校基本科研业务费专项资金项目(WUT142207005;2012-IV-068);现代汽车零部件技术湖北省重点实验室开放基金项目(2012-07);汽车零部件先进制造技术教育部重点实验室开放基金项目(2013-04)
为了揭示超低马赫数空腔流诱发自激振荡的机理,通过引入弱可压缩流体模型并采用大涡模拟对空腔内的瞬态流场和压力脉动进行了计算。将计算获得的腔内压力脉动与低噪声风洞测试结果进行了对比,以验证计算方法的可靠性。结果表明:弱可压...
关键词：汽车工程 空腔流 弱可压缩流模型 大涡模拟 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部