An improved preemption delay upper bound for floating non-preemptive region

In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the non-preemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.

Estudo Estratigráfico e Paleontológico do Jurássico do Algarve Ocidental

Algarve Province, Southern Portugal, corresponds in part to a meso-cenozoic basin running along the coast from Cabo S. Vicente to beyond Spanish border. Structurally it is a big monocline plunging southwards much deformed mainly by two East-West longitudinal flexures. Lithostratigraphical and chronostratigraphical studies dealt specially with Jurassic formations. This and the geological mapping of the post-Hercynian sedimentary formations allow us to define the following units: Triassic-Lower Liassic Arenitos de Silves (Silves sandstones sensu P. Choffat, pro parte) - At their base the Silves sandstones (0-150m) are represented mainly by cross-bedded red sandstones. This unit is Upper Triassic (Keuper) in age, on the evidence of some Brachiopoda. Complexo margo-carbonatado de Silves (Silves marl-limestone complex=Silves sandstones sensu P. Choffat, pro parte) (80-200m) overlies the preceding, it may be reported to the Upper Triassic-Hettangian. It consists of a thick pelite-marl-dolomite-limestone series with many intercalations of greenstones. Since no fossils were found it is not possible to conclude whether it is still Hettangian or if it does correspond, in the whole or in part, already to the Sinemurian. Liassic Dolomitos e calcários dolomíticos de Espiche (Espiche dolomite-rocks and dolomitic-limestones) - The usually massive and finely crystalline or saccharoidal dolomites and dolomitic-limestones are the toughest strata of the Algarve margin giving rise to several hills. Its thickness attains in certain points 60 metres at least. Based on geometry and on lithological similarities with the carbonated complex of the northern basin of Tagus river (Peniche, São Pedro de Muel, Quiaios), this formation can be accepted as Sinemurian in age. As it happens with the carbonated complex, here also the first dolomite beds are non-isochronal throughout the region; upper time-limit of the dolomitic facies is either Lower Carixian, Lower Toarcian or even Lower Dogger. The dolomitization is secondary but not much later than sedimentation. However, between Cabo S. Vicente-Vila do Bispo there is evidence of an even later secondary dolomitization related to the regional fault complex. Calcário dolomítico com nódulos de silex da praia de Belixe (Belixe beach dolomitic-limestone with silex nodules) (50-55m) - Ascribed to Lower or Middle Carixian on the basis of Platypleuroceras sp., Metaderoceras sp. nov. and M. gr. Venarense. Calcário cristalino compacto com Protogrammoceras, Fuciniceras e ? Argutarpites de Belixe (Belixe compact crystalline limestone with Protogrammoceras, Fuciniceras and ? Argutarpites) (30m) - Ascribed to Lower Domerian. Middle and Upper Domerian are indicated but by a single specimen of ? Argutarpites. Calcários margosos e margas com Dactylioceras semicelatum e Harpoceratídeos de Armação Nova (Armação Nova marly limestones and marls with D. semicelatum and Harpoceratidae) (25m) -Ascribed to Lower Toarcian. Middle and Upper Toarcian formations are not known in the Algarve. Dogger Calcários oolíticos, c. corálicos, c. pisolíticos, c. calciclásticos, c. dolomíticos e dolomitos de Almadena (Almadena oolitic-limestones, coral-reef-limestones, pisolite-limestones, limeclastic-limestones, dolomitic-limestones and dolomite-rocks) (more than 50 metres), with lagoonal facies. Ascribed to Aalenian-Bathonian-? Callovian. Margas acinzentadas e calcários detríticos com Zoophycos da praia de Mareta (Mareta beach greyish marls and detritical limestones with Zoophycos) (40m) - Pelagic transreef facies with Upper Bajocian and Bathonian ammonites. Calcários margosos e margas da praia de Mareta (Mareta beach pelagic marly-limestones and marls) (110m) - Ascribed to the Callovian on its ammonites. Malm Near Cabo S. Vicente and Sagres the first Upper Jurassic level consists of a yellowish-brown nodular, compact, locally phosphated and ferruginous, sometimes conglomeratic, marly limestone (0,35-1,50m) containing a rich macrofauna, which includes: 1) Callovian forms unknown at Lower Oxfordian; 2) Upper Callovian forms that still survived in Lower and Middle Oxfordian; 3) Lower Oxfordian forms (Mariae and Cordatum Zones); 4) Lower and Middle Oxfordian forms (Mariae to Plicatilis Zone); 5) Middle Oxfordian forms (plicatilis Zone), and some ones appearing in Middle Oxfordian. This condensed deposit is therefore dated from Middle Oxfordian (Plicatilis Zone). The other Upper Jurassic lithostratigraphical units were also mapped but their detailed study is not presented in this work. Correlations between lithostratigraphical and chronostratigraphical scales from P. Choffat, J. Pratsch, C. Palain and from the author are stated. Further correlations are attempted between zonc scales of Carixian-Lower Toarcian and Upper Bajocian-Middle Oxfordian of France, Spain (Asturias, Iberian and Betic Chains), Argel (Orania) and Portugal (northern Tagus basin and Algarve). The study of pyritous fossil assemblages common in Upper Bathonian-Lower Callovian marly levels of the praia da Mareta seems to suggest that these sediments were deposited in a bay or in an almost closed coastal re-entrance virtually without deep water circulation. Although such conditions may occur at any depth one may suppose that these ones actually correspond to an infralittoral neritic environment. The thaphocoenosis collected there are almost entirely composed of nektonic (ammonites, Belemnites) and planktonic (Bositra) faunas. The sedentary (crinoids, brachiopods) or free (sea-urchins, gastropods) epibenthonic forms are very scarce; endobenthonic forms are not known. The palaeontological study of all Nautiloids and Ammonoids of the Liassic and Dogger is presented (except Kosmoceratidae and Perisphinctaceae). Among the thirty one taxa dealt with, one is new (Metaderoceras sp. nov.) and the great majority of the others has been identified for the first time in Algarve. Some others have never been reported before in Portuguese formations. The evolution, during Jurassic times, of the sedimentary basins of the Portuguese plate margin is described. The absence of Cephalopods in the very extensive marly and dolomitic limestones, partly marine, suggests that, during Lower Liassic, palaeogeography underwent no great changes. Dolomitic-limestone with silex nodules from Cabo S. Vicente contain the first ammonites recorded at the base of the Middle Liassic. This facies, although very common in Tethys, is unknown north of the Tagus. The faunal assemblage has a mediterranean to submediterranean character. Comparisons between faunal assemblage" from Algarve with the ones known north of the Tagus show that communications between Boreal Europe and Tethys, virtually non-existent during Lower and Middle Carixian, became very easy during Lower Domerian. In earlier Pliensbachian times two distinct seas were adjacent to the Iberian plate. One, an epicontinental sea with a tethyan fauna, extended southwards from the Meseta margin. Another, was a boreal sea; during its transgressive episodes boreal faunas attained into the basin north of the Tagus. During Middle Carixian and Lower Domerian, owing to simultaneous transgressions, these two seas joined together allowing faunal exchanges along the epicontinental areas which limited the emerging hercynian chains belts. During Liassic, the Algarve belonged undoubtedly to the tethyan submediterranean province. The area north of the Tagus, on the contrary, was a complex realm where subboreal and tethyan affinities alternatively prevailed. In the Algarve the first Middle Jurassic deposits do frequently show lateral thickness reductions as well as unconformities contemporaneous with other generalized disturbances on the sedimentation processes in other parts of Europe. By this time, near Sagres, a barrier reef developed separating lagoonal or ante-reef facies from the transreef pelagic zone. The presence of tethyan fauna, the abundance of Phylloceratidae and the absence of boreal forms allow us to consider the Algarve basin as a submediterranean province. The presence of Callovian pelagic fossiliferous formations in the Loulé area shows that during Middle Jurassic the marl-limestone transreef sedimentation was not confined to the western Algarve. They would extend eastwards where they only can be seen in the core of some anticlines. This is due to the progressive sinking of the meso-cenozoic formations as we proceed towards the South of the Sagres-Algoz-Querença flexure. In the whole of the Peninsule, and as for the Middle Callovian, an important regression can be clearly recognized on the evidence of an erosion surface which strikes obliquely the Middle and Upper Callovian strata. The geographic boundaries of the different faunal provinces are not changed by the presence of many Kosmoceratidae in the phosphate nodules since they are but a minority in comparison with the tethyan forms. An abstract model can be constructed showing that in Western Europe the Kosmoceratidae may have migrated South and westwards through a channel of the sea that linked Paris basin to Poitou and Aquitaine. By migrating between the Iberian meseta and the Armorican massif this fauna reached northern Tagus basin at the beginning of Upper Callovian (Athleta Zone); this south and southwest bound migration would have proceeded, allowing such forms to reach Algarve basin only in latest Callovian times (Lamberti Zone). This migration means that during Middle Jurassic a widely spread North Atlantic sea would exist, flooding the western part of Portugal up to the Poitou.

Les Hipparion du Portugal

This paper is concerned with Hipparion from Ribatejo, Portugal, and with the stratigraphy of the Neogene series of this region. The first two chapters are an introduction and an historical review. Paleontological study includes both a revision of the specimens accounted by ROMAN (1907) and the description of new material. Two forms were recognized, an early H. cf. primigenium, lower Vallesian in age, NM 9 mammal unit (from Archino, Vila Nova da Rainha, Aveiras de Cima), and a more advanced H. primigenium cf. melendezi. Upper Vallesian, NM 10 (possibly lowermost Turolian, NM 11) (at Azambujeira and Marmeleira). A synthesis of Middle and Upper Miocene from Ribatejo is also presented. Levels with H. p. cf. melendezi are somewhat older than «Upper Pontian», as it was previously acknowledged, they attain at the best the lowermost Turolian (approximately corresponding to «Upper Pontian»). Even higher levels may be Turolian in age, though they are not yet accurately dated. Almost all the localities are shown (tableau 11) according to its stratigraphical position; age, correspondance to mammal units from NM 5 to NM 10 (and may be also from NM 11 to NM 12), and correlation with marine formations near Lisbon are also taken in account. The stratigraphical position of localities such as Póvoa de Santarém, Quinta do Marmelal, Pero Filho, Azambujeira (lower levels), and Fonte do Pinheiro was revised; the stratigraphical position of Marmeleira was ascertained. The localities so far known correspond to NM 5 (?), NM 6, NM 8, NM 9, NM 10 and possibly to NM II and NM 12. A new interpretation (M. T. ANTUNES) of localities with oysters from Ribatejo allows a better correlation with vertebrate localities. Relationships with Serravallian transgression seem well established. Only two localities, Vila Nova da Rainha and Foz do Alviela, may possibly be correlated to V-b division of Lisbon (Langhian) with «Hispanotherium fauna». All the other localities are younger than Serravallian oyster beds. Undirect correlation shows that NM 6 localities are somewhat younger than the apogee ef Serravallian transgression (corresponding approximately to Blow's N 11 to N 13 zones based on planctonic foraminifera).

Notes sur la géologie et la paleontology du Miocène de Lisbonne

This note deals with the stratigraphical and paleontological study of the Palença section on the southern bank of the river Tagus, Portugal, and specially with its coccolithophorids. Three main lithostratigraphical units may be recognized: the lowest one does correspond to the upper part of COTTER's division II, the intermediate one to divisions III and IV-a, the third corresponding to pratically the whole division IV-b, However other and higher levels are also represented. Higher beds are also represented in the same sections; they are less well exposed and were not studied in detail. Caracterisation of biozones on the basis of Coccoliths so far found at Palença section is difficultsince MARTINI's zones have been defined mainly by forms of Discoaster and other genera that are wanting. However we can recognize that the richest assemblage (from beds 17-18, the uppermost layers of blue clays IV-a) may correspond to NN4. This is not in opposition to the results of the study of planctonic foraminifera, that are characteristic of BLOW's N7. Coccoliths from lower beds do not allow at present any valid comparisons.

Les Hipparion du Portugal

This paper is concerned with Hipparion from Ribatejo, Portugal, and with the stratigraphy of the Neogene series of this region. The first two chapters are an introduction and an historical review. Paleontological study includes both a revision of the specimens accounted by ROMAN (1907) and the description of new material. Two forms were recognized, an early H. cf. primigenium, lower Vallesian in age, NM 9 mammal unit (from Archino, Vila Nova da Rainha, Aveiras de Cima), and a more advanced H. primigenium cf. melendezi. Upper Vallesian, NM 10 (possibly lowermost Turolian, NM 11) (at Azambujeira and Marmeleira). A synthesis of Middle and Upper Miocene from Ribatejo is also presented. Levels with H. p. cf. melendezi are somewhat older than «Upper Pontian», as it was previously acknowledged, they attain at the best the lowermost Turolian (approximately corresponding to «Upper Pontian»). Even higher levels may be Turolian in age, though they are not yet accurately dated. Almost all the localities are shown (tableau 11) according to its stratigraphical position; age, correspondance to mammal units from NM 5 to NM 10 (and may be also from NM 11 to NM 12), and correlation with marine formations near Lisbon are also taken in account. The stratigraphical position of localities such as Póvoa de Santarém, Quinta do Marmelal, Pero Filho, Azambujeira (lower levels), and Fonte do Pinheiro was revised; the stratigraphical position of Marmeleira was ascertained. The localities so far known correspond to NM 5 (?), NM 6, NM 8, NM 9, NM 10 and possibly to NM II and NM 12. A new interpretation (M. T. ANTUNES) of localities with oysters from Ribatejo allows a better correlation with vertebrate localities. Relationships with Serravallian transgression seem well established. Only two localities, Vila Nova da Rainha and Foz do Alviela, may possibly be correlated to V-b division of Lisbon (Langhian) with «Hispanotherium fauna». All the other localities are younger than Serravallian oyster beds. Undirect correlation shows that NM 6 localities are somewhat younger than the apogee ef Serravallian transgression (corresponding approximately to Blow's N 11 to N 13 zones based on planctonic foraminifera).

Resource sharing in global fixed-priority preemptive multiprocessor scheduling

In this paper we consider global fixed-priority preemptive multiprocessor scheduling of constrained-deadline sporadic tasks that share resources in a non-nested manner. We develop a novel resource-sharing protocol and a corresponding schedulability test for this system. We also develop the first schedulability analysis of priority inheritance protocol for the aforementioned system. Finally, we show that these protocols are efficient (based on the developed schedulability tests) for a class of priority-assignments called reasonable priority-assignments.

The utilization bound of non-preemptive rate-monotonic scheduling in controller area networks is 25%

Consider a distributed computer system comprising many computer nodes, each interconnected with a controller area network (CAN) bus. We prove that if priorities to message streams are assigned using rate-monotonic (RM) and if the requested capacity of the CAN bus does not exceed 25% then all deadlines are met.

Non invasive ventilation during exercise in COPD patients: a systematic review with meta-analysis

COPD is a major cause of morbidity and mortality worldwide, representing a major public health problem due to the high health and economic resource consumption. Pulmonary rehabilitation is a standard care recommendation for these patients, in order to control the symptoms and optimize the functional capacity, reducing health care costs associated with exacerbations and activity limitations and participation. However, in patients with severe COPD exercise performance can be difficult, due to extreme dyspnea, decreased muscle strength and fatigue. In addition, hypoxemia and dyspnea during efforts and daily activities may occur, limiting their quality of life. Thus, NIV have been used as adjunct to exercise, in order to improve exercise capacity in these patients. However, there is no consensus for this technique recommendation. Our objective was to verify whether the use of NIV during exercise is effective than exercise without NIV in dyspnea, walked distance, blood gases and health status in COPD patients, through a systematic review and meta-analysis.

Non-adherence to telemedicine interventions for drug users: systematic review

OBJECTIVE To estimate rates of non-adherence to telemedicine strategies aimed at treating drug addiction. METHODS A systematic review was conducted of randomized controlled trials investigating different telemedicine treatment methods for drug addiction. The following databases were consulted between May 18, 2012 and June 21, 2012: PubMed, PsycINFO, SciELO, Wiley (The Cochrane Library), Embase, Clinical trials and Google Scholar. The Grading of Recommendations Assessment, Development and Evaluation was used to evaluate the quality of the studies. The criteria evaluated were: appropriate sequence of data generation, allocation concealment, blinding, description of losses and exclusions and analysis by intention to treat. There were 274 studies selected, of which 20 were analyzed. RESULTS Non-adherence rates varied between 15.0% and 70.0%. The interventions evaluated were of at least three months duration and, although they all used telemedicine as support, treatment methods differed. Regarding the quality of the studies, the values also varied from very poor to high quality. High quality studies showed better adherence rates, as did those using more than one technique of intervention and a limited treatment time. Mono-user studies showed better adherence rates than poly-user studies. CONCLUSIONS Rates of non-adherence to treatment involving telemedicine on the part of users of psycho-active substances differed considerably, depending on the country, the intervention method, follow-up time and substances used. Using more than one technique of intervention, short duration of treatment and the type of substance used by patients appear to facilitate adherence.

Visualizing non-linear control system performance by means of multidimensional scaling

This paper addresses the use of multidimensional scaling in the evaluation of controller performance. Several nonlinear systems are analyzed based on the closed loop time response under the action of a reference step input signal. Three alternative performance indices, based on the time response, Fourier analysis, and mutual information, are tested. The numerical experiments demonstrate the feasibility of the proposed methodology and motivate its extension for other performance measures and new classes of nonlinearities.

Ventilação não invasiva com altas pressões pode ser mais eficaz do que com baixas pressões no tratamento da atelectasia pós-operatória de cirurgia cardíaca?

Mestrado em Fisioterapia

Non-uniform microstrip antenna array for RX DSRC communications

The urgent need to mitigate traffic problems such as accidents, road hazards, pollution and traffic jam have strongly driven the development of vehicular communications. DSRC (Dedicated Short Range Communications) is the technology of choice in vehicular communications, enabling real time information exchange among vehicles V2V (Vehicle-to-Vehicle) and between vehicles and infrastructure V2I (Vehicle-Infrastructure). This paper presents a receiving antenna for a single lane DSRC control unit. The antenna is a non-uniform array with five microstrip patches. The obtained beam width, bandwidth and circular polarization quality, among other characteristics, are compatible with the DSRC standards, making this antenna suitable for this application. © 2014 IEEE.

Analyse paléoécologique des formations récifales du golfe de Skoura (bordure méridionale du sillon Sud rifain; SE de Fés; Maroc). Implications paléogéographiques: communications Atlantique - Méditerranée au Miocène Terminal

The reef levels of the gulf of Skoura belong to the reef formation of the Upper Miocene of the South-Rifan straits. A detailed analysis of the vertical distribution of various forms of colonies has led to the establishment of precise coral morphologies zonation. This palaeoecological approach leads us to distinguish between two environments in the Skoura gulf, probably corresponding to two reef episodes. The palaeogeographical implications (relationships between the Atlantic ocean and the Mediterranean sea) will be pointed out.

The impact of different power dividers used in a non-uniform planar antenna array

Wireless communications are widely used for various applications, requiring antennas with different features. Often, to achieve the desired radiation pattern, is necessary to employ antenna arrays, using non-uniform excitation on its elements. Power dividers can be used and the best known are the T-junction and the Wilkinson power divider, whose main advantage is the isolation between output ports. In this paper the impact of this isolation on the overall performance of a circularly polarized planar antenna array using non-uniform excitation is investigated. Results show a huge decrease of the array bandwidths either in terms of return loss or in polarization, without resistors. © 2014 IEEE.

Halogen-bonded tris (2,4-Bis(trichloromethyl)-1,3,5,triazapentadienato)-M(III) [M = Mn, Fe, Co] complexes and their catalytic activity in the peroxidative oxidation of 1-phenylethanol to acetophenone

One-pot template condensation of CCl3C=N with ammonia on a metal source [MnCl2 center dot 4H(2)O, FeCl3 center dot 6H(2)O or Co(CH3COO)(2)center dot 4H(2)O] in DMSO led to the formation of tris(2,4-bis(trichloromethyl)-1,3,5-triazapentadienato)-M(III) complexes, [M(NH=C(CCl3)NC(CCl3)=-NH}(3)]center dot n(CH3)(2)SO [M = Mn, n = 1 (1); M = Fe, n = 2 (2); M = Co, n = 2 (3)1, which were characterized using elemental analysis, and IR, ESI-MS and single-crystal X-ray analysis. The role of inter- and intramolecular non-covalent halogen and hydrogen bonds in the synthesis of 1-3 is discussed. It is shown that the crystal ionic radii of the metal ions [68.5 (Co) < 69 (Fe) < 72 (Mn), pm] are related to the corresponding Cl center dot center dot center dot Cl distances [3.178 (3) > 3.155 (2) > 3.133 (1) Al. Compounds 1-3 and the related di(triazapentadienato)-Cu(v) complex [Cu(NH=C(CCl3)NC(CCl3)=NH}2]center dot 2(CH3)(2)SO (4) act as catalyst precursors for the additive-free microwave (MW) assisted homogeneous oxidation of 1-phenylethanol with tert-butylhydroperoxide (TBHP), leading to the formation of acetophenone with yields up to 99% and TONs up to 5.0 x 10(3) after 1 h of low power (10 W) MW irradiation.