General parameterised refinement and recursion for the M-net calculus

AbstractThe algebra of M-nets, a high-level class of labelled Petri nets, was introduced in order to cope with the size problem of the low-level Petri box calculus, especially when applied as semantical domain for parallel programming languages. General, unrestricted and parameterised refinement and recursion operators, allowing to represent the (possibly recursive and concurrent) procedure call mechanism, are introduced into the M-net calculus

Conformal Antenna Array for Millimeter-Wave Communications: Performance Evaluation

In this paper, we study the influence of the radius of a cylindrical supporting structure on radiation properties of a conformal millimeter-wave antenna array. Bent antenna array structures on cylindrical surfaces may have important applications in future mobile devices. Small radii may be needed if the antenna is printed on the edges of mobile devices and in items which human beings are wearing, such as wrist watches, bracelets and rings. The antenna under study consists of four linear series-fed arrays of four patch elements and is operating at 58.8 GHz with linear polarization. The antenna array is fabricated on polytetrafluoroethylene substrate with thickness of 0.127 mm due to its good plasticity properties and low losses. Results for both planar and conformal antenna arrays show rather good agreement between simulation and measurements. The results show that conformal antenna structures allow achieving large angular coverage and may allow beam-steering implementations if switches are used to select between different arrays around a cylindrical supporting structure.Comment: Keywords: conformal antenna, millimeter-wave communications, patch antenna array. 11 pages, 10 figures, 1 tabl

Strain and correlation of self-organized Ge_(1-x)Mn_x nanocolumns embedded in Ge (001)

We report on the structural properties of Ge_(1-x)Mn_x layers grown by molecular beam epitaxy. In these layers, nanocolumns with a high Mn content are embedded in an almost-pure Ge matrix. We have used grazing-incidence X-ray scattering, atomic force and transmission electron microscopy to study the structural properties of the columns. We demonstrate how the elastic deformation of the matrix (as calculated using atomistic simulations) around the columns, as well as the average inter-column distance can account for the shape of the diffusion around Bragg peaks.Comment: 9 pages, 7 figure

Exchange bias in GeMn nanocolumns: the role of surface oxidation

We report on the exchange biasing of self-assembled ferromagnetic GeMn nanocolumns by GeMn-oxide caps. The x-ray absorption spectroscopy analysis of this surface oxide shows a multiplet fine structure that is typical of the Mn2+ valence state in MnO. A magnetization hysteresis shift |HE|~100 Oe and a coercivity enhancement of about 70 Oe have been obtained upon cooling (300-5 K) in a magnetic field as low as 0.25 T. This exchange bias is attributed to the interface coupling between the ferromagnetic nanocolumns and the antiferromagnetic MnO-like caps. The effect enhancement is achieved by depositing a MnO layer on the GeMn nanocolumns.Comment: 7 pages, 5 figure

Grit ingestion and size-related consumption of tubers by Graylag Geese

In herbivorous birds the processing rate of food is constrained by gizzard capacity. To enhance digestive processes, many species ingest grit to grind the food. Grit ingestion, however, may further limit the capacity of file gizzard. Graylag Geese (Anser anser) wintering in SW Spain fed mainly on Alkali Bulrush (Scirpus maritimus) tubers, showing a preference for small tubers. This preference may be due to a faster disintegration of small tubers than larger ones inside the gizzard. As larger tubers are likely coarser than smaller tubers, more grit would be necessary to process larger tubers. However, the ingestion of more grit to grind large tubers would be at the expense of ingesting additional tubers because of gizzard capacity limitations. Under these circumstances, there may be an inverse relationship between tuber size and amount of grit ingested to optimize food ingestion. Indeed, we found such a relationship. Grit facilitated the disintegration of tubers. This suggests that relying on some amount of grit to facilitate the grinding of food should outweigh the loss of gizzard capacity to the amount of food ingested.Peer Reviewe

Meat quality of pigs submitted to diferent water spray periods.

Projeto/Plano de Ação: 02.06.01.001

Stress levels of pigs submitted to three water spray periods.

Projeto/Plano de Ação: 02.06.01.001