Characterizations and algorithms for generalized Cops and Robbers games

We propose a definition of generalized Cops and Robbers games where there are two players, the Pursuer and the Evader, who each move via prescribed rules. If the Pursuer can ensure that the game enters into a fixed set of final positions, then the Pursuer wins; otherwise, the Evader wins. A relational characterization of the games where the Pursuer wins is provided. A precise formula is given for the length of the game, along with an algorithm for computing if the Pursuer has a winning strategy whose complexity is a function of the parameters of the game. For games where the position of one player does not affect the available moves of he other, a vertex elimination ordering characterization, analogous to a cop-win ordering, is given for when the Pursuer has a winning strategy

Automatic specification of reliability models for fault-tolerant computers

The calculation of reliability measures using Markov models is required for life-critical processor-memory-switch structures that have standby redundancy or that are subject to transient or intermittent faults or repair. The task of specifying these models is tedious and prone to human error because of the large number of states and transitions required in any reasonable system. Therefore, model specification is a major analysis bottleneck, and model verification is a major validation problem. The general unfamiliarity of computer architects with Markov modeling techniques further increases the necessity of automating the model specification. Automation requires a general system description language (SDL). For practicality, this SDL should also provide a high level of abstraction and be easy to learn and use. The first attempt to define and implement an SDL with those characteristics is presented. A program named Automated Reliability Modeling (ARM) was constructed as a research vehicle. The ARM program uses a graphical interface as its SDL, and it outputs a Markov reliability model specification formulated for direct use by programs that generate and evaluate the model

Spartan Daily, February 23, 1989

Volume 92, Issue 20https://scholarworks.sjsu.edu/spartandaily/7810/thumbnail.jp

Spartan Daily, February 23, 1989

Volume 92, Issue 20https://scholarworks.sjsu.edu/spartandaily/7810/thumbnail.jp

Spartan Daily, April 23, 1993

Volume 100, Issue 53https://scholarworks.sjsu.edu/spartandaily/8411/thumbnail.jp

The hydraulic impact and alleviation phenomena numeric modeling in the industrial pumped pipelines

The issues of the hydropercussion phenomena mathematical modeling in the industrial pumped piping systems, with the pumps and dampeners included, to determine the impact absorbers effectiveness on the amplitude-frequency charac- teristics of these hydro-mechanical systems are considered. It’s still actual and many authors are still looking for the systems CFD issues research and resolution, see [6, 7]. Method of calculating the transient and frequency characteristics of the pipeline that contains a pump and a dampener, is based on nonlinear mathematical model. Simulation of overlapping stream with using industrial valves is provided by introducing the exponential law of diminishing cross-sectional area of the pipeline. The basis of calculation is the method of characteristics applied to the simplified Navier- Stokes equations