Métodos numéricos para resolução de equações diferenciais ordinárias lineares baseados em interpolação por spline

In this work we have elaborated a spline-based method of solution of inicial value problems involving ordinary differential equations, with emphasis on linear equations. The method can be seen as an alternative for the traditional solvers such as Runge-Kutta, and avoids root calculations in the linear time invariant case. The method is then applied on a central problem of control theory, namely, the step response problem for linear EDOs with possibly varying coefficients, where root calculations do not apply. We have implemented an efficient algorithm which uses exclusively matrix-vector operations. The working interval (till the settling time) was determined through a calculation of the least stable mode using a modified power method. Several variants of the method have been compared by simulation. For general linear problems with fine grid, the proposed method compares favorably with the Euler method. In the time invariant case, where the alternative is root calculation, we have indications that the proposed method is competitive for equations of sifficiently high order.

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

Equações de segundo grau e mudança de variáveis

In this work are presented, as a review and in a historical context, the most used methods to solve quadratic equations. It is also shown the simplest type of change of variables, namely: x = Ay + B where A;B 2 R, and some changes of variables that were used to solve quadratic equations throughout history. Finally, a change of variable, which has been used by the author in the classroom as an alternative method, is presented and the result of this methodoly is illustrated by the responses of a test that was done by the students in classroom

Contribuições de modelagem de equações estruturais na análise de dados em modelos comportamentais de destino turístico

A fragilidade brasileira quanto à competitividade turística é um fato observável nos dados da Organização Mundial do Turismo. O Brasil caiu em 2011, da 45ª para a 52ª posição, apesar de liderar no atributo recursos naturais e estar colocado na 23° em recursos culturais. Assim, grandes interesses e esforços têm sido direcionados para o estudo da competitividade dos produtos e destinos turísticos. O destino turístico é caracterizado por um conjunto complexo e articulado de fatores tangíveis e intangíveis, apresentando alta complexidade, dados de elevada dimensionalidade, não linearidade e comportamento dinâmico, tornando-se difícil a modelagem desses processos por meio de abordagens baseadas em técnicas estatísticas clássicas. Esta tese investigou modelos de equações estruturais e seus algoritmos, aplicados nesta área, analisando o ciclo completo de análise de dados, em um processo confirmatório no desenvolvimento e avaliação de um modelo holístico da satisfação do turista; na validação da estrutura do modelo de medida e do modelo estrutural, por meio de testes de invariância de múltiplos grupos; na análise comparativa dos métodos de estimação MLE, GLS e ULS para a modelagem da satisfação e na realização de segmentação de mercado no setor de destino turístico utilizando mapas auto-organizáveis de Kohonen e sua validação com modelagem de equações estruturais. Aplicações foram feitas em análises de dados no setor de turismo, principal indústria de serviços do Estado do Rio Grande do Norte, tendo sido, teoricamente desenvolvidos e testados empiricamente, modelos de equações estruturais em padrões comportamentais de destino turístico. Os resultados do estudo empírico se basearam em pesquisas com a técnica de amostragem aleatória sistemática, efetuadas em Natal-RN, entre Janeiro e Março de 2013 e forneceram evidências sustentáveis de que o modelo teórico proposto é satisfatório, com elevada capacidade explicativa e preditiva, sendo a satisfação o antecedente mais importante da lealdade no destino. Além disso, a satisfação é mediadora entre a geração da motivação da viagem e a lealdade do destino e que os turistas buscam primeiro à satisfação com a qualidade dos serviços de turismo e, posteriormente, com os aspectos que influenciam a lealdade. Contribuições acadêmicas e gerenciais são mostradas e sugestões de estudo são dadas para trabalhos futuros.

Contribuições ao estudo de modelagem de equações estruturais na avaliação da satisfação do cliente de serviços de comunicações móveis

No mercado de telecomunicações as transformações tecnológicas das últimas décadas aliaram-se a um cenário formado por empresas de alta tecnologia que caracterizam o setor de comunicações móveis pessoais em todo mundo. Neste contexto, as empresas deste setor preocupam-se cada vez mais com a competitividade, oferta de serviços, área de atendimento, demanda reprimida e a lealdade do cliente. Estudos de comportamento do consumidor pesquisam a satisfação e lealdade de clientes como fatores básicos para relações bem sucedidas e duradouras com as empresas. A complexidade das relações entre variáveis na avaliação da satisfação do cliente em comunicações móveis pode ser adequadamente pesquisada com a utilização de métodos estatísticos multivariados. Essa tese analisou as relações causais envolvendo os antecedentes e consequentes associados à satisfação do cliente, no segmento de comunicações móveis, bem como desenvolveu e validou um modelo comportamental do cliente no uso deste serviço, buscando explicar as relações entre os construtos envolvidos: satisfação, qualidade dos serviços, valor percebido, imagem da marca, lealdade e reclamação. Foi estabelecida uma ampla base teórica para avaliar a importância estratégica do modelo que relaciona a influência na satisfação do serviço com as percepções dos clientes e avaliada a precisão deste modelo, por meio de uma análise comparativa a utilização de três métodos de estimação dos seus parâmetros, MLE, GLS, e ULS, com o emprego de modelagem de equações estruturais. Foram feitas aplicações em análises de dados, sendo testada e avaliada empiricamente, a influência do gênero na satisfação do cliente deste setor, além de uma segmentação de mercado utilizando mapas auto-organizáveis e a correspondente validação deste processo, com modelagem de equações estruturais.Os resultados do estudo empírico produziram uma boa qualidade de ajustamento para o modelo teórico proposto, com evidências do estabelecimento de uma adequada capacidade explicativa e preditiva, destacando-se a relevância da relação causal entre a satisfação e lealdade, em consonância com diversos estudos realizados para os mercados de comunicações móveis.

Três alternativas estocásticas para modelar morbimortalidade por doenças respiratórias e cardiovasculares via variáveis atmosféricas

Climate and air pollution, among others, are responsible factors for increase of health vulnerability of the populations that live in urban centers. Climate changes combined with high concentrations of atmospheric pollutants are usually associated with respiratory and cardiovascular diseases. In this sense, the main objective of this research is to model in different ways the climate and health relation, specifically for the children and elderly population which live in São Paulo. Therefore, data of meteorological variables, air pollutants, hospitalizations and deaths from respiratory and cardiovascular diseases a in 11-year period (2000-2010) were used. By using modeling via generalized estimating equations, the relative risk was obtained. By dynamic regression, it was possible to predict the number of deaths through the atmospheric variables and the betabinomial-poisson model was able to estimate the number of deaths and simulate scenarios. The results showed that the risk of hospitalizations due to asthma increases approximately twice for children exposed to high concentrations of particulate matter than children who are not exposed. The risk of death by acute myocardial infarction in elderly increase in 3%, 6%, 4% and 9% due to high concentrations CO, SO2, O3 and PM10, respectively. Regarding the dynamic regression modeling, the results showed that deaths by respiratory diseases can be predicted consistently. The beta-binomial-poisson model was able to reproduce an average number of deaths by heart insufficiency. In the region of Santo Amaro the observed number was 2.462 and the simulated was 2.508, in the Sé region 4.308 were observed and 4.426 simulated, which allowed for the generation of scenarios that may be used as a parameter for decision. Making with these results, it is possible to contribute for methodologies that can improve the understanding of the relation between climate and health and proved support to managers in environmental planning and public health policies.

Motivação e satisfação à luz do modelo ASH: estudo de caso em indústria de alimentos

Neste estudo, foram examinadas as relações existentes entre a motivação e a satisfação do trabalhador no espaço laboral. O estudo empírico foi conduzido em uma única etapa, por meio da qual buscou-se conhecer as dimensões latentes identificadas e, a partir das dimensões validadas, buscou-se estabelecer relações com características motivacionais, como antecedentes, e satisfação pelo trabalho realizado, como conseqüência do atendimento das necessidades manifestadas pelo trabalhador. Foram entrevistados 38 (trinta e oito) funcionários da empresa Água Mineral Cristalina, incluindo-se os que ocupam cargos de chefia. Como instrumento de coleta de dados, foi utilizada parte do complexo da Auditoria do Sistema Humano ASH, criado por Quijano (1999), que se trata de um modelo de pesquisa na área de Psicologia Social, incluindo a Administração de Recursos Humanos, que analisa os processos psicológicos e psicossociais nas organizações. Para esta pesquisa, foram utilizados dois formulários sugeridos pelo autor citado, (anexos 01 e 02). O primeiro denomina-se condições para a motivação , com 15 (quinze) questões do tipo likert. O segundo, "trabalho bem feito e satisfação de necessidades", tem 22 (vinte e duas) questões, também do tipo likert. O instrumento foi respondido por colaboradores, independente da posição hierárquica, em aproximadamente 10 (dez) a 15 (quinze) minutos. A aplicação foi realizada diretamente pelo pesquisador nas unidades de produção e de administração da empresa. Por meio de modelagem de equações estruturais, foi estabelecido um modelo de relações causais entre as dimensões latentes relacionadas à motivação e o desempenho do empregado quando tem satisfeitas as suas necessidades. Quanto ao tratamento dos dados, este ocorreu de forma quantitativa. Quanto à análise, aconteceu após os dados terem sido tratados. Nesta pesquisa, os dados foram analisados por meio de estatísticas descritivas, atualizando-se os recursos de softwares específicos como Statistic ou SPSS Statistic Package for Social Sciences. Usou-se a técnica de Análise de Regressão, na qual foi utilizado o método STEPWISE que inclui na equação de explicação de uma variável dependente somente aquelas que auxiliam ou incrementam sua explicação. Como variáveis dependentes, foram utilizadas as variáveis do formulário "trabalho bem feito e satisfação de necessidades" e como variável independe as variáveis do questionário "condições para motivação". Sob o ponto de vista prático, este estudo mostrou que um determinado conjunto de características motivacionais influi positivamente na satisfação do trabalhador, que poderá realizar um trabalho bem feito; do lado teórico, a pesquisa verificou explicitamente a hipótese de que os aspectos motivacionais contribuem para que o empregado, sentindo-se satisfeito, desempenhe melhor as atribuições que lhe são conferidas

Modelagem do desempenho ambiental dos projetos de exploração e produção aplicando equações estruturais

A legislação ambiental e os principais agentes que se relacionam com a empresa se constituem em fatores exógenos que não podem ser negligenciados ao formular-se e avaliar-se a política ambiental corporativa. As influências exógenas e seus efeitos sobre a gestão ambiental e o gerenciamento de projetos de exploração e produção (E&P) e, por essa via, sobre o desempenho ambiental, foram objetos de estudo desta tese. Embora o desempenho ambiental seja um assunto relevante, a pesquisa sobre esse tema ainda é escassa. Tal carência desponta ainda mais acentuada quando se aborda o desempenho ambiental de projetos na indústria de petróleo e gás. O principal objetivo deste estudo foi avaliar a relação entre a legislação ambiental vigente, as ações de órgãos reguladores, fornecedores, empresas terceirizadas e comunidades locais e o desempenho ambiental dos projetos de E&P na indústria de petróleo e gás e, também, analisar os efeitos do sistema de gestão ambiental e o gerenciamento dos projetos sobre tal desempenho. Na fase abdutiva, foi conduzido um estudo de caso com abordagem qualitativa em uma grande empresa brasileira do setor de petróleo e gás, na fase dedutiva, foi realizada uma pesquisa survey explanatória de corte transversal com abordagem quantitativa, incluindo 113 projetos de E&P de cinco unidades executoras da empresa. Foi formulado um modelo conceitual, com cinco construtos e sete hipóteses de pesquisa, representativo dos efeitos de fatores externos sobre o desempenho ambiental dos projetos de E&P. Os dados foram tratados aplicando a Análise Fatorial Exploratória e a Modelagem de Equações Estruturais com aplicação dos softwares IBM® SPSS® Statistics 20.0 e IBM® SPSS® Amos 18.0. O modelo de equações estruturais foi reespecificado e estimado utilizando o método de Máxima Verossimilhança e o procedimento bootstrap com 2000 reamostragens, até alcançar adequados valores dos índices de ajustamento. O modelo mostrou boa aderência às evidências empíricas, representando uma teoria explicativa dos fatores que influenciam o desempenho ambiental dos projetos de E&P na empresa estudada. As estatísticas descritivas apontaram adequado desempenho dos projetos de E&P com relação aos efluentes descartados, volume de água reutilizada, redução de resíduos e práticas de reciclagem. Identificou-se que projetos de maior porte alcançam melhor desempenho ambiental em relação aos de menor tamanho. Não foram achadas diferenças significativas entre os desempenhos de projetos executados por unidades operacionais distintas. Os resultados da modelagem indicaram que nem a legislação ambiental, nem os agentes externos exercem influência significativa sobre a sistemática da gestão dos projetos de E&P. Os agentes externos atuam sobre a gestão ambiental da empresa exercitando capacidades colaborativas, obstrutivas e propositivas. A legislação ambiental é percebida como entrave ao desenvolvimento dos projetos ao longo de seu ciclo de vida, principalmente, pelas deficiências dos órgãos ambientais. Identificou-se que o sistema de gestão ambiental influencia diretamente o Programa de Desenvolvimento e Execução de Projetos de E&P, que, por sua vez, provoca efeitos diretos e indiretos sobre o desempenho ambiental. Finalmente, comprovou-se que o Sistema de Gestão Ambiental da empresa é determinante para o desempenho ambiental dos projetos de E&P, tanto pelos seus efeitos diretos, como pelos indiretos, estes últimos mediados pela sistemática de gestão dos projetos de E&P