{"title":"Computational probability applications","authors":"L. Leemis","doi":"10.1109/WSC.2014.7019877","DOIUrl":null,"url":null,"abstract":"There is a boundary separating analytic methodology and simulation methodology. If a problem involves the flipping of coins or the rolling of dice, for example, analytic methods are generally employed. If a problem involves a complex series of queues with a nonstationary arrival stream, discrete-event simulation methods are generally employed. This tutorial considers problems that are near the boundary between analytic methods and simulation methods. We use the Maple-based APPL (A Probability Programming Language) to perform operations on random variables to address these problems. The problems considered are the infinite bootstrap, the probability distribution of the Kolmogorov-Smirnov test statistic, the distribution of the time to complete a stochastic activity network, finding a lower bound on system reliability, Benford's law, finding the probability distribution and variance-covariance matrix of sojourn times in a queueing model, probability distribution relationships, testing random numbers, bivariate transformations, and autoregressive moving average time series models.","PeriodicalId":446873,"journal":{"name":"Proceedings of the Winter Simulation Conference 2014","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Winter Simulation Conference 2014","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WSC.2014.7019877","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
Abstract
There is a boundary separating analytic methodology and simulation methodology. If a problem involves the flipping of coins or the rolling of dice, for example, analytic methods are generally employed. If a problem involves a complex series of queues with a nonstationary arrival stream, discrete-event simulation methods are generally employed. This tutorial considers problems that are near the boundary between analytic methods and simulation methods. We use the Maple-based APPL (A Probability Programming Language) to perform operations on random variables to address these problems. The problems considered are the infinite bootstrap, the probability distribution of the Kolmogorov-Smirnov test statistic, the distribution of the time to complete a stochastic activity network, finding a lower bound on system reliability, Benford's law, finding the probability distribution and variance-covariance matrix of sojourn times in a queueing model, probability distribution relationships, testing random numbers, bivariate transformations, and autoregressive moving average time series models.