王悦
- 作品数：10 被引量：0H指数：0
- 供职机构：南京大学更多>>
- 相关领域：自动化与计算机技术生物学政治法律经济管理更多>>
- 一种静态分析辅助的符号执行漏洞检测方法
- 一种静态分析辅助的符号执行漏洞检测方法，包括轻量级符号执行、图生成、静态分析和符号执行等阶段；轻量级符号执行阶段，使用KLEE符号执行工具以简单的符号化策略在很小的时间开销下对目标程序字节码文件进行符号执行以获得完成链接...
- 曾庆凯王悦
- 文献传递
- 裁判文书相似度分析技术研究
- 近年来，最高人民法院以“大数据、大格局、大服务”理念为指导，大力推进人民法院的信息化建设。在此基础上，一系列司法大数据研究、分析工作也相继开展，在取得斐然成果的同时，还面临着许多问题和挑战有待解决。其中一部分问题集中在针...
- 王悦
- 关键词：裁判文书主题模型
- 文献传递
- 城市退休人员社会化管理若干问题的研究——以南京市为例
- 当退休人员由“单位人”转变为“社会人”,政府及社会应提供怎样的养老服务?城市社区作为新型的社会系统工程和城市管理模式,已成为社会发展进步的重要标志和前进方向。如何建立起既符合当前实际,又有利于长远发展的养老服务运行机制,...
- 王悦
- 基于主题模型的裁判文书相似度分析方法
- 本发明公开了一种基于主题模型的裁判文书相似度分析方法。该方法采用机器学习中的LDA(Latent Dirichlet Allocation)主题模型，针对裁判文书，提出一种基于语义的、半自动化的、通用的相似度分析方法。本...
- 周业茂葛季栋王悦李传艺李忠金周筱羽骆斌
- 文献传递
- 一种静态分析辅助的符号执行漏洞检测方法
- 一种静态分析辅助的符号执行漏洞检测方法，包括轻量级符号执行、图生成、静态分析和符号执行等阶段；轻量级符号执行阶段，使用KLEE符号执行工具以简单的符号化策略在很小的时间开销下对目标程序字节码文件进行符号执行以获得完成链接...
- 曾庆凯王悦
- 文献传递
- 多取代2-吡啶酮衍生物的合成及其抗胰腺癌活性研究
- 胰腺癌是一种恶性程度极高的肿瘤，在全球每年导致超过22万人死亡。胰腺癌缺乏特异性症状，早期发现十分困难。由于病情发展速度快，死亡率极高，胰腺癌患者的中位生存期不超过6个月，而5年以上生存率仅为3％，因此胰腺癌是整个医学界...
- 王悦
- 关键词：合成工艺抗肿瘤活性胰腺癌
- 一种众包测试审核任务分配方法
- 一种众包测试审核任务分配方法，其特征是在众包审核任务分配过程中考虑到用户特征，用户特征包含信誉特征、能力特征和行为特征。计算用户在不同审核任务类型维度下的特征，计算众包审核任务热度逆序列表，使用基于任务的协同过滤算法生成...
- 何铁科刘嘉郑滔邢玉王悦田函静
- 论涉外夫妻财产关系准据法与第三人的关系
- 对于涉外夫妻财产关系准据法的选择与适用,规定于我国《涉外民事关系法律适用法》（以下简称“《法律适用法》”）第24条,该条构建了夫妻财产关系法律适用的基本准则,即以适用夫妻共同属人法为一般原则,并赋予夫妻双方有限的意思自治...
- 王悦
- 关键词：夫妻财产关系意思自治
- 文献传递
- 静态导向的符号执行漏洞检测研究与实现
- 符号执行技术是一种动态程序分析技术，具有代码覆盖率高和不会产生误报的优点。将符号执行技术应用于漏洞检测领域时，其追求代码覆盖率的路径探索过程反而会降低漏洞检测的效率，并且在时间与计算资源有限的情况下增加漏报。为此，本文针...
- 王悦
- 关键词：软件测试漏洞检测
- 苔藓植物中NBS编码基因的分离与演化分析
- 关于植物NBS编码基因的相关研究已在众多被子植物中开展。传统意义上,NBS编码基因主要划分为两个类别：TIR-NBS-LRR (TNL)和CC-NBS-LRR (CNL)型。然而,除被子植物外的其他植物类群中主要存在的是...
- 王悦
- 关键词：苔藓
- 文献传递
