Computer-aided programming using formally specificed design templates

This paper describes a formal component language, used to support automated component-based program development. The components, referred to as templates, are machine processable, meaning that appropriate tool support, such as retrieval support, can be developed. The templates are highly adaptable, meaning that they can be applied to a wide range of problems. Some of the main features of the language are described, including: higher-order parameters; state variable declarations; specification statements and conditionals; applicability conditions and theories; meta-level place holders; and abstract data structures.

Using machine vision classification to control access of animals to water

Invasive vertebrate pests together with overabundant native species cause significant economic and environmental damage in the Australian rangelands. Access to artificial watering points, created for the pastoral industry, has been a major factor in the spread and survival of these pests. Existing methods of controlling watering points are mechanical and cannot discriminate between target species. This paper describes an intelligent system of controlling watering points based on machine vision technology. Initial test results clearly demonstrate proof of concept for machine vision in this application. These initial experiments were carried out as part of a 3-year project using machine vision software to manage all large vertebrates in the Australian rangelands. Concurrent work is testing the use of automated gates and innovative laneway and enclosure design. The system will have application in any habitat throughout the world where a resource is limited and can be enclosed for the management of livestock or wildlife.

Parallel processing and image analysis in the eyes of mantis shrimps

The compound eyes of mantis shrimps, a group of tropical marine crustaceans, incorporate principles of serial and parallel processing of visual information that may be applicable to artificial imaging systems. Their eyes include numerous specializations for analysis of the spectral and polarizational properties of light, and include more photoreceptor classes for analysis of ultraviolet light, color, and polarization than occur in any other known visual system. This is possible because receptors in different regions of the eye are anatomically diverse and incorporate unusual structural features, such as spectral filters, not seen in other compound eyes. Unlike eyes of most other animals, eyes of mantis shrimps must move to acquire some types of visual information and to integrate color and polarization with spatial vision. Information leaving the retina appears to be processed into numerous parallel data streams leading into the central nervous system, greatly reducing the analytical requirements at higher levels. Many of these unusual features of mantis shrimp vision may inspire new sensor designs for machine vision

Lattice-dome design using a knowledge-based system approach

In the design of lattice domes, design engineers need expertise in areas such as configuration processing, nonlinear analysis, and optimization. These are extensive numerical, iterative, and lime-consuming processes that are prone to error without an integrated design tool. This article presents the application of a knowledge-based system in solving lattice-dome design problems. An operational prototype knowledge-based system, LADOME, has been developed by employing the combined knowledge representation approach, which uses rules, procedural methods, and an object-oriented blackboard concept. The system's objective is to assist engineers in lattice-dome design by integrating all design tasks into a single computer-aided environment with implementation of the knowledge-based system approach. For system verification, results from design examples are presented.

Constructing a class of designs with proportional balance

Text serves as a sequel to 'Computational and Constructive Design Theory,' c1996; containing research papers and surveys of recent research work on design construction and computer-aided study of designs. For researchers in theory of computational designs.

Cell compartmentalisation in planctomycetes: novel types of structural organisation for the bacterial cell

The organisation of cells of the planctomycete species Pirellula marina, Isosphaera pallida, Gemmata obscuriglobus, Planctomyces mat-is and Candidatus Brocadia anammoxidans was investigated based on ultrastructure derived from thin-sections of cryosubstituted cells, freeze-fracture replicas, and in the case of Gemmata obscuriglobus and Pirellllla marina, computer-aided 3-D reconstructions from serial sections of cryosubstituted cells. All planctomycete cells display a peripheral ribosome-free region, termed here the paryphoplasm, surrounding the perimeter of the cell, and an interior region including any nucleoid regions as well as ribosome-like particles, bounded by a single intracytoplasmic membrane (ICM), and termed the pirellulosome in Pirellula species. Immunogold labelling and RNase-gold cytochemistry indicates that in planctomycetes all the cell DNA is contained wholly within the interior region bounded by the ICM, and the paryphoplasm contains no DNA but at least some of the cell's RNA. The ICM in Isosphaera pallida and Planctomyces mat-is is invaginated such that the paryphoplasm forms a major portion of the cell interior in sections, but in other planctomycetes it remains as a peripheral zone. In the anaerobic ammonium-oxidising (anammox process) chemoautotroph Candidatus Brocadia anammoxidans the interior region bounded by ICM contains a further internal single-membrane-bounded region, the anam-moxosome. In Gemmata obscuriglobus. the interior ICM-bounded region contains the nuclear body, a double-membrane-bounded region containing the cell's nucleoid and all genomic DNA in addition to some RNA. Shared features of cell compartmentalisation in different planctomycetes are consistent with the monophyletic nature of the planctomycetes as a distinct division of the Bacteria. The shared organisational plan for the planctomycete cell constitutes a new type not known in cells of other bacteria.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Trust me, I'm your boss: Trust and power in supervisor-supervisee communication

This study examined employees' perceptions of trust, power and mentoring in manager-employee relationships in a variety of sectors, including health care, education, hospitality and retail. The main theoretical frameworks used were communication accommodation theory and social identity theory, in examining the manager-employee relationships from an in-group/out-group perspective. Computer-aided content analyses revealed a number of emergent communication and relationship themes that impact upon the level of 'in-groupness' and therefore trust in supervisor-supervisee relationships. While it may be illusory to believe that any organization can enjoy complete trust among its workforce, it is clear that certain communication characteristics can result in greater trust in manager-employee relationships, even within the context of organizational constraints. It is argued that the results of the study could be used to inform human resource management academics of key aspects of managerial communication that should be further researched, and also provide insights into the main communication skills that managers should focus upon to improve trust in the workplace.

Application of X-ray microtomography to numerical simulations of agglomerate breakage by distinct element method

Computer-aided tomography has been used for many years to provide significant information about the internal properties of an object, particularly in the medical fraternity. By reconstructing one-dimensional (ID) X-ray images, 2D cross-sections and 3D renders can provide a wealth of information about an object's internal structure. An extension of the methodology is reported here to enable the characterization of a model agglomerate structure. It is demonstrated that methods based on X-ray microtomography offer considerable potential in the validation and utilization of distinct element method simulations also examined.

Highly demanding resistive vibration exercise program is tolerated during 56 days of strict bed-rest

Several studies have tried to find countermeasures against musculoskeletal de-conditioning during bed-rest, but none of them yielded decisive results. We hypothesised that resistive vibration exercise (RVE) might be a suitable training modality. We have therefore carried out a bed-rest study to evaluate its feasibility and efficacy during 56 days of bed-rest. Twenty healthy male volunteers aged 24 to 43 years were recruited and, after medical check-ups, randomised to a non-exercising control (Ctrl) group or a group that performed RVE 11 times per week. Strict bed-rest was controlled by video surveillance. The diet was controlled. RVE was performed in supine position, with a static force component of about twice the body weight and a smaller dynamic force component. RVE comprised four different units (squats, heel raises, toe raises, kicks), each of which lasted 60 - 100 seconds. Pre and post exercise levels of lactate were measured once weekly. Body weight was measured daily on a bed scale. Pain questionnaires were obtained in regular intervals during and after the bed-rest. Vibration frequency was set to 19 Hz at the beginning and progressed to 25.9 Hz (SD 1.9) at the end of the study, suggesting that the dynamic force component increased by 90%. The maximum sustainable exercise time for squat exercise increased from 86 s (SD 21) on day 11 of the BR to 176 s (SD 73) on day 53 (p = 0.006). On the same days, post-exercise lactate levels increased from 6.9 mmol/l (SD2.3) to 9.2 mmol/l (SD 3.5, p = 0.01). On average, body weight was unchanged in both groups during bed-rest, but single individuals in both groups depicted significant weight changes ranging from -10% to + d10% (p < 0.001). Lower limb pain was more frequent during bed-rest in the RVE subjects than in Ctrl (p = 0.035). During early recovery, subjects of both groups suffered from muscle pain to a comparable extent, but foot pain was more common in Ctrl than in RVE (p = 0.013 for plantar pain, p = 0.074 for dorsal foot pain). Our results indicate that RVE is feasible twice daily during bed-rest in young healthy males, provided that one afternoon and one entire day per week are free. Exercise progression, mainly by progression of vibration frequency, yielded increases in maximum sustainable exercise time and blood lactate. In conclusion, RVE as performed in this study, appears to be safe.