.本发明涉及程序自动分析技术领域，尤其涉及一种面向批量未解释程序的联合验证方法。背景技术.未解释程序是带有未解释函数的一类程序，未解释函数也即为没有具体的函数解释的函数。在程序分析中，某些函数的具体实现有可能无法获知，或者对要分析的性质没有

.本实用新型涉及沾锡机技术领域，具体为一种新型沾锡机打端扭线用存锡装置。背景技术.为提高导线的连接性能(压接、插接或锡焊接)，并防止导线线芯发散短路，通常在导线切断制作过程中，需要对没有压接端子的一端线芯外露部分进行沾锡，在沾锡时通过传送装

.本实用新型涉及变电站技术领域，特别涉及一种便于运输可拆卸式变电站。背景技术.箱式变电站，又叫预装式变电所或预装式变电站。是一种高压开关设备、配电变压器和低压配电装置，按一定接线方案排成一体的工厂预制户内、户外紧凑式配电设备，即将变压器降压

.本发明涉及永磁电机领域，具体涉及一种混合叠片式磁场调制型永磁磁阻同步电机转子结构。背景技术.永磁磁阻同步电机的转矩脉动包含齿槽转矩和纹波转矩两个部分，齿槽转矩由定子齿和永磁体作用力的切向分量产生，纹波转矩由定、转子谐波磁动势相互作用以及定

.本发明涉及动力机械领域，具体的说是一种利用液体浮力和重力提供动力的装置。背景技术.在动力机械领域，有各种获得动力的方式，水轮机通过水的重力势能转化为动能，推动水轮机获得动力，汽轮机通过高压气体动能推动汽轮机获得动力，汽油机通过汽油的化学能

.本实用新型涉及一种马达，尤其涉及一种马达减噪机构。背景技术.现有的马达一般包括转子、定子铁芯、定子绕组、前支架以及后支架，定子绕组设置于定子铁芯上，转子设置于定子铁芯内，前支架设置于定子铁芯的前端，后支架设置于定子铁芯后端。而转子的中心轴

.本实用新型涉及内参标定装置技术领域，具体为一种用于热像仪的内参标定装置。背景技术.内参标定是摄影测量、机器人视觉导航、计算机视觉各种应用等的重要基础技术。一般的内参标定技术采用标定板，首先，热像仪对标定板进行拍摄得到图像，然后提取图像中的

.本实用新型涉及清洁用具技术领域，具体地，涉及一种清洁装置。背景技术.诸如手持式吸尘器的清洁装置通常包括清洁头(例如地刷)和与清洁头相连的主机。相关技术中，主机位于抽吸通道的上端，使用时，主机距离使用者的手较近，导致使用者感觉噪声大，相关技

.本发明涉及电力线载波通信技术领域，尤其涉及一种低压线路载波通信信号衰减特性测试方法。背景技术.随着智能电网建设工程在全国范围内的大面积展开，低压电力线载波通信技术凭借其低压配电网覆盖范围广、通信线路建设完善以及通信线路牢固可靠等优势，成为

.本申请涉及制造技术领域，特别是涉及一种光源装置以及光源系统。背景技术.目前，白光光源模组多采用to激光器件加荧光粉片结合的结构方式，两者之间还有其他光学元件，请参阅图，图是to激光器件的白光光源结构装置。.通常，其他光学元件包括非球面透镜

.本实用新型涉及秸秆除杂装置，特别是涉及小麦秸秆除杂装置，属于秸秆除杂设备技术领域。背景技术.秸秆是成熟农作物茎叶部分的总称。通常指小麦、水稻、玉米、薯类、油菜、棉花、甘蔗和其它农作物在收获籽实后的剩余部分。农作物光合作用的产物有一半以上存

.本申请涉及知识图谱技术领域，例如涉及一种信息检索的方法及装置、知识图谱构建的方法及装置。背景技术.目前，随着数字化进程的不断加深，叠加突发卫生状况的进一步助推，企业协同办公平台迅猛发展，出现了企业微信、钉钉、飞书等多种企业协同办公平台。这

.本发明属于医疗器械技术领域，具体涉及一种组合式中医临床用治疗台。背景技术.医疗器械是指直接或者间接用于人体的仪器、设备、器具、体外诊断试剂及校准物、材料以及其他类似或者相关的物品，包括所需要的计算机软件、医疗设备和医用耗材。.在中医临床治

.本实用新型涉及疏通装置技术领域，特别是空调冷凝水管疏通装置。背景技术.空调在工作的过程中会产生冷凝水，此时需要用水管引流到下水道或室外，这种水管就被称为冷凝水管，冷凝水管在长时间的工作后其内部会堆积水垢，进而影响冷凝水管的正常排水工作，因

.本发明涉及流体喷射阀技术领域，具体涉及一种气动喷射阀。背景技术.反应釜的广义理解即有物理或化学反应的容器，通过对容器的结构设计与参数配置，实现工艺要求的加热、蒸发、冷却及低高速的混配功能，在生产粘稠产品时，反应釜内部侧壁、底部以及搅拌装置

.本发明涉及自主导航和机器人领域，具体涉及一种基于语义的相机位姿估计方法及系统。背景技术.对于增强现实、自主导航和智能机器人等诸多应用来说，精确的位姿估计对应用的体验和性能有着至关重要的影响。只有精确的估算出设备当前的位姿信息，才能在自动导

.本实用新型涉及电池保温技术领域，尤其涉及一种耐低温不锈钢锂电池外壳。背景技术.锂离子电池被日益广泛应用在人们的生产和生活中，不同行业会根据其产品的应用范畴合理选择电压容量范围之内的锂电池。更重要的是，要结合锂电池的安全性测试认证，其测试标

.本发明涉及用于地下式污水处理系统的温室气体排放测算方法，属于污水处理与温室气体排放领域。背景技术.城镇污水处理行业在近年来快速发展，污水处理量的增加以及污水处理高能耗密度的特征都使得该行业的温室气体排放不断攀升。城镇污水处理行业温室气体排

ipn聚氯乙烯萤丹防腐涂料技术领域.本发明涉及防腐涂料技术领域，尤其涉及一种ipn聚氯乙烯萤丹防腐涂料。背景技术.防腐涂料年产量约万吨，其中重防腐涂料万吨，常规防腐涂料万吨。按《低挥性有机化合物涂料产品技术要求》计算防腐涂料vocgl，仅

.本实用新型涉及热封机技术领域，具体为一种封口机刀具速度调节装置。背景技术.随着社会经济的快速发展，封口机是将充填有包装物的容器进行封口的机械，在产品装入包装容器后，为了使产品得以密封保存，保持产品质量，避免产品流失，需要对包装容器进行封口