Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Pre-emption

This article introduces schedulability analysis for global fixed priority scheduling with deferred preemption (gFPDS) for homogeneous multiprocessor systems. gFPDS is a superset of global fixed priority pre-emptive scheduling (gFPPS) and global fixed priority non-pre-emptive scheduling (gFPNS). We show how schedulability can be improved using gFPDS via appropriate choice of priority assignment and final non-pre-emptive region lengths, and provide algorithms which optimize schedulability in this way. Via an experimental evaluation we compare the performance of multiprocessor scheduling using global approaches: gFPDS, gFPPS, and gFPNS, and also partitioned approaches employing FPDS, FPPS, and FPNS on each processor.

Geodupa - a geography-driven partial membership algorithm

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Timing Analysis of Fixed Priority SelfSuspending Sporadic Tasks

27th Euromicro Conference on Real-Time Systems (ECRTS 2015), Lund, Sweden.

Forest fire detection with a small fixed wing autonomous aerial vehicle

In this work a forest fire detection solution using small autonomous aerial vehicles is proposed. The FALCOS unmanned aerial vehicle developed for remote-monitoring purposes is described. This is a small size UAV with onboard vision processing and autonomous flight capabilities. A set of custom developed navigation sensors was developed for the vehicle. Fire detection is performed through the use of low cost digital cameras and near-infrared sensors. Test results for navigation and ignition detection in real scenario are presented.

Per-unit royalty and fixed-fee licensing in a differentiated Stackelberg model

In the present paper we consider a differentiated Stackelberg model, when the leader firm engages in an R&D process that gives an endogenous cost-reducing innovation. The aim is to study the licensing of the cost-reduction by a per-unit royalty and a fixed-fee. We analyse the implications of these types of licensing contracts over the R&D effort, the profits of the firms, the consumer surplus and the social welfare. By using comparative static analysis, we conclude that the degree of the differentiation of the goods plays an important role in the results.

Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters

Demo presented in 12th Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2015). 8 to 12, Jun, 2015. La Roche-en-Ardenne, Belgium. Extended abstract.

Detection of parvovirus B19 infection in formalin-fixed and paraffin-embedded placenta and fetal tissues

Parvovirus B19 infection was first discovered in 1975 and it is implicated in fetal death from hydrops fetalis the world over. Diagnosis is usually made through histological identification of the intranuclear inclusion in placenta and fetal organs. However, these cells may be scarce or uncharacteristic, making definitive diagnosis difficult. We analyzed histologically placentas and fetal organs from 34 cases of non-immune hydrops fetalis, stained with Hematoxylin and Eosin (HE) and submitted to immunohistochemistry and polymerase chain reaction (PCR). Of 34 tissue samples, two (5.9%) presented typical intranuclear inclusion in circulating normoblasts seen in Hematoxylin and Eosin stained sections, confirmed by immunohistochemistry and PCR. However, PCR of fetal organs was negative in one case in which the placenta PCR was positive. We concluded that parvovirus B19 infection frequency is similar to the literature and that immunohistochemistry was the best detection method. It is highly specific and sensitive, preserves the morphology and reveals a larger number of positive cells than does HE with the advantage of showing cytoplasmic and nuclear positivity, making it more reliable. Although PCR is more specific and sensitive in fresh or ideally fixed material it is not so in formalin-fixed paraffin-embedded tissues, frequently the only one available in such cases.

Partial characterization of proteolytic activity in Giardia duodenalis purified proteins

This report describes a preliminary characterization of proteolytic activity of proteins isolated from lysate of Giardia trophozoites of an axenic Brazilian strain. Fractions obtained by high-performance liquid chromatography (FPLC) were tested in SDS-polyacrylamide gel for the protein profiles, and the proteases activity was analyzed using gelatin impregnated SDS-PAGE. The proteases characterization was based on inhibition assays employing synthetic inhibitors for cysteine (E-64, IAA), serine (PMSF, TPCK, TLCK, and elastatinal), metalo (EDTA) and aspartic (pepstatin) proteases. Among thirty eluted fractions, polypeptide bands were observed in eight of them, however, proteolytic activity was detected in four ones (F23, F24, F25 and F26). Protein profiles of these fractions showed a banding pattern composed by few bands distributed in the migration region of 45 to < 18 kDa. The zymograms revealed proteolytic activity in all the four fractions assayed, mainly distributed in the migration region of 62 to 35 kDa. Among the profiles, the main pronounced zones of proteolysis were distinguished at 62, 55, 53, 50, 46 and 40 kDa. In inhibition assays, the protease activities were significantly inhibited by cysteine (E-64) and serine proteases (TPCK, TLCK and elastatinal) inhibitors. Gels incubated with other cysteine and serine protease inhibitors, IAA and PMSF, respectively, showed a decrease in the intensity of hydrolysis zones. Indeed, in the assays with the inhibitors EDTA for metalloproteases and pepstatin for aspartic proteases, none inhibition was detected against the substrate. These observations are relevants, especially if we consider that to define the real role of the proteases in host-parasite interaction, the purification of these enzymes for detailed studies may be warranted.

Adhesive selection for single lap bonded joints: Experimentation and advanced techniques for strength prediction

The integrity of multi-component structures is usually determined by their unions. Adhesive-bonding is often used over traditional methods because of the reduction of stress concentrations, reduced weight penalty, and easy manufacturing. Commercial adhesives range from strong and brittle (e.g., Araldite® AV138) to less strong and ductile (e.g., Araldite® 2015). A new family of polyurethane adhesives combines high strength and ductility (e.g., Sikaforce® 7888). In this work, the performance of the three above-mentioned adhesives was tested in single lap joints with varying values of overlap length (LO). The experimental work carried out is accompanied by a detailed numerical analysis by finite elements, either based on cohesive zone models (CZM) or the extended finite element method (XFEM). This procedure enabled detailing the performance of these predictive techniques applied to bonded joints. Moreover, it was possible to evaluate which family of adhesives is more suited for each joint geometry. CZM revealed to be highly accurate, except for largely ductile adhesives, although this could be circumvented with a different cohesive law. XFEM is not the most suited technique for mixed-mode damage growth, but a rough prediction was achieved.

Strength improvement of adhesively-bonded scarf repairs in aluminium structures with external reinforcements

Adhesively bonded techniques are an attractive option to repair aluminium structures, compared to more traditional methods. Actually, as a result of the improvement in the mechanical characteristics of adhesives, adhesive bonding has progressively replaced the traditional joining methods. There are several bonded repair configurations, as single-strap, double-strap and scarf. Compared with strap repairs, scarf repairs have the advantages of a higher efficiency and the absence of aerodynamic disturbance. The higher efficiency is caused by the elimination of the significant joint eccentricities of strap repairs. Moreover, stress distributions along the bond length are more uniform, due to tapering of the scarf edges. The main disadvantages of this technique are the difficult machining of the surfaces, associated costs and requirement of specialised labour. This work reports on an experimental and numerical study of the tensile behaviour of two-dimensional (2D) scarf repairs of aluminium structures bonded with the ductile epoxy adhesive Araldite® 2015. The numerical analysis, by Finite Elements (FE), was performed in Abaqus® and used cohesive zone models (CZM) for the simulation of damage onset and growth in the adhesive layer, thus enabling the strength prediction of the repairs. A parametric study was performed on the scarf angle (α) and different configurations of external reinforcement (applied on one or two sides of the repair, and also different reinforcement lengths). The obtained results allowed the establishment of design guidelines for repairing, showing that the use of external reinforcements enables increasing α for equal strength recovery, which makes the repair procedure easier. The numerical technique was accurate in predicting the repairs’ strength, enabling its use for design and optimisation purposes.

Effects of tissue handling and processing steps on PCR for detection of Mycobacterium tuberculosis in formalin-fixed paraffin-embedded samples

Development and standardization of reliable methods for detection of Mycobacterium tuberculosis in clinical samples is an important goal in laboratories throughout the world. In this work, lung and spleen fragments from a patient who died with the diagnosis of miliary tuberculosis were used to evaluate the influence of the type of fixative as well as the fixation and paraffin inclusion protocols on PCR performance in paraffin embedded specimens. Tissue fragments were fixed for four h to 48 h, using either 10% non-buffered or 10% buffered formalin, and embedded in pure paraffin or paraffin mixed with bee wax. Specimens were submitted to PCR for amplification of the human beta-actin gene and separately for amplification of the insertion sequence IS6110, specific from the M. tuberculosis complex. Amplification of the beta-actin gene was positive in all samples. No amplicons were generated by PCR-IS6110 when lung tissue fragments were fixed using 10% non-buffered formalin and were embedded in paraffin containing bee wax. In conclusion, combined inhibitory factors interfere in the detection of M. tuberculosis in stored material. It is important to control these inhibitory factors in order to implement molecular diagnosis in pathology laboratories.

Partial Rhombencephalosynapsis.

Clinical history - A 4-year-old boy, born prematurely at 29 weeks (twin pregnancy), with periventricular leukomalacia and epilepsy underwent brain MRI. Neurological examination showed severe developmental retardation with axial hypotonia, spastic tetraparesis and convergent strabismus. Imaging findings - Cranial MRI revealed typical aspects of partial rhombencephalosynapsis with vermian hypoplasia, midline fusion of the cerebellar hemispheres and transversely oriented folia and fissures. There was also mild dilatation and dysmorphism of the ventricular system, the septum pellucidum was absent, the hippocampi were malrotated and had vertical orientation and additional finding of associated periventricular cystic leukomalacia. Discussion - Rhombencephalosynapsis (RS) is a rare congenital defect of the cerebellum classically characterised by vermian agenesis or hypogenesis, fusion of the hemispheres, and closely apposed or fused dentate nuclei. It is now considered to result from an absence of division of the cerebellar hemispheres, following an insult between the 28th and 44th day of gestation (i.e., before the formation of the vermis). Other features have also been described such as fusion of the thalami and cerebral peduncles, malrotated hippocampi, corpus callosum agenesis, hypoplastic chiasm, absence of the septum pellucidum, ventriculomegaly, agenesis of the posterior lobe of the pituitary and cortical malformations. Musculoskeletal, cardiovascular, urinary tract, and respiratory abnormalities have been reported. Typical symptoms consist of swallowing difficulties, delayed motor acquisitions, muscular hypotonia, spastic quadriparesis, cerebellar signs including dysarthria, gait ataxia, abnormal eye movements, and seizures and hydrocephalus. The major MRI signs consist of fused cerebellar hemispheres, with absent or hypoplastic vermis, narrow diamond-shaped fourth ventricle and fused dentate nuclei. In a minority of cases, partial RS has been identified by MRI, demonstrating the presence of the nodulus and the anterior vermis and absence of part of the posterior vermis with only partial fusion of the hemispheres in the inferior part. Other cerebellar malformations involving vermian agenesis or hypoplasia include the Dandy–Walker continuum, Joubert syndrome, tectocerebellar dysraphy or pontocerebellar hypoplasias, and are now easily distinguished from RS by both brain MRI and morphology.

Strength and damage analysis of composite-aluminium adhesively-bonded single-lap joints

With the need to find an alternative way to mechanical and welding joints, and at the same time to overcome some limitations linked to these traditional techniques, adhesive bonds can be used. Adhesive bonding is a permanent joining process that uses an adhesive to bond the components of a structure. Composite materials reinforced with fibres are becoming increasingly popular in many applications as a result of a number of competitive advantages. In the manufacture of composite structures, although the fabrication techniques reduce to the minimum by means of advanced manufacturing techniques, the use of connections is still required due to the typical size limitations and design, technological and logistical aspects. Moreover, it is known that in many high performance structures, unions between composite materials with other light metals such as aluminium are required, for purposes of structural optimization. This work deals with the experimental and numerical study of single lap joints (SLJ), bonded with a brittle (Nagase Chemtex Denatite XNRH6823) and a ductile adhesive (Nagase Chemtex Denatite XNR6852). These are applied to hybrid joints between aluminium (AL6082-T651) and carbon fibre reinforced plastic (CFRP; Texipreg HS 160 RM) adherends in joints with different overlap lengths (LO) under a tensile loading. The Finite Element (FE) Method is used to perform detailed stress and damage analyses allowing to explain the joints’ behaviour and the use of cohesive zone models (CZM) enables predicting the joint strength and creating a simple and rapid design methodology. The use of numerical methods to simulate the behaviour of the joints can lead to savings of time and resources by optimizing the geometry and material parameters of the joints. The joints’ strength and failure modes were highly dependent on the adhesive, and this behaviour was successfully modelled numerically. Using a brittle adhesive resulted in a negligible maximum load (Pm) improvement with LO. The joints bonded with the ductile adhesive showed a nearly linear improvement of Pm with LO.

Echinococcus granulosus sensu lato GENOTYPES IN DOMESTIC LIVESTOCK AND HUMANS IN GOLESTAN PROVINCE, IRAN

Cystic echinococcosis (CE) is a globally parasitic zoonosis caused by larval stages of Echinococcus granulosus. This study investigated E. granulosus genotypes isolated from livestock and humans in the Golestan province, northern Iran, southeast of the Caspian sea, using partial sequencing data of the cytochrome c oxidase subunit 1 (cox1) and NADH dehydrogenase 1 (nad1) mitochondrial genes. Seventy E. granulosus isolates were collected from animals in slaughterhouses: 18 isolates from sheep, 40 from cattle, nine from camels, two from buffaloes and one from a goat, along with four human isolates (formalin-fixed, paraffin-embedded tissues) from CE patients of provincial hospitals. All isolates were successfully analysed by PCR amplification and sequencing. The sequence analysis found four E. granulosus genotypes among the 74 CE isolates: G1 (78.3%), G2 (2.7%), G3 (15%) and G6 (4%). The G1-G3 complex genotype was found in all of the sheep, goat, cattle and buffalo isolates. Among the nine camel isolates, the frequency of G1-G3 and G6 genotypes were 66.7% and 33.3%, respectively. All four human CE isolates belonged to E. granulosus sensu stricto. This study reports the first occurrence of the G2 genotype in cattle from Iran and confirms the previously reported G3 genotype in camels in the same country.