Buscar
Mostrando ítems 3721-3730 de 14524
Automated abstractions for contract validation
(IEEE Computer Society, 2012-01)
Pre/postcondition-based specifications are commonplace in a variety of software engineering activities that range from requirements through to design and implementation. The fragmented nature of these specifications can ...
Análise experimental e computacional de vigas biapoiadas de concreto armado reforçadas com CRFC
(Universidade Tecnológica Federal do ParanáCuritibaBrasilPrograma de Pós-Graduação em Engenharia CivilUTFPR, 2017-07-12)
The lack of maintenance, the change in loadings, project and execution failures, and even failures of constituent materials of a structural part lead to the necessity of applying a structural reinforcement. Among these ...
Análise do desenvolvimento de filme de líquido em escoamento ascendente sob efeito dos campos centrífugo e gravitacional
(Universidade Tecnológica Federal do ParanáCuritibaBrasilPrograma de Pós-Graduação em Engenharia Mecânica e de MateriaisUTFPR, 2017-09-05)
Flows with free surface compose an important class of two-phase flows in the fluids mechanics. In various applications a thin film of liquid builds up on horizontal or vertical surfaces. This type of flow is denominated ...
Análise comparativa do comportamento estrutural e desempenho construtivo de lajes lisas maciças em concreto armado versus concreto protendido – estudo de caso aplicado em TQS
(Universidade Tecnológica Federal do ParanáCuritibaBrasilCurso de Engenharia CivilUTFPR, 2017-08-15)
In the last decades great innovation in the constructive processes has been observed, however, in Brazil still prevails, for cultural reasons, the use in residential buildings of conventional structure: beams, slabs and ...
Simulação dos perfis de espalhamento elástico de tecidos mamários e materiais equivalentes por código Monte Carlo
(Universidade Tecnológica Federal do ParanáCuritibaBrasilPrograma de Pós-Graduação em Engenharia Elétrica e Informática IndustrialUTFPR, 2018-02-23)
In radiodiagnostics, such as mammograms, it is common to consider that scattered radiation is a problem because it degrades the contrast of the image. However, recent studies have shown that it is possible to identify the ...
Análise de tecido mamário neoplásico canino a partir da técnica de difração de Raios X
(Universidade Tecnológica Federal do ParanáCuritibaBrasilPrograma de Pós-Graduação em Engenharia Elétrica e Informática IndustrialUTFPR, 2017-03-23)
Canine mammary neoplasms represent approximately 52 % of all neoplasms that affect females of this species. Currently studies with human mammary tumors have shown that the use of X-ray diffraction technique allows the ...
Controle preditivo com restrições aplicado ao rastreamento de trajetória de um robô escalador com rodas magnéticas
(Universidade Tecnológica Federal do ParanáCuritibaBrasilPrograma de Pós-Graduação em Engenharia Elétrica e Informática IndustrialUTFPR, 2018-06-26)
In this work, a trajectory tracking control is presented for a climbing wheeled robot under magnetic adhesion, whose function is to carry equipment that perform the inspection of LGP (Liquefied Gas Petroleum) storage tanks. ...
A contribuição da associação entre genealogia acadêmica e bibliometria para a avaliação de Programas de Pós-Graduação
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Ciência da Informação - PPGCICâmpus São Carlos, 2020-07-28)
The measurement of scientific production is an object of studies much explored in Information Science, through Bibliometrics, which allows to evaluate the performance of researchers and the impacts of their productions, ...
Identification of Non-Technical Electricity Losses in Power Distribution Systems by Applying Techniques of Information Analysis and Visualization
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2015-03-01)
In this work we expose a software solution proposal to support the detection process of non-technical losses of electricity in the Energy Company of the Quindio region in Colombia (EDEQ by its acronym in Spanish). In the ...
Herramienta informática para el control de asistencia docente y registro de contenido programático en la facultad de ingenierías
(Universidad Libre Seccional Pereira, 2010-01-30)
En este software se muestra CADYRCP (Control de Asistencia Docente y Registro de Contenido Programático) como una herramienta informática que facilita los procesos de control de asistencia docente y los registros de contenido ...