张莉
- 作品数：25 被引量：10H指数：3
- 供职机构：中国石油大学（华东）更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术石油与天然气工程天文地球文化科学更多>>
- 一种超密集网络中联合无线资源管理与任务卸载优化方法
- 本发明针对超密集网络中以用户为中心的用户卸载效益(能耗与时延量化加权和)问题，提出了一种联合无线资源管理与任务卸载优化方法。为了最大化用户卸载效益，在迭代寻优过程中交替更新信道选择与用户上传功率两者无线资源的优化管理。此...
- 庞善臣王淑玉张莉姚加敏
- 文献传递
- 小型综合录井仪监控软件开发
- 本论文针对综合录井仪的系列化进行功能完善,设计开发了基于VC++环境的综合录井仪专用软件,提高系统的可靠性、稳定性及适用性.主要完成了以下工作:研究开发了多线程录井监控软件,实现实时数据采集,减少系统软硬件接口环节,系统...
- 张莉
- 关键词：综合录井仪监控软件实时数据库软件开发
- 文献传递
- 基于警报关联摘要的过程间警报关联分析
- 2022年
- 针对函数与函数之间存在警报间关联关系的问题,论文提出警报关联摘要来实现函数间分析,并利用该警报关联摘要实现过程间警报关联,通过该方法能够有效减轻人工判定警报的工作量。论文首先通过采用警报关联摘要实现函数调用的过程间分析,接着在调用点处进行警报关联摘要实例化得出警报对应的符号表达式及取值区间,分析警报间对应的符号表达式的逻辑关系得出关联关系,最后根据警报间的关联关系对警报进行判定。通过对5个实际C工程的测试结果表明,论文所提方法可以有效识别过程间警报关联关系,能够在一定程度上有效减轻人工判定警报的工作量。
- 张莉董玉坤刘浩尹文静
- 关键词：警报关联
- 一种基于受限集的程序语义缺陷自动修复方法
- 本发明公开了一种基于受限集的程序语义缺陷自动修复方法，首先，将常见的程序语义缺陷，根据语法和语义特征归纳总结为缺陷模式，针对变量相关的缺陷模式，将能触发缺陷的相关变量取值集合定义为受限集。然后，基于受限集，对每类缺陷模式...
- 董玉坤张莉庞善臣刘浩尹文静
- 一种基于程序切片的缺陷自动修复的修复位置确定方法
- 本发明提供了一种基于程序切片的缺陷自动修复的修复位置确定方法。首先，确定缺陷点的位置，即缺陷定位，将该缺陷点的位置初始化为缺陷的修复开始位置，并把该缺陷点作为程序切片的兴趣点N。之后，进行缺陷程序的抽象语法树的重建，收集...
- 庞善臣张莉董玉坤尹文静王淑玉
- 文献传递
- 聚驱后油藏复合驱油技术及矿场试验研究
- 多元复合驱是注水和注聚合物后油藏进一步提高采收率的有效方法,根据不同油藏地质和原油特征,具体实施的工艺包括泡沫/聚合物复合驱和表活剂/预交联剂/聚合物复合驱等化学驱油体系。目前胜利油田实施化学驱项目36个,动用地质储量3...
- 张莉
- 关键词：提高采收率驱替特征矿场试验
- 文献传递
- 数据挖掘技术在高校学生成绩分析中应用的研究
- 努力提高学生的成绩是每一所高校的目标，学生成绩是评估教学质量的重要依据。现在高校规模不断扩大，学生数量越来越多，随着社会的发展，影响学生学习成绩的因素也越来越多，学生成绩分析就更加重要。对学生成绩进行分析，从大量数据存在...
- 张莉
- 关键词：学生成绩分析数据仓库数据挖掘
- 文献传递
- 面向顺序存储结构的数据流分析被引量：3
- 2020年
- C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生偏移的数值信息,且未考虑发生偏移时可能存在越界的不安全问题,导致了对顺序存储结构分析不精确.针对以上不足,首先对顺序存储结构进行抽象建模,并对顺序存储结构与指针结合使用时的指向关系与偏移量进行有效表示,建立了用于顺序存储结构的抽象内存模型SeqMM;其次,归纳总结C程序中顺序存储结构涉及的指针相关迁移操作、谓词操作及遍历顺序存储结构的循环操作,提出了安全范围判别保证操作安全性;之后,针对函数调用时形参指针引用顺序存储结构与实参的映射过程进行过程间推导规则设计;最后,基于上述分析,提出了一种内存泄漏缺陷检测算法,对5个开源C工程的内存泄漏缺陷进行检测.实验结果表明,所提出的Seq MM能够有效地刻画C程序中的顺序存储结构及其涉及的各种操作,其数据流分析结果能够用于内存泄漏的检测工作,同时在效率和精度之间取得合理的权衡.
- 王淑栋尹文静董玉坤张莉刘浩
- 关键词：数据流分析过程间分析内存泄漏
- 一种基于抽象内存模型的数据流分析方法
- 本发明公开一种面向C程序顺序存储结构静态分析的抽象内存模型，对于经过预处理后的C程序，采用区间运算与指针分析技术分析C程序中指针访问顺序存储结构操作的过程，包括：A、对顺序存储结构进行适用于数据流分析的建模，描述顺序存储...
- 董玉坤尹文静庞善臣刘浩张莉
- 一种基于队列缓存平衡因子的MPTCP传输控制方法
- 本发明提供了一种基于队列缓存平衡因子的MPTCP传输控制方法。本发明基于队列缓存平衡因子，构建ToR集群缓存平衡队列，根据ToR集群缓存分配计算子流拥塞窗口值，减轻瓶颈链路和ToR集群负载，设计基于队列缓存平衡因子的MP...
- 庞善臣姚加敏王珣贺思程张莉
- 文献传递
