本发明公开一种基于语义信息的分布式共识协议模型检验优化方法，应用于典型的分布式共识协议、分布式系统。模型的状态空间爆炸一直是模型检验的痛点，当模型较为复杂时，缓解状态空间爆炸成为了巨大的挑战；分布式共识协议涉及多服务器节点间的消息传递，...

本发明涉及医疗辅助诊断系统技术领域，尤其涉及一种胆道病变良恶性的辅助诊断系统及其建立方法，包括：图像输入模块和综合诊断模块，所述综合诊断模块包括：图像质量判断模块和病变性质判断模块；所述图像输入模块用于获取患者胆道镜检查图像并进行预处理...

本发明公开了一种降低衬底漏电流的GaN基JFET场效应晶体管，其特征在于其结构依次包括：一衬底层；一p

本申请实施例涉及机器学习技术领域，公开了一种机器翻译方法、装置、电子设备和存储介质。机器翻译方法包括以下步骤：获取待翻译语料数据；将词切分后的所述待翻译语料数据输入编码器，得到基于子词的上下文表示；将所述基于子词的上下文表示输入词表示合...

基于单目视频的多阶段人体动作捕捉方法、设备及介质，对于固定相机情境下拍摄的单目RGB视频，将人体动作捕捉分为多个阶段：第一阶段使用人体姿态检测器对输入的单目视频逐帧估计二维的人体关节点；第二阶段利用深度学习来获取视频序列中的空间与时序信...

本发明公开了一种静态分析和动态探索结合的移动应用模型构建方法，包括以下步骤：统计和分析主流的动态组件类型；静态分析应用app获取应用基于动态组件的静态模型，再在动态测试过程中与静态模型进行匹配得到应用的当前状态，利用状态节点和事件序列构...

本发明公开一种基于缺失数据填补的层次式大气臭氧浓度预测方法，首先通过季节性时间序列分解算法，将含有缺失数据的大气污染物数据以及气象数据分解为平滑趋势项、季节性周期项与短期波动项。然后使用基于时空序列建模的数据填补算法，对缺失数据进行有效...

本发明公开了一种基于图的细胞病理报告生成方法，包括以下两个内容：基于图的细胞病理报告生成模型，以及对生成的模型进行训练。本发明通过构建细胞图的方式对细胞空间结构进行显式建模，并有效融合细胞空间结构特征和细胞形态特征，能够自动生成高质量的...

一种基于金刚石的磁场传感器及制备，包括由单晶金刚石衬底，掺氮的金刚石薄膜层，及钛、金电极构成的电极层，单晶金刚石衬底、掺氮的金刚石薄膜层、电极层由下至上依次设置，在两个电极间形成金属

本发明公开了一种基于异常状态的攻击检测方法、装置、介质及机器。本发明的攻击检测方法如下：首先从网上抓取攻击缺陷描述文本，然后对攻击缺陷描述文本进行解析后得到攻击状态迁移信息的集合，监测机器执行操作系统和应用程序的行为时，并根据行为结果是...

本发明公开了一种制备铌改性铈硅混合氧化物催化剂，通过以下方法制备：首先，将硝酸铈铵溶于无水乙醇中，搅拌均匀后加入正硅酸四乙酯，溶液混合均匀后滴加氨水，将所得沉淀物老化、水洗、干燥后，再放入马弗炉中焙烧，获得铈硅混合氧化物催化剂；然后以铈...

本发明公开了一种基于硅基IV族合金材料的红外可饱和吸收器件，使用基于IV族合金材料的应变补偿量子阱结构作为可饱和吸收层，工作波长覆盖1.9

本发明公开了一种纳米颗粒内嵌N掺杂碳纤维复合薄膜材料的制备方法。本发明将首先将醋酸钴和醋酸镍化合物在80℃下冷凝回流反应4h，得到棱柱状的Ni

基于自适应解码器的时空动作检测方法、设备及介质，构建一个时空动作检测器OSD，首先将查询解耦为空间查询和时间查询；其次，对于视频骨干网络提取的全局视频特征，通过解码器自适应地根据空间查询的语义信息在全局视频特征上进行采样得到人物RoI特...

本发明公开了一种结合逻辑推理的辩论对分类方法及设备，所述方法包括：对现有辩论对数据对进行数据增强；使用增强过后的数据训练交叉编码模型M，用于预测辩论对之间的关系；利用交叉编码模型M对无标签的辩论对之间的关系进行预测，赋予其伪标签，利用反...

本发明涉及一种基于纳米孔道蛋白的高通量检测装置，包括生物芯片、双分子层膜、微井组、微井以及池体结构；生物芯片上设置一个或多个微井组；微井组中包括多个微井；池体结构整体呈上下开口的筒状结构；池体结构整体平铺在生物芯片的上表面并与生物芯片紧...

本发明公开了一种超导纳米线单光子成像器成像失真的恢复方法，包括：构建探测单元与延迟单元分立的超导纳米线单光子探测器，相邻探测单元之间串联延迟线；从原始的光子探测数据中提取N个真实像素数据得到真实像素图像，提取N

本发明提供了一种面向存算一体器件温漂特性的精度补偿装置及方法。该精度补偿装置包括上位机、补偿阵列模块、部分和补偿逻辑模块、温度传感模块、补偿阵列控制模块、ADC阵列和加法树，其中，补偿阵列模块，用于存储针对不同温度范围而训练得到的权重值...

本发明公开了一种引入第二相SnSe2的N型SnSe晶体及其制备方法，所述SnSe晶体生长方法采用温度梯度循环的化学气相输运法，具体方法是使用I2等作为输运剂，将Sn粉，Se粉与输运剂混合，装入石英管中真空密封后放置于两温区的管式炉中，在...

本发明公开了一种基于BERT模型的反驳论辩语句检索方法及设备，所述方法包括：构造一个有着形式的数据集，其中是对应着论辩语句的语境语句，y