Buscar
Itens para a visualização no momento 1381-1390 of 1660
Tradução da especificação SCJ para linguagem de programação C++
(Universidade Federal de Santa Maria, 2015-04-28)
Safety critical systems are systems where its failures can cause irreparable damage for
this reason the development of safety critical systems involves safety issues and require rigorous
validation in the certification ...
O teorema de Cauchy em equações de Navier-Stokes
(Universidade Federal de Santa Maria, 2013-03-08)
This work presents the Cauchy's theorem in its classical form, and aims to weaken their
hypotheses, providing a more advantageous use in continuum mechanics. The methodology
is axiomatic, that is, basic concepts are ...
Combinação de imagens multi-espectrais e modelo de balanço hídrico para predição de rendimentos da soja no Sul do Brasil
(Universidade Federal de Santa Maria, 2019-03-29)
Climatic changes in the last years project a future where water resources become more
and more scarce. For that reason, it will affect considerably the world food production. A
persistent challenge for agriculture is to ...
Especificação de um framework para definir o perfil dos usuários através das interações sociais
(Universidade Federal de Santa Maria, 2019-08-23)
The social context is an important factor for Context-Aware Computing Applications
since it has the capacity to make decisions, considering the current state of the individual
(his current context). A fundamental element ...
Um aplicativo móvel para registro automático da presença acadêmica via bluetooth
(Universidade Federal de Santa Maria, 2014-12-01)
The increasing use of mobile devices and the widespread use of wireless technologies such as Bluetooth, are increasing demand and stimulating increasingly developing applications. The use of these applications seeks to ...
Uma linguagem específica de domínio para consulta em código orientado a aspectos
(Universidade Federal de Santa Maria, 2013-08-28)
Ensuring code quality is crucial in software development. Not seldom, developers resort
to static analysis tools to assist them in both understanding pieces of code and identifying
defects or refactoring opportunities ...
Estudo das vibrações transversais em um sistema viscoelástico acoplado de duas cordas
(Universidade Federal de Santa Maria, 2013-11-22)
In this work, it is developed a study of the transverse vibrations of a system composed
by two parallel strings of equal length, coupled by a viscoelastic element. The frequencies
and mode shapes are obtained using modal ...
Resolvendo problemas de matemática a partir do tema energia elétrica
(Universidade Federal de Santa Maria, 2016-05-14)
This work is the result of innovative classes held in a State School of Basic Education in the city of Alvorada-RS, with students of the 1st year of high school, about contextualized teaching of the 1st Degree functions, ...
Análise de erros no ensino fundamental: uma transição do 5º para o 6º ano
(Universidade Federal de Santa Maria, 2015-08-26)
Evaluations carried out in Brazil have revealed that the averages of proficiency in Mathematics have been continuing low in both national and state exams. The influence of teachers training over students learning has been ...
Estatística: uma abordagem diferenciada no ensino médio
(Universidade Federal de Santa Maria, 2019-03-25)
The objectives of this work are the elaboration, application and validation of a didactic sequence. This sequence can be contribute to the teaching and learning of the content of Statistics in High School. Didactic Engineering ...