An Expert System for Managing an Activated Sludge Wastewater Treatment Plant

A diagnostic expert system for an activated sludge wastewater treatment plant has been designed to link with a relational database management system for obtaining operational parameter values that are used by the program to diagnose operational problems that may occur in the process. The problems that are dealt with by the system are bulking sludge, floating sludge, defloculation, ashing, solids washout, foaming problems, high soluble effluent BOD and problems in the aeration system. The link between the expert system and the database is accomplished via programming that is initiated by the expert system program. The operator of the system is not required to perform any action in order for the appropriate retrievals of operational parameter values to occur. The system is designed such that parameter values are retrieved from the database if such a database exists and contains appropriate values and, if no such database exists or if the appropriate values are not present, the operator is queried for the parameter values. Since many wastewater treatment plants maintain database management systems for operational parameter values, such an expert system has advantages over stand alone systems. However, an override of the database query is possible, making the system useful for experimental queries and for training

An Evaluation of the Effect of Discharging a High Quality Effluent into a Small Ozark Mountain Stream

Recently the newly constructed Fayetteville wastewater treatment plant went on line and directed a portion of its discharge to a point in the Mud Creek drainage basin that had previously not received any effluent. Prior to the discharge, a background study had been performed to establish the water quality in the basin. The background data, when compared to the data collected by this study, allowed any alteration of the stream water quality to be evaluated. Also the modeling procedure used to set the effluent limits for the treatment plant was analyzed. All stream data were compared to the limits set forth for surface water quality by the Department of Pollution Control and Ecology. The new discharge had some effect on the receiving stream, however, the stream still meets Arkansas water quality standards for all parameters

The diameter of the commuting graph of a finite group with trivial centre

The commuting graph of a finite group with trivial centre is examined. It is shown that the connected components of the commuting graph have diameter at most 10

Advanced flight design systems subsystem performance models. User guide: Environmental analysis routine library

A user guide for a library of interactive computer routines used to develop performance analysis models of specific environmental control and life support subsystems is presented

Advanced flight design systems subsystem performance models. Sample model: Environmental analysis routine library

A sample environmental control and life support model performance analysis using the environmental analysis routines library is presented. An example of a complete model set up and execution is provided. The particular model was synthesized to utilize all of the component performance routines and most of the program options

Statistics of the geomagnetic secular variation for the past 5Ma

A new statistical model is proposed for the geomagnetic secular variation over the past 5Ma. Unlike previous models, the model makes use of statistical characteristics of the present day geomagnetic field. The spatial power spectrum of the non-dipole field is consistent with a white source near the core-mantle boundary with Gaussian distribution. After a suitable scaling, the spherical harmonic coefficients may be regarded as statistical samples from a single giant Gaussian process; this is the model of the non-dipole field. The model can be combined with an arbitrary statistical description of the dipole and probability density functions and cumulative distribution functions can be computed for declination and inclination that would be observed at any site on Earth's surface. Global paleomagnetic data spanning the past 5Ma are used to constrain the statistics of the dipole part of the field. A simple model is found to be consistent with the available data. An advantage of specifying the model in terms of the spherical harmonic coefficients is that it is a complete statistical description of the geomagnetic field, enabling us to test specific properties for a general description. Both intensity and directional data distributions may be tested to see if they satisfy the expected model distributions

Model checking probabilistic and stochastic extensions of the pi-calculus

We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility. Formal verification techniques for such extensions have clear applications in several domains, including mobile ad-hoc network protocols, probabilistic security protocols and biological pathways. Despite this, no implementation of automated verification exists. Building upon the pi-calculus model checker MMC, we first show an automated procedure for constructing the underlying semantic model of a probabilistic or stochastic pi-calculus process. This can then be verified using existing probabilistic model checkers such as PRISM. Secondly, we demonstrate how for processes of a specific structure a more efficient, compositional approach is applicable, which uses our extension of MMC on each parallel component of the system and then translates the results into a high-level modular description for the PRISM tool. The feasibility of our techniques is demonstrated through a number of case studies from the pi-calculus literature