August 1987 - Vol. 30 No. 8

August 1987 issue cover image

Features

Research and Advances

Laws of programming

A complete set of algebraic laws is given for Dijkstra's nondeterministic sequential programming language. Iteration and recursion are explained in terms of Scott's domain theory as fixed points of continuous functionals. A calculus analogous to weakest preconditions is suggested as an aid to deriving programs from their specifications.
Research and Advances

An experimental procedure for simulation response surface model identification

An experimental method for identifying an appropriate model for a simulation response surface is presented. This technique can be used for globally identifying those factors in a simulation that have a significant influence on the output. The experiments are run in the frequency domain. A simulation model is run with input factors that oscillate at different frequencies during a run. The functional form of a response surface model for the simulation is indicated by the frequency spectrum of the output process. The statistical significance of each term in a prospective response surface model can be measured. Conditions are given for which the frequency domain approach is equivalent to ranking terms in a response surface model by their correlation with the output. Frequency domain simulation experiments typically will require many fewer computer runs than conventional run-oriented simulation experiments.
Research and Advances

Walsh-spectral test for GFSR pseudorandom numbers

By applying Weyl's criterion for k-distributivity to GFSR sequences, we derive a new theoretical test for investigating the statistical property of GFSR sequences. This test provides a very useful measure for examining the k-distribution, that is, the statistical independence of the k-tuple of successive terms of GFSR sequences. In the latter half of this paper, we describe an efficient procedure for performing this test and furnish experimental results obtained from applying it to several GFSR generators with prime period lengths.

Recent Issues

  1. November 2024 CACM cover
    November 2024 Vol. 67 No. 11
  2. October 2024 CACM cover
    October 2024 Vol. 67 No. 10
  3. September 2024 CACM cover
    September 2024 Vol. 67 No. 9
  4. August 2024 CACM cover
    August 2024 Vol. 67 No. 8