随机Petri网在系统可用性分析中的应用 被引量：13

1

作者 蒋乐天 徐国治 +1 位作者 应忍冬 张昊 《系统仿真学报》 EI CAS CSCD 2002年第6期796-799,共4页

Petri网自1962年提出以来,倍受工业界和学术界的广泛关注。经过几十年的时间,Petri网的理论不断的完善,Petri网在各行各业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发,讲... Petri网自1962年提出以来,倍受工业界和学术界的广泛关注。经过几十年的时间,Petri网的理论不断的完善,Petri网在各行各业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发,讲述了随机Petri网模型(SPN)、广义随机Petri网模型(GSPN)和随机回报网模型(SRN)。然后以冗余备份系统为例,讨论了随机Petri网在系统可用性分析中的应用以及随机Petri网模型的分析。最后讨论与其它建模方法相比,利用随机Petri网来建立系统可用性模型的优点。 展开更多

关键词 随机PETRI网 系统可用性分析 冗余备份系统 通信系统

下载PDF 职称材料

系统可靠性和可用性分析技术 被引量：13

2

作者 蒋乐天 徐国治 +1 位作者 应忍冬 张昊 《电讯技术》 北大核心 2002年第4期121-126,共6页

随着科学技术的发展和社会的进步 ,系统可靠性和可用性分析成为一个越来越重要的研究领域。本文从可靠性的起源和发展出发进行论述 ,重点介绍了描述系统可靠性的参数以及两类系统可靠性和可用性的分析技术 ,对它们的模型、求解和各种分... 随着科学技术的发展和社会的进步 ,系统可靠性和可用性分析成为一个越来越重要的研究领域。本文从可靠性的起源和发展出发进行论述 ,重点介绍了描述系统可靠性的参数以及两类系统可靠性和可用性的分析技术 ,对它们的模型、求解和各种分析方法之间的关系作了阐述 ,最后对存在的问题及解决的方法进行了归纳。 展开更多

关键词 可靠性 可用性 建模方法 系统

下载PDF 职称材料

基于强局部加权回归算法的软件老化趋势提取 被引量：6

3

作者 蒋乐天 徐国治 周玲玲 《上海交通大学学报》 EI CAS CSCD 北大核心 2006年第11期1951-1954,共4页

针对软件老化引起系统资源损耗、系统性能恶化以及软件失效的现象,提出利用强局部加权回归算法进行软件老化趋势的提取方法.该方法利用强局部加权回归算法对系统资源的损耗过程进行提取,得到软件老化的趋势估计,建立软件老化模型.从而... 针对软件老化引起系统资源损耗、系统性能恶化以及软件失效的现象,提出利用强局部加权回归算法进行软件老化趋势的提取方法.该方法利用强局部加权回归算法对系统资源的损耗过程进行提取,得到软件老化的趋势估计,建立软件老化模型.从而可为由于软件老化所引起的软件失效提供前期预测,为系统软件的及时维护提供科学依据.通过对一实际软件系统的实验分析,验证了该方法的可行性和有效性. 展开更多

关键词 软件老化 强局部加权回归 趋势提取

下载PDF 职称材料

软件缺陷及软件可靠性技术 被引量：16

4

作者 蒋乐天 徐国治 《计算机仿真》 CSCD 2004年第2期141-144,共4页

近年来的研究表明,系统发生的失效更多的是由于软件缺陷引起的。因此软件可靠性成为系统可靠性的关键,也是高可靠性和高可用性系统的一个主要的研究内容。该文在描述了软件可靠性与硬件可靠性不同的基础上,对软件可靠性模型、软件缺陷,... 近年来的研究表明,系统发生的失效更多的是由于软件缺陷引起的。因此软件可靠性成为系统可靠性的关键,也是高可靠性和高可用性系统的一个主要的研究内容。该文在描述了软件可靠性与硬件可靠性不同的基础上,对软件可靠性模型、软件缺陷,以及软件可靠性技术进行了总结和论述。 展开更多

关键词 软件缺陷 软件可靠性 软件质量 软件系统 软件工程 计算机

下载PDF 职称材料

故障树模型与Markov模型的关系及转换 被引量：3

5

作者 蒋乐天 徐国治 《系统工程与电子技术》 EI CSCD 北大核心 2003年第11期1441-1444,共4页

故障树模型和Markov模型是可靠性分析中最常用的两种方法。探讨了从故障树模型到Markov模型的转换问题。通过通常的列举法从树得到的Markov模型的状态数在基本器件数目很多时将会非常大。为简化模型,提出了用合并法和层次法来减少Marko... 故障树模型和Markov模型是可靠性分析中最常用的两种方法。探讨了从故障树模型到Markov模型的转换问题。通过通常的列举法从树得到的Markov模型的状态数在基本器件数目很多时将会非常大。为简化模型,提出了用合并法和层次法来减少Markov模型的状态数。利用这两种方法不但可以减少状态数,而且简化了Markov模型的计算。 展开更多

关键词 故障树 模型转换 可靠性分析

下载PDF 职称材料

软件Rejuvenation周期的优化 被引量：1

6

作者 蒋乐天 徐国治 《上海交通大学学报》 EI CAS CSCD 北大核心 2007年第1期51-55,共5页

软件Rejuvenation技术通过定期对软件系统执行Rejuvenation操作来有效改善软件系统性能,执行Rejuvenation操作的周期直接关系到软件系统性能的改善.目前,主要通过单个指标的优化对软件Rejuvenation周期进行研究,这并不能整体提高性能.... 软件Rejuvenation技术通过定期对软件系统执行Rejuvenation操作来有效改善软件系统性能,执行Rejuvenation操作的周期直接关系到软件系统性能的改善.目前,主要通过单个指标的优化对软件Rejuvenation周期进行研究,这并不能整体提高性能.鉴于此,提出了综合考虑整体性能指标的方法来优化软件Rejuvenation周期,将所关心的指标综合考虑,在适当降低某个指标性能的同时有效提高其他指标性能,起到整体提高软件系统性能的目的.以综合考虑系统可用性、系统停机时间以及系统损失3个指标为例进行探讨,并寻找到了2个可以用之对软件Rejuvenation周期进行优化的目标函数.实验结果表明,通过该目标函数得到的周期可以很好地改善软件系统的整体性能. 展开更多

关键词 软件REJUVENATION 系统可用性 系统停机时间 系统损失

下载PDF 职称材料

一种简化的可靠性模型的误差分析

7

作者 蒋乐天 徐国治 +1 位作者 张昊 应忍冬 《上海交通大学学报》 EI CAS CSCD 北大核心 2003年第3期466-468,共3页

为了简化系统可靠性和可用性的建模和分析过程 ,提出了一种简化 Markov模型的方法 .通过对系统进行简化 ,忽略掉一些不重要的过程 ,减少相应 Markov模型中的状态数来简化计算 .通过对系统建立的简化模型进行误差分析 ,在已知被忽略状态... 为了简化系统可靠性和可用性的建模和分析过程 ,提出了一种简化 Markov模型的方法 .通过对系统进行简化 ,忽略掉一些不重要的过程 ,减少相应 Markov模型中的状态数来简化计算 .通过对系统建立的简化模型进行误差分析 ,在已知被忽略状态的最少信息的前提下得到简化模型的误差界限 . 展开更多

关键词 MARKOV模型 误差界限 可靠性 可用性

下载PDF 职称材料

基于客户机/服务器的系统资源数据采集

8

作者 蒋乐天 周玲玲 徐国治 《计算机工程》 CAS CSCD 北大核心 2003年第14期32-34,共3页

系统资源数据的采集是基于预测软件Rejuvenation技术的一个很重要的环节，为后面的软件老化过程的确认和可能的软件失效的预测提供准备。该文利用客户机/服务器的模式对开放式操作系统Linux平台上的系统资源数据的采集和网络传输进行了... 系统资源数据的采集是基于预测软件Rejuvenation技术的一个很重要的环节，为后面的软件老化过程的确认和可能的软件失效的预测提供准备。该文利用客户机/服务器的模式对开放式操作系统Linux平台上的系统资源数据的采集和网络传输进行了讨论，并进行了程序的设计及实现。 展开更多

关键词 客户机/服务器 数据采集 数据传输

下载PDF 职称材料

简化Markov模型的可靠性分析(英文)

9

作者 蒋乐天 徐国治 +2 位作者 应忍冬 张昊 HAN James J 《电路与系统学报》 CSCD 2004年第1期122-125,共4页

Markov模型是电子产品系统可靠性分析中最常使用的方法。但在应用Markov模型的时候一个主要的问题是它的巨大的状态数,使得它对复杂系统的建模和分析变得非常困难。本文提出了一种新的简化Markov模型的方法来简化对系统可靠性的分析。... Markov模型是电子产品系统可靠性分析中最常使用的方法。但在应用Markov模型的时候一个主要的问题是它的巨大的状态数,使得它对复杂系统的建模和分析变得非常困难。本文提出了一种新的简化Markov模型的方法来简化对系统可靠性的分析。并且对该简化方法的误差界限进行了讨论。数值仿真结果表明了该方法的有效性。 展开更多

关键词 MARKOV模型 简化方法 误差界限

下载PDF 职称材料

基于Kinect深度信息的实时三维重建和滤波算法研究 被引量：42

10

作者 陈晓明 蒋乐天 应忍冬 《计算机应用研究》 CSCD 北大核心 2013年第4期1216-1218,共3页

分析了基于Kinect输出的深度数据进行场景实时三维重建的算法。针对实现过程中出现的深度图像噪声过大的问题,根据其信号结构的特点给出了改进的双边滤波算法。新算法利用已知的深度图像噪声范围,将权值函数修改为二值函数,并结合RGB图... 分析了基于Kinect输出的深度数据进行场景实时三维重建的算法。针对实现过程中出现的深度图像噪声过大的问题,根据其信号结构的特点给出了改进的双边滤波算法。新算法利用已知的深度图像噪声范围,将权值函数修改为二值函数,并结合RGB图像弥补了缺失的深度信息。实验表明,新算法无论是在降噪性能还是计算效率上,都大大优于已有的双边滤波,其中计算速度是原始算法的6倍。 展开更多

关键词 实时三维重建 KINECT 三维点云 噪声分析 深度图像 双边滤波 联合双边滤波

下载PDF 职称材料

基于机器视觉的快速车道线识别 被引量：15

11

作者 鞠乾翱 应忍冬 蒋乐天 《计算机应用研究》 CSCD 北大核心 2013年第5期1544-1546,1550,共4页

为了克服已有车道线识别算法运算复杂、速度较慢以及鲁棒性欠缺等不足之处,提出一种新的快速车道线识别算法,首先通过对图像的灰度变化分析,得出车道线轮廓像素,然后运用B-Spline曲线拟合车道线轮廓,得到最终的识别效果图。实验表明,该... 为了克服已有车道线识别算法运算复杂、速度较慢以及鲁棒性欠缺等不足之处,提出一种新的快速车道线识别算法,首先通过对图像的灰度变化分析,得出车道线轮廓像素,然后运用B-Spline曲线拟合车道线轮廓,得到最终的识别效果图。实验表明,该算法在速度和识别率上都能取得优异的表现。在嵌入式平台上,该算法取得了12 fps的速度,符合智能驾驶的实际需求。 展开更多

关键词 机器视觉 车道线识别 B-SPLINE 曲线拟合 随机采样一致 嵌入式系统

下载PDF 职称材料

基于随机回报网的机群系统可用性建模及仿真 被引量：7

12

作者 范新媛 徐国治 +1 位作者 应忍冬 蒋乐天 《系统仿真学报》 CAS CSCD 2004年第8期1655-1658,共4页

随机回报网作为随机Petri网的一个分枝,在多个方面扩展了模型的描述功能,提高了建模效率和分析能力。采用随机回报网对机群系统进行建模和分析,综合考虑了机群前端的分配器和后端的服务器对系统整体性能的影响,给出了性能指标的计算方法... 随机回报网作为随机Petri网的一个分枝,在多个方面扩展了模型的描述功能,提高了建模效率和分析能力。采用随机回报网对机群系统进行建模和分析,综合考虑了机群前端的分配器和后端的服务器对系统整体性能的影响,给出了性能指标的计算方法,并结合实例进行了分析。 展开更多

关键词 机群系统 分配器服务器 随机回报网 可用性

下载PDF 职称材料

基于检查点和Rejuvenation的软件运行模型分析 被引量：1

13

作者 范新媛 徐国治 +1 位作者 应忍冬 蒋乐天 《计算机仿真》 CSCD 2004年第1期124-126,129,共4页

近来的研究表明 ,长时间运行的通信软件往往存在老化现象。为防止软件老化引起的突发性系统停机 ,提高系统的可靠性 ,人们提出了一种预防性的软件容错策略 ,称为rejuvenation。由于它的过程复杂 ,总的停机成本仍然是可观的。检查点是一... 近来的研究表明 ,长时间运行的通信软件往往存在老化现象。为防止软件老化引起的突发性系统停机 ,提高系统的可靠性 ,人们提出了一种预防性的软件容错策略 ,称为rejuvenation。由于它的过程复杂 ,总的停机成本仍然是可观的。检查点是一种轻量级的软件容错策略 ,其成本远小于rejuvenation的成本。该文通过合理结合rejuvenation和检查点技术 ,实现了降低总的系统停机成本的目的。文中给出了系统的Petri网模型 ,并结合实例进行了分析。 展开更多

关键词 检查点 REJUVENATION 通信软件 软件容错 软件可靠性 软件老化

下载PDF 职称材料

机群系统基于预测的软件Rejuvenation策略研究 被引量：1

14

作者 范新媛 徐国治 蒋乐天 《计算机仿真》 CSCD 2004年第11期250-253,共4页

处于运行阶段的软件往往存在老化现象 ,即软件的性能随着时间的推移逐渐下降 ,甚至导致突发的系统停机。为了抵消软件老化带来的消极影响 ,人们提出了一种称为软件rejuvenation的预防性容错策略。该策略通过主动的停止程序运行、清理程... 处于运行阶段的软件往往存在老化现象 ,即软件的性能随着时间的推移逐渐下降 ,甚至导致突发的系统停机。为了抵消软件老化带来的消极影响 ,人们提出了一种称为软件rejuvenation的预防性容错策略。该策略通过主动的停止程序运行、清理程序的内部环境等步骤使重启后的软件回到正常的初始状态 ,避免了老化引起的突发性失效 ,因而可以提高系统的可用性。现有的软件rejuvenation包括定时和预测两种方法。该文把基于预测的rejuvenation策略引入机群 ,并综合考虑了机群系统前端的分配器和后端的服务器 ,对这两类实体分别实施rejuvenation ,以改善系统性能。该文构建了在rejuvenation策略下整个机群的SRN模型 ,以分析不同的预测概率对系统性能的影响。仿真结果表明该策略可以有效的提高整个机群系统的可用性。 展开更多

关键词 软件老化 机群 分配器/服务器架构 随机回报网

下载PDF 职称材料

基于时间触发架构的网络技术研究与设计 被引量：8

15

作者 张巍 蒋乐天 罗泽雄 《航空电子技术》 2017年第2期44-49,共6页

随着航空电子系统架构朝着网络化的方向发展,机载电子系统时间关键性和安全关键性的通信应用需求加大,交互的信息量级不断提升,传统的机载总线技术已无法胜任。时间触发以太网(TTE)在引入了高精度时钟同步机制的基础上,采用一致性通信... 随着航空电子系统架构朝着网络化的方向发展,机载电子系统时间关键性和安全关键性的通信应用需求加大,交互的信息量级不断提升,传统的机载总线技术已无法胜任。时间触发以太网(TTE)在引入了高精度时钟同步机制的基础上,采用一致性通信、故障容忍和冗余设计等技术提高了通信的实时性、稳定性和安全性。以TTE和时间触发协议(TTP)为例,综合TTE和TTP的优势,提出跨网段的一体式时间触发网络设计方法,为航空机载电子系统领域提供了基于时间触发架构的统一网络服务。 展开更多

关键词 时间触发架构 时间触发以太网(TTE) 时间触发协议(TTP) 时钟同步 故障容忍 冗余设计 跨网段

下载PDF 职称材料

基于RealSense的坐姿检测技术 被引量：3

16

作者 董建成 蒋乐天 《电子产品世界》 2016年第1期76-78,共3页

针对越来越多的年轻人使用电脑进行办公的时间越来越长,坐姿不正确导致的颈肩腰部疾病发病率及视力下降的问题,设计了一种不需要额外佩戴智能硬件的坐姿检测技术。该方案使用Intel最新的Real Sense 3D摄像头进行画面采集,通过对三维数... 针对越来越多的年轻人使用电脑进行办公的时间越来越长,坐姿不正确导致的颈肩腰部疾病发病率及视力下降的问题,设计了一种不需要额外佩戴智能硬件的坐姿检测技术。该方案使用Intel最新的Real Sense 3D摄像头进行画面采集,通过对三维数据的实时分析,准确的判断出用户的坐姿情况,相对于智能硬件的解决方案可以大幅度提高准确度,市场上新出的笔记本电脑中带有Real Sense的型号也较多,具有较好的应用前景。 展开更多

关键词 坐姿检测 实感摄像头 RealSense 三维数据

下载PDF 职称材料

小型无人机交通辅助系统 被引量：3

17

作者 董建成 蒋乐天 《电子产品世界》 2014年第11期49-50,共2页

本系统用来辅助交通管理,对过往车辆进行车牌识别,发现有在逃车辆的车牌号码时自动进入无人机控制模式,利用无人机对目标车辆进行跟踪,并反馈目标位置、速度信息,进行更好的管理和拦截。以Intel的手机平台为系统核心,采用Open CV进行图... 本系统用来辅助交通管理,对过往车辆进行车牌识别,发现有在逃车辆的车牌号码时自动进入无人机控制模式,利用无人机对目标车辆进行跟踪,并反馈目标位置、速度信息,进行更好的管理和拦截。以Intel的手机平台为系统核心,采用Open CV进行图像处理,利用人工神经网络的方法进行自动车牌识别,提供语音识别遥控以及按钮遥控无人机的功能,充分发挥Intel手机平台的运算性能,协助交通警察监管交通状况。 展开更多

关键词 人工神经网络 自动车牌识别 语音识别 无人机控制 Intel移动架构

下载PDF 职称材料

乙二醇紫外透光率测试用参比水的优化与筛选

18

作者 王晓莉 毛秀平 +3 位作者 倪前龙 蒋乐天 雒习朴 仵春祺 《分析仪器》 CAS 2011年第2期48-50,共3页

紫外透光率是衡量聚酯级乙二醇产品质量的一项重要指标。而参比水质是影响乙二醇紫外透光率测定结果的一个重要因素,本文通过一系列条件试验,对独山子公司各级实验室蒸馏水水质情况,进行普查并优化,提出保证乙二醇紫外透光率测试准确性... 紫外透光率是衡量聚酯级乙二醇产品质量的一项重要指标。而参比水质是影响乙二醇紫外透光率测定结果的一个重要因素,本文通过一系列条件试验,对独山子公司各级实验室蒸馏水水质情况,进行普查并优化,提出保证乙二醇紫外透光率测试准确性的方法。 展开更多

关键词 紫外透光率 参比水

下载PDF 职称材料

SURF算法在小尺寸图像拼接中参数配置的优化 被引量：3

19

作者 周宇浩崴 应忍冬 蒋乐天 《计算机工程与应用》 CSCD 2013年第19期191-195,共5页

在图像拼接领域,SURF算法因其出众的时效性和鲁棒性,有着十分广泛的应用。针对SURF算法中特征点提取和描述过程中参数固定,对侧重点不同的图像拼接应用存在变通性较差的问题,提出了从窗口滤波器权值,特征点周围子区域的选择以及子区域内... 在图像拼接领域,SURF算法因其出众的时效性和鲁棒性,有着十分广泛的应用。针对SURF算法中特征点提取和描述过程中参数固定,对侧重点不同的图像拼接应用存在变通性较差的问题,提出了从窗口滤波器权值,特征点周围子区域的选择以及子区域内Haar小波变换的采样点范围三方面进行参数配置优化。针对目前主流的流媒体尺寸图像,利用控制变量法在不同的SURF参数配置下,对算法的时效性、准确性和鲁棒性等性能进行了分析;通过特征点匹配率和特征点匹配效率的比较,给出了SURF算法参数的选择策略。仿真结果表明该策略可以有效提高SURF算法在图像拼接中的运算速度和准确性,丰富算法在实时领域的应用。 展开更多

关键词 加速鲁棒特征(SURF)算法 图像拼接 小尺寸图像 参数配置 特征点匹配 窗口滤波器 特征点子区域

下载PDF 职称材料

影响电位滴定法测定石油产品溴值准确度的原因及提高方法 被引量：2

20

作者 沈桃英 马琳 +2 位作者 彭永加 蒋乐天 王静丽 《分析仪器》 CAS 2012年第3期59-61,共3页

电位滴定法测定石油产品的溴值,以死停终点法指示反应终点,在实际操作过程中经常会出现重复性差、准确度低的情况,本文主要从空白实验、滴定参数、终点判定、样品量等方面进行了讨论。以期找出影响准确度的原因,并提出解决办法。

关键词 溴值 溴价 溴指数 电位滴定法 死停终点法

下载PDF 职称材料