机译:开关磁阻电机的运行行为的分析记录
机译:开关磁阻电机的运行行为的分析记录
机译:具有线性CO_2配体的配合物
机译:使用STVO示例的自主驾驶人工智能:自主车辆如何创建竞争呼叫?
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:累计差异方法与父亲比较方法的比较
机译:PMSM作为电动跑车的牵引驱动器的设计
机译:实验El-92 a光谱仪,带有半导体探测器,用于测量能量范围为0.25至13.5 meV的质子与卫星azur第一部分:实验的构建