张婷
- 作品数：8 被引量：21H指数：3
- 供职机构：武汉科技大学理学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：理学自动化与计算机技术化学工程更多>>
- 多孔介质内溶解与沉淀过程的格子Boltzmann方法模拟被引量：9
- 2015年
- 本文采用格子Boltzmann方法模拟了多孔介质内的溶解和沉淀现象,并分析了雷诺数、施密特数、达姆科勒数对多孔介质孔隙结构及浓度分布的影响.结果表明:对于多孔介质内的溶解(沉淀)过程,当雷诺数越大时,孔隙率越大(小),平均浓度值越小(大);当达姆科勒数或施密特数较小时,溶解和沉淀过程均受反应控制,此时反应在多孔介质的固体表面较为均匀的发生;当达姆科勒数或施密特数较大时,溶解和沉淀过程均受扩散控制,此时反应主要发生在上游及大孔隙区域.
- 张婷施保昌柴振华
- 关键词：多孔介质格子BOLTZMANN方法
- 多孔介质内多组分非均相反应流的格子Boltzmann方法研究
- 多孔介质内多组分非均相反应流在能源、环境、工业及工程应用中,如提高石油采收率、二氧化碳的地下埋存、地下水资源污染、生物处理法、化学工业过程等应用中广泛存在。大量文献表明,尽管目前人们对于这类问题已有深刻的理解,但由于该问...
- 张婷
- 关键词：格子BOLTZMANN方法多孔介质化学反应
- 文献传递
- 基于环型扩展推理规则的MaxSAT完备算法被引量：3
- 2015年
- 最大可满足性问题(MaxSAT)是可满足性问题的优化求解问题,是经典的NP难问题.基于分支限界的MaxSAT完备算法采用推理规则、失败文字检测等方法缩短算法计算时间.推理规则产生的新子句可以构成更多的冲突集,从而有效地提高了二叉树的剪枝率和算法性能.在已有的工作基础上,针对环型结构冲突集进行分析,找到与步长大于2的环型结构冲突集等价的新子句集,并利用整数规划证明了新子句集和冲突集的MaxSAT等价性.该环型扩展推理规则产生的新3元子句亦可以提高冲突集数,提高下界.在Maxsatz2013算法的基础上实现了新算法Maxsatce.测试了MaxSAT竞赛4个类别算例集.实验结果表明环型扩展推理规则对子句长度大于等于3的MaxSAT问题,可以提高二叉树分支点的下界值,最终有效地缩减算例运算时间.
- 刘燕丽黄飞张婷
- 关键词：NP难问题分支限界
- 基于扩展失败文字检测的MaxSAT完备算法被引量：2
- 2015年
- 为提高MaxSAT完备算法剪枝率和运算效率,分析失败文字检测寻找冲突集的过程,提出扩展失败文字检测方法。通过延长失败文字搜索冲突的路径,形成搜索1步、2步和任意步的递进失败文字检测方式,实现改进的MaxsatzEF算法。实验测试了MaxSAT国际竞赛4个类别的500多个算例,实验结果表明,递进失败文字检测方法找到了更多独立冲突集,可有效提高算法的下界,大幅缩短复杂算例的运行时间。
- 刘燕丽朱文杰张婷
- 关键词：NP难问题分支限界
- 多孔介质内互溶驱替问题的格子Boltzmann模拟
- <正>多孔介质内一种流体对另一种流体的互溶驱替过程在提高石油采收率、地下水资源污染、管道润滑、化学工业过程等现实工程应用中广泛存在。所谓互溶驱替即指注入液(驱替液)与被驱替液成分不完全相同,但二者却能完全互溶时的驱替现象...
- 张婷施保昌郭照立
- 关键词：格子BOLTZMANN方法多孔介质
- 文献传递
- 二维梯形空腔流的格子Boltzmann模拟
- 格子Boltzmann /(LB/)方法是一类新型的借助于微观模型来模拟输运现象的宏观行为的介观方法。与传统算法相比较,因其简单性、局部性、天然的并行性和能够处理复杂的边界问题已成为模拟复杂流动现象的有力工具。近年来,格...
- 张婷
- 关键词：格子BOLTZMANN方法不可压NAVIER-STOKES方程
- 文献传递
- 钙基吸收剂吸收CO_2过程的格子Boltzmann模拟被引量：7
- 2012年
- 近年来,利用CaO吸收烟气中的CO2越来越受到国内外研究者的关注。考虑到单松弛格子Boltzmann模型(LBGK模型)在模拟多孔介质内流动时存在的不足,采用了多松弛(MRT)格子Boltzmann方法来研究多孔CaO吸收CO2的过程,并分析了不同参数,如Damkohler数(Da)、摩尔体积比和CaO颗粒的粒径对CaO转化率的影响。研究结果表明:当Da越大或者摩尔体积比越大时,CaO的转化率会越来越低;另外,如果CaO颗粒的粒径越大,其转化率也将会越低。这些结论定性上与实验结果是吻合的。
- 张婷郭照立柴振华施保昌
- 关键词：多孔介质格子BOLTZMANN方法二氧化碳
- 基于最大可满足性问题的专业实验方案设计
- 2015年
- 基于最大可满足性问题的专业实验方案以组合拍卖为应用背景,采用命题逻辑建模、分支限界算法,针对问题设计优化的存储结构。专业实验方案展现了一个完整的工业问题的解决过程,内容涉及程序设计语言、数据结构、离散数学、算法设计等计算机核心课程相关内容,有助于加强学生专业知识的系统化。
- 刘燕丽余艳张婷
- 关键词：实验教学数据结构NP问题
