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.

Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

Development of a semi-automatic self learning pattern recognition system for the control of electronic boards

This project was funded under the Applied Research Grants Scheme administered by Enterprise Ireland. The project was a partnership between Galway - Mayo Institute of Technology and an industrial company, Tyco/Mallinckrodt Galway. The project aimed to develop a semi - automatic, self - learning pattern recognition system capable of detecting defects on the printed circuits boards such as component vacancy, component misalignment, component orientation, component error, and component weld. The research was conducted in three directions: image acquisition, image filtering/recognition and software development. Image acquisition studied the process of forming and digitizing images and some fundamental aspects regarding the human visual perception. The importance of choosing the right camera and illumination system for a certain type of problem has been highlighted. Probably the most important step towards image recognition is image filtering, The filters are used to correct and enhance images in order to prepare them for recognition. Convolution, histogram equalisation, filters based on Boolean mathematics, noise reduction, edge detection, geometrical filters, cross-correlation filters and image compression are some examples of the filters that have been studied and successfully implemented in the software application. The software application developed during the research is customized in order to meet the requirements of the industrial partner. The application is able to analyze pictures, perform the filtering, build libraries, process images and generate log files. It incorporates most of the filters studied and together with the illumination system and the camera it provides a fully integrated framework able to analyze defects on printed circuit boards.

Familiale Bewegungssozialisation

Familiale Bewegungssozialisation – Zum Einfluss der Herkunftsfamilie auf die Bewegungssozialisation von Grundschulkindern. Die zentrale Fragestellung der Schrift ist, welchen Einfluss die soziale Herkunft auf die Bewegungssozialisation und Bewegungsentwicklung von Kindern im Grundschulalter hat. Die Auswirkungen sozialer Ungleichheit auf die Bewegungssozialisation, insbesondere die motorische Entwicklung, wurden in der Sportwissenschaft noch unzureichend untersucht. Der Arbeit liegt die Sozialisationstheorie von Witte (1994) zugrunde; mit ihrer Hilfe wird versucht die motorische Entwicklung theoriegeleitet zu erklären. Dafür werden Merkmale der Bewegungssozialisation und der motorischen Entwicklung in das theoretische Rahmenkonzept von Witte (1994) eingesetzt. Zu Beginn (Kapitel 1) erklärt die Arbeit den Begriff der sozialen Herkunft. Es werden der soziale Status, die Familienform und der Migrationshintergrund als Bestandteile der sozialen Herkunft definiert. Im weiteren Verlauf (Kapitel 2) wird die Sozialisationsinstanz Familie und die verschiedenen Familienformen vor dem Hintergrund sozialer Ungleichheit dargelegt. Das dritte Kapitel widmet sich dem sozialisationstheoretischen Konzept. Es werden die Sozialisationstheorie von Hurrelmann, die Körper- und Bewegungskarriere von Baur und das theoretische Rahmenkonzept der Sozialisation von Witte erklärt. Kapitel 4 beschreibt den Forschungsstand und Kapitel 5 stellt die Modellbildung und die Herleitung der Hypothesen dar. Die empirische Untersuchung fand an ausgewählten Grundschulen der Stadt Kassel statt. Insgesamt wurden 251 Kinder im Alter von 7-10 Jahren mit dem AST 6-11 untersucht und deren Eltern mit einem eigens entwickelten Fragebogen befragt. Die Daten wurden mit Hilfe von multivariaten Verfahren in Beziehung zueinander gesetzt. Die Ergebnisse zeigen, dass sich Grundschulkinder hinsichtlich ihrer motorischen Entwicklung nicht in Abhängigkeit der sozialen Herkunft unterscheiden. Jedoch ist das Sportklima der Familien sehr stark abhängig von der sozialen Herkunft. Es wird deutlich, dass Kinder aus sozial benachteiligten Familien, aus Ein-Eltern-Familien und mit Migrationshintergrund schlechtere Möglichkeiten haben sich in ihrer Bewegungssozialisation zu entfalten. Die Prüfung des Sozialisationsmodells zeigt, neben der guten Operationalisierbarkeit des Modells, dass die Modellvariable „Orientierung“ (Orientierung der Familie hinsichtlich der Bedeutung von Bewegung und Sport) den größten Einfluss auf die Bewegungssozialisation von Kindern hat.

Pelvic tilt is minimally changed by total hip arthroplasty

BACKGROUND While surgical navigation offers the opportunity to accurately place an acetabular component, questions remain as to the best goal for acetabular component positioning in individual patients. Overall functional orientation of the pelvis after surgery is one of the most important variables for the surgeon to consider when determining the proper goal for acetabular component orientation. QUESTIONS/PURPOSES We measured the variation in pelvic tilt in 30 patients before THA and the effect of THA on pelvic tilt in the same patients more than a year after THA. METHODS Each patient had a CT study for CT-based surgical navigation and standing and supine radiographs before and after surgery. Pelvic tilt was calculated for each of the radiographs using a novel and validated two-dimensional/three-dimensional matching technique. RESULTS Mean supine pelvic tilt changed less than 2°, from 4.4° ± 6.4° (range, -7.7° to 20.8°) before THA to 6.3° ± 6.6° (range, -5.7° to 19.6°) after THA. Mean standing pelvic tilt changed less than 1°, from 1.5° ± 7.2° (range, -13.1° to 12.8°) before THA to 2.0° ± 8.3° (range, -12.3° to 16.8°) after THA. Preoperative pelvic tilt correlated with postoperative tilt in both the supine (r(2) = 0.75) and standing (r(2) = 0.87) positions. CONCLUSIONS In this population, pelvic tilt had a small and predictable change after surgery. However, intersubject variability of pelvic tilt was high, suggesting preoperative pelvic tilt should be considered when determining desired acetabular component positioning on a patient-specific basis.

The effect of femoral component rotation on the five-year outcome of cemented mobile bearing total knee arthroplasty.

PURPOSE: Performing total knee replacement, accurate alignment and neutral rotation of the femoral component are widely believed to be crucial for the ultimate success. Contrary to absolute bone referenced alignment, using a ligament balancing technique does not automatically rotate the femoral component parallel to the transepicondylar axis. In this context we established the hypothesis that rotational alignment of the femoral component parallel to the transepicondylar axis (0° ± 3°) results in better outcome than alignment outside of this range. METHODS: We analysed 204 primary cemented mobile bearing total knee replacements five years postoperatively. Femoral component rotation was measured on axial radiographs using the condylar twist angle (CTA). Knee society score, range of motion as well as subjective rating documented outcome. RESULTS: In 96 knees the femoral component rotation was within the range 0 ± 3° (neutral rotation group), and in 108 knees the five-year postoperative rotational alignment of the femoral component was outside of this range (outlier group). Postoperative CTA showed a mean of 2.8° (±3.4°) internal rotation (IR) with a range between 6° external rotation (ER) and 15° IR (CI 95). No difference with regard to subjective and objective outcome could be detected. CONCLUSION: The present work shows that there is a large given natural variability in optimal rotational orientation, in this study between 6° ER and 15° IR, with numerous co-factors determining correct positioning of the femoral component. Further studies substantiating pre- and postoperative determinants are required to complete the understanding of resulting biomechanics in primary TKA.

Time-dependent orientation coupling in equilibrium polymer melts

The motion in concentrated polymer systems is described by either the Rouse or the reptation model, which both assume that the relaxation of each polymer chain is independent of the surrounding chains. This, however, is in contradiction with several experiments. In this Letter, we propose a universal description of orientation coupling in polymer melts in terms of the time-dependent coupling parameter κ(t). We use molecular dynamics simulations to show that the coupling parameter increases with time, reaching about 50% at long times, independently of the chain length or blend composition. This leads to predictions of component dynamics in mixtures of different molecular weights from the knowledge of monodisperse dynamics for unentangled melts. Finally, we demonstrate that entanglements do not play a significant role in the observed coupling. © 2010 The American Physical Society

A wide-angle X-ray study of the development of molecular orientation in crosslinked natural rubber

Molecular orientation parameters have been measured for the non-crystalline component of crosslinked natural rubber samples deformed in uniaxial tension as a function of the extension ratio and of temperature. The orientation parapeters 〈P2(cosα)〉 and 〈P4(cosα)〉 were obtained by an analysis of the anisotropy of the wide-angle X-ray scattering functions. For the measurements made at high temperatures the level of crystallinity detected was negligible and the orientation-strain behaviour could be compared directly with the predictions of molecular models of rubber elasticity. The molecular orientation behaviour with strain was found to be at variance with the estimates of the affine model particularly at low and moderate strains. Extension of the crosslinked rubber at room temperature led to strain-crystallization and measurements of both the molecular orientation of the non-crystalline chains and the degree of crystallinity during extension and relaxation enabled the role of the crystallites in the deformation process to be considered in detail. The intrinsic birefringence of the non-crystalline component was estimated, through the use of the 〈P2(cosα)〉 values obtained from X-ray scattering measurements, to be 0.20±0.02.

Quantitative analysis of mannitol polymorphs: X-ray powder diffractometry—exploring preferred orientation effects

Mannitol is a polymorphic pharmaceutical excipient, which commonly exists in three forms: alpha, beta and delta. Each polymorph has a needle-like morphology, which can give preferred orientation effects when analysed by X-ray powder diffractometry (XRPD) thus providing difficulties for quantitative XRPD assessments. The occurrence of preferred orientation may be demonstrated by sample rotation and the consequent effects on X-ray data can be minimised by reducing the particle size. Using two particle size ranges (less than 125 and 125–500�microns), binary mixtures of beta and delta mannitol were prepared and the delta component was quantified. Samples were assayed in either a static or rotating sampling accessory. Rotation and reducing the particle size range to less than�125 microns halved the limits of detection and quantitation to 1 and 3.6%, respectively. Numerous potential sources of assay errors were investigated; sample packing and mixing errors contributed the greatest source of variation. However, the rotation of samples for both particle size ranges reduced the majority of assay errors examined. This study shows that coupling sample rotation with a particle size reduction minimises preferred orientation effects on assay accuracy, allowing discrimination of two very similar polymorphs at around the 1% level

Preferred orientation in an angled intercalation site of a chloro-substituted lambda- [Ru(TAP)2(dppz)]2+ complex bound to d(TCGGCGCCGA)2

The crystal structure of the ruthenium DNA ‘light-switch’ complex -[Ru(TAP)2(11-Cl-dppz)]2+ (TAP = tetraazaphenanthrene, dppz = dipyrido[3,2-a':2',3'-c]phenazine)) bound to the oligonucleotide duplex d(TCGGCGCCGA)2 is reported. The synthesis of the racemic ruthenium complex is described for the first time, and the racemate was used in this study. The crystal structure, at atomic resolution (1.0 Å), shows one ligand as a wedge in the minor groove, resulting in the 51 kinking of the double helix, as with the parent lambda-[Ru(TAP)2(dppz)]2+. Each complex binds to one duplex by intercalation of the dppz ligand and also by semi-intercalation of one of the orthogonal TAP ligands into a second symmetrically equivalent duplex. The 11-Cl substituent binds with the major component (66%) oriented with the 11-chloro substituent on the purine side of the terminal step of the duplex.

Analysis of diffusion tensor magnetic resonance imaging data using principal component analysis

An analysis method for diffusion tensor (DT) magnetic resonance imaging data is described, which, contrary to the standard method (multivariate fitting), does not require a specific functional model for diffusion-weighted (DW) signals. The method uses principal component analysis (PCA) under the assumption of a single fibre per pixel. PCA and the standard method were compared using simulations and human brain data. The two methods were equivalent in determining fibre orientation. PCA-derived fractional anisotropy and DT relative anisotropy had similar signal-to-noise ratio (SNR) and dependence on fibre shape. PCA-derived mean diffusivity had similar SNR to the respective DT scalar, and it depended on fibre anisotropy. Appropriate scaling of the PCA measures resulted in very good agreement between PCA and DT maps. In conclusion, the assumption of a specific functional model for DW signals is not necessary for characterization of anisotropic diffusion in a single fibre.

Lattice preferred orientation in omphacite: Examples from the Tauern Window, Austria and the Western Gneiss Region, Norway

It is lively debated how eclogites find their way from deep to mid-crustal levels during exhumation. Different exhumation models for high-pressure and ultrahigh-pressure rocks were suggested in previous studies, based mainly on field observations and less on microstructural studies on the exhumed rocks. The development and improvement of electron microscopy techniques allows it, to focus interest on direct investigations of microstructures and crystallographic properties in eclogites. In this case, it is of importance to study the applicability of crystallographic measurements on eclogites for exhumation processes and to unravel which processes affect eclogite textures. Previous studies suggested a strong relationship between deformation and lattice preferred orientation (LPO) in omphacite but it is still unclear if the deformation is related to the exhumation of eclogites. This study is focused on the questions which processes affect omphacite LPO and if textural investigations of omphacite are applicable for studying eclogite exhumation. Therefore, eclogites from two examples in the Alps and in the Caledonides were collected systematically and investigated with respect to omphacite LPO by using the electron backscattered diffraction (EBSD) technique. Omphacite textures of the Tauern Window (Austria) and the Western Gneiss Region (Norway) were studied to compare lattice preferred orientation with field observations and suggested exhumation models from previous studies. The interpretation of omphacite textures, regarding the deformation regime is mainly based on numerical simulations in previous studies. Omphacite LPO patterns of the Eclogite Zone are clearly independent from any kind of exhumation process. The textures were generated during omphacite growth on the prograde path of eclogite development until metamorphic peak conditions. Field observations in the Eclogite Zone show that kinematics in garnet mica schist, surrounding the eclogites, strongly indicate an extrusion wedge geometry. Stretching lineations show top-N thrusting at the base and a top-S normal faulting with a sinistral shear component at the top of the Eclogite Zone. The different shear sense on both sides of the unit does not affect the omphacite textures in any way. The omphacite lattice preferred orientation patterns of the Western Gneiss Region can not be connected with any exhumation model. The textures were probably generated during the metamorphic peak and reflect the change from subduction to exhumation. Eclogite Zone and Western Gneiss Region differ significantly in size and especially in metamorphic conditions. While the Eclogite Zone is characterized by constant P-T conditions (600-650°C, 20-25 kbar), the Western Gneiss Region contains a wide P-T range from high- to ultrahigh pressure conditions (400-800°C, 20-35 kbar). In contrast to this, the omphacite textures of both units are very similar. This means that omphacite LPO is independent from P-T conditions and therefore from burial depth. Further, in both units, omphacite LPO is independent from grain and subgrain size as well as from any shape preferred orientation (SPO) on grain and subgrain scale. Overall, omphacite lattice preferred orientation are generated on the prograde part of omphacite development. Therefore, textural investigations on omphacite LPO are not applicable to study eclogite exhumation.

Is the acetabular cup orientation after total hip arthroplasty on a two dimension or three dimension model accurate?

Purpose Malposition of the acetabular component in total hip arthroplasty (THA) is a common surgical problem that can lead to hip dislocation, reduced range of motion and may result in early loosening. The aim of this study is to validate the accuracy and reproducibility of a single x-ray image based 2D/3D reconstruction technique in determining cup inclination and anteversion against two different computer tomography (CT)-based measurement techniques. Methods Cup anteversion and inclination of 20 patients after cementless primary THA was measured on standard anteroposterior (AP) radiographs with the help of the single x-ray 2D/3D reconstruction program and compared with two different 3D CT-based analyses [Ground Truth (GT) and MeVis (MV) reconstruction model]. Results The measurements from the single x-ray 2D/3D reconstruction technique were strongly correlated with both types of CT image-processing protocols for both cup inclination [R²=0.69 (GT); R²=0.59 (MV)] and anteversion [R²=0.89 (GT); R²=0.80 (MV)]. Conclusions The single x-ray image based 2D/3D reconstruction technique is a feasible method to assess cup position on postoperative x-rays. CTscans remain the golden standard for a more complex biomechanical evaluation when a lower tolerance limit (+/-2 degrees) is required.