螺旋轮式管道检测机器人驱动电动机的控制

分析了螺旋轮式管道检测机器人驱动系统的组成和原理,给出了管道机器人驱动电动机的控制策略,并设计了电动机的控制系统.根据机器人的运动参数分析管道状况,研究了驱动电动机的控制过程,为下一步精确控制管道机器人的驱动电动枳嵌供了参考.     

大功率晶体管变换器中驱动电路的设计

在大功率晶体管变换器中 ,驱动电路是整个功率变换器的关键。驱动电路设计的如何 ,直接关系到整个功率变换器的工作状况。本文介绍了一例性能优越的驱动电路方案 ,该方案虽然由分立元件构成 ,但其设计思想仍有重要的实际借鉴意义。     

三重化交错并联DC/DC变换器优化控制研究

设计了一种适用于大容量储能系统功率控制的三重化交错并联双向DC/DC变换器。针对具有强非线性、滞后和参数存在漂移的DC/DC变换器,采用平均状态空间法进行了数学建模及分析,提出了基于电流和电压的双闭环PID控制方案,使用了幅相裕度法对PI参数进行整定,最后设计实验验证了所采用的控制策略。实验结果表明,变换器在较宽的工作范围内实现了零电压开关工作,消除了动态电流变化导致的过充和过放,在较大负载变化范围内实现了95%以上的效率。     

激光焦点控制磁力驱动的控制特性实验对比分析

为了满足激光焦点控制系统的位置和速度响应要求,设计了一种轴向放置、轴向磁化的环形永磁体自复位的3自由度激光焦点磁力驱动微动平台。根据该微动平台的结构进行力学分析并建立动力学方程,在此基础上进行微动平台的比例、积分、微分控制实验和鲁棒控制实验。通过两种不同控制策略的对比分析,结果表明,两种控制策略都能实现微动平台的稳定驱动,但是在比例、积分、微分控制策略下,响应速度更好,在鲁棒控制策略下,抗干扰能力更好。     

基于MFC/Vega的炮兵行动在线仿真系统设计与实现

基于MFC的Vega视景开发是实现在线仿真的有效途径。本文首先分析了一般在线仿真系统的基本构成 ;其次 ,结合炮兵行动具体实现 ,提出炮兵作战行动在线仿真系统的详细设计过程 ,并给出其总体设计流程 ;最后 ,对基于MFC的Vega驱动视景开发的应用程序框架及有关的行动模块进行了实现。     

基于神经网络的绕组电流闭环控制方法

在解决闭环消磁绕组电流优化计算问题时,会面临将外部磁场推算误差带入电流反演计算或完备的基函数难以确定等问题。为了降低这些因素对舰船最终补偿效果的影响,从智能优化的角度出发,在讨论散布常数对模型预测误差的影响后,确定了适宜的散布常数,建立了内部磁场与补偿电流之间的径向基函数神经网络预报模型。该方法通过样本对网络进行训练,无须推算内外磁场,就能直接得到使绕组磁场与目标磁场拟合误差最小的补偿电流向量。对比其他数值建模方法,其换算精度有所提高,且选择不同的同维向量作为基函数对补偿结果影响较小。船模实验验证了该方法的有效性。     

潜艇闭环消磁中外部空间的磁场推算

利用实时测量的内部磁场值准确推算出外部空间目标磁场值是潜艇实现闭环消磁要解决的关键技术之一。通过虚拟磁源法,得到了表征潜艇内外空间磁场变化量之间关系的表达式。对利用积分方程法模拟得到的潜艇模型内外空间磁场进行了仿真实验,实验结果表明:用内部数据推算得到的外部空间磁场与仿真数据几乎完全吻合。在实验室用潜艇模型进行了验证实验,推算数据与实测数据依然吻合,相对均方根误差最大为6.5%,该方法可用于潜艇闭环消磁中外部空间磁场推算。     

创新驱动：企业最高发展战略——长安汽车快速发展的秘笈

长安汽车起源于1862年的上海洋炮局．1983年进入汽车行业．是中国最大的“军转民“企业。经过多年自我积累、滚动发展．成为中国汽车第一阵营企业．形成了以重庆汽车工程研究总院为总体规划、系统集成．意大利（都灵）造型设计．日本（横滨）内外饰和精致工艺．英国（诺丁汉）动力总成制造．美国（底特律）底盘技术支持,上海市人才优势和车身工程．     

针对滑动窗口算法的椭圆曲线密码Cache计时攻击

基于访问驱动攻击模型,提出一种针对椭圆曲线滑动窗口算法的踪迹驱动Cache计时攻击方法,引入了方差思想判断每次窗口滑动是否查找了预计算表,提高了攻击成功率．仿真实验结果表踞：由于滑动窗口算法引入了预计算表,易遭受Cache计时攻击．精确采集NITT-192一次加密过程中窗口105次滑动的Cache时间信息即可获取完整密钥．本文的攻击方法对其他使用预计算表的公钥密码具有借鉴意义．     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。