论文部分内容阅读
软件可靠性评估是软件可靠性研究的重要问题,本文研究了软件测试数据的样本点序法,获得了软件可靠度的置信下限,证明了该置信限的最优性.最后给出一个实例说明该方法的可行性.
软件测试数据的统计分析
【摘 要】
：
软件可靠性评估是软件可靠性研究的重要问题,本文研究了软件测试数据的样本点序法,获得了软件可靠度的置信下限,证明了该置信限的最优性.最后给出一个实例说明该方法的可行性
【机 构】
：
海军工程大学数学系
【出 处】
：
工程数学学报
【发表日期】
：
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-马蹄。
本文在基本本标的资产价格服从几何分数布朗运动且其波动率为常数的假设下，在基础标的资产有结利支付且无风险利率和红利率为非随机函数时求出了各种混合期权的定价公式。
本文提出和研究具有连续参数齐次随机场在带状区域上的线性预测问题，求出了它的预测值与预测误差，同时也得到了具有一个连续参数平稳随机过程的线性内插的对应结果。
支撑向量机是基于有限数据的机器学习算法,主要研究如何从一些给定的观测数据获得目前尚不能通过原理分析得出的规律,利用这些规律去分析客观现象并对无法观测的数据进行预测
<正>通胀虽离我国设定的CPI3.5尚有一段距离,但由于食品的基础性影响及居民的通胀预期,加之大宗商品价格在美元推动下走高,央行在放松货币政策的过程中不得不有所顾忌。通过
潍坊亚星化工集团总公司是国有大型一档化工企业,是国家512家重点企业以及山东省管理示范企业之一。现有职工4200人,总资产12亿元,下设潍坊化工有限公司、丽波日化股份有限公
6月12日,在日本大阪召开的G20全球能效创新和清洁技术融资峰会上,国际能效组织面向全球发布建筑技术领域国际'双十佳'最佳节能技术和最佳节能实践清单,中国哈尔滨朗
多方程线性模型系统的贝叶斯预报分析是贝叶斯线性模型理论的重要组成部分。通过模型系统的统计结构，证明了矩阵正态-Wishart分布是模型参数的共轭先验分布：根据模型的样本似然
2018年1月8日,兰州科天健康科技股份有限公司举行中川001聚氨酯避孕套生产基地投产仪式。兰州新区管委会主任牛向东,科天健康董事长戴家君以及全国媒体等百余人参加此次庆典
期刊