-
公开(公告)号：CN113801921A
公开(公告)日：2021-12-17
申请号：CN202111001495.6
申请日：2021-08-30
IPC: C12Q1/6844
Abstract: 本发明公开了一种利用核卫星结构多联检测miRNA的方法，包括如下步骤：(1)取出磁珠，用12.5mM Mg2+加入Biotin DNA并在旋转仪上旋转后，取下用12.5mM Mg2+洗涤，并定容；(2)已修饰DNA的金球与三种烷基硫醇，按照浓度比1：3000的比例混合并在摇床上以20℃反应，然后通过在离心机中离心1小时后吸取上清液来去除过量未连接的烷基硫醇分子；(3)加入已修饰烷基硫醇分子mass tag的金球于磁珠中并反应一段时间后，进行MALDI检测；(4)链置换反应。本发明通过MALDI质谱测试，可以检测出样品中含有的miRNA的种类，并且可以同时独立的检测3种miRNA的种类与含量多少。
-
公开(公告)号：CN106021103B
公开(公告)日：2019-01-04
申请号：CN201610323917.4
申请日：2016-05-16
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明提出的一种基于代码变更的移动应用测试脚本自动维护方法，包括以下步骤：步骤1、代码变更分析：分析新旧版本代码中产生变化的代码，进行过滤后，获取导致界面行为模型产生变更的代码变更；步骤2、模型变更分析：利用代码和模型中元素的对应关系对模型进行行为变更分析，得到行为变更信息以及模型变更信息，将变更应用在模型中，得到新模型；步骤3、脚本变更修复：将脚本语句抽象为事件序列，根据行为变更信息、模型变更信息，修复和更新脚本对应的事件序列，得到能够正常使用的新脚本。对受到影响的脚本中的事件序列进行自动的维护和更新，最终得到可以应用在新版本中的脚本，以减轻测试人员维护脚本的负担。
-
公开(公告)号：CN103870391B
公开(公告)日：2016-05-11
申请号：CN201410055286.3
申请日：2014-02-18
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明提出一种基于路径片段频谱的符号执行搜索方法，该方法引入路径片段频谱的概念，不同的路径片段频谱从各个角度分析程序执行的行为，以获得不同层次的程序行为分析，构成程序行为的框架。该方法通过对符号执行过程中的程序路径频谱数据进行分析，指导符号执行探索当前状态下程序中探索较少的部分，以获得更高的程序覆盖度和更好的查错能力。本发明可以集成在各种符号执行工具中，通过调整路径片段的长度来指导符号执行以不同精度探索程序的状态空间。
-
公开(公告)号：CN103476033B
公开(公告)日：2016-04-06
申请号：CN201310456973.1
申请日：2013-09-25
Applicant: 南京大学
Abstract: 本发明给出一种基于模型检验的无线传感器网络安全协议验证方法，用时间自动机所组成的状态迁移系统表示无线传感器网络安全协议，用模态/时序逻辑公式表示无线传感器网络中安全协议所需满足的条件，将对无线传感器网络安全协议验证转化为验证状态迁移系统是否为公式的一个模型。本发明在安全协议验证过程中充分考虑了无线传感器网络的特性，在模态/时序逻辑公式中加入时钟约束条件，能够对无线传感器网络安全协议进行全面的验证。
-
公开(公告)号：CN103281160B
公开(公告)日：2016-01-20
申请号：CN201310215420.7
申请日：2013-05-31
Applicant: 南京大学
Abstract: 本发明给出一种控制器局域网帧传输的验证方法，该方法首先将控制器局域网帧传输过程抽象成一个有穷状态机模型，在此模型基础上加上非负实数时钟约束条件建立时间自动机模型，并通过在可达性和死锁性质上的模型检验，保证了上述模型的正确性；再根据所建的时间自动机模型，设定控制器局域网在帧传输时的系统参数，对其分别进行模拟，获得影响帧传输性能的系统参数；最后根据影响帧传输性能的系统参数，对控制器局域网帧传输过程进行模型检验，将结果反馈给用户。本发明综合运用模拟和模型检验技术，使得对控制器局域网帧传输的验证更全面，提高了控制器局域网帧传输验证效率，有助于改进控制器局域网帧传输方案。
-
Patent Agency Ranking
公开(公告)号：CN103312851B
公开(公告)日：2015-05-13
申请号：CN201310213761.0
申请日：2013-05-31
Applicant: 南京大学
Abstract: 本发明给出一种智能手机应用交互界面程序可用性测试方法，该方法不再需要人工记录用户操作手机程序的工作，通过在应用程序中嵌入少量的代码，在用户操作手机的过程中将用户操作事件上传到服务器，测试人员再根据收集到的数据通过有限状态机进行分析。本发明在智能手机应用交互界面程序可用性测试中对原程序只做出少量的修改，能够在不影响原程序的性能情况下实现自动化可用性测试，可以收集更多、更精细的用户操作数据，发现更多的程序缺陷。
-
公开(公告)号：CN103885816A
公开(公告)日：2014-06-25
申请号：CN201410122430.0
申请日：2014-03-28
Applicant: 南京大学
IPC: G06F9/455
Abstract: 本发明提供一种实时嵌入式系统的仿真方法，首先读取XMI文档并将其元素划分为类图元素集合和序列图元素集合。然后将类图元素集合转换为C++代码。在类图的C++代码的基础上，再将序列图元素集合转换C++代码。使用Simulink？Coder将Simulink模型转换为C++代码，并加入时钟中断，使其成为实时代码。再按照类图模型中的设定将它们结合起来，编译生成可执行文件，使其在目标平台上运行，进而实现整个实时嵌入式系统的仿真，并给出测试结果。本发明能够实现基于UML的类图模型、序列图模型以及Simulink模型的自动代码生成，提取其中时间约束信息，通过执行生成代码进行仿真，给出系统内的时间约束是否满足的结果报告。
-
公开(公告)号：CN103645987A
公开(公告)日：2014-03-19
申请号：CN201310711611.2
申请日：2013-12-20
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明提出一种基于代码生成和符号执行的访问控制策略测试自动生成方法，以针对XACML策略测试的实际需求，弥补现有测试XACML策略技术和工具的不足。该发明方法首先对用户指定受测试的XACML策略进行数值化处理，然后将受测试的XACML策略转换为语义等价的C代码表示形式；再通过符号执行工具生成C代码的测试输入，将生成的测试输入翻译为XACML请求；最后以生成的XACML请求作为策略评估器的输入，发送到XACML策略进行评估，得到授权结果。本发明方法利用符号执行测试技术，能够高效地生成充分覆盖XACML策略的测试请求，有利于发现XACML策略中的错误。
-
公开(公告)号：CN103313382A
公开(公告)日：2013-09-18
申请号：CN201310167847.4
申请日：2013-05-08
Applicant: 南京大学
Abstract: 本发明给出一种移动无线传感器网络分布式目标跟踪方法，该方法解决传统无线传感器网络目标跟踪中的跟踪精确度低的问题，使用分布式算法预测目标在下一个跟踪周期中的位置，考虑移动无线传感器网络中静态节点与动态节点的协作配合，各个移动节点根据此信息向目标位置移动并获取更精确的目标信息。本发明能够有效提高移动传感器网络目标跟踪精确度，保障网络的动态连通性，提高目标跟踪效率，缩短目标跟踪周期，加快目标跟踪执行过程。
-
公开(公告)号：CN103312851A
公开(公告)日：2013-09-18
申请号：CN201310213761.0
申请日：2013-05-31
Applicant: 南京大学
Abstract: 本发明给出一种智能手机应用交互界面程序可用性测试方法，该方法不再需要人工记录用户操作手机程序的工作，通过在应用程序中嵌入少量的代码，在用户操作手机的过程中将用户操作事件上传到服务器，测试人员再根据收集到的数据通过有限状态机进行分析。本发明在智能手机应用交互界面程序可用性测试中对原程序只做出少量的修改，能够在不影响原程序的性能情况下实现自动化可用性测试，可以收集更多、更精细的用户操作数据，发现更多的程序缺陷。
-
-
-
-
-
-
-
-
-
Search Results
33
records
(took 0.025 seconds)
