Using front-end and formative evaluation to design and test persuasive bird feeding warning signs

Wildlife feeding is a wide-spread and controversial practice that can pose serious threats to the safety of both wildlife and visitors. The design and effectiveness of warning signs in recreational areas varies considerably and is rarely the product of theoretical models or scientific research. This study uses front-end and formative evaluation to design and test the perceived effectiveness of warning signs relating to bird feeding. Stage One examined visitors' beliefs, attitudes and bird feeding behaviour and found significant differences between feeders and non-feeders. Stage Two involved designing and evaluating three signs that built on the beliefs, knowledge and mis/conceptions identified in Stage One. Respondents thought the sign that focused on the birds' health and safety would be the most persuasive, however, elements of the other two signs were also positively evaluated. The article concludes with recommendations for the wording of future bird feeding warning signs. (c) 2004 Elsevier Ltd. All rights reserved.

Assembly of Human Papillomavirus Type-16 Virus-Like Particles: Multifactorial Study of Assembly and Competing Aggregation

Pentameric capsomeres of human papillomavirus capsid protein L1 expressed in Escherichia coli self-assemble into virus-like particles (VLPs) in vitro. A multifactorial experimental design was used to explore a wide range of solution conditions to optimize the assembly process. The degree of assembly was measured using an enzyme-linked immunosorbent assay, and a high-throughput turbidity assay was developed to monitor competing aggregation. The presence of zinc ions in the assembly buffer greatly increased the incidence of aggregation and had to be excluded from the experiment for meaningful analysis. Assembly of VLPs was optimal at a pH of about 6.5, calcium and sodium ions had no measurable effect, and dithiothreitol and glutathione inhibited assembly. Tryptophan fluorescence spectroscopy demonstrated that an increase in urea concentration reduced the rate of VLP formation but had no effect on the final concentration of assembled VLPs. This study demonstrates the use of the hanging-drop vapor-diffusion crystallization method to screen for conditions that promote aggregation and the use of tryptophan fluorescence spectroscopy for real-time monitoring of the assembly process.

Frequency band selection of radars for buried object detection

Choice of the operational frequency is one of the most responsible parts of any radar design process. Parameters of radars for buried object detection (BOD) are very sensitive to both carrier frequency and ranging signal bandwidth. Such radars have a specific propagation environment with a strong frequency-dependent attenuation and, as a result, short operational range. This fact dictates some features of the radar's parameters: wideband signal-to provide a high range resolution (fractions of a meter) and a low carrier frequency (tens or hundreds megahertz) for deeper penetration. The requirement to have a wideband ranging signal and low carrier frequency are partly in contradiction. As a result, low-frequency (LF) ultrawide-band (UWB) signals are used. The major goal of this paper is to examine the influence of the frequency band choice on the radar performance and develop relevant methodologies for BOD radar design and optimization. In this article, high-efficient continuous wave (CW) signals with most advanced stepped frequency (SF) modulation are considered; however, the main conclusions can be applied to any kind of ranging signals.

Towards platform-independent real-time systems

Real-time software systems are rarely developed once and left to run. They are subject to changes of requirements as the applications they support expand, and they commonly outlive the platforms they were designed to run on. A successful real-time system is duplicated and adapted to a variety of applications - it becomes a product line. Current methods for real-time software development are commonly based on low-level programming languages and involve considerable duplication of effort when a similar system is to be developed or the hardware platform changes. To provide more dependable, flexible and maintainable real-time systems at a lower cost what is needed is a platform-independent approach to real-time systems development. The development process is composed of two phases: a platform-independent phase, that defines the desired system behaviour and develops a platform-independent design and implementation, and a platform-dependent phase that maps the implementation onto the target platform. The last phase should be highly automated. For critical systems, assessing dependability is crucial. The partitioning into platform dependent and independent phases has to support verification of system properties through both phases.

A formal framework for modelling and analysing mobile systems

This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an extension of the well-known Z specification language with explicit support for object-oriented concepts. Its support for object orientation makes Object-Z particularly suited to our task. The system structuring techniques offered by object-orientation are well suited to modelling mobile systems. In addition, inheritance and polymorphism allow us to exploit commonalities in mobile systems by defining more complex models in terms of simpler ones.

Transmitting focussed B1 field and SENSE reconstruction using an 8-element transceive torso phased array coil

In this work, a new design concept in chest imaging for MRI application is presented. A focused, 8-element transceive torso phased array coil is designed to investigate transmitting focused B1 field deep within the torso to enhance signal intensity and use in conjunction with SENSE reconstruction technique. Hybrid FDTD/MOM method is used to accurately predict the RF behavior inside the human torso. The simulation results reported herein demonstrate the feasibility of the design concept which shows that B1 field focusing with SENSE reconstruction is achievable, and the 8-element transceive torso phased array coil has the advantage to be used in transmit and receive mode for optimum and fast chest imaging.

An approach to specifying software frameworks

A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by the framework. To do this effectively, the framework-component interfaces must be specified so the software engineer knows what assumptions the framework makes about the components, and so the components can be verified against these assumptions. This paper presents an approach to specifying software frameworks. The approach involves the specification of the framework’s syntax, semantics, and the interfaces between the framework and its components. The approach is demonstrated with a simple case study.

Architectural design in object-z

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we introduce a user-interface design that follows the model-view-controller paradigm into an existing specification.

Maintaining human agency in the design on context-aware systems: Design games in a dental surgery

This paper describes a series of design games, specifically aimed at exploring shifts in human agency in order to inform the design of context-aware applications. The games focused on understanding information handling issues in dental practice with participants from a university dental school playing an active role in the activities. Participatory design activities help participants to reveal potential implicit technical resources that can be presented explicitly in technologies in order to assist humans in managing their interactions with and amidst technical systems gracefully.