-
公开(公告)号：CN110532300A
公开(公告)日：2019-12-03
申请号：CN201910811776.4
申请日：2019-08-30
Applicant: 南京大学
IPC: G06F16/2458 , G06F16/248 , G06F16/54 , G06F16/55 , G16H10/60
Abstract: 本发明公开了一种用于人工智能数据分析的大数据高保真可视化方法。针对大数据量、高维度的向量型数据集提供可视化高保真展示，在人工智能领域中用于分析数据的内部规律与数据特征。为了保证分析效果的准确性，本发明引入了高保真可视化技术，该技术在保留了原始数据可视化特征的基础上缩减了实际可视化的操作数据规模，使可视化平台既能易于操作、高效运行，又能准确还原原始数据效果。本发明通过引入基于频数分布的高保真双向抽样算法来实现这样的可视化技术，从而使高维度大数据的可视化在较低配置的通用硬件平台上得以有效实施。本发明属于人工智能和数据科学领域。
-
公开(公告)号：CN108829438A
公开(公告)日：2018-11-16
申请号：CN201810727406.8
申请日：2018-07-05
Applicant: 南京大学
Abstract: 本发明基于深度学习与程序合成的C/C++程序缺陷自动修复方法，输入带有缺陷的C/C++程序、错误定位信息、程序需要满足的规约以及满足相同规约正确程序集，通过学习正确程序中的书写结构，建立一个正确书写结构模型；根据错误定位信息，将错误点之前的代码结构作为模型的输入，预测错误点的书写结构，扩展成修复候选项集，并组织成选择表达式的形式；使用程序合成方法，将带有选择表达式的程序和该程序需要满足的规约转化为逻辑表达式，使用约束求解器，在设定的时间内进行求解；根据每个选择表达式的选项，输出最终的C/C++代码，得到修复后程序。本方法在多项式的时间复杂度内修复C/C++程序常见缺陷，保证修复后程序正确性。
-
公开(公告)号：CN108228187A
公开(公告)日：2018-06-29
申请号：CN201810001948.7
申请日：2018-01-02
Applicant: 南京大学
IPC: G06F8/41
Abstract: 本发明提出了一种数值程序的全局优化方法，利用符号执行技术从源程序中抽取用于表述路径约束条件以及数值计算过程的代数表示。并分析每个代数表示，通过运用不同地代数变换规则将其转换成数值计算误差更小的代数形式。最终把每个代数表示转成相应的代码片段，并将它们组合生成目标程序。本发明具有以下优势：所有过程均为自动化过程，无需人为干预；程序编写者可以更专注于业务逻辑，而无需关心与数值分析相关的细节操作。这样既提高了开发效率，又使代码逻辑直观易懂，易于维护。
-
公开(公告)号：CN108021362A
公开(公告)日：2018-05-11
申请号：CN201711392701.4
申请日：2017-12-21
Applicant: 南京大学
Abstract: 本发明公开了基于XACML访问控制机制的Android应用访问控制代码生成方法，给定一个Android应用的功能实现代码，以及描述其行为和资源的访问控制需求的XACML策略、刻画其活动的UML活动图模型，能够为需要访问控制授权的行为和资源生成满足访问控制策略的代码，并插入到Android应用源代码中相应位置，使其成为一个完整的Android应用系统。本发明所述的方法使用XACML语言描述访问控制策略，可以更细粒度地对访问控制策略进行定义，对应用系统的访问控制需求可以进行更具体的描述。本方法通过生成访问控制代码的方式，实现了访问控制逻辑的产生和复用，降低了应用系统的开发人员的工作量和错误率。
-
公开(公告)号：CN107436773A
公开(公告)日：2017-12-05
申请号：CN201610353876.3
申请日：2016-05-25
Applicant: 全球能源互联网研究院 , 国网四川省电力公司 , 国家电网公司 , 南京大学
IPC: G06F9/445
CPC classification number: G06F9/4451
Abstract: 本发明提供一种安卓的基于规则的场景自适应方法，基于配置文件中的规则建立方法-场景映射关系，在运行时获取当前的场景状态，从而查找映射关系选取需要执行的方法，使应用能够根据规则在运行时做出功能上的调整，以适应当前的场景，例如电量、网络情况等的适配。本发明实现的基于规则的场景自适应方法，使应用能够根据当前场景进行功能的自适应，提高了应用的人性化和交互程度，同时这种方法减轻了开发人员的负担，代码简洁易懂，可维护性强，调试方便灵活，具有较高的实用性。
-
Patent Agency Ranking
公开(公告)号：CN103561308B
公开(公告)日：2016-08-17
申请号：CN201310543036.X
申请日：2013-11-05
Applicant: 南京大学
IPC: H04N21/422 , H04M1/725 , H04N21/643
Abstract: 本发明提出一种智能手机遥控智能电视的交互方法，以解决智能手机遥控智能电视过程中用户视觉和记忆负担过重问题。该发明方法在智能手机和智能电视上设立交互模块，这些模块用于通信、操作控制或显示处理，智能手机通过无线信道对智能电视进行控制，实现对智能电视视频播放的操作和信息分享。本发明方法能够将智能手机遥控智能电视过程中的视线从手机屏幕上解脱出来，增强智能手机和智能电视之间的交互，解决现有智能电视遥控设备的不足，减少遥控设备的生产成本。
-
公开(公告)号：CN105808369A
公开(公告)日：2016-07-27
申请号：CN201610184888.8
申请日：2016-03-29
IPC: G06F11/07
CPC classification number: G06F11/0727 , G06F11/0784 , G06F11/0787
Abstract: 本发明针对内存泄漏缺陷，提出一种基于符号执行的内存泄漏检测方法，首先对于被测试的源代码，使用静态分析工具处理，得到静态内存泄漏警报；然后，把用源代码和内存泄漏警报，同时输入插桩器，得到插桩后的代码。接着，把插桩后的代码输入测试用例生成模块，生成大量测试用例并执行所有测试用例。每个测试用例运行结束后都有对目标内存对象泄漏情况汇报，最后综合所有测试执行的输出，对内存泄漏测试结果进行判定。本方法解决了静态内存泄漏分析的误报问题和动态测试的漏报问题，并利用符号执行技术生成测试用例，减少了静态分析内存泄漏结果的人工验证工作。提高了动态执行的效率。
-
公开(公告)号：CN103235729B
公开(公告)日：2016-03-16
申请号：CN201310135857.X
申请日：2013-04-18
Applicant: 南京大学
IPC: G06F9/445
CPC classification number: G06F8/35
Abstract: 本发明提出的一种基于代码变更的软件模型同步方法，该方法从有变化的代码中将非实质变更、非本质变更、非相关变更的代码过滤出去，获得软件模型相关的变更代码，对软件模型与其相关的变更代码进行匹配，建立模型中的元素与代码中的元素之间的对应关系，将得到的代码变更信息、模型中的元素与代码中的元素之间的对应关系翻译为更新操作，产生新模型，实现模型同步。本发明可以集成在代码版本管理系统中，能够通过预定义规则，对软件模型进行自动或半自动更新，保证软件模型与代码的一致性。
-
公开(公告)号：CN103294594B
公开(公告)日：2016-01-06
申请号：CN201310165634.8
申请日：2013-05-08
Applicant: 南京大学
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明给出一种基于测试的静态分析误报消除方法，能够增强软件静态分析技术的可用性，降低人工确认和检查静态分析报告的时间和人力成本。利用测试技术来在运行时收集程序信息，与静态分析报告中涉及的目标路径和目标缺陷相互印证，确认缺陷或消除误报。本发明首先读取以基于可扩展标记语言的元数据交换格式保存的静态分析报告文件，从中解析出目标缺陷的信息；对每一条特定缺陷的静态分析警报，采用混合执行的思想对程序进行持续的具体执行、符号执行以及约束求解，在这一过程中根据不同缺陷的特征建模，收集运行时信息；使用上一步获取的运行时信息确认是否发生该缺陷，或判断该静态分析警报是一个误报；迭代直到所有静态分析警报被处理完毕。
-
公开(公告)号：CN103279631A
公开(公告)日：2013-09-04
申请号：CN201310264462.X
申请日：2013-06-27
Applicant: 南京大学
IPC: G06F17/50
Abstract: 本发明提供了一种设计模式制导的爪哇代码评审方法，用户首先要提供待评审的爪哇（Java）程序的源代码及其设计时信息，对设计时信息中的类图进行分析，提取出设计模式信息，生成设计模式的各个参与角色的对应关系，根据该信息，利用预定义的规则模板，将规则模板实例化为一组应该在代码上满足的约束规则，读入这些规则对待评审的Java源代码的抽象语法树进行分析，判断其实现是否满足了设计时的约束，对于那些不满足约束的情况给出提示。本发明能够自动的对代码进行评审，减少整个评审过程中人工检查代码的工作量，提高代码的评审效率。
-
-
-
-
-
-
-
-
-
Search Results
98
records
(took 0.029 seconds)
