Spelling suggestions: "subject:"integer"" "subject:"nteger""
311 |
Uma prova elementar do teorema de Kronecker-Weber / An elementary proof of Kronecker-Weber theoremTapia, Hector Edonis Pinedo 06 March 2009 (has links)
O teorema de Kronecker-Weber afirma que se K é uma extensão finita e galoisiana dos racionais com grupo de Galois abeliano, K tem que ser ciclotômica. / The Kronecker-Weber theorem stablishes that, if K is a Galois finite extension of Q with Galois group abelian, then K is a ciclotomic field.
|
312 |
Métodos heurísticos para o problema de dimensionamento de lotes multiestágio com limitação de capacidade / Heuristic methods to the multilevel capacitated lot-sizing problemFurlan, Marcos Mansano 04 May 2011 (has links)
O problema de dimensionamento de lotes determina um plano de produção que apoia às tomadas de decisões, a médio prazo, em meios industriais. Este plano de produção indica as quantidades de cada item que devem ser produzidas em cada período do horizonte de planejamento, de acordo com um objetivo dado e satisfazendo a demanda dos clientes. Diversos métodos de solução foram propostas na literatura, considerando a dificuldade de solução de algumas classes de problemas e a necessidade de métodos que gerem soluções de alta qualidade em um tempo computacional adequado. Neste trabalho, abordamos heurísticas baseadas na formulação matemática (LP-and-fix, relax-and-fix e fix-and-optimize), uma metaheurística (algoritmo de abelhas) e dois métodos híbridos, utilizados na solução de dois problemas distintos de dimensionamento de lotes multiestá- gio com limitação de capacidade. Consideramos também, a utilização de três formulações da literatura, para verificar a influência de cada uma sobre as abordagens de solução verificadas. Os resultados computacionais demonstraram que os métodos baseados na formulação matemática do problema se mostraram eficientes, mas limitados normalmente a ótimos locais, enquanto os métodos híbridos puderam superar estes ótimos locais, utilizando conceitos da metaheurística algoritmo de abelhas para isto. Além disso, pudemos verificar a influência de uma formulação \"forte\" sobre as soluções geradas pelas abordagens de solução, demonstrando que métodos baseados em relaxação linear conseguem obter maiores vantagens deste tipo de formulação, mas outras abordagens podem ou não obter estas vantagens, dependendo do problema abordado / The lot-sizing problem determines a production plan, which supports the decision making, in the medium term, at the industrial environment. This production plan indicates the amounts of each item to be produced in each period of the planning horizon, according to a given objective and satisfying customer\'s demand. Diverse solution methods have been proposed in the literature, considering the difficulty of solving some problem classes and the need of methods to generate solutions quickly. In this work, we develop matheuristics (LP-and-fix, relax-and-fix and fix-and-optimize), one metaheuristic (bees algorithm) and two hybrid methods, used to solve two different multilevel capacitated lot-sizing problems. We also consider the use of three different formulations of the literature to verify the influence of each one on the solutions approaches. The computational results show that the matheuristics proved to be efficient, but usually limited to local optima, while the hybrid methods could escape from these local optima, using concepts of bees algorithm to do this. Additionally, we test the effect of a tight formulation on the solutions approaches, demonstrating that LP-based heuristics can obtain further advantages from this type of formulation, but other approaches can take these advantages, depending on the problem addressed
|
313 |
Biodiesel: análise e dimensionamento da rede logística no Brasil usando programação linear. / Biodiesel: supply chain analyses and facilities location using mixed integer linear programming.Carvalho, Éden de Rezende 18 September 2008 (has links)
Neste trabalho foi desenvolvido um modelo de programação linear inteira mista para localização das instalações da rede logística do biodiesel no Brasil, de forma a que se possa, com sua aplicação, avaliar o potencial de produção de oleaginosas no país, assim como identificar as zonas mais promissoras para a localização dos diversos elos da cadeia do biodiesel, a partir da demanda gerada pela mistura de um percentual de biodiesel ao diesel fóssil. O modelo incorpora quatro elos da cadeia produtiva (fase agrícola, extração de óleo, produção de biodiesel e pontos de demanda). Os parâmetros do modelo foram estimados com base em informações reais de mercado disponíveis (base de dezembro/2007). Obteve-se com a aplicação do modelo a diversos cenários, os municípios mais indicados para produção das oleaginosas, as oleaginosas utilizadas, o volume de produção em cada local e, por fim, a localização e porte das fábricas de óleo e das usinas de biodiesel. Análises de sensibilidade de alguns parâmetros foram executadas para verificação do comportamento do modelo face a incertezas. O trabalho incorpora sugestões e recomendações para aprimoramento do modelo. / In this research a mixed integer linear programming model was developed to locate facilities related to the biodiesel supply chain in Brazil, making possible to evaluate the oleaginous production potential, as well as the most promising regions to became the location of the several levels of the biodiesel chain, in accordance to the biodiesel future demand. The model incorporates four levels of the productive chain (agricultural phase, extraction of oil, biodiesel production and demand points). The model parameters were estimated based on market information available (base of december/2007). The application of the model to several sceneries led to the indication of the most promising regions for production of the oleaginous, the used oleaginous ones, the volume of production in each place and, finally, the location and scale of oil and biodiesel factories. Sensibility analyses were conducted to verify the results related to parameters uncertainty. The research contains suggestion and recommendations for improvement of the model.
|
314 |
Problema de balanceamento de linhas de produção e integração de trabalhadores / The assembly line worker integration and balancing problemMoreira, Mayron César de Oliveira 13 April 2015 (has links)
Diversas pesquisas e estudos científicos mostram que uma grande porcentagem das pessoas com deficiência é excluída do mercado de trabalho, sobretudo em países em desenvolvimento. Com o intuito de alterar essa realidade, destacam-se, entre outras medidas, a criação de Centros de Trabalho para Deficientes (CTDs). Tais organizações empregam trabalhadores com deficiência em vários setores empresariais, dando-lhes oportunidades iniciais e preparando-os para que possam, mais tarde, ser inseridos no mercado de trabalho convencional. Vários destes centros operam linhas de produção, principal objeto de estudo desta tese. Nosso estudo é situado em uma etapa idealmente posterior aos CTDs, referente à inserção de trabalhadores com deficiência em linhas de produção convencionais. A demanda por estudos neste contexto tem crescido nos últimos anos, devido sobretudo a políticas corporativas de responsabilidade social e exigências legislativas, como a \"Lei das Cotas\", presentes em diversos países. O planejamento da operação de linhas de produção na presença de trabalhadores com deficiência envolve uma série de desafios, devido à heterogeneidade entre trabalhadores, que faz com que o tempo de execução das tarefas seja dependente de cada indivíduo. Nos deparamos, assim, com um problema de dupla alocação, em que as variáveis de decisão determinam as tarefas a serem inseridas em estações e a alocação de trabalhadores para as mesmas, de modo a otimizar alguma medida de eficiência. O balanceamento de linhas de produção convencionais com uma parcela de trabalhadores com deficiência é denominado problema de balanceamento de linhas de produção e integração de trabalhadores (ALWIBP, do inglês: assembly line worker integration and balancing problem), sendo um caso particular do problema de balanceamento de linhas de produção e designação de trabalhadores (ALWABP, do inglês: assembly line worker assignment and balancing problem), cuja ocorrência é mais comum em linhas de CTDs. Nosso objetivo consiste em estudar formas eficientes de proporcionar a integração de trabalhadores com deficiência em linhas convencionais. Para tanto, abordamos variações do ALWIBP que consideram: (i) minimização de diferentes funções objetivo (número de estações ou tempo de ciclo); (ii) linha de produção com leiautes distintos (simples ou em U); (iii) incertezas quanto ao tempo de execução de cada tarefa (abordagem robusta); (iv) estratégias de rotação de tarefas ou alocação de trabalhadores com deficiência na linha com espaçamento regular. Para cada uma destas extensões, foram desenvolvidos formulações matemáticas, métodos de resolução e novos conjuntos de instâncias teste. Experimentos computacionais indicam possibilidades de adaptação de linhas de produção convencionais à inserção de trabalhadores com deficiência, a custos adicionais baixos ou quase nulos. Portanto, este trabalho oferece alternativas para uma maior flexibilidade na integração de pessoas com deficiência, tornando-os tão eficientes quanto qualquer outro trabalhador denominado \"convencional\". / A number of studies show that a large percentage of disabled people are excluded from the labor market, in particular in developing countries. In order to deal with this problem, one can highlight the importance of Sheltered Work Centers for Disabled (SWDs). These organizations employ disabled workers in various corporate sectors, giving them initial opportunities and preparing them so that they can be later integrated into the conventional labor market. Many of these centers operate assembly lines, the main object of study of this thesis. Our study considers an ideally later stage of SWDs, related with the insertion of disabled workers in conventional assembly lines. The demand for studies in this field has grown over the years, due to corporate social responsibility policies and legal requirements such as \"quotas legislations\", present in many countries. Planning the operation of assembly lines with disabled workers involves a series of challenges due to the heterogeneity among workers, which are reflected in task times being worker dependent. This results in a double allocation problem, where decisions must determine both the tasks and the workers to be assigned to the stations, in order to optimize some efficiency measure. The conventional assembly line balancing with a parcel of disabled workers is known as the assembly line worker integration and balancing problem (ALWIBP), being a particular case of the assembly line worker assignment and balancing problem (ALWABP), which occurance is more common in SWDs. Our goal consists in studying efficient ways to promote the integration of people with disabilities in conventional assembly lines. For that, we address ALWIBP variants that consider: (i) minimization of different objective functions (number of stations or cycle time); (ii) different assembly line layouts (simple or U-shaped); (iii) uncertainties on task execution times (robust approach); (iv) job rotation strategies or allocation of disabled workers in the line with regular spacing. For each of these extensions, we develop mathematical formulations, solution methods and new sets of benchmark instances. Computational experiments indicate possibilities for adapting conventional assembly lines to the insertion of disabled workers, at low or close to null additional costs. Therefore, this study offers alternatives ways of increasing exibility in the integration of people with disabilities, making them as efficient as any other conventional worker.
|
315 |
Quantum Mechanics on the Möbius RingLi, Zehao 29 March 2013 (has links)
Recent advances in the chemical vapor deposition method of growing graphene sheets suggest that graphene rings can grow. We may anticipate that chemical methods can be developed to construct twisted nano-ribbons to form Möbius structures in the very near future. I investigated the quantum mechanics of an electron constrained to motion on a nanoscale Möbius ring by solving the Schrdinger equation on the curved surface. The close analogy between ordinary cylindrical rings and Möbius rings is displayed by the closeness of their energy spectra. The expectation values for the angular momentum component L_z are shown to be close, but not exactly equal, to integral or half-integral multiples of hbar. The half-integer angular momentum states are present only for the nontrivial topology of Möbius rings. The effect of the curvature of the Möbius rings manifests itself in the level splitting. This can be understood in terms of representations of the discrete rotational groups C_nv. The nonzero variance of L_z will allow weak transitions between integral and half-integral angular momentum states, while preserving the unit angular momentum for photons. Again, since the topology of the system is critical for the Aharonov-Bohm effect, I investigated the AB effect on Möbius rings and found a remarkable pattern in transmission through finite-width 2D ring structures with finite-width input and output contacts attached at the periphery. The periodicity in the magnetic flux, in units of h/e, is weakly broken on 2D rings of finite width. The unusual states with half-integer values of observed on Möbius rings, investigated earlier, display a different characteristic in transmission. In view of the fascinating properties displayed by the non-trivial topology in terms of its novel two-dimensional physics, we expect that the properties of carriers on the Möbius ring that we have presented here will be relevant for practical applications.
|
316 |
Modelos matemáticos para problemas de planejamento da produção em indústrias de processos / Mathematical models for production planning problems in process industriesArtur Lovato da Cunha 09 November 2018 (has links)
Nesta tese é realizado um estudo de caso em uma indústria química brasileira, no qual busca-se representar características da tomada de decisões para a programação da produção em plantas de bateladas. Para isso, foi proposto um modelo matemático do tipo MIP (Mixed Integer Programming) que considerou a disponibilidade de matérias-primas, múltiplas tarefas produtivas para um mesmo produto, tanques de armazenamento multiproduto, envase de produtos e demanda de produtos a granel e envasados. O objetivo principal desse estudo era permitir a obtenção de soluções compatíveis com a prática da empresa em tempo de processamento viável. A partir desse estudo de caso, foi efetuado um segundo estudo com objetivo de avaliar o desempenho de formulações matemáticas para a resolução de um problema de programação da produção. Foram considerados modelos clássicos das comunidades científicas de pesquisa operacional e de engenharia de sistemas de processo, além de um terceiro modelo desenvolvido a partir de conceitos dessas duas comunidades. Algumas características do estudo de caso não foram retratadas, como o consumo de matérias-primas e o envase dos produtos, porém, foram consideradas duas características comumente observadas em problemas da indústria de processos: bateladas com quantidade produzida flexível e tarefas que produzem mais de um produto. Por fim, um terceiro estudo foi realizado com base no estudo de caso da indústria química brasileira, porém, com um foco decisões mais próximas ao nível tático. Sendo assim, foi considerado apenas o dimensionamento de lotes, sem o sequenciamento da produção. Por outro lado, foram acrescentadas características pertinentes à aquisição de matérias-primas, como custos das matérias-primas e descontos por quantidade adquirida. O objetivo deste último trabalho era avaliar a influência da integração das decisões de dimensionamento de lotes e de aquisição das matérias-primas nos custos da cadeia produtiva durante todo o horizonte de planejamento. / In this thesis we developed a study case in a Brazilian chemical industry, in which the aim was to represent the characteristics of decision-making for production scheduling in batch plants. For this, a mixed integer programming model was proposed to consider the availability of raw materials, multiple productive tasks for the same product, multi-product storage tanks, product packaging and demand for products in bulk and packaged. The main objective of this study was develop a model that is able to obtain solutions that clould be used in practice for this chemical industry in viable processing time. From this study case, a second work was carried out to evaluate the performance of mathematical formulations to solve a problem of production scheduling. Classic models of operational research and process system engineering communities were considered, and a third model was developed from concepts of these two communities. Some features of the case study were not modelled, such as the consumption of raw materials and the product packaging, however, two characteristics usually present in process industries were considered: flexible batch production quantity and multi-product task production. Finally, a third study developed based on the study case of the Brazilian chemical industry, but with focus on decisions more familiar to the tactical level. Thus, only lot sizing was modelled, without production scheduling. On the other hand, features relevant raw material purchasing were included, such as raw material costs and discounts for quantity purchased. The objective of this last work was to evaluate the influence of integrating lot sizing decisions and raw material purchasing decisions in the overall costs of the production chain during the entire planning horizon.
|
317 |
Accelerating Benders decomposition for network design.Wong, Richard T January 1978 (has links)
Thesis. 1978. Ph.D.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. / MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING. / Vita. / Bibliography: leaves 136-144. / Ph.D.
|
318 |
Vehicle Routing Problem for the Collection of Information in Wireless Network / Un problème de tournées de véhicules pour la collecte des informations dans un réseau sans filFlores Luyo, Luis Ernesto 15 February 2018 (has links)
Les progrès dans l'architecture de réseau informatique ajoutent continuellement de nouvelles fonctionnalités aux problèmes de routage des véhicules. Dans cette thèse, le problème de tournée des véhicules avec la collecte de donnée sans fil (WT-VRP) est étudié. Il recherche un itinéraire pour le véhicule chargé de collecter des informations auprès des stations ainsi qu'un planning efficace de collecte d'informations. La nouvelle fonctionnalité ajoutée ici est la possibilité de récupérer des informations via une transmission sans fil, sans visiter physiquement les stations du réseau. Le WT-VRP a des applications dans la surveillance sous-marine et la surveillance environnementale. Nous discutons les critères pour mesurer l'efficacité d'une solution et proposons des formulations de programmation linéaire en nombre entier mixte pour résoudre le problème. Des expériences computationnelles ont été réalisées pour accéder à la complexité numérique du problème et pour comparer les solutions selon les critères proposés. Ensuite, nous avons renforcé certains modèles ainsi que considéré différentes suppositions pour le réseaux sans fils. Finalement, pour être capable de résoudre le problème dans des réseaux de grande échelle, nous avons développés des méthodes heuristiques pour le WT-VRP. / The vehicle routing problem is one of the most studied problems in Operations Research.Different variants have been treated in the past 50 years and with technologicaladvances, new challenges appear. In this thesis, we introduce a new variation of theVRP appearing in wireless networks. The new characteristic added to this well-knowproblem is the possibility of pick-up information via wireless transmissions. In the contextconsidered here, a unique base station is connected with the outside and a vehicleis responsible for collecting information via wireless connection to the vehicle when it islocated in another sufficiently close station. Simultaneous transmissions are permitted.Time of transmission depends on the distance between stations, the amount of informationtransmitted, and other physical factors (e.g obstacles along the way, installedequipment). Information to be sent outside of the network is continuously generatedin each station at a constant rate. The first contribution of this thesis is the introductionof a mixed ILP formulation for a variation in which it is only possible to send all theinformation or nothing during a wireless transmission. For this model three differentstrategies are investigated: maximizing total amount of information extracted an theend of the time horizon; maximizing the average of the information in the vehicle ateach time point; and maximizing the satisfaction of each station at the end of the timehorizon. Each strategy is translated as a different objective function for the mixed ILPformulation. The problem is then reformulated by accepting the option of sending onlypart of the information during a wireless transmission and considering only the firststrategy,(i.e. maximizing the amount of information extracted at the end of the horizontime). For this new version, we present three mixed ILP formulations, each one withadvantages and disadvantages. These mixed ILP models are compared according to theCPU time, amount of information collected, gap of unresolved instances, etc. Becausein real life we need to solve problems with a large number of stations, in this thesis,we also propose heuristics methods for the second version of the problem introduced.We build some heuristics that do not depend on the mixed ILP model (as for exampleGreedy heuristics) and also matheuristcs. In our matheuristics our best model (a vehicleevent model) is used as a base for the development of construction of Heuristics aswell as local search heuristics.
|
319 |
Sobre as construções dos sistemas numéricos: N, Z, Q e R / About the constructions of numerical systems: N, Z, Q and RZangiacomo, Tassia Roberta [UNESP] 20 February 2017 (has links)
Submitted by Tassia Roberta Zangiacomo null (tassia_zangiacomo@hotmail.com) on 2017-03-23T22:04:31Z
No. of bitstreams: 1
TASSIA ROBERTA ZANGIACOMO - MESTRADO.pdf: 1004175 bytes, checksum: 12925ba240f8d9a89e295b32b2efb13e (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-03-24T17:23:14Z (GMT) No. of bitstreams: 1
zangiacomo_tr_me_rcla.pdf: 1004175 bytes, checksum: 12925ba240f8d9a89e295b32b2efb13e (MD5) / Made available in DSpace on 2017-03-24T17:23:15Z (GMT). No. of bitstreams: 1
zangiacomo_tr_me_rcla.pdf: 1004175 bytes, checksum: 12925ba240f8d9a89e295b32b2efb13e (MD5)
Previous issue date: 2017-02-20 / Este trabalho tem como objetivo construir os sistemas numéricos usuais, a saber, o conjunto dos números naturais N, o conjunto dos números inteiros Z, o conjunto dos números racionais Q e o conjunto dos números reais R. Iniciamos o trabalho tratando de noções sobre conjuntos e relações binárias. Em seguida, apresentamos o conjunto dos números naturais, definido através dos axiomas de Peano; o conjunto dos números inteiros via uma relação de equivalência com o conjunto dos números naturais; o conjunto dos números racionais, que são obtidos também via relação de equivalência, mas dessa vez com o conjunto dos números inteiros; a construção do conjunto dos números reais, feita via cortes no conjunto dos números racionais; e, para todos esses casos, mostramos a imersão do conjunto anterior no conjunto que surge na sequência. Por fim, observamos alguns materiais do ensino fundamental e médio com o intuito de investigar de que forma esses temas estão sendo apresentados para os alunos. / This work aims to construct the usual numerical systems, namely the set of natural numbers N, the set of integers Z, the set of rational numbers Q and the set of real numbers R. We begin the work dealing with notions about sets and binary relations. Next, we present the set of natural numbers, defined by Peano's axioms; the set of integers via an equivalence relation with the set of natural numbers; the set of rational numbers, which are also obtained via equivalence relation, but this time with the set of integers; the construction of the set of real numbers, made through cuts in the set of rational numbers; end for all these cases we show the immersion of the previous set in the ensemble that appears in the sequence. Finally, we observed some materials in elementary school and high school in order to investigate how these themes are being presented to the students.
|
320 |
Analýza útoků na asymetrické kryptosystémy / Analysis of attacks on asymmetric cryptosystemsTvaroh, Tomáš January 2011 (has links)
This thesis analyzes various attacks on underlying computational problem of asymmetric cryptosystems. First part introduces two of the most used problems asymmetric cryptography is based on, which are integer factorization and computation of discrete logarithm. Algorithms for solving these problems are described and for each of them there is a discussion about when the use of this particular algorithm is appropriate and when it isn't. In the next part computational problems are related to algorithms RSA and ECC and it is shown, how solving the underlying problem enables us to crack the cypher. As a part of this thesis an application was developed that measures the efficiency of described attacks and by providing easy-to-understand enumeration of algorithm's steps it can be used to demonstrate how the attack works. Based on the results of performed analysis, most secure asymmetric cryptosystem is selected along with some recommendations regarding key pair generation.
|
Page generated in 0.0476 seconds