您的位置： 专家智库 > >

任健

作品数：7 被引量：0H指数：0
供职机构：北京航空航天大学更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 7篇中文专利

领域

  • 4篇自动化与计算...
  • 1篇文化科学

主题

  • 3篇自动化
  • 2篇定制
  • 2篇引擎
  • 2篇语言描述
  • 2篇元模型
  • 2篇软件测试
  • 2篇软件测试过程
  • 2篇神经网
  • 2篇神经网络
  • 2篇适航
  • 2篇自然语言
  • 2篇自然语言描述
  • 2篇项目数据
  • 2篇可定制
  • 2篇可扩展
  • 1篇代码
  • 1篇动态图
  • 1篇形式化
  • 1篇序列图
  • 1篇训练集

机构

  • 7篇北京航空航天...

作者

  • 7篇任健
  • 4篇杨海燕
  • 3篇吴文峻
  • 2篇张莹
  • 2篇刘超
  • 2篇吴际
  • 2篇杨阳

年份

  • 2篇2025
  • 1篇2024
  • 2篇2017
  • 2篇2015
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
基于图神经网络的深度知识追踪方法
本发明公开了一种基于图神经网络的深度知识追踪方法，属于智慧教育领域；具体为：首先，清洗真实数据集，将每一条交互数据中问题与技能的二元关系，存储到字典中。然后，将同一个学生按递增时间步，将其所有问题组成序列，并根据二元关系...
吴文峻彭天豪岳强戴佩宏刘放任健
一种基于RUCM的需求验证方法
本发明涉及一种基于RUCM的需求验证方法，具体包括以下步骤：输入需求，采用RUCM方法生成半形式化的需求表达方式；对需验证的内容进行定义；解析需求的自然语言描述文字，在元模型中定义RUCM模型中的元素，将需求以RUCM元...
吴际张莹杨海燕任健
一种基于软件演化的API调用序列代码智能生成方法及装置
一种基于软件演化的API调用序列代码智能生成方法及装置，该方法采用编码器‑解码器的神经网络模型执行，包括：接收想要实现的代码对应的软件版本描述、所需的功能描述；接收原始代码并将其转换为目标代码序列；接收原始代码所需的配置...
吴文峻 杨京波任健
一种基于RUCM的需求验证方法
本发明涉及一种基于RUCM的需求验证方法，具体包括以下步骤：输入需求，采用RUCM方法生成半形式化的需求表达方式；对需验证的内容进行定义；解析需求的自然语言描述文字，在元模型中定义RUCM模型中的元素，将需求以RUCM元...
吴际张莹杨海燕任健
文献传递
一种面向DO‑178C软件测试过程的目标验证及证据模型提取方法
本发明涉及一种面向DO‑178C软件测试过程的目标验证及证据模型提取方法，建立软件测试过程相关目标的论证结构，分析出对应的证据需求，并依据证据需求建立证据模型，依据证据模型，在项目数据对应证据模型时，实现目标论证的自动化...
刘超杨阳杨海燕任健
文献传递
一种对比学习增强的动态图神经网络推荐方法
本发明公开了一种对比学习增强的动态图神经网络推荐方法，涉及推荐系统领域，具体为：首先，下载推荐任务数据集，并划分测试集和训练集；使用训练集对对比学习增强的动态图神经网络推荐模型进行训练，当输出的预测推荐结果与真实推荐结果...
吴文峻彭天豪王政江戴佩宏赵鹏瑞任健
一种面向DO-178C软件测试过程的目标验证及证据模型提取方法
本发明涉及一种面向DO-178C软件测试过程的目标验证及证据模型提取方法，建立软件测试过程相关目标的论证结构，分析出对应的证据需求，并依据证据需求建立证据模型，依据证据模型，在项目数据对应证据模型时，实现目标论证的自动化...
刘超杨阳杨海燕任健
全选 清除 导出
共1页<1>
聚类工具0