63 resultados para Design of interactive systems
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP
Resumo:
Numerical optimisation methods are being more commonly applied to agricultural systems models, to identify the most profitable management strategies. The available optimisation algorithms are reviewed and compared, with literature and our studies identifying evolutionary algorithms (including genetic algorithms) as superior in this regard to simulated annealing, tabu search, hill-climbing, and direct-search methods. Results of a complex beef property optimisation, using a real-value genetic algorithm, are presented. The relative contributions of the range of operational options and parameters of this method are discussed, and general recommendations listed to assist practitioners applying evolutionary algorithms to the solution of agricultural systems. (C) 2001 Elsevier Science Ltd. All rights reserved.
Resumo:
This article discusses the design of a comprehensive evaluation of a community development programme for young people 'at-risk' of self-harming behaviour. It outlines considerations in the design of the evaluation and focuses on the complexities and difficulties associated with the evaluation of a community development programme. The challenge was to fulfil the needs of the funding body for a broad, outcome-focused evaluation while remaining close enough to the programme to accurately represent its activities and potential effects at a community level. Specifically, the strengths and limitations of a mixed-method evaluation plan are discussed with recommendations for future evaluation practice.
Resumo:
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.
Resumo:
1. There are a variety of methods that could be used to increase the efficiency of the design of experiments. However, it is only recently that such methods have been considered in the design of clinical pharmacology trials. 2. Two such methods, termed data-dependent (e.g. simulation) and data-independent (e.g. analytical evaluation of the information in a particular design), are becoming increasingly used as efficient methods for designing clinical trials. These two design methods have tended to be viewed as competitive, although a complementary role in design is proposed here. 3. The impetus for the use of these two methods has been the need for a more fully integrated approach to the drug development process that specifically allows for sequential development (i.e. where the results of early phase studies influence later-phase studies). 4. The present article briefly presents the background and theory that underpins both the data-dependent and -independent methods with the use of illustrative examples from the literature. In addition, the potential advantages and disadvantages of each method are discussed.
Resumo:
HLA-A*0201 transgenic, H-2D(b)/mouse beta2-microglobulin double-knockout mice were used to compare and optimize the immunogenic potential of 17HIV 1-derived, HLA-A0201-restricted epitopic peptides. A tyrosine substitution in position 1 of the epitopic peptides, which increases both their affinity for and their HLA-A0201 molecule stabilizing capacity, was introduced in a significant proportion, having verified that such modifications enhance their immunogenicity in respect of their natural antigenicity. Based on these results, a 13-polyepitope construct was inserted in the pre-S2 segment of the hepatitis B middle glycoprotein and used for DNA immunization. Long-lasting CTL responses against most of the inserted epitopes could be elicited simultaneously in a single animal with cross-recognition in several cases of their most common natural variants.
Resumo:
Two hazard risk assessment matrices for the ranking of occupational health risks are described. The qualitative matrix uses qualitative measures of probability and consequence to determine risk assessment codes for hazard-disease combinations. A walk-through survey of an underground metalliferous mine and concentrator is used to demonstrate how the qualitative matrix can be applied to determine priorities for the control of occupational health hazards. The semi-quantitative matrix uses attributable risk as a quantitative measure of probability and uses qualitative measures of consequence. A practical application of this matrix is the determination of occupational health priorities using existing epidemiological studies. Calculated attributable risks from epidemiological studies of hazard-disease combinations in mining and minerals processing are used as examples. These historic response data do not reflect the risks associated with current exposures. A method using current exposure data, known exposure-response relationships and the semi-quantitative matrix is proposed for more accurate and current risk rankings.
Resumo:
Design of liquid retaining structures involves many decisions to be made by the designer based on rules of thumb, heuristics, judgment, code of practice and previous experience. Various design parameters to be chosen include configuration, material, loading, etc. A novice engineer may face many difficulties in the design process. Recent developments in artificial intelligence and emerging field of knowledge-based system (KBS) have made widespread applications in different fields. However, no attempt has been made to apply this intelligent system to the design of liquid retaining structures. The objective of this study is, thus, to develop a KBS that has the ability to assist engineers in the preliminary design of liquid retaining structures. Moreover, it can provide expert advice to the user in selection of design criteria, design parameters and optimum configuration based on minimum cost. The development of a prototype KBS for the design of liquid retaining structures (LIQUID), using blackboard architecture with hybrid knowledge representation techniques including production rule system and object-oriented approach, is presented in this paper. An expert system shell, Visual Rule Studio, is employed to facilitate the development of this prototype system. (C) 2002 Elsevier Science Ltd. All rights reserved.
Resumo:
Cases of high-sided vehicles striking low bridges is a large problem in many countries, especially the UK. This paper describes an experiment to evaluate a new design of markings for low bridges. A full size bridge was constructed which was capable of having its overhead clearance adjusted. Subjects sat in a truck cab as. it drove towards the bridge and were asked to judge whether the vehicle could pass safely under the bridge. The main objective of the research, was to determine whether marking the bridge with a newly devised experimental marking would result in more cautious decisions from subjects regarding whether or not the experimental bridge structure could be passed under safely compared with the currently used UK bridge marking standard. The results show that the type of bridge marking influenced the level of caution associated with decisions regarding bridge navigation, with the new marking design producing the most cautious decisions for the two different bridge heights used, at all distances away from the bridge structure. Additionally, the distance before the bridge at which decisions were given had an effect on the level of caution associated with decisions regarding bridge navigation (the closer to the bridge, the more cautious the decisions became, irrespective of the marking design). The implications of these results for reducing the number of bridge strikes are discussed. (C) 2002 Elsevier Science Ltd. All rights reserved.
Resumo:
We investigate the design of free-space optical interconnects (FSOIs) based on arrays of vertical-cavity surface-emitting lasers (VCSELs), microlenses, and photodetectors. We explain the effect of the modal structure of a multimodeVCSEL beam on the performance of a FSOI with microchannel architecture. A Gaussian-beam diffraction model is used in combination with the experimentally obtained spectrally resolved VCSEL beam profiles to determine the optical channel crosstalk and the signal-to-noise ratio (SNR) in the system. The dependence of the SNR on the feature parameters of a FSOI is investigated. We found that the presence of higher-order modes reduces the SNR and the maximum feasible interconnect distance. We also found that the positioning of a VCSEL array relative to the transmitter microlens has a significant impact on the SNR and the maximum feasible interconnect distance. Our analysis shows that the departure from the traditional confocal system yields several advantages including the extended interconnect distance and/or improved SNR. The results show that FSOIs based on multimode VCSELs can be efficiently utilized in both chip-level and board-level interconnects. (C) 2002 Optical Society of America.
Resumo:
Respiration is altered during different stages of the sleep-wake cycle. We review the contribution of cholinergic systems to this alteration, with particular reference to the role of muscarinic acetylcholine receptors (MAchRs) during rapid eye movement (REM) sleep. Available evidence demonstrates that MAchRs have potent excitatory effects on medullary respiratory neurones and respiratory motoneurones, and are likely to contribute to changes in central chemosensitive drive to the respiratory control system. These effects are likely to be most prominent during REM sleep, when cholinergic brainstem neurones show peak activity levels. It is possible that MAchR dysfunction is involved in sleep-disordered breathing, Such as obstructive sleep apnea. (C) 2002 Elsevier Science B.V. All rights reserved.