黄勃
- 作品数：15 被引量：13H指数：2
- 供职机构：武汉大学更多>>
- 发文基金：国家自然科学基金湖北省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 一种基于结构化词嵌入网络的智能合约代码缺陷检测方法
- 本发明涉及一种基于结构化词嵌入网络的智能合约代码缺陷检测方法，具体是构建合约代码抽象语法树以及单词序列化模块，将收集到的合约代码转化为单词序列作为训练集。然后利用合约语法分析工具判定代码是否存在缺陷以及缺陷的数量，作为训...
- 刘进沈晨凯余啸杨振崔晓晖黄勃张宽
- 文献传递
- 知识图谱链接预测方法、装置、设备及存储介质
- 本发明公开了一种知识图谱链接预测方法、装置、设备及存储介质，所述方法通过提取知识图谱中的实体集合、关系集合及三元组集合；获取所述实体集合中实体的初始向量以及所述关系集合中关系的初始矩阵，将所述初始向量和初始矩阵输入到MD...
- 刘进王维川谢志文黄勃
- 文献传递
- 一种上下文对齐增强图注意力网络的跨语言实体对齐方法
- 本发明提出了一种上下文对齐增强图注意力网络的跨语言实体对齐方法。引入第一知识图谱、第二知识图谱并筛选对齐种子实体集合，把其中每个实体名翻译为英文；从翻译后的对齐种子集中构建训练集和测试集，使用word2vec算法将实体名...
- 刘进赵焜松谢志文崔晓晖黄勃周光有匡秋明
- 文献传递
- 面向复杂软件系统的需求工程建模方法及其工具系统
- 毋国庆袁梦霆姚昱陈曙万黎吴怀广吴昊黄勃
- 面向复杂软件系统的需求工程建模方法及其工具系统主要为软件开发人员提供有效实用的软件需求分析方法和工具，适用不同的计算机应用领域和不同类型的软件系统的需求开发工作。面向复杂软件系统的需求工程建模方法是基于多视点和软件行为的...
- 关键词：
- 一种面向行为的软件需求模型可视化方法
- 本发明涉及一种面向行为的软件需求模型可视化方法。由于需求动画的实现与需求建模方法和需求模型密切相关，故首先研究基于软件行为的需求建模方法和行为描述语言，以建立基于软件行为的需求模型。其次，研究和建立从需求模型到需求动画描...
- 毋国庆吴昊黄勃万黎李琳
- 文献传递
- 一种基于结构化词嵌入网络的智能合约代码缺陷检测方法
- 本发明涉及一种基于结构化词嵌入网络的智能合约代码缺陷检测方法，具体是构建合约代码抽象语法树以及单词序列化模块，将收集到的合约代码转化为单词序列作为训练集。然后利用合约语法分析工具判定代码是否存在缺陷以及缺陷的数量，作为训...
- 刘进沈晨凯余啸杨振崔晓晖黄勃张宽
- 文献传递
- 一种上下文对齐增强图注意力网络的跨语言实体对齐方法
- 本发明提出了一种上下文对齐增强图注意力网络的跨语言实体对齐方法。引入第一知识图谱、第二知识图谱并筛选对齐种子实体集合，把其中每个实体名翻译为英文；从翻译后的对齐种子集中构建训练集和测试集，使用word2vec算法将实体名...
- 刘进赵焜松谢志文崔晓晖黄勃周光有匡秋明
- 文献传递
- 知识图谱链接预测方法、装置、设备及存储介质
- 本发明公开了一种知识图谱链接预测方法、装置、设备及存储介质，所述方法通过提取知识图谱中的实体集合、关系集合及三元组集合；获取所述实体集合中实体的初始向量以及所述关系集合中关系的初始矩阵，将所述初始向量和初始矩阵输入到MD...
- 刘进王维川谢志文黄勃
- 面向软件行为的多视点需求建模方法被引量：5
- 2014年
- 面向软件行为的多视点需求建模从视点需求出发,提出了基于软件行为描述语言(Behavior Description Language,BDL)的多视点需求模型、需求验证及生成形式化需求文档方法.首先划分目标系统构建多视点,然后利用BDL建立视点行为模型,所有视点行为模型组合构成系统行为模型.在多视点行为模型框架下,利用BDL所构建行为模型进行语法、语义以及系统特性的检测,保证系统行为模型的正确性.最后,介绍了基于上述方法的多视点需求建模工具RMTS.
- 程铭黄勃毋国庆姚昱袁梦霆
- 关键词：多视点
- BDL模型到UML状态图的可视化方法研究被引量：1
- 2015年
- 针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法。该方法基于行为描述语言(Behavior Description Language,BDL)构建的需求模型,通过定义映射规则,将BDL模型中的行为、行为间关系与UML状态图中的迁移相关联,并将行为执行后产生的状态与UML状态图中状态相关联。然后根据转换算法自动提取各结点信息,输出完整的状态图,从而实现BDL需求模型的可视化。最后通过实例,验证了该方法的有效性。
- 马丽毋国庆黄勃程铭崔梦天
- 关键词：映射规则状态图
