Parallel Implementations of Random Time Algorithm for Chemical Network Stochastic Simulations
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
A Politico-Social History of Algolt (With a Chronology in the Form of a Log Book)
A Politico-Social History of Algolt (With a Chronology in the Form of a Log Book) R. w. BEMER Introduction This is an admittedly fragmentary chronicle of events in the develop ment of the algorithmic language ALGOL. Nevertheless, it seems perti nent, while we await the advent of a technical and conceptual history, to outline the matrix of forces which shaped that history in a political and social sense. Perhaps the author's role is only that of recorder of visible events, rather than the complex interplay of ideas which have made ALGOL the force it is in the computational world. It is true, as Professor Ershov stated in his review of a draft of the present work, that "the reading of this history, rich in curious details, nevertheless does not enable the beginner to understand why ALGOL, with a history that would seem more disappointing than triumphant, changed the face of current programming". I can only state that the time scale and my own lesser competence do not allow the tracing of conceptual development in requisite detail. Books are sure to follow in this area, particularly one by Knuth. A further defect in the present work is the relatively lesser availability of European input to the log, although I could claim better access than many in the U.S.A. This is regrettable in view of the relatively stronger support given to ALGOL in Europe. Perhaps this calmer acceptance had the effect of reducing the number of significant entries for a log such as this. Following a brief view of the pattern of events come the entries of the chronology, or log, numbered for reference in the text. -
Security Applications of Formal Language Theory
Dartmouth College Dartmouth Digital Commons Computer Science Technical Reports Computer Science 11-25-2011 Security Applications of Formal Language Theory Len Sassaman Dartmouth College Meredith L. Patterson Dartmouth College Sergey Bratus Dartmouth College Michael E. Locasto Dartmouth College Anna Shubina Dartmouth College Follow this and additional works at: https://digitalcommons.dartmouth.edu/cs_tr Part of the Computer Sciences Commons Dartmouth Digital Commons Citation Sassaman, Len; Patterson, Meredith L.; Bratus, Sergey; Locasto, Michael E.; and Shubina, Anna, "Security Applications of Formal Language Theory" (2011). Computer Science Technical Report TR2011-709. https://digitalcommons.dartmouth.edu/cs_tr/335 This Technical Report is brought to you for free and open access by the Computer Science at Dartmouth Digital Commons. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Dartmouth Digital Commons. For more information, please contact [email protected]. Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina November 25, 2011 Abstract We present an approach to improving the security of complex, composed systems based on formal language theory, and show how this approach leads to advances in input validation, security modeling, attack surface reduction, and ultimately, software design and programming methodology. We cite examples based on real-world security flaws in common protocols representing different classes of protocol complexity. We also introduce a formalization of an exploit development technique, the parse tree differential attack, made possible by our conception of the role of formal grammars in security. These insights make possible future advances in software auditing techniques applicable to static and dynamic binary analysis, fuzzing, and general reverse-engineering and exploit development. -
On Sampling from the Multivariate T Distribution by Marius Hofert
CONTRIBUTED RESEARCH ARTICLES 129 On Sampling from the Multivariate t Distribution by Marius Hofert Abstract The multivariate normal and the multivariate t distributions belong to the most widely used multivariate distributions in statistics, quantitative risk management, and insurance. In contrast to the multivariate normal distribution, the parameterization of the multivariate t distribution does not correspond to its moments. This, paired with a non-standard implementation in the R package mvtnorm, provides traps for working with the multivariate t distribution. In this paper, common traps are clarified and corresponding recent changes to mvtnorm are presented. Introduction A supposedly simple task in statistics courses and related applications is to generate random variates from a multivariate t distribution in R. When teaching such courses, we found several fallacies one might encounter when sampling multivariate t distributions with the well-known R package mvtnorm; see Genz et al.(2013). These fallacies have recently led to improvements of the package ( ≥ 0.9-9996) which we present in this paper1. To put them in the correct context, we first address the multivariate normal distribution. The multivariate normal distribution The multivariate normal distribution can be defined in various ways, one is with its stochastic represen- tation X = m + AZ, (1) where Z = (Z1, ... , Zk) is a k-dimensional random vector with Zi, i 2 f1, ... , kg, being independent standard normal random variables, A 2 Rd×k is an (d, k)-matrix, and m 2 Rd is the mean vector. The covariance matrix of X is S = AA> and the distribution of X (that is, the d-dimensional multivariate normal distribution) is determined solely by the mean vector m and the covariance matrix S; we can thus write X ∼ Nd(m, S). -
EFFICIENT ESTIMATION and SIMULATION of the TRUNCATED MULTIVARIATE STUDENT-T DISTRIBUTION
Efficient estimation and simulation of the truncated multivariate student-t distribution Zdravko I. Botev, Pierre l’Ecuyer To cite this version: Zdravko I. Botev, Pierre l’Ecuyer. Efficient estimation and simulation of the truncated multivariate student-t distribution. 2015 Winter Simulation Conference, Dec 2015, Huntington Beach, United States. hal-01240154 HAL Id: hal-01240154 https://hal.inria.fr/hal-01240154 Submitted on 8 Dec 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Proceedings of the 2015 Winter Simulation Conference L. Yilmaz, W. K V. Chan, I. Moon, T. M. K. Roeder, C. Macal, and M. Rosetti, eds. EFFICIENT ESTIMATION AND SIMULATION OF THE TRUNCATED MULTIVARIATE STUDENT-t DISTRIBUTION Zdravko I. Botev Pierre L’Ecuyer School of Mathematics and Statistics DIRO, Universite´ de Montreal The University of New South Wales C.P. 6128, Succ. Centre-Ville Sydney, NSW 2052, AUSTRALIA Montreal´ (Quebec),´ H3C 3J7, CANADA ABSTRACT We propose an exponential tilting method for exact simulation from the truncated multivariate student-t distribution in high dimensions as an alternative to approximate Markov Chain Monte Carlo sampling. The method also allows us to accurately estimate the probability that a random vector with multivariate student-t distribution falls in a convex polytope. -
Stochastic Simulation APPM 7400
Stochastic Simulation APPM 7400 Lesson 1: Random Number Generators August 27, 2018 Lesson 1: Random Number Generators Stochastic Simulation August27,2018 1/29 Random Numbers What is a random number? Lesson 1: Random Number Generators Stochastic Simulation August27,2018 2/29 Random Numbers What is a random number? “You mean like... 5?” Lesson 1: Random Number Generators Stochastic Simulation August27,2018 2/29 Random Numbers What is a random number? “You mean like... 5?” Formal definition from probability: A random number is a number uniformly distributed between 0 and 1. Lesson 1: Random Number Generators Stochastic Simulation August27,2018 2/29 Random Numbers What is a random number? “You mean like... 5?” Formal definition from probability: A random number is a number uniformly distributed between 0 and 1. (It is a realization of a uniform(0,1) random variable.) Lesson 1: Random Number Generators Stochastic Simulation August27,2018 2/29 Random Numbers Here are some realizations: 0.8763857 0.2607807 0.7060687 0.0826960 Density 0.7569021 . 0 2 4 6 8 10 0.0 0.2 0.4 0.6 0.8 1.0 sample Lesson 1: Random Number Generators Stochastic Simulation August27,2018 3/29 Random Numbers Here are some realizations: 0.8763857 0.2607807 0.7060687 0.0826960 Density 0.7569021 . 0 2 4 6 8 10 0.0 0.2 0.4 0.6 0.8 1.0 sample Lesson 1: Random Number Generators Stochastic Simulation August27,2018 3/29 Random Numbers Here are some realizations: 0.8763857 0.2607807 0.7060687 0.0826960 Density 0.7569021 . -
Multivariate Stochastic Simulation with Subjective Multivariate Normal
MULTIVARIATE STOCHASTIC SIMULATION WITH SUBJECTIVE MULTIVARIATE NORMAL DISTRIBUTIONS1 Peter J. Ince2 and Joseph Buongiorno3 Abstract.-In many applications of Monte Carlo simulation in forestry or forest products, it may be known that some variables are correlated. However, for simplicity, in most simulations it has been assumed that random variables are independently distributed. This report describes an alternative Monte Carlo simulation technique for subjectivelyassessed multivariate normal distributions. The method requires subjective estimates of the 99-percent confidence interval for the expected value of each random variable and of the partial correlations among the variables. The technique can be used to generate pseudorandom data corresponding to the specified distribution. If the subjective parameters do not yield a positive definite covariance matrix, the technique determines minimal adjustments in variance assumptions needed to restore positive definiteness. The method is validated and then applied to a capital investment simulation for a new papermaking technology.In that example, with ten correlated random variables, no significant difference was detected between multivariate stochastic simulation results and results that ignored the correlation. In general, however, data correlation could affect results of stochastic simulation, as shown by the validation results. INTRODUCTION MONTE CARLO TECHNIQUE Generally, a mathematical model is used in stochastic The Monte Carlo simulation technique utilizes three simulation studies. In addition to randomness, correlation may essential elements: (1) a mathematical model to calculate a exist among the variables or parameters of such models.In the discrete numerical result or outcome as a function of one or case of forest ecosystems, for example, growth can be more discrete variables, (2) a sequence of random (or influenced by correlated variables, such as temperatures and pseudorandom) numbers to represent random probabilities, and precipitations. -
Data General Extended Algol 60 Compiler
DATA GENERAL EXTENDED ALGOL 60 COMPILER, Data General's Extended ALGOL is a powerful language tial I/O with optional formatting. These extensions comple which allows systems programmers to develop programs ment the basic structure of ALGOL and significantly in on mini computers that would otherwise require the use of crease the convenience of ALGOL programming without much larger, more expensive computers. No other mini making the language unwieldy. computer offers a language with the programming features and general applicability of Data General's Extended FEATURES OF DATA GENERAL'S EXTENDED ALGOL Character strings are implemented as an extended data ALGOL. type to allow easy manipulation of character data. The ALGOL 60 is the most widely used language for describ program may, for example, read in character strings, search ing programming algorithms. It has a flexible, generalized, for substrings, replace characters, and maintain character arithmetic organization and a modular, "building block" string tables efficiently. structure that provides clear, easily readable documentation. Multi-precision arithmetic allows up to 60 decimal digits The language is powerful and concise, allowing the systems of precision in integer or floating point calculations. programmer to state algorithms without resorting to "tricks" Device-independent I/O provides for reading and writ to bypass the language. ing in line mode, sequential mode, or random mode.' Free These characteristics of ALGOL are especially important form reading and writing is permitted for all data types, or in the development of working prototype systems. The output can be formatted according to a "picture" of the clear documentation makes it easy for the programmer to output line or lines. -
Stochastic Simulation
Agribusiness Analysis and Forecasting Stochastic Simulation Henry Bryant Texas A&M University Henry Bryant (Texas A&M University) Agribusiness Analysis and Forecasting 1 / 19 Stochastic Simulation In economics we use simulation because we can not experiment on live subjects, a business, or the economy without injury. In other fields they can create an experiment Health sciences they feed (or treat) lots of lab rats on different chemicals to see the results. Animal science researchers feed multiple pens of steers, chickens, cows, etc. on different rations. Engineers run a motor under different controlled situations (temp, RPMs, lubricants, fuel mixes). Vets treat different pens of animals with different meds. Agronomists set up randomized block treatments for a particular seed variety with different fertilizer levels. Henry Bryant (Texas A&M University) Agribusiness Analysis and Forecasting 2 / 19 Probability Distributions Parametric and Non-Parametric Distributions Parametric Dist. have known and well defined parameters that force their shapes to known patterns. Normal Distribution - Mean and Standard Deviation. Uniform - Minimum and Maximum Bernoulli - Probability of true Beta - Alpha, Beta, Minimum, Maximum Non-Parametric Distributions do not have pre-set shapes based on known parameters. The parameters are estimated each time to make the shape of the distribution fit the data. Empirical { Actual Observations and their Probabilities. Henry Bryant (Texas A&M University) Agribusiness Analysis and Forecasting 3 / 19 Typical Problem for Risk Analysis We have a stochastic variable that needs to be included in a business model. For example: Price forecast has residuals we could not explain and they are the stochastic component we need to simulate. -
Enhancing Reliability of RTL Controller-Datapath Circuits Via Invariant-Based Concurrent Test Yiorgos Makris, Ismet Bayraktaroglu, and Alex Orailoglu
IEEE TRANSACTIONS ON RELIABILITY, VOL. 53, NO. 2, JUNE 2004 269 Enhancing Reliability of RTL Controller-Datapath Circuits via Invariant-Based Concurrent Test Yiorgos Makris, Ismet Bayraktaroglu, and Alex Orailoglu Abstract—We present a low-cost concurrent test methodology controller states for enhancing the reliability of RTL controller-datapath circuits, , , control signals based on the notion of path invariance. The fundamental obser- , environment signals vation supporting the proposed methodology is that the inherent transparency behavior of RTL components, typically utilized for hierarchical off-line test, renders rich sources of invariance I. INTRODUCTION within a circuit. Furthermore, additional sources of invariance are obtained by examining the algorithmic interaction between the HE ability to test the functionality of a circuit during usual controller, and the datapath of the circuit. A judicious selection T operation is becoming an increasingly desirable property & combination of modular transparency functions, based on the of modern designs. Identifying & discarding faulty results be- algorithm implemented by the controller-datapath pair, yields a powerful set of invariant paths in a design. Compliance to the in- fore they are further used constitutes a powerful design attribute variant behavior is checked whenever the latter is activated. Thus, of ASIC performing critical computations, such as DSP, and such paths enable a simple, yet very efficient concurrent test capa- ALU. While this capability can be provided by hardware dupli- bility, achieving fault security in excess of 90% while keeping the cation schemes, such methods incur considerable cost in terms hardware overhead below 40% on complicated, difficult-to-test, sequential benchmark circuits. By exploiting fine-grained design of area overhead, and possible performance degradation. -
Stochastic Vs. Deterministic Modeling of Intracellular Viral Kinetics R
J. theor. Biol. (2002) 218, 309–321 doi:10.1006/yjtbi.3078, available online at http://www.idealibrary.com on Stochastic vs. Deterministic Modeling of Intracellular Viral Kinetics R. Srivastavawz,L.Youw,J.Summersy and J.Yinnw wDepartment of Chemical Engineering, University of Wisconsin, 3633 Engineering Hall, 1415 Engineering Drive, Madison, WI 53706, U.S.A., zMcArdle Laboratory for Cancer Research, University of Wisconsin Medical School, Madison, WI 53706, U.S.A. and yDepartment of Molecular Genetics and Microbiology, University of New Mexico School of Medicine, Albuquerque, NM 87131, U.S.A. (Received on 5 February 2002, Accepted in revised form on 3 May 2002) Within its host cell, a complex coupling of transcription, translation, genome replication, assembly, and virus release processes determines the growth rate of a virus. Mathematical models that account for these processes can provide insights into the understanding as to how the overall growth cycle depends on its constituent reactions. Deterministic models based on ordinary differential equations can capture essential relationships among virus constituents. However, an infection may be initiated by a single virus particle that delivers its genome, a single molecule of DNA or RNA, to its host cell. Under such conditions, a stochastic model that allows for inherent fluctuations in the levels of viral constituents may yield qualitatively different behavior. To compare modeling approaches, we developed a simple model of the intracellular kinetics of a generic virus, which could be implemented deterministically or stochastically. The model accounted for reactions that synthesized and depleted viral nucleic acids and structural proteins. Linear stability analysis of the deterministic model showed the existence of two nodes, one stable and one unstable. -
Random Numbers and Stochastic Simulation
Stochastic Simulation and Randomness Random Number Generators Quasi-Random Sequences Scientific Computing: An Introductory Survey Chapter 13 – Random Numbers and Stochastic Simulation Prof. Michael T. Heath Department of Computer Science University of Illinois at Urbana-Champaign Copyright c 2002. Reproduction permitted for noncommercial, educational use only. Michael T. Heath Scientific Computing 1 / 17 Stochastic Simulation and Randomness Random Number Generators Quasi-Random Sequences Stochastic Simulation Stochastic simulation mimics or replicates behavior of system by exploiting randomness to obtain statistical sample of possible outcomes Because of randomness involved, simulation methods are also known as Monte Carlo methods Such methods are useful for studying Nondeterministic (stochastic) processes Deterministic systems that are too complicated to model analytically Deterministic problems whose high dimensionality makes standard discretizations infeasible (e.g., Monte Carlo integration) < interactive example > < interactive example > Michael T. Heath Scientific Computing 2 / 17 Stochastic Simulation and Randomness Random Number Generators Quasi-Random Sequences Stochastic Simulation, continued Two main requirements for using stochastic simulation methods are Knowledge of relevant probability distributions Supply of random numbers for making random choices Knowledge of relevant probability distributions depends on theoretical or empirical information about physical system being simulated By simulating large number of trials, probability -
Arxiv:2008.11456V2 [Physics.Optics]
Efficient stochastic simulation of rate equations and photon statistics of nanolasers Emil C. Andr´e,1 Jesper Mørk,1, 2 and Martijn Wubs1,2, ∗ 1Department of Photonics Engineering, Technical University of Denmark, Ørsteds Plads 345A, DK-2800 Kgs. Lyngby, Denmark 2NanoPhoton - Center for Nanophotonics, Technical University of Denmark, Ørsteds Plads 345A, DK-2800 Kgs. Lyngby, Denmark Based on a rate equation model for single-mode two-level lasers, two algorithms for stochastically simulating the dynamics and steady-state behaviour of micro- and nanolasers are described in detail. Both methods lead to steady-state photon numbers and statistics characteristic of lasers, but one of the algorithms is shown to be significantly more efficient. This algorithm, known as Gillespie’s First Reaction Method (FRM), gives up to a thousandfold reduction in computation time compared to earlier algorithms, while also circumventing numerical issues regarding time-increment size and ordering of events. The FRM is used to examine intra-cavity photon distributions, and it is found that the numerical results follow the analytics exactly. Finally, the FRM is applied to a set of slightly altered rate equations, and it is shown that both the analytical and numerical results exhibit features that are typically associated with the presence of strong inter-emitter correlations in nanolasers. I. INTRODUCTION transitions from thermal to coherent emission, and we will investigate the prospects of introducing effectively Optical cavities on the micro- and nanometer scale can altered rates of emission in the rate equations as a way reduce the number of available modes for light emission to qualitatively describe the effects of collective inter- and increase the coupling of spontaneously emitted light emitter correlations.