781 |
UMA PROPOSTA DE ABORDAGEM AO PROBLEMA DE FLÁVIO JOSEFO APLICADA AO ENSINO MÉDIO / AN APPROACH PROPOSAL OF FLAVIO JOSE`S PROBLEM APPLIED TO HIGH SCHOOLSouza, Márcia Erondina Dias de 15 April 2013 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this paper, we presents a didactic sequence of activities designed for a
group of students of high school, their age were about 15 and 18 years old, with the
main objective to study the problem proposed by the mathematician Flávio Josefo, in
mid-year 64. The legend tells that a group of rebels, including Flávio Josefo, was
trapped in a cave by the enemy army. Preferring the suicide to capture, the rebels
decided to form a circle and, counting over this, to kill each third person of the rest of
the group. Josefo was contrary of this suicide pact therefore, together with a friend,
calculated very quickly the appropriated positions that both should take in this circle
in order to get out of this terrible situation. To understand this solution, we propose, at
the first moment, a review about the numerical sequences, including the special
cases of arithmetic and geometric. Then, we introduce some notions about the de
recurrence relations and the Principle of Mathematical Induction, allowing a
generalization of concepts and results already known intuitively by the student group. / Neste trabalho, apresentamos uma sequência didática de atividades
elaboradas para um grupo de alunos do ensino médio, na faixa etária de 15 a 18
anos, tendo como principal objetivo estudar o problema proposto pelo matemático
Flávio Josefo, nos meados do ano 64. Conta a lenda que um grupo de rebeldes,
dentre eles Flávio Josefo, foi encurralado numa caverna pelo exército inimigo.
Preferindo o suicídio à captura, os rebeldes decidiram formar um círculo e, contando
ao longo deste, matar cada terceira pessoa restante do grupo. Josefo era contrário a
este pacto suicida e, por isso, juntamente com um amigo, calculou muito
rapidamente as posições adequadas que ambos deveriam tomar nesse círculo de
modo a saírem ilesos desta terrível situação. Para o entendimento desta solução
propomos, inicialmente, uma revisão sobre sequências numéricas, incluindo os
casos especiais de progressão aritmética e geométrica. Em seguida, introduzimos
algumas noções a respeito de relações de recorrência e do Princípio da Indução
Matemática, permitindo uma generalização dos conceitos e resultados já conhecidos
intuitivamente pelo grupo de alunos.
|
782 |
Aplicação de modelo de revisão periódica multiperíodo como política de planejamento de estoques no setor de peças primárias subcontratadas na indústria aeroespacialKernbichler, Tiago Sanches 19 May 2016 (has links)
Submitted by Livia Mello (liviacmello@yahoo.com.br) on 2016-10-11T20:12:25Z
No. of bitstreams: 1
DissTSK.pdf: 3524235 bytes, checksum: 7f004fb5c47d3a888f9b19f884f38946 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-10-21T12:58:59Z (GMT) No. of bitstreams: 1
DissTSK.pdf: 3524235 bytes, checksum: 7f004fb5c47d3a888f9b19f884f38946 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-10-21T12:59:07Z (GMT) No. of bitstreams: 1
DissTSK.pdf: 3524235 bytes, checksum: 7f004fb5c47d3a888f9b19f884f38946 (MD5) / Made available in DSpace on 2016-10-21T12:59:15Z (GMT). No. of bitstreams: 1
DissTSK.pdf: 3524235 bytes, checksum: 7f004fb5c47d3a888f9b19f884f38946 (MD5)
Previous issue date: 2016-05-19 / Não recebi financiamento / This dissertation studies the application of a periodic review inventory model
based on the multiperiod newsboy problem, as an effective alternative to reach a well
balanced inventory planning policy of subcontractors primary parts area of the aerospace
industry. In Brazil, the aerospace industry is responsible for a large amount of the country
exports and this industry competes with other globally aerospace supply chains in a scenario
increasingly turbulent and demanding for fast deliveries, with high quality levels and low cost.
The purpose of this work is to study and propose this alternative for optimizing the inventory
planning by means of a quantitative approach, applied in a primary parts sector of the
aerospace industry, it will focus in a specific group of items with high annual demand value. The main objective of this approach is to balance the high inventory costs with a high service level demanded in this industry, and efficiently respond the stakeholders expectations, with superior performance of the usual models adopted by this industry, and give a better support to the decision makers in a tactical-operational level. The result obtained show the potential of the method to improve the performance of these inventory management and planning systems. / Este trabalho estuda a aplicação de um modelo analítico de revisão periódica
de estoques, baseado no problema do jornaleiro multiperíodo (Multiperiod Newsboy
Problem), como uma alternativa efetiva para determinação da política de planejamento de
estoques do setor de peças primárias subcontratadas da indústria aeroespacial. No Brasil, a
indústria aeroespacial é responsável por grande parte das exportações do país e compete
globalmente com outras cadeias aeroespaciais num cenário cada vez mais turbulento e
exigente por entregas rápidas, com altos níveis de qualidade e baixos custos. O objetivo deste
trabalho é estudar e propor essa alternativa para otimizar o planejamento de estoques por
meio de uma abordagem quantitativa, aplicada no setor de peças primárias da indústria
aeroespacial, para um grupo de peças com características especificas, principalmente as de
alto valor para demanda anual. O intuito desta abordagem é equilibrar os altos custos de
estoque com os altos níveis de serviço exigidos por esta indústria, e responder de forma
eficiente às expectativas dos stakeholders, com desempenho superior aos modelos
atualmente utilizados no setor e auxiliar de forma mais precisa e sistematizada a tomada de
decisão no nível tático-operacional. Os resultados obtidos mostram o potencial do método
para melhorar o desempenho desses sistemas de gestão e planejamento de estoques.
|
783 |
Resolução de problemas sociais com adolescentes em conflito com a lei: estratégias de mensuração e intervenção / Social problem solving with young offenders: measuring strategies and intervention strategiesPadovani, Ricardo da Costa 15 February 2008 (has links)
Made available in DSpace on 2016-06-02T19:44:10Z (GMT). No. of bitstreams: 1
1735.pdf: 2568942 bytes, checksum: bfde5207ceb122f00d43343b31cce4e7 (MD5)
Previous issue date: 2008-02-15 / Universidade Federal de Sao Carlos / Young offenders deficits in problem solving skills are described as one of the characteristics of this population. However, there is no data in the Brazilian literature measuring this variable. This study had two aims. Firstly, a group intervention with young offenders was conducted with the aims of promoting the discrimination and emission of competent social responses associated with their psychosocial well-being (Study 1). Six male young offenders took part of the intervention program. The study was conducted in a young offenders Detention Center in the interior of São Paulo State, Brazil. Instruments used to assess the intervention were: Guided Interview, Beck Depression Inventory (BDI), Beck Anxiety Inventory (BAI), Beck Hopelessness Scale (BHS), Social Problem-Solving Inventory-Revised (SPSI-R) and, School Performance Test. The intervention program consisted of three pre-intervention sessions to gather data, and ten intervention sessions in problem-solving skills training, followed by a three month post-intervention follow-up. Results indicated a history of school failure and violence victimization, as well as the use of alcohol and drugs, and involvement in aggressive episodes. High level drop-out rates was observed in this study: only two participants were present in all phases of the intervention. In the pre-test, five participants indicated anxiety and depression, and four participants indicated hopelessness. In the post-test, one participant indicated a decrease of depression, anxiety and hopelessness; the other participant maintained of depression levels (in the low range), anxiety (low) and hopelessness (low). Five participants took part of the Follow- Up. All participants indicated a decrease of depression in that phase. In terms of anxiety, in the participants who were present in all phases, one decreased his level (from severe to low), and the other presented the same performance (low). Other participants indicated: maintenance (low and moderate) or an increase (low to moderate). In terms of hopelessness, among the participants who were present in all phases, the same performance was maintained (absence). The others showed: maintenance (moderate/low) and a decrease (severe/moderate) of performance. The Social Problem- Solving Inventory-Revised data showed that four participants performance were in the average range of the normal group, and two had deficits in this area. In post-test, one participant increased his performance, and the other maintained it. In the Follow-Up, the performance varied from average to much above average. In spite of the study s methodological limitations, this is the first study in Brazil to investigate group social problem solving skills with young offenders in a Detention Center, and the first to utilize one specific instrument to analyze social problem repertory solving in this population. The second study adapted to Portuguese the Social Problem-Solving Inventory-Revised (SPSI-R), and investigated its evidence of criteria and content validity. Seventy six male adolescents took part of study, being 38 offenders and 38 no-offenders. The study was conducted in a Young Offenders Center, and at a public school in the city of São Carlos en São Paulo State. The instrument used to assess the study was the Social Problem- Solving Inventory-Revised (SPSI-R). The instrument was applied in group, and the time of application was approximately 30 minutes. In terms of content validity, the study showed a 95% agreement among assessors. In terms of criteria validity, the results showed that the instrument could discriminate offenders from the non-offender population. The development of intervention programs and instruments specific to this population is much needed, as the numbers of studies in this area is reduced in Brazil. / O déficit de habilidades de resolução de problemas sociais entre adolescentes em conflito com a lei vem sendo apontado como uma das características dessa população. Entretanto, não há dados na literatura nacional que venham mensurar essa variável. Diante desta constatação, o presente estudo teve dois objetivos. Em um primeiro momento avaliou-se uma intervenção em grupo com adolescentes em conflito com a lei com o intuito de favorecer a discriminação e a emissão de respostas socialmente competentes favorecedoras ao seu bem-estar psicossocial (Estudo 1). Participaram do programa de intervenção seis adolescentes do sexo masculino, autores de atos infracionais. A pesquisa foi realizada em uma unidade da antiga FEBEM (Fundação CASA). Os instrumentos utilizados foram: Roteiro de Entrevista Individual, Inventário de Depressão Beck (BDI), Inventário de Ansiedade Beck (BAI), Inventário de Desesperança de Beck (BHS), Inventário de Resolução de Problemas Sociais Revisado: Forma Abreviada (SPSI-R:S) e Teste de Desempenho Escolar (TDE). Foram realizadas três sessões na fase pré-teste e dez sessões de ensino de resolução de problemas sociais na fase de intervenção. Três meses após o término do grupo, foi feita uma sessão para coleta de dados pós-intervenção. Os resultados indicaram: histórico de fracasso escolar; histórico de maus-tratos infantis, consumo de bebidas alcoólicas e drogas ilícitas, e envolvimento em lutas corporais. Verificou-se um índice expressivo de abandono da intervenção, apenas dois participantes estiveram presentes em todas as sessões. Na fase de pré-teste, cinco participantes indicaram quadros de depressão e ansiedade, e quatro participantes indicaram desesperança. Na fase de pós-teste, um participante indicou diminuição da depressão, da ansiedade e da desesperança; o outro manteve os níveis de depressão (leve), de ansiedade (leve) e de desesperança (ausente). Na fase de follow-up, cinco participantes responderam ao instrumento. Todos indicaram diminuição da depressão. No que se refere à ansiedade, entre os que estiveram presentes em todas as fases, um diminuiu (de grave para leve) e outro apresentou o mesmo desempenho (leve). Os demais indicaram: manutenção (leve e moderado) ou aumento (leve para moderado). Quanto à desesperança, os que estiveram presentes em todas as fases apresentaram o mesmo nível (ausente). Os demais indicaram: manutenção (moderado/leve) e diminuição (grave/moderado). Quanto à habilidade de resolução de problemas,verificou-se que quatro participantes apresentavam repertórios na média do grupo normal e dois participantes tinham déficits de tais habilidades. Na fase de pósteste, um participante melhorou o desempenho e outro manteve o mesmo repertório. Na fase de follow-up, o desempenho oscilou indo da média do grupo normal a muito acima da média. Apesar das limitações metodológicas, como a ausência de dados sistemáticos, o presente estudo é o primeiro no Brasil a examinar habilidades de resolução de problemas sociais em grupo com adolescentes internados em uma unidade da FEBEM e o primeiro a utilizar um instrumento específico para análise do repertório de resolução de problemas sociais (SPSI:S-R) nessa população. Este estudo demonstra a relevância de se trabalhar com adolescentes infratores em situação de internação, população tipicamente excluída na sociedade brasileira. O Estudo 2 buscou validar, para uso no contexto brasileiro, o Inventário de Resolução de Problemas Sociais-Revisado: Forma Abreviada (SPSR:S), bem como investigar a evidência de validade de conteúdo e critério. Participaram do estudo 76 adolescentes do sexo masculino, sendo 38 adolescentes infratores e 38 não infratores. A pesquisa foi realizada em dois locais distintos: no Núcleo de Atendimento Integrado (NAI) destinada ao atendimento de adolescentes em conflito com a lei na cidade de São Carlos e em escola estadual da mesma cidade. O instrumento utilizado foi o Inventário de Resolução de Problemas Sociais Revisado: Forma Abreviada (SPSI-R:S). O instrumento foi aplicado coletivamente e o tempo de aplicação foi de aproximadamente 30 minutos. Os resultados mostraram no que se refere às evidencias de validade de conteúdo uma concordância entre os juízes de aproximadamente 95%. Quanto à validade de critério, o instrumento foi capaz de discriminar populações de infratores e não infratores. Pode-se afirmar que há uma relação aparente entre o Escore e o Grupo, ou seja, quanto maior o escore total no SPSI-R:S maior a probabilidade de o jovem não ser infrator. O desenvolvimento de programas de intervenção e instrumentos específicos para esta população se mostra relevante uma vez que o número de pesquisas voltadas à intervenção e mensuração, apesar dos esforços de estudiosos, ainda é reduzido no Brasil.
|
784 |
Localização de terminais intermodais na rede de escoamento da soja em grão brasileira destinada à exportaçãoAlmeida, Marina Soares 02 June 2010 (has links)
Made available in DSpace on 2016-06-02T19:51:45Z (GMT). No. of bitstreams: 1
3178.pdf: 5667245 bytes, checksum: c48bc6ad36e2a190f7ec6207752bd88b (MD5)
Previous issue date: 2010-06-02 / Universidade Federal de Sao Carlos / Soybean is one of the most important agricultural products grown in Brazil. Comparing to the total volume of grain produced, soybean corresponds to approximately 44% and the midwest region is the largest soybean producer in Brazil. Because of that, the soybean that goes for export, on average, have to go over large distances to reach the maritime ports from where it is exported. Transport costs represent approximately 25% of the total cost what influences directly on the product price in international market. Loading transportation over long distances, such as the Brazilian soybean flows, the intermodal transportation is an alternative to make the soybean flows for export more economical. The efficient loading transportation using more than one modal depends not only on the availability of the transport itself but also on support infrastructure, such as intermodal terminals. In order to support decisions regarding the design and operation of the network flow of soybean for export, this work proposes using a mathematical programming model based on the Theory of Facilities Location to locate intermodal terminals in the network, taking into account not only the physical network, but also flows of soybeans that are moved by its vertices and arcs. We made several computational preliminary tests to verify the adequacy of the model to the reality we want to represent. Given the adequacy of the model, new experiments were done on a network that represents more realistically the present situation of the soybean flows in Brazil. / A soja é um dos principais produtos agrícolas produzidos pelo Brasil. Em relação ao volume total de grãos produzidos, a soja corresponde à aproximadamente 44%, sendo a região Centro-Oeste a maior produtora do grão no Brasil. Por isso, a soja em grão destinada à exportação percorre, em média, grandes distâncias para chegar aos portos marítimos por onde é exportada. Os custos de transporte correspondem à cerca de 25% do custo total, influenciando de forma direta no preço do produto no mercado internacional. Para o transporte de cargas por longas distâncias, como é o caso do escoamento da soja brasileira, a intermodalidade de transporte surge como uma alternativa para tornar a movimentação da soja destinada à exportação mais econômica. O funcionamento eficiente do transporte de uma carga por mais de um modal depende não só da disponibilidade do modal em si, mas também de uma infraestrutura de apoio, como terminais intermodais. Como forma de apoiar decisões relativas ao projeto e operacionalização da rede de escoamento da soja em grão destinada à exportação, esta pesquisa propõe a utilização de um modelo de programação matemática baseado da Teoria de Localização de Instalações para localizar terminais intermodais nesta rede, levando em consideração não só a rede física, como também os fluxos de soja que são movimentados por seus vértices e arcos. Foram feitos diversos testes computacionais preliminares para verificar a adequação do modelo à realidade que se deseja representar. Diante da adequação do modelo, foram feitos novos experimentos em uma rede que representa de forma mais realista a situação atual dos fluxos de soja em grão pelo Brasil.
|
785 |
Desenvolvimento e aplicação de algoritmos adaptativos de busca tabu para a resolução de Problemas de Roteamento de Veículos Periódicos (PRVP).Hallal, Renato 16 December 2004 (has links)
Made available in DSpace on 2016-06-02T19:52:00Z (GMT). No. of bitstreams: 1
DissRH.pdf: 983555 bytes, checksum: 2f6efc30e82bc4d5f60bb2893dd0bb3f (MD5)
Previous issue date: 2004-12-16 / This research consists of the development of algorithms to solve the Periodic Vehicle Routing Problem (PVRP), wich has not received a great deal of attention in the O.R. literature. The objective of the PVRP is to elaborate a set of routes to attend to customers demand along a planning horizon. Each customer roquests that the visits occur in a combination predefined of days. Two heuristics were developed for the PVRP. In the first heuristic, three types of initial solution construction are used to attribute the customers to days. After that, visiting day combinations are changed in order to improvr the solution. The search process is controlled by an adaptative tabu heuristic from the literature which determines intensification and diversification actions, applied for each day in the period. The second heuristic incorporates a similar approach for the period as a whole. Computacional results show that this approach leads to good solution. / Esta pesquisa consiste no desenvolvimento de algoritmos para resolver o Problema de Roteamento de Veículos Periódico (PRPV), o qual tem sido pouco abordado na literatura de Pesquisa Operacional. O objetivo do PRVP é elaborar um conjunto de rotas para atender à demanda de cliente ao longo de um horizonte de planejamento. Cada cliente requer que as visitas aconteçam em uma combinação predefinida de dias. Foram desenvolvidas duas heurísticas para o PRPV, chamadas de VERSÃO 1 e VERSÃO 2. Na VERSÃO 1 são utilizados três tipos de construções iniciais para atribuir os clientes aos dias. Em seguida, são realizadas mudanças de combinações de dias de visitas na tentativa de melhorar a solução. O processo de busca por soluções é controlado por heurísitca tabu adaptativa da literatura que determina as ações de intensificação e diversificação, aplicado a cada dia do período. A VERSÃO 2 incorpora uma abordagem similar para o período como um todo. Resultados computacionais indicam que esta abordagem leva a soluções de boa qualidade.
|
786 |
Uma abordagem de otimização para a roteirização e programação de navios: um estudo de caso na indústria petrolíferaRodrigues, Vinícius Picanço 26 May 2014 (has links)
Made available in DSpace on 2016-06-02T19:52:05Z (GMT). No. of bitstreams: 1
6045.pdf: 14667118 bytes, checksum: f13a2c0983ea271f2e60ed298b158806 (MD5)
Previous issue date: 2014-05-26 / Agência Nacional de Petróleo / This work studies the ship routing and scheduling problem in oil transportation from offshore platforms to inland terminals. It is motivated by a real situation in a Brazilian oil company. Brazil is one of the world's greatest oil producers and has around 80% of its oil explored in offshore mode. Thus, transportation costs play an important role in achieving operational excellence, and the recent growth trends for oil exploration in Brazil has transformed its operations and demanded agile and effective decision support systems for addressing the oil sector dynamism. This work's goal consists in developing and applying an optimization-based approach using a mixed integer linear programming model in real decision-making situations, along with a solution method based on mathematical programming (MIP-heuristics) in order to solve the model, such as relax-and-fix. The proposed model is inspired in a problem formulation for pickup and delivery with time windows (PDPTW) and heterogeneous fleet, where costs incurred for fuel consumption and fleet contracts is the objective function to be minimized. The pickup and delivery pairs are predetermined and the model's main decision refers to ship allocation to these pairs compounding a route. Furthermore, some additional constraints are modeled and proposed, such as terminal access and platform mooring limitation according to ship types, as well as product blend incompatibility. The model was implemented in a modeling language along with an optimizarion software. Computational experiments with the model and the heuristics are presented for different data sets supplied by the case study company. These experiments show the potential benefits of this approach for finding good solutions for the problem as well as the dificulty in finding solutions for realistic instances due to its NP-hard characteristics. / Este trabalho estuda o problema de roteirização e programação de navios que realizam o escoamento de petróleo das plataformas marítimas para terminais terrestres, motivado por uma situação real de uma empresa brasileira da indústria petrolífera. O Brasil é um dos maiores produtores mundiais de petróleo, e cerca de 80% de seu petróleo é explorado no mar. Dentro deste contexto, os custos de transporte desempenham um papel importante na busca pela excelência operacional e as tendências de crescimento da exploração de petróleo no Brasil têm tornado as operações mais complexas e demandantes de sistemas de apoio à decisão ágeis e eficazes que contemplem o dinamismo do setor petrolífero. O objetivo deste trabalho consiste em desenvolver e aplicar uma abordagem de otimização baseada em um modelo de programação linear inteira mista em situações reais de tomada de decisão, em conjunto com métodos de solução baseados em programação matemática (MIP-Heuristics) para resolver o modelo, como relax-and-fix. O modelo proposto é inspirado em uma formulação de problemas de coleta e entrega com janelas de tempo (pickup and delivery with time windows PDPTW) e frota heterogênea, no qual busca-se minimizar os custos decorrentes do consumo de combustível dos navios e contratos de afretamento. O modelo é do tipo origem-destino, no qual os pares coleta/entrega são pré-determinados e a decisão do modelo refere-se à alocação de navios para os diferentes pares, compondo uma rota. Além disso, são propostas restrições adicionais que contemplam limitações de acesso a terminais e de atracação em plataformas de acordo com os tipos de navio, além da incompatibilidade de mistura de produtos, entre outros. O modelo foi implementado utilizando uma linguagem de modelagem em conjunto com um software de otimização. Experimentos computacionais com o modelo e as heurísticas são apresentados para diferentes conjuntos de dados fornecidos pela empresa e comprovam o potencial das abordagens para encontrar boas soluções para o problema, mas também suas dificuldades para encontrar soluções para exemplares de tamanho realista, por tratar-se de um problema NP-difícil do ponto de vista de teoria de complexidade.
|
787 |
Funções parciais recursivas e funções parcialmente Turing-computáveis: uma prova de equivalênciaMelo, Gustavo Cavalcanti 24 October 2016 (has links)
Submitted by Maike Costa (maiksebas@gmail.com) on 2017-09-20T12:52:54Z
No. of bitstreams: 1
arquivototal.pdf: 1155001 bytes, checksum: c813651173e6bf037a98328b32bc7d5a (MD5) / Made available in DSpace on 2017-09-20T12:52:54Z (GMT). No. of bitstreams: 1
arquivototal.pdf: 1155001 bytes, checksum: c813651173e6bf037a98328b32bc7d5a (MD5)
Previous issue date: 2016-10-24 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In the thirties of the last century, several formal versions for the intuitive notion of algorithmic function were offered. Among them, the version of the recursive functions and the version of the Turing-computable functions. Posteriorly, such versions were extended in order to also include the partial algorithmic functions, giving rise, in this way, to the version of the partial recursive functions and to the version of the partially Turing-computable functions. In this context, this research, located into Computability Theory domain and built in the light of theoretical assumptions of Davis (1982), Mendelson (2009), Dias & Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), among others, is intended to rebuild the proof that the given formal versions referred to the intuitive notion of partial algorithmic function, despite being conceptually distinct, they are extensionally equivalents in the sense that they determine the same set of theoretical-numerical functions. As a part of this rebuilding, we shall prove, in na unprecedented way, using quintuples, that every partial recursive function is partially Turing-computable. In the literature, this theorem is proved by means of a set of quadruples. However, defining a lower cardinality set constructed by quintuples, it is possible to prove it in a smaller time interval, which representes a gain from the computational point of view. Besides presenting this alternative proof, posed by the Church-Turing thesis that the set of partial recursive functions includes all the partial algorithmic functions, we shall investigate if this set itself and its infinite subsets are or are not algorithmic. In this survey, we shall demonstrate, in arithmetical terms, with the aid of Rice‟s theorem, that although the set of partial recursive functions is algorithmic, all its subsets which are different from the empty set are not, among which are the set of recursive functions and the set of primitive recursive functions. / Na década de 30 do século passado, foram oferecidas várias versões formais para a noção intuitiva de função algorítmica. Dentre elas, a versão das funções recursivas e a versão das funções Turing-computáveis. Posteriormente, tais versões foram estendidas a fim de abranger também as funções parciais algorítmicas, dando origem, deste modo, à versão das funções parciais recursivas e à versão das funções parcialmente Turing-computáveis. Nesse contexto, esta pesquisa, situada dentro do domínio da Teoria da Computabilidade e construída à luz dos pressupostos teóricos de Davis (1982), Mendelson (2009), Dias e Weber (2010), Rogers (1987), Soare (1987), Cooper (2004), entre outros, destina-se a reconstruir a prova de que as referidas versões formais dadas para a noção intuitiva de função parcial algorítmica, apesar de conceitualmente distintas, são extensionalmente equivalentes no sentido de que elas determinam o mesmo conjunto de funções numéricas. Como parte desta reconstrução, provaremos, de modo inédito, mediante o uso de quíntuplas, que toda função parcial recursiva é parcialmente Turing-computável. Na literatura especializada, esse teorema é provado por meio de um conjunto de quádruplas. Porém, definindo um conjunto de menor cardinalidade constituído por quíntuplas, é possível prová-lo em um intervalo menor de tempo, o que representa um ganho do ponto de vista computacional. Além de apresentar essa prova alternativa, posto pela Tese de Church-Turing que o conjunto das funções parciais recursivas contém todas as funções parciais algorítmicas, investigaremos se ele próprio e os seus infinitos subconjuntos são ou não algorítmicos. Nesta investigação, demonstraremos, em termos aritméticos, com o auxílio do Teorema de Rice, que embora o conjunto das funções parciais recursivas seja algorítmico, todos os seus subconjuntos diferentes do conjunto vazio não o são, dentre os quais estão o conjunto das funções recursivas e o conjunto das funções recursivas primitivas.
|
788 |
Um algoritmo branch-and-bound para o problema do caixeiro viajante suficientemente próximoCoutinho, Walton Pereira 13 February 2014 (has links)
Made available in DSpace on 2015-05-08T14:53:38Z (GMT). No. of bitstreams: 1
arquivototal.pdf: 7900350 bytes, checksum: fbca2db827307d8c3ed2a1c15067d0da (MD5)
Previous issue date: 2014-02-13 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This research deals with the Close-Enough Traveling Salesman Problem, a variant of the
Traveling Salesman Problem wich has several applicatios in logistics. In the Close-Enough
Traveling Salesman Problem, rather than visiting the vertex (customer) itself, the salesman
must visit a specific region containing such vertex. To solve this problem, we propose
a simple yet effective exact algorithm, based on Branch-and-Bound and Second Order
Cone Programming. The proposed algorithm was tested in 824 instances suggested in
the literature. Optimal solutions are obtained for open problems with up to a thousand
vertices. We consider both instances in the two- and three-dimensional space. / Esta pesquisa trata do Problema do Caixeiro Viajante Suficientemente Próximo, uma variante
do Problema do Caixeiro Viajante que possui diversas aplicações em logística. No
Problema do Caixeiro Viajante Suficientemente Próximo, ao invés de visitar o próprio
vértice (cliente), o caixeiro deve visitar uma região especifica contendo este vértice. Para
resolver este problema, é proposto um algoritmo exato, simples e efetivo, baseado em
branch-and-bound e Programação Cônica de Segunda Ordem. O algoritmo proposto foi
testado em 824 instâncias sugeridas na literatura. Soluções ótimas foram obtidas para
instâncias com até mil vértices. Foram consideradas instâncias nos espaços bi e tridimensional.
|
789 |
Controle de tensão em redes de baixa tensão com alta penetração de geração fotovoltaica / Volatge control in low voltage distribution networks with high penetration photovoltaic systemLeon Colqui, Jaimis Sajid [UNESP] 30 January 2017 (has links)
Submitted by JAIMIS SAJID LEON COLQUI null (jeimis.leon@gmail.com) on 2017-06-30T12:04:16Z
No. of bitstreams: 1
Dissertação_Jaimis Leon_Eng_Eletrica.pdf: 1870541 bytes, checksum: cb3fb21a21d28fea6773b5e6d6b213bd (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-06-30T14:27:39Z (GMT) No. of bitstreams: 1
leoncolqui_js_me_ilha.pdf: 1870541 bytes, checksum: cb3fb21a21d28fea6773b5e6d6b213bd (MD5) / Made available in DSpace on 2017-06-30T14:27:39Z (GMT). No. of bitstreams: 1
leoncolqui_js_me_ilha.pdf: 1870541 bytes, checksum: cb3fb21a21d28fea6773b5e6d6b213bd (MD5)
Previous issue date: 2017-01-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho apresenta uma proposta de estratégia global de controle de tensão que emprega programação não linear e duas extensões de estratégias de controle de tensão, encontrados na literatura. O principal objetivo destas estratégias é solucionar o problema de aumento de tensão nas redes de distribuição de baixa tensão, causado pela injeção de potência do gerador fotovoltaico distribuído. Estas estratégias de controle de tensão foram implementadas e analisadas a fim de verificar a sua eficácia e comparar os seus comportamentos. Para os testes, foram considerados a operação de geradores fotovoltaicos monofásicos e trifásicos distribuídos em um sistema teste de distribuição em baixa tensão. Os resultados mostraram que depois da aplicação das estratégias de controle, os perfis de tensão em regime permanente ficaram dentro da faixa de tensão permitida, obtendo-se uma mínima redução de potência ativa injetada dos geradores fotovoltaicos com os seus correspondentes fatores de potência. / This work presents a proposal of a global voltage control strategy that use nonlinear programming and two extensions of voltage control strategies that are found in the literature. The main objective of these strategies is to solve the problem of voltage increase in low voltage distribution networks, caused by the power injection of the distributed photovoltaic generator. These voltage control strategies have been implemented and analyzed in order to verify their effectiveness and compare their behaviors. For the test, the operation of single-phase and three-phase photovoltaic generators distributed in a low voltage distribution test system were considered. The results showed that after the application of the control strategies, the steady-state voltage profiles were whihin the allowed voltage range, obtaining a minimum reduction of the active power injection of the photovoltaic generators with their corresponding powe factors.
|
790 |
Análise das práticas e das habilidades sociais educativas maternas na interação com os filhos adolescentesSabbag, Gabriela Mello [UNESP] 26 February 2010 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:29:00Z (GMT). No. of bitstreams: 0
Previous issue date: 2010-02-26Bitstream added on 2014-06-13T19:58:29Z : No. of bitstreams: 1
sabbag_gm_me_bauru.pdf: 613320 bytes, checksum: 8f1dc710d06a86267f43703e39de5e88 (MD5) / A literatura nacional e internacional, especializada no relacionamento entre pais e filhos, aponta para a importância de se investigar os estilos e as práticas parentai para o estudo das habilidades sociais e dos problemas de comportamento dos adolescentes. As práticas parentais referem-se às diferentes estratégias que os pais utilizam para educação e socialização de seus filhos. As habilidades sociais utilizadas pelos pais com o intuito educativo são denominadas de habilidades sociais educativas parentais. Essas permitem a transmissão de padrões, valores e condutas ao filho, tornando possíveis a socialização do adolescente e a competência em suas interações sociais. Com base nos estilos maternos de risco e não risco para problemas de comportamento em adolescentes, obtidos pelo Inventário de Estilo Parental - IEP -, a presente pesquisa busca descrever o perfil de interações sociais estabelecidas entre mães e filhos adolescentes, utilizando como instrumento a análise funcional do comportamento. Foram investigadas as habilidades sociais educativas maternas, as práticas negativas, as variáveis contextuais, as habilidades sociais e os problemas de comportamento dos adolescentes. Participaram do estudo 24 mães, das quais 14 foram relatadas pelos seus filhos como tendo estilo de risco e 10, estilo de risco e 10, o que foi identificado pelo Inventário de Estilo Parental - IEP. Essas mães responderam o Roteiro de Entrevista de Habilidades Sociais Educativas Parentais - RE-HSE-P - e o Child Behavior Checklist - CBCL. As análises globais apontaram diferenças na comparação das habilidades sociais educativas maternas - HSE-P - do grupo de risco e de não risco para quase todas as categorias do RE-HSE-P: habilidades sociais educativas maternas, práticas negativas maternas, situações de contexto, frequência de práticas negativas maternas, total de práticas... / The investigation of parental styles and practices and the relation with adolescent's behavior problems and adolescent's social skills, is being studied by national and international literature of parents and adolescents relationship. The parent's practices are the different strategies who they use for children and adolescent socialization. The social skills that the parents use with educative intention are called parental educative social skills, which allow the transmission of standards, values and behaviors that make possible the socialization of the child or adolescent and the ability in social interactions. In this context, the present study investigated from the maternal risk style and not risk style, by Parental Styles Inventory - IEP -, this research makes the functional analysis of the mother and adolescent interaction, taking account the maternal educative social skills, the negative practices, the context variables, the adolescent's social skills and the adolescent's behavior problems. The participants were 24 mothers, of wich 14 were related by sons like being risk style and 10 like being no risk style, that was identified by Parental Style Inventory. These mothers answered the Parental Social Educative Skills Script Interview - RE-HSE-P -and the Child Behavior Checklist- CBCL. The global analyses showed differences in the comparison of maternal social educative skills from the risk group and the non risk group for almost all the categories from RE-HSE-P: mother's educative social skills, maternal negatives practices, context situations, maternal negative practices frequencies, overall negative practices, overall positive practices, son's social skills and son's behavior problem. In general way, the non risk mother's told more often being educative social skills and less negative practices. By consequence your sons showed more social skills and less behavior problems... (Complete abstract click electronic access below)
|
Page generated in 0.0703 seconds