刘沛
- 作品数：17 被引量：6H指数：1
- 供职机构：西安交通大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金中央高校基本科研业务费专项资金更多>>
- 相关领域：电子电信自动化与计算机技术一般工业技术电气工程更多>>
- 多线程程序数据竞争检测与证据生成方法被引量：1
- 2014年
- 数据竞争是多线程程序最为常见的问题之一。由于线程交织导致状态空间爆炸,多线程程序数据竞争引起的错误检测难度大、成本高、精度低;此外,即使检测到数据竞争,由于线程调度难以控制、执行过程难以复现,错误难以复现和定位。提出了一种多线程程序数据竞争检测与证据生成方法,基于程序语义分析和执行过程监测,构建程序的执行路径约束模型和数据竞争条件,将多线程程序数据竞争检测问题转化为约束求解问题,降低检测难度,提高检测精度;利用SMT求解器计算可能的数据竞争,并生成触发该数据竞争的程序执行序列,协助程序员定位和验证错误。实验中对10个程序进行了测试,相比现有数据竞争检测工具threadsanitizer和helgrind,本方法检测出的数据竞争多出287.5%和264.7%,且没有误报,而其他方法平均误报率为10.5%和9.8%。
- 张晓东郑庆华刘烃俞乐晨刘沛杨子江
- 关键词：数据竞争
- 一种基准电路芯片温度系数的测试方法
- 本发明公开了一种基准电路芯片温度系数的测试方法，包括以下步骤：步骤1，将保护二极管反偏设置，使得基准电路芯片正常工作；在室温下测试基准电路芯片的输出电压；步骤2，将保护二极管正偏设置，通过保护二极管加热基准电路芯片至预设...
- 王红义王竞成惠静妮黄碧云刘沛张国和
- 文献传递
- 两步非对称交替单调切换的逐次逼近型模数转换器
- 本发明公开了一种两步非对称交替单调切换的逐次逼近型模数转换器，本发明采用了多路复用方法，因此重新建立了电容阵列LSBs array和MSBs array之间的连接，并且在前三个决策周期中切换了较少的单位电容器。由于顶板采...
- 张国和常科刘沛董雷屈展
- 文献传递
- 多媒体宽带码分多址系统基于业务的非线性功率控制被引量：1
- 2000年
- 提出了多媒体宽带码分多址系统的一种基于业务的非线性功率控制算法 .该算法用于上行链路 ,在同时满足平均信干比和掉话率要求的条件下 ,利用迭代求得各业务在到达基站时所需的最小功率 ,从而使系统容量达到最大 ,同时保证了各业务具有高服务质量 .通过对一个三业务系统的数值仿真 ,验证了此功率控制算法的优点 。
- 李英朱世华刘沛
- 关键词：码分多址功率控制多媒体非线性
- 一种基于符号计算的动态并行程序污点分析方法
- 一种基于符号计算的动态并行程序污点分析方法，根据并行程序的污染传播语义构建约束表达式，采用约束求解器验证该变量是否会在某种交织下被污染，并且生成被污染时的证据序列；首先，在给定的污染输入下执行程序，收集特定交织下的污染变...
- 刘烃郝宇尹文浩张晓东刘沛樊浩涵郑庆华
- 文献传递
- WCDMA系统功率控制及系统容量的研究
- 该论文讨论了WCDMA系统在多媒体、多速率条件下的各种功率控制方案,提出了一种直接分配功率的控制算法,求出了理想功率控制条件下的系统容量.证明了功率控制当且仅当用户需求不超过系统容量时才能够找到最优发射功率.最后该文分析...
- 刘沛
- 关键词：码分多址功率控制宏分集
- 文献传递
- 基于多线程程序约束构建的数据竞争检测与证据生成方法
- 一种基于多线程程序约束构建的数据竞争检测与证据生成方法，根据多线程程序语义构建约束表达式，将数据竞争检测问题转化为约束求解问题，采用约束求解器检测可能存在的数据竞争，并生成触发数据竞争的程序执行路径，首先插桩被检测程序，...
- 刘烃张晓东俞乐晨刘沛郑庆华
- 文献传递
- 一种以氮化物/石墨烯作为隔层的锂硫电池及其正极和制备方法
- 本发明公开一种以氮化物/石墨烯作为隔层的锂硫电池及其正极和制备方法，所述锂硫电池，由正极、隔膜、电解液、负极组成；其中正极含硫，涂覆在铝箔上，其上再涂覆一层基于氮化物/石墨烯的隔层；由于该隔层中氮化物和石墨烯的存在，不仅...
- 李明涛刘沛屈龙
- 文献传递
- 应用于DVS系统的超低纹波、超快响应Buck变换器的设计研究
- 刘沛
- 关键词：动态电压调整
- 一种基于符号计算的动态并行程序污点分析方法
- 一种基于符号计算的动态并行程序污点分析方法，根据并行程序的污染传播语义构建约束表达式，采用约束求解器验证该变量是否会在某种交织下被污染，并且生成被污染时的证据序列；首先，在给定的污染输入下执行程序，收集特定交织下的污染变...
- 刘烃郝宇尹文浩张晓东刘沛樊浩涵郑庆华
