Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.

On the statistical estimation of diffusion processes - a partial survey

Data available on continuous-time diffusions are always sampled discretely in time. In most cases, the likelihood function of the observations is not directly computable. This survey covers a sample of the statistical methods that have been developed to solve this problem. We concentrate on some recent contributions to the literature based on three di§erent approaches to the problem: an improvement of the Euler-Maruyama discretization scheme, the employment of Martingale Estimating Functions, and the application of Generalized Method of Moments (GMM).

Partial economic reforrns and financial crises: an emerging markets perspective

The recent emerging market experiences have posed a challenge to the conventional wisdom that unsustainable fiscal deficits are the key to understanding financial crises in these countries. The health of the domestic banking system has emerged as the main driving force behind the perverse dynamics of partial reforms. The current paper shares this view and uses a model of contractual inefliciencies in the banking sector to understand the dynamics of these reforms. We find that the threat of a large exchange rate devaluation depends on the stock of international reserves relative to the stock of domestic credit that must be extended by the Central Bank in response to a large capital outflow. Moreover, if a country has a weak banking sector but high net reserve ratios, the capital flow reversal might only increase the vulnerability to a currency crisis without necessarily causing it. The results are in accordance with much of the empiricalliterature on the determinants of financiaI crises in emerging markets. Some aspectsof the recent policy debate on the introduction of capital controls are also analysed.

Estimation of genetic parameters for partial egg production periods by means of random regression models

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Partial protection against tissue cysts formation in pigs vaccinated with crude rhoptry proteins of Toxoplasma gondii

A vaccine containing crude Toxoplasma gondii rhoptry proteins incorporated in the immunostimulating complexes (ISCOM) adjuvant was tested in pigs for protecting against tissue cyst formation. For this, 38 mixed breed pigs were divided into four groups, G1 (vaccinated challenged, n = 10) received two doses (100 mu g/dose) of the rhoptry vaccine at days 0 and 21, G2 (vaccinated challenged, n = 10) received viable tachyzoites (7 x 10(7)) of the RH strain at day 0, G3 (unvaccinated challenged, n = 10) and G4 (unvaccinated unchallenged, n = 8). Pigs were challenged with 4 x 10(4) VEG strain oocysts 57 days later. The G1 pigs produced high IgG antibody levels in the indirect enzyme-linked immunosorbent assay (ELISA) after the second dose of rhoptry vaccine, but were not clinically protected against a high dose oocyst challenge. Partial protection was observed in G1 at the chronic phase of infection, when compared with G3. Pigs in group 2 developed high antibody levels and were protected against clinic signs. T gondii was not detected in two (G1) and three (G2) pigs by mouse bioassay. The results indicate partial protection in pigs vaccinated with a rhoptry vaccine. (c) 2005 Elsevier B.V. All rights reserved.

Poultry feed metabolizable energy determination using total or partial excreta collection methods

The aim of this work was to compare the efficiency of total (TC) or partial (PC) collection excreta methods to determine metabolizable energy in poultry feeds. A number of 180 12- to 21-day-old broilers were distributed into two treatments of six replicates of 10 birds each. A reference-diet was formulated to supply broiler requirements, and the test-diets consisted of 60% of reference diets and 40% of corn or soybean meal. Celite was added at 1% to the diets as a marker. Excreta and diet samples were analyzed for dry matter, energy, nitrogen, and acid-insoluble ash (AIA). AME of corn determined by partial collection (PC) was higher (3544 kcal/kg) as compared to total collection (TC) (3133 kcal/kg). However, no difference were observed for soybean meal (1797 vs. 1821 kcal/kg) between both methods. Marker recovery rates in the excreta were 101, 111, and 96% for the basal-diet, and the test-diets with corn or soybean meal, respectively. This result indicates the importance of marker recovery rate in the excreta to evaluate feed AME and digestibility.

Análise de escalabilidade de uma implementação paralela do simulated annealing acoplado

This paper analyzes the performance of a parallel implementation of Coupled Simulated Annealing (CSA) for the unconstrained optimization of continuous variables problems. Parallel processing is an efficient form of information processing with emphasis on exploration of simultaneous events in the execution of software. It arises primarily due to high computational performance demands, and the difficulty in increasing the speed of a single processing core. Despite multicore processors being easily found nowadays, several algorithms are not yet suitable for running on parallel architectures. The algorithm is characterized by a group of Simulated Annealing (SA) optimizers working together on refining the solution. Each SA optimizer runs on a single thread executed by different processors. In the analysis of parallel performance and scalability, these metrics were investigated: the execution time; the speedup of the algorithm with respect to increasing the number of processors; and the efficient use of processing elements with respect to the increasing size of the treated problem. Furthermore, the quality of the final solution was verified. For the study, this paper proposes a parallel version of CSA and its equivalent serial version. Both algorithms were analysed on 14 benchmark functions. For each of these functions, the CSA is evaluated using 2-24 optimizers. The results obtained are shown and discussed observing the analysis of the metrics. The conclusions of the paper characterize the CSA as a good parallel algorithm, both in the quality of the solutions and the parallel scalability and parallel efficiency

Comparison of Botryosphaeran production by the ascomyceteous fungus Botryosphaeria sp., grown on different carbohydrate carbon sources, and their partial structural features

The influence of glucose concentration and other carbohydrates (monosaccharides: fructose, galactose, mannose; polyols: mannitol and sorbitol; disaccharides: lactose, sucrose and commercial sucrose; and industrial sugarcane molasses) were compared as sole carbon sources for the production of Botryosphaeran, an exopolysaccharide (EPS) produced by Botryosphaeria sp. The optimum glucose concentration for EPS production was 50 g 1(-1). With the exception of mannitol, the fungus produced EPS on all carbon sources studied, with highest yields occurring with sucrose followed by glucose. All EPS showed exclusively glucose after acid hydrolysis and monosaccharide analysis. FTIR spectroscopy demonstrated the presence of beta-anomers indicating that all the EPS produced by Botryosphaeria sp. on the different carbon sources were essentially of the beta-D-glucan type.

Projected length annealing of etched Sm-152 ion tracks in apatite

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Partial characterization of proteins from baru (Dipteryx alata Vog) seeds

BACKGROUND: Baru (Dipteryx alata Vog.) is a fruit distributed throughout the Brazilian savanna and contains a seed with a high protein content, whose properties have been rarely explored. The purpose of this study was to characterize this protein, especially by isolation and quantifying its fractions and measuring some of its molecular properties.RESULTS: Baru seeds contain 244 g kg(-1) protein on a dry weight basis. Solubility profiles showed a preponderance of globulins. This fraction dominated the seed composition, with 61.7 wt% of the total soluble proteins. Albumins and glutelins accounted for 14 and 3.3 wt%, respectively. SDS-PAGE resolution of albumin and globulin showed main bands with molecular weights of 84 kDa and 64,66 and 73 kDa, respectively. The total protein of the flour and the globulin showed values of in vitro digestibility of 85.59% and 90.54%, relative to casein. Total globulin produced only one chromatographic peak, both on Sepharose CL-6B gel filtration and on DEAE-cellulose ion-exchange columns, eluted at a concentration of 0.12 mol L(-1) NaCl.CONCLUSION: The baru seed had high protein content with large quantities of storage proteins. The chromatographic and solubility profiles indicate the predominance of a fraction with characteristics of a legumin-type protein. (C) 2011 Society of Chemical Industry

Isolation and partial characterization of a 30 kDa adhesin from Paracoccidioides brasiliensis

The virulence of Paracoccidioides brasiliensis can be attenuated or lost after long periods of repeated subculturing and reestablished after animal inoculation. Only one adhesin (gp43) has been described until now, among the various identified components of P. brasiliensis, and gp43 shows adhesion to laminin. Thus, the present study was designed to isolate and characterize factors putatively related to the capacity of this fungus to adhere to the host by comparing P brasiliensis samples, taken before and after animal inoculation. The two samples differed in their pattern of adhesion and invasion. The sample recently isolated from animals (Pb18b) demonstrated a greater capacity to adhere and to invade the Vero cells than the one subcultured in vitro (Pb18a). Extract from Ph18b also showed higher levels of protein expression than that from Pb18a, when two-dimensional electrophoresis gels were compared. A protein species of 30 kDa, pI 4.9, was more evident in the Pb18b extract and had properties of adhesin. Laminin, but none of the other extracellular matrix (ECM) components, such as fibronectin, collagen I and IV, bound specifically to the P. brasiliensis 30 kDa protein. The roles of 30 kDa and gp43 in cellular interactions were investigated and the adhesion of P. brasiliensis yeast cells was intensively inhibited by pre-treatment of epithelial cells with 30 kDa protein and gp43. Thus, this study presents evidence that adhesion capacity could be related to virulence, and that a 30 kDa adhesin accumulated differentially in samples with different levels of pathogenicity. This protein and its adhesion characteristics are being published for the first time and may be related to the virulence of P brasiliensis. (c) 2005 Elsevier SAS. All rights reserved.