机译:使用对等和分层样本对PCTL进行统计验证
Duke Univ Elect & Comp Engn Durham NC 27708 USA;
Univ Calif San Diego Comp Sci & Engn San Diego CA 92103 USA;
Univ Illinois Mech Sci & Engn Urbana IL USA;
Univ Illinois Comp Sci Urbana IL USA;
Univ Illinois Coordinated Sci Lab Urbana IL USA;
Markov chains; Temporal logic; Variance reduction; Sequential probability ratio test;
机译:使用分层样本对PCTL进行统计验证
机译:对立抽样和分层抽样在蒙特卡洛按时间顺序生产成本建模(电力系统)中的有效性
机译:对立抽样和分层抽样在蒙特卡洛年代生产成本建模中的有效性
机译:使用分层样品的PCTL统计验证
机译:傅立叶变换的随机抽样估计:对立分层蒙特卡洛。
机译:结果向量依赖于纵向连续响应数据的取样:基于摘要统计的分层采样
机译:结果向量依赖于纵向连续响应数据的取样:基于摘要统计的分层采样
机译:TRaN-sTaT环境研究统计,第24期,1983年8月。现场采样设计,简单随机和分层随机抽样