一种车载旋翼飞行器自动降落装置及控制方法

    公开(公告)号:CN109502041A

    公开(公告)日:2019-03-22

    申请号:CN201910013468.7

    申请日:2019-01-07

    Applicant: 吉林大学

    Abstract: 本发明公开了一种车载旋翼飞行器自动降落装置及方法,该装置由控制模块、步进电机、无磁性承载板、铁板、蓄电池及电磁铁等构成。本装置可以放置于任何可移动的平台上组合成移动降落系统,通过超声波传感器检测旋翼的飞行高度,传递相关高度数据给控制模块,进行接下来任务处理,当旋翼到达合适高度时,控制降落平台进行充磁,使上层降落平台捕获高度适宜且下方装有铁圆盘支架的旋翼。实现了对旋翼的动态捕获过程,很好的解决了旋翼在动态降落时不稳定的问题,同时也大幅度提高了旋翼降落在移动平台上的容错率。能够实现自主飞行旋翼以及遥控飞行旋翼稳定降落的目的。

    一种基于定量验证方法的并发实时系统可靠性评估方法

    公开(公告)号:CN108052768A

    公开(公告)日:2018-05-18

    申请号:CN201711456212.0

    申请日:2017-12-28

    Applicant: 吉林大学

    Abstract: 本发明公开了一种基于定量验证方法的并发实时系统可靠性评估方法,其包括以下步骤:(1)采用带参数的概率时间接口自动机构建并发实时系统模型;(2)对步骤(1)中建立的模型按照接口上的输入/输出动作对进行组合,并使用带参数的前向可达性算法将组合后的PPTIA模型转换成为时域图;(3)使用概率时间逻辑语言PTSL构建可靠性要求的形式化规约;(4)使用验证算法评估并发实时系统的可靠性。本发明针对现有逻辑语言无法直接将策略进行形式化表示的不足以及在设计阶段无法精确获取模型所需要的数据问题,采用基于带参数的概率时间接口自动机和概率时间策略逻辑的定量验证方法来评估并发实时系统的可靠性。

    一种基于定量验证方法的并发实时系统可靠性评估方法

    公开(公告)号:CN108052768B

    公开(公告)日:2021-06-25

    申请号:CN201711456212.0

    申请日:2017-12-28

    Applicant: 吉林大学

    Abstract: 本发明公开了一种基于定量验证方法的并发实时系统可靠性评估方法,其包括以下步骤:(1)采用带参数的概率时间接口自动机构建并发实时系统模型;(2)对步骤(1)中建立的模型按照接口上的输入/输出动作对进行组合,并使用带参数的前向可达性算法将组合后的PPTIA模型转换成为时域图;(3)使用概率时间逻辑语言PTSL构建可靠性要求的形式化规约;(4)使用验证算法评估并发实时系统的可靠性。本发明针对现有逻辑语言无法直接将策略进行形式化表示的不足以及在设计阶段无法精确获取模型所需要的数据问题,采用基于带参数的概率时间接口自动机和概率时间策略逻辑的定量验证方法来评估并发实时系统的可靠性。

    防洒水水杯
    4.
    实用新型

    公开(公告)号:CN212591479U

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

    申请号:CN202020947604.8

    申请日:2020-05-29

    Applicant: 吉林大学

    Abstract: 本实用新型涉及一种防洒水水杯,包括:杯体,杯体由两个空心球体和位于两个空心球体之间的空心柱体组成;饮水端空心球体上开设有饮水口,饮水端空心球体的内部设置有旋转滑筒和滑盖,滑盖设置在饮水端空心球体与旋转滑筒之间,饮水端空心球体与空心柱体的连接处的内壁上开设有环状滑轨,环状滑轨内部的空心处均布设置有一圈轴承珠,环状滑轨上方的内壁上设置有环状沟槽;万向轴承滚珠贴合在饮水端空心球体的内壁上;本实用新型的优点是:内部为纯机械结构,不易损坏,易于修复;并且具有体积小巧,便于携带,形状能适应大部分底面;在开口、手握状态下,在不撒水前提下能适应大部分的动作;即使在开口状态下随意放置,亦能自动保持稳定。

    一种车载旋翼飞行器自动降落装置

    公开(公告)号:CN209667388U

    公开(公告)日:2019-11-22

    申请号:CN201920021469.1

    申请日:2019-01-07

    Applicant: 吉林大学

    Abstract: 本实用新型公开了一种车载旋翼飞行器自动降落装置,该装置由控制模块、步进电机、无磁性承载板、铁板、蓄电池及电磁铁等构成。本装置可以放置于任何可移动的平台上组合成移动降落系统,通过超声波传感器检测旋翼的飞行高度,传递相关高度数据给控制模块,进行接下来任务处理,当旋翼到达合适高度时,控制降落平台进行充磁,使上层降落平台捕获高度适宜且下方装有铁圆盘支架的旋翼。实现了对旋翼的动态捕获过程,很好的解决了旋翼在动态降落时不稳定的问题,同时也大幅度提高了旋翼降落在移动平台上的容错率。能够实现自主飞行旋翼以及遥控飞行旋翼稳定降落的目的。(ESM)同样的发明创造已同日申请发明专利

    用于智能分类的清扫垃圾桶

    公开(公告)号:CN212474733U

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

    申请号:CN202020633085.8

    申请日:2020-04-24

    Applicant: 吉林大学

    Abstract: 本实用新型涉及一种用于智能分类的清扫垃圾桶,包括桶体、驱动电机、摄像头、主控制器、后台服务器;桶体包括电机安装部、垃圾桶安装部、桶盖安装部、桶体侧壁板;电机安装部为内部中空的结构,电机安装部上有中心立柱,中心立柱内有中心转轴,驱动电机安装在电机安装部内,与中心转轴连接,在所述中心转轴上安装有托盘,在托盘内安装有推送组件;垃圾桶安装部被分割成四个内部连通的容纳空间,每个容纳空间内均安装有扇形的小垃圾桶;桶体侧壁板为四个,分别与小垃圾桶滑动连接,桶体侧壁板的底部与电机安装部转动连接;摄像头安装在托盘上,用于将拍摄垃圾的图像通过主控制器传递至后台服务器;该垃圾桶结构简单,耗电低,倾倒垃圾方便。

Patent Agency Ranking