A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

SOFHIA: a CAD environment to design digital control systems

"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"

A comparison of the performance of modern screen-film and digital mammography systems.

This work compares the detector performance and image quality of the new Kodak Min-R EV mammography screen-film system with the Fuji CR Profect detector and with other current mammography screen-film systems from Agfa, Fuji and Kodak. Basic image quality parameters (MTF, NPS, NEQ and DQE) were evaluated for a 28 kV Mo/Mo (HVL = 0.646 mm Al) beam using different mAs exposure settings. Compared with other screen-film systems, the new Kodak Min-R EV detector has the highest contrast and a low intrinsic noise level, giving better NEQ and DQE results, especially at high optical density. Thus, the properties of the new mammography film approach those of a fine mammography detector, especially at low frequency range. Screen-film systems provide the best resolution. The presampling MTF of the digital detector has a value of 15% at the Nyquist frequency and, due to the spread size of the laser beam, the use of a smaller pixel size would not permit a significant improvement of the detector resolution. The dual collection reading technology increases significantly the low frequency DQE of the Fuji CR system that can at present compete with the most efficient mammography screen-film systems.

Primary tooth length determination in direct digital radiography: An in vivo study

Purpose: the purpose of this in vivo study was to compare the accuracy of primary incisor length determined by direct digital radiography (straight-line measurement and grid superimposition) and measurement of the actual tooth length. Methods. Twenty-two primary maxillary incisors that required extractions were selected from 3- to 5-year-old children. The teeth were radiographed with an intraoral sensor using the long cone technique and a sensor holder (30-cm focus-to-sensor distance). The exposure time was 03 seconds. Tooth length was estimated by using straight-line and grid measurements provided by the distance measurement feature of the Computed Dental Radiography digital dental imaging system. The actual tooth length was obtained by measuring the extracted tooth with G digital caliper. Data were analyzed statistically by Pearson's correlation coefficient and a paired t test. Results: There were statistically significant differences (P=.007) between the 2 measurement techniques and between the actual tooth lengths and grid measurements. There was no statistically significant difference (P=38) between straight-line measurements and actual tooth lengths, showing that the straight-line measurements were more accurate. Underestimation of the actual tooth length, however, occurred in 45% of the straight-line measurements and in 73% of the grid measurements. Conclusion: It is possible to determine primary tooth length in digital radiographs using onscreen measurements with 0 reasonable degree of accuracy.

Evaluation of simulated external root resorptions with digital radiography and digital subtraction radiography

Introduction: Root resorption can cause damage in orthodontic patients. Digital subtraction radiography (DSR) is a useful resource for the detection of mineral losses. The purpose of this study was to compare the efficacy of digital radiography (DR) and DSR in detecting simulated external root resorption. Examiner agreement between the 2 techniques was also evaluated. Methods: Root resorptions of various sizes were simulated on the apical and lingual aspects of 49 teeth from 9 dry human mandibles. The teeth were radiographed in standardized conditions. The radiographs were registered with Regeemy Image Registration and Mosaicking (version 0.2.43-RCB, DPI-INPE, Sao Jose dos Campos, São Paulo, Brazil) and subtracted with Image Tool (University of Texas Health Science Center at San Antonio). The subtracted images and the digital radiographs were evaluated by 3 oral radiologists. Results: No statistically significant differences were found for the methods in the detection of apical root resorptions, independently from lesion size, and of lingual resorptions of 1.2 mm or greater. DSR was significantly better than DR for detection of lingual resorptions up to 1 mm. Resorptions less than 0.5 mm were not precisely detected by either method. DSR provided better intraexaminer and interexaminer agreement than did DR. Conclusions: Both methods are precise for detection of apical root resorptions as small as 0.5 mm and lingual resorptions of 1 mm or more. However, DSR frequently performed better than did DR. (Am J Orthod Dentofacial Orthop 2011;139:324-33)

Digital radiographic evaluation of optical density of porcelains used for fabrication of inlay/onlay prosthesis

The purpose of this article was to compare the mean value of optical density of four porcelains commonly used for fabrication of inlay/ onlay prostheses using direct digital radiograph. The sample consisted of 20 2-mm thick porcelain specimens (measured by digital pachymeter): Empress (Ivoclair), Simbios (Degussa), Vita Omega 900 and Vitadur Alpha (Vita Zahnfabrik). The values of optical density of the specimens were expressed in millimeters aluminum equivalent (mm eq Al). The samples were X-rayed using two charge coupled devices (CCD) - RVG (Trophy) - Visualix (Gendex) and a phosphor plate system - Digora (Soredex). The optical density reading was performed with Image Tool 1.28 in a total of 110 measurements. Statistical analysis showed that there were statistically significant differences in all materials studied (p < 0.05) regardless of the radiographic system used. The highest optical density value was found for Omega 900 (1.8988 mmeqAl - Visualix - Gendex) and the lowest for Vitadur Alpha (0.8647 - Visualix - Gendex). Thus, the material presenting the highest degree of optical density was Omega 900, Empress and Simbios presented intermediate optical density values, Vitadur Alpha presented the lowest value, and the optical density of porcelains was not influenced by the digital radiography systems.

Digital radiography for determination of primary tooth length: in vivo and ex vivo studies

Background. Methods for determining the root canal length of the primary tooth should yield accurate and reproducible results. In vitro studies show some limitations, which do not allow their findings to be directly transferred to a clinical situation. Aim. To compare the accuracy of radiographic tooth length obtained from in vivo digital radiograph with that obtained from ex vivo digital radiograph. Method. Direct digital radiographs of 20 upper primary incisors were performed in teeth (2/3 radicular resorption) that were radiographed by an intraoral sensor, according to the long-cone technique. Teeth were extracted, measured, and mounted in a resin block, and then radiographic template was used to standardise the sensor-target distance (30 cm). The apparent tooth length (APTL) was obtained from the computer screen by means of an electronic ruler accompanying the digital radiography software (CDR 2.0), whereas the actual tooth length (ACTL) was obtained by means of a digital calliper following extraction. Data were compared to the ACTL by variance analysis and Pearson’s correlation test. Results. The values for APTL obtained from in vivo radiography were slightly underestimated, whereas those values obtained from ex vivo were slightly overestimated. No significance was observed between APTL and ACTL. Conclusion. The length of primary teeth estimated by in vivo and ex vivo comparisons using digital radiography was found to be similar to the actual tooth length.

A Unitary Approach to Information and Estimation Theory in Digital Communication Systems

This thesis presents the outcomes of a Ph.D. course in telecommunications engineering. It is focused on the optimization of the physical layer of digital communication systems and it provides innovations for both multi- and single-carrier systems. For the former type we have first addressed the problem of the capacity in presence of several nuisances. Moreover, we have extended the concept of Single Frequency Network to the satellite scenario, and then we have introduced a novel concept in subcarrier data mapping, resulting in a very low PAPR of the OFDM signal. For single carrier systems we have proposed a method to optimize constellation design in presence of a strong distortion, such as the non linear distortion provided by satellites' on board high power amplifier, then we developed a method to calculate the bit/symbol error rate related to a given constellation, achieving an improved accuracy with respect to the traditional Union Bound with no additional complexity. Finally we have designed a low complexity SNR estimator, which saves one-half of multiplication with respect to the ML estimator, and it has similar estimation accuracy.

Performance evaluation of detector for digital radiography

Lo scopo di questo lavoro è la caratterizzazione fisica del flat panel PaxScan4030CB Varian, rivelatore di raggi X impiegato in un ampio spettro di applicazioni cliniche, dalla radiografia generale alla radiologia interventistica. Nell’ambito clinico, al fine di una diagnosi accurata, è necessario avere una buona qualità dell’immagine radiologica mantenendo il più basso livello di dose rilasciata al paziente. Elemento fondamentale per ottenere questo risultato è la scelta del rivelatore di radiazione X, che deve garantire prestazioni fisiche (contrasto, risoluzione spaziale e rumore) adeguati alla specifica procedura. Le metriche oggettive che misurano queste caratteristiche sono SNR (Signal-to-Noise Ratio), MTF (Modulation Transfer Function) ed NPS (Noise Power Spectrum), che insieme contribuiscono alla misura della DQE (Detective Quantum Efficiency), il parametro più completo e adatto a stabilire le performance di un sistema di imaging. L’oggettività di queste misure consente anche di mettere a confronto tra loro diversi sistemi di rivelazione. La misura di questi parametri deve essere effettuata seguendo precisi protocolli di fisica medica, che sono stati applicati al rivelatore PaxScan4030CB presente nel laboratorio del Centro di Coordinamento di Fisica Medica, Policlinico S.Orsola. I risultati ottenuti, conformi a quelli dichiarati dal costruttore, sono stati confrontati con successo con alcuni lavori presenti in letteratura e costituiscono la base necessaria per la verifica di procedure di ottimizzazione dell’immagine radiologica attraverso interventi sul processo di emissione dei raggi X e sul trattamento informatico dell’immagine (Digital Subtraction Angiography).