Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

A multi-agent decision support system for stock trading

A distributed problem solving system can be characterized as a group of individual cooperating agents running to solve common problems. As dynamic application domains continue to grow in scale and complexity, it becomes more difficult to control the purposeful behavior of agents, especially when unexpected events may occur. This article presents an information and knowledge exchange framework to support distributed problem solving. From the application viewpoint the article concentrates on the stock trading domain; however, many presented solutions can be extended to other dynamic domains. It addresses two important issues: how individual agents should be interconnected so that their resources are efficiently used and their goals accomplished effectively; and how information and knowledge transfer should take place among the agents to allow them to respond successfully to user requests and unexpected external situations. The article introduces an architecture, the MASST system architecture, which supports dynamic information and knowledge exchange among the cooperating agents. The architecture uses a dynamic blackboard as an interagent communication paradigm to facilitate factual data, business rule, and command exchange between cooperating MASST agents. The critical components of the MASST architecture have been implemented and tested in the stock trading domain, and have proven to be a viable solution for distributed problem solving based on cooperating agents     

Wear in check valves due to flow induced motion

Experiments showing the frequency and amplitude of the flow induced motion of the gate for a 2- and a 4-in. swing check valve have been performed. The gate motion is due to turbulence in approach flow. We have found the dominant turbulent frequency of the approach flow is about half the natural frequency of the valves. The valves appear to be almost critically damped. Because of this, the valves respond almost as they would to a static force of the magnitude characteristic of the turbulent fluctuation in the flow. Both the dimensionless exciting force and the damping ratio have been found to be independent of valve size so the above statements are true for larger valves also. The recommended valve oscillation amplitudes and frequencies are used to calculate the wear at the shaft and at the stop. For an unpegged check valve, such as one of the 10-in. valves which was used at the San Onofre Nuclear Generation Station, it was found that shaft bearing wear would amount to 0.27 in.³/year and stop wear to 0.03 in.³/year.     

Energy use in controlled temperature marine aquaculture

Temperature control offers benefits in land‐based marine aquaculture: stock growth rates may be enhanced by heating in winter; mortality rates in summer may be reduced by cooling. However, if the plant is not well designed, temperature control may create very large energy demands. This paper describes the application of temperature control in abalone aquaculture in New Zealand, with a focus on energy considerations in plant design. An abalone farm using a semi‐closed water conditioning system is used as a case study for which an energy model, based on a heat pump system, is developed. The model is used to determine the impact of plant design and tank conditions on the economics of the operation. Copyright © 2002 John Wiley & Sons, Ltd.