检索结果-内蒙古大学图书馆

北京大学学报（自然科学版） 2018年第1期54卷 1-13页

作者：孙基男潘克峰陈雪峰张君福北京大学软件工程国家工程研究中心北京100871 卫士通信息产业股份有限公司北京总部北京100070 北京北大软件工程股份有限公司北京100080

采用符号值作为输入,模拟程序执行,提取执行路径上相应的约束条件,即安全约束、攻击约束以及防御约束,并构成可满足矩阵(SAT)以及不可满足矩阵(UNSAT)两个注入类漏洞安全分析与检测模型,矩阵模型的求解结果可映射为注入类安全漏洞的安... 详细信息

采用符号值作为输入,模拟程序执行,提取执行路径上相应的约束条件,即安全约束、攻击约束以及防御约束,并构成可满足矩阵(SAT)以及不可满足矩阵(UNSAT)两个注入类漏洞安全分析与检测模型,矩阵模型的求解结果可映射为注入类安全漏洞的安全状态。对Web应用注入类漏洞的检测实验表明,与目前安全分析主流工具相比,该分析技术具有降低误报率、漏报率、能自动生成攻击向量等优点。

关键词：注入类安全漏洞符号执行程序静态分析 Web应用安全

来源：评论

学校读者我要写书评

暂无评论

G2S:基于语义块的知识图谱问答语义解析

引用

电子学报 2021年第6期49卷 1132-1141页

作者：高留杰赵文张君福姜波北京大学软件与微电子学院北京100871 北京大学软件工程国家工程研究中心北京100871 北京北大软件工程股份有限公司北京100080 96901部队31分队北京100085

问题意图理解是知识图谱问答的主要任务之一,语义解析是当前理解问题意图的主流方法.其主要挑战是如何充分利用知识图谱上下文理解问句中的隐含实体或关系,以及时间、排序和聚合等复杂约束条件等意图.为了应对这些挑战,本文提出了一种... 详细信息

问题意图理解是知识图谱问答的主要任务之一,语义解析是当前理解问题意图的主流方法.其主要挑战是如何充分利用知识图谱上下文理解问句中的隐含实体或关系,以及时间、排序和聚合等复杂约束条件等意图.为了应对这些挑战,本文提出了一种基于语义块的知识图谱问答语义解析框架——Graph-to-Segment,框架中的语义解析模型结合了基于规则的准确度和基于深度学习的覆盖度,实现了问题到语义块序列的解析和语义查询图的构造.框架将问题意图使用基于语义块的语义查询图表示,将问题的语义解析建模为语义块序列生成任务,采用编码器-解码器神经网络模型实现问题到语义块序列的解析,然后通过语义块组装形成语义查询图.同时,结合知识图谱中的上下文信息,模型使用图神经网络学习问题的表示,改进隐含实体或关系的语义解析效果.在两个知识图谱问答数据集上的实验表明,模型性能达到了良好的效果.

关键词：知识图谱问答语义解析

来源：评论

学校读者我要写书评

暂无评论

图形用户界面程序的模糊测试方法及系统

图形用户界面程序的模糊测试方法及系统

引用

作者：高庆殷正峰张世琨孙基男 100080 北京市海淀区北四环西路67号

本发明涉及软件自动化测试领域，公开了一种图形用户界面程序的模糊测试方法及系统，包括：根据被测试程序的类型和运行系统平台选择图形用户界面测试工具，录制使用所述图形用户界面测试工具打开所述被测试程序的过程，生成图形用户界... 详细信息

标准号: CN115017059B

本发明涉及软件自动化测试领域，公开了一种图形用户界面程序的模糊测试方法及系统，包括：根据被测试程序的类型和运行系统平台选择图形用户界面测试工具，录制使用所述图形用户界面测试工具打开所述被测试程序的过程，生成图形用户界面程序的自动化操作脚本，通过使用动态插桩工具获得拦截函数的调用过程，从而获得调用序列和调用时的上下文环境，筛选所述调用序列，得到候选目标函数集合，监控所述候选目标函数集合的运行状态，获得代码覆盖率，选择所述候选目标函数集合内所述代码覆盖率最大的为目标函数，选择模糊测试器，生成种子文件，配置所述模糊测试器参数，插桩拦截所述被测试程序，执行模糊测试，监控运行结果。

关键词：模糊测试测试程序函数集合候选目标图形用户界面测试图形用户界面代码覆盖率调用序列调用拦截软件自动化测试上下文环境自动化操作插桩工具监控运行目标函数平台选择运行系统运行状态种子文件脚本插桩录制筛选监控配置

来源：评论

学校读者我要写书评

暂无评论

基于LSTM网络的法条语义标注方法及装置

基于LSTM网络的法条语义标注方法及装置

引用

作者：莫同李雨萌骆旭辉刘亚亭张艺璇 100089 北京市海淀区北四环西路67号中关村国际创新大厦11层1101-1103、1106-1108室

本发明涉及一种基于LSTM网络的法条语义标注方法及装置，包括获取待分析文本；对待分析文本进行分析处理，以获取待分析文本的所有单词和单词对应的词性标注，转化为D维词向量输入到全连接神经网络中获取特征编码；将待分析文本的词性... 详细信息

标准号: CN111460834B

本发明涉及一种基于LSTM网络的法条语义标注方法及装置，包括获取待分析文本；对待分析文本进行分析处理，以获取待分析文本的所有单词和单词对应的词性标注，转化为D维词向量输入到全连接神经网络中获取特征编码；将待分析文本的词性标注与预设数据库中文本的词性标注进行对比获取最匹配文本，获取最终向量表示；将最终向量表示输入全连接神经网络，输出待分析文本中每个单词的语义角色标注；本发明可以自动分析法律法条中的施事者、受事者、时间、地点等要素，能够辅助相关人员理解法条语义，并为更高层的法律信息化应用提供支持，可以有效提高工作人员的工作效率。

关键词：文本词性标注法条单词神经网络向量表示分析语义角色标注信息化应用语义分析处理工作效率匹配文本特征编码语义标注自动分析词向量预设数据库法律输出中文高层转化网络

来源：评论

学校读者我要写书评

暂无评论

一种指针修改影响的分析方法和系统

一种指针修改影响的分析方法和系统

引用

作者：马森岳贯集张世琨高庆 100081 北京市海淀区北四环西路67号大地科技大厦10层1001-1006、1012-1018室

本发明提供一种指针修改影响的分析方法和系统，所述方法包括：在程序代码中查找该语句中变量的等价变量，并查找该等价变量所有的定义点，构成分析结果集合；基于定义点、语句以及程序入口的关系，获得对应该定义点的多个路径条件；以... 详细信息

标准号: CN107085533B

本发明提供一种指针修改影响的分析方法和系统，所述方法包括：在程序代码中查找该语句中变量的等价变量，并查找该等价变量所有的定义点，构成分析结果集合；基于定义点、语句以及程序入口的关系，获得对应该定义点的多个路径条件；以及判断所有所述路径条件是否可同时满足，若不可同时满足，则将该定义点从所述分析结果集合中剔除。本发明提高结果的精度，做到了部分路径敏感以及流敏感，使采用该分析算法的静态代码缺陷检测结果更加精确。

关键词：等价变量路径条件语句集合缺陷检测结果查找程序代码程序入口分析算法静态代码指针修改敏感剔除分析

来源：评论

学校读者我要写书评

暂无评论

一种自然语言处理分类模型中多标签分布学习的方法和系统

一种自然语言处理分类模型中多标签分布学习的方法和系统

引用

作者：叶蔚刘培阳张世琨张君福 100089 北京市海淀区北四环西路67号中关村国际创新大厦11层1101-1103、1106-1108室

本发明公开了一种自然语言处理分类模型中多标签分布学习的方法和系统，属于自然语言处理领域。在获取训练样本后，分别计算得到每个标签的标签向量和每个样本的样本向量；然后根据标签向量和样本向量计算得到每个样本与每个标签之间的... 详细信息

标准号: CN111797234B

本发明公开了一种自然语言处理分类模型中多标签分布学习的方法和系统，属于自然语言处理领域。在获取训练样本后，分别计算得到每个标签的标签向量和每个样本的样本向量；然后根据标签向量和样本向量计算得到每个样本与每个标签之间的相关性；再通过每个样本与每个标签之间的相关性计算得到每个样本的标签分布；最后根据标签分布更新自然处理分类模型。通过这种方式，能够使经过更新后的自然处理分类模型的样本得到更准确的标签，大大提高了自然处理分类模型的泛化能力。

关键词：标签分类模型样本自然语言处理标签向量样本向量训练样本更新学习

来源：评论

学校读者我要写书评

暂无评论

基于强化学习的事件论元抽取方法及装置

基于强化学习的事件论元抽取方法及装置

引用

作者：张世琨叶蔚习翔宇张君福胡文蕙刘学洋 100089 北京市海淀区北四环西路67号中关村国际创新大厦11层1101-1103、1106-1108室

本发明涉及一种基于强化学习的事件论元抽取方法及装置，包括构建事件检测模型，构建论元检测模型，构建实体选择模型，将实体选择模型选择的待检测实体输入到论元检测模型进行检测，采集预测结果的损失，根据预测结果的损失更新论元检... 详细信息

标准号: CN111797241B

本发明涉及一种基于强化学习的事件论元抽取方法及装置，包括构建事件检测模型，构建论元检测模型，构建实体选择模型，将实体选择模型选择的待检测实体输入到论元检测模型进行检测，采集预测结果的损失，根据预测结果的损失更新论元检测模型的参数；根据待检测实体更新实体选择模型；通过更新后的论元检测模型和更新后的实体选择模型对句子中的实体进行检测，并将检测结果引入更新后的论元检测模型和更新后的实体选择模型进行更新，循环直至遍历所有实体。本发明能够在检测当前论元的时候，引入已知论元的信息，通过引入已知论元信息和强化学习技术，能够有效利用论元间交互关系，提高论元检测效果。

关键词：检测实体选择更新构建待检测实体强化学习预测结果引入检测结果交互关系模型选择事件检测元信息遍历句子抽取采集

来源：评论

学校读者我要写书评

暂无评论

一种混合软件漏洞分析方法和系统

一种混合软件漏洞分析方法和系统

引用

作者：岳贯集张世琨高庆 100080 北京市海淀区中关村国际创新大厦11层

本发明涉及静态代码分析技术，具体涉及一种混合软件漏洞分析方法。本发明提供的方法包括：基于混合软件确定统一中间表示IR；基于统一中间表示IR构造数据流表示模型VFG；基于数据流表示模型VFG定位潜在漏洞的植入点和触发点；通过流追... 详细信息

标准号: CN117556431A

本发明涉及静态代码分析技术，具体涉及一种混合软件漏洞分析方法。本发明提供的方法包括：基于混合软件确定统一中间表示IR；基于统一中间表示IR构造数据流表示模型VFG；基于数据流表示模型VFG定位潜在漏洞的植入点和触发点；通过流追踪的方式对漏洞进行分析；混合软件至少包含两种以上的编程语言或者两种以上的代码形式。本发明通过建立统一的中间表示模型，实现对多种编程语言、多种形式代码混合的复杂软件的检测，尤其对于多模块交互的场景，能够弥补传统检测方式的不足，提升漏洞检测的能力，发现软件系统中的深层次问题。

关键词：混合软件中间表示编程语言表示模型传统检测方式静态代码分析构造数据流深层次问题数据流代码形式复杂软件漏洞分析漏洞检测软件系统形式代码漏洞触发点多模块统一植入追踪场景检测分析发现

来源：评论

学校读者我要写书评

暂无评论

一种获取法律领域问句答案的方法和系统

一种获取法律领域问句答案的方法和系统

引用

作者：郜成胜熊冠铭赵文季昕邹欢欢 100089 北京市海淀区北四环西路67号中关村国际创新大厦11层1101-1103、1106-1108室

本发明公开了一种获取法律领域问句答案的方法和系统，属于语义理解领域，在获取用户的自然语言问句后生成词语的实体，识别实体并将实体分为命名实体和一般实体，根据命名实体和一般实体的关系生成语法依存树，根据语法依存树生成实体... 详细信息

标准号: CN111553160A

本发明公开了一种获取法律领域问句答案的方法和系统，属于语义理解领域，在获取用户的自然语言问句后生成词语的实体，识别实体并将实体分为命名实体和一般实体，根据命名实体和一般实体的关系生成语法依存树，根据语法依存树生成实体间的谓词路径，在根据谓词路径生成查询语句，执行查询语句从数据库中获取用户问句的答案。通过上述方案能够理解用户的语义，帮助用户快速准确的获取问句的答案，同时获取的答案更全面。

关键词：答案查询语句命名实体谓词语法自然语言语义法律领域关系生成路径生成语义理解词语数据库帮助

来源：评论

学校读者我要写书评

暂无评论

一种基于模型持久化的交互式漏洞分析方法和系统

一种基于模型持久化的交互式漏洞分析方法和系统

引用

作者：岳贯集陈哲张世琨 100080 北京市海淀区中关村国际创新大厦11层

本发明涉及软件代码分析领域，公开了一种基于模型持久化的交互式漏洞分析方法和系统，包括：基于待分析软件的代码变更进行增量更新以确定值依赖图，基于值依赖图的变更确定更新增量，更新增量包括点和边，其中点的属性包括标识符、语... 详细信息

标准号: CN117349187A

本发明涉及软件代码分析领域，公开了一种基于模型持久化的交互式漏洞分析方法和系统，包括：基于待分析软件的代码变更进行增量更新以确定值依赖图，基于值依赖图的变更确定更新增量，更新增量包括点和边，其中点的属性包括标识符、语句内容和语句类型，边为有向边，边的属性包括起点和终点的标识符，基于更新增量在漏洞数据库内进行检索，获得匹配的漏洞，漏洞数据库基于持久化的程序模型构建。本发明基于模型持久化技术，实现增量分析，提升了对于迭代中的项目进行多次分析的检测效率；再通过对静态分析能力的封装，将漏洞检测问题转化为持久化模型中的查询问题，从而实现可通过SQL语句检测漏洞，降低静态代码分析系统的使用难度。

关键词：持久化标识符漏洞数据库依赖图更新静态代码分析漏洞检测问题程序模型代码变更分析软件静态分析漏洞分析软件代码语句类型语句内容增量分析增量更新漏洞有向边迭代构建封装匹配检索分析变更查询检测转化

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：