论文部分内容阅读
软件可靠性评估是软件可靠性研究的重要问题,本文研究了软件测试数据的样本点序法,获得了软件可靠度的置信下限,证明了该置信限的最优性.最后给出一个实例说明该方法的可行性.
软件测试数据的统计分析
【摘 要】
：
软件可靠性评估是软件可靠性研究的重要问题,本文研究了软件测试数据的样本点序法,获得了软件可靠度的置信下限,证明了该置信限的最优性.最后给出一个实例说明该方法的可行性
【机 构】
：
海军工程大学数学系
【出 处】
：
工程数学学报
【发表日期】
：
2005年1期
其他文献
设f∈C^0（T，T）是树T上的连续自映射，N为自然数集，则下述条件等价：1） f有异状点；2） f的拓扑熵大于零；3）存在m∈N使得{mk ： k ∈ N} 包含 Per（f）;4）存在n∈N使得f^n具有2-马蹄。
本文在基本本标的资产价格服从几何分数布朗运动且其波动率为常数的假设下，在基础标的资产有结利支付且无风险利率和红利率为非随机函数时求出了各种混合期权的定价公式。
本文提出和研究具有连续参数齐次随机场在带状区域上的线性预测问题，求出了它的预测值与预测误差，同时也得到了具有一个连续参数平稳随机过程的线性内插的对应结果。
支撑向量机是基于有限数据的机器学习算法,主要研究如何从一些给定的观测数据获得目前尚不能通过原理分析得出的规律,利用这些规律去分析客观现象并对无法观测的数据进行预测
多方程线性模型系统的贝叶斯预报分析是贝叶斯线性模型理论的重要组成部分。通过模型系统的统计结构，证明了矩阵正态-Wishart分布是模型参数的共轭先验分布：根据模型的样本似然