Base-type languages: Program design by upper semantic approximation

Translated from Kibernetika i Sistemnyi Analiz, No. 4, pp. 140–155, July–August 1994.     

Fault trees—Problems and the modern state of investigations

Published in Kibernetika i Sistemnyi Analiz, No. 3, pp. 128–150, May–June, 1994.     

First break refraction event picking using fuzzy logic systems

First break picking is a pattern recognition problem in seismic signal processing, one that requires much human effort and is difficult to automate. The authors' goal is to reduce the manual effort in the picking process and accurately perform the picking. Feedforward neural network first break pickers have been developed using backpropagation training algorithms applied either to an encoded version of the raw data or to derived seismic attributes which are extracted from the raw data. The authors summarize a study in which they applied a backpropagation fuzzy logic system (BPFLS) to first break picking. The authors use derived seismic attributes as features, and take lateral variations into account by using the distance to a piecewise linear guiding function as a new feature. Experimental results indicate that the BPFLS achieves about the same picking accuracy as a feedforward neural network that is also trained using a backpropagation algorithm; however, the BPFLS is trained in a much shorter time, because there is a systematic way in which the initial parameters of the BPFLS can be chosen, versus the random way in which the weights of the neural network are chosen     

Statistical synchronization among participants in real-time multimedia conferencing

In this paper, an algorithm to determine the set of packets generated continuously and periodically from different participants that are arriving at a node either for mixing at the master of a conference, or for simply playing back at a regular participant of a conference, is proposed. The essence of the algorithm is to estimate the expected packet arrival time (or reference time) for each participant. With the reference time at hand, the maximum jitter and the optimum waiting time for a mixer to wait packets from all participants can be determined. An enhancement to improve synchronization which deals with the estimation of the time offsets between the individual periods of the sources and the period of the receiver is also presented. The error of the proposed algorithm is enumerated by the Chernoff bound and demonstrated by simulation and is shown to be acceptable in practical application. The algorithm can also be employed when traffic sources operate with different periods.     

Robotica: a Mathematica package for robot analysis

Robotica is a computer aided design package for robotic manipulators developed in the Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign. It encapsulates over 30 functions into a Mathematica package allowing efficient symbolic and numeric calculation of kinematic and dynamic equations for multi-degree-of-freedom manipulators. An X-Windows front end that utilizes the interprocess communication features of Mathematica 2.1 has also been created for ease of use. This paper describes the most important features of the package and how they are used     

Components of random generation by normal subjects and patients with dysexecutive syndrome

The study presents a hypothesis on how randomness could be simulated by human subjects. Three sources of deviation from randomness are predicted: (1) the preferred application of overlearned production schemata for producing sequences of digits, (2) a wrong concept of randomness, and (3) the impossibility to monitor for redundancies of higher- than those of first-order. Deviations of random generation of digits produced by healthy subjects, patients with chronic frontal lobe damage, and patients with Parkinson's disease from random sequences produced by a computer program can be explained by the differential influence of these factors. Whereas incorrect concepts of randomness and limits on monitoring capacity distinguished all sequences produced by humans from actual random sequences, persistence on a single production strategy distinguished brain-damaged patients from controls. Random generation of digits appears to be a theoretically transparent and clinically useful test of executive function.     

A coverage plan for health centres in Murewa district in Zimbabwe: an example of action research

Good access to health facilities providing good first-level health care remains problematic in many developing countries. It is a hindrance to effective and efficient functioning of the hospital, as outpatient departments become overcrowded with patients from areas without health centres. In many cases the quality of care delivered to these patients is poor because within the district health system the hospital is not the best place for the supply of comprehensive, integrated and continuous care. Eventually, high hospital involvement in first-level care can jeopardize the delivery of adequate referral care for those patients who desperately need the hospital's technology and expertise. This paper provides an account of the way this problem was investigated and managed by the district health management team in the Murewa district in north-east Zimbabwe. The design of a comprehensive 'master plan' or 'coverage plan' is presented as well as the problems and difficulties encountered. The Murewa experience highlights the relevance of a coverage plan for rational and coherent health infrastructure planning at district level. The approach followed by the Murewa team illustrates the use of action research as an integral part of the management of district health systems.