We prove that given a finite (zero) exact right decomposition (M, T) of a semigroup S, if M is defined by a finite complete presentation, then S is also defined by a finite complete presentation. Exact right decompositions are natural generalizations to semigroups of coset decompositions in groups. As a consequence, we deduce that any Zappa–Szép extension of a monoid defined by a finite complete presentation, by a finite monoid, is also defined by such a presentation.

It is also proved that a semigroup M^0[A; I, J; P], where A and P satisfy some very general conditions, is also defined by a finite complete presentation.

We give an example of a monoid with finitely many left and right ideals, all of whose Schützenberger groups are presentable by finite complete rewriting systems, and so each have finite derivation type, but such that the monoid itself does not have finite derivation type, and therefore does not admit a presentation by a finite complete rewriting system. The example also serves as a counterexample to several other natural questions regarding complete rewriting systems and finite derivation type. Specifically it allows us to construct two finitely generated monoids M and N with isometric Cayley graphs, where N has finite derivation type (respectively, admits a presentation by a finite complete rewriting system) but M does not. This contrasts with the case of finitely generated groups for which finite derivation type is known to be a quasi-isometry invariant. The same example is also used to show that neither of these two properties is preserved under finite Green index extensions.

n/a

Optimized supply chains, both economically as well as environmentally, are significant instruments to be adopted by companies if they want to succeed in the current competitive world. However, without the support of decision tools to help, at least approximately, the integration of these two aspects in the company’s decision making such aim is difficult to reach. The purpose of this study is to develop a mixed integer linear programming model (MILP), which allows the optimization of closed loop supply chains, considering not only economical aspects, but also environmental ones. The model developed was applied to a Portuguese company where their logistic network structure was redesigned.

The efficient design and operation of supply chains with return flows represent a major optimization challenge, given the high number of factors involved and their intricate interactions. In particular, the quality level of the return products has strong economic and societal implications and depends greatly on the type of product (glass, paper, electronic, oil, etc) and on the degree of consumers’ readiness, frequently promoted by various kinds of awareness raising campaigns. A multi-product multi-period model was previously developed by the authors [1] for the closed-loop supply chain (CLSC) design and planning, where strategic and tactical decisions were comprehensively considered. This model is now being extended to handle the uncertainty related to the quality of the returned products, which at this stage is modeled by a two-stage scenario-based stochastic approach. General strategies to solve optimization problems involving uncertainty tend to exhibit poor computational performance, due to the problem NP-hard complexity, which tends to worsen with the problem size. Therefore and, in addition, a model performance solution enhancement is also being explored. To increase the efficiency of the solution approach, an alternative representation to some of the integer variables employed in the mathematical formulation was developed, which is tested by means of computational experiments being performed on illustrative real sized examples.

Nowadays, among the available transparent semiconductors for device use, the great majority (if not all) have n-type conductivity. The fabrication of a transparent p-type semiconductor with good optoelectronic properties (comparable to those of n-type: InOx, ITO, ZnOx or FTO) would significantly broaden the application field of thin films. However, until now no material has yet presented all the required properties. Cu2S is a p-type narrow-band-gap material with an average optical transmittance of about 60% in the visible range for 50 nm thick films. However, due to its high conductivity at room temperature, 10 nm in thickness seems to be appropriate for device use. Cu2S thin films with 10 nm in thickness have an optical visible transmittance of about 85% rendering them as very good candidates for transparent p-type semiconductors. In this work CuxS thin films were deposited on alkali-free (AF) glass by thermal evaporation. The objective was not only the determination of its optoelectronic properties but also the feasibility of an active layer in a p-type thin film transistor. In our CuxS thin films, p-type high conductivity with a total visible transmittance of about 50% have been achieved. (C) 2010 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Nowadays, among the available transparent semiconductors for device use, the great majority (if not all) have n-type conductivity. The fabrication of a transparent p-type semiconductor with good optoelectronic properties (comparable to those of n-type: InOx, ITO, ZnOx or FTO) would significantly broaden the application field of thin films. However, until now no material has yet presented all the required properties. Cu2S is a p-type narrow-band-gap material with an average optical transmittance of about 60% in the visible range for 50 nm thick films. However, due to its high conductivity at room temperature, 10 nm in thickness seems to be appropriate for device use. Cu2S thin films with 10 nm in thickness have an optical visible transmittance of about 85% rendering them as very good candidates for transparent p-type semiconductors. In this work CuxS thin films were deposited on alkali-free (AF) glass by thermal evaporation. The objective was not only the determination of its optoelectronic properties but also the feasibility of an active layer in a p-type thin film transistor. In our CuxS thin films, p-type high conductivity with a total visible transmittance of about 50% have been achieved. (C) 2010 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

In view of the increasing need for larger-area display devices with improved image quality it becomes increasingly important to decrease resistivity while maintaining transparency in transparent conducting oxides (TCOs). Accomplishing the goal of increased conductivity and transparency will require a deeper understanding of the relationships between the structure and the electro-optical properties of these materials. In this work we study the role of tin doping in InOx thin films. Undoped indium oxide (InOx) and indium tin oxide (ITO) thin films were deposited at room temperature by radio-frequency plasma enhanced reactive thermal evaporation (rf-PERTE), a new technique recently developed in our laboratory using as evaporation source either In rods or a 90%In:10%Sn alloy, respectively. The two most important macroscopic properties-optical transparency and electrical resistivity-seem to be independent of the tin content in these deposition conditions. Results show that the films present a visible transmittance of the order of 82%, and an electrical resistivity of about 8 x 10(-4) Omega . cm. Surface morphology characterization made by atomic force microscopy (AFM) showed that homogeneity of the films deposited from a 90%In:10%Sn alloy is enhanced (a film with small and compact grains is produced) and consequently a smooth surface with reduced roughness and with similar grain size and shape is obtained. Films deposited from pure In rods evaporation source show the presence of aggregates randomly distributed above a film tissue formed of thinner grains.

In view of the increasing need for larger-area display devices with improved image quality it becomes increasingly important to decrease resistivity while maintaining transparency in transparent conducting oxides (TCOs). Accomplishing the goal of increased conductivity and transparency will require a deeper understanding of the relationships between the structure and the electro-optical properties of these materials. In this work we study the role of tin doping in InOx thin films. Undoped indium oxide (InOx) and indium tin oxide (ITO) thin films were deposited at room temperature by radio-frequency plasma enhanced reactive thermal evaporation (rf-PERTE), a new technique recently developed in our laboratory using as evaporation source either In rods or a 90%In:10%Sn alloy, respectively. The two most important macroscopic properties-optical transparency and electrical resistivity-seem to be independent of the tin content in these deposition conditions. Results show that the films present a visible transmittance of the order of 82%, and an electrical resistivity of about 8 x 10(-4) Omega . cm. Surface morphology characterization made by atomic force microscopy (AFM) showed that homogeneity of the films deposited from a 90%In:10%Sn alloy is enhanced (a film with small and compact grains is produced) and consequently a smooth surface with reduced roughness and with similar grain size and shape is obtained. Films deposited from pure In rods evaporation source show the presence of aggregates randomly distributed above a film tissue formed of thinner grains.

The recent developments in virtualization change completely the panorama of the Hardware/OS deployment. New bottlenecks arise in the deployment of application stacks, where IT industry will spend most of the time to assure automation. VIRTU tool aims at managing, configuring and testing distributed ground applications of space systems on a virtualized environment, based on open tools and cross virtualization support. This tool is a spin-off of previous activities performed by the European Space Operations Center (ESOC) and thus it covers the original needs from the ground data systems infrastructure division of the European Space Agency. VIRTU is a testing oriented solution. Its ability to group several virtual machines in an assembly provides the means to easily deploy a full testing infrastructure, including the client/server relationships. The possibility of making on-demand request of the testing infrastructure will provide some infrastructure optimizations, specially having in mind that ESA maintains Ground Control software of various missions, and each mission cam potentially have a different set of System baselines and last up to 15 years. The matrix array of supported system combinations is therefore enormous and any improvement on the process provides substantial benefits to ESA, by reducing the effort and schedule of each maintenance activity. The ESOC's case study focuses on the development and validation activities of infrastructure or mission Ground Systems solutions. The Ground Systems solutions are typically composed of distributed systems that could take advantage of virtualized environments for testing purposes. Virtualization is used as way to optimize maintenance for tasks such as testing new releases and patches, test different system's configurations and replicate tests. The main benefits identified are related to deployment test environment and the possibility to have on-demand infrastructure.