在软件日益丰富的信息时代,程序的正确性验证问题需要深入地研究。提出了基于抽象解释和数值熵协同的数值程序正确性分析方法。利用抽象解释理论框架对数值程序进行抽象解释分析,提取不变量的抽象域区间;在抽象域区
超动态电压调整SRAM设计,赵慧,耿莉,本文设计了一种8管SRAM单元和相应的读写辅助电路,解决了传统6管SRAM单元低压工作存在的读写稳定性问题,实现了具有超动态电压调整��
零电压开关pwm三电平研究论文pdf,零电压开关pwm三电平研究论文
不错 对学生很有帮助对电力系统安全稳定的运行有着巨大的威胁。文章建立中性点不接地系统的物理仿真模型,对其进行仿真计算,将获得的过电压波形进行分析,验证算法的有效性,并在仿真基础上分析对弧光接地过电压的
具有电压调节能力的电动汽车充电站动态建模研究,郝文焕,李卫星,系统中引起电压跌落的原因很多,电动汽车大规模接入电网的瓶颈之一也是电网电压问题。随着电动汽车的推广,其充电站灵活的有功/�
三自由度永磁球形电机的电压控制研究,陈伟海,刘敬猛,为了提高三自由度永磁球形电机的运动性能、控制效率和减少控制成本,本文对具有三维位置检测功能的三自由度永磁球形电机的控制方
研究论文-电压型PWM整流器电流控制策略的研究
简短的撤回通知由于本文中的数据错误,该论文已从“智能学习系统和应用学报”中撤回,该错误已被本杂志的EIC确认。 这篇文章已撤回以理顺学术记录。 在做出此决定时,编辑委员会应遵循COPE的撤稿指南。 目
利用ABAQUS软件的扩展有限元法对不同倾角的半椭圆形表面裂纹岩体进行数值模拟研究,结果表明:随着裂隙倾角的增大裂纹峰值强度也逐渐增大,并且发现裂隙的倾角对于表面裂纹影响比较大,Ⅰ型应力强度因子在裂纹
综述了十年来动态电压调整的相关文献,对各种策略进行分类介绍;对DVS问题的数学模型进行提炼,抽象出它们解决问题的思路,评价它们的优缺点,并简述典型策略的实现。