面向物联网操作系统的代码缺陷静态检测方法和系统

    公开(公告)号:CN113220302B

    公开(公告)日:2024-11-12

    申请号:CN202110400944.8

    申请日:2021-04-14

    Applicant: 清华大学

    Abstract: 本发明提供一种面向物联网操作系统的代码缺陷静态检测方法和系统,其中检测方法包括:对目标测物联网操作系统的源代码进行编译,得到中间代码;对所述中间代码进行基于路径的别名分析,得到各条中间代码路径中变量间的别名关系,并确定出可能存在的代码缺陷;基于所述别名关系,对每条可能存在的代码缺陷的路径的可达性进行验证,在可能存在的代码缺陷中过滤掉未通过可达性验证的误报代码缺陷,对确定的检测出的代码缺陷生成错误报告。本发明实施例采用静态检测方式,能够覆盖物联网操作系统中的大部分代码。本发明可以方便有效地进行错误检测,提高物联网操作系统的安全性。

    一种三维场景理解方法和装置
    5.
    发明公开

    公开(公告)号:CN116228972A

    公开(公告)日:2023-06-06

    申请号:CN202310086735.X

    申请日:2023-01-16

    Applicant: 清华大学

    Inventor: 胡事民 李相利

    Abstract: 本发明提供一种三维场景理解方法和装置,包括:获取三维场景下的目标三维点云图;对目标三维点云图进行体素化操作,得到目标三维点云图对应的体素特征;利用卷积神经网络对体素特征进行特征提取,得到目标三维点云图对应的三维场景特征;采用全连接层对三维场景特征进行变换,得到目标三维点云图的理解结果;其中,卷积神经网络,是在添加了长距离池化模块的稀疏卷积神经网络的基础上训练的。本发明长距离池化模块能够增大感受野并且引入更大的非线性操作,在增加极小参数量和计算量的前提下,提升网络的三维场景理解能力。

    基于可微渲染的振动液滴三维重建方法及装置

    公开(公告)号:CN113160296B

    公开(公告)日:2023-06-06

    申请号:CN202110348718.X

    申请日:2021-03-31

    Applicant: 清华大学

    Abstract: 本发明提供一种基于可微渲染的振动液滴三维重建方法及装置,该方法包括:根据输入的相机参数建立可微的渲染模型;将输入的多视角液滴振动视频转换为同一时刻的多视角图像,对所述多视角图像做边缘提取;初始化液滴的三维模型,通过可微渲染模型得到对应的渲染图像;计算所述渲染图像和所述多视角图像间的损失函数值,反向传播到液滴的三维模型参数中,进行模型参数更新。该方法考虑到了液滴特征点不明显和振动快速的特点,用可微渲染结合物理模型描述,能够使液滴的三维模型在多个视角下和拍摄图像一致,达到了较快的重建速度和准确的重建精度。

    三维表面重建方法、装置、电子设备及存储介质

    公开(公告)号:CN115761112A

    公开(公告)日:2023-03-07

    申请号:CN202211313699.8

    申请日:2022-10-25

    Applicant: 清华大学

    Abstract: 本发明提供一种三维表面重建方法、装置、电子设备及存储介质,其中的方法包括:确定目标三维场景对应的多个不同尺度的体素网格,体素网格中的每一体素均包含一个基函数;根据体素网格对应的三维点云数据,获取与体素网格对应的基函数参数、法向数据以及目标标量;基于基函数参数、法向数据以及目标标量,确定基函数对应的基函数系数;根据基函数及其对应的基函数系数,对目标三维场景的三维表面进行重建。该方法能够最大限度尊重三维点云数据的三维位置信息,从而使得重建尽可能的精确,克服了现有技术中三维表面重建效率低下且重建结果精度不高的缺陷,实现了三维表面的快速重建。

    一种虚拟兴趣点感知的虚拟现实重定向行走方法及系统

    公开(公告)号:CN115457121A

    公开(公告)日:2022-12-09

    申请号:CN202210901785.4

    申请日:2022-07-28

    Applicant: 清华大学

    Abstract: 本发明提供一种虚拟兴趣点感知的虚拟现实重定向行走方法及系统,包括:获取用户位姿、指定物理目标点和曲率增益数据,计算偏转方向更改点;通过所述偏转方向更改点进行偏转重置改变用户偏转方向,偏转方向后根据曲率增益在物理空间中曲线行走;在物理空间曲线行走过程中,计算出偏转重置后到达虚拟兴趣点最大步行距离;按照所述最大步行距离行走,经过虚拟兴趣点到达指定物理目标点。本发明解决了现有虚拟现实设备重定向行走方法无法指定物理路径点的问题,实现减少重置次数,延长重置发生位置与虚拟兴趣点之间的行走距离。

    基于空间关联关系的三维室内场景生成方法及系统

    公开(公告)号:CN112966327B

    公开(公告)日:2022-09-16

    申请号:CN202110287645.8

    申请日:2021-03-17

    Applicant: 清华大学

    Abstract: 本发明提供一种基于空间关联关系的三维室内场景生成方法及系统,该方法包括:获取多个三维空间模型实例;根据预设先验度量,对所述多个三维空间模型实例进行空间关联关系划分,得到由三维空间模型实例构建的多个功能区;根据预设先验模板,对所述多个功能区进行布局,生成对应的三维室内场景。本发明通过结合完全空间随机性测试,测量三维室内场景中每个家具对象之间的空间关系强度,从而根据该空间关系强度,将各个家具的三维空间模型实例构建为更合理的功能区,并通过预设的离散关联关系,对功能区中的家具对象进行快速布局,从而生成更为准确三维室内场景。

    面向机器人ROS程序的自动崩溃恢复方法和系统

    公开(公告)号:CN113127248B

    公开(公告)日:2022-08-09

    申请号:CN202110360990.X

    申请日:2021-04-02

    Applicant: 清华大学

    Abstract: 本发明提供一种面向机器人ROS程序的自动崩溃恢复方法和系统,其中恢复方法包括:在目标程序运行时,监测目标程序运行状态、定时设置检查点并记录关键信息及接收的信息;当监测到所述目标程序崩溃时,使机器人进入安全状态、使所述目标程序进入隔离状态、并执行崩溃恢复操作;所述崩溃恢复操作包括:重启所述目标程序,基于所述检查点恢复关键信息,并将所述目标程序重放在最后一次设置检查点后接收的信息。本发明提出了面向机器人ROS程序的自动崩溃恢复方法,利用程序隔离技术,可以防止ROS程序在恢复过程中与其他程序相互影响,防止恢复失败;利用检查点和消息重放相结合的技术,可正确高效地恢复不同类型的ROS程序。

Patent Agency Ranking