-
公开(公告)号：CN117714210A
公开(公告)日：2024-03-15
申请号：CN202410159998.3
申请日：2024-02-05
Applicant: 华东交通大学
Abstract: 本发明涉及一种用于自定义CoAP协议的自动分析验证方法及装置，包括：分别对标准CoAP协议和自定义CoAP协议进行形式化描述，并基于此分别构建标准CoAP协议公理化模型和自定义CoAP协议符号模型，将自定义CoAP协议与标准CoAP协议进行匹配，得到自定义CoAP协议的裁剪位置结果；基于裁剪位置结果，将标准CoAP协议公理化模型映射到自定义CoAP协议符号模型中，得到自定义CoAP协议公理化模型；依据自定义CoAP协议部署的网络环境选择威胁模型，并确定在威胁模型下自定义CoAP协议对应的安全属性；针对选择的威胁模型，进一步细化调整自定义CoAP协议公理化模型结构，得到Tamarin模型；将Tamarin模型与需要验证的安全属性输入Tamarin验证器，得到验证结果。本发明用于自定义CoAP协议的安全验证。
-
Patent Agency Ranking
公开(公告)号：CN111158370A
公开(公告)日：2020-05-15
申请号：CN201911425494.7
申请日：2019-12-30
Applicant: 华东交通大学
Abstract: 本发明公开了一种自动导引车AGV部署方法，包括：根据部署场地绘制并存储拓扑地图G；获取所述自动导引车AGV的起始位置；根据所述拓扑地图G、所述起始位置和预设目标位置，确定行进路径；根据所述行进路径，驱动所述自动导引车AGV到达所述目标位置。本发明通过自动绘制拓扑地图，并根据起始位置及预设目标位置确定行进路径，最终使所述自动导引车到达所述目标位置，并不需要额外增加对场地进行改造或加装硬件设备，且可以根据场地自适应地进行部署，并通过预先确定行进路径的方式，提高了部署效率，增强了场地适应性，降低了部署成本。本发明还公开一种自动导引车AGV部署系统和自动导引车AGV。
-
公开(公告)号：CN112070678B
公开(公告)日：2023-04-11
申请号：CN202010794867.4
申请日：2020-08-10
Applicant: 华东交通大学
Abstract: 本发明公开了一种批量蛋白质印迹膜条倾斜矫正和分割方法及系统，其中，方法包括以下步骤：S1:获取含有多个蛋白质印迹膜条的图像，并对图像进行分割；S2:获取分割后的图像中每个蛋白质印迹膜条的倾斜角度，并根据倾斜角度对各自对应的蛋白质印迹膜条进行矫正，获得初步倾斜矫正图像；S3:对初步倾斜矫正图像进行预处理；S4:提取预处理图像中每个蛋白质印迹膜条的多个印迹区域，并进行定位；S5:分别将每个蛋白质印迹膜条对应的多个印迹区域进行重组，获得多个重组的蛋白质印迹膜条，输出矫正结果以及矫正结果中每个蛋白质印迹膜条对应的印迹区域的位置坐标。能够避免因膜条本身的空间弯曲导致的倾斜矫正不准确的不足，提升矫正的准确度。
-
公开(公告)号：CN111158370B
公开(公告)日：2023-06-30
申请号：CN201911425494.7
申请日：2019-12-30
Applicant: 华东交通大学
Abstract: 本发明公开了一种自动导引车AGV部署方法，包括：根据部署场地绘制并存储拓扑地图G；获取所述自动导引车AGV的起始位置；根据所述拓扑地图G、所述起始位置和预设目标位置，确定行进路径；根据所述行进路径，驱动所述自动导引车AGV到达所述目标位置。本发明通过自动绘制拓扑地图，并根据起始位置及预设目标位置确定行进路径，最终使所述自动导引车到达所述目标位置，并不需要额外增加对场地进行改造或加装硬件设备，且可以根据场地自适应地进行部署，并通过预先确定行进路径的方式，提高了部署效率，增强了场地适应性，降低了部署成本。本发明还公开一种自动导引车AGV部署系统和自动导引车AGV。
-
公开(公告)号：CN117714210B
公开(公告)日：2024-06-04
申请号：CN202410159998.3
申请日：2024-02-05
Applicant: 华东交通大学
Abstract: 本发明涉及一种用于自定义CoAP协议的自动分析验证方法及装置，包括：分别对标准CoAP协议和自定义CoAP协议进行形式化描述，并基于此分别构建标准CoAP协议公理化模型和自定义CoAP协议符号模型，将自定义CoAP协议与标准CoAP协议进行匹配，得到自定义CoAP协议的裁剪位置结果；基于裁剪位置结果，将标准CoAP协议公理化模型映射到自定义CoAP协议符号模型中，得到自定义CoAP协议公理化模型；依据自定义CoAP协议部署的网络环境选择威胁模型，并确定在威胁模型下自定义CoAP协议对应的安全属性；针对选择的威胁模型，进一步细化调整自定义CoAP协议公理化模型结构，得到Tamarin模型；将Tamarin模型与需要验证的安全属性输入Tamarin验证器，得到验证结果。本发明用于自定义CoAP协议的安全验证。
-
公开(公告)号：CN112070678A
公开(公告)日：2020-12-11
申请号：CN202010794867.4
申请日：2020-08-10
Applicant: 华东交通大学
Abstract: 本发明公开了一种批量蛋白质印迹膜条倾斜矫正和分割方法及系统，其中，方法包括以下步骤：S1:获取含有多个蛋白质印迹膜条的图像，并对图像进行分割；S2:获取分割后的图像中每个蛋白质印迹膜条的倾斜角度，并根据倾斜角度对各自对应的蛋白质印迹膜条进行矫正，获得初步倾斜矫正图像；S3:对初步倾斜矫正图像进行预处理；S4:提取预处理图像中每个蛋白质印迹膜条的多个印迹区域，并进行定位；S5:分别将每个蛋白质印迹膜条对应的多个印迹区域进行重组，获得多个重组的蛋白质印迹膜条，输出矫正结果以及矫正结果中每个蛋白质印迹膜条对应的印迹区域的位置坐标。能够避免因膜条本身的空间弯曲导致的倾斜矫正不准确的不足，提升矫正的准确度。
-
-
-
-
-
Search Results
6
records
(took 0.018 seconds)
