“配合约束”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果3100554个，建议您升级VIP下载更多相关专利

[发明专利]一种智能合约的漏洞检测方法及装置-CN202310304560.5在审
发明人：马福辰;任萌;陈元亮;姜宇;李辉中 -专利权人：深圳前海微众银行股份有限公司;清华大学
申请日： 2023-03-21 - 公布日： 2023-06-23 - 主分类号： G06F21/57 文献下载
摘要：本申请实施例提供一种智能合约的漏洞检测方法及装置，涉及区块链技术领域，该方法包括：根据调用合约与被调用合约之间的任一调用关系，更新调用合约的控制流图，得到调用合约的合约间控制流图；基于合约间控制流图，通过符号执行方式执行调用合约；其中，在执行至合约间控制流图中任一调用关系时，收集调用合约在调用关系中的输入约束并将输入约束传递至被调用合约的被调执行过程；收集被调用合约在被调执行过程的输出约束并将输出约束传递至调用合约的后续执行过程；根据各调用关系的输入约束和输出约束，确定调用合约在合约调用过程中是否存在漏洞。上述的检测方法，可以保证检测多合约场景下调用过程中出现漏洞的情况，提高智能合约的安全性。
一种智能合约漏洞检测方法装置

[发明专利]一种基于智能合约的约束求解器分布式调度方法-CN201811137997.X有效
发明人：杨顺昆;苟晓冬;李红曼;边冲;张逸卓;邵麒;姚琪;刘文静;张宇涵;杨冬丽;谢钰姝 -专利权人：北京航空航天大学
申请日： 2018-09-28 - 公布日： 2022-04-01 - 主分类号： G06F9/50 文献下载
摘要：本发明提供一种基于智能合约的约束求解器分布式调度方法，步骤如下：1：获取并行程序中的复数种类型的约束集合，置于第一云端；2：获取复数种类型的约束求解器，置于第二云端；3：将匹配原则写入智能合约，将智能合约部署到区块链上；4：调用智能合约，基于合约中的匹配原则，完成调度；5：获取调度过程中约束求解器与约束集合间的调度路径；本发明实现了将约束集合以及约束求解器间的匹配关系写入智能合约中，从而完成基于智能合约的约束求解器的调度过程，应用智能合约进行调度，可以实现实时记录约束求解器的求解进度，从而选取所记录的约束集合与约束求解器间的匹配模式，进行模型训练，将所得模型作为本技术领域人员约束求解的依据。
一种基于智能合约约束求解分布式调度方法

[发明专利]一种适用于组合交易的智能合约形式化验证方法及系统-CN202210029440.4有效
发明人：陈钟;关志;李青山;董宇;李悦;崔冬琪;陈子明 -专利权人：北京大学;博雅正链（北京）科技有限公司
申请日： 2022-01-12 - 公布日： 2022-03-15 - 主分类号： G06F8/51 文献下载
摘要：本发明公布了一种适用于组合交易的智能合约形式化验证方法，组合交易是指场景中包含多笔交易或者一笔交易涉及多个合约的情形；其特征是，基于区块链以太坊智能合约源代码添加合约约束，包括组合交易场景中的跨函数和跨合约约束，再将添加合约约束后的源代码转换为中间验证语言中相对应的类型、语句、表达式和约束，之后通过验证器自动地对中间验证语言文件进行形式化验证，保障智能合约安全性。采用本发明技术方案，能够支持跨函数和跨合约约束功能的验证，能够在多交易场景下验证合约功能，满足实际应用需要，有效保证智能合约安全。
一种适用于组合交易智能合约形式化验证方法系统

[实用新型]具有卡扣的柔性注塑成型产品的取出治具-CN202120473850.9有效
发明人：张威 -专利权人：捷普电子（新加坡）公司
申请日： 2021-03-04 - 公布日： 2022-06-28 - 主分类号： B29C45/40 文献下载
摘要：本申请实施例提供一种具有卡扣的柔性注塑成型产品的取出治具，包括取出机构；所述取出机构包括仿形约束件，所述仿形约束件用于在模具顶出过程中与顶出机构配合约束产品形状。本申请实施例提供的具有卡扣的柔性注塑成型产品的取出治具能够在模具顶出过程中通过仿形约束件与顶出机构配合约束产品形状，由于产品形状被约束限制，因此在模具顶出时可以避免卡扣卡在模具内无法脱离，产品可以依靠模具顶出过程自动取出
具有柔性注塑成型产品取出

[发明专利]合约的处理方法及装置-CN201710648941.X在审
发明人：翟京卿;袁晓静 -专利权人：中国联合网络通信集团有限公司
申请日： 2017-08-01 - 公布日： 2017-12-19 - 主分类号： G06Q10/10 文献下载
摘要：本发明提供一种合约的处理方法及装置，该方法包括接收用户通过终端输入的合约要素；根据合约要素生成至少一种第一约束关系；获取各第一约束关系中最高优先级的第一约束关系对应的服务内容，并建立合约；按照服务内容执行合约能够智能、便捷的进行合同的自动建立和执行，提高了合约的处理效率，提高了合约各方的用户体验。
合约处理方法装置

[发明专利]预紧力可调的摩擦阻尼器-CN201310125589.3有效
发明人：尹学军;谭平;贺庆;李玉召;杨宏伟;薛松;王乾安;孔祥斐;付学智 -专利权人：尹学军;青岛科而泰控股有限公司;青岛科而泰环境控制技术有限公司
申请日： 2013-04-11 - 公布日： 2013-07-03 - 主分类号： F16F7/09 文献下载
摘要：其包括柱塞和约束筒，柱塞至少局部设置在约束筒内，约束筒的外表面上对应约束筒内壁的工作表面设有环向闭合的束紧装置，特征是束紧装置为至少一组组合约束环，组合约束环由带有内锥面的外圆环和带有外锥面的内圆环配合组成，柱塞与约束筒内壁紧密接触配合，或者柱塞与约束筒内壁之间设置耐磨防锈层、耐磨防锈片或耐磨防锈套。
预紧力可调摩擦阻尼

[实用新型]预紧力可调的摩擦阻尼器-CN201320117890.5有效
发明人：尹学军;谭平;贺庆;李玉召;杨宏伟;薛松;王乾安;孔祥斐;付学智 -专利权人：尹学军;青岛科而泰控股有限公司;青岛科而泰环境控制技术有限公司;青州科而泰重工有限公司
申请日： 2013-03-15 - 公布日： 2013-09-04 - 主分类号： F16F7/09 文献下载
摘要：其包括柱塞和约束筒，柱塞至少局部设置在约束筒内，约束筒的外表面上对应约束筒内壁的工作表面设有环向闭合的束紧装置，特征是束紧装置为至少一组组合约束环，组合约束环由带有内锥面的外圆环和带有外锥面的内圆环配合组成，柱塞与约束筒内壁紧密接触配合，或者柱塞与约束筒内壁之间设置耐磨防锈层、耐磨防锈片或耐磨防锈套。
预紧力可调摩擦阻尼

[发明专利]一种虚实耦合约束环境下的机器人自主导航方法-CN202011246296.7有效
发明人：刘今越;刘子毅;孙晨昭;李铁军;贾晓辉 -专利权人：河北工业大学
申请日： 2020-11-10 - 公布日： 2022-07-29 - 主分类号： G01C21/20 文献下载
摘要：本发明公开了一种虚实耦合约束环境下的机器人自主导航方法，包括虚拟空间的搭建，虚实耦合约束环境的构建，虚实耦合约束环境下应用改进的A*算法进行机器人全局路径规划，得到最优规划路径，获取现实环境信息并结合虚实耦合约束环境，再考虑机器人的轮廓特征，在最优规划路径的相邻节点之间应用改进的DWA算法进行机器人局部避障。本方法采用BIM模型与三维重建获得的点云模型耦合的方法，建立建筑机器人工作的虚实耦合约束环境；结合虚实耦合约束环境数据，考虑机器人的安全性与通过性改进A*算法，删除冗余转折点；根据虚实耦合约束环境数据对DWA算法进行改进，使机器人在复杂环境下绕过局部最小陷阱。
一种虚实耦合约束环境机器人自主导航方法

[实用新型]一种防刮隐藏把手-CN202121869047.3有效
发明人：文婷;贠涛;戴乐宏;马军;张哲 -专利权人：岚图汽车科技有限公司
申请日： 2021-08-10 - 公布日： 2022-02-01 - 主分类号： E05B85/10 文献下载
摘要：本申请涉及一种防刮隐藏把手，包括手柄主体、顶杆和限位部，顶杆铰接在手柄主体与车门钣金之间，所述顶杆上设有约束槽，限位部设于所述手柄主体上，并对应于所述约束槽，限位部抵持在所述约束槽内，且所述按压端与车门钣金之间存在设定间距；本申请通过在顶杆上的约束槽，以及手柄主体上的限位部相互配合约束，当需要手柄主体翘起端翘起并解锁机械锁操作时，按压所述手柄主体的按压端，通过限位部与所述约束槽的配合约束关系，以确保手柄主体相对于顶杆的旋转角度得到限制
一种隐藏把手

[发明专利]一种实验室有毒气体净化装置-CN202010568067.0在审
发明人：柳郁 -专利权人：柳郁
申请日： 2020-06-19 - 公布日： 2020-09-01 - 主分类号： B01D53/86 文献下载
摘要：罩体外壁表面左端开设有进气槽口，进气管道另一端上表面固定设有安装底盘，安装底盘上端均匀开设多个螺纹槽口，安装底盘上端接触连接盘；连接盘上端固定连接褶皱管，褶皱管另一端固定设有圆环筒，圆环筒下端表面均匀贯通开设多个约束槽口，约束槽口滑动配合约束柱，约束柱上端固定设有闭合块，闭合块上端固定设有约束块，约束块滑动配合约束滑槽，约束滑槽开设于圆环饼下端；本发明可实现进行靶向对点进行空气净化和对室内整体空气进行净化，可灵活应对工作场景而使用
一种实验室有毒气体净化装置

[实用新型]安全型胸腹联合约束带-CN201520362799.9有效
发明人：周秀红;张伟珍;张清;邱文灵;黄小芳 -专利权人：深圳市龙岗中心医院
申请日： 2015-05-29 - 公布日： 2015-11-04 - 主分类号： A61F5/37 文献下载
摘要：本实用新型提供了一种安全型胸腹联合约束带，其包括胸腹联合约束带主体，所述胸腹联合约束带主体为只有前面没有后面的单面设计，所述胸腹联合约束带主体采用布质材料制作，胸腹联合约束带主体包括胸腹部主体和腿部主体，所述腿部主体设置在胸腹部主体下部，其中肩关节、髋关节、膝关节处设有绑带，作为约束的着力点，胸前为镂空设计。采用安全型约束胸带，将四肢大关节作为控制点，可以完全控制病人躯体离开床面且对病人背部皮肤无影响，降低病人坠床损伤的风险，降低对医疗设备及医护人员造成损害的风险，保障各种治疗护理顺利进行。
安全胸腹联合束带

[发明专利]一种电力合约的交易方法和装置-CN202011017087.5在审
发明人：王超一;杜雅慧;赵涛;王海霞 -专利权人：新奥数能科技有限公司
申请日： 2020-09-24 - 公布日： 2021-01-05 - 主分类号： G06F30/27 文献下载
摘要：本发明适用于电力市场技术领域，提供了一种电力合约的交易方法和装置，其中，所述方法包括根据电力合约原始数据、约束条件、负荷预测数据和现货价格预测数据，获取针对合约总费用最小的第一目标函数和针对合约电量最接近预测电量的第二目标函数；基于json的约束建模语言，生成对第一目标函数的第一约束问题描述和生成对第二目标函数的第二约束问题描述；对所述第一约束问题描述进行求解，得到所述第一目标函数的第一最优解；对所述第二约束问题描述进行求解，得到所述第二目标函数的第二最优解；根据所述第一最优解和第二最优解，确定电力合约的交易方案。本发明很好的解决了现有技术中合约的复杂性问题。
一种电力合约交易方法装置

[发明专利]层析反演中的双向构造倾角约束方法及装置-CN201811265609.6有效
发明人：王光银;刘鸿;唐虎;陈三平;熊晶璇;张恩嘉 -专利权人：中国石油天然气集团有限公司;中国石油集团东方地球物理勘探有限责任公司
申请日： 2018-10-29 - 公布日： 2020-09-04 - 主分类号： G01V1/30 文献下载
摘要：本发明提供了一种层析反演中的双向构造倾角约束方法及装置，所述方法包含：获取地下地质构造倾角，形成倾角剖面；根据所述地下地质的反射射线追踪结果及所述倾角剖面建立层析反演方程；根据所述地下地质的反射射线的反射点位置，建立局部约束网格；根据所述局部约束网格及所述倾角剖面获得沿构造倾角的二阶混合约束条件及垂直构造倾角的二阶混合约束条件；将所述沿构造倾角的二阶混合约束条件及所述垂直构造倾角的二阶混合约束条件加入所述层析反演方程
层析反演中的双向构造倾角约束方法装置

[发明专利]一种激光冲击复合约束层-CN200510037965.9无效
发明人：冯爱新;殷苏民;周建忠;张永康;左敦稳 -专利权人：江苏大学
申请日： 2005-03-04 - 公布日： 2005-08-17 - 主分类号： B23K26/18 文献下载
摘要：本发明涉及机械制造与激光应用技术领域，本发明由复合约束体及其上的吸附装置和卸荷口组成，复合约束体是由座板、压紧螺母、密封圈、玻璃约束层以及由流水经进水嘴和出水嘴依次连接组成的。卸荷口设置在流水约束层内壁，复合约束层装置通过4个吸附装置及密封圈与试件连接成一体，吸附装置由推板、弹簧、活塞杆、活塞、活塞环、排气口及密封圈依次连接组成，其作用是将复合约束层装置与试件紧密连接起来，并保证在激光冲击时不分开本发明将玻璃约束层与流水约束层复合起来，外部是玻璃约束层，具有刚性好、增效效应显著的优点，内部是流水约束层，具有柔性好、易于实现多点和多次连续冲击的优点。
一种激光冲击复合约束

[实用新型]一种神经外科护理用约束带-CN201922187529.X有效
发明人：李俊霞 -专利权人：李俊霞
申请日： 2019-12-09 - 公布日： 2020-08-25 - 主分类号： A61F5/37 文献下载
摘要：本实用新型公开了一种神经外科护理用约束带，包括底座和紧固装置，所述紧固装置包括设置在底座底部一侧的竖板一、竖板二、螺纹移动杆、导向板和移动板，所述底座上在靠近竖板二的一侧从前至后依次设有固定框一和连接带一，所述底座的另一侧从前至后依次设有连接带二和固定框二，所述固定框一上设有约束带一，所述连接带二的底部设有配合约束带一使用的紧固扣一，所述固定框二上设有约束带二，所述连接带一底部设有配合约束带二使用的紧固扣二，所述底座的上端部设有配合其使用的海绵块，所述约束带一和约束带二上在与海绵块相邻的一侧均设有海绵垫。
一种神经外科护理束带

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条