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

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

考虑S型测试工作量函数与不完美排错的软件可靠性模型

为准确描述测试工作量与不完美排错这2种重要测试过程因素对软件可靠性建模的影响,提升软件可靠性模型的拟合与预计精度,提出一种变形S型测试工作量函数,描述测试工作量增长速率随测试时间先增后减的S型增长趋势.在此基础上,分别提出考虑S型测试工作量函数与2种不完美排错假设的指数型非齐次泊松过程(NHPP)软件可靠性模型(即IS...     

一种直方图不完全均衡化方法

直方图均衡技术是图像增强实用且有效的方法之一．由于人的视觉对图像亮度呈近似的对数或立方根响应．利用常规直方图均衡处理后的图像在高灰度区会有过亮现象，提出了一种新的直方图不完全均衡化处理方法：在低灰度区进行常规的均衡化处理，在高灰度区按与人眼响应规律相逆的规律做向下衰减的灰度变换处理；引入不完全均衡化高灰度区闽值rδ概念，导出rδ的最佳值计算公式；所提方法有效地消除了常规直方图均衡化处理引起的高灰度区图像过亮的现象．     

一种直方图不完全均衡化方法

直方图均衡技术是图像增强实用且有效的方法之一 .由于人的视觉对图像亮度呈近似的对数或立方根响应 ,利用常规直方图均衡处理后的图像在高灰度区会有过亮现象 ,提出了一种新的直方图不完全均衡化处理方法 :在低灰度区进行常规的均衡化处理 ,在高灰度区按与人眼响应规律相逆的规律做向下衰减的灰度变换处理 ;引入不完全均衡化高灰度区阈值rδ 概念 ,导出rδ 的最佳值计算公式 ;所提方法有效地消除了常规直方图均衡化处理引起的高灰度区图像过亮的现象     

带统计信息的不完全关系模型——扩展关系模型

鉴于传统关系模型和不完全关系模型的局限性,提出一种扩展关系模型,它具有更丰富的语义内涵和更强的表达能力.定义了有关扩展关系模型的一系列术语和它的形式化描述,对带统计信息的不完全信息系统作了严格的数学描述,提出了新的建库思想,在保证数据库结构完整性的前提下,尽可能利用原始信息.     

生态平衡条件下尺度结构模型的最优捕获

基于种群的存活、繁殖以及人为投放和捕捞的相关假设,建立了种群在平衡态下的最优捕获模型。利用极值理论对优化问题进行分析和求解,获得了最优捕捞强度策略、最优平衡态和最大收益值。     

信息不完全条件下项目融资结构优化决策研究

针对项目融资结构决策问题的复杂性,通过建立项目融资优化决策的指标,在偏好信息不完全条件下通过优化单个融资方案的综合评价理想值,得到相应条件下的各融资方案的优化指标权向量,再通过组合得到各指标最佳协调权向量,由此得到融资方案优化决策结果,该方法避免了获取指标偏好信息的困难,实例表明该方法的合理性和可行性.     

产品不完全同质的Hotelling模型

构造了产品不完全同质条件下空间差异化的2阶段动态博弈模型,证明了即使在线性交通成本、消费者均匀分布等条件下,在产品不同质而导致产品总效用不同的双寡头市场上,企业的最优选择策略既不是最大差异化也不是最小差异化.最小差异化往往带来恶性价格竞争,而实行差异化又需要成本;最大差异化也不是所有情况下的企业的最优选择策略,企业应选择"适度差异化"策略.并且进一步讨论了交通费用剩余、垄断限价和共谋等相关问题.     

不完全信息下电力市场竞价的博弈模型

针对在单一购买者的电力市场模式下发电商之间的竞争,在研究了不完全信息条件下电力联营体的最优拍卖机制基础上,将发电商的生产成本或生产函数看作是其私人信息,通过应用博弈论中关于机制设计的理论,建立了电力联营体最优拍卖机制的理论模型.用该模型求出的交易机制可为电力监管部门在进行发电市场的信息引导时提供理论依据.     

不完全合约下的企业违约行为剖析

我国银行与企业之间信贷合约的特点决定了合约的不完全性，这使得企业的违约成为可能，由信息不对称、企业产权不明晰、行政干预、银行事前激励和事后激励机制不足等原因引发的企业机会主义行为又使违约成为必然。主要从不完全合约的角度运用信息经济学的方法论述了企业违约行为产生的微观机理。     

软件测试资源与成本管控和最优发布策略

为全面系统地了解软件测试过程中与可靠性相关的重要过程的研究现状和最新发展,对测试资源和成本的管理,以及最优发布技术问题进行了深入研究。首先将研究问题划分为4类,剖析了测试资源分配与控制,成本模型和最优发布基本内容,给出了其公式化的形式化描述和内在关系;然后从软件体系结构建模、测试过程建模、非线性最优化与仿真求解3个方面进行了技术分类评述。进一步将研究内容从5个方面进行归一化分类,并对选取的典型模型进行了归类比较总结。最后,指出了进一步研究发展的主要问题。研究分析表明,测试资源分配与成本管控和最优发布策略中,考虑到软件体系结构特征和不完美排错模型,向多目标融合方向发展,并与可靠性评估相关是后续研究的研究。     

A software cost model with maintenance and risk costs for safety-critical systems

Safety-critical systems are those systems whosefailure could result in loss of life,significant propertydamage,or damage to the environment[1].Software isincreasingly being used to control safety-critical systemsnow.But how can we improve the reliability of soft-ware?Formal methods can successfully enhance thequality of software and therefore increase the confidencein the system behaviors[2-4].Unfortunately,formalmethods are too complex to apply.Software testing isan efficient way to improve …     

软件测试人力资源分配的最优算法研究

针对软件测试人力资源分配问题 ,研究最优的人力资源分配方法 ,并给出利用计算机实现的算法 .     

基于事件注入机制的软件调试方法与实现

在研究原有QF(事件驱动框架)和QS(实时跟踪调试器)的基础上,提出并设计实现了基于事件注入机制的软件调试方法,使得软件调试有针对性地主动进行,并实现调试自动化,该方法可以提高软件调试的效率。     

基于软件差错相关的可靠性增长模型

通过考虑软件中差错的相关性,讨论了一种基于ＮＨＰＰ的新的软件可靠性增模型,并以ＭＬＬＦ、ＡＩＣ和均方误差为准则,将该模型与普通Ｓ型可靠性增长模型和延迟Ｓ型可靠性增长模型做了比较,得出了较为满意的结果。     

软件可靠性综合模型

提出了多模型加权平均的软件可靠性综合模型,通过权值的动态调整实现模型的选择与混合.选择的目的是要找出最适合待评估软件的模型,混合目的是要综合各模型的评估结果.所以,关键是要进行权值的动态调整.为此提出用贝叶斯分析理论进行权值计算的方法,将权值作为贝叶斯超参数,根据实际数据进行超参数更新,从而达到权值计算的目的.     

分布式调试中基于事件模型的确定性重演策略

分布式系统中,进程并发执行的不确定性导致了程序错误的不可再现性,后续的执行无法再现前次执行的错误,这使得反复执行程序以重现故障的循环调试方法不再可用．基于事件模型的记录重演机制,提出了一种确定性的重演策略．该策略使得程序的执行轨迹确定化,重现了程序初始运行的错误状态,并结合传统的循环调试策略,通过设立断点或单步调试等方法最终定位错误．     

构件化嵌入式软件可靠性预测模型

由于传统的基于黑盒的可靠性建模方法不适合构件化软件开发,所以如何利用软构件的可靠性,预测分析嵌入式系统的可靠性成为一个亟待解决的问题.考虑到构件开发者与使用者相分离的特征以及构件化软件的组装方式,综合应用构件可靠度属性、用户使用剖面以及系统架构,建立了一个构件化软件可靠度分析预测模型.此模型的核心思想包括:软件的架构建模为离散马尔科夫状态机模型,将并行、冗余、调用等复杂结构通过视图映射转换为状态机模型;构件的开发者给出构件每个接口的可靠性,构件应用者按构件级、接口级两个层次给出构件的使用剖面,据此可计算出构件在不同应用场景的可靠度.     

带跳分数布朗运动下最优金融决策

为了考虑一类带有人寿保险的最优投资消费策略问题,假定风险资产价格过程服从带泊松跳的分数布朗运动,在最大化投资者生命周期内的投资、消费和投保的期望效用的准则下,使用动态规划原理建立了最优投资消费选择模型.最后在CRRA效用下通过求解HJB方程得到了最优金融决策的解析式解.