Architectures for reasoning in parallel

The research conducted has dealt with rule-based expert systems. The algorithms that may lead to effective parallelization of them were investigated. Both the forward and backward chained control paradigms were investigated in the course of this work. The best computer architecture for the developed and investigated algorithms has been researched. Two experimental vehicles were developed to facilitate this research. They are Backpac, a parallel backward chained rule-based reasoning system and Datapac, a parallel forward chained rule-based reasoning system. Both systems have been written in Multilisp, a version of Lisp which contains the parallel construct, future. Applying the future function to a function causes the function to become a task parallel to the spawning task. Additionally, Backpac and Datapac have been run on several disparate parallel processors. The machines are an Encore Multimax with 10 processors, the Concert Multiprocessor with 64 processors, and a 32 processor BBN GP1000. Both the Concert and the GP1000 are switch-based machines. The Multimax has all its processors hung off a common bus. All are shared memory machines, but have different schemes for sharing the memory and different locales for the shared memory. The main results of the investigations come from experiments on the 10 processor Encore and the Concert with partitions of 32 or less processors. Additionally, experiments have been run with a stripped down version of EMYCIN

Wave interactions in a three-dimensional attachment line boundary layer

The 3-D boundary layer on a swept wing can support different types of hydrodynamic instability. Attention is focused on the so-called spanwise contamination problem, which occurs when the attachment line boundary layer on the leading edge becomes unstable to Tollmien-Schlichting waves. In order to gain insight into the interactions important in that problem, a simplified basic state is considered. This simplified flow corresponds to the swept attachment line boundary layer on an infinite flat plate. The basic flow here is an exact solution of the Navier-Stokes equations and its stability to 2-D waves propagating along the attachment can be considered exactly at finite Reynolds number. This has been done in the linear and weakly nonlinear regimes. The corresponding problem is studied for oblique waves and their interaction with 2-D waves is investigated. In fact, oblique modes cannot be described exactly at finite Reynolds number so it is necessary to make a high Reynolds number approximation and use triple deck theory. It is shown that there are two types of oblique wave which, if excited, cause the destabilization of the 2-D mode and the breakdown of the disturbed flow at a finite distance from the leading edge. First, a low frequency mode related to the viscous stationary crossflow mode is a possible cause of breakdown. Second, a class of oblique wave with frequency comparable with that of the 2-D mode is another cause of breakdown. It is shown that the relative importance of the modes depends on the distance from the attachment line

Altruism and Voluntary Provision of Public Goods.

We study how people's predisposition towards altruism, as measured by tools developed by psychologists, affects their behaviour in a voluntary contributions public good environment. Earlier experiments provide evidence against the strong free rider hypothesis; however, contributions to the public good decrease with repetition. We investigate whether a high level of contributions can be sustained in groups of subjects who have been pre-selected on the basis of their altruistic inclinations. In the first stage of the experiment, each subject responds to a psychology questionnaire that measures various dimensions of one's personality. The subjects are then matched in groups according to their altruism scores, and engage in a voluntary contribution game. We consider whether the levels and dynamics of group contributions differ significantly between the groups with altruists and non-altruists. We find that subjects' altruism has a weak but positive effect on group behaviour in the public good game.PUBLIC OWNERSHIP ; BEHAVIOUR ; GAMES

Perturbation expansions for a class of singular potentials

Harrell's modified perturbation theory [Ann. Phys. 105, 379-406 (1977)] is applied and extended to obtain non-power perturbation expansions for a class of singular Hamiltonians H = -D^2 + x^2 + A/x^2 + lambda/x^alpha, (A\geq 0, alpha > 2), known as generalized spiked harmonic oscillators. The perturbation expansions developed here are valid for small values of the coupling lambda > 0, and they extend the results which Harrell obtained for the spiked harmonic oscillator A = 0. Formulas for the the excited-states are also developed.Comment: 23 page

Supersymmetric analysis for the Dirac equation with spin-symmetric and pseudo-spin-symmetric interactions

A supersymmetric analysis is presented for the d-dimensional Dirac equation with central potentials under spin-symmetric (S(r) = V(r)) and pseudo-spin-symmetric (S(r) = - V(r)) regimes. We construct the explicit shift operators that are required to factorize the Dirac Hamiltonian with the Kratzer potential. Exact solutions are provided for both the Coulomb and Kratzer potentials.Comment: 12 page

Study of cryogenic propellant systems for loading the space shuttle

Computer programs were written to model the liquid oxygen loading system for the space shuttle. The programs allow selection of input data through graphic displays which schematically depict the part of the system being modeled. The computed output is also displayed in the form of graphs and printed messages. Any one of six computation options may be selected. The first four of these pertain to thermal stresses, pressure surges, cooldown times, flow rates and pressures during cooldown. Options five and six deal with possible water hammer effects due to closing of valves, steady flow and transient response to changes in operating conditions after cooldown. Procedures are given for operation of the graphic display unit and minicomputer