Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

One-step in situ synthesis of polyamide microcapsules with inorganic payload and their transformation into responsive thermoplastic composite materials

Well-dispersed loads of finely powdered metals, metal oxides, several carbon allotropes or nanoclays are incorporated into highly porous polyamide 6 microcapsules in controllable amounts via an original one-step in situ fabrication technique. It is based on activated anionic polymerization (AAP) of ε-caprolactam in a hydrocarbon solvent performed in the presence of the respective micro- or nanosized loads. The forming microcapsules with typical diameters of 25-50 µm entrap up to 40 wt% of load. Their melt processing produces hybrid thermoplastic composites. Mechanical, electric conductivity and magnetic response measurements show that transforming of in situ loaded microcapsules into composites by melt processing (MP) is a facile and rapid method to fabricate materials with high mechanical resistance and electro-magnetic characteristics sufficient for many industrial applications. This novel concept requires low polymerization temperatures, no functionalization or compatibilization of the loads and it is easy to scale up at industrial production levels.

Sustentabilidade no Design: uma abordagem aos resíduos limpos das indústrias do calçado

Dissertação de mestrado em Design e Marketing

Balanceamento e redefinição de layouts de células de costura de uma empresa da indústria automóvel

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Localization of MCT2 at peroxisomes is associated with malignant transformation in prostate cancer

Previous studies on monocarboxylate transporters expression in prostate cancer (PCa) have shown that monocarboxylate transporter 2 (MCT2) was clearly overexpressed in prostate malignant glands, pointing it out as a putative biomarker for PCa. However, its localization and possible role in PCa cells remained unclear. In this study, we demonstrate that MCT2 localizes mainly at peroxisomes in PCa cells and is able to take advantage of the peroxisomal transport machinery by interacting with Pex19. We have also shown an increase in MCT2 expression from non-malignant to malignant cells that was directly correlated with its peroxisomal localization. Upon analysis of the expression of several peroxisomal ß-oxidation proteins in PIN lesions and PCa cells from a large variety of human prostate samples, we suggest that MCT2 presence at peroxisomes is related to an increase in ß -oxidation levels which may be crucial for malignant transformation. Our results present novel evidence that may not only contribute to the study of PCa development mechanisms but also pinpoint novel targets for cancer therapy.

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Interação cultural e interpretatio na epigrafia votiva: o caso da fachada ocidental do conuentus Bracaraugustanus

Dissertação de mestrado em Arqueologia

Transformacion de Productos Regionales mediante procesos catalíticos. Transformation of Regional products by catalytic processes.

En este proyecto se plantea la posibilidad de aumentar el valor agregado de compuestos abundantes en nuestro país (terpenos y glicerol) mediante reacciones de oxidación y transesterificación, reemplazando los procesos homogéneos existentes por procesos heterogéneos eco-compatibles. Para ello se desarrollarán catalizadores heterogéneos del tipo MCM-41 e hidroxidos de doble capa (HDC) que posean la función activa específica para estas reacciones bajo estudio.El limoneno, principal componente del aceite esencial de limón y los alfa- y beta- pinenos, presentes en el aceite de trementina, son materiales base ampliamente disponibles. Su oxifuncionalización catalítica, mediante reacciones de epoxidación u oxidación alilica, permite producir una gran variedad de productos como fragancias, agroquímicos, medicinas, etc. En tanto, se espera un marcado incremento en la disponibilidad de glicerol, subproducto de la producción de biodiesel. Mediante su transesterificación catalítica heterogénea es posible obtener selectivamente monoésteres, los cuales tienen importantes aplicaciones como emulsionantes o agentes de estabilización en la producción de fármacos, cosméticos y alimentos. El diseño y síntesis de los materiales catalíticos mencionados permitirá la obtención de productos químicos finos por métodos limpios con bajo impacto ambiental, atendiendo a los altos niveles de contaminación ambiental generados por los procesos homogéneos tradicionales.

The beginnings of life: being some account of the nature, modes of origin and transformation of lower organisms. By H. Charlton Bastian.

1

Unwahrscheinlichkeit gelingender Reformen in russischen Betrieben : ein organisationssoziologischer Beitrag zum Verständnis der postsozialistischen Transformation in Russland

Transformation, Russia, system theory, organistion theory, enterprises, reform, post-sovietic, organization building, management consulting

III - Contribuição para o estudo biológico e ecológico das Podostemaceae do salto do Piracicaba

1 - The Author, in this 3 thd. contribution, concludes the study of the biology and ecology of the species Tristicha trifaria (Willd.) Spreng. and Mourera aspera (Bong.) Tul., both of the Piracicaba Fall. 2 - According to the results of Dr. Peter van Royen (State Herbarium of Leiden, Holland), who made a complete revision of Podostemaceae of the Piracicaba Fall, the species Tristicha hypnoides (St. Hil.) Spreng. var. Hilarii Tul. and Mnioppsis Glazioviana Warm, correspond, respectively, to theTristicha trifaria (Willd.) Spreng. and Mniopsis weddelliana Tul. Apinagia Accorsii Toledo was transferred by Royen to the genus Wettsteiniola. So, its new name is Wettsteiniola accorsii (Toledo) v. Royen. 3 - Propagation by seeds may occur in the following places: a) placenta of partially open fruits; b) external and internal walls of the open capsules; c) pedicels of the fruits; d) remains of rhizomes, branches, etc. e) organic residues accumulated in water holes in the fall; f) clean rocks, in which the little groups of seedlings seems to be a colony of algae. Seeds adhere to the substrata above by means, of a mucilage produced by the transformation of the external integuments in contact with water. 4 - In the growth of the four species below it was found in Piracicaba Fall conspicuous zoning so scattered: a) Wettsteiniola accorsii (Toledo) v. Royen, in rocks situated just within the water fall, where velocity of the current and aeration of the water are very high. b) Tristicha trifaria (Willd.) Spreng. and Mniopsis weddelliana Tul., in rocks at some distance (100 m more or less) upstream until near the bridge across the river. c) Mourera aspera (Bong.) Tul., 300 m upwards the bridge. 5- During 1949, the ecological conditions of the Piracicaba Fall were changed due to the following factors: a) dry season very long, begining from last period of June until 30 november; b) stopping, during four months, of water from the Atibaia river (one of the components of Piracicaba river) near to the city of Americana, in the place where a new station of the Companhia Paulista de Força e Luz was build. In consequence, most of the Podostemaceae died. On the dry rocks there were only fruits and dried plants. 6 - Tristicha trifaria has the same biological and ecological behavior as the Mniopsis weddelliana,. 7 - The vegetative propagation of Tristicha trifaria is made by increasing of its branches, production of stolons with vegetatives buds and regeneration of old parts in especial conditions of water and aeration. 8 - Mourera aspera has the same vegetative propagation as the Wettsteiniola accorsii; it produces stolons (in very little percentage) with vegetative buds, branches of the rhizomes and regeneration of active old parts. 9 - Frequently, there is, on the plants an accumulation of sand, silt, loam, organic substances, and so on. The quantity of material stored depends of the purity of the water, of the morphology of the plants and of the situation on the fall. 10 - In extrem conditions of dry heat, the surviving of the species in its habitat depends exclusively from germination of seeds in the mentioned substrata. Exceptionally, some plants survive in a few water pockets full with the weak remaining current.

Entwicklung nachhaltiger Synthesemethoden zur atomökonomischen Transformation von 1-Vinylpropargylalkoholen mit Übergangsmetallkomplexen redoxaktiver Liganden als Katalysatoren

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2014

Increasing the efficiency of utilization of soil and fertilizer phosphorus in the subtropical and tropical agricultural systems C

As a rule, soils of the subtropical and tropical regions, in which rainfall is not limiting, are acidic, and low in phosphorus, and, to a less extent, in other macro and micronutrients as well, such a sulfur, boron and zinc. The establishment of a permanent agricultural prac. tice therefore, demands relatively high usage of liming and phosphatic fertilization, to begin with. Several approaches, not mutually exclusive, could be used in order to increase the efficiency of utilization of soil and fertilizer phosphorus so that, goal of diminishing costs of production is reached. The use of liming materials bringing up pH to 6.0-6.5 causes the conversion of iron and aluminum phosphates to more available calcium phosphates; on the other hand, by raising calcium saturation in the exchange complex, it improves the development and operation if the root system which allows c or a higher utilization of all soil nutrients, including phosphorus, and helps of stand water deficits which may occur. The role of mycorrhizal fungi should be considered as a way of increasing soil and fertilizer P utilization, as well as the limitations thereof. Screening of and breeding for varieties with higher efficiency of uptake and utilization of soil and fertilizer phosphorus leads to a reduction in cost of inputs and to higher benefit/cost ratios. Corrective fertilization using ground rock phosphate helps to saturate the fixation power of the soil thereby reducing, as a consequence, the need for phosphorus in the maintenance fertilization. Maintenance fertilization, in which soluble phos-phatic sources are used, could be improved by several means whose performance has been proved: limimg, granula tion, placement, use of magnesium salts. Last, cost of phosphate fertilization could be further reduced, without impairing yields, through impairing yields, through changes in technology designed to obtain products better adapted to local conditions and to the availability or raw materials and energy sources.

Increasing quasiconcave production and utility functions with diminishing returns to scale

In microeconomic analysis functions with diminishing returns to scale (DRS) have frequently been employed. Various properties of increasing quasiconcave aggregator functions with DRS are derived. Furthermore duality in the classical sense as well as of a new type is studied for such aggregator functions in production and consumer theory. In particular representation theorems for direct and indirect aggregator functions are obtained. These involve only small sets of generator functions. The study is carried out in the contemporary framework of abstract convexity and abstract concavity.