本发明公开一种中速磁浮牵引架构系统，应用于列车牵引系统控制领域，采用单节车厢双控制单元的架控方案，一个控制单元至少包括一台牵引逆变器和一个包括6台直线电机的直线电机单元；所述牵引逆变器输出端与直线电机单元输入端相连；直线电机单元中的6台...

本发明涉及微动磨损试验设备领域，公开了一种能够模拟高温环境的重力加载型微动磨损试验设备。通过本发明创造，可提供一种可在正压力恒定条件下，实现在高温液体环境或高温气体环境中进行微动磨损试验的新型试验设备，即一方面由于正压力大小不随磨损量变...

本发明公开了一种多功能钢轨打磨试验装置，包括车床主轴、工作台、作动装置、空压机、砂轮试样和安装在车床电机箱里的变频电机，变频电机的输出轴安装有同步带轮，并通过同步带与车床主轴的同步带轮连接，车床主轴通过车床主轴箱固定且另一端安装有三爪卡...

本发明公开一种基于振动响应高速列车车轴损伤识别试验台，包括加载系统、检测系统、支撑装置、测试平台和轮对，加载系统包括垂向激振器，垂向激振器有两个，支撑装置有两个，垂向激振器位于两个支撑装置之间，检测系统包括应力应变传感器、信号采集器和数...

本发明公开了一种铁路隧道缓冲结构，其包括基座，基座上通过轨槽安装有若干缓冲板，缓冲板包括垫板，垫板活动设定于轨槽内，垫板的前端连接有下部环形板，下部环形板的上表面活动连接有上部环形板；基座上平行设置有若干防滑卡口，防滑卡口上活动安装有防...

一种同时具有负微分电阻和忆阻功能的器件制备方法，步骤如下，将Zn片用无水乙醇清洗后，置于甲酰胺溶液中反应，用掩膜板制备Ag顶电极，掩膜板小孔直径0.5‑1mm，将掩膜板置于反应好的Zn片上，滴加银凝胶，固化24h；将1％面积的Zn片表面...

一种基于逐层堆叠的Nb3Al超导前驱体线材的制备方法，其步骤主要是：A、Nb‑Al复合包套的制备：从下至上将Nb箔和Al箔交替堆叠于管状Nb盒的矩形槽中，盖上上盖，内套于Cu管，焊接密封；B、Nb‑Al单芯棒的制备：将Nb‑Al复合包套...

本发明公开了一种基于连续混合最大熵的回声消除方法，其步骤包括：A、采集远端输入信号u(n)和近端期望信号d(n)；B、将输入信号离散值u(n)输入自适应滤波器，得到输出信号y(n)；C、用d(n)减去y(n)进行回声消除，将误差信号e(...

一种跟踪性能高的组合步长回声消除方法，其步骤包括：A、采集远端输入信号u(n)和近端期望信号d(n)；B、将输入信号离散值u(n)输入自适应滤波器，得到输出信号y(n)；C、用d(n)减去y(n)进行回声消除，将误差信号e(n)传送给远...

本发明公开了一种转向架承载弹簧拆卸工艺，属于转向架承载弹簧拆卸技术领域，用于解决现有的转向架拆卸过程中通过人工搬动承载弹簧的方式，带来的劳动强度大并且在搬动过程中存在安全隐患，以及工作效率低的问题。本发明包括如下步骤：S1定位到转向架的...

本发明涉及一种氩弧焊焊接机器人用焊缝背部气体保护装置，包括输气管路和保护罩，所述输气管路的一端为保护气体入口，另一端与所述保护罩相连通，并支撑所述保护罩；输气管路可固定于焊枪，且保护罩位于焊枪的下方，输气管路及保护罩可与焊枪同步移动；本...

本发明公开了一种减轻堆积层热积累的智能水冷电弧增材制造装置及方法，该装置包括堆积系统、传感系统、控制系统、水冷系统四个部分，在电弧增材制造过程中，通过水冷系统使冷却水不断流经堆积层侧面并带走大部分热量，快速降低堆积层温度；传感系统通过温...

基于小波变换的铁路轨道里程数据的校准方法，属于轨道几何参数检测技术领域。本发明利用台账数据的曲线信息对采样数据的的每个区段进行逐一修整并以此作为标准数据，利用小波变换提取标准数据区段和待校准数据区段的高频细节部分作为特征值，基于余弦相似...

一种利用地铁站风力自供电的地铁车厢拥挤程度显示系统及其方法，包括，风能收集模块：收集地铁站内的风能，将该风流转换为电能，为显示系统供电；图像识别系统，由网络摄像机及基于python搭建的TCP服务器组成，采用网络摄像机获取定时图像，py...

本发明公开了一阶逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法依次通过：对一阶逻辑中的子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：如果S不可满足，则停止；否则，抽取标准矛盾体内部子句

本发明公开了命题逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法步骤为：对于命题逻辑中的子句集S构造扩展三角形矛盾体，形成矛盾体分离式，根据矛盾体分离式判断子句集属性；如果能判断子句集不可满足，则停止；否则，将所得矛盾体分离式加入原...

本发明公开了一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对一阶逻辑中子句集S构造矛盾体并形成矛盾体分离式R，根据R判断演绎推理是否终止：如果判定S不可满足，则停止；否则，用R与S构造t个新子句集，然后对t个新子句集进...

本发明公开了命题逻辑中基于最大矛盾体判定公式属性的方法，其步骤为：首先，利用子句集S中出现的全部命题变元构造最大矛盾体，然后在最大矛盾体中寻找满足一定条件的子句D，最后根据子句D判定子句集S的属性；本发明在基于矛盾体分离的多元动态自动演...

本发明提出了一阶逻辑中基于标准延拓三角形的矛盾体分离多元动态自动演绎推理方法，该方法依次通过：构造基于标准延拓三角形矛盾体；形成矛盾体分离式；根据矛盾体分离式判断子句集属性，如果能够判断子句集不可满足或可满足，则停止；否则，将所得矛盾体...

本发明公开了一阶逻辑中基于矛盾体分离的多元动态自动演绎推理方法，该方法通过在一阶逻辑中的子句集S中寻找标准矛盾体，然后在子句集S中剩余的子句中删除出现在标准矛盾体中的文字，并将全部剩余文字进行析取形成矛盾体分离式，最后根据矛盾体分离式判...