-
公开(公告)号：CN118939845A
公开(公告)日：2024-11-12
申请号：CN202410983777.8
申请日：2024-07-19
Applicant: 中国科学技术大学 , 支付宝(杭州)信息技术有限公司
IPC: G06F16/903 , G06F16/901
Abstract: 本说明书一个或多个实施例提供一种查询优化方法和电子设备、存储介质、计算机程序产品，该方法包括：获取针对图数据库的原始查询语句；根据所述图数据库中定义的模式信息schema对所述原始查询语句指示的查询条件进行优化，以补充所述查询条件中对顶点和/或边所缺失的至少一项约束。
-
公开(公告)号：CN119717833B
公开(公告)日：2025-05-13
申请号：CN202510232986.3
申请日：2025-02-28
Applicant: 中国科学技术大学
Abstract: 本发明公开一种基于因子图的不确定环境下运动规划系统和方法，属于自动驾驶、运动规划技术领域。系统包括感知模块、地图与定位模块、全局路径规划模块、局部路径规划模块以及控制模块，其中，感知模块用于获取障碍物信息，地图与定位模块用于提供自车位置信息，全局路径规划模块用于规划出一条从自车位置到达目标点的全局路径，局部路径规划模块用于采用因子图方法进行规划，输出自车未来若干秒的轨迹，控制模块用于基于局部规划模块给出的未来若干秒的轨迹，根据自车位置信息，计算出加速度和转角，发送给车辆底盘或者模拟器。本发明能够实时处理自动驾驶系统中感知和预测的不确定性，从而在复杂的交通环境中生成更为安全、合理的行驶轨迹。
-
公开(公告)号：CN119336334B
公开(公告)日：2025-04-04
申请号：CN202411326066.X
申请日：2024-09-23
Applicant: 中国科学技术大学
Abstract: 本发明涉及深度学习技术领域，公开了一种面向部分参数为常量的深度学习模型的编译优化方法；本发明解决了传统编译技术中难以充分利用张量形状API信息进行常量优化的问题。通过外部类型推断和常量化替换，本发明能够准确识别和优化常量参数，优化后的tiling参数被嵌入到核函数中，解决了运行时不必要的计算开销问题，最终达到了提升核函数执行效率的效果。本发明通过常量传播、死代码删除和公共子表达式优化等优化步骤，有效减少了冗余计算和无用代码，解决了核函数执行效率低下的问题，最终达到了加速深度学习模型推理过程的效果。
-
公开(公告)号：CN119717833A
公开(公告)日：2025-03-28
申请号：CN202510232986.3
申请日：2025-02-28
Applicant: 中国科学技术大学
Abstract: 本发明公开一种基于因子图的不确定环境下运动规划系统和方法，属于自动驾驶、运动规划技术领域。系统包括感知模块、地图与定位模块、全局路径规划模块、局部路径规划模块以及控制模块，其中，感知模块用于获取障碍物信息，地图与定位模块用于提供自车位置信息，全局路径规划模块用于规划出一条从自车位置到达目标点的全局路径，局部路径规划模块用于采用因子图方法进行规划，输出自车未来若干秒的轨迹，控制模块用于基于局部规划模块给出的未来若干秒的轨迹，根据自车位置信息，计算出加速度和转角，发送给车辆底盘或者模拟器。本发明能够实时处理自动驾驶系统中感知和预测的不确定性，从而在复杂的交通环境中生成更为安全、合理的行驶轨迹。
-
公开(公告)号：CN113885854B
公开(公告)日：2024-10-01
申请号：CN202111105813.3
申请日：2021-09-22
Applicant: 中国科学技术大学
Abstract: 本发明涉及一种Python外部函数的静态类型推断方法及系统，其方法包括：步骤S1：对Python/C多语言项目进行语言分离；对于分离后得到的C语言文件，识别其中的外部函数声明，分析每个外部函数声明对应的外部函数实现的参数类型转换和返回类型转换；步骤S2：根据所述外部函数声明、参数类型转换和返回类型转换进行类型推断，同时对外部函数声明和对应外部函数实现进行无参函数声明一致性的检查。本发明提供的方法可以推断外部函数的类型签名，增强已有的Python静态类型推断工具，使其能够分析程序中的外部函数调用，并检查外部函数声明与其实现不一致的漏洞。
-
Patent Agency Ranking
公开(公告)号：CN118470598A
公开(公告)日：2024-08-09
申请号：CN202410596713.2
申请日：2024-05-14
Applicant: 中国科学技术大学
Abstract: 本发明公开了基于运动向量的监控视频流低冗余推理方法，涉及图像处理技术领域，包括如下步骤：对获取到的视频流进行部分解码，并将部分解码后的帧特征提取运动向量信息；将运动向量信息和冗余反馈的数据特征输入到移动对象检测器中，当存在移动对象时，基于视频解码器对所获取到的视频流进行全解码，得到解码图像；基于包含运动物体的区域MOR对解码图像进行区域感知划分，降低空间维度冗余，得到一至多个MOR盒子；基于自适应推理算法对MOR盒子进行推理，得到推理结果，并将推理结果与解码图像合并得到低冗余推理后的图像信息；通过冗余反馈将推理结果中存在的时间冗余和空间冗余反馈到移动对象检测器；该低冗余推理方法提高了整体的处理效率和速度。
-
公开(公告)号：CN118093130A
公开(公告)日：2024-05-28
申请号：CN202410227600.5
申请日：2024-02-29
Applicant: 中国科学技术大学
Abstract: 本公开属于GPU任务调度技术领域，具体涉及一种GPU任务调度中间件、方法及装置。其中所述方法应用于所述中间件，包括：在多个任务链中确定当前执行的任务链，在所述当前执行的任务链中获取所述GPU任务,将所述GPU任务映射到一个工作线程上，其中，所述任务链由执行特定功能所需的GPU任务组成，在所述中间件中，所有与GPU相关的工作线程被放置在同一个进程内；在所述工作线程上，根据第一预设策略确定是否执行所述GPU任务；当执行所述GPU任务时，基于调度逻辑获取实现所述GPU任务的GPU驱动以实现受控内核发射，其中，所述调度逻辑至少包括所述内核的优先级设定以及基于优先级的内核发射，内核分组发射和延迟发射。
-
公开(公告)号：CN116012633A
公开(公告)日：2023-04-25
申请号：CN202111217041.2
申请日：2021-10-19
IPC: G06V10/764 , G06N20/00
Abstract: 本申请实施例提供一种算子优化方法及相关设备，涉及人工智能领域；该方法中，先对待调优算子的入参的先验取值进行采样处理之后，可以得到至少一种取值组合作为入参的取值组合集合；再基于入参的取值组合集合进行算子调优处理，以得到取值组合集合中每个取值组合对应的调度策略。依据取值组合集合对应的调度策略对分类模型进行训练，以得到待调优算子的调度分类模型，该调度分类模型用于为待调优算子的不同入参取值分配不同的调度策略。本申请的算子优化方法依据待调优算子的入参的先验取值获得分类模型的训练数据之后，再完成对调度分类模型的训练，进而可以依据调度分类模型对输入未知的待调优算子进行调优，即实现动态参数算子调优。
-
公开(公告)号：CN113010158B
公开(公告)日：2022-09-06
申请号：CN202110290814.3
申请日：2021-03-18
Applicant: 中国科学技术大学
Abstract: 本发明提出一种纯状态的触发动作编程范式到事件驱动系统的转换方法，包括：步骤1：解析用户输入的SS(状态‑状态)规则集合并将解析结果传给动作序列信息生成模块；步骤2：动作序列信息生成模块将同一动作实体的SS规则序列按照期望状态组分类，计算实体要到达X指定状态时所有可能的动作序列和每种动作序列的执行前提Cj，得到二元组集合PairsX，求出与规则组不兼容的条件ΨX；步骤3：事件筛选模块根据实体能力抽象W对ΨX做关键值分析，生成候选事件并筛选；步骤4：EE(事件‑事件)中间表示生成模块接受筛选后的事件集与PairsX作为输入，对PairsX中的每个元组产生动作序列为的EE规则集；步骤5：经规则合并和可读性化简后由EE规则集生成器汇总输出，实现从SS规则得到对应的EE规则。
-
-
-
-
-
-
-
-
-
Search Results
59
records
(took 0.094 seconds)
