您的位置： 专家智库 > >

沈雅芬

作品数：3 被引量：1H指数：1
供职机构：北京航空航天大学更多>>
发文基金：国防科技技术预先研究基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章

领域

  • 1篇自动化与计算...

主题

  • 2篇数据收集
  • 2篇通信
  • 2篇网络
  • 2篇网络服务
  • 2篇网络故障
  • 2篇网络通信
  • 2篇联立方程
  • 2篇络通
  • 2篇可靠性
  • 2篇可靠性指标
  • 1篇形式化
  • 1篇形式化验证
  • 1篇重写
  • 1篇重写逻辑
  • 1篇逻辑模型

机构

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

作者

  • 3篇黄宁
  • 3篇沈雅芬
  • 2篇李硕
  • 2篇李瑞莹
  • 2篇陈阳
  • 2篇李枚楠
  • 1篇彭永义

传媒

  • 1篇计算机应用

年份

  • 1篇2014
  • 1篇2012
  • 1篇2011
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
OWL-S模型转化为重写逻辑模型的方法被引量：1
2011年
OWL-S模型在基于服务的软件设计中具有重要作用,但由于其非完全形式化的模型,不能直接对其进行形式化分析与验证。基于OWL-S模型的重写逻辑语义框架,通过对数据类型、表达式、控制结构与Process的转换,设计并实现了OWL-S模型到重写逻辑模型的自动转化工具,为能够在软件实现前为设计模型的形式化分析与验证,以及可靠性分析提供基础。
沈雅芬黄宁彭永义
关键词：重写逻辑形式化验证
基于故障分布的通信网络服务可靠性试验与指标验证方法
本发明属于网络通信可靠性领域，公开了一种基于故障分布的通信网络服务可靠性试验与指标验证方法，包括以下三个步骤，步骤一：通过预试验，收集网络故障数据，通过拟合各种可能的分布及拟合优度检验，确定通信网络故障分布形式；步骤二：...
李瑞莹李枚楠李硕黄宁陈阳沈雅芬
文献传递
基于故障分布的通信网络服务可靠性试验与指标验证方法
本发明属于网络通信可靠性领域，公开了一种基于故障分布的通信网络服务可靠性试验与指标验证方法，包括以下三个步骤，步骤一：通过预试验，收集网络故障数据，通过拟合各种可能的分布及拟合优度检验，确定通信网络故障分布形式；步骤二：...
李瑞莹李枚楠李硕黄宁陈阳沈雅芬
全选 清除 导出
共1页<1>
聚类工具0