回转式微角度步距压电电动机

介绍了一种基于尺蠖运动原理的回转式微角度步距压电电动机.借助柔性机械结构,将压电陶瓷的微位移以角度方式输送出来.在结构设计方面,采用柔性铰链放大结构,夹紧器和驱动器均采用双驱动器结构,实现推-拉接力运动.配以适当的4路驱动信号,实现了压电驱动装置的单步、多步连续匀速转动.最后对样机行了实验测试.实验结果表明:所设计的回转压电电动机结构紧凑、分辨力高且运动稳定.同时,动体没有缠绕,使得驱动器可以在任意位置启动,并可在360°范围内连续匀速转动.最小步距优于3″,在160V的驱动电压下速度达到430.4″/s.     

直流电网模型和仿真的发展与挑战

直流电网具有接入灵活、控制灵活、经济性好等优势,受到了工程和学术界的关注,而传统的电力系统建模仿真技术已经不能完全适应直流电网的研究和应用的需要。文中介绍了直流电网建模仿真的最新发展,总结了适用于直流电网的设备模型和仿真方法,提出了建模和仿真技术的挑战。在建模技术方面,总结了AC/DC换流器模型、DC/DC换流器模型、直流开关模型、直流负载模型和直流电网的系统控制模型和实现方法。在仿真技术方面,阐述了直流电网潮流算法的实施方案和挑战;总结了直流电网电磁暂态算法在精确性和效率上的挑战,提出了解决方案;阐述了高效的并行算法和多速率混合仿真的挑战和实现方法;展望了物理仿真技术和数模混合仿真在直流电网的应用和未来发展。     

全力迈向绿色智能制造

2020年,疫情导致全球经济、生活一度停摆,工业领域客户的业务运营面临“韧性、效率以及可持续发展”三大问题。迎接这些挑战,“数字化”是唯一出路。工业流程的复杂性与工艺的繁复性决定着工业客户的数字化转型不能简单复制,在加速数字化的进程中,我们建议企业遵循“先医后药、先软后硬、小步快跑、效益第一”的原则来逐步实现。无论是离散工业、混合工业还是流程工业都应该做到四维融合,即能源和自动化融合、从终端到云端垂直维度的融合、全生命周期数据的融合。     

实施挂牌上锁管理提升企业EHS水平

为了该工具能贯彻执行，成立了LOTO推进小组，培训并考核LOTO相关知识制订了相关制度并跟踪审核，人员伤害事故大幅度减少。     

椭圆离散对数问题的攻击算法分析

对于一般的ECDLP,目前有两种较好的求解法:小步大步算法和Po11ard rho算法,通过对这几种现有的椭圆离散对数问题的攻击现状的分析,了解基于椭圆离散对数问题的密码体制结构的安全性。     

基于RTDS的DSTATCOM小步长网络建模仿真

分析了DSTATCOM输出电流四象限运行的矢量关系,在RTDS仿真环境中搭建了DSTATCOM小步长仿真网络模型,并通过该仿真网络分别对单变量占控制以及双变量δ和λ配合控制的＋30kvarDSTATCOM进行了仿真研究。结果表明：RTDS动态负载模型从电感性切换到电容性的调整时间不到一个工频周期;DSTATCOM无功功率补偿效果在双变量和配合控制时要优于单变量控制。     

基于函数式语义的循环和递归程序结构通用证明技术

各类安全攸关系统的可靠运行离不开软件程序的正确执行.程序的演绎验证技术为程序执行的正确性提供高度保障.程序语言种类繁多,且用途覆盖高可靠性场景的新式语言不断涌现,难以为每种语言设计支撑其程序验证任务的整套逻辑规则,并证明其相对于形式语义的可靠性和完备性.语言无关的程序验证技术提供以程序语言的语义为参数的验证过程及其可靠性结果.对每种程序语言,提供其形式语义后可直接获得面向该语言的程序验证过程.提出一种面向大步操作语义的语言无关演绎验证技术,其核心是对不同语言中循环、递归等可导致无界行为的语法结构进行可靠推理的通用方法.特别地,借助大步操作语义的一种函数式形式化提供表达程序中子结构所执行计算的能力,从而允许借助辅助信息对子结构进行推理.证明所提出验证技术的可靠性和相对完备性,通过命令式、函数式语言中的程序验证实例初步评估了该技术的有效性,并在Coq辅助证明工具中形式化了所有理论结果和验证实例,为基于辅助证明工具实现面向大步语义的语言无关程序验证工具提供了基础.     

面向目标的叠前角度道集提取策略

为解决三维叠前角度道集的生成和存储问题,在局部谐波分解思路的基础上,将二维情形下的角度道集生成技术推广到三维情形。方法的基本原理是:通过定义局部角度变换、波数和空间域滤波因子,给出入射波及散射波的角度域表达形式;利用上(下)行波的角度道集三角展开系数,结合相关成像条件,生成反射系数角度道集的三角展开系数体,并由指数映射,获得反射系数角度道集。在具体实现时,利用面向目标的大步长波场延拓,实现快速、准确,针对目标层的偏移成像,同时,在角度域计算谐波分解三角展开系数;采用炮域并行思路,将主节点和各节点的计算加以分解,以节省各节点中间环节的角度道集存储空间,各节点只计算三角展开系数,在主节点回收并生成系数数据体;然后,根据具体目标需求,输出相应的角度道集。由此,极大地减少了角度道集数据存储量,解决了计算效率及存储空间问题。利用中国东部某油田的三维地震资料对方法进行了测试,结果表明方法可行实用。     

小步距端子级进模设计

分析了小步距端子冲压工艺,确定级进模的排样方案、总体结构,介绍了模具的设计过程和关键工位的结构设计。采用1出2的冲裁方案解决了步距过小和端子变形的难题,采用PLC控制气缸技术解决冲压和成形步距不一致的难题。     

电力电子换流器离散小步合成实时仿真模型

随着电力电子换流器的开关频率越来越高,对电力电子化系统实时仿真的精度提出更高的要求,基于电感/电容（L/C）等效的定导纳开关模型是目前的主流开关模型之一,但这种模型的开关暂态过程存在“虚拟功率损耗”问题,开关频率越高,仿真结果失真越严重。该文首先构建电力电子换流器小步长模型的离散状态空间形式,基于此,构建电力电子换流器的小步合成实时仿真模型,保留L/C模型恒导纳特性的同时有效地消除了由开关支路主导的工作模态的暂态过程,进一步分析L/C开关模型支路对电力电子换流器的工作模态的影响,通过小步合成模型消除L/C模型引入的特征值,使L/C模型更精准地模拟理想开关,同时保留系统的正常工作模态。分别构建双有源桥、三相两电平逆变器和三电平逆变器的小步合成模型并进行实时仿真,与传统实时仿真模型对比表明,所提小步合成模型在不影响仿真效率的前提下,有效地解决了L/C开关模型的“虚拟功率损耗”问题,且具有较好的通用性,无需重新设置开关参数即可适用于多种拓扑。