Towards automatic software generation

Robotica ◽  
1985 ◽  
Vol 3 (1) ◽  
pp. 31-34 ◽  
Author(s):  
B. H. Rudall

SUMMARYCybernetic techniques already ensure that computing machines are produced efficiently. Consideration is now given to the case for automating the means of producing computer software. A formal notation to describe software production is outlined and some machine portable systems are introduced. New and powerful techniques for modelling machines and producing ‘program’ generators are described.

Author(s):  
Solomon Kahiga ◽  
Nicholas Mariita ◽  
Njenga Mburu

Ground subsidence studies have been done on Olkaria geothermal field conventionally by comparing levels on benchmarks over years. Interferometric synthetic aperture radar (InSAR) systems have also been used to map surface deformation of small spatial extent. For the prediction of future dynamics of land subsidence in Olkaria due to geothermal resource exploitation, a hydrogeological conceptual model has been developed. In this model, hydrologic geothermal fluid properties are analysed and a relationship between the reservoir and geology of the wells established, subsidence is computed numerically. The model takes into account the hydrogeological condition of Olkaria geothermal field. Hydrological reservoir parameters are computed from well testing data. The study considers the Injectivity indices of the various wells under study as pre-computational indicator of the expected subsidence extents. Both two- and three-dimensional geological cross-sections are modelled with the rockworks software by inputting stratigraphic data for Olkaria domes. Geological simulations are used to study subsidence by assigning the ground formation with virtual material that deformed according to some essential relations in Rockworks computer software. Production zones are determined by a comparison between the well properties and corresponding well geology. Subsidence is then computed by the Tezarghi’s modified equation. Cumulative subsidence figures from the computation are in the range of 0.095-0.537m, without any reinjection. Computed values are then mapped in ArcGIS to develop a representative subsidence map. By application of these modelling and numerical computation methods, ground subsidence was effectively predicted using the five selected wells in Olkaria domes field. The hydrogeological model developed, and mapping is an important tool in the planning and development of a reinjection schedule and in subsidence mitigation. Subsidence prediction also is important in design of infrastructure which will be strong enough to resist the forces caused by subsidence.


1976 ◽  
Vol 9 (2) ◽  
pp. 33-36
Author(s):  
M. Kahro ◽  
M. Männisalu ◽  
E. Töugu

Author(s):  
Isabel Diaz ◽  
Oscar Pastor ◽  
Lidia Moreno ◽  
Alfredo Matteo

The dynamic behavior of a system is elicited, specified, and analyzed by means of interaction modelling. This activity is important for object-oriented software development because it provides the information that is required to construct the system conceptual model. Several interaction modelling techniques have been proposed. However, this activity continues to be a complex and tedious task for the modellers. These problems arise from the intrinsic difficulties of interaction modelling and the lack of effective techniques and tools to support to the modellers. In this chapter, heuristic-oriented techniques and linguistics-oriented techniques proposed by several authors to model interactions are analyzed. In addition, a framework to facilitate and to improve the interaction modelling is described. This framework was conceived to be integrated into automatic software production environments. It uses linguistic patterns to recognize interactions from use case models. The patterns were validated with expert modellers. The validation process carried out and the main results are also presented.


1976 ◽  
Vol 1 (1) ◽  
pp. 29-32
Author(s):  
David White ◽  
Elizabeth Hogger

Author(s):  
G.Y. Fan ◽  
J.M. Cowley

In recent developments, the ASU HB5 has been modified so that the timing, positioning, and scanning of the finely focused electron probe can be entirely controlled by a host computer. This made the asynchronized handshake possible between the HB5 STEM and the image processing system which consists of host computer (PDP 11/34), DeAnza image processor (IP 5000) which is interfaced with a low-light level TV camera, array processor (AP 400) and various peripheral devices. This greatly facilitates the pattern recognition technique initiated by Monosmith and Cowley. Software called NANHB5 is under development which, instead of employing a set of photo-diodes to detect strong spots on a TV screen, uses various software techniques including on-line fast Fourier transform (FFT) to recognize patterns of greater complexity, taking advantage of the sophistication of our image processing system and the flexibility of computer software.


Author(s):  
F.A. Ponce ◽  
H. Hikashi

The determination of the atomic positions from HRTEM micrographs is only possible if the optical parameters are known to a certain accuracy, and reliable through-focus series are available to match the experimental images with calculated images of possible atomic models. The main limitation in interpreting images at the atomic level is the knowledge of the optical parameters such as beam alignment, astigmatism correction and defocus value. Under ordinary conditions, the uncertainty in these values is sufficiently large to prevent the accurate determination of the atomic positions. Therefore, in order to achieve the resolution power of the microscope (under 0.2nm) it is necessary to take extraordinary measures. The use of on line computers has been proposed [e.g.: 2-5] and used with certain amount of success.We have built a system that can perform operations in the range of one frame stored and analyzed per second. A schematic diagram of the system is shown in figure 1. A JEOL 4000EX microscope equipped with an external computer interface is directly linked to a SUN-3 computer. All electrical parameters in the microscope can be changed via this interface by the use of a set of commands. The image is received from a video camera. A commercial image processor improves the signal-to-noise ratio by recursively averaging with a time constant, usually set at 0.25 sec. The computer software is based on a multi-window system and is entirely mouse-driven. All operations can be performed by clicking the mouse on the appropiate windows and buttons. This capability leads to extreme friendliness, ease of operation, and high operator speeds. Image analysis can be done in various ways. Here, we have measured the image contrast and used it to optimize certain parameters. The system is designed to have instant access to: (a) x- and y- alignment coils, (b) x- and y- astigmatism correction coils, and (c) objective lens current. The algorithm is shown in figure 2. Figure 3 shows an example taken from a thin CdTe crystal. The image contrast is displayed for changing objective lens current (defocus value). The display is calibrated in angstroms. Images are stored on the disk and are accessible by clicking the data points in the graph. Some of the frame-store images are displayed in Fig. 4.


Sign in / Sign up

Export Citation Format

Share Document