-
公开(公告)号：CN109408363B
公开(公告)日：2022-01-11
申请号：CN201810957226.9
申请日：2018-08-22
Applicant: 南京理工大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于代数规约的Web服务单线测试用例生成方法，在使用代数规约对Web服务进行形式化描述的基础上，首先对代数规约中每条公理等式进行浮动实例化和可观察化处理，生成一组可检查浮动测试用例；然后针对每个可检查浮动测试用例，构造其带逆项测试执行图TEG‑R，用来表示测试执行序列和被测服务的状态变化；最后判断TEG‑R是否存在单线测试执行序列，若存在，则根据TEG‑R生成可检查浮动测试用例的一个单线测试执行序列。本发明解决了现有基于代数规约的测试用例生成方法无法适用于Web服务在线自动化测试的问题。
-
公开(公告)号：CN109408363A
公开(公告)日：2019-03-01
申请号：CN201810957226.9
申请日：2018-08-22
Applicant: 南京理工大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于代数规约的Web服务单线测试用例生成方法，在使用代数规约对Web服务进行形式化描述的基础上，首先对代数规约中每条公理等式进行浮动实例化和可观察化处理，生成一组可检查浮动测试用例；然后针对每个可检查浮动测试用例，构造其带逆项测试执行图TEG-R，用来表示测试执行序列和被测服务的状态变化；最后判断TEG-R是否存在单线测试执行序列，若存在，则根据TEG-R生成可检查浮动测试用例的一个单线测试执行序列。本发明解决了现有基于代数规约的测试用例生成方法无法适用于Web服务在线自动化测试的问题。
-
公开(公告)号：CN105608385A
公开(公告)日：2016-05-25
申请号：CN201511010017.6
申请日：2015-12-29
Applicant: 南京理工大学
IPC: G06F21/57
CPC classification number: G06F21/575 , G06F2221/034
Abstract: 本发明公开了一种基于嵌入式可信计算模块的嵌入式设备可信启动方法，基于可信计算理论，结合嵌入式设备的特点，在不改变嵌入式设备体系结构的前提下，设计了嵌入式可信计算模块，提出了一种适用于嵌入式设备的可信启动机制，对U-boot（Bootloader的一种）进行可信改造，使之具备文件发送和控制内核启动的功能，在Bootloader运行之前通过嵌入式可信计算模块对之进行度量，在内核启动之前使用Bootloader对内核进行度量，在系统启动后继续对系统进行可信报告并校验程序和相关数据。
-
公开(公告)号：CN113673589A
公开(公告)日：2021-11-19
申请号：CN202110926238.7
申请日：2021-08-12
Applicant: 南京理工大学
Abstract: 本发明公开了一种基于边框距离度量的标签选择自适应增量检测方法及系统，使用旧模型为数据集生成了旧类别目标的先验信息，包括类别和位置信息，在训练新的网络模型时，采用经过标签选择算法得到的伪标签进行训练，采用了跳接注意力机制学习并保留了旧类别的重要特征，再采用多尺度网络自适应的训练模型。该方法可以检测不同尺度的目标，适用于没有旧样本数据的增量目标检测。
-
公开(公告)号：CN105677766A
公开(公告)日：2016-06-15
申请号：CN201511023815.2
申请日：2015-12-30
Applicant: 南京理工大学
IPC: G06F17/30
CPC classification number: G06F16/958
Abstract: 本发明公开了一种Web服务语义的代数规约到本体描述的转换及评估方法，包括两部分：1）实现两种Web服务语义描述方法的自动转换，即代数规约到本体描述的转换；2）对1)中转换所得的本体描述进行自动评估。代数规约到本体描述的转换使得代数规约形式化方法在支持自动化测试和验证的同时，也能够支持高效的服务搜索，从而提高Web服务的功能正确性和可用性。为验证转换所得的本体描述是高质量的，提出面向Web服务语义描述的本体质量模型，采用4个客观质量标准，从4个维度构造8个度量要素，通过37个度量值来评估转换所得的本体描述。本发明提出的代数规约到本体描述的转换是可行和有效的。
-
Patent Agency Ranking
公开(公告)号：CN102354975B
公开(公告)日：2014-09-03
申请号：CN201110314090.8
申请日：2011-10-17
Applicant: 南京理工大学
IPC: H02J3/00
Abstract: 本发明公开了一种电力安全感知平台及其事件发生起源路径追溯算法。巡检人员利用该平台对电力系统进行检查，该平台的设计主要由头盔、手持PDA组成。安装在头盔上的高清摄像头采集沿途的视频数据，数据被传输到手持PDA，并被模数转换器、数据压缩处理；手持PDA通过无线传输模块接收外部传感器发送的传感数据。视频音频数据和传感数据经手持PDA发送至后台控制室，控制室利用路径追溯算法分析，针对电力系统中发生的异常事件进行分析和起源追溯。该发明提高了电力系统的检查的方便性，具有很高的社会效益和经济效益。
-
-
公开(公告)号：CN111031095A
公开(公告)日：2020-04-17
申请号：CN201911092259.2
申请日：2019-11-11
Applicant: 南京理工大学
Abstract: 本发明公开了一种基于代数规约的Web服务测试执行方法，在使用单线测试技术生成Web服务测试序列的基础上，首先对测试序列进行解析，生成待测操作序列；然后依次执行序列中的每个待测操作，若待测操作类型是服务请求，则调用相应远程待测服务，并根据返回状态信息自适应动态调整下一个服务请求；若待测操作类型是本地比较，则构造两个待比较数据的Json有序树，基于深度遍历技术进行结果比较，并根据比较结果输出测试报告。本发明解决了现有基于代数规约的测试技术无法适用于Web服务测试预言执行问题。
-
公开(公告)号：CN104572965A
公开(公告)日：2015-04-29
申请号：CN201410850827.1
申请日：2014-12-31
Applicant: 南京理工大学
CPC classification number: G06F17/30277 , G06F17/3028 , G06N3/08
Abstract: 本发明公开了一种基于卷积神经网络的以图搜图系统，该系统基于Deep Learning的卷积神经网络智能算法，构建图片知识库，在此基础上对用户输入的图片在该知识库中进行反向检索，并完善卷积神经网络模型。该系统将图片本身作为输入，提高搜索的效率和可靠性。本系统的创新之处在于其自学习性，采用基于卷积神经网络的智能算法，对知识库中图片的属性进行学习，这意味着它的初始“知识”是0，但会越学越多。因此，随着对图片搜索的次数增加，它输出的属性会变得愈发精确。
-
公开(公告)号：CN103432650A
公开(公告)日：2013-12-11
申请号：CN201210591105.X
申请日：2012-12-31
Applicant: 南京理工大学
Abstract: 本发明公开了一种基于Bayesian网络的自动麻醉控制方法，首先获取至少表明全身麻醉一个组成部分麻醉程度的目标参数，然后基于目标参数推断出病人所需的麻醉药物种类、麻醉药物剂量和注射速率等级，最后通过输液传输装置向病人输送药物。本发明的创新之处在于其自学习性，随着在对特定传感器生命监控场景中使用时间的攀升，本发明方案会变得愈发精确，该方法能学习该医生的操作模式；同时，每次手术结束后，算法都会储存趋势数据，通过统计学习方式改善麻醉控制的性能。
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.025 seconds)
