-
-
公开(公告)号：CN104123178A
公开(公告)日：2014-10-29
申请号：CN201410358441.9
申请日：2014-07-25
申请人： 南京大学
IPC分类号： G06F9/46
摘要： 本发明是一种基于图形处理器的并行化地检测约束的方法，步骤：1)以量词为分割点，将一条约束分割成若干处理单元，通过调度这些处理单元，消除检测过程中的递归并最大化并行度；2)根据当前的处理单元和信息集合，产生相应数量的GPU线程，每个GPU线程根据自身的线程号计算其对应的变量赋值，并处理在此赋值下的处理单元。一个被赋值的处理单元称为一个并行计算单元，并行计算单元是能在GPU中并行处理的最小单元；3)索引-结果池的二层次存储策略，所有并行计算单元的节点产生的非定长结果存储在结果池中，而在索引中存储节点产生的结果在结果池中的起始地址和长度，该策略“串行分配空间，并行写结果”，能达到较高的写速度。
-
公开(公告)号：CN102880493A
公开(公告)日：2013-01-16
申请号：CN201210362752.3
申请日：2012-09-25
申请人： 南京大学
IPC分类号： G06F9/445
摘要： 本发明公开了一种构件间动态依赖关系的自动分析方法，该方法在程序运行时，能自动计算程序在当前执行环境下精确的动态依赖关系。该方法，在程序运行前，通过静态分析的方法构建程序的动态依赖自动机。当程序运行时，其对应的动态依赖自动机自动运行，同时根据当前的执行情况自适应地更新程序的动态依赖关系。该方法的所有工作都是自动完成，与已有的方法相比，在开发效率和正确性上有了很大的提高。利用此项方法，开发了Java构件间动态依赖关系的自动抽取工具——DDET。DDET对Java字节码直接进行分析和操作，对于任意一个支持动态更新的Java构件系统，运行时可自动获得其精确的依赖关系。
-
公开(公告)号：CN101488903A
公开(公告)日：2009-07-22
申请号：CN200910024502.7
申请日：2009-02-18
申请人： 南京大学
摘要： 本发明公开基于统一分类接口的数据中心自动化资源管理系统及方法，系统包括多个分属应用所有者与资源所有者的资源，统一资源管理接口、资源池管理器和应用管理器，应用所有者与资源所有者的每个资源都使用统一资源管理接口来封装各种异构的资源，若干应用所有者资源经各自的统一资源管理接口连接应用管理器，应用管理器与资源池管理器之间通信用来申请或释放资源所有者的资源；资源池管理器通过统一资源管理接口与资源所有者的资源连接用于提供或接受释放资源。本发明与现有的技术相比：服务在运营过程中，除了一些特别严重的突发事件，系统可以做到很高的自动化程度，而且也很能容易支持各种上层的决策系统。
-
公开(公告)号：CN118939534A
公开(公告)日：2024-11-12
申请号：CN202410934010.6
申请日：2024-07-11
申请人： 南京大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种基于高斯过程偏差评估的自适应软件系统异常行为检测系统，利用高斯过程来评估自适应软件系统行为和其预期模型行为之间存在的偏差，从而提升对于系统异常行为检测的准确度和及时性。本发明的特点在于当观测数据不足以支撑对于当前系统运行状态的判断时，会通过选择合适的时机注入强度优化的主动信号。这些信号可以刺激自适应软件系统产生明确的反馈行为，从而提高系统异常行为检测的及时性和准确性。与传统异常行为检测技术相比，本发明不仅能减少检测延迟，还能提高检测精度，同时还能以较低的代价实现高效监测。
-
公开(公告)号：CN113296834B
公开(公告)日：2023-11-03
申请号：CN202110557657.8
申请日：2021-05-21
申请人： 南京大学
IPC分类号： G06F8/74
摘要： 本发明公开一种基于逆向工程的安卓闭源服务类型信息提取方法，包括以下内容：从安卓ROM中提取出服务编译产物所处文件；结合服务所处应用或进程的配置信息，从这些文件中提取出待测服务的通信序列化函数的字节码或ARM汇编代码；还原源代码中的控制流结构，以提取出服务接口的编码与对应的序列化指令串；从序列化指令串中还原出Parcel序列化API调用，以此推断出服务接口参数与返回值的类型信息。本方法可自动化地从安卓系统的编译产物中提取出闭源服务类型信息，覆盖应用服务、Java系统服务与Native系统服务，通用性强，类型模型准确度高。提取出的闭源服务类型信息，有助于对这些服务进行更高效地测试与漏洞挖掘。
-
公开(公告)号：CN116150767A
公开(公告)日：2023-05-23
申请号：CN202310184920.2
申请日：2023-03-01
申请人： 南京大学
摘要： 本发明公开一种基于对抗攻击的自动驾驶连续测试方法，给定端到端自动驾驶软件作为测试对象，以图片作为输入，输出偏转角度用以控制虚拟汽车，设置输入图片中billboard区域为测试区域，设置期望行驶轨迹为测试目标；定位测试对象当前所处位置，基于测试目标，计算测试对象的期望偏转角；定位输入中的测试区域，添加高斯扰动噪声以模拟环境因素的影响，计算关于输入图片的梯度；基于子梯度迭代更新测试对象的输入；提取并使用仿射变换和插值变换将测试区域图像转换成billboard尺寸，并输入至虚拟摄像头，最终输出至测试场景中的billboard上；基于反馈信息和控制信息完成连续测试。本发明提高了以机器学习和深度学习为基础的自动驾驶软件的鲁棒性和安全性。
-
公开(公告)号：CN113055465B
公开(公告)日：2022-04-22
申请号：CN202110263875.0
申请日：2021-03-11
申请人： 南京大学
IPC分类号： H04L67/51 , H04L67/133 , H04L41/082 , H04L41/0893 , H04L67/63 , H04L67/56 , G06F8/65 , G06F8/71 , G06F9/46
摘要： 本发明公开一种支持事务一致性的微服务动态更新方法，属于软件维护技术领域，包括以下内容：流量代理的插入以及支持事务一致性的动态更新流程；其中通过采用插入流量代理的方式，对用户请求进行接管，拦截并提取出其中的分布式事务信息，添加对应的分布式事务标识，并对其进行管理；支持事务一致性的动态更新流程描述如何从新版本上线到撤销旧版本，对目标服务进行动态更新的同时保证系统的持续可用性。本方法在微服务动态更新方面，相比较于常见的部署方案，在满足一致性要求的同时，在及时性和干扰性两方面取得了较好的平衡，可应用于不同的微服务系统，有较高的应用价值。
-
公开(公告)号：CN110096323A
公开(公告)日：2019-08-06
申请号：CN201910248660.4
申请日：2019-03-29
申请人： 南京大学
摘要： 本申请提供一种并行化安卓应用UI自动探索方法，系统包括控制设备和一个以上测试设备，方法包括：控制设备从任务队列中取出待执行的探索任务，将该探索任务分配给空闲测试设备；空闲测试设备接收到该探索任务后，进入待探索activity，在待探索activity内持续执行输入事件直至达到预设条件；控制设备记录完成待探索activity的UI探索任务的过程中的UI跳转图，并在该过程中触发新的activity后生成新的activity的UI探索任务并将其放入所述任务队列中；当任务队列中无待执行的探索任务且各测试设备均已完成各自的探索任务时，控制设备拼接记录的各activity的UI跳转图。如此，极大提高了UI遍历的效率。
-
公开(公告)号：CN106095991B
公开(公告)日：2019-07-09
申请号：CN201610454184.8
申请日：2016-06-21
申请人： 南京大学
IPC分类号： G06F16/21
摘要： 本发明公开了一种自动生成从关系型数据库向MongoDB数据库数据迁移的代码的方法，它包括以下步骤：步骤一、从配置文件中读取运行参数，并从关系型数据库中读取元数据；步骤二、根据元数据生成模型；步骤三、根据需求定制模型；步骤四、根据模型和模板生成代码。本发明的目的是辅助程序员进行从关系型数据库向MongoDB数据库迁移，主要是数据上的迁移。相比于自写脚本，本发明更具有一般性，相比于提取转化转载(ETL)工具，本发明在数据迁移之外也有部分代码迁移的辅助。
-
-
-
-
-
-
-
-
-
搜索结果
97 条记录 (耗时 0.024 秒)
