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.

Expansion-based algorithms for finding single pair shortest path on surface

Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path planning system, and surface nearest neighbor query in spatial database, etc. Currently, to solve the problem, existing algorithms must traverse the entire polyhedral surface. With the rapid advance in areas like Global Positioning System (CPS), Computer Aided Design (CAD) systems and laser range scanner, surface models axe becoming more and more complex. It is not uncommon that a surface model contains millions of polygons. The single pair shortest path problem is getting harder and harder to solve. Based on the observation that the single pair shortest path is in the locality, we propose in this paper efficient methods by excluding part of the surface model without considering them in the search process. Three novel expansion-based algorithms are proposed, namely, Naive algorithm, Rectangle-based Algorithm and Ellipse-based Algorithm. Each algorithm uses a two-step approach to find the shortest path. (1) compute an initial local path. (2) use the value of this initial path to select a search region, in which the global shortest path exists. The search process terminates once the global optimum criteria are satisfied. By reducing the searching region, the performance is improved dramatically in most cases.

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.

Principles versus artifacts in computer science curriculum design

Computer Science is a subject which has difficulty in marketing itself. Further, pinning down a standard curriculum is difficult-there are many preferences which are hard to accommodate. This paper argues the case that part of the problem is the fact that, unlike more established disciplines, the subject does not clearly distinguish the study of principles from the study of artifacts. This point was raised in Curriculum 2001 discussions, and debate needs to start in good time for the next curriculum standard. This paper provides a starting point for debate, by outlining a process by which principles and artifacts may be separated, and presents a sample curriculum to illustrate the possibilities. This sample curriculum has some positive points, though these positive points are incidental to the need to start debating the issue. Other models, with a less rigorous ordering of principles before artifacts, would still gain from making it clearer whether a specific concept was fundamental, or a property of a specific technology. (C) 2003 Elsevier Ltd. All rights reserved.

The impact of computer display height and desk design on 3D posture during information technology work by young adults

Computer display height and desk design to allow forearm support are two critical design features of workstations for information technology tasks. However there is currently no 3D description of head and neck posture with different computer display heights and no direct comparison to paper based information technology tasks. There is also inconsistent evidence on the effect of forearm support on posture and no evidence on whether these features interact. This study compared the 3D head, neck and upper limb postures of 18 male and 18 female young adults whilst working with different display and desk design conditions. There was no substantial interaction between display height and desk design. Lower display heights increased head and neck flexion with more spinal asymmetry when working with paper. The curved desk, designed to provide forearm support, increased scapula elevation/protraction and shoulder flexion/abduction.