基于高斯过程偏差评估的自适应软件系统异常行为检测系统

    公开(公告)号:CN118939534A

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

    申请号:CN202410934010.6

    申请日:2024-07-11

    Applicant: 南京大学

    Abstract: 本发明公开了一种基于高斯过程偏差评估的自适应软件系统异常行为检测系统,利用高斯过程来评估自适应软件系统行为和其预期模型行为之间存在的偏差,从而提升对于系统异常行为检测的准确度和及时性。本发明的特点在于当观测数据不足以支撑对于当前系统运行状态的判断时,会通过选择合适的时机注入强度优化的主动信号。这些信号可以刺激自适应软件系统产生明确的反馈行为,从而提高系统异常行为检测的及时性和准确性。与传统异常行为检测技术相比,本发明不仅能减少检测延迟,还能提高检测精度,同时还能以较低的代价实现高效监测。

    以GeoJSON格式半结构化方式存储地理数据的MongoDB集群的地理数据读写方法

    公开(公告)号:CN104021210A

    公开(公告)日:2014-09-03

    申请号:CN201410276517.3

    申请日:2014-06-20

    Applicant: 南京大学

    CPC classification number: G06F17/30241 G06F17/30908

    Abstract: 本发明针对MongoDB集群设计了大规模地理数据存储方案,在MongoDB集群中以GeoJSON格式半结构化方式组织地理数据,使分布式高速MongoDB集群高效存储大规模地理数据成为可能。针对该地理数据存储方案,本发明提出了地理数据的读写方法以及可实现该地理数据读写方法的驱动程序,以OGR类库为地理数据读写驱动的设计架构,以GeoJSON格式半结构化的读写MongoDB集群地理数据源。本发明采用OGR函数库,在地理数据与MongoDB集群之间通过内存中构建的OGR对象建立桥梁,使针对MongoDB集群的地理数据高效读写成为可能,使得高性能地理分析算法可以运行在MongoDB数据库集群之上。

    面向人机物融合应用开发的支撑平台

    公开(公告)号:CN118132127A

    公开(公告)日:2024-06-04

    申请号:CN202410251317.6

    申请日:2024-03-05

    Applicant: 南京大学

    Inventor: 秦逸 许畅 杨嵘

    Abstract: 本发明公开了一种面向人机物融合应用开发的支撑平台,平台通过上下文一致性检测与修复服务和环境不变式交互服务来有效地识别和纠正环境上下文中的不一致性,并快速精准地检测程序上下文中的异常状态。平台通过资源管理模块将传感器资源和控制器资源接入平台并从中采集环境上下文;通过服务管理模块提供上下文服务和不变式服务,使得应用能够高效地处理上下文信息和监测异常状态;通过应用管理模块将人机物融合应用接入平台并确保应用能够在动态变化的环境中稳定运行;通过消息协同模块实现了各模块的无缝交互,确保平台的动态扩展性与响应速度。通过这些功能,平台极大地提高了人机物融合应用在处理复杂环境交互时的性能和可靠性。

    机器人软件系统运行环境状态预测方法

    公开(公告)号:CN111679970B

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

    申请号:CN202010408596.4

    申请日:2020-05-14

    Abstract: 本发明公开了一种机器人软件系统运行环境状态预测方法,包括对巡检机器人软件系统运行环境状态的实时观测,获得机器人软件系统运行环境状态变化的时序特征;根据机器人软件系统工作环境状态的变化特征,设计分块全连接网络作为前置滤波层,对环境状态变化中存在的高频抖动进行抑制;对分块全连接网络提取得到的时序特征,搭建LSTM时序模型,通过实验确定模型超参数选择,利用机器人运行期采集得到的数据样本进行模型训练,并保存训练得到的网络模型,利用得到的网络模型对机器人软件系统运行环境状态进行实时预测。本发明在机器人工作环境存在高频抖动的情况下,可以很好的保证对工作环境状态的预测精度。

    以GeoJSON格式半结构化方式存储地理数据的MongoDB集群的地理数据读写方法

    公开(公告)号:CN104021210B

    公开(公告)日:2017-02-15

    申请号:CN201410276517.3

    申请日:2014-06-20

    Applicant: 南京大学

    Abstract: 本发明针对MongoDB集群设计了大规模地理数据存储方案,在MongoDB集群中以GeoJSON格式半结构化方式组织地理数据,使分布式高速MongoDB集群高效存储大规模地理数据成为可能。针对该地理数据存储方案,本发明提出了地理数据的读写方法以及可实现该地理数据读写方法的驱动程序,以OGR类库为地理数据读写驱动的设计架构,以GeoJSON格式半结构化的读写MongoDB集群地理数据源。本发明采用OGR函数库,在地理数据与MongoDB集群之间通过内存中构建的OGR对象建立桥梁,使针对MongoDB集群的地理数据高效读写成为可能,使得高性能地理分析算法可以运行在MongoDB数据库集群之上。

    一种非确定性分离的web服务器集群伸缩方法

    公开(公告)号:CN112365099A

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

    申请号:CN202011422059.1

    申请日:2020-12-08

    Applicant: 南京大学

    Abstract: 本发明的非确定性分离的web服务器集群资源伸缩方法,包括三个步骤:步骤1、构建非确定性分离的系统模型和决策模型,在剥离非确定性的理想环境下,对系统建立精确的数学模型作为系统模型,利用Alloy建模工具得到系统状态转移矩阵构建决策模型;步骤2、环境非确定性因素处理,定义补偿系数描述由环境变化及建模误差导致的非确定性因素,利用卡尔曼滤波动态估计该补偿系数的分布;步骤3、自适应伸缩策略求取,综合模型预测控制的滚动优化思想和博弈论方法,在步骤1中获得的系统决策模型上求解最优资源伸缩策略。本发明采取关注分离的思想,将系统模型设计和非确定性因素处理进行分离,通过独立步骤处理非确定性因素对伸缩决策的影响。

    基于大疆机甲大师的信息物理综合测试床架构

    公开(公告)号:CN116501608A

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

    申请号:CN202310289507.2

    申请日:2023-03-23

    Applicant: 南京大学

    Inventor: 秦逸 许畅 毛心怡

    Abstract: 本发明涉及基于大疆机甲大师的信息物理综合测试床架构,包括应用支撑框架和环境同步执行框架,分别对信息物理融合系统中的软件支撑组件和运行环境提供执行支撑。本发明将CPS应用开发过程中的软件在环运行环境和硬件在环运行环境相结合,在保留了硬件在环的真实软硬件交互过程的同时结合软件在环虚拟环境搭建代价小、运行安全的特点,保证了CPS应用开发时软件执行过程的安全性、可观测和可操作性。

    基于误差容忍的软件行为调节方法

    公开(公告)号:CN111694595B

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

    申请号:CN202010425014.3

    申请日:2020-05-19

    Abstract: 本发明公开了一种基于误差容忍的软件行为调节方法,包括根据软件系统的运行逻辑以及需要调节的软件行为,构建控制模型;根据控制模型,设计使用误差容忍的软件行为调节回路,调节软件行为至期望目标。本发明通过引入控制理论的知识,针对控制量的实际意义,从用户使用出发,增加误差抑制设计,减少了控制量调整频率,很好的保证了整个软件系统的工作性能。

    机器人软件系统运行环境状态预测方法

    公开(公告)号:CN111679970A

    公开(公告)日:2020-09-18

    申请号:CN202010408596.4

    申请日:2020-05-14

    Abstract: 本发明公开了一种机器人软件系统运行环境状态预测方法,包括对巡检机器人软件系统运行环境状态的实时观测,获得机器人软件系统运行环境状态变化的时序特征;根据机器人软件系统工作环境状态的变化特征,设计分块全连接网络作为前置滤波层,对环境状态变化中存在的高频抖动进行抑制;对分块全连接网络提取得到的时序特征,搭建LSTM时序模型,通过实验确定模型超参数选择,利用机器人运行期采集得到的数据样本进行模型训练,并保存训练得到的网络模型,利用得到的网络模型对机器人软件系统运行环境状态进行实时预测。本发明在机器人工作环境存在高频抖动的情况下,可以很好的保证对工作环境状态的预测精度。

    结合协同控制的机器人软件模块间资源调度方法

    公开(公告)号:CN111679908A

    公开(公告)日:2020-09-18

    申请号:CN202010408598.3

    申请日:2020-05-14

    Abstract: 本发明公开了一种结合协同控制的机器人软件模块间资源调度方法,包括将整体软件系统划分为多个工作互相独立的模块,并记录各模块的资源占用、机器人对该模块的需求度等信息;考虑模块的资源占用,以及当前机器人工作状态对其的需求度等,利用单纯形法进行初次资源调度;计算各模块内的资源调整误差,并对该误差设计模块间的同步结构,设计同步补偿率,将得到的同步补偿律附加在初次资源调度结果中,得到对各模块最终的资源调度结果。本发明结合了控制工程中的控制理论,利用反馈保证系统调节的精度,并合理控制软件系统对计算环境资源的占用,保障机器人的工作性能。

Patent Agency Ranking