本发明公开了一种基于超声心动图的心脏影像分析处理系统，涉及影像分析技术领域，包括数据信息接入子系统、图像处理子系统和图像分析子系统，其特征在于，其中，所述数据信息接入子系统用于获取超声心动图数据信息；所述数据信息接入子系统的输出端通信连...

本发明涉及一种机器人智能乘坐电梯的方法及系统，包括如下步骤：发送呼叫电梯抵达当前楼层的指令至梯控装置，梯控装置控制电梯抵达当前楼层并使电梯处于开门状态；在进入电梯之前，获取当前乘客信息，当乘客为第一机器人且抵达电梯门口的第一时间或与电梯...

本发明涉及一种多机器人协同避障方法及系统，其具体步骤包括：S1：构建代价地图并获取所有机器人的状态信息，其中状态信息包括位置信息和速度信息；S2：根据状态信息对当前机器人和其它机器人进行路径预测，并判断当前机器人和其它机器人的预测路径是...

本实用新型属于机器人技术领域，具体涉及一种悬挂驱动轮及机器人底盘。悬挂驱动轮包括悬挂机构和驱动轮，悬挂机构的一端与驱动轮连接，另一端形成有安装端；驱动轮的下端形成有支撑端，支撑端低于悬挂机构；悬挂机构具有支撑状态和触发状态，悬挂机构处于...

本发明涉及一种两轮差速移动机器人的路径跟随方法及系统，包括如下步骤：S1:根据导航系统获取目标路径；S2:更新机器人当前位置，并获取机器人与目标路径距离最近的路径点；S3:计算机器人的前视距离并确定前视点，根据机器人当前位置和前视点计算...

本发明涉及一种机器人路径生成方法、系统及存储介质，包括如下步骤：S1：获取代价地图，将初始路径的位置点转换成代价地图的序号，根据序号值判断初始路径上是否存在有障碍物，若存在，则将障碍物的序号进行标记并保存至障碍物数组中；S2：根据障碍物...

本发明提供一种面向图像识别的神经网络训练方法及系统。该方法包括：S1：获取训练图像数据集；S2：构建神经网络模型，设定损失函数为其中J(θ；X，y)为预设损失函数，g(w)为正则化项；S3：将训练图像数据集中的训练数据输入所述神经网络模...

本发明提供一种测试用例生成方法、系统及计算机可读存储介质。该测试用例生成方法包括如下步骤：S1：从待测模型的已有测试用例中获得初始图像样本x

本发明公开了一种基于深度学习目标检测和分类技术的火焰检测算法，涉及火焰检测算法技术领域，包括以下步骤，数据集的来源，网络架构的设计，网络架构的预训练，指定评估标准和火焰检测阈值选择。本发明解决了火焰颜色的干扰、摄像头视角多样性导致颜色分...

本发明公开了一种货物物体智能视频识别算法，涉及仓库管理技术领域，包括以下步骤：对视频信息进行接入，运动物体识别，对物体进行分析，对物体进行计算，然后将计算出的数据传送至数据库进行完善，对物体进行分类和编号，然后入库，控制仓库转运系统对货...

本实用新型涉及监控报警设备技术领域，具体为一种烟火识别视频图像监控报警设备，包括监控设备主体，所述监控设备主体前端中部上端固定连接有显示屏，所述监控设备主体顶端右侧固定连接有报警设备，且报警设备顶端卡合在防护外罩内侧，所述防护外罩底端插...

本实用新型涉及监控报警设备技术领域，具体为一种行为识别视频图像监控报警设备，包括装置主体，所述装置主体包括监控器、连接座、安装座和连接插口，所述监控器的底端固定有连接座，所述连接座的底端设置有安装座，且安装座顶端的中间位置处固定有插座，...

本实用新型涉及检测报警技术领域，具体为一种目标检测视频图像监控报警设备，包括装置主体，所述装置主体上设置有清理机构，所述清理机构包括安装板、滑槽、滑杆、滑块、清理板和第一毛刷，所述装置主体顶端设置有安装板，所述安装板前端开设有滑槽，且滑...

本发明涉及一种安全协议的代码生成方法，其特征在于，包括如下步骤：获取扩展形式语义模型框架的数据；基于扩展形式化语义模型框架，所述数据向形式化模型验证器集成并转换；基于形式化语义模型框架，向代码自动生成模型集成和转换；该代码生成方法、计算...

本发明涉及一种安全协议建模端与验证端的跨平台方法，包括如下步骤：获取建模模型的数据；使用XML文件来描述建模模型的数据；使用抽象语法树作为多平台验证器和/或代码生产器的中间表示；建模模型的数据模型传输至所述抽象语法树，并通过脚本文件建立...

本发明涉及一种基于决策树的带参协议验证方法，所述方法包括下列步骤：制作带参协议对称削减可达状态空间的数据表；将所述数据表用于扩展的决策树算法的训练，获取带参协议可达状态空间的类别；根据带参协议可达状态空间的类别，利用决策树结合归纳证明方...

本发明涉及一种带参协议的自动验证方法，包括：对带参系统进行建模，得到带参协议；对带参协议的参数进行赋值得到一个实例，利用模型检测器收集该实例的可达状态集；提取带参协议中的原子谓词，将所述可达状态集转换为数据集；利用关联规则学习算法，从所...

本发明涉及一种神经网络的局部鲁棒性验证方法，包括：输入经过训练得到的神经网络，对神经网络的语义进行处理得到模型；基于抽象解释，将神经网络的语义抽象为数学结构的抽象域上的运算(或者抽象域上的变换)；给定输入和微小扰动；将输入和微小扰动抽象...

本发明涉及一种基于多任务机制的安卓应用程序静态分析方法，其特征在于，包括：构建安卓应用程序的任务栈模型；对安卓应用任务栈模型进行任务栈格局可达性分析；以及对安卓应用任务栈模型进行任务栈有界性分析。本发明技术方案，相比于现有技术，可以针对...