一种基于SMT约束预测生成求解初始值的方法、系统及应用
本发明属于可满足性模理论(smt)领域，涉及一种利用smt约束信息来预测生成smt变量在求解过程中的初始值的方法、系统及应用。背景技术：1、随着计算机科学和工程...
本发明属于可满足性模理论(smt)领域，涉及一种利用smt约束信息来预测生成smt变量在求解过程中的初始值的方法、系统及应用。背景技术：1、随着计算机科学和工程...
本发明涉及开关柜控制设备，具体涉及一种充气柜用一体式电磁斥力机构及联锁装置。背景技术：1、目前市面上使用的开关柜断路器大多采用弹簧操作机构实现分合闸动作，弹簧操...
本发明属于气凝胶制备，尤其涉及一种木质素基柔性气凝胶的制备方法。背景技术：1、气凝胶是一类具备三维连续多孔网络、低密度、高比表面积的新型功能材料，传统二氧化硅气...
本技术涉及工程挖掘设备领域，具体而言，涉及一种两轮液压铣挖头。背景技术：1、在隧道掘进、矿山开采及市政沟槽铣挖等施工中，液压铣挖头因其动力强劲、控制精准而得到广...
本技术涉及陶瓷加工，具体为一种陶瓷加工成型装置。背景技术：1、陶瓷瓷是陶器与瓷器的统称，同时也是我国的一种工艺美术品，远在新石器时代，我国已有风格粗犷、朴实的彩...
本技术涉及心电监测，具体地说涉及一种患者动态心电监测穿戴设备。背景技术：1、动态心电图监测是通过动态心电图设备在患者日常生活状态下，记录其心电活动的全过程，并进...
本发明涉及磁性材料制备，具体是涉及一种基于射频感应等离子体微熔球化及逆向阶梯时效的低稀土高性能烧结钕铁硼及其制备方法。背景技术：1、在当前全球能源转型与电气化浪...
本发明涉及叶轮，具体的，涉及一种渣浆泵用耐磨叶轮及其制备方法。背景技术：1、渣浆泵是一种通过离心力输送固液混合介质的设备，广泛应用于矿山、冶金、电力、煤炭、环保...
本申请属于特种玻璃制造装备，具体涉及一种用于基板玻璃生产的螺旋式冷却散热结构及冷却方法。背景技术：1、全球显示产业正由超高清、柔性折叠等前沿技术引领变革，对基板...
本发明涉及红外窗口加工及应用，尤其涉及一种基于双螺旋线加工轨迹的回转对称非平面光学增透构件的超快激光制造方法。背景技术：1、在红外制导、光电侦察、目标探测及机载...