刘浩
- 作品数：35 被引量：17H指数：3
- 供职机构：中国石油大学（华东）更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术石油与天然气工程建筑科学天文地球更多>>
- 一种稠油水热降黏改质强化方法
- 本发明公开了一种稠油水热降黏改质强化方法，向稠油中添加去离子水，在含氢气、一氧化碳的气氛中进行热改质处理，油水分离后得到改质合成油。采用本发明的方法，可以综合利用水的裂解、氢气活化以及水‑气转化反应等多种来源的活性氢达到...
- 刘贺王宗贤范士广林存辉赵翔鹍龚旭刘浩郭爱军陈坤
- 文献传递
- 基于警报关联摘要的过程间警报关联分析
- 2022年
- 针对函数与函数之间存在警报间关联关系的问题,论文提出警报关联摘要来实现函数间分析,并利用该警报关联摘要实现过程间警报关联,通过该方法能够有效减轻人工判定警报的工作量。论文首先通过采用警报关联摘要实现函数调用的过程间分析,接着在调用点处进行警报关联摘要实例化得出警报对应的符号表达式及取值区间,分析警报间对应的符号表达式的逻辑关系得出关联关系,最后根据警报间的关联关系对警报进行判定。通过对5个实际C工程的测试结果表明,论文所提方法可以有效识别过程间警报关联关系,能够在一定程度上有效减轻人工判定警报的工作量。
- 张莉董玉坤刘浩尹文静
- 关键词：警报关联
- 造成典型深水钻完井重大事故的不安全行为评价及管理措施研究
- 随着陆地和浅海油气产量的逐渐下降和开发难度的增大，深水油气资源的开发越来越受到重视。但深水钻完井作业是一项高技术、高投入、高风险的系统工程，一旦发生事故，不仅会延误工时，耽误作业进度，造成经济损失，严重的还会导致人员伤亡...
- 刘浩
- 关键词：深水重大事故不安全行为结构方程模型
- 文献传递
- 自由边界问题的数值算法研究
- 自由边界问题是边界为未知的一类偏微分方程的定解问题，其未知边界要作为解的一部分来确定。自由边界问题本质上都是非线性的，求解自由边界问题的数值方法主要可以划分为三类：边界跟踪法、区域固定法和边界固定法。随着自由边界问题实际...
- 刘浩
- 关键词：STEFAN问题不动点原理偏微分方程
- 文献传递
- 面向顺序存储结构的数据流分析被引量：5
- 2020年
- C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生偏移的数值信息,且未考虑发生偏移时可能存在越界的不安全问题,导致了对顺序存储结构分析不精确.针对以上不足,首先对顺序存储结构进行抽象建模,并对顺序存储结构与指针结合使用时的指向关系与偏移量进行有效表示,建立了用于顺序存储结构的抽象内存模型SeqMM;其次,归纳总结C程序中顺序存储结构涉及的指针相关迁移操作、谓词操作及遍历顺序存储结构的循环操作,提出了安全范围判别保证操作安全性;之后,针对函数调用时形参指针引用顺序存储结构与实参的映射过程进行过程间推导规则设计;最后,基于上述分析,提出了一种内存泄漏缺陷检测算法,对5个开源C工程的内存泄漏缺陷进行检测.实验结果表明,所提出的Seq MM能够有效地刻画C程序中的顺序存储结构及其涉及的各种操作,其数据流分析结果能够用于内存泄漏的检测工作,同时在效率和精度之间取得合理的权衡.
- 王淑栋尹文静董玉坤张莉刘浩
- 关键词：数据流分析过程间分析内存泄漏
- 多环芳烃氢转移与CO水热变换对稠油改质模拟装置
- 本实用新型涉及一种多环芳烃氢转移与CO水热变换对稠油改质模拟装置。其技术方案是：包括CO气瓶、高压反应罐、气液收集系统和控制系统四大部分，所述高压反应罐由电磁搅动器、急冷盘管、第一热电偶、罐盖和高压罐体构成，所述高压罐体...
- 龚旭王宗贤刘贺范士广刘浩陈烁屹
- 文献传递
- 一种新能源汽车新型永磁同步电机的消音减噪机构
- 本实用新型公开了一种新能源汽车新型永磁同步电机的消音减噪机构，包括永磁同步电机本体，所述永磁同步电机本体的下侧设置有两组固定板，其中一组固定板的永磁同步电机本体通过螺丝固定连接，两组固定板之间通过连接杆相连接，两组所述固...
- 潘锋李慧娟马瑞琳孙越刘浩
- 文献传递
- 一种基于抽象内存模型的数据流分析方法
- 本发明公开一种面向C程序顺序存储结构静态分析的抽象内存模型，对于经过预处理后的C程序，采用区间运算与指针分析技术分析C程序中指针访问顺序存储结构操作的过程，包括：A、对顺序存储结构进行适用于数据流分析的建模，描述顺序存储...
- 董玉坤尹文静庞善臣刘浩张莉
- 一种测定含固重质原料受热生焦趋势的装置
- 本实用新型公开了一种测定含固重质原料受热生焦趋势的装置，包括密闭箱体，在所述的密闭箱体内设有一个样品池，在样品池的外部设有对样品池加热的加热器，在所述的样品池内部设有一个处于悬空状的且对含固重质原料提供热量的加热装置，所...
- 陈坤陈烁屹孔德辉夏薇刘浩刘贺刘朝仙李振芳范士广龚旭王宗贤郭爱军沐宝泉苏立新房克昌杜聪慧孙梦黄金菊郭佳佟佳俊刘晴昊
- 文献传递
- 附加定子磁链的双馈风机次同步振荡抑制研究被引量：6
- 2022年
- 针对双馈风电场经串联电容补偿系统所引发的次同步控制相互作用(SSCI)问题,该文从切断其振荡通路的角度提出一种附加定子磁链的抑制策略。该方法采用巴特沃斯和SOGI获取DFIG的定子和转子电流中的振荡分量,并运用准谐振控制器对获取的次同步定子磁链实现闭环控制,进而达到抑制SSCI的效果。最后,在MATLAB/SIMULINK上搭建了双馈风电场时域仿真模型并结合扫频法来验证附加定子磁链抑制策略的可行性。结果表明:在不同风速与串补度下,附加定子磁链抑制策略可提高系统正阻尼,避免了系统发生SSCI。
- 马帅王宁韩国栋刘继文郭帅刘浩
- 关键词：双馈风电场串联补偿线路
