A typed functional extension of logic programming

A logic language is suitable for specification if it is equipped with features for data abstraction and modularization. In this paper, an effective mechanism to incorporate function and type into logic programming is presented as the means to embed data abstraction mechanism into logic programming. This incorporation is essentially based on Horn clause logic with equality and a polymorphic type system that is an extension of Mycroft and O’Keefe’s system. This paper also presents an implementation based on Warren Abstract Machine (WAM) and shows the performance, along with a comparison with WAM.     

Implementing Information Systems: Some Practical Advice and a Richer Model

Recent research suggests that implementing information systems presents considerable difficulties and that many implementations are total or partial failures. This paper argues that what both practitioners and students require are richer and more acceptable models of information systems implementation. Accordingly, case study data concerning the introduction of manufacturing resource planning (MRP II) are used to illustrate five patterns of behaviour (rites) which capture important social actions; and four components of changing psychological orientation. It is argued that appreciation of the rites and psychological developments identified here will support effective change programmes. Guidelines based on our model are provided for practitioners.     

Observers for stabilization of systems with matched uncertainty

In this article, we study the design of observer-based robust linear feedback controllers. The uncertainty, which can enterA, and either theB orC matrices, is assumed to satisfy certain matching conditions. Lyapunov techniques are used to establish sufficient conditions for stability, given an uncertainty bound. In particular, sufficient conditions are obtained that, if met, result in stabilizing controllers regardless of the size of the uncertainty entering the system matrix, as long as the standard constraints on the uncertainty entering the input or output matrices are met. As with the case of more general forms of uncertainty, the resulting observers often have high gains. To study performance, the problem of disturbance rejection is considered. Sufficient conditions are presented for obtaining control laws that stabilize the closed loop system, regardless of the size of the uncertainty entering the system matrix, while simultaneously guaranteeing arbitrarily small infinity norm for the transfer function from the plant disturbances to the outputs.     

METEOR: a constraint-based FIR filter design program

It is proposed to specify a filter only in terms of upper and lower limits on the response, find the shortest filter length which allows these constraints to be met, and then find a filter of that order which is farthest from the upper and lower constraint boundaries in a minimax sense. The simplex algorithm for linear programming is used to find a best linear-phase FIR filter of minimum length, as well as to find the minimum feasible length itself. The simplex algorithm, while much slower than exchange algorithms, also allows the incorporation of more general kinds of constraints, such as concavity constraints (which can be used to achieve very flat magnitude characteristics). Examples are given to illustrate how the proposed and common approaches differ, and how the proposed approach can be used to design filters with flat passbands, filters which meet point constraints, minimum phase filters, and bandpass filters with controlled transition band behavior     

Über die Eignung der Wechselbiegemaschine „WEBI”︁ zur Ermittlung von Ermüdungskennwerten

On Alternating Bending Machine WEBI's Suitability for Determination of Fatigue Characteristics Already in 1966, experimental investigations revealed that the flat bending torsion testing machine ?FLATO”? (Schenck, Darmstadt) doesn't keep constant its torsional moment amplitude in case of specimen's fatigue softening or hardening, respectively. Thus. conclusions concerning the material's fatigue characteristics drawn from such experimental results might therefore be seriously false. Furthermore, also the alternating bending testing machine ?WEBI”? (Schenck, Darmstadt) shows an equivalent behaviour concerning its bending moment amplitude. For this reason. the main findings of a comprehensive experimental study carried out on WEBI with an unalloyed steel C 45 (0.45 mass perccnl C) in different heat treatment conditions are reported in this paper.     

Face recognition: combining cognitive psychology and imageengineering

Many cognitive tasks that are easy for humans to perform are proving difficult to emulate in computer systems. Combining the disciplines of psychology and engineering may offer a solution to some of these problems. A connectionist or neural network model of face recognition by humans which incorporates aspects of a model proposed by cognitive psychologists is presented. A comparative set of experiments has been performed using this simulation and human subjects for familiar face recognition. By employing the same stimuli for both humans and the computer model, it is possible to advance not only our understanding of human cognition but also to develop improved automated systems for face recognition     

Transient fields of pulsed transducers in solids

The radiation and propagation of elastic waves in solid media are of fundamental importance in ultrasonic NDE. Due to the limitation of analytical approaches, numerical procedures are most appropriate for solving the governing equations. In this paper, the finite element method is used to predict the transient fields of pulsed transducers in a solid medium with axisymmetric geometry. Comparisons with other models are performed. The transducer field interactions with spherical voids are also presented.     

Magnetic resonance imaging of H, Na, and Cl penetration in Portland cement mortar

The first magnetic resonance imaging profiles of chloride content in low- and high-permeability Portland cement mortar have been obtained using a novel material science imaging technique. The penetration of water as well as chloride and sodium ions, into mortar specimens was monitored for a period of 72 h. Marked differences in penetration depth were observed in low- and high-permeability mortar. These preliminary experiments show significant differences between the extent and nature in the penetration of chlorides compared to water and sodium.