一种结合CDCL求解器和量子退火器求解SAT问题的方法

    公开(公告)号:CN114638162B

    公开(公告)日:2024-08-27

    申请号:CN202210273289.9

    申请日:2022-03-18

    摘要: 本发明公开了一种结合CDCL求解器和量子退火器求解SAT问题的方法,包括通过将SAT问题的每个三元子句拆解为二元子句,并构建目标函数;将原始变量的赋值和辅助变量的赋值通过贪心策略嵌入至量子退火器中的物理量子位中,将每个原始变量赋值嵌入至列量子位,将辅助变量赋值嵌入至行量子位,行量子位斜线链接列量子位,将相关联行量子位通过水平链接链接,以得到嵌入变量的量子退火器;通过嵌入变量的量子退火器和/或CDCL求解器对目标函数递归求解,以确定SAT问题有解或无解。该方法能够在有限尺寸的量子退火器上高效解决SAT问题。

    一种结合CDCL求解器和量子退火器求解SAT问题的方法

    公开(公告)号:CN114638162A

    公开(公告)日:2022-06-17

    申请号:CN202210273289.9

    申请日:2022-03-18

    摘要: 本发明公开了一种结合CDCL求解器和量子退火器求解SAT问题的方法,包括通过将SAT问题的每个三元子句拆解为二元子句,并构建目标函数;将原始变量的赋值和辅助变量的赋值通过贪心策略嵌入至量子退火器中的物理量子位中,将每个原始变量赋值嵌入至列量子位,将辅助变量赋值嵌入至行量子位,行量子位斜线链接列量子位,将相关联行量子位通过水平链接链接,以得到嵌入变量的量子退火器;通过嵌入变量的量子退火器和/或CDCL求解器对目标函数递归求解,以确定SAT问题有解或无解。该方法能够在有限尺寸的量子退火器上高效解决SAT问题。

    一种基于联盟链的遥感元数据上链方法

    公开(公告)号:CN112487459B

    公开(公告)日:2023-08-04

    申请号:CN202011434259.9

    申请日:2020-12-10

    IPC分类号: G06F21/60 G06F21/64 G06F21/33

    摘要: 本发明公开了一种基于联盟链的遥感元数据上链方法,该方法首先对提交上传数据的节点用户完成身份真实性验证,并返回其数字证书,接着将待上传的遥感元数据进行独立的编号MID,加密并生成解密密钥,再通过IPFS系统服务将数据拆分成若干个数据块,把每个数据块存储到IPFS网络中不同的节点,再将数据块打包成一个集合,生成一个新的数据地址,并验证数据的完整性,最后将数字签名、MID、解密密钥和数据地址打包成一个区块上传至联盟链节点。

    一种基于模块化的自组织多功能卫星系统

    公开(公告)号:CN116039952A

    公开(公告)日:2023-05-02

    申请号:CN202211670670.5

    申请日:2022-12-26

    发明人: 尚永衡

    IPC分类号: B64G1/10 B64G1/22 B64G1/24

    摘要: 本发明公开了一种基于模块化的自组织多功能卫星系统,包括推进单元、控制单元、测控及通信单元、载荷中的一种或者多种;推进单元、控制单元之间通过刚性连接臂连接;控制单元通过柔性连接臂分别与测控及通信单元、载荷连接;推进单元、控制单元、载荷均设有分布式姿态控制系统、分布式电源系统、分布式测控与通信系统;测控及通信单元设有分布式姿态控制系统、分布式电源系统。本发明基于自适应可独立工作的模块为核心,然后通过把每个模块定义一个核心功能,接着通过模块间的链接在轨进行自主组网形成以不同功能为主的大型空间结构。另外还可以通过更换出故障的核心模块,来进行系统更新,维护整个系统的长时间在轨运行,提高其质效比。

    一种基于无人机倾斜三维的电力巡检方法

    公开(公告)号:CN114362042A

    公开(公告)日:2022-04-15

    申请号:CN202111541925.3

    申请日:2021-12-16

    摘要: 本发明公开了一种基于无人机倾斜三维的电力巡检方法,包括以下步骤:首先利用无人机倾斜摄影,获取实际三维图像,将获取的三维图像导入到倾斜三维数据采集平台;利用全自动倾斜摄影三维建模技术,通过倾斜三维数据采集平台对无人机航拍图片进行后期处理,采用多视影像密集点云分类;然后对外业控制点的布设和测量进行优化,生成高密度点云;利用高密度点云数据构建DSM并生成网格模型;对网格模型进行纹理生成,精细化处理;最终完成并输出三维数字模型。本发明通过三维数据模型能够提高输电基建地址复测的智能化水平,提高了人工复测、障碍物自动测距的效率,减少了人力、物力的投入,节约了成本,减少停电时间和电能损耗,降低运维成本。

    一种基于高分遥感的国土监测服务系统

    公开(公告)号:CN112287050A

    公开(公告)日:2021-01-29

    申请号:CN202011051360.6

    申请日:2020-09-29

    IPC分类号: G06F16/29 G06Q50/26

    摘要: 本发明公开了一种基于高分遥感的国土监测服务系统,包括国土巡查手机APP和高分遥感大数据应用平台网页端,二者通过数据库形成联动式国土监测服务系统。巡查人员利用国土巡查手机APP上传巡查位置、巡查轨迹和巡查事件,可实时调用后台管理数据库进行并行分析处理,同时分析巡查图斑的地类情况、供地用途、报批情况等,并以此为依据判定土地是否存在违法占用情况;后台管理人员可实时对上报的问题类型、处置进度、变化类型等进行确认和处理,实现双向线呈联合质检。这种双向联动式国土巡查方式,能够有效提高国土巡查效率和准确性,缩短国土巡查周期,实现国土巡查资源管理的信息化管理和数字化管理。

    基于Docker的遥感智能处理算法的管理方法

    公开(公告)号:CN112527319A

    公开(公告)日:2021-03-19

    申请号:CN202011488439.5

    申请日:2020-12-16

    IPC分类号: G06F8/60 G06F8/61 G06F8/71

    摘要: 本发明公开了一种基于Docker的遥感智能处理算法的管理方法。1)获取操作系统基本文件并编写Docker镜像脚本;2)执行Docker脚本文件,逐条安装各种依赖包括Python、TensorFlow和GDAL算法执行必须的软件,搭建Docker镜像私服并将执行环境基础镜像推送到镜像仓库等待进一步使用;3)准备算法执行所有文件并编写Docker镜像脚本文件;4)执行算法镜像的Docker脚本文件,选择执行环境基础镜像;5)编写算法容器部署清单;6)Docker容器编排读取算法容器部署清单;7)算法容器开始执行,最终执行结束给予预定的反馈结果。本发明使用Docker技术将遥感智能处理方法统一封装到镜像中,解决了算法执行的依赖问题,并通过容器编排引擎合理分配服务器资源,有效的提高了数据处理的效率。

    基于人工智能的数字地表模型房屋DLG自动提取方法

    公开(公告)号:CN112419384A

    公开(公告)日:2021-02-26

    申请号:CN202011400508.2

    申请日:2020-12-03

    IPC分类号: G06T7/50 G06T17/10

    摘要: 本发明提供了一种基于人工智能的数字地表模型房屋DLG自动提取方法。首先对房屋模型采集点信息,生成房屋面点云,然后根据点云与房屋的位置关系,分为三类:点在房屋外、点在房屋墙面上和点在墙角线上;对于点在房屋外的情况,直接剔除该点;对于点在房屋墙面上的情况,这些点的集合作为后期伪房屋面的校正矩阵,用于墙面纠正;对于点在墙角线上的情况,自动对每条墙角线上的点进行线性拟合,然后根据拟合成的墙角线搜索顶点,即三条以上墙角线的相交点;三个以上的点相接生成伪房屋面,对伪房屋面经过剔除和校正后,最后多个房屋面利用共同的墙角线,生成房屋DLG。通过使用该方法,主观误差小,受环境影响较小,可以实现高效率的房屋自动提取。