15 resultados para Lambda calculus

em Repositório Científico do Instituto Politécnico de Lisboa - Portugal


Relevância:

10.00% 10.00%

Publicador:

Resumo:

We have performed Surface Evolver simulations of two-dimensional hexagonal bubble clusters consisting of a central bubble of area lambda surrounded by s shells or layers of bubbles of unit area. Clusters of up to twenty layers have been simulated, with lambda varying between 0.01 and 100. In monodisperse clusters (i.e., for lambda = 1) [M.A. Fortes, F Morgan, M. Fatima Vaz, Philos. Mag. Lett. 87 (2007) 561] both the average pressure of the entire Cluster and the pressure in the central bubble are decreasing functions of s and approach 0.9306 for very large s, which is the pressure in a bubble of an infinite monodisperse honeycomb foam. Here we address the effect of changing the central bubble area lambda. For small lambda the pressure in the central bubble and the average pressure were both found to decrease with s, as in monodisperse clusters. However, for large,, the pressure in the central bubble and the average pressure increase with s. The average pressure of large clusters was found to be independent of lambda and to approach 0.9306 asymptotically. We have also determined the cluster surface energies given by the equation of equilibrium for the total energy in terms of the area and the pressure in each bubble. When the pressures in the bubbles are not available, an approximate equation derived by Vaz et al. [M. Fatima Vaz, M.A. Fortes, F. Graner, Philos. Mag. Lett. 82 (2002) 575] was shown to provide good estimations for the cluster energy provided the bubble area distribution is narrow. This approach does not take cluster topology into account. Using this approximate equation, we find a good correlation between Surface Evolver Simulations and the estimated Values of energies and pressures. (C) 2008 Elsevier B.V. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work reports on the synthesis of chromium oxide thin films prepared by photodissociation of Cr(CO)(6) in an oxidizing atmosphere, using a pulsed UV laser (KrF, lambda = 248 nm). The experimental conditions, which should enable the synthesis of CrO2, are discussed and results on the deposition of CrxOy films on Al2O3 (0001) substrates are presented.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In practical applications of optimization it is common to have several conflicting objective functions to optimize. Frequently, these functions are subject to noise or can be of black-box type, preventing the use of derivative-based techniques. We propose a novel multiobjective derivative-free methodology, calling it direct multisearch (DMS), which does not aggregate any of the objective functions. Our framework is inspired by the search/poll paradigm of direct-search methods of directional type and uses the concept of Pareto dominance to maintain a list of nondominated points (from which the new iterates or poll centers are chosen). The aim of our method is to generate as many points in the Pareto front as possible from the polling procedure itself, while keeping the whole framework general enough to accommodate other disseminating strategies, in particular, when using the (here also) optional search step. DMS generalizes to multiobjective optimization (MOO) all direct-search methods of directional type. We prove under the common assumptions used in direct search for single objective optimization that at least one limit point of the sequence of iterates generated by DMS lies in (a stationary form of) the Pareto front. However, extensive computational experience has shown that our methodology has an impressive capability of generating the whole Pareto front, even without using a search step. Two by-products of this paper are (i) the development of a collection of test problems for MOO and (ii) the extension of performance and data profiles to MOO, allowing a comparison of several solvers on a large set of test problems, in terms of their efficiency and robustness to determine Pareto fronts.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação apresentada para obtenção do grau de Mestre em Educação Matemática na Educação Pré-Escolar e no 1.º e 2.º Ciclos do Ensino Básico

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Estruturas

Relevância:

10.00% 10.00%

Publicador:

Resumo:

An integration of undoped InOx and commercial ITO thin films into laboratory assembled light shutter devices is made. Accordingly, undoped transparent conductive InOx thin films, about 100 nm thick, are deposited by radiofrequency plasma enhanced reactive thermal evaporation (rf-PERTE) of indium teardrops with no intentional heating of the glass substrates. The process of deposition occurs at very low deposition rates (0.1-0.3 nm/s) to establish an optimized reaction between the oxygen plasma and the metal vapor. These films show the following main characteristics: transparency of 87% (wavelength, lambda = 632.8 nm) and sheet resistance of 52 Omega/sq; while on commercial ITO films the transparency was of 92% and sheet resistance of 83 Omega/sq. The InOx thin film surface characterized by AFM shows a uniform grain texture with a root mean square surface roughness of Rq similar to 2.276 nm. In contrast, commercial ITO topography is characterized by two regions: one smoother with Rq similar to 0.973 nm and one with big grains (Rq similar to 3.617 nm). For the shutters assembled using commercial ITO, the light transmission coefficient (Tr) reaches the highest value (Tr-max) of 89% and the lowest (Tr-min) of 1.3% [13], while for the InOx shutters these values are 80.1% and 3.2%, respectively. Regarding the electric field required to achieve 90% of the maximum transmission in the ON state (E-on), the one presented by the devices assembled with commercial ITO coated glasses is 2.41 V/mu m while the one presented by the devices assembled with InOx coated glasses is smaller, 1.77 V/mu m. These results corroborate the device quality that depends on the base materials and fabrication process used. (C) 2014 Elsevier Ltd. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Hierarchical wrinkling on elastomeric Janus spheres is permanently imprinted by swelling, for different lengths of time, followed by drying the particles in an appropriate solvent. First-order buckling with a spatial periodicity (lambda(11)) of the order of a few microns and hierarchical structures comprising of 2nd order buckling with a spatial periodicity (lambda(12)) of the order of hundreds of nanometers have been obtained. The 2nd order buckling features result from a Grinfeld surface instability due to the diffusion of the solvent and the presence of sol molecules.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e do 2.º Ciclo do Ensino Básico

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Relatório de Estágio para obtenção do grau de Mestre em Engenharia na Área de Especializção em Edificações

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Locating and identifying points as global minimizers is, in general, a hard and time-consuming task. Difficulties increase in the impossibility of using the derivatives of the functions defining the problem. In this work, we propose a new class of methods suited for global derivative-free constrained optimization. Using direct search of directional type, the algorithm alternates between a search step, where potentially good regions are located, and a poll step where the previously located promising regions are explored. This exploitation is made through the launching of several instances of directional direct searches, one in each of the regions of interest. Differently from a simple multistart strategy, direct searches will merge when sufficiently close. The goal is to end with as many direct searches as the number of local minimizers, which would easily allow locating the global extreme value. We describe the algorithmic structure considered, present the corresponding convergence analysis and report numerical results, showing that the proposed method is competitive with currently commonly used global derivative-free optimization solvers.