-
公开(公告)号：CN107220540A
公开(公告)日：2017-09-29
申请号：CN201710256845.0
申请日：2017-04-19
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于强化学习的入侵检测方法，包括对入侵检测环境进行建模，在入侵检测环境内模拟出一个马尔科夫过程，将强化学习模型用于入侵检测的分类检测环境当中，通过强化学习学习出最优的分类策略，将分类正确率作为强化学习模型中的奖赏函数，建立基于入侵检测马尔科夫过程的Bellman方程，采用基于γ折扣累计奖赏的策略评估算法计算最优解，可以确定入侵检测中正常行为和非正常行为的阈值，有利于不断地使得正常行为序列得以补充，最终提高入侵检测的检测率，降低误报率和漏报率，最终提升整个入侵检测系统的性能。
-
公开(公告)号：CN106951366A
公开(公告)日：2017-07-14
申请号：CN201710137147.9
申请日：2017-03-09
Applicant: 南京邮电大学
IPC: G06F11/36
CPC classification number: G06F11/3668
Abstract: 本发明公开一种基于程序切片技术的C语言死代码检测方法，主要包括步骤：将源代码中的输出语句与所述输出语句中的变量集合组成切片准则 ，对源代码分别进行静态后向程序切片分析和动态后向程序切片分析，得到的分析结果经对比，得出是否存在死代码的结论。本发明能够有效的检测出C语言代码中包含的死代码语句，同时提高了检测的准确率和效率。
-
公开(公告)号：CN103970845B
公开(公告)日：2017-03-22
申请号：CN201410175921.1
申请日：2014-04-28
Applicant: 南京邮电大学
Abstract: 本发明给出了一种基于程序切片技术的网页过滤方法。该方法包括HTML依赖关系的生成、HTML切片的生成、嵌套在HTML里面的JavaScript依赖关系的生成、JavaScript切片这几个功能模块。以客户端网页的脚本源代码为输入，对脚本源代码进行分析，根据HTML中的标签中的依赖关系生成基于HTML的依赖图，之后跟据这个依赖图生成HTML切片。之后再抽取嵌套在HTML中的JavaScript代码，对JavaScript代码的对象级、方法级、语句级代码做出依赖关系的构建，根据依赖关系构造出相对应的依赖图，最后根据切片准则，用图的可达性算法计算出切片。利用这些分层切片对网页的脚本代码进行层层切片处理，筛选出自己感兴趣的内容，过滤掉不感兴趣的或者不良的内容，以达到网页过滤的效果。
-
公开(公告)号：CN105700893A
公开(公告)日：2016-06-22
申请号：CN201610098877.8
申请日：2016-02-23
Applicant: 南京邮电大学
CPC classification number: G06F8/433 , G06F8/75 , G06F11/362 , G06F11/3668
Abstract: 本发明公开一种基于改进系统依赖图的LLVM IR程序切片方法。首先，构造出程序依赖图；然后利用图可达性算法对单个程序的LLVM IR语句进行切片；再根据程序间的调用关系、实参与形参之间的对应关系，将对单个程序的分析扩展到多个程序中去；接着利用新的方法来构造传递依赖边，进而完成系统依赖图的构建；最后，利用两阶段图形可达性算法对系统依赖图进行遍历，完成对多个程序的切片。本发明使切片的时间复杂度大大降低。
-
公开(公告)号：CN105677438A
公开(公告)日：2016-06-15
申请号：CN201610008596.9
申请日：2016-01-07
Applicant: 南京邮电大学
IPC: G06F9/45
CPC classification number: G06F8/44
Abstract: 本发明公开了一种利用编译器对文件中计算公式进行自动化计算的方法，该方法使开发人员便于从文件中读取和编译计算公式，降低了开发人员编译文件中计算公式的难度。本发明通过读取文件中的计算公式，将其存储在内存中，通过程序将计算公式还原到return语句后，利用Visual Studio自带的编译器对计算公式进行自动化计算。该方法帮助了程序开发人员，将计算公式的任务交给了程序的编译器执行，减轻了他们的工作负担，大大提高了工作效率。
-
Patent Agency Ranking
公开(公告)号：CN103475538B
公开(公告)日：2016-04-13
申请号：CN201310391101.1
申请日：2013-09-02
Applicant: 南京邮电大学
Abstract: 本发明是一种基于多接口的自适应的云服务测试方法，其中云平台提供的软件测试是一种新型的测试模式，它不同于一般的软件测试，主要区别是在云平台提供一种在线环境，能够并发地同时处理大量的任务集，并把测试的结果通过网络返回到客户端。主要目的是：在整个过程中主要是完成用户任务分类上传，以节约云平台按客户要求聚类的时间，以及对聚类任务进行小粒度的划分和任务的合理调度，使得云平台能够合理分配资源，实现负载均衡，从而达到在最大程度上提高云测试的效率的目标。
-
公开(公告)号：CN102710460B
公开(公告)日：2015-03-04
申请号：CN201210147994.0
申请日：2012-05-14
Applicant: 南京邮电大学
IPC: H04L12/26
Abstract: 一种基于单子技术的Web服务测试数据自动生成方法主要解决Web服务测试所面临的动态灵活性和可组合重用性的挑战。最主要的是测试用例的单子表示、测试用例的自动生成和Web服务测试的运行这三个部分。具体表现为解析WSDL文档，从其Schema中获得相关输入类型信息，再通过函数makeTestCase自动获得某个服务操作的测试用例，最后将其打包成HTTP包发送给服务端，服务端对HTTP包中的SOAP消息进行解析并返回调用服务的结果。经大量实验数据检验证明本专利的技术1.能根据WSDL正确发送SOAP测试消息并获取返回信息，同时能自动生成其中的测试数据；2.测试时间和测试功率方面比以往的技术更具有优势。
-
公开(公告)号：CN103973483A
公开(公告)日：2014-08-06
申请号：CN201410173974.X
申请日：2014-04-28
Applicant: 南京邮电大学
Abstract: 本发明提出了一种基于网论的网络服务组合的分析方法，该分析方法从Web服务组合的Petri网建模入手，对建模后的Web服务组合进行有界性、可达性及活性分析，构建基于Petri网技术的Web服务组合质量的分析方法，该方法中运用Petri网分析技术，从可达标识图和覆盖图两个分析方法入手，分析Web服务组合的有界性、可达性及活性，从而确定Web服务组合是否正确，能为用户更好地服务。
-
公开(公告)号：CN103970845A
公开(公告)日：2014-08-06
申请号：CN201410175921.1
申请日：2014-04-28
Applicant: 南京邮电大学
CPC classification number: G06F17/30896 , G06F8/40
Abstract: 本发明给出了一种基于程序切片技术的网页过滤方法。该方法包括HTML依赖关系的生成、HTML切片的生成、嵌套在HTML里面的JavaScript依赖关系的生成、JavaScript切片这几个功能模块。以客户端网页的脚本源代码为输入，对脚本源代码进行分析，根据HTML中的标签中的依赖关系生成基于HTML的依赖图，之后跟据这个依赖图生成HTML切片。之后再抽取嵌套在HTML中的JavaScript代码，对JavaScript代码的对象级、方法级、语句级代码做出依赖关系的构建，根据依赖关系构造出相对应的依赖图，最后根据切片准则，用图的可达性算法计算出切片。利用这些分层切片对网页的脚本代码进行层层切片处理，筛选出自己感兴趣的内容，过滤掉不感兴趣的或者不良的内容，以达到网页过滤的效果。
-
公开(公告)号：CN103218414A
公开(公告)日：2013-07-24
申请号：CN201310100798.2
申请日：2013-03-26
Applicant: 南京邮电大学
Abstract: 一种网络服务交互行为形式化建模和死锁定位方法，对现有的规则进行分类，并对各分类进行扩充；对尚不存在的规则进行建立，使转换规则数据库能够适应快速发展的形式化描述语言。介于现有的建模工具需要人工参与，不能实现自动建模，并且整个建模过程对用户是不可见的，如果流程出现错误，用户无法确定异常发生的位置。利用扩充或建立得到的转换规则数据库，对形式化建模语言描述的网络服务交互行为进行自动建模，并选取具有代表性的案例对建立的模型进行验证，证明模型的正确性以及转换规则的正确性。采用前向查找方法对出现异常的环节进行重现和定位，实现建模、验证、定位全自动。
-
-
-
-
-
-
-
-
-
Search Results
222
records
(took 0.036 seconds)
