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.

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.

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.

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.

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.

An evaluation of active lecturing in a computer networks course

The article describes an attempt to improve student learning outcomes in a computer networks course by making lectures more active learning experiences. Quick quizzes, group and individual exercises, the review of student questions, as well as multiple breaks, were incorporated into the weekly three-hour lectures. Student responses to the modified lectures was overwhelmingly positive: over 85% of respondents agreed that the lectures aided understanding, with large majorities of the respondents finding the individual activities useful to their learning. Although student examination performance improved over the previous year, performance on an examination question that was designed to examine deep understanding remained unchanged.

A Framework of Fuzzy Diagnosis

Fault diagnosis has become an important component in intelligent systems, such as intelligent control systems and intelligent eLearning systems. Reiter's diagnosis theory, described by first-order sentences, has been attracting much attention in this field. However, descriptions and observations of most real-world situations are related to fuzziness because of the incompleteness and the uncertainty of knowledge, e. g., the fault diagnosis of student behaviors in the eLearning processes. In this paper, an extension of Reiter's consistency-based diagnosis methodology, Fuzzy Diagnosis, has been proposed, which is able to deal with incomplete or fuzzy knowledge. A number of important properties of the Fuzzy diagnoses schemes have also been established. The computing of fuzzy diagnoses is mapped to solving a system of inequalities. Some special cases, abstracted from real-world situations, have been discussed. In particular, the fuzzy diagnosis problem, in which fuzzy observations are represented by clause-style fuzzy theories, has been presented and its solving method has also been given. A student fault diagnostic problem abstracted from a simplified real-world eLearning case is described to demonstrate the application of our diagnostic framework.

Minimal instrumentation may compromise failure diagnosis with an ecological interface

Interfaces designed according to ecological interface design (EID) display higher-order relations and properties of a work domain so that adaptive operator problem solving can be better supported under unanticipated system conditions. Previous empirical studies of EID have assumed that the raw data required to derive and communicate higher-order information would be available and reliable. The present research examines the relative advantages of an EID interface over a conventional piping-and-instrumentation diagram (PID) when instrumentation is maximally or only minimally adequate. Results show an interaction between interface and the adequacy of the instrumentation. Failure diagnosis performance with the EID interface with maximally adequate instrumentation is best overall. Performance with the EID interface drops more drastically from maximally to minimally adequate instrumentation than does performance with the PID interface, to the point where the EID interface with minimally adequate instrumentation supports nonsignificantly worse performance than does the equivalent PID interface. Actual or potential applications of this research include design of instrumentation and displays for complex industrial processes.