Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Effect of image analysis software on neurofunctional activation during processing of emotional human faces

Functional brain imaging techniques such as functional MRI (fMRI) that allow the in vivo investigation of the human brain have been exponentially employed to address the neurophysiological substrates of emotional processing. Despite the growing number of fMRI studies in the field, when taken separately these individual imaging studies demonstrate contrasting findings and variable pictures, and are unable to definitively characterize the neural networks underlying each specific emotional condition. Different imaging packages, as well as the statistical approaches for image processing and analysis, probably have a detrimental role by increasing the heterogeneity of findings. In particular, it is unclear to what extent the observed neurofunctional response of the brain cortex during emotional processing depends on the fMRI package used in the analysis. In this pilot study, we performed a double analysis of an fMRI dataset using emotional faces. The Statistical Parametric Mapping (SPM) version 2.6 (Wellcome Department of Cognitive Neurology, London, UK) and the XBAM 3.4 (Brain Imaging Analysis Unit, Institute of Psychiatry, Kings College London, UK) programs, which use parametric and non-parametric analysis, respectively, were used to assess our results. Both packages revealed that processing of emotional faces was associated with an increased activation in the brain`s visual areas (occipital, fusiform and lingual gyri), in the cerebellum, in the parietal cortex, in the cingulate cortex (anterior and posterior cingulate), and in the dorsolateral and ventrolateral prefrontal cortex. However, blood oxygenation level-dependent (BOLD) response in the temporal regions, insula and putamen was evident in the XBAM analysis but not in the SPM analysis. Overall, SPM and XBAM analyses revealed comparable whole-group brain responses. Further Studies are needed to explore the between-group compatibility of the different imaging packages in other cognitive and emotional processing domains. (C) 2009 Elsevier Ltd. All rights reserved.

Analysis of four gutta-percha techniques used to fill mesial root canals of mandibular molars

P>Aim To compare the percentage of gutta-percha, sealer and voids and the influence of isthmuses in mesial root canals of mandibular molars filled with different techniques. Methodology Canals in 60 mesial roots of mandibular first molars were prepared with ProTaper instruments to size F2 (size 25, 0.08 taper) and filled using a single-cone, lateral compaction, System B or Thermafil techniques. An epoxy resin sealer was labelled with Rhodamine-B dye to allow analysis under a confocal microscope. The percentage of gutta-percha, sealer and area of voids was calculated at 2, 4 and 6 mm from the apex, using Image Tool 3.0 software. Statistical analysis was performed using nonparametric Kruskal-Wallis and Dunn tests (P < 0.05). The influence of isthmuses on the presence or absence of voids was evaluated using the Fisher test. Results At the 2 mm level, the percentage of gutta-percha, sealer and voids was similar amongst the System B, lateral compaction and single-cone techniques. The single-cone technique revealed significantly less gutta-percha, more sealer and voids in comparison with the Thermafil technique at the 2 and 4 mm level (P < 0.05). The analysis of all sections (2, 4 and 6 mm) revealed that more gutta-percha and less sealer and voids were found in root canals filled with Thermafil and System B techniques (P < 0.05). The Fisher test revealed that the presence of isthmuses increased the occurence of voids in the lateral compaction group only (P < 0.05). Conclusion Gutta-percha, sealer filled area and voids were dependent on the canal-filling technique. The presence of isthmuses may influence the quality of root filling.

GP5+/6+ SYBR Green methodology for simultaneous screening and quantification of human papillomavirus

Background: Detection and quantification of human papillomavirus (HPV) may help in predicting the evolution of HPV infection and progression of associated lesions. Objectives: We propose a novel protocol using consensus primers GP5+/6+ in a SYBR Green quantitative real-time (Q-RT) polymerase chain reaction (PCR). The strategy permits screening for HPV infection and viral load quantification simultaneously. Study design: DNA from 153 archived cervical samples, previously tested for HPV detection by GP5+/6+ PCR and typed by EIA-RLB (enzyme immunoassay-reverse line blot) or sequence analysis, was analysed using SYBR Green Q-RT PCR. Melting temperature assay (T(m)) and cycle threshold (C(t)) were used to evaluate HPV positivity and viral load. The T(m) in the range of 77-82 degrees C was considered to be positive for HPV-DNA. HPV results generated through GP5+/6+ conventional PCR were considered the gold standard against which sensitivity and specificity of our assay were measured. Results: Out of 104 HPV positive samples, 100 (96.2%) were also determined as positive by SYBR Green Q-RT PCR; of the 49 HPV-negative samples, all were determined as negative. There was an excellent positivity agreement (K = 0.94) between the SYBR Green Q-RT and the previous methods employed. The specificity and sensitivity were 100% and 96.2%, respectively. Comparison of SYBR Green Q-RT and TaqMan oligo-probe technologies gave an excellent concordance (pc = 0.95) which validated the proposed strategy. Conclusions: We propose a sensitive and easy-to-perform technique for HPV screening and viral load quantification simultaneously. (C) 2009 Elsevier B.V. All rights reserved.

Domestic objects and the taste epiphany - A resource for consumption methodology

The presentation of an aesthetic identity involves the accomplishment of a coherent, plausible narrative which links one's choices to desired characteristics of the self. As symbolic evidence of a person's taste, material culture is a vital component of a successful narrative. Via case studies of pivotal household objects, this paper uses face-to-face interview data as a way of investigating processes of aesthetic choice. Household objects are interpreted as material elements imbricated in the presentation of a socially plausible and internally consistent aesthetic self. Narrative analysis, and the concept of the epiphany-object, are proposed as useful ways of accounting for tastes in domestic material culture. Methodological questions of truth-telling and authenticity in the face-to-face context are considered, and the sociological problem of taste is scrutinized in light of ideas about social accountability and textual identity.

Model based procedure for scale-up of wet overflow ball mills Part 1: Outline of the methodology

Bond's method for ball mill scale-up only gives the mill power draw for a given duty. This method is incompatible with computer modelling and simulation techniques. It might not be applicable for the design of fine grinding ball mills and ball mills preceded by autogenous and semi-autogenous grinding mills. Model-based ball mill scale-up methods have not been validated using a wide range of full-scale circuit data. Their accuracy is therefore questionable. Some of these methods also need expensive pilot testing. A new ball mill scale-up procedure is developed which does not have these limitations. This procedure uses data from two laboratory tests to determine the parameters of a ball mill model. A set of scale-up criteria then scales-up these parameters. The procedure uses the scaled-up parameters to simulate the steady state performance of full-scale mill circuits. At the end of the simulation, the scale-up procedure gives the size distribution, the volumetric flowrate and the mass flowrate of all the streams in the circuit, and the mill power draw.

Pharmacokinetic software for the health sciences - Choosing the right package for teaching purposes

Computer assisted learning has an important role in the teaching of pharmacokinetics to health sciences students because it transfers the emphasis from the purely mathematical domain to an 'experiential' domain in which graphical and symbolic representations of actions and their consequences form the major focus for learning. Basic pharmacokinetic concepts can be taught by experimenting with the interplay between dose and dosage interval with drug absorption (e.g. absorption rate, bioavailability), drug distribution (e.g. volume of distribution, protein binding) and drug elimination (e.g. clearance) on drug concentrations using library ('canned') pharmacokinetic models. Such 'what if' approaches are found in calculator-simulators such as PharmaCalc, Practical Pharmacokinetics and PK Solutions. Others such as SAAM II, ModelMaker, and Stella represent the 'systems dynamics' genre, which requires the user to conceptualise a problem and formulate the model on-screen using symbols, icons, and directional arrows. The choice of software should be determined by the aims of the subject/course, the experience and background of the students in pharmacokinetics, and institutional factors including price and networking capabilities of the package(s). Enhanced learning may result if the computer teaching of pharmacokinetics is supported by tutorials, especially where the techniques are applied to solving problems in which the link with healthcare practices is clearly established.

A methodology for analysis of sugarcane productivity trends - I. Analysis across districts

Historically, few articles have addressed the use of district level mill production data for analysing the effect of varietal change on sugarcane productivity trends. This appears to be due to lack of compiled district data sets and appropriate methods by which to analyse these data. Recently, varietal data on tonnes of sugarcane per hectare (TCH), sugar content (CCS), and their product, tonnes of sugar content per hectare (TSH) on a district basis, have been compiled. This study was conducted to develop a methodology for regular analysis of such data from mill districts to assess productivity trends over time, accounting for variety and variety x environment interaction effects for 3 mill districts (Mulgrave, Babinda, and Tully) from 1958 to 1995. Restricted maximum likelihood methodology was used to analyse the district level data and best linear unbiased predictors for random effects, and best linear unbiased estimates for fixed effects were computed in a mixed model analysis. In the combined analysis over districts, Q124 was the top ranking variety for TCH, and Q120 was top ranking for both CCS and TSH. Overall production for TCH increased over the 38-year period investigated. Some of this increase can be attributed to varietal improvement, although the predictors for TCH have shown little progress since the introduction of Q99 in 1976. Although smaller gains have been made in varietal improvement for CCS, overall production for CCS decreased over the 38 years due to non-varietal factors. Varietal improvement in TSH appears to have peaked in the mid-1980s. Overall production for TSH remained stable over time due to the varietal increase in TCH and the non-varietal decrease in CCS.

Expecting dirt but saying dart: The creation of a blend memory

During a naming task, time pressure and a manipulation of the proportion of related prime-target pairs were used to induce subjects to generate an expectation to the prime. On some trials, the presented target was orthographically and generally phonologically similar to the expected tal-get. The expectancy manipulation was barely detectable in the priming data but was clearly evident on a final recognition test. In addition, the recognition data showed that the nearly simultaneous activation of an expectation and sensory information derived from the orthographically and phonologically similar target produced a false memory. It is argued that this represents a blend memory.

A methodology for discipline-specific curriculum development

A methodology and framework for discipline-specific curriculum development in a local context is described. These activities, as part of the Thailand-Australia Science and Engineering Assistance Project, were in response to a needs analysis for curriculum assistance to a number of publicly-funded Thai universities in the engineering priority area of Materials Processing and Manufacturing. The paper outlines a strategy for the delivery of a centralised curriculum development workshop for academic staff follow-up visits and local curriculum activities with participating universities, and the presentation of technical short courses as guidance for such activity in other settings and/or discipline areas. This paper is part of a process of documentation so that others can apply the developed methodology and framework for curriculum development. While the paper is a report on curriculum activities in a particular setting, it is written in a manner that allows application of the methodology to other settings. The reader is advised that each curriculum activity needs to adopt a methodology and strategy to fit the particular circumstances being considered To assist in applying this approach elsewhere, a description of the various steps in the curriculum process, and typical responses to some of the more global issues, have been presented. Full details are available in the various TASEAP reports prepared by the authors. Specific detail has been omitted where this detail does not provide any information for generalized consumption.