Verificação do índice SINAPI para orçamento de obras

This work refers a comparison between a government’s index budget and another one which take into account the traditional method, in other words, taking real values practice in market as base. For its achievement will be used the design of a low standard single-family residence, quantifying all the materials needed for its construction with Prices Compositions Table for Budget, provided from the PINI publishing. After that, was made two budgets: one based on the SINAPI index costs, provided from Caixa Econômica Federal and calculated for the Brazilian Institute of Geography and Estatistics; and another based on the costs used in the SESC work in Birigui city, as well as values collected from building material stores in the same city. Finally, with both finalized budgets, will be drawn a direct comparison in order to verifying if the index can be use as parameter for budget calculations for low standard residences

Verificação da eficiência da metodologia Seis Sigma na redução da divergência de estoque em uma indústria de condutores de fluídos

This work was developed in order to reduce the discrepancy found between the stock data of an item in the system and the amount found physically in stock in the company presented on this study case. Therefore, this paper makes a study on system of information that can assist in the collection, control and manipulation of data regarding the company's stock. It is very important to do the inventory management, so we can control the level of this sub-product to meet sales orders and production. In the study discussed below, we used the Six Sigma methodology to identify points that had flaws in the process and thus improve their work where the results show grater process control and provide a reliable database to the point where no further problems of lack of components in stock

Análise do corpo gorduroso do diplópodo Rhinocricus padbergi para verificação de seu potencial bioindicador de solos impactados

Não disponível

Avaliação gastroprotetora da epicatequina e verificação de seus mecanismos de ação

The stomach is an exceptional organ, which functions are sterilize food ingested, form the primitive bolus, digest lipids and proteins, and to store food temporarily in the gastrointestinal tract. Its capacity of digesting food without digesting itself is amazing. This fact occurs due to innumerous protective substances adjacent to the gastric mucosa. When aggressive factors overwhelm the protective factors, a lesion in the gastric mucosa is formed. Lesions that reach the lamina propria are called gastric ulcers, which are classified macroscopically as openings on the gastric wall and; microscopically, as a gastric injury characterized with epithelial desquamation, mucosal hemorrhage, glandular damage and eosinophilic infiltration. The current therapy available is effective, although it causes collateral effects, therefore researching new drugs is necessary. This work aim to evaluate the gastroprotective effect of epicatechin against gastric lesions induced by absolute ethanol and non steroidal anti-inflammatory drugs which are the main causes of this disease currently, yet we aim to study the main mechanisms of action responsible for the gastroprotective effect. The results show that epicatechin has a significant macroscopic and microscopic gastroprotective effect against gastric injuries induced by ethanol and indomethacin, acting locally by augmenting gastric mucus secretion and it also acts via antioxidant system by holding total glutathione levels. Epicatechin’s gastroprotective mechanisms depend on the activation of sulfhydryl compounds and doesn’t depend on the NO-synthase enzyme

Modelos dinâmicos simplificados, para verificação do comportamento de rede de satélites amarrados por cabos flexíveis, usando-se o método explícito das diferenças finitas

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

Verificação da eficiência do modelo de Mohler na resposta do comportamento de vigas mistas de madeira e concreto

The aim of this research study was to evaluate the structural behaviour of the wood and concrete composite system for bridge decks with emphasis on the metal shear connectors. Experimental tests were performed on composite specimens and wood and concrete beams with a metallic connector system in an X position, using CS100900-type screws. All specimens and beams were submitted to static loads until failure in order to obtain the strength and stiffness of the connection system. The experimental results for the stiffness of the beams were compared with the analytical results obtained through the Mohler model, presenting good equivalence for service loads. The experimental results obtained demonstrate that the most significant damage in composite systems occurred in the connectors' areas.

A importância da atenção farmacêutica após a verificação da qualidade microbiológica de medicamentos contendo paracetamol encontrados em algumas residências de Américo Brasiliense - SP

It is known that a high microbial count can compromise the stability of medicines, thus reducing their therapeutic efficacy. This work tried to demonstrate that the microbial contamination can be directly related to the inadequate handling of the medicines stored in homes, making it possible to draw strategies to reduce the possible risks of medical therapy offering correct information and advising. The objective of this work was to evaluate the quality of the medicines containing paracetamol found in the residences of Américo Brasiliense-SP, using the microbial analysis of non-sterile method described in the Brazilian Pharmacopoeia (1988). The medicine samples (30 samples) were obtained directly from the interviewed local residents, who had received new medicine bottles of the same product. An analysis of viable microorganisms (bacteria and fungus) was carried out to identify pathogens found in the collected samples. Although 90% of the analyzed samples have shown some microbial contamination, the results indicated the absence of pathogenic microorganisms, and the total count of viable microorganisms was below the maximum value for non-sterile (104 UFC/g or mL). It was also verified that the local residents stored the medicines in appropriate places, according to the orientations received when they bought the medicines in pharmacies and drugstores, showing the importance of information for the correct use and conservation of pharmaceuticals.

Design gráfico ergonômico: método para verificação de níveis de usabilidade de fontes tipográficas para texto em suportes impressos e digitais

Pós-graduação em Design - FAAC

Avaliação da ação da melatonina em células-tronco tumorais mamárias RE-positivas tratadas com disruptores estrogênicos: verificação da via do receptor de estrógeno mediada pelo gene OCT 4

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

Verificação de pilares metálicos compostos constituídos por perfis formados a frio por meio de programa computacional

In this work, we discuss the procedures adopted for the design of built-up columns (laced and battened columns). Built-up columns are widely used in steel construction generally when the compression forces are relatively low and the column buckling lengths are large. They are commonly used in industrial buildings, for example, as posts for cladding, or as columns supporting a crane girder. Unlike columns with full section, in the case of built-up columns, it is necessary to evaluate the shear stiffness. In fact, the shear strength leads to a significant reduction of the critical load. In the context of this work, the components of the columns (chords, diagonals, posts, etc.) are formed by cold-formed members. In order to systematize and rationalize the verification of the built-up columns, this work aim to develop a computer program based on the standards NBR 14762, NBR 6355 and Eurocode 3, basically the considerations of the part EN 1993-1-1

Verificação de pilares metálicos compostos constituídos por perfis formados a frio por meio de programa computacional

In this work, we discuss the procedures adopted for the design of built-up columns (laced and battened columns). Built-up columns are widely used in steel construction generally when the compression forces are relatively low and the column buckling lengths are large. They are commonly used in industrial buildings, for example, as posts for cladding, or as columns supporting a crane girder. Unlike columns with full section, in the case of built-up columns, it is necessary to evaluate the shear stiffness. In fact, the shear strength leads to a significant reduction of the critical load. In the context of this work, the components of the columns (chords, diagonals, posts, etc.) are formed by cold-formed members. In order to systematize and rationalize the verification of the built-up columns, this work aim to develop a computer program based on the standards NBR 14762, NBR 6355 and Eurocode 3, basically the considerations of the part EN 1993-1-1

Normalização de nomes de autores em fontes de informação institucionais: proposta de um método automático de verificação de erros

A recuperação da produção científica por autoria é um desafio para diversos mantenedores de bases de dados, devido à ambiguidade causada por problemas derivados da falta de controle no momento da indexação. Este estudo apresenta um método automático para verificação de ocorrência de erros em dados de autorias da base de produção científica da Universidade de São Paulo (Dedalus) tomando como base o banco institucional de recursos humanos. Por meio de algoritmos de busca aproximada, compararam-se esses dados com os dados de autoria registrados no banco de produção científica de quatro unidades da USP (período de 2006-2010). Com base nesse estudo piloto foi possível estabelecer mecanismos de interoperabilidade entre o banco da produção e os bancos institucionais de recursos humanos, além de permitir mapear a porcentagem de erros, desenvolver mecanismos de interferência e estabelecer um cronograma para ampliar o estudo as demais unidades USP, bem como procedimentos de normalização.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Aplicação informática para verificação de perfis enformados a frio segundo a EN1993-1-3

Os perfis enformados a frio estão em crescente uso na indústria da construção, utilizados como estruturas secundárias e primárias, por apresentar resistência em relação ao baixo peso, facilidade de utilização em obra e sustentabilidade. A norma europeia EN1993-1-3, também adotada em Portugal, que apresenta as especificações normativas sobre o uso estrutural de perfis enformados a frio é de difícil aplicação para os projetistas devido à quantidade e complexidade de cálculos para que sejam efetuadas as verificações de segurança necessárias, pelas limitações dos programas informáticos e complexidade de compreensão dos fenómenos da instabilidade local e distorcional que condicionam o comportamento deste tipo de secções, classificadas como de classe 4. O presente trabalho procura explicar os procedimentos do eurocódigo e os seus aspetos mais controversos, como, por exemplo, o processo de cálculo da distribuição de tensões numa secção arbitrária constituída por segmentos retos, o cálculo de larguras efetivas e espessuras reduzidas e as verificações de segurança em termos de resistência e estabilidade global requeridos pela norma. O principal objetivo deste trabalho é o desenvolvimento um programa de cálculo para verificar barras com secções de classe 4 que tenha a abrangência das especificações do Eurocódigo (EC3-1-3), que possa auxiliar engenheiros no processo de projeto, dimensionamento e verificação regulamentar de estruturas metálicas que utilizem este tipo de secções. Para isso foi criada uma aplicação informática, em ambiente Windows®, que está ligada ao programa Autodesk® Robot Structural Analisys® para obtenção de dados de cálculo e executar os cálculos de secções efetivas e verificações de segurança de acordo com a norma europeia. São apresentados diagramas de blocos com a sequência do procedimento de cálculo das várias fases de cálculo de secções efetivas e de verificação de barras, com vista a mostrar a lógica de funcionamento interno da aplicação criada no âmbito deste trabalho. Por fim desenvolve-se um manual de utilização da aplicação e um exemplo comparativo, de cálculo das propriedades efetivas de uma secção, entre os resultados do programa e documentos de referência com cálculos manuais