Software Verification
Mostrando 1-12 de 83 artigos, teses e dissertações.
-
1. Computational Verification of the NBR 15.220-3 Recommendations for Thermal Comfort in the City of Curitiba
Abstract The Brazilian Standard for Thermal Performance and Bioclimatic Zoning (NBR 15.220-3) establishes twelve strategies to achieve thermal comfort inside buildings considering the dry bulb temperature and the predominant humidity in each climate. These strategies are visualized in the Bioclimatic Charts of Brazil main cities. This study seeks, through c
Braz. arch. biol. technol.. Publicado em: 25/11/2019
-
2. Computational algorithm for the verification of reinforced concrete sections in fire situation
Resumo As estruturas de concreto armado podem ter sua capacidade resistente reduzida devido à degradação de suas propriedades mecânicas com a temperatura, aumentando o risco de colapsos estruturais. Assim, o dimensionamento de uma estrutura deve considerar seu comportamento em temperatura ambiente e em situação de incêndio (ABNT NBR 14432:2001). Neste
Rev. IBRACON Estrut. Mater.. Publicado em: 23/09/2019
-
3. Finite Element Modeling and Experimental Verification of Nitriding Process in S30C Steel
A mathematical model has been developed to simulate the nitriding process of plain carbon steel, considering the simultaneous diffusion of nitrogen in different iron-nitrogen (Fe-N) phases and the precipitation dynamics of γ' and ε iron-nitride. The model can predict the distribution of nitrogen concentration, volume fraction of Fe-N phases and hardness. F
Mat. Res.. Publicado em: 16/02/2017
-
4. Numerical Study on the Structural Performance of Steel Beams with Slant End-plate Connections
Abstract Thermal effects can be one of the most harmful conditions that any steel structure should expect throughout its service life. To counteract this effect, a new beam, with a capability to dissipate thermally induced axial force by slanting of end-plate connection at both ends, is proposed. The beam was examined in terms of its elastic mechanical behav
Lat. Am. j. solids struct.. Publicado em: 2016-07
-
5. Crack Propagation Analysis of Magnesium Rod Processed by Extrusion-shear: Numerical Modeling and Experimental Verification
During extrusion-shear (ES) process, the surface cracks would be formed in the processed rod for AZ31 magnesium caused by nonhomogeneous metal flow and stress. To reduce the cracks defects, three-dimensional (3D) finite element method (FEM) of ES on a wrought AZ31 magnesium alloy have been performed. ES process experiments have been also conducted to verify
Mat. Res.. Publicado em: 2015-08
-
6. FSM-Based Test Case Generation Methods Applied to Test the Communication Software on Board the ITASAT University Satellite: A Case Study
ABSTRACT: The software in satellite applications has become increasingly larger, more complex and more integrated, so its verification and validation require exploration of new approaches. In this paper we present a Model-Based Testing (MBT) approach applied to the Communication Module of the ITASAT-1 university satellite. The models are Finite State Machine
J. Aerosp. Technol. Manag.. Publicado em: 2014-12
-
7. 3D finite element modeling of grains refinement for magnesium alloys by extrusion-shear and experimental verification
To explore the deformation mechanisms of a new composite extrusion including extrusion and successive shear subsequently which is shorten "ES", Three dimensional finite element modeling of grain refinements for magnesium alloys by ES process has been researched. The ES die have been designed and manufactured and installed to the horizontal extruder. Finite e
Mat. Res.. Publicado em: 28/07/2014
-
8. Study on the capacity of cold-formes steel built-up battened colums under axial compression
This paper presents the theoretical and numerical investigation results of the pin ended cold-formed steel built-up battened columns under axial compression. The finite element model was developed using the finite element software ABAQUS. The comparison of finite element analysis results match with the test results available in the literature shows that the
Lat. Am. j. solids struct.. Publicado em: 2014
-
9. Numerical verification and experimental validation of the FEM model of collecting electrodes in a dry electrostatic precipitator
The subject of the present work is the numerical verification and experimental validation of the FEM model which would enable us to analyse the vibrations of collecting electrodes. The effectiveness of electrostatic precipitators (ESP) depends on many factors. One of these factors is the efficiency of periodic cleaning of the collecting electrodes; thus the
Lat. Am. j. solids struct.. Publicado em: 2013-01
-
10. Desenvolvimento de um ambiente para simulação da manufatura baseado em features e realidade virtual / Development of environment for simulation of manufacturing based on features and virtual reality
Nowadays with the diversification of products demanded, manufacturing systems have become increasingly complex and with difficult operation. Hardly the person responsible for the manufacturing area has all the information necessary to anticipate the details for their implementation. On the other hand, companies don\ t have the time or resources to test alter
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/10/2012
-
11. Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos. / Formal Contracts for Derivation and Verification of Parallel Componentes
A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem computacional para o desenvolvimento e execuÃÃo de aplicaÃÃes de CAD baseadas em componentes paralelos, doravante de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/09/2012
-
12. PRECISE - Um processo de verificaÃÃo formal para modelos de caracterÃsticas de aplicaÃÃes mÃveis e sensÃveis ao contexto / PRECISE - A Formal Verification Process for Feature Models for Mobile and Context-Aware Applications
As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer ada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012