软件可靠性JM模型完全排错假设的修改

JM模型是最具代表性的早期软件可靠性马尔可夫过程的数学模型 .其完全排错的假设与软件开发实际不相适合 ,后人虽然提出排错可能引入一个或两个错误的假设 ,但还没有从本质上解决问题 .本文作者对此假设提出自己的观点 .

一种基于JM模型的软件安全性测试方法研究

为保证和提高软件安全性水平,针对软件安全性与软件失效后果和发生可能性密切相关,提出一种有效的软件安全性测试方法。在JM模型中注入软件失效严重度参数,对软件失效后果严重度进行降级处理;根据软件失效对系统安全影响程度,推导了软件安全可靠度计算公式;以软件错误严重度和发生概率为核心,建立了软件风险计算公式,更直观地反映软件安全性能,其中所定义的含权软件缺陷严重度变化矩阵,直接反映软件安全改善力度。改进后的JM模型以降低软件风险为目的开展测试过程,更符合软件安全性特征,为软件安全性测试的工程实践提供了一种可行、可信的方法。

H.264 JM模型中丢包算法的研究及改进

H.264建议JM模型中的丢包算法存在3个问题:1)实际的丢包率与所设定的预期值经常会有偏差;2)不能模拟突发丢包;3)在丢包率不变的情况下,对同一个码流进行多次丢包实验,则每次实验丢弃包的序号总是一样的。为此,通过预先计算丢包数再严格随机丢包、增加Gilbert-Elliott模型以及利用srand和time函数进行随机数种子赋值对上述问题进行了改进。实验结果表明,改进后的算法能够比较精确地进行随机丢包和突发丢包,并具有随机的效果。

软件可靠性JM模型的改进研究

在分析JM模型的局限性基础上,针对其模型假设不考虑软件故障后果以及忽略可靠性因素两个问题,提出了划分故障严重程度等级及将可靠性度量与可靠性因素联系起来的构想,对JM模型进行了改进.分析和验证结果证实了该方案的可行性.

基于JMS的混合安全消息模型在煤矿应急系统中的应用

为了解决集团式煤矿企业特殊的上报和下发应急信息的业务要求,根据JMS的点对点和发布/订阅2种消息传递模式,提出了一种分布式混合安全消息传递模型。该模型不仅解决了单个消息传递模式不能解决集团式煤矿企业特殊业务的问题,而且对传递的消息使用数字信封技术进行加密和解密,保证了消息迅速,安全,有效的传递到集团式煤矿企业各个单位。最后,构建了原型系统对模型进行了验证。

JM模型中参数的Bayes估计

讨论了软件可靠性模型——JM 模型中故障率比例参数θ的 Bayes 估计问题,分别求出了在贝叶斯假设、杰弗莱原则和共轭分布原则下参数θ的先验分布、后验分布及相应的 Bayes 估计,并对它们进行了比较和讨论。

基于JMS的遥感卫星地面系统通信设计

越来越多的企业系统集成采用JMS与XML的组合作为通信模型。文章首先介绍了具有Java语言平台无关性的JMS技术和XML,然后分析了遥感卫星地面系统通信模型的特点,最后设计一个基于JMS,并采用XML和JSON格式的混合数据流的遥感卫星地面系统通信模型。

JM模型缺陷排除假设的修改及参数估计

JM模型是软件可靠性模型中影响较大者之一,它假设缺陷排除是完全的,后人对此模型提出了种种修改和补充,但没有从本质上解决问题.本文对此假设提出自己的观点,并给出了置信限及其证明.

基于JM扩展模型的校媒校企协同育人机制研究——以合肥学院为例

在"产教融合,协同培养"政策牵引和媒体融合发展趋势下,校媒校企深度融合协同育人越来越成为应用型本科院校新闻传播学专业实现创新型人才培养的关键。研究解析了校媒校企深度融合协同育人动力结构及其功能建设,借助JM扩展模型,解构了基于关系建设、互动实施与协同保障的协同育人机制。基于合肥学院的案例分析,研究实现了政策性导向、理论性提炼与事务性操作的对接,为同类院校提供操作性经验借鉴。

H.264JM模型中UMHexagonS算法优化

JM模型是JVT(joint video team)发布的H.264标准测试模型,对运动搜索算法的学习和研究有着重要的意义。本文结合JM10.1的源代码对UMHexagonS算法的提前终止策略进行了深入研究,对搜索模板进行象限分割来减少算法的搜索点数,在基本上保持了原有图象质量的情况下有效的节省了编码时间和运动估计时间。通过对5种测试序列的测试结果进行分析,优化后的UMHexagonS算法可以在图像信噪比和码率基本不变的情况下,编码时间节省8.87%,运动估计时间平均节省11.46%,有效的提高了编码的实时性。

基于JMS和XML的信息交换中消息队列管理模型设计

该文介绍了JMS的基本工作原理，并在此基础上提出了基于JMS和XML技术信息交换模型的设计，并着重提出信息交换中消息队列管理模型的研究。此模型基本上能解决信息交换中信息量大且容易阻塞的问题。

基于JMS规范的消息系统可靠性保障对策

为实现机场管理信息系统(AMIS)中各业务子系统之间互操作和无缝连接,基于JMS规范的消息系统首先需要解决的就是消息可靠性问题,在针对JMS规范的两种消息传递模型,结合机场消息中事件固有的先后顺序关系,提出了一种更高效更适合机场业务的保障消息可靠性的方法,并给予了实现。

基于JMS的安全通信模型研究与设计研究

现阶段,面向消息中间件的安全性是行业研究热点,旨在设计出能够保障数据传输完整性的安全机制。了解Java消息服务(Java Message Service,JMS)两种消息通信模型,明确其在安全性方面的不足,应用数字加密技术,提出以身份验证为前提的安全通信模型,最后对模型各部分组成详细阐述。采用数字签名信息进行双向身份认证,提高基于JMS的通信安全性,发挥相应技术的应用优势,完成数据高效传输。

变电站综合自动化系统的软件可靠性研究

提出在变电站综合自动化系统的软件开发中运用软件可靠性工程的理论,以保证和提高软件系统的可靠性的观点。建立了基于改进的JM模型的变电站综合自动化系统软件可靠性模型,改进模型在原有的JM模型基础上定义了故障消除概率,从而克服了原模型对于排错过程估计过于乐观的不足。该模型可以根据软件测试中搜集的故障数据,预测出软件系统可靠性增长的趋势,从而得出软件可以达到的可靠性指标及达到该指标所需要的测试时间。算例说明了该模型的可行性与有效性。

软件可靠性模型的Bayes推断及Gibbs算法

作为重要的软件可靠性模型,JM模型的研究具有重要意义.论文研究了JM模型Bayes估计及其Gibbs算法.在先验分布确定的情况下,给出了Bayes估计的Gibbs算法,并证明了其收敛性.最后通过模拟分析发现:在l≥100,k>600时,所得到的参数Bayes估计与初始值几乎无关.从而说明Gibbs算法的可行性.

负指数分布排错时间的软件可靠性模型

传统的软件可靠性模型大多假设排除错误的时间忽略不计,基于假设过于苛刻,影响了模型应用的范围和精度。因此在JM模型的基础上,提出了排错时间为负指数分布的软件可靠性模型及本模型的极大似然参数估计方法。通过用马尔可夫过程描述系统的状态,分析了模型的数值求解方法,并讨论了使用在本模型中的失效预测、剩余错误预测和等待排出的错误数预测公式。同时利用实际的工程数据对本模型的应用过程进行了验证。

基于节能降耗优化模型的电厂燃料管理系统设计与实现

在考虑安全生产、节能环保的基础上,提出了适用的节能降耗优化管理模型,设计了燃煤采购管理、燃煤贮存管理、燃煤统计分析、燃油信息管理和燃料经济分析等功能模块,并讨论了J2EE应用平台、JMS技术、趋势分析图和动态报表等系统实现关键技术.

H.264视频解码的OpenMP并行优化

随着H.264视频格式得到广泛应用,对H.264解码的效率要求越来越高,对JM15.1模型中的H.264解码过程进行了分析。采用共享存储编程的工业标准OpenMP对解码过程进行了并行区的设置。设置私有变量防止数据竞争和调整了负载。解码效率提高了10%左右。

H.264标准中基于DCT的视频加密研究

随着信息科学和计算机技术的发展,互联网上视频的商业应用,如视频点播、在线电影等变得越来越普及,同时对安全的要求也越来越迫切。为此,针对目前最新的视频压缩标准H.264的特点,提出了若干基于DCT(离散余弦变换)的视频加密算法,采用两个标准视频序列进行了算法仿真,并对各个算法的性能进行了比较分析。本文中所有的试验结果都在为H.264专门编写的JM(联合模型,版本7.3)软件平台上得到了验证。实验结果表明,这些算法基本不影响压缩效率,且用较低的复杂度得到了较好的加密效果。

基于工作流的软件项目管理系统的设计与实现

本文介绍了一个基于工作流技术而研制的软件项目管理系统。文章首先描述了传统软件项目管理系统的不足之处,提出用工作流的方法来设计软件项目管理系统,然后介绍了一些理论基础。文中重点阐述了系统的设计结构和所采用的一些技术,并给出了部分的具体实现方法。