简介:用不同于已有的方法证明了任意实Banach空间中一致Lipschitz强连接伪压缩算子在具误差的修正的Mann迭代和具误差的修正的Ishikawa迭代下收敛和稳定的等价性,其中迭代参数{βn}仅需limsupn→∞βn〈k/L(L+1),这推广和改进了目前需假设limn→∞βn=0和两迭代程序初始点的取值需相同条件下的已有结果.
简介:基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。
简介:OptimalcontainmentcontrolforaclassofstochasticsystemsperturbedbyPoissonandwienerprocesses.OptimalFinancingofaCorporationSubjecttoRandomReturns:ASummary.Optimalstrategiesforergodiccontrolproblemsarisingfromportfoliooptimization.OptimalityofThresholdTransmissionPoliciesinGilbertElliottFadingChannels.Optimizationofutilityfor“largerinvestor”withanticipation.
简介:证明了几个重要不等式,并研究了几类不同边界条件下随机半闭1-集压缩算子方程随机解的存在情况,得到了若干新的结果.