876 resultados para compiler optimization


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper aims to analyze dual-purpose systems focusing the total cost optimization; a superstructure is proposed to present cogeneration systems and desalination technologies alternatives for the synthesis process. The superstructure consists of excluding components, gas turbines or conventional steam generators with excluding alternatives of supplying fuel for each combustion system. Also, backpressure or condensing/extraction steam turbine for supplying process steam could be selected. Finally one desalination unit chosen between electrically-driven or steam-driven reverse osmosis. multi-effect and multistage flash should be included. The analysis herein performed is based on energy and mass conservation equations, as well as the technological limiting equation of equipment. The results for ten different commercial gas turbines revealed that electrically-driven reverse osmosis was always chosen together with both natural gas and gasified biomass gas turbines. (C) 2009 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, the use of differential evolution ( DE), a global search technique inspired by evolutionary theory, to find the parameters that are required to achieve optimum dynamic response of parallel operation of inverters with no interconnection among the controllers is proposed. Basically, in order to reach such a goal, the system is modeled in a certain way that the slopes of P-omega and Q-V curves are the parameters to be tuned. Such parameters, when properly tuned, result in system's eigenvalues located in positions that assure the system's stability and oscillation-free dynamic response with minimum settling time. This paper describes the modeling approach and provides an overview of the motivation for the optimization and a description of the DE technique. Simulation and experimental results are also presented, and they show the viability of the proposed method.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The increase of applications complexity has demanded hardware even more flexible and able to achieve higher performance. Traditional hardware solutions have not been successful in providing these applications constraints. General purpose processors have inherent flexibility, since they perform several tasks, however, they can not reach high performance when compared to application-specific devices. Moreover, since application-specific devices perform only few tasks, they achieve high performance, although they have less flexibility. Reconfigurable architectures emerged as an alternative to traditional approaches and have become an area of rising interest over the last decades. The purpose of this new paradigm is to modify the device s behavior according to the application. Thus, it is possible to balance flexibility and performance and also to attend the applications constraints. This work presents the design and implementation of a coarse grained hybrid reconfigurable architecture to stream-based applications. The architecture, named RoSA, consists of a reconfigurable logic attached to a processor. Its goal is to exploit the instruction level parallelism from intensive data-flow applications to accelerate the application s execution on the reconfigurable logic. The instruction level parallelism extraction is done at compile time, thus, this work also presents an optimization phase to the RoSA architecture to be included in the GCC compiler. To design the architecture, this work also presents a methodology based on hardware reuse of datapaths, named RoSE. RoSE aims to visualize the reconfigurable units through reusability levels, which provides area saving and datapath simplification. The architecture presented was implemented in hardware description language (VHDL). It was validated through simulations and prototyping. To characterize performance analysis some benchmarks were used and they demonstrated a speedup of 11x on the execution of some applications

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present the construction of a homogeneous phantom to be used in simulating the scattering and absorption of X-rays by a standard patient chest and skull when irradiated laterally. This phantom consisted of Incite and aluminium plates with their thickness determined by a tomographic exploratory method applied to the anthropomorphic phantom. Using this phantom, an optimized radiographic technique was established for chest and skull of standard sized patient in lateral view. Images generated with this optimized technique demonstrated improved image quality and reduced radiation doses. (c) 2006 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The objectives of the present study were to optimize the protocol of mouse immunization with Paracoccidioides brasiliensis antigens (Rifkind's protocol) and to test the modulation effect of cyclophosphamide (Cy) on the delayed hypersensitivity response (DHR) of immunized animals. Experiments were carried out using one to four immunizing doses of either crude particulate P. brasiliensis antigen or yeast-cell antigen, followed by DHR test four or seven days after the last immunizing dose. The data demonstrated that an immunizing dose already elicited response; higher DHR indices were obtained with two or three immunizing doses; there were no differences between DHR indices of animals challenged four or seven days after the last dose. Overall the inoculation of two or three doses of the yeast-cell antigen, which is easier to prepare, and DHR test at day 4 simplify the original Rifkind's immunization protocol and shorten the duration of the experiments. The modulation effect of Cy on DHR was assayed with administration of 2.5, 20 and 100 mg/kg weight at seven day intervals starting from day 4 prior to the first immunizing dose. Only the treatment with 2.5 mg Cy increased the DHR indices. Treatment with 100 mg Cy inhibited the DHR, whereas 20 mg Cy did not affect the DHR indices. Results suggest an immunostimulating effect of low dose of Cy on the DHR of mice immunized with P. brasiliensis antigens.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study aimed to develop a plate to treat fractures of the mandibular body in dogs and to validate the project using finite elements and biomechanical essays. Mandible prototypes were produced with 10 oblique ventrorostral fractures (favorable) and 10 oblique ventrocaudal fractures (unfavorable). Three groups were established for each fracture type. Osteosynthesis with a pure titanium plate of double-arch geometry and blocked monocortical screws offree angulanon were used. The mechanical resistance of the prototype with unfavorable fracture was lower than that of the fcworable fracture. In both fractures, the deflection increased and the relative stiffness decreased proportionally to the diminishing screw number The finite element analysis validated this plate study, since the maximum tension concentration observed on the plate was lower than the resistance limit tension admitted by the titanium. In conclusion, the double-arch geometry plate fixed with blocked monocortical screws has sufficient resistance to stabilize oblique,fractures, without compromising mandibular dental or neurovascular structures. J Vet Dent 24 (7); 212 - 221, 2010

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Restoring a misaligned tooth with an inadequate contact point is a challenge to the practitioner. In some instances, teeth that could be repositioned and adequately restored are extracted. Thus, the aim of this article was to describe a treatment using orthodontic and prosthetic techniques to restore esthetics and function in a patient with a distally drifted maxillary lateral incisor. The patient's functional and esthetic expectations were successfully met with the outlined treatment.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This work proposes a mathematical model to aid variety selection and planting quantity of sugarcane in order to reduce crop residues, maximize energy generated by this residue, and satisfy all the supply of the mill. We propose Linear Programming with two objective. The conflict between these objectives allows the use of the Nonzero-sum Game Theory. (C) 2003 Elsevier B.V. Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cyclodextrin glucanotransferase production from Bacillus clausii E16, a new bacteria isolated from Brazilian soil samples was optimized in shake-flask cultures. A 2 4 full-factorial central composite design was performed to optimize the culture conditions, using a response surface methodology the combined effect among the soluble starch concentration, the peptone concentration, the yeast extract concentration, and the initial pH value of the culture medium was investigated. The optimum concentrations of the components, determined by a 2(4) full-factorial central composite design, were 13.4 g/L soluble starch, 4.9 g/L peptone, 5.9 g/L yeast extract, and initial pH 10.1. Under these optimized conditions, the maximum cyclodextrin glucanotransferase activity was 5.9 U/mL after a 48-h fermentation. This yield was 68% higher than that obtained when the microorganism was cultivated in basal culture medium.