您的位置： 专家智库 > >

杨帆

作品数：3 被引量：3H指数：1
供职机构：北京航空航天大学计算机学院软件开发环境国家重点实验室更多>>
发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇电子电信
  • 1篇航空宇航科学...

主题

  • 1篇虚拟测试
  • 1篇移动网
  • 1篇移动网络
  • 1篇树模型
  • 1篇数据挖掘
  • 1篇数据挖掘技术
  • 1篇频繁项
  • 1篇频繁项集
  • 1篇状态转移图
  • 1篇网络
  • 1篇网络模型
  • 1篇系统级测试
  • 1篇项集
  • 1篇关联规则
  • 1篇航天
  • 1篇航天器
  • 1篇WCDMA
  • 1篇GPRS
  • 1篇IPV6
  • 1篇测试用例

机构

  • 3篇北京航空航天...
  • 1篇中国空间技术...

作者

  • 3篇杨帆
  • 1篇闪四清
  • 1篇马世龙
  • 1篇李小平
  • 1篇王华茂

传媒

  • 1篇航空学报
  • 1篇计算机工程与...
  • 1篇当代通信

年份

  • 1篇2017
  • 2篇2004
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
面向航天器系统级测试的虚拟测试方法及应用被引量：3
2017年
航天器总体设计正确性和接口实现正确性的及时验证,是提高航天器这类复杂系统可靠性的重要手段。本文提出一种基于模型检测的虚拟测试方法。方法采用窗口树模型(WTM)对复杂系统进行建模,采用状态转移图(STG)作为系统规约刻画系统行为的正确性。方法通过提出基于自动机的模型检测机制,实现了一种面向航天器系统级测试的虚拟测试平台(VTP)原型系统。该平台支持虚拟测试准备、虚拟测试执行和虚拟测试评估等功能,模拟并实现复杂系统总体设计正确性的验证和接口实现正确性的验证。
乌尼日其其格李小平杨帆马世龙王华茂
关键词：状态转移图测试用例生成
利用关联规则帮助销售商选择商品的两种模型
2004年
人们对关联规则技术的理解大多局限在使用它来分析顾客的购买模式,但最近的研究却越来越侧重于对这种数据挖掘技术的经济评价。该文介绍了两个根据微观经济模式来判别关联规则的有用性,并用于销售商选择最佳商品的模型:PROFSET和HAP。并运用模拟数据对这两种模型的效率进行了比较。
杨帆闪四清
关键词：关联规则频繁项集数据挖掘技术
GPRS和WCDMA移动网络中实现IPv6服务
2004年
IPv6对IPv4作了大量的改进，包括路由和网络自动配置等。IPv6采用了长度为128位的IP地址，彻底解决了IPv4地址不足的难题。IPv6还为点对点通讯设计了一种具有分级结构的地址，网络前缀可以分成多个层次的网络，这大大降低了路由的寻路和存储开销，同时，IPv6采用固定长度的基本报头，简化了路由的操作，降低了路由器处理分组的开销。在基本报头之后还可以附加不同类型的扩展报头，为定义可选项以及新功能提供了灵活性。
杨帆
关键词：GPRSWCDMAIPV6网络模型
全选 清除 导出
共1页<1>
聚类工具0