专利名称：基于线性时序逻辑的移动端快递派送路径规划方法      申请号：2017102652094     转让价格：面议  收藏
法律状态：已下证   类型：发明   关键词：物流仓储 快递派送 时序逻辑   相似专利 发布日：2023/09/14  
摘要： 基于线性时序逻辑理论的移动端快递派送路径规划方法，在Android系统的智能手机平台上，利用百度地图开发包构建符合实际派送环境的加权切换系统，同时利用线性时序逻辑语言描述多点派送任务，并将其转化为Büchi自动机，接着将切换系统与派送任务相融合，构建任务可行网络拓扑，在任务可行网络拓扑上利用Dijkstra算法搜索最优路径，然后将该路径映射回百度地图，获得离散的最优路径，最后利用百度地图开发包的定位导航功能，实现离散路径的连续化。该发明能够解决多点派送任务与派送区域受约束的问题，并保证快递员派单路径的最优性，提高快递员派送效率，实现互联网+的智慧派送。

专利名称：基于线性时序逻辑理论的仓储机器人路径规划方法      申请号：2015109731562     转让价格：面议  收藏
法律状态：已下证   类型：发明   关键词：物流仓储 机器人路径规划 时序逻辑   相似专利 发布日：2023/09/14  
摘要： 基于线性时序逻辑理论的仓储机器人路径规划方法，包括：将仓储环境建模为根据派单节点可扩展的加权切换系统；利用线性时序逻辑语言(LTL)描述仓储系统复杂的派单任务；然后，通过LTL2BA工具包将任务公式转换为Büchi自动机；将可扩展加权切换系统与Büchi自动机作笛卡尔乘积构成任务可行网络拓扑；在该拓扑上采用SPFA(Shortest Path Faster Algorithm)算法搜索最优路径，任务可行性网络拓扑包含了仓储环境信息和取货任务信息，搜索所得路径可以保证为最优路径且不受所选派单节点顺序影响；将任务可行网络拓扑上所得最优路径映射回仓储环境中对应的最优路径，并通过PC端利用无线通信将最优路径发送给仓储机器人，完成取货派单任务。

专利名称：基于线性时序逻辑的移动机器人最优巡回路径设定方法      申请号：2013102132265     转让价格：面议  收藏
法律状态：已下证   类型：发明   关键词：机器人 时序逻辑   相似专利 发布日：2023/09/14  
摘要： 一种应用于工厂巡回安全监测的基于线性时序逻辑理论的机器人最优巡逻路径设定方法，步骤如下：1)将机器人在工厂环境中的运动建模成转换系统模型。2)采用时序逻辑表达式表达待巡回监测与数据采集的区域。3)将任务需求表达式转化为区域序列可行性图表。4)构建包含工厂环境与巡回任务需求信息的可行道路图表。5)在可行道路图表上采用基于循环移位的算法搜索最优巡回路径。本发明能够使机器人实现“从A走到B并且规避障碍物”、“从A出发顺序经过B、C等多个区域最终到达D”、“无限循环访问A、B、C等多个区域并规避障碍物”等高级任务，有效解决复杂任务下的机器人路径设定问题，从而使移动机器人高效地实现多个区域的巡逻和监测任务，确保工厂生产过程的安全。

专利名称：定位片上系统时序逻辑错误、错误率计算及其应用方法      申请号：201510587267X     转让价格：面议  收藏
法律状态：已下证   类型：发明   关键词：时序逻辑   相似专利 发布日：2025/02/08  
摘要： 本发明提出一种定位片上系统时序逻辑错误、错误率的计算及其应用的方法，在定位片上系统时序错误时，在同一测试条件下，同一测试指令和/或数据通过PAD口输入P级扫描链、N级流水线以及Q级扫描链，通过控制扫描链使能信号实现对测试指令和/或数据的测试；错误率计算时根据所有的处理结果获取在该环境下测试指令和/或数据的错误率；在降低错误率时，当处理器执行应用程序中的第二指令和/或数据时，第一指令和/或数据替代第二指令和/或数据并实现第二指令和/或数据的相同功能。本发明中用户根据自身应用需要，选择用户可接受错误发生率范围内的芯片，既节约了成本，同时也能满足用户的需求。