咨询与建议

限定检索结果

文献类型

  • 19 篇 期刊文献
  • 4 篇 会议
  • 1 篇 学位论文
  • 1 篇 报纸

馆藏范围

  • 25 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 15 篇 工学
    • 10 篇 软件工程
    • 9 篇 计算机科学与技术...
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 航空宇航科学与技...
  • 5 篇 理学
    • 5 篇 生物学
  • 3 篇 医学
    • 2 篇 中西医结合
    • 1 篇 中医学
    • 1 篇 药学(可授医学、理...
    • 1 篇 中药学(可授医学、...
  • 2 篇 法学
    • 1 篇 政治学
    • 1 篇 马克思主义理论
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 4 篇 航天器软件
  • 3 篇 神经元
  • 3 篇 软件缺陷预测
  • 2 篇 数据挖掘
  • 2 篇 药物稳定性
  • 2 篇 微管结合蛋白
  • 1 篇 北京开思软件公司
  • 1 篇 知识图谱
  • 1 篇 数据集
  • 1 篇 活动内容
  • 1 篇 特征选择
  • 1 篇 德保县
  • 1 篇 数据质量
  • 1 篇 pka
  • 1 篇 maps
  • 1 篇 宣传教育
  • 1 篇 二次开发
  • 1 篇 4,4′—二溴联苯
  • 1 篇 开发商
  • 1 篇 业务流程

机构

  • 8 篇 北京控制工程研究...
  • 7 篇 北京大学
  • 5 篇 北京轩宇信息技术...
  • 1 篇 数字化塑性成形技...
  • 1 篇 许昌电气职业学院
  • 1 篇 北京开思软件公司
  • 1 篇 北京中医药大学
  • 1 篇 沈阳建筑大学
  • 1 篇 中国航空制造技术...
  • 1 篇 东京大学
  • 1 篇 哈尔滨工业大学
  • 1 篇 北京航空制造工程...
  • 1 篇 塑性成形技术航空...
  • 1 篇 青岛科技大学

作者

  • 9 篇 滕俊元
  • 9 篇 高猛
  • 7 篇 陈建国
  • 7 篇 滕俊琳
  • 3 篇 杨晓勇
  • 3 篇 郑小萌
  • 2 篇 徐忠宾
  • 2 篇 滕俊飞
  • 2 篇 王政
  • 2 篇 江云松
  • 2 篇 滕俊杰
  • 2 篇 滕俊
  • 1 篇 李承昆
  • 1 篇 滕俊江
  • 1 篇 李圆君
  • 1 篇 孙宾
  • 1 篇 原田彰宏
  • 1 篇 王现稳
  • 1 篇 中田隆夫
  • 1 篇 刘盈盈

语言

  • 25 篇 中文
检索条件"作者=滕俊元"
25 条 记 录,以下是1-10 订阅
排序:
航天嵌入式软件整数溢出的形式化验证方法
收藏 引用
软件学报 2021年 第10期32卷 2977-2992页
作者: 高猛 滕俊元 王政 北京控制工程研究所 北京100190 北京轩宇信息技术有限公司 北京100190
整数溢出引起的软件系统安全性问题屡见不鲜,已有的模型检测技术由于存在状态空间爆炸、不能有效支持中断驱动型程序检测等缺点而少有工程应用.结合真实案例,对航天嵌入式软件整数溢出问题的分布和特征进行了系统性的分析.在有界模型检... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
航天器软件典型缺陷模式的自动检测技术
收藏 引用
空间控制技术与应用 2019年 第5期45卷 72-78页
作者: 高猛 滕俊元 陈睿 孙民 北京控制工程研究所 北京100190 北京轩宇信息技术有限公司 北京100190
通过系统分析和总结航天器软件在轨、在研质量问题,开展软件缺陷模式研究,建立航天器软件缺陷模式集;研究缺陷模式的形式化规约和自动检测技术,开发缺陷模式自动检测工具,提高缺陷自动检出率,从而有效规避航天器软件中的典型多发问题,... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种“白黑白”盒混合型航天器软件单测试技术
收藏 引用
空间控制技术与应用 2018年 第6期44卷 69-74页
作者: 郑小萌 高猛 滕俊元 北京控制工程研究所 北京100090 北京轩宇信息技术有限公司 北京100000
软件测试是软件质量保障的基础,而单测试是软件测试中不可或缺的重要环节.充分的单测试对发现和排除软件中的缺陷非常有效,并且花费成本较小.基于航天器软件其较高的软件可靠性、健壮度等设计要求特点,归纳总结航天器软件单测试... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
航天器软件缺陷预测数据集构建方法研究
收藏 引用
计算机科学 2021年 第S1期48卷 575-580页
作者: 郑小萌 高猛 滕俊元 北京轩宇信息技术有限公司 北京100190 北京控制工程研究所 北京100190
软件缺陷预测数据集作为预测模型构建及实施缺陷预测的基础设施,面临着两方面问题,一方面因数据源头上采集困难导致可用评测数据集较少;另一方面,已公开的数据集因领域数据不同导致了差异性大、度量标准不适用等问题,鲜有工程应用。结... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于知识图谱和自动机器学习的软件缺陷预测
收藏 引用
空间控制技术与应用 2021年 第2期47卷 10-16页
作者: 李鹏宇 江云松 高猛 滕俊元 北京轩宇信息技术有限公司 北京100090
不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用,为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题,提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS,首先获取软件缺陷预测模型... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
噪声可容忍的软件缺陷预测特征选择方法
收藏 引用
计算机科学 2021年 第12期48卷 131-139页
作者: 滕俊元 高猛 郑小萌 江云松 北京控制工程研究所 北京100190
通过对缺陷数据集进行挖掘,缺陷预测模型能够提前预测出被测软件中的缺陷模块,帮助测试人员实现更有针对性的测试,而普遍存在的数据集标签噪声会影响预测模型的性能。已有的特征选择方法很少对噪声可容忍性进行针对性设计,同时在主流的... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
软件产品化在航天领域的应用与管理
收藏 引用
质量与可靠性 2018年 第1期 39-42页
作者: 滕俊元 徐忠宾 高猛 北京控制工程研究所 北京100190
软件产品化是提高软件研制效率和产品成熟度的重要途径。通过推动航天型号软件产品化研制,形成软件产品资源库,实现建立"一次研制,重复应用"的航天型号软件研制模式。重点阐述了航天型号软件产品化的研制思路及其在型号应用过程中的管... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于全数字仿真的虚拟软件测试环境
收藏 引用
机电一体化 2017年 第9期23卷 23-27页
作者: 滕俊元 徐忠宾 高猛 北京控制工程研究所 北京100190
基于全数字仿真的虚拟软件测试环境对嵌入式软件进行测试是一种有效的测试方法。虚拟软件测试环境能够灵活地实施故障注入,可以充分模拟各种运行时故障,以提高测试的充分性;同时,利用自动比对技术,实现数据输出的正确性判断。采用分层... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
新型航天软件研制模式下的保障技术
收藏 引用
质量与可靠性 2022年 第1期 48-53页
作者: 高猛 滕俊元 王政 北京控制工程研究所 北京100190
航天器软件技术的发展,对以瀑布模型为流程,以文档及手写代码为载体的传统软件研制模式提出了挑战。面对复杂多变的航天任务需求,提出了以系统设计牵引、技术要素保证、模型驱动开发为代表的方法论体系,形成了新型航天软件研制模式SAMP... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于明清古籍挖掘肺系疫病的辨治规律
基于明清古籍挖掘肺系疫病的辨治规律
收藏 引用
作者: 滕俊 北京中医药大学
学位级别:硕士
背景:2019年末出现的新型冠状病毒病(Corona Virus Disease 2019,COVID-19)是一种传播能力强、影响范围波及全球的呼吸道传染性疾病,中医范畴内可将其视为一种新型的肺系疫病。中医药防治肺系疫病的疗效得到过历史的验证,在明清时期,... 详细信息
来源: 同方学位论文库 同方学位论文库 评论