许家俊
- 作品数:4 被引量:9H指数:2
- 供职机构:北京航空航天大学计算机学院更多>>
- 发文基金:中国航空科学基金航空电子系统综合技术国防科技重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于Petri网的服务可靠性评价方法研究
- 服务的可靠性研究成为一个研究热点.文章首先研究基于Petri网的结构关联的服务组合描述语言BPEL;而对于服务交互关联模型,构造服务组合模型的Petri网表示的交互特点;给出了服务组合Petri网定义,建立基于服务组合P...
- 许家俊姚淑珍
- 关键词:PETRI网网络模型可靠性评估
- 文献传递
- 基于Petri网的服务可靠性评价方法研究被引量:3
- 2014年
- 服务的可靠性研究成为一个研究热点。首先研究基于Petri网的结构关联的服务组合描述语言BPEL;而对于服务交互关联模型,构造服务组合模型的Petri网表示的交互特点;给出服务组合Petri网定义,建立基于服务组合Petri网的模型可靠性评估方法,包含结构关联的可靠性计算方法和交互关联模型可靠性化简和计算方法;最后给出旅游服务系统案例分析,说明了方法的可用性和合理性。
- 许家俊姚淑珍
- 关键词:PETRI网可靠性评估
- 软件可靠性增长模型的不确定性量化研究被引量:5
- 2017年
- 数量激增的软件系统被开发出来为用户提供了极大的便利,但也给系统开发带来了极大的不确定性.故障调试过程中的故障检测率(fault detection rate,简称FDR)是不规律变化的,且通常被描述为白色噪音.白色噪音具有马尔可夫性,但在实践中,噪音出现非马尔可夫性是普通现象,而噪音呈现马尔可夫性仅仅是例外.在许多真实情况下,白色噪声的理想化假设是不足的:真正的不规则因素总是非马尔可夫相关性的.提出了一个新的模型来量化调试过程相关的环境不确定性因素.基于广泛应用于软件故障检测过程的非齐次泊松过程(non-homogeneous Poisson process,简称NHPP)模型,将环境的不确定性考虑为任意分布和时间相关性的噪声.通过与一些现有模型的比较,新的框架表现出更接近实际观测数据的特征.除了常用的关注故障数的平均值以外,还提供了公式以计算其累积密度函数(CDF)和概率密度函数(PDF),从而获得调试过程的完整统计信息.
- 许家俊姚淑珍
- 关键词:可靠性不确定性NHPP
- 基于DSPN的浮标布阵系统建模与仿真被引量:1
- 2011年
- 浮标布阵系统是航空电子系统中典型的实时嵌入式系统,系统性能评价是其发展的重要理论基础和支撑技术。以浮标布阵系统为应用背景,研究了航空电子系统原理和特点,并对航空电子系统周期性消息进行了研究。给出了一套完整的基于确定与随机Petri网的性能评价模型。通过对模型的仿真,得到了系统的性能指标总线利用率随系统运行时间变化的规律,通过对性能曲线分析,可对航空电子系统的设计和完善提供重要的理论依据。
- 许家俊姚淑珍谭火彬
- 关键词:确定与随机PETRI网仿真性能评价