8 resultados para Especificações Formais

em Repositório Institucional da Universidade Estadual de São Paulo - UNESP


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This undergraduate thesis aims formally define aspects of Quantum Turing Machine using as a basis quantum finite automata. We introduce the basic concepts of quantum mechanics and quantum computing through principles such as superposition, entanglement of quantum states, quantum bits and algorithms. We demonstrate the Bell's teleportation theorem, enunciated in the form of Deutsch-Jozsa definition for quantum algorithms. The way as the overall text were written omits formal aspects of quantum mechanics, encouraging computer scientists to understand the framework of quantum computation. We conclude our thesis by listing the Quantum Turing Machine's main limitations regarding the well-known Classical Turing Machines

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work deals with the continuation of Scientific Initiation research initiated by Tamura (2012), which draws up a mixture of soil and recycled aggregate analysis for paving of low traffic volume roads using local materials from the Vale do Paraíba region. The main steps of the process were the soil and recycled aggregate characterization, along with grading tests and California Bearing Ratio (CBR) applied to the soil, the recycled aggregate and the mixture of soil and recycled aggregate; aiming their use as base and sub-base in paving urban roads. The results are discussed, emphasizing the mechanical behavior. The current results are compared with the results of IC Tamura research, taking decisions over this job to the final product best result. For a greater understanding of the work in general were described paving, its structure, its components and its physical behavior. It has been intended to emphasize the importance of the mixture of soil and recycled aggregate to meet the quality requirements and compliance with the specifications of current technical standards, in the context of durability, natural materials economy, decreases volume in landfills and cost reduction

Relevância:

10.00% 10.00%

Publicador:

Resumo:

TProducts must follow specifications in order to attend demands requested. In terms of rolled aluminum, one of the most significant items for customers is coil thickness. This is because only a tiny variation in thickness might cause a serious problem on customer's manufacturing line. Thereby, this research aims to analyze through design of experiments which factors and how they affect the thickness of aluminum coils. The response variable of the experiment is the thickness of aluminum coil, tensile strenght and yield strenght are the factors of the experiment and trimmers machines were considered as blocking. Data were obtained through tensile tests. The result of the experiment states that, according to the analysis of variance (ANOVA), while there is significant difference between the two levels of tensile strength, there is not any difference between the two levels of yield strength and trimmers machines. The thickness of the aluminum coils with high values of tensile strength tends to be thicker when compared with low values of tensile strength

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Over the recent human history within the last centuries the environmental degradation has been accumulating and growing rampantly causing effects today easily perceived by all. Because of this, today we can say that there is almost a consensus among the world population's concern with the environment in order to seek to minimize these effects immediately in addition to not aggravate the situation for future generations. Thus today it is common to find a wide range of products with this ideal of sustainable commitment in the various commercial areas. The construction industry has a responsibility to be a major cause of these impacts to the environment, so it is also one of the main vectors able to mitigate the degradation of the environment. In order to encourage, oversee and promote the sustainable attitudes within the construction area emerged environmental certifications. In this work it's exposed some of the major certifications for civilian buildings, highlighting the Selo Azul da Caixa that appears as a good choice focused on the Brazilian reality

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work talks about the importance of the steel adhesion to concrete, reinforced concrete structures, their testing and forms of measurement used and how the results are used in the structural design, which uses as a reference the NBR 6118 and NBR 7480. It also deals with the importance of a reliable assessment, discussing failures that the test used, NBR 7477, features in specific circumstances, as discussed under the EC-094. It also presents an initial proposal for simplified pullout test, which aims to analyze the grip on steel bars with diameter less than 10 mm, which results when used standardized testing by ABNT NBT 7477, has shown excessive variability, the main criticism of the trial today used without distinction to be established thick or thin bars. The proposal also presented methodology is in the consolidation phase, given the time and the volume of necessary tests. For this reason it is not possible to make a comparison between the values obtained and the results of the test used on the basis of the standard in force, this can only be done once the front with a continuation of this work

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study aims to analyze the capacity of a helical coil heat exchanger to reach the requested heat transfer rates by a sodium hypochlorite production process. This heat exchanger was installed in an experimental way in order to reuse a source of low-temperatures water in such a way to become a more economical alternative than the existing cooling tower. Firstly, the concepts related to the theory of heat transfer applicable to the case were introduced. Then, the mapping of the main information about the production process and the technical specification of the current cooling system equipment's was realized. Using the dimensions of the heat exchanger installed today as reference, the calculations for determining the ideal length of the coil to different flows of hot fluid were performed. Finally, it was concluded that the heat exchanger currently employed does not provide heat transfer rates required for the maximum flow rate value supported by the cooling tower