Dissertations / Theses: 'Pointer Sisters'

1

Baldomá, Inmaculada. "Contribution to the study of invariant manifolds and the splitting of separatrices of parabolic points." Doctoral thesis, Universitat de Barcelona, 2001. http://hdl.handle.net/10803/673362.

Full text

Abstract:

In general, when beginning to explore any scientific field, one focuses on the generic situations; that is, one centers on the behaviours that appear in “most” of the cases encountered in practice. This methodology allows an easier understanding of the problem, since the non-generic (or degenerate) cases are left out (at least a priori) in a first approach. This way, the casuistic is simpler and the general theory can be developed more easily. Although this is a good scientific procedure, the aim of Science is to explain reality in the most complete way possible. So, when the general case has been already described (perhaps not completely, but at least in a good part), one should study the non-generic cases: the exceptions. It should not be forgotten that, in nature, not all the processes follow a general rule. The exceptional cases often provide new types of behaviour. Therefore, a lot can be learned from the exceptions, as much at an intrinsic level (situations that differ from the general qualitative behaviour) as for the new techniques that are developed in order to understand them. In certain contexts, it is generic to encounter degenerate cases. Let us think, for instance, about the case of parametric families, f(mi), which describe different behaviours depending on the value of mi. In this situation, it is generic (that is, it occurs in most of the families) to find values of the parameter f(mi)(0) for which the behaviour of f(mi)(0) is degenerate.

APA, Harvard, Vancouver, ISO, and other styles

2

Herrick, Paige Morman Mark T. "Turning points of closeness in the sibling relationship." Waco, Tex. : Baylor University, 2008. http://hdl.handle.net/2104/5143.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Leal, Adriano Galindo. "Conceitos e aplicações de um sistema gerencial de apoio a decisão aplicados a sistemas de distribuição de energia elétrica via internet." Universidade de São Paulo, 1999. http://www.teses.usp.br/teses/disponiveis/3/3143/tde-02082016-074923/.

Full text

Abstract:

Nesta dissertação, são discutidas as vantagens e dificuldades de um Sistema Gerencial de Apoio a Decisão em um ambiente Intranet/Internet, sua execução, bem como a utilização de aplicações de bancos de dados na web. Um sistema dessa natureza, denominado SAG (Sistema de Apoio Gerencial), foi concebido para dar suporte às atividades de gerência, supervisão e controle da rede de distribuição de energia elétrica da Eletropaulo Metropolitana (São Paulo, Brasil). O SAG possibilita o estabelecimento de uma sistemática de supervisão, visando, a partir da análise das condições atuais da rede de distribuição e em função dos recursos disponíveis, permitir o acompanhamento da evolução da qualidade do fornecimento de energia elétrica. Disponibilizando informações que irão orientar ações para corrigir os possíveis desvios inadequados e fixar políticas e diretrizes a serem seguidas nos níveis gerenciais. Como resultado, é esperado tornar mais ágil o processo decisório, bem como o acesso a dados técnicos e de carregamento dos equipamentos da rede de distribuição.
In this dissertation are discussed the advantages and difficulties of an Executive Information System (EIS) implementation on an Intranet or Internet environment, as well as the use of Database applications on the web. An Executive Information System named SAG was implemented at Eletropaulo Metropolitana (São Paulo, Brazil); it was conceived to address maintenance, operational and engineering departments\' needs. The System allows the establishment of a systematic supervision to attend the quality of the electric energy supplied. The analysis of the actual distribution network conditions, the available resources and the electric energy supplied quality will guide the actions to correct possible inadequacies as well as set and fix policies and guidelines to be followed on a manager\'s level. As a result it\'s expected faster decision-making process and access on distribution network equipment\'s technical data and load.

APA, Harvard, Vancouver, ISO, and other styles

4

Corina, Manuela. "Un sistema location-based per la mappatura degli access point." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amslaurea.unibo.it/6201/.

Full text

Abstract:

Trattasi di un sistema basato sulla mappatura degli access point utilizzabile su un'applicazione per smartphone con piattaforma Android. Sono stati usati ambienti di lavoro come Eclipse, affiancato da Lamp e API, utili per visualizzare le mappe da Google Maps. E' stato creato un database online, in modo tale che gli utenti possano condividere le proprie registrazioni (solo quelle che non richiedono una password e quindi utilizzabili da tutti). Il tutto testato tramite un emulatore Android

APA, Harvard, Vancouver, ISO, and other styles

5

Schefer, Fabiano. "SISTEMA INTEGRADO DE GESTÃO PARA PEQUENAS EMPRESAS DE SERVIÇOS." Universidade Federal de Santa Maria, 2007. http://repositorio.ufsm.br/handle/1/8355.

Full text

Abstract:

This paper shows a study about the main management systems currently applied by the Brazilian companies, presenting particular features and some common aspects which allow the integration of the ISO 9001, National Prize of Quality and Strategic Planning. Thus, a gathering system of management has been idealized and developed around the strategic control originated by the pointers intersection and optimized by the Balanced Scorecard selected by a service rendered company on management technologies according to the necessities originated by such systems demands and by the own directory of the organization. The study, however, does not aim at presenting the whole documentation generated and applied by the company on the construction of the gathering system, but the tools built for that and the pointers matrix belonging to the center of the study. The results achieved showed to be effective for the obtaining a multifunctional system composed by 45 pointers, and of small associated documentation, versatility on the new systems gathering, superior performances to the established aim, besides multiple external conquests such as the Prêmio Qualidade RS (Silver Trophy category), and the ISO 9001 certification. Starting from that, we expect other organizations develop their management systems based on the measurement system, motivated by the simple method developed in this work and of great outcome in order to better administrate their business and also to enlarge the resources invested in their administration
Este trabalho apresenta um estudo sobre os principais sistemas de gestão utilizados pelas empresas brasileiras, na atualidade, apresentando características individuais e alguns aspectos comuns, que possibilitaram a integração da ISO 9001, Prêmio Nacional da Qualidade e Planejamento Estratégico. Para tanto, um Sistema Integrado de Gestão foi planejado e desenvolvido, em torno do controle estratégico originado pela interseção de indicadores e otimizado pelo Balanced Scorecard, selecionados por uma empresa prestadora de serviços em tecnologias de gestão, em função das necessidades originadas pelas demandas de tais sistemas e pela própria direção da organização. O trabalho, porém, não visa a apresentação integral da documentação gerada e utilizada pela empresa, na construção do sistema integrado, mas as ferramentas elaboradas, para tanto, e a matriz de indicadores, que está no centro do estudo. Os resultados alcançados monstraram-se efetivos pela obtenção de um sistema multifuncional, composto de 45 indicadores e de pequena documentação associada, versatilidade para integração de novos sistemas, desempenhos acima das metas estabelecidas e múltiplas conquistas externas, tais como o Prêmio Qualidade RS (modalidade Troféu Prata) e a certificação ISO 9001. Espera-se, com isso, que outras organizações, independentemente do ramo de atividade, porte e estágio de gestão, levem em consideração a alternativa de planejarem e desenvolverem seus sistemas de gestão, a partir do sistema de medição, motivados pelo método desenvolvido para o presente trabalho, que apesar de simples, apresenta grandes resultados, a fim de melhor gerirem seus negócios e potencializarem os recursos investidos na sua administração

APA, Harvard, Vancouver, ISO, and other styles

6

Salvador, Francisco. "Projeto de um sistema de refreigeração industrial com \"Set-Point\" variável." Universidade de São Paulo, 1999. http://www.teses.usp.br/teses/disponiveis/3/3139/tde-05102010-112239/.

Full text

Abstract:

Os sistemas térmicos operam na maior parte do tempo fora de suas condições nominais de projeto. Nos sistemas de refrigeração industrial, a operação com carga térmica parcial ocorre em função de diversos fatores e o consumo de energia apresenta grande variação em função do ciclo de operação. Neste trabalho é proposta a otimização energética dos sistemas frigoríficos por compressão a vapor através da operação com regime variável para o ciclo frigorífico, especificamente através da operação com set-point de temperatura de evaporação variável. Para tanto é desenvolvido um modelo matemático para simulação dinâmica de um sistema de refrigeração industrial por compressão a vapor com refrigerante amônia (R-717) para o congelamento de alimentos composto basicamente de túnel de congelamento por circulação forçada de ar, evaporador com recirculação de líquido, reservatório de líquido a baixa pressão, compressores parafuso e condensador evaporativo atmosférico. São analisados através de simulação dois métodos para a variação do setpoint de temperatura de evaporação: a máxima temperatura de evaporação admissível e a minimização da potência no compressor. Os dois métodos são comparados ao sistema de controle de capacidade atualmente utilizado em instalações industriais.
Thermal systems operate most of the time at off-design conditions. In industrial refrigeration systems, the operation in partial loads occurs for many different reasons and the power consumption is a function of the refrigeration cycle pressures. This work proposes an energetic optimization of the compression refrigeration systems by the operation with a variable refrigeration cycle, specifically, by the operation with a variable suction temperature set-point. For this purpose it is developed a mathematical model for dynamic simulation of a industrial refrigeration compression system for food freezing with ammonia refrigerant (R717) formed by an air blast belt freezer, liquid overfeed evaporators, low pressure receiver, screw compressors and evaporative condenser. Two procedures for the suction temperature set-point variation are analyzed by simulation: the maximum suction temperature permitted and the compressor power consumption minimization. Both methods are compared with the capacity control system used in present industrial facilities.

APA, Harvard, Vancouver, ISO, and other styles

7

Jasaitis, Valdemaras. "Automatinė bevielio tinklo prieigos taškų paieškos sistema." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2008. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2008~D_20080128_103612-54074.

Full text

Abstract:

Šio darbo objektas – išmaniųjų telefonų pastovaus ryšio išlaikymas tarp WiFi adapterių. Dabartiniu momentu yra sukurta daug prieigos taškų paieškos sistemų, tačiau šios sistemos „nemoka“ automatiškai susirasti bei prisijungti prie tinkamiausio prieigos taško. Taip pat egzistuojančios sistemos ieškodamos prieigos taškų išeikvoja daug išmaniojo telefono energetinių resursų. Darbe įvardijami pagrindiniai egzistuojančių sistemų trūkumai ir analizuojamos tobulinimo galimybės panaudojant miglotąją logiką. Pirmojoje darbo dalyje aprašoma tyrimo sritis, objektas bei remiantis literatūros analize atskleidžiamas, per esamas bevielio interneto prieigos taškų paieškos sistemų problemas, temos aktualumas. Antroji dalis apima komponentų projektavimą bei programavimą. Projektavimui naudojama UML, Visio ir FuzzyTech įrankiai. Šioje dalyje yra pavaizduotos komponentų klasių, įvykių bei sekų diagramos, pateikta duomenų bazės schema bei miglotųjų įverčių diagramos. Šioje darbo dalyje yra sukuriama ir pati bevielio interneto prieigos taškų valdymo sistema „HandyWi“. Trečioje darbo dalyje pateikti naujai sukurtos „HandyWi“ sistemos kokybinių tyrimo duomenų palyginimo rezultatai. Pagrysta sukurtos sistemos reikšmė informacinių technologijų srityje. Paskutinėje darbo dalyje pateikta apibendrinta informacija apie sukurtą bevielio interneto prieigos taškų paieškos sistemos funkcionalumą ir išskirtinumą bei tolimesnes jos plėtojimo galimybes. Darbą iliustruoja 41 paveikslas, 9 lentelės ir terminų... [toliau žr. visą tekstą]
The object of this work is to keep stable communication between smart phone and wireless adapter. There are many created access points discovery systems at the moment, but those systems “don’t know” how to discovery and connect to suitable access point. Also existing systems have lost a lot of smart phone battery energy during discovering access points. The main existing systems issues and issues solving abilities by using fuzzy logic are presented at this work. The subject of research, object and subject relevance were detectable through literature analysis and through existing access point discovery systems issues are presented in the first part. The subject of research and object are presented in the first part of this work. Also, subject relevance is presented pursuant to literature analyze of wireless internet access point discovery system. Object components design and programming process are presented in the second part. UML, Visio and Fuzzytech programs are used for designing components. Events, sequence and class diagrams are viewed in this part, also this part contain database schema and fuzzy sets diagrams. The main wireless internet discovery system is created in this part. The system is called “HandyWi”. The “HandyWi” system is comparison with existing system and quality data results are stored in the third part. The conclusions of the work, automatic access point discovery system functionality, oneness and further development abilities are presented in last... [to full text]

APA, Harvard, Vancouver, ISO, and other styles

8

Antunes, Nuno Gonçalo Ramos. "Trabalho de Projecto : o sistema de troca de pontos da TMN e os clientes." Master's thesis, Instituto Superior de Economia e Gestão, 2011. http://hdl.handle.net/10400.5/10220.

Full text

Abstract:

Mestrado em Ciências Empresariais
O tema da Responsabilidade Social Empresarial tem vindo a ganhar cada vez mais interesse desde as grandes corporações empresariais até às mais pequenas sociedades. Atualmente, este contexto encontra-se sistematicamente a adaptar-se e a desenvolver-se face aos diferentes condicionalismos sendo também alvo da preocupação dos clientes das empresas. Neste sentido, pretende-se estudar o que está na base de uma corporação empresarial líder num mercado em território nacional, em desenvolver parcerias no âmbito da solidariedade social. A Portugal Telecom, como a maior sociedade empresarial portuguesa no ramo das comunicações, apresenta várias medidas no campo da responsabilidade social, tanto ao nível do desenvolvimento sustentável e económico como também com a criação de programas que tenham em conta apenas os aspetos sociais. De forma a contextualizar este desenvolvimento, procura-se perceber como funciona o grupo PT em geral, incluindo a empresa de telecomunicações móveis nacionais, a TMN, para conjugar os fatores Fundação PT e programa ponto t e de que forma estes influenciam os aspetos sociais. Da mesma forma teve-se de proceder ao levantamento de algumas definições de responsabilidade social empresarial (RSE) para uma melhor ligação entre quadro empresarial da PT e compreensão das razões do programa de pontos da TMN bem como o modo de funcionamento da Fundação PT no campo do voluntariado. São colocadas questões de investigação tendo em conta a troca de pontos, especificamente a troca por donativos, em que foi provado que se encontram relacionadas com os aspetos sociodemográficos da população bem como os programas de voluntariado realizados até então.
Corporate social responsibility has increased its interest from large business corporations to the smallest companies. Currently, this context is systematically adapting and developing because different constraints such as laws, cultures, and also business customers concerning. Such as, we intend to study what are the sources of a business corporation in a market leader in Portugal, by developing partnerships within of social solidarity framework. Portugal Telecom, as the largest Portuguese company in the business of communications, has several measures on social responsibility field, both in terms of sustainable development and economic as well as the creation of programs, that concerns only to social aspects. In order to contextualize this development, we seek to understand how group PT , including the national mobile telecommunications company, TMN, and then to combine factors such as PT Foundation and program t point and, how they influence the social aspects. Likewise, we proceed to some survey of corporate social responsibility (CSR) definitions for a better link between PT business environment and the TMN?s reasons points program and the operating mode of the PT Foundation on the field of volunteering. Research questions are asked with regard to points exchange, specifically for donations, proved that they are related to population?s demographic aspects as well as volunteer programs carried out so far.

APA, Harvard, Vancouver, ISO, and other styles

9

Mala, Zenaide Rafael de Freitas. ""Sistemas HACCP - Sistemas Hazard Analysis Critical Control Points. Dificuldades de Implementaçao nos Estabelecimentos do Sector Alimentar da Regiao Autonoma da Madeira."." Master's thesis, Instituto de Ciências Biomédicas Abel Salazar, 2009. http://hdl.handle.net/10216/23226.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Mala, Zenaide Rafael de Freitas. ""Sistemas HACCP - Sistemas Hazard Analysis Critical Control Points. Dificuldades de Implementaçao nos Estabelecimentos do Sector Alimentar da Regiao Autonoma da Madeira."." Dissertação, Instituto de Ciências Biomédicas Abel Salazar, 2009. http://hdl.handle.net/10216/23226.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Scarlino, Alberto. "Un sistema location-based per la mappatura degli Access Point su Android." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/7902/.

Full text

Abstract:

un' applicazione in grado di memorizzare e mappare tutti i punti dove è possibile collegarsi, in modo gratuito, ad internet usando il nostro Smartphone. Per tenere traccia di questi punti si utilizza un meccanismo in grado di determinare la posizione geografica del dispositivo mediante il quale l’utente si connette alla rete. Inoltre è possibile la condivisione di tutti i punti registrati su un database online per rendere pubbliche le proprie registrazioni.

APA, Harvard, Vancouver, ISO, and other styles

12

Guimarães, Carlos Alberto Mohallem. "Um sistema de chaveamento "point-on-wave" baseado em microcomputador." Florianópolis, SC, 1986. http://repositorio.ufsc.br/xmlui/handle/123456789/75346.

Full text

Abstract:

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
Made available in DSpace on 2012-10-16T00:25:24Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T15:23:36Z : No. of bitstreams: 1 263396.pdf: 6550319 bytes, checksum: 0ed0a140b3672b4c0fc1ca24d4b0211a (MD5)

APA, Harvard, Vancouver, ISO, and other styles

13

Oliveira, Claudio Lucas Nunes de. "Excitons em Sistemas Quânticos 0-2D." reponame:Repositório Institucional da UFC, 2005. http://www.repositorio.ufc.br/handle/riufc/11942.

Full text

Abstract:

OLIVEIRA, Claudio Lucas Nunes de. Excitons em Sistemas Quânticos 0-2D. 2005. 116 f. Dissertação (Mestrado em Física) - Programa de Pós-Graduação em Física, Departamento de Física, Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2005.
Submitted by Edvander Pires (edvanderpires@gmail.com) on 2015-05-07T17:09:25Z No. of bitstreams: 1 2005_dis_clnoliveira.pdf: 1729842 bytes, checksum: 61191dfaedb56331176b4cb1c951e7e7 (MD5)
Approved for entry into archive by Edvander Pires(edvanderpires@gmail.com) on 2015-05-07T17:23:51Z (GMT) No. of bitstreams: 1 2005_dis_clnoliveira.pdf: 1729842 bytes, checksum: 61191dfaedb56331176b4cb1c951e7e7 (MD5)
Made available in DSpace on 2015-05-07T17:23:51Z (GMT). No. of bitstreams: 1 2005_dis_clnoliveira.pdf: 1729842 bytes, checksum: 61191dfaedb56331176b4cb1c951e7e7 (MD5) Previous issue date: 2005
In the last few decades the physics of low dimensional semiconductor systems have attracted much attention due to the potential applications that arise from their due to electronic and optical properties. For example, InGaAs and InGaAsP heterostructures are currently used in optoelectronic applications that operate in the infrared spectrum. In such systems, the con_nement of charges can be realized in one, two or in three dimensions. The optical properties of quantum con_nement systems are basically determined by electronic transitions. Excitons, formed by an electron-hole pair bounded by coulombic interaction, are the responsible for the emission wavelenght. The aim of this work is to computer the ground state exciton energies in quantum wells, cylindrical quantum wires and pyramidal quantum dots as a function of the their size and shape. The results show that the exciton energies of In0:4Ga0:6As/GaAs quantum wells and wires are in the range from 0.9 to 1.3 eV. The results of In0:4Ga0:6As/GaAs pyramidal quantum dots show that the e-lh (e-hh) recombination energies are approximately 1.3-1.4 (1.18-1.28) eV.
A física de sistemas semicondutores de baixa dimensionalidade tem evoluído bastante nas últimas décadas. Em parte, porque essas estruturas oferecem a oportunidade de testarmos vários modelos teóricos, mas também porque existe um grande potencial de aplicação tecnológica derivada das propriedades de tais estruturas e dos materiais que a formam. Como exemplo, temos as heteroestruturas semicondutoras formadas com os materiais InGaAs e InGaAsP que são de grande utilidade em dispositivos optoeletrônicos emitindo na região do infravermelho. Nesses sistemas podemos fazer um confinamento dos portadores de carga, como elétrons e buracos, em uma, duas ou em três direções, aos quais são chamados de poço (2D), fio (1D) e ponto quântico (0D), respectivamente. As propriedades óticas dos semicondutores são determinadas pelos autovalores e autovetores do movimento dos elétrons e buracos. Os excitons que é o par elétron-buraco interagindo entre si são os maiores responsáveis pela emissão (pico da fotoluminescência) em sistemas de confinamento em semicondutores. A interação colombiana e o tipo de confinamento imposto pela construção dessas estruturas junto com suas interfaces graduais afeta o movimento desses portadores. O nosso objetivo neste trabalho é calcular a energia de emissão dos excitons elétron-buraco leve e elétron-buraco pesado em poços, fios cilíndricos e em pontos quânticos piramidais em função de seus parâmetros de dimensionalidade. Os resultados obtidos mostram as energias do exciton no poço e no fio quântico In0.4Ga0.6As/GaAs na mesma ordem de grandeza, estando na faixa de 0.9 à 1.3 eV. Para o ponto piramidal, as energias de recombinação do par e-hh (e-lh) estão na faixa de 1.3-1.4 (1.18-1.28) eV.

APA, Harvard, Vancouver, ISO, and other styles

14

Violi, Simone. "Un sistema per il Mapping di Access Point Wi-Fi in ambito Android." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/7439/.

Full text

Abstract:

Un sistema per il mapping di access point wi-fi utilizzando un client scritto in android ed un server scritto in php. Il client si occuperà di scansionare le reti disponibili ed inviarle al server che con tali informazioni potrà inferire sulle posizioni effettive degli access point e fornire ad altri client informazioni più dettagliate per potersi connettere.

APA, Harvard, Vancouver, ISO, and other styles

15

Dias, Mauricio Araujo. "Um sistema criptografico para curvas elipticas sobre GF(2m) implementado em circuitos programaveis." [s.n.], 2007. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260923.

Full text

Abstract:

Orientador: Jose Raimundo de Oliveira
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-08-09T13:54:55Z (GMT). No. of bitstreams: 1 Dias_MauricioAraujo_D.pdf: 794928 bytes, checksum: a328a640d35118ea7fb606ac9f4ab2b2 (MD5) Previous issue date: 2007
Resumo: Este trabalho propõe um sistema criptográfico para Criptografia baseada em Curvas Elípticas (ECC). ECC é usada alternativamente a outros sistemas criptográficos, como o algoritmo RSA (Rivest-Shamir-Adleman), por oferecer a menor chave e a maior segurança por bit. Ele realiza multiplicação de pontos (Q = kP) para curvas elípticas sobre corpos finitos binários. Trata-se de um criptosistema programável e configurável. Graças às propriedades do circuito programável (FPGA) é possível encontrar soluções otimizadas para diferentes curvas elípticas, corpos finitos e algoritmos. A característica principal deste criptosistema é o uso de um circuito combinacional para calcular duplicações e adições de pontos, por meio da aritmética sobre corpos finitos. Os resultados deste trabalho mostram que um programa de troca de chaves fica aproximadamente 20.483 vezes mais rápido com a ajuda do nosso sistema criptográfico. Para desenvolver este projeto, nós consideramos que o alto desempenho tem prioridade sobre a área ocupada pelos seus circuitos. Assim, nós recomendamos o uso deste circuito para os casos em que não sejam impostas restrições de área, mas seja exigido alto desempenho do sistema
Abstract: This work proposes a cryptosystem for Elliptic Curve Cryptography (ECC). ECC has been used as an alternative to other public-key cryptosystems such as the RSA (Rivest-Shamir-Adleman algorithm) by offering the smallest key size and the highest strength per bit. The cryptosystem performs point multiplication (Q = kP) for elliptic curves over binary polynomial fields (GF(2m)). This is a programmable and scalable cryptosystem. It uses the abilities of reconfigurable hardware (FPGA) to make possible optimized circuitry solutions for different elliptic curves, finite fields and algorithms. The main feature of this cryptosystem is the use of a combinatorial circuit to calculate point doublings and point additions, through finite field arithmetic. The results of this work show that the execution of a key-exchange program is, approximately, 20,483 times faster with the help of our cryptosystem. To develop this project we considered that high-performance has priority over area occupied by its circuit. Thus, we recommend the use of this circuit in the cases for which no area constraints are imposed but high performance systems are required.
Doutorado
Engenharia de Computação
Doutor em Engenharia Elétrica

APA, Harvard, Vancouver, ISO, and other styles

16

Cavalcanti, Renato Albuquerque de Oliveira. "Estudo biomecânico comparativo entre novo sistema de bloqueio (PAX) e sistema convencional de bloqueio (Synthes) em ensaios de arrancamento e teste de quatro pontos." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/10/10137/tde-13082015-171413/.

Full text

Abstract:

Os materiais utilizados nas osteossínteses passam constantemente por avanços tecnológicos. Um dos mais recentes dispositivos é a chamada placa bloqueada, suas principais indicações são fraturas com alto grau de cominução, fraturas que não exigem uma redução anatômica, ossos osteopenicos, por exemplo, acometidos pela osteoporose, entre outras. Atualmente novos modelos de placas com bloqueio estão sendo desenvolvidos, onde a interface do parafuso e a placa são feito pela deformação do orifício, com a vantagem da instalação do parafuso em diversos ângulos. O presente projeto tem por objetivo estudar comparativamente a diferença entre os dois tipos de interface parafuso placa, como também realizar teste de quatro pontos comparando o sistema novo de bloqueio com o sistema convencional de bloqueio. Realizamos ensaios de arrancamento com sistema convencional de bloqueio (Synthes) e com o novo sistema de bloqueio (PAX) em parafusos 2,0mm; 2,4mm; 2,7mm e 3,5mm. Em todos os grupos testados o sistema convencional de bloqueio foi mais resistente e apresentou diferença significativa estatisticamente, teste de Mann- Witney (p< 0,05). Os valores de P obtidos foram: sistema 2.0mm p = 0,008; sistema 2.4 mm p= 0,008; sistema 2.7 mm p= 0,016; sistema 3.5 mm p= 0,008. No teste de 4 pontos utilizamos 20 placas da marca Synthes (sistema convencional de bloqueio) e 20 da marca PAX (novo sistema de bloqueio) e o sistema convencional de bloqueio se mostrou novamente mais resistente com diferença significativa. Os valores de P obtidos foram: sistema 2.0mm p = 0,008; sistema 2.4 mm p= 0,008; sistema 2.7 mm p= 0,008; sistema 3.5 mm p= 0,008. Conclui-se que o sistema convencional de bloqueio se mostrou mais resistente tanto no teste de arrancamento quanto no teste de flexão de quatro pontos.
The materials used in osteosynthesis constantly technological advances. One of the most recent devices is called the locking plate, its main indications are fractures with a high degree of comminution, fractures which do not require anatomical reduction, osteopenic bones, for example, affected by osteoporosis, among others. Currently new locking plate designs are being developed, where the screw interface and the plate are made by deformation of the hole, with the installation of the advantage screw at various angles. This study aims to compared the difference between the two types of interface screw - plate but also perform four-point test comparing the new locking system with the conventional system lock. Pullout tests conducted with conventional locking system (Synthes) and the new locking system (PAX) by screws 2.0mm; 2.4mm; 2.7mm and 3.5mm. In all groups tested the conventional system of blockade was stronger and showed a statistically significant difference, Mann-Witney test (p <0.05). P values were obtained: System 2.0mm P = 0.008; system 2.4 mm p = 0.008; System 2.7 mm p = 0.016; system 3.5 mm p = 0.008. In test points 4 used 20 Synthes plate mark (conventional blocking system) and 20 brand PAX (new locking system), the conventional locking system again showed a significant difference resistant. P values were obtained: System 2.0mm P = 0.008; system 2.4 mm p = 0.008; system 2.7 mm p = 0.008; system 3.5 mm p = 0.008. It follows that the conventional locking system has proved much more resistant peel test as in the four point bending test.

APA, Harvard, Vancouver, ISO, and other styles

17

Marcos, Pedro de Botelho. "Maresia : an approach to deal with the single points of failure of the MapReduce model." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2013. http://hdl.handle.net/10183/65635.

Full text

Abstract:

Durante os últimos anos, a quantidade de dados gerada pelas aplicações cresceu consideravelmente. No entanto, para tornarem-se relevantes estes dados precisam ser processados. Para atender este objetivo, novos modelos de programação para processamento paralelo e distribuído foram propostos. Um exemplo é o modelo MapReduce, o qual foi proposto pela Google. Este modelo, no entanto, possui pontos de falha única (SPOF), os quais podem comprometer a sua execução. Assim, este trabalho apresenta uma nova arquitetura, inspirada pelo Chord, para lidar com os SPOFs do modelo. A avaliação da proposta foi realizada através de modelagem analítica e de testes experimentais. Os resultados mostram a viabilidade de usar a arquitetura proposta para executar o MapReduce.
During the last years, the amount of data generated by applications grew considerably. To become relevant, however, this data should be processed. With this goal, new programming models for parallel and distributed processing were proposed. An example is the MapReduce model, which was proposed by Google. This model, nevertheless, has Single Points of Failure (SPOF), which can compromise the execution of a job. Thus, this work presents a new architecture, inspired by Chord, to avoid the SPOFs on MapReduce. The evaluation was performed through an analytical model and an experimental setup. The results show the feasibility of using the proposed architecture to execute MapReduce jobs.

APA, Harvard, Vancouver, ISO, and other styles

18

Vidiella, Rocamora Blai 1993. "Terraforming Earth's ecosystems : engineering ecosystems to avoid anthropogenic tipping points." Doctoral thesis, TDX (Tesis Doctorals en Xarxa), 2022. http://hdl.handle.net/10803/673774.

Full text

Abstract:

The idea of Terraformation comes from the science fiction literature, where humans have the capability of changing a non-habitable planet to an Earth-like one. Nowadays, Nature is changing rapidly, the poles are melting, oceans biodiversity is vanishing due to plastic pollution, and the deserts are advancing at an unstoppable rhythm. This thesis is a first step towards the exploration of new strategies that could serve to change this pernicious tendencies jeopardising ecosystems. We suggest it may not only be possible by adding new species (alien species), but also engineering autochthonous microbial species that are already adapted to the environment. Such engineering may improve their functions and capabilities allowing them to recover the (host) ecosystem upon their re-introduction. These new functionalities should make the microbes be able to induce a bottom-up change in the ecosystem: from the micro-scale (microenvironment) to the macro-scale (even changing the composition of species in the entire the ecosystem). To make this possible, the so-called Terraformation strategy needs to fuse many different fields of knowledge. The focus of this thesis relies on studying the outcome of the interactions between species and their environment (Ecology), on making the desired modifications by means of genetic engineering of the wild-type species (Synthetic Biology), and on monitoring the evaluation of the current ecosystems’ states, testing the possible changes, and predicting the future development of possible interventions (Dynamical Systems). In order to do so, in this thesis, we have gathered the tools provided by these different fields of knowledge. The methodology is based on loops between observation, designing, and prediction. For example, if there is a lack of humidity in semiarid ecosystems, we then propose to engineer e.g. Nostoc sp. to enhace its capability to produce extracellular matrix (increasing water retention). With this framework, we perform a model to understand the different possible dynamics, by means of dynamical equations to evaluate e.g. when a synthetic strain will remain in the ecosystem and the effects it will produce. We have also studied spatial models to predict their ability to modify the spatial organization of vegetation. Transient dynamics depend on the kind of transition underlying the occurring tipping point. For this reason, we have studied different systems: vegetation dynamics with facilitation (typical from drylands), a cooperator-parasite system, and a trophic chain model where different human interventions can be tested (i.e. hunting, deforestation, soil degradation, habitat destruction). All of these systems are shown to promote different types of transitions (i.e. smooth and catastrophic transitions). Each transition has its own dynamical fingerprint and thus knowing them can help monitoring and anticipating these transitions even before they happen, taking advantage of the so-called early warning signals. In this travel, we have found that transients can be an important phenomena in the current changing world. The ecosystems that we observe can be trapped into a seemingly stable regime, but be indeed in an unstable situation driving to a future sudden collapse (Fig 1) For this reason, we need to investigate novel intervention methods able to sustain the current ecosystems, for instance: Terraformation.

APA, Harvard, Vancouver, ISO, and other styles

19

Aragó, Galindo Pau. "Enhance the value of participative geospatial data, modelling using point pattern processes." Doctoral thesis, Universitat Jaume I, 2016. http://hdl.handle.net/10803/386241.

Full text

Abstract:

Esta tesi tracta sobre la participació de les persones en la creació de dades espacials de forma més o menys voluntària i en l'anàlisi d'aquestes dades utilitzant patrons de processos puntuals i geoestadística. Les dades geogràfiques creades per voluntaris suposen un canvi radical en la forma com aquestes han segut creades tradicionalment. Fins fa uns anys, les dades geogràfiques han estat creades tan sols per experts i grans institucions, una aproximació des de dalt cap a baix. La revolució 2.0 a internet ha permés que la tecnologia estiga a l'abast de tothom. Per a les dades geogràfiques ha suposat que qualsevol puga contribuir a projectes voluntaris com OspenStreetMap aportant el seu coneixemnet de l'entorn. Una aportació des de baix cap a dalt. Aquest canvi deixa preguntes sobre si es poden emprar les dades, quina qualitat tenen, són creïbles els usuaris quan fan aportacions, hi ha errors... Aquesta tesi tracta de donar resposta a com fer mesures de la qualitat, la credibilitat i l'anàlisi de les dades així com facilitar la recol·lecció de dades geogràfiques provinents de les xarxes socials.

APA, Harvard, Vancouver, ISO, and other styles

20

Rocha, Miguel Rodrigues Paixão Neves. "Metodologia para a implementação de um sistema de apoio à decisão no sistema nacional de saúde baseado nos indicadores para a saúde." Master's thesis, Universidade de Évora, 2009. http://hdl.handle.net/10174/18525.

Full text

Abstract:

Actualmente, o SIS depara-se com problemas relativos à normalização e qualidade de dados, interoperabilidade entre instituições e inexistência de sistemas que suportem e agilizem o processo da decisão estratégica no sector. Numa primeira fase, este trabalho caracteriza e clarifica o papel das diversas instituições que colaboram com o MS, a forma como é gerida a informação e o conhecimento e os pressupostos do PNS enquanto documento agregador de indicadores que permitem avaliar o estado da saúde em Portugal. Com base na caracterização do sector e na importância orientadora do PNS, apresenta-se uma metodologia que organiza e desenvolve um modelo de metadados, baseados nos indicadores para a saúde, presentes no PNS. A sua importância para o sector é evidente uma vez que permite servir de suporte ao futuro desenvolvimento de aplicações estratégicas de apoio à decisão, salvaguardando a implementação e a divulgação do PNS e dos seus indicadores. ABSTRACT; Currently, the SIS comes across with problems related with normalization and quality of data, cooperation between institutions and the inexistence of systems that support and speed the process of strategical decisions in the sector. ln a first phase, this work characterizes and simplifies the role of each institution that collaborates with MS, the form as it is managed the information and the knowledge and the fundamentals of PNS, as a document witch aggregates pointers that allow the evaluation of the state of health in Portugal. On the basis of this characterization and the orienting importance of PNS, this work demonstrates a metadata methodology that organizes and develops a model, based on health pointers, indicated in PNS. Its importance for the sector is evident because it can support future developments of strategical applications, safeguarding the implementation and the analysis of PNS and its pointers.

APA, Harvard, Vancouver, ISO, and other styles

21

Korvel, Pavel. "Tiesiaeigės iešmo pavaros valdymo sistemos tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2014. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2014~D_20140616_164457-33149.

Full text

Abstract:

Baigiamajame magistro darbe nagrinėjama iešmo elektros pavara su tiesiaeigiu asinchroniniu cilindriniu varikliu. Programiniu paketu ,,Matlab“ yra sudaryti pavaros matematiniai modeliai α, β koordinačių sistemoje. Uždaviniai – tiesiaeigės iešmo elektros pavaros kompiuterinio modelio sudarymas, tyrimas ir dinaminių charakteristikų imitavimas. Literatūros analizės dalyje išnagrinėtos tiesiaeigės elektros pavaros, jų taikymo sritys bei valdymo būdai. Magistro darbo teorinėje dalyje pateikiamos tiesiaeigių elektros pavarų skaičiavimo ir valdymo metodikų analizės. Tiriamoji dalis apima iešmo elektros pavaros su tiesiaeigiu cilindriniu asinchroniniu varikliu matematinių modelių sudarymą ir dinaminių charakteristikų tyrimą programiniu paketu ,,Matlab“. Matematiniai modeliai yra sudaromi pavarai veikiant skirtingais darbo režimais (pavara perjungiama neapkrauta, pavara perjungiama apkrovus nominalia apkrova ir iešmą perjungiant pabaigoje ir pradžioje trukdant papildomai pasipriešinimo jėgai) ir tyrimo rezultatai pateikiami grafiškai. Gauti rezultatai yra palyginami ir apibendrinami. Išnagrinėjus teorinius tiesiaeigės iešmo elektros pavaros su asinchroniniu cilindriniu varikliu darbo režimų aspektus, pateikiamos išvados ir pasiūlymai. Tyrimo rezultatai gali būti panaudoti iešmo elektros pavaros su tiesiaeigiu asinchroniniu varikliu racionaliam ir optimaliam realizavimui geležinkelio transporto automatinio valdymo sistemose. Darbą sudaro 9 dalys: santrumpos ir simboliai, įvadas... [toliau žr. visą tekstą]
The final Bachelor thesis analyses point electric drive with cylinder-type linear asynchronous motor. Software package ,,Matlab“ was used to prepare mathematical models of the drive in α, β coordinate system. Objectives: preparing and analyzing a computer model of linear point electric drive, simulation of dynamic characteristics. The analysis of literary sources deals with linear electric drives, their application areas and methods of control. Theoretical part of the Master thesis presents analyses of calculation and control methods of linear electric drives. The analytical part of the thesis includes mathematical models of point electric drive with cylinder-type linear asynchronous motor and the analysis of dynamic characteristics using software package ,,Matlab“. Mathematical models were prepared when the drive operated in different modes (the drive switched without load, the drive switched with nominal load, the switch connected at the end or beginning, thereby blocking additional resistance force). Research results were presented in a graphical form. Obtained results were compared and summarized. Following the analysis of the theoretical aspects of operating modes of linear point electric drive with cylinder-type asynchronous motor, conclusions and recommendations were presented. Research results can be used for rational and optimal realization of point electric drive with linear asynchronous motor in automatic railway control systems. The thesis consists of nine parts:... [to full text]

APA, Harvard, Vancouver, ISO, and other styles

22

Rosales, de Cáceres José J. "On the effect of the Sun's gravity around the Earth-Moon L1 and L2 libration points." Doctoral thesis, Universitat de Barcelona, 2020. http://hdl.handle.net/10803/670809.

Full text

Abstract:

In this thesis we explored some aspects of the dynamics around the Earth-Moon L1 and L2 points in the context of two Restricted Four Body Problems: the Bicircular Problem (BCP) and the Quasi-bicircular Problem (QBCP). Both the BCP and QBCP model the dynamics of a massless particle moving under the influence of the Sun, Earth, and Moon. Although these two models focus on the same system, it is relevant to study both because their behavior around the L2 is qualitatively different.Ðhese two models can be written in the Hamiltonian formalism as periodic time-dependent perturbations of the RTBP. To study these Hamiltonians, we used numerical tools tailored to these type of models to get an insight on the phase space. These two techniques are the reduction to the center manifold, and the computation and continuation of 2D tori.ßor the BCP, the analysis focused around the L2 point. The results obtained showed that the reduction to the center manifold, and the non-autonomous normal form computed in this thesis do not provide useful information about the neutral motion around L2. The approach taken was to compute families of 2D tori, and explore any connections and their stability. As a summary of this effort we identified a total of six families of 2D tori: two Lyapunov-type planar quasi-periodic orbits, and four vertical. One of the vertical families was obtained by direct continuation of Halo orbits from the RTBP. This showed that the family of Halo orbits from the RTBP survive in the BCP, with the understanding that this new family is Cantorian. It was also shown that one of the other vertical families is Halo-like. Hence, members of this family may be potential candidates for future space missions. However, these tori are hyperbolic, as opposed the ones coming directly from the RTBP Halo obits, which are partially elliptic. It was also shown that this family of Halo-like tori comes from a family of quasi-periodic orbits in the RTBP that are resonant with the frequency of the Sun. Hence, these family of Halo-like orbits in the BCP have their counterparts in the RTBP.ßor the QBCP, the focus of the analyses was there Earth-Moon L1 and L2 points. In this model, the reduction to the center manifold provided relevant qualitative information about the dynamics around L1 and L2. The main takeaway was that L1 and L2 had a similar qualitative behavior. In both cases there were two families of quasi-periodic Lyapunov orbits, one planar and one vertical. It was also shown that the quasi-periodic planar Lyapunov family underwent a (quasi-periodic) pitchfork bifurcation, giving rise to two families of quasi-periodic orbits with an out-of-plane component. Between them, there was a family of Lissajous quasi-periodic orbits, with three basic frequencies. Qualitatively, the phase space of the center manifold, as constructed in this thesis, resembled the phase space of the center manifold of the RTBP around L1 and L2. In the QBCP we also continued families of invariant 2D tori, and for both L1 and L2. In these cases, the quasi-periodic planar and vertical families were continued. The bifurcations of the quasi-periodic planar Lyapunov were identified. A conclusion from this numerical experiment was that the family of out-of-plane orbits born from the bifurcation seemed not to be the RTBP Halo counterparts in the QBCP. The RTBP Halo orbits do survive in the QBCP, but do not seem to be connected to the quasi-periodic planar Lyapunov family. ßinally, and also in the context of the BCP and the QBCP, numerical simulations to study transfers from a parking orbit around the Earth to a Halo orbit around the Earth-Moon L2 point were studied. The main conclusion is that the invariant manifolds of the target orbits studied intersect with potential parking orbits around the Earth. The relevance of this result is that it shows that there are one-maneuver transfers from a vicinity of the Earth to Earth-Moon L2 Halo orbits. This is not case when using the RTBP as reference model. Experiments were done for both the BCP and the QBCP, and in all cases is it was shown that the total cost in terms of ∆V and transfer time is comparable to other techniques requiring two or more maneuvers.
En aquesta tesi explorem alguns aspectes de la dinàmica al voltant dels punts L1 i L2 Terra-Lluna en el context de dos problemes restringits de quatre cossos: el problema bicircular (PBC) i el problema quasi-circular (PQBC). Tant el PBC com el PQBC modelen la dinàmica d’una partícula sense massa que es mou sota la influència del Sol, la Terra i la Lluna. Tot i que aquests dos models es centren en el mateix sistema, és rellevant estudiar-los tots dos perquè el seu comportament al voltant de la L2 és qualitativament diferent. Aquests dos models es poden escriure en el formalisme hamiltonià com a pertorbacions periòdiques del problema restringit dels tres cossos (PRTC) dependents del temps. Per estudiar aquests hamiltonians, utlitzem eines numèriques adaptades a aquest tipus de models per obtenir una idea de l’espai de fases. Aquestes dues tècniques són la reducció a la variety central i el càlcul i la continuació de tors 2D. Per al PBC, l'anàlisi es centra al voltant del punt L2. Els resultats obtinguts mostren que la reducció a la varietat central i la forma normal no autònoma calculada en aquesta tesi no proporcionen informació útil sobre el moviment neutre al voltant de L2. L'enfocament adoptat es calcular famílies de tors 2D, i explorar les seves connexions i estabilitat. Com a resum d’aquest esforç, s'identifiquen un total de sis famílies de tors 2D: dues famílies d'òrbites quasi-periòdiques planes tipus Lyapunov i quatre verticals. Una de les famílies verticals s'obté per continuació directa de les òrbites Halo del PRTC. Això demostra que la família de les òrbites Halo del PRTC sobreviuen al PBC, entenent que aquesta nova família és cantoriana. També es demostra que una de les altres famílies verticals és semblant a les Halo. Per tant, els membres d’aquesta família poden ser candidats potencials per a futures missions espacials. No obstant això, aquests tors són hiperbòlics, a diferència dels que provenen directament de les Halo del PRTC, que són parcialment el·líptics. També es mostra que aquesta família de tors semblants a les Halo prové d’una família d’òrbites quasi-periòdiques del PRTC que són ressonants amb la freqüència del Sol. Per tant, aquestes famílies d’òrbites semblants a les Halo al PBC tenen els seus homòlegs al PRTC. Per al PQBC, el focus de les anàlisis es troba en els punts L1 i L2 Terra-Lluna. En aquest model, la reducció a la varietat central proporciona informació qualitativa rellevant sobre la dinàmica al voltant de L1 i L2. El principal resultat és que L1 i L2 tenen un comportament qualitatiu similar. En ambdós casos hi ha dues famílies d’òrbites quasi-periòdiques tipus Lyapunov, una plana i una vertical. També es demostra que la família plana quasi-periòdica tipus Lyapunov sobrevé una bifurcació tipus pitchfork (quasi-periòdica), donant lloc a dues famílies d’òrbites quasi periòdiques amb un component vertical. Entre ells, hi havia una família d’òrbites quasi-periòdiques tipos Lissajous, amb tres freqüències bàsiques. Qualitativament, l’espai de fase de la varietat central, tal com es construeix en aquesta tesi, s’assembla a l’espai de fase del la varietat central del PRTC al voltant de L1 i L2. Al PQBC també es continuen famílies de tors 2D invariants, tant per a L1 com per a L2. En aquests casos, es continuen les famílies planes i verticals quasi-periòdiques. Durant aquest procés es troben bifurcacions a les families d'òrbites quasi-periòdiques planes. Una conclusió d’aquest experiment numèric és que la família d’òrbites amb component vertical nascudes de la bifurcació no són les contraparts de les Halo de PRTC. Les òrbites Halo de PRTC sobreviuen en el PQBC, però no semblen estar connectades a la família plana quasi-periòdica. Finalment, i també en el context del PBC i el PQBC, es s'estudien simulacions numèriques per estudiar les transferències des d’una òrbita d’estacionària al voltant de la Terra fins a una òrbita Halo al voltant del punt L2 Terra-Lluna. La principal conclusió és que les varietats invariants de les òrbites objectiu estudiades passen molt a prop de la Terra. La rellevància d’aquest resultat és que mostra que hi ha transferències d’una maniobra des de d'una òrbita al voltat de Terra a les òrbites L2 Halo Terra-Lluna. No és així quan s’utilitza el PRTC com a model de referència. Es fan experiments tant per al BCP com per al QBCP, i en tots els casos es demostra que el cost total en termes de ∆V i temps de transferència és comparable a altres tècniques que requereixen dues o més maniobres.

APA, Harvard, Vancouver, ISO, and other styles

23

Ramirez, Viviana Analia 1976. "Sistemas ponto de sela com uma aplicação a aceleração do Lagrangiano Aumentado." [s.n.], 2008. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306439.

Full text

Abstract:

Orientador: Roberto Andreani
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica
Made available in DSpace on 2018-08-10T22:54:25Z (GMT). No. of bitstreams: 1 Ramirez_VivianaAnalia_M.pdf: 2563612 bytes, checksum: db80aac5c845975430fe4820638c7a46 (MD5) Previous issue date: 2008
Resumo: Os sistemas ponto de sela surgem em uma grande quantidade de áreas de investiga¸c¿ao, como física, química, engenharia, reconstrução de imagens, etc. Portanto, s¿ao objeto de pesquisa, tanto as propriedades presentes neles como os métodos utilizados para a sua resolução. Diversos métodos foram desenvolvidos dependendo das características do sistema, alguns deles com a propriedade de preservar a estrutura da matriz do sistema. Neste trabalho utilizamos umo destes métodos para melhorar a precisão obtida pelo método ALGENCAN (Lagrangiano Aumentado usando GENCAN) em problemas de Programação Não Linear (PNL). Este método é muito robusto, ele obtém uma boa aproximação da solução com poucas iterações, mas perto da solução não consegue obter uma precisão muito exigente. Para melhorar esta precisão, aplicamos o método de Newton a um sistema KKT reduzido no ponto obtido por ALGENCAN, gerando um sistema ponto de sela. Para esta implementação utilizamos o método conhecido como fatoração LDLT , escolhido por sua propriedade de preservar a estrutura esparsa do sistema
Abstract: Saddle point systems arise in wide areas of research fields like physics, chemistry and engineering and images reconstructions, etc. Then, the properties of these systems and solving methods have been subjects of intense study in the last years. Depending upon the system properties, several methods were developed; some of these, exhibit the property of preserving the matrix structure system, like the sparsity. In this work, we have used one of these methods to improve the accuracy by using ALGECAN (Augmented Lagrangian using GENCAN) applied to Non-linear Programming (NLP) problems. This is a robust method which helps to get a good approximation to the solution. However, in several cases, it is not possible to get the desired accuracy. In order to improve the precision, we have applied Newton¿s method in a reduced KKT system, starting from a point given by ALGENCAN, which is a saddle point. We employ the so called LDLT factorization in order to implement Newton¿s method, which give us better accuracy
Mestrado
Otimização
Mestre em Matemática Aplicada

APA, Harvard, Vancouver, ISO, and other styles

24

Paulo, Naiara Vergian de. "Sistemas de seções transversais próximos a níveis críticos de sistemas Hamiltonianos em $\\mathbb{R}^4$." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01072014-125659/.

Full text

Abstract:

Neste trabalho estudamos dinâmica Hamiltoniana em $\\mathbb{R}^4$ restrita a níveis de energia próximos a níveis críticos. Mais precisamente, consideramos uma função Hamiltoniana $H: \\mathbb{R}^4 \\to \\mathbb{R}$ que possui um ponto de equilíbrio do tipo sela-centro $p_c \\in H^{-1}(0)$ e assumimos que $p_c$ pertence a um conjunto singular estritamente convexo $S_0 \\subset H^{-1}(0)$. Então, mostramos que os níveis de energia $H^{-1}(E)$, com $E>0$ suficientemente pequeno, contêm uma $3$-bola fechada $S_E$ próxima a $S_0$ que admite um sistema de seções transversais $F_E$, chamado folheação $2-3$. $F_E$ é uma folheação singular de $S_E$ com conjunto singular formado por duas órbitas periódicas $P_{2,E}\\subset \\partial S_E$ e $P_{3,E}\\subset S_E\\setminus \\partial S_E$. A órbita $P_{2,E}$ é hiperbólica dentro do nível de energia $H^{-1}(E)$, pertence à variedade central do sela-centro $p_c$, tem índice de Conley-Zehnder $2$ e é o limite assintótico de dois planos rígidos de $F_E$ que, unidos com $P_{2,E}$, constituem a $2$-esfera $\\partial S_E$. A órbita $P_{3,E}$ tem índice de Conley-Zehnder $3$ e é o limite assintótico de uma família a um parâmetro de planos de $F_E$ contida em $S_E\\setminus \\partial S_E$. Um cilindro rígido conectando as órbitas $P_{3,E}$ e $P_{2,E}$ completa a folheação $F_E$. Uma vez que $F_E$ é um sistema de seções transversais, todas as suas folhas regulares são transversais ao fluxo Hamiltoniano de $H$. Como consequência da existência de uma tal folheação em $S_E$, concluímos que a órbita hiperbólica $P_{2,E}$ admite pelo menos uma órbita homoclínica contida em $S_E \\setminus \\partial S_E$.
In this work we study Hamiltonian dynamics in $\\mathbb R ^4$ restricted to energy levels close to critical levels. More precisely, we consider a Hamiltonian function $H:\\mathbb R ^4 \\to \\mathbb R$ containing a saddle-center equilibrium point $p_c \\in H^ -1 (0)$ and we assume that $p_c$ lies on a strictly convex singular set $S_0 \\subset H^ -1 (0)$. Then we prove that the energy levels $H^ -1 (E)$, with $E>0$ sufficiently small, contain a closed $3$-ball $S_E$ near $S_0$ admitting a system of transverse sections $F_E$, called a $2-3$ foliation. $F_E$ is a singular foliation of $S_E$ and its singular set consists of two periodic orbits $P_{2,E}\\subset \\partial S_E$ and $P_{3,E}\\subset S_E\\setminus \\partial S_E$. The orbit $P_{2,E}$ is hyperbolic inside the energy level $H^ -1 (E)$, lies on the center manifold of the saddle-center $p_c$, has Conley-Zehnder index $2$ and is the asymptotic limit of two rigid planes of $F_E$, which compose the $2$-sphere $S_E$ together with $P_{2,E}$. The orbit $P_{3,E}$ has Conley-Zehnder index $3$ and is the asymptotic limit of a one parameter family of planes of $F_E$ contained in $S_E \\setminus \\partial S_E$. A rigid cylinder connecting the orbits $P_{3,E}$ and $P_{2,E}$ completes the foliation $F_E$. Since $F_E$ is a system of transverse sections, all its regular leaves are transverse to the Hamiltonian flow of $H$. As a consequence of the existence of such foliation in $S_E$, we conclude that the hyperbolic orbit $P_{2,E}$ admits at least one homoclinic orbit contained in $S_E\\setminus \\partial S_E$.

APA, Harvard, Vancouver, ISO, and other styles

25

Gentili, Nicola. "Un sistema informatico per la gestione di patologie oncologiche croniche." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/7750/.

Full text

Abstract:

L'assistenza sanitaria in Italia e nel mondo è caratterizzata da bisogni elevati in continua crescita, ad essi si contrappone l'attuale crisi delle risorse economiche determinando per il Sistema una valutazione di scelte quali la riduzione o la rimodulazione dell'offerta sanitaria pubblica. L'idea di questo lavoro, nata all'interno dell'Istituto Scientifico Romagnolo per lo Studio e la Cura dei Tumori (IRST) IRCCS, è di approcciare questo problema in ottica di miglioramento delle performance anziché riduzione dei servizi, nella convinzione che vi siano importanti margini di perfezionamento. Per questi motivi si è valutata la necessità di sviluppare un metodo e un'applicazione software per l'identificazione dei percorsi diagnostici terapeutici assistenziali (PDTA), per la raccolta di dati dalle strutture coinvolte, per l'analisi dei costi e dei risultati, mirando ad una analisi di tipo costi - efficacia e di benchmarking in ottica di presa in carico dei bisogni di salute. La tesi descrive la fase di raccolta e analisi dei requisiti comprensiva della profilazione utenti e descrizione di alcuni aspetti dinamici salienti, la fase di progettazione concettuale (schema Entity/Relationship, glossario e volumi dei dati), la fase di progettazione logica e la prototipazione dell'interfaccia utente. Riporta inoltre una valutazione dei tempi di sviluppo realizzata tramite metodologia di calcolo dei punti per caso d'uso. L'applicazione progettata è oggetto di valutazione di fattibilità presso l'IRST, che ha utilizzato alcune delle metodologie descritte nella tesi per descrivere il percorso di patologia mammaria e presentarne i primi risultati all'interno di un progetto di ricerca in collaborazione con l'Agenzia Nazionale per i Servizi Sanitari Regionali (Agenas).

APA, Harvard, Vancouver, ISO, and other styles

26

Flor, José Alberto Ramos. "Assinaturas dinâmicas de um sistema coerente com aplicações." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/45/45133/tde-04062012-181833/.

Full text

Abstract:

O objetivo da dissertação é analisar a assinatura em um contexto geral que considera a dinâmica no tempo e a dependência estocástica, utilizando a teoria de martingais para processos pontuais.
The main goal in this work is to analyse the signature structure in a broader context considering time dynamics and stochastic dependence using the point processes martingale theory.

APA, Harvard, Vancouver, ISO, and other styles

27

Silva, Marilene da 1983. "Solução iterativa dos sistemas originados dos métodos de pontos interiores." [s.n.], 2014. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306796.

Full text

Abstract:

Orientadores: Carla Taviane Lucke da Silva Ghidini, Aurelio Ribeiro Leite de Oliveira
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica
Made available in DSpace on 2018-08-26T07:23:54Z (GMT). No. of bitstreams: 1 Silva_Marileneda_M.pdf: 942860 bytes, checksum: 97260f526fda7ee0cb3346887580c3fa (MD5) Previous issue date: 2014
Resumo: Neste trabalho, consideramos o método preditor-corretor, que é uma das variantes mais importantes dos métodos de pontos interiores devido à sua eficiência e convergência rápida. No método preditor-corretor, é preciso resolver dois sistemas lineares a cada iteração para determinar a direção preditora-corretora. A resolução desses sistemas é o passo que requer mais tempo de processamento, devendo, assim, ser realizada de maneira eficiente. Para obter a solução dos sistemas lineares do método preditor-corretor, consideramos dois métodos do subespaço de Krylov: MINRES e GC (método dos gradientes conjugados). Para que esses métodos convirjam mais rapidamente, um precondicionador especialmente desenvolvido para os sistemas lineares oriundos dos métodos de pontos interiores é usado. Experimentos computacionais, em um conjunto variado de problemas de programação linear, foram realizados com o intuito de analisar a eficiência e robustez dos métodos de solução dos sistemas lineares
Abstract: In this work, we consider the predictor-corrector method, which is one of the most important variants of interior point methods due to its efficiency and fast convergence. In the predictor-corrector method, we must solve two linear systems at each iteration to determine the predictor-corrector direction. The solution of these systems is the step that requires more processing time and should therefore be performed efficiently. For the solution of linear systems are two Krylov subspace methods considered: MINRES and CG(the conjugate-gradient method). For these methods a preconditioner specially developed for linear systems arising from interior point methods is used. Computational experiments on a set of linear programming problems were performed in order to analyze the efficiency and robustness of the methods when solving such linear systems
Mestrado
Matematica Aplicada
Mestra em Matemática Aplicada

APA, Harvard, Vancouver, ISO, and other styles

28

Rossato, Rafael Antonio. "Sistemas elípticos de tipo hamiltoniano perto da ressonância." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/55/55135/tde-13042015-164728/.

Full text

Abstract:

Neste trabalho consideramos sistemas elípticos de tipo hamiltoniano, envolvendo o operador Laplaciano, com uma parte linear dependendo de dois parâmetros e uma perturbação sublinear. Obtemos a existência de pelo menos duas soluções quando a parte linear está perto da ressonância (este fenômeno é chamado de quase ressonância). Mostramos também a existência de uma terceira solução, quando a quase ressonância é em relação ao primeiro autovalor do operador Laplaciano. No caso ressonante obtemos resultados análogos, adicionando mais uma perturbação sublinear. Os sistemas estão associados a funcionais fortemente indefinidos, e as soluções são obtidas através do Teorema de Ponto de Sela e aproximação de Galerkin.
In this work we consider elliptic systems of hamiltonian type, involving the Laplacian operator, a linear part depending on two parameters and a sublinear perturbation. We obtain the existence of at least two solutions when the linear part is near resonance (this phenomenon is called almost-resonance). We also show the existence of a third solution when the almost-resonance is with respect to the first eigenvalue of the Laplacian operator. In the resonant case, we obtain similar results, with an additional sublinear term. These systems are associated with strongly indefinite functionals, and the solutions are obtained by Saddle Point Theorem and Galerkin approximation.

APA, Harvard, Vancouver, ISO, and other styles

29

Oliveira, Danilo Elias de. "Solução de problemas de programação linear com alta precisão através do sistema linear estável." [s.n.], 2010. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306758.

Full text

Abstract:

Orientadores: Aurélio Ribeiro Leite de Oliveira, Maria de Los Angeles González-Lima
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica
Made available in DSpace on 2018-08-16T08:06:42Z (GMT). No. of bitstreams: 1 Oliveira_DaniloEliasde_D.pdf: 6128884 bytes, checksum: 221aef44232fcf13e9d65227fb7f7c36 (MD5) Previous issue date: 2010
Resumo: Apresentamos neste trabalho um método robusto e eficiente para a resolução do sistema linear estável para problemas de programação linear com variáveis canalizadas. O sistema linear estável é uma abordagem que pode ser utilizada para resolver os sistemas lineares que surgem em métodos de pontos interiores na programação linear. Adicionalmente, fazemos uma comparação entre o método apresentado e o sistema de equações normais resolvido por um método direto, também, por um método iterativo, nas iterações do método preditor-corretor. Essa comparação é realizada pela implementação do método em linguagem C e integrada a uma implementação do método preditor-corretor já existente. Apresentamos também, um estudo numérico e comparativo sobre perturbação para problemas degenerados. Para os testes computacionais foram utilizados os problemas da Netlib
Abstract: We present in this thesis a robust and efficient method for solving the stable linear system for linear programming problems with bounded variables. The stable linear system is an approach that can be used to solve linear systems arising in interior point methods in linear programming. Additionally, we perform a comparison among the present method and the system of normal equations solved by direct and iterative methods in the predictor-corrector version. To perform this comparison, we have implemented the method in the C language and integrated it in an implementation of the predictor-corrector version. We also have developed perturbations for the degenerated case. For the computational experiments we have used the Netlib set of test problems
Doutorado
Otimização
Doutor em Matemática Aplicada

APA, Harvard, Vancouver, ISO, and other styles

30

Delgado, Seidy de Rivelino Ider Correia. "Implementação de um sistema de HACCP numa queijaria tradicional em Cabo Verde. Caso de estudo no Concelho de Porto Novo." Master's thesis, ISA/UL, 2014. http://hdl.handle.net/10400.5/8487.

Full text

Abstract:

Mestrado em Engenharia Alimentar - Instituto Superior de Agronomia
Food safety has increasingly been discussed by all parties involved in the food industry. On a global level food incidents have led to distrust among consumers, for whom concerns linked to health and safety have increased in importance. In reaction the food industry and international organisations have searched for strategic solutions in order to respond to these questions, issuing various norms and guidelines and as a consequence the food safety systems have emerged. Under recommendation from FAO and WHO, the HACCP system is an important and efficient tool in guaranteeing the production of safe food when implemented in an appropriate way. The main objective of this thesis is the implementation of the HACCP system in a traditional cheese factory in Cape Verde, a case-study in the Agro-Industrial Centre in Proto Novo Council. For the proposed purpose an analysis of this cheese factory was made based on the HACCP principles, with regards to the prerequisites (production process, structural conditions, hygiene conditions, training and documentation), the dangers related to the product and the control measures to be adopted. After analysis based on the above mentioned principles and in order to facilitate the implementation of the system and follow the legal requirements, the possibilities of improvement and correction of situations of lesser conformity arose

APA, Harvard, Vancouver, ISO, and other styles

31

Fialho, Jamili Silva. "Indicadores da qualidade do solo em Sistemas AgrÃcolas anuais e perenes na Chapada do Apodi - CE." Universidade Federal do CearÃ, 2005. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1739.

Full text

Abstract:

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico
Este trabalho se propÃs a avaliar as alteraÃÃes nas atividades microbiana, quÃmica e fÃsica em solo sob sistemas agrÃcolas anuais e perenes na regiÃo da Chapada do Apodi - CE. Procurou-se testar a hipÃtese de que o uso agrÃcola de Ãreas sob sistemas anuais e perenes causam alteraÃÃes ambientais que influenciam a biomassa e a atividade microbiana do solo, reduzindo-a em relaÃÃo a Ãreas sob vegetaÃÃo natural. Foram selecionadas duas Ãreas com respectivas testemunhas (vegetaÃÃo natural); a primeira sob cultivo de bananeiras (Fazenda Frutacor) e a outra sob cultivo de rotaÃÃo milho e soja (Fazenda Faedo). Coletaram-se amostras compostas de solo em trÃs profundidades (0-5, 5-15 e 15-25 cm) com quatro repetiÃÃes. Nas amostras coletadas foram realizadas anÃlises fÃsicas, quÃmicas e microbiolÃgicas. Fisicamente, observou-se uma elevaÃÃo no teor de argila, com o aumento da profundidade na Ãrea cultivada com banana e na mata natural pivot. Em relaÃÃo aos atributos quÃmicos do solo, os riscos potenciais de salinidade e de saturaÃÃo por sÃdio aparentemente sÃo desprezÃveis. As prÃticas de manejo reduziram o N e o carbono orgÃnico total nos solos das Ãreas sob cultivo. Quanto Ã microbiologia dos solos, o carbono da biomassa microbiana e a populaÃÃo de fungos micorrÃzicos arbusculares foram mais elevados na profundidade de 0-5cm do solo. A respiraÃÃo basal do solo mostrou que os solos das Ãreas avaliadas tÃm baixa atividade microbiana quando comparados a solos do Cerrado. A atividade e produÃÃo da arilsulfatase e da fosfatase Ãcida foram estimuladas possivelmente, pela competiÃÃo dos Ãnions H2PO4 - e SO4 - pelos mesmos sÃtios de adsorÃÃo nos colÃides do solo, nas Ãreas de banana e rotaÃÃo milho e soja. A maior atividade da enzima β-glucosidase ocorreu nas Ãreas cultivadas, influenciada pela quantidade e qualidade do resÃduo vegetal retornado ao solo.
This work had the proposed to evaluate the alterations in the microbial activities, chemistry and physics in soil under annual and perennial agricultural systems in the area of the Chapada do Apodi - CE. It tried to test the hypothesis that the agricultural use of areas under annual and perennial systems causes environmental alterations that they influence the biomass and the microbial activity of the soil, reducing it in relation to areas under natural vegetation. Two areas were selected with respective witness (natural vegetation); the first under cultivation of banana trees (Fazenda Frutacor) and the other under cultivation of rotation corn and soy (Fazenda Faedo). Samples composed of soil were collected in three depths (0-5, 5-15 and 15-25 cm) with four repetitions. In the collected samples physical analyses, chemistries and microbiological were accomplished. Physically, an elevation was observed in the clay text, with the increase of the depth in the area cultivated with banana and in the forest natural pivot. In relation to the chemical attributes of the soil, the potential risks of salinity and of saturation for sodium seemingly are worthless. The handling practices reduced N and the total organic carbon in the soils of the areas under cultivation. With relationship to the microbiology of the soils, the carbon of the microbial biomass and the population of arbuscular mycorrhizal fungi were more elevated in the depth of 0-5cm of the soil. The basal breathing of the soil identified that the soils of the appraised areas have microbial when compared low activity the soils of the Cerrado. The activity and production of the arylsulphatase and of the acid phosphatase were stimulated possibly, for the competition of the anions H2PO4- and SO4- for the same ranches of adsorption in the coloides of the soil, in the banana areas and rotation corn and soy. The largest activity of the enzyme β-glucosidase happened in the cultivated areas, influenced by the amount and quality of the vegetable residue come back to the soil.

APA, Harvard, Vancouver, ISO, and other styles

32

Ara?jo, J?nior Jos? Medeiros de. "T?cnicas de intelig?ncia artificial para a gera??o din?mica de set points para uma coluna de destila??o." Universidade Federal do Rio Grande do Norte, 2007. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15157.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:54:59Z (GMT). No. of bitstreams: 1 JoseMAJ.pdf: 711051 bytes, checksum: 6bfbf1b93a8a49314295062e59672543 (MD5) Previous issue date: 2007-11-23
Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico
Artificial Intelligence techniques are applied to improve performance of a simulated oil distillation system. The chosen system was a debutanizer column. At this process, the feed, which comes to the column, is segmented by heating. The lightest components become steams, by forming the LPG (Liquefied Petroleum Gas). The others components, C5+, continue liquid. In the composition of the LPG, ideally, we have only propane and butanes, but, in practice, there are contaminants, for example, pentanes. The objective of this work is to control pentane amount in LPG, by means of intelligent set points (SP s) determination for PID controllers that are present in original instrumentation (regulatory control) of the column. A fuzzy system will be responsible for adjusting the SP's, driven by the comparison between the molar fraction of the pentane present in the output of the plant (LPG) and the desired amount. However, the molar fraction of pentane is difficult to measure on-line, due to constraints such as: long intervals of measurement, high reliability and low cost. Therefore, an inference system was used, based on a multilayer neural network, to infer the pentane molar fraction through secondary variables of the column. Finally, the results shown that the proposed control system were able to control the value of pentane molar fraction under different operational situations
No presente trabalho, aplicamos t?cnicas de intelig?ncia artificial em um sistema simulado de destila??o de petr?leo, mais especificamente em uma coluna debutanizadora. Nesse processo, o produto que chega ? coluna, conhecido como LGN, ? fracionado por meio de aquecimento. Os componentes mais leves s?o transformados em vapor, que v?o constituir o GLP (G?s Liquefeito de Petr?leo), enquanto as fra??es mais pesadas continuam l?quidas, sendo, comumente, chamadas de C5+. Na composi??o do GLP, idealmente, temos apenas propanos e butanos, por?m, na pr?tica, temos a presen?a de contaminantes, como, por exemplo, pentanos (ipentanos e n-pentanos). O objetivo do trabalho ? regular ? quantidade de pentano presente no GLP, por meio da determina??o inteligente dos sets points (SP) de controladores presentes na instrumenta??o original da coluna. Para isso ? utilizado um sistema fuzzy, que ser? respons?vel por ajustar os valores desses SP s, a partir da compara??o entre a fra??o molar do pentano na sa?da da planta (GLP) e a quantidade desejada. Optou-se por controlar apenas a fra??o molar de i-pentano, por esta ser, normalmente, maior que a fra??o molar do n-pentano, e ainda, devido ao fato de que ambas apresentam din?micas extremamente semelhantes em fun??o das condi??es de opera??o da coluna. Por?m, a fra??o molar de pentano, seja do i-pentano ou n-pentano, ? de dif?cil medi??o on-line devido a limita??es, como: longos intervalos de medi??o, pouca confiabilidade e alto custo. Por essa raz?o, foi utilizado um sistema de infer?ncia, constru?do a partir de uma rede neural de m?ltiplas camadas para inferir o percentual de i-pentano a partir de vari?veis secund?rias da coluna. Os resultados obtidos mostram que o sistema fuzzy conseguiu controlar o valor da fra??o molar do i-pentano para diversas situa??es, mostrando ser um sistema de controle avan?ado vi?vel e com um n?vel satisfat?rio de confiabilidade

APA, Harvard, Vancouver, ISO, and other styles

33

Huq, Kazi Mohammed Saidul. "Advanced energy efficient coordinated multi-point transmission for OFDMA." Doctoral thesis, Universidade de Aveiro, 2014. http://hdl.handle.net/10773/12880.

Full text

Abstract:

Doutoramento em Engenharia Eletrotécnica
The ever-growing energy consumption in mobile networks stimulated by the expected growth in data tra ffic has provided the impetus for mobile operators to refocus network design, planning and deployment towards reducing the cost per bit, whilst at the same time providing a signifi cant step towards reducing their operational expenditure. As a step towards incorporating cost-eff ective mobile system, 3GPP LTE-Advanced has adopted the coordinated multi-point (CoMP) transmission technique due to its ability to mitigate and manage inter-cell interference (ICI). Using CoMP the cell average and cell edge throughput are boosted. However, there is room for reducing energy consumption further by exploiting the inherent exibility of dynamic resource allocation protocols. To this end packet scheduler plays the central role in determining the overall performance of the 3GPP longterm evolution (LTE) based on packet-switching operation and provide a potential research playground for optimizing energy consumption in future networks. In this thesis we investigate the baseline performance for down link CoMP using traditional scheduling approaches, and subsequently go beyond and propose novel energy e fficient scheduling (EES) strategies that can achieve power-e fficient transmission to the UEs whilst enabling both system energy effi ciency gain and fairness improvement. However, ICI can still be prominent when multiple nodes use common resources with di fferent power levels inside the cell, as in the so called heterogeneous networks (Het- Net) environment. HetNets are comprised of two or more tiers of cells. The rst, or higher tier, is a traditional deployment of cell sites, often referred to in this context as macrocells. The lower tiers are termed small cells, and can appear as microcell, picocells or femtocells. The HetNet has attracted signiffi cant interest by key manufacturers as one of the enablers for high speed data at low cost. Research until now has revealed several key hurdles that must be overcome before HetNets can achieve their full potential: bottlenecks in the backhaul must be alleviated, as well as their seamless interworking with CoMP. In this thesis we explore exactly the latter hurdle, and present innovative ideas on advancing CoMP to work in synergy with HetNet deployment, complemented by a novel resource allocation policy for HetNet tighter interference management. As system level simulator has been used to analyze the proposed algorithm/protocols, and results have concluded that up to 20% energy gain can be observed.
O aumento do consumo de energia nas TICs e em particular nas redes de comunicação móveis, estimulado por um crescimento esperado do tráfego de dados, tem servido de impulso aos operadores m oveis para reorientarem os seus projectos de rede, planeamento e implementa ção no sentido de reduzir o custo por bit, o que ao mesmo tempo possibilita um passo signicativo no sentido de reduzir as despesas operacionais. Como um passo no sentido de uma incorporação eficaz em termos destes custos, o sistema móvel 3GPP LTE-Advanced adoptou a técnica de transmissão Coordenação Multi-Ponto (identificada na literatura com a sigla CoMP) devido à sua capacidade de mitigar e gerir Interferência entre Células (sigla ICI na literatura). No entanto a ICI pode ainda ser mais proeminente quando v arios n os no interior da célula utilizam recursos comuns com diferentes níveis de energia, como acontece nos chamados ambientes de redes heterogéneas (sigla Het- Net na literatura). As HetNets são constituídas por duas ou mais camadas de células. A primeira, ou camada superiora, constitui uma implantação tradicional de sítios de célula, muitas vezes referidas neste contexto como macrocells. Os níveis mais baixos são designados por células pequenas, e podem aparecer como microcells, picocells ou femtocells. A HetNet tem atra do grande interesse por parte dos principais fabricantes como sendo facilitador para transmissões de dados de alta velocidade a baixo custo. A investigação tem revelado at e a data, vários dos principais obstáculos que devem ser superados para que as HetNets possam atingir todo o seu potencial: (i) os estrangulamentos no backhaul devem ser aliviados; (ii) bem como sua perfeita interoperabilidade com CoMP. Nesta tese exploramos este ultimo constrangimento e apresentamos ideias inovadoras em como a t ecnica CoMP poder a ser aperfeiçoada por forma a trabalhar em sinergia com a implementação da HetNet, complementado ainda com uma nova perspectiva na alocação de recursos rádio para um controlo e gestão mais apertado de interferência nas HetNets. Com recurso a simulação a níível de sistema para analisar o desempenho dos algoritmos e protocolos propostos, os resultados obtidos concluíram que ganhos at e a ordem dos 20% poderão ser atingidos em termos de eficiência energética.

APA, Harvard, Vancouver, ISO, and other styles

34

Lourenção, Álvaro De Martino [UNESP]. "Uma proposta de modelo e método de otimização para sistemas de estoques multiprodutos." Universidade Estadual Paulista (UNESP), 2016. http://hdl.handle.net/11449/143762.

Full text

Abstract:

Submitted by ÁLVARO DE MARTINO LOURENÇÃO null (alvarodml@yahoo.com.br) on 2016-09-01T02:29:53Z No. of bitstreams: 1 dissertação final.pdf: 1977900 bytes, checksum: f021d291c786b9596621fda8c29bfa24 (MD5)
Approved for entry into archive by Ana Paula Grisoto (grisotoana@reitoria.unesp.br) on 2016-09-01T19:40:32Z (GMT) No. of bitstreams: 1 lourencao_am_me_bauru.pdf: 1977900 bytes, checksum: f021d291c786b9596621fda8c29bfa24 (MD5)
Made available in DSpace on 2016-09-01T19:40:32Z (GMT). No. of bitstreams: 1 lourencao_am_me_bauru.pdf: 1977900 bytes, checksum: f021d291c786b9596621fda8c29bfa24 (MD5) Previous issue date: 2016-07-04
A gestão de estoque pode ser considerada como um dos principais componentes do planejamento e controle da produção. Na literatura acadêmica, inúmeros modelos matemáticos são apresentados para a gestão de estoque, os quais se referem a diferentes aspectos relacionados a essa gestão. O desenvolvimento de modelos de estoque eficientes e a adoção de métodos de otimização adequados para resolução desses modelos são necessários para o suporte à tomada de decisão. Neste trabalho, propõe-se um novo modelo de estoque que considera múltiplos produtos e múltiplas restrições de recursos, explorando o conceito de ponto de reposição e revisão periódica. Este problema é formulado como um problema de otimização não linear inteiro misto. Explora-se para a resolução deste modelo, uma abordagem baseada no método de Branch and Bound com o método de pontos interiores para a resolução dos problemas da árvore de busca. Testes computacionais são realizados com o modelo proposto e o método de resolução adotado. Os resultados obtidos evidenciam os seus potenciais para trabalhar com sistemas de estoque multiprodutos com múltiplas restrições.
Inventory management can be considered as one of the main components of planning and production control. In the academic literature, numerous mathematical models are presented for the inventory management, which refer to different aspects related to such a management. The development of efficient inventory models and the adoption of appropriate optimization methods for solving these models are needed to support decision-making. In this work, we propose a new inventory model that considers multiple products and multiple resource constraints, exploring the concept of replacement point and periodic review. This problem is formulated as a mixed integer non-linear optimization problem. For solving this model, an approach based on Branch and Bound method with interior point method for solving the search tree problems is explored. Computational tests are performed with the proposed model and the resolution method adopted. The obtained results show their potential to work with multiproduct inventory systems with multiple constraints.

APA, Harvard, Vancouver, ISO, and other styles

35

Silva, Jair Araujo Lopes da. "A contribuição do sistema âncora em diferentes pontos de contato corporal sobre o controle da postura em idosos." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/17/17152/tde-21072016-151026/.

Full text

Abstract:

O aumento no número de idosos nos últimos anos trouxe impactos sociais e econômicos. O processo de envelhecimento e/ou patologias específicas trazem consigo perdas progressivas sensoriais, motoras e de processamento central que estão relacionadas com o aumento das quedas com o avanço da idade. Estas perdas predispõem o idoso a sofrer com limitações físicas de mobilidade, medo de cair ou mesmo sofrer com quedas. Este quadro evoca a necessidade de atenção especial à qualidade de vida dos idosos, com novas intervenções e programas de reabilitação física. Dentre essas novas abordagens para melhorar o funcionamento do controle postural, temos a adição de informação háptica que contribui para reduzir a oscilação corporal durante a manutenção da postura ereta. Uma das formas de adicionar informação háptica ao sistema de controle postural é pelo sistema âncora. Este é uma ferramenta não rígida que consiste de dois cabos maleáveis com 125g de massa repousando no solo e com a outra extremidade segura pelas mãos (âncora tradicional). Considerando que o toque leve em diferentes partes do corpo reduz a oscilação corporal, é possível, da mesma forma, que o uso do sistema âncora em diferentes partes do corpo seja efetivo. Portanto, o objetivo desse estudo foi avaliar o efeito do uso do sistema âncora em diferentes pontos de contato (antebraço e ombro) sobre a oscilação corporal de idosos durante a manutenção da postura ereta Trinta idosos participaram do presente estudo. Eles permaneceram na postura ereta com os pés na posição semi tandem sobre uma plataforma de força para a obtenção do deslocamento do centro de pressão (CP). Cinco condições experimentais foram realizadas: sem âncora, âncora tradicional, âncoras nas mãos fixadas com presilhas, âncoras nos antebraços fixadas com presilhas e âncoras nos ombros fixadas com presilhas. Baseada nos dados fornecidos pelo deslocamento do CP foram calculadas as variáveis: área da elipse, amplitude média de oscilação e velocidade média de oscilação. Os resultados mostraram uma redução da área da elipse e da amplitude média de oscilação na direção anteroposterior nas condições com as âncoras posicionadas nas mãos (tradicional e presilha) e antebraços em comparação a condição sem âncora. Os resultados apontaram ainda uma redução da velocidade média de oscilação na direção anteroposterior na condição de âncoras nos antebraços em comparação a condição sem âncora. Na direção mediolateral, a velocidade média de oscilação reduziu nas condições de âncora fixada nas mãos e antebraços em comparação a condição sem âncora. O uso do sistema âncora na região dos ombros não trouxe redução da oscilação corporal. Em conclusão, o sistema âncora reduziu a oscilação corporal quando o sistema âncora foi posicionado nos antebraços da mesma forma que quando foi fixado/seguro nas mãos. A melhora observada com o uso das âncoras parece não estar relacionada com a quantidade de receptores táteis no ponto de contato dos cabos das âncoras
The increase in the number of older adults in recent years has brought social and economic impacts. The process of aging and/or specific diseases carries progressive sensory, motor and central processing losses that are related to the increased rate of falls with increasing age. These losses predispose the elderly to suffer from physical mobility limitations, fear of falling or even falls. This scenario evokes the need for special attention to the quality of life for older adults, with new interventions and physical rehabilitation programs. Among these new approaches to improve the functioning of the postural control system, we have the addition of haptic information which helps to reduce body sway during maintenance of upright posture. One way to add haptic information to the postural control system is the anchor system. It consists of a non-rigid tool with two flexible cables with 125g mass resting on the ground and with the other end secured by the hands (traditional anchor). Since light touch in different body regions reduces body sway, it is possible, likewise, that the use of the anchor system in different parts of the body to be effective in reducing body sway. Therefore, the aim of this study was to evaluate the effect of using the anchor system in different points of contact (forearm and shoulder) on body sway of older adults during maintenance of upright posture Thirty older adults participated in this study. They stood upright on a force plate to obtain center of pressure displacement (CoP) with their feet in the semi tandem position. Five experimental conditions were carried out: no anchor, traditional anchor, anchors on the hands secured with clasps, anchors on the forearms secured with clasps and anchors on shoulders secured with clasps. Based on data provided by the CP displacement, the following variables were calculated: ellipse area, mean sway amplitude and mean sway velocity. The results showed a reduction in the area of the ellipse and in the mean sway amplitude (anteriorposterior direction) for conditions with anchors hold on the hands and forearms compared to the no anchor condition. The results also indicated a reduction in the mean sway velocity (anterior-posterior direction) with the anchors on the forearms compared to the no anchor condition. For the medial-lateral direction, the mean sway velocity reduced with the anchor on the hands and forearms compared to the no anchor condition. The use of the anchor system in the shoulder region did not reduce body sway. In conclusion, the use of the anchor system reduced body sway when it was placed on the forearms in the same way as when placed/secured on the hands. The improvement observed with the use of anchors does not seem to be related to the amount of tactile receptors in the point of contact of the anchor cables

APA, Harvard, Vancouver, ISO, and other styles

36

Batista, Rodrigo Lopes. "Radio resource allocation for coordinated multi-point systems." reponame:Repositório Institucional da UFC, 2011. http://www.repositorio.ufc.br/handle/riufc/10836.

Full text

Abstract:

BATISTA. R. L. Radio resource allocation for coordinated multi-point systems. 2011 74 f. Dissertação (Mestrado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2011.
Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-02-27T19:26:14Z No. of bitstreams: 1 2011_dis_rlbatista.pdf: 1984568 bytes, checksum: fb73d12e218f0bf5048212826227d5bc (MD5)
Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2015-03-04T15:49:40Z (GMT) No. of bitstreams: 1 2011_dis_rlbatista.pdf: 1984568 bytes, checksum: fb73d12e218f0bf5048212826227d5bc (MD5)
Made available in DSpace on 2015-03-04T15:49:40Z (GMT). No. of bitstreams: 1 2011_dis_rlbatista.pdf: 1984568 bytes, checksum: fb73d12e218f0bf5048212826227d5bc (MD5) Previous issue date: 2011-08-05
The International Telecommunications Union (ITU) established through the International Mobile Telecommunications (IMT)-Advanced a set of requirements for high performance of 4th Generation (4G) communication systems and, with the aim of meeting such requirements, 3rd Generation Partnership Project (3GPP) Long Term Evolution (LTE) is considering a set of enhancements, referred to as LTE-Advanced. In the LTE-Advanced context, Coordinated Multi-Point (CoMP) communication appears as a promising technology to boost system throughput and to allow for an efficient Radio Resource Allocation (RRA). CoMP systems promise very high performance in terms of spectral efficiency and coverage benefits when perfect Channel State Information (CSI) is available at the transmitter. However, perfect CSI is difficult to obtain in CoMP systems due to an increased number of channel parameters to be estimated at the receiver and to be fed back to the transmitter. So, the performance of such systems is compromised when the CSI is not perfectly known during CoMP processing, which is an important problem to be addressed. Space Division Multiple Access (SDMA) grouping algorithms are usually employed in order to find a suitable set of users for spatial multiplexing. The largest SDMA group is not always the best group in a given data transmission such that higher gains might be achieved by dynamically adjusting the SDMA group size. Besides, algorithms that balance the Signal to Interference-plus-Noise Ratio (SINR) among different links might ensure a certain level of link quality and so provide a more reliable communication for the scheduled users. This master thesis provides system-level analyses for RRA algorithms that exploit coordination in the downlink of CoMP systems to implement adaptive resource reuse and so improve system throughput. Herein, RRA strategies which consider dynamic SDMA grouping, joint precoding and power allocation for SINR balancing are studied in CoMP systems assuming imperfect CSI in order to obtain a better approximation with regard to the real-world implementations. It is shown through system-level analyses that quite high throughput gains are achieved through intelligent RRA. In conclusion, the results show that Sequential Removal Algorithms (SRAs) and SINR balancing provide system spectral efficiency gains. However, a critical degradation on the performance of these RRA strategies due to imperfect CSI is also shown.
A União Internacional para Telecomunicações (ITU) estabeleceu através da iniciativa para o Sistema Avançado Internacional de Telecomunicações Móveis (IMT-Advanced), um conjunto de requisitos de alto desempenho para os sistemas de comunicação de quarta geração (4G) e, com o objetivo de atender tais requisitos, a Evolução de Longo Prazo (LTE) do Projeto de Parceria para a Terceira Geração (3GPP) está considerando um conjunto de melhorias, referidas como LTE-Avançado. No contexto do LTE-Avançado, a comunicação multi-ponto coordenada (CoMP) aparece como uma tecnologia promissora para aumentar a vazão do sistema e permitir uma Alocação de Recursos de Rádio (RRA) eficiente. Os sistemas CoMP prometem alto desempenho em termos de eficiência espectral e benefícios de cobertura quando a Informação do Estado do Canal (CSI) perfeita está disponível no transmissor. No entanto, CSI perfeita é difícil de se obter em sistemas CoMP devido a um alto número de parâmetros de canal a serem estimados no receptor e enviados para o transmissor. Assim, o desempenho de tais sistemas é comprometido quando a CSI não é perfeitamente conhecida durante o processamento CoMP tal que esse é um problema importante a ser abordado. Algoritmos de agrupamento para Múltiplo Acesso por Divisão no Espaço (SDMA) geralmente são utilizados a fim de encontrar um conjunto adequado de usuários para multiplexação espacial. O maior grupo SDMA nem sempre é o melhor grupo em uma transmissão de dados tal que maiores ganhos podem ser obtidos ajustando dinamicamente o tamanho do grupo SDMA. Além disso, os algoritmos que balanceiam a Razão Sinal-Interferência mais Ruído (SINR) entre diferentes canais podem garantir um certo nível de qualidade de canal e assim proporcionar uma comunicação mais confiável para os usuários agrupados. Esta dissertação de mestrado fornece análises em nível sistêmico para algoritmos de RRA que exploram a coordenação no enlace direto de sistemas CoMP para implementar reuso adaptativo de recursos e assim melhorar o desempenho do sistema. São estudadas aqui estratégias de RRA em sistemas CoMP que consideram agrupamento SDMA dinâmico, precodificação e alocação de potência conjuntas para balanceamento de SINR, sendo assumida CSI imperfeita a fim de conseguir maior aproximação com relação às implementaçõs em cenários reais. É mostrado através de análises em nível sistêmico que ganhos de vazão bastante altos são alcançados através de RRA inteligente. Em conclusão, os resultados mostram que Algoritmos de Remoção Sequencial (SRAs) e de balanceamento de SINR proporcionam ganhos de eficiência espectral do sistema. No entanto, é também mostrada uma degradação crítica no desempenho dessas estratégias de RRA devido à CSI imperfeita.

APA, Harvard, Vancouver, ISO, and other styles

37

BARBOSA, Leopoldo Maurício Tavares. "Teoria dos Pontos Críticos e Sistemas Hamiltonianos." Universidade Federal de Campina Grande, 2007. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1190.

Full text

Abstract:

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-17T17:42:26Z No. of bitstreams: 1 LEOPOLDO MAURÍCIO TAVARES BARBOSA - DISSERTAÇÃO PPGMAT 2007..pdf: 712644 bytes, checksum: 6b24483b48b038e23d4ace377b04ece5 (MD5)
Made available in DSpace on 2018-07-17T17:42:27Z (GMT). No. of bitstreams: 1 LEOPOLDO MAURÍCIO TAVARES BARBOSA - DISSERTAÇÃO PPGMAT 2007..pdf: 712644 bytes, checksum: 6b24483b48b038e23d4ace377b04ece5 (MD5) Previous issue date: 2007-10
CNPq
Capes
Neste trabalho usamos métodos variacionais para mostrar a existência de solução fraca para dois tipos de problema. O primeiro trata-se de uma Equação Diferencial Ordinária. O segundo é referente ao sistema Hamiltoniano. *Para Visualisar as equações ou formulas originalmente escritas neste resumo recomendamos o downloado do arquivo completo.
In this work we use variational methods to show the existence of weak solutions for two types problems. The ﬁrst, is related with a following Ordinary Diﬀerential Equations. The second is relating at the Hamiltonian Systems. *To see the equations or formulas originally written in this summary we recommend downloading the complete file.

APA, Harvard, Vancouver, ISO, and other styles

38

Mondelo, González José María. "Contribution to the Study of Fourier Methods for Quasi-Periodical Functions and the Vicinity of the Collinear Libration Points." Doctoral thesis, Universitat de Barcelona, 2001. http://hdl.handle.net/10803/2106.

Full text

Abstract:

This works has been organized in three parts. The first (Chapter 1 to 5) is dedicated to the development and study of a procedure for the accurate computation of frequencies, as well ans the related Fourier coefficients, of a quasi-periodical funcition. The second part of the work (Chapters 6 to 7) is devoted to the study to the dynamics in the vicinity of the collinear equilibrium points of the three-dimensional RTBP fo the Earth-Moon mass parameter. The third part consists in several appendices, which give some additional results that have been taken apart from the main text in order to improve its readability.

APA, Harvard, Vancouver, ISO, and other styles

39

Dias, Alessandro da Silveira. "Aumentando a acurácia de predição de avaliação de sistemas de recomendação de vídeo com o uso de pontos de interesse." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2013. http://hdl.handle.net/10183/71271.

Full text

Abstract:

A cada dia aumenta o número de vídeos disponíveis no mundo. Por exemplo, há uma vasta quantidade de sites de vídeos disponíveis na Web e serviços de Vídeo Sob Demanda além de dispositivos que fazem a gravação de vídeos automaticamente, conhecidos como Personal Video Recorders, 24 horas por dia. Isso pode ocasionar um problema ao usuário: a sobrecarga de conteúdo em formato de vídeo. Uma das maneiras de se tratar tal problema consiste no uso de sistemas de recomendação, os quais filtram o conteúdo com o objetivo de entregar o que for mais interessante ao usuário. A abordagem típica utilizada pelos sistemas atuais consiste em um sistema de recomendação híbrido, i.e., que utiliza tanto filtragem baseada em conteúdo quanto filtragem colaborativa, minimizando os problemas que tais abordagens possuem individualmente. Adicionalmente, com o objetivo de melhorar a recomendação ou de criar novas formas de recomendação, têm sido apresentadas novas abordagens, tais como sistemas de recomendação utilizando dados de redes sociais, computação afetiva, tags, entre outros. Este trabalho tem como objetivo apresentar uma abordagem inovadora, a qual utiliza pontos de interesse em vídeo de usuários (ou seja, os segmentos dos vídeos que eles mais gostam ou que mais se interessam) para melhorar a acurácia de predição de sistemas de recomendação de vídeo que utilizam filtragem colaborativa baseados na abordagem usuário-usuário. Na abordagem proposta, os usuários participam de forma mais ativa e mais interativa ao marcarem seus pontos de interesse. Para avaliação de tal abordagem proposta foi realizada uma avaliação experimental em termos de acurácia de predição de avaliação; pela qual constatou-se que houve melhora na predição de avaliação do sistema de recomendação. Tal melhora está diretamente relacionada com o nível de participação das pessoas na marcação de pontos de interesse.
Every day the number of videos available in the world increases. For example, there is a vast amount of video sites available on the Web, Video On Demand services, as well as devices that records videos automatically, known as Personal Video Recorders, 24 hours a day. It may create a problem for the user: the overload of content in video format. One of the ways to treat such problem is the use of recommender systems, which filter the content in order to deliver what is most interesting to the user. The typical approach is to present a hybrid recommender system, i.e., that uses both contentbased filtering and collaborative filtering, minimizing the problems that these approaches have individually. Additionally, in order to improve the recommendation or to create new approaches of recommendation, has been given new approaches such as systems using data from social networks, affective computing, tags, etc. This paper aims to present an innovative approach, which uses points of interest (POI) in video of users (i.e., video segments best liked or most interested by them) to augment the prediction accuracy of video recommender systems with collaborative filtering based in the useruser approach. In the proposed approach, users participate more actively and more interactively to mark their points of interest. To evaluate this proposed approach an experimental evaluation was performed in terms of accuracy of ratings predictions; in which it was verified that there was an improvement in ratings prediction accuracy of the recommendation system. This improvement is directly related to the level of participation of people in marking points of interest.

APA, Harvard, Vancouver, ISO, and other styles

40

Coelho, Alessandro Fonseca Esteves. "Solução de sistemas lineares de grande porte usando variantes do método dos gradientes conjugados." [s.n.], 2011. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306759.

Full text

Abstract:

Orientadores: Aurélio Ribeiro Leite de Oliveira, Marta Ines Velazco Fontova
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica
Made available in DSpace on 2018-08-18T12:49:39Z (GMT). No. of bitstreams: 1 Coelho_AlessandroFonsecaEsteves_M.pdf: 2659631 bytes, checksum: fc1bec925179612ee07a4aaef7092d8a (MD5) Previous issue date: 2011
Resumo: Um método frequentemente utilizado para a solução de problemas de programação linear é o método de pontos interiores. Nestes métodos precisamos resolver sistemas lineares para calcular a direção de Newton a cada iteração. A solução desses sistemas consiste no passo de maior esforço computacional nos métodos de pontos interiores. A fatoração de Cholesky é a opção mais utilizada para resolver estes sistemas. Contudo, quando trabalhamos com problemas de grande porte, esta fatoração pode ser densa e torna-se inviável trabalhar com esses métodos. Nestes casos, uma boa opção consiste no uso de métodos iterativos precondicionados. Estudos anteriores utilizam o método dos gradientes conjugados precondicionado para obter uma solução destes sistemas. Particularmente, os sistemas originados dos métodos de pontos interiores, são, naturalmente, sistemas de equações normais. Porém, a versão padrão do método dos gradientes conjugados, não considera a estrutura de equações normais do sistema. Neste trabalho propomos a utilização de duas versões do método de gradientes conjugados precondicionado que consideram a estrutura de equações normais destes sistemas. Estas versões serão comparadas com a versão de gradientes conjugados precondicionada que não considera a estrutura de equações normais do sistema. Resultados numéricos com problemas de grande porte mostram que uma dessas versões é competitiva em relação à versão padrão
Abstract: An often used method for solving linear programming problems is the interior point method. In these methods we need to solve linear systems to compute the Newton search direction at each iteration. The solution of these systems is the procedure of most computational effort in interior point methods. The Cholesky factorization is the most often used method to solve these systems. However, when dealing with large scale problems, this factorization can be dense and it become impossible to apply such methods. In such cases, a good option is the use of preconditioned iterative methods. Previous studies have used the preconditioned conjugate gradient method to find the solution of these systems. Particularly, the systems arising from interior point methods are, naturally, systems of normal equations type. Nevertheless, the standard version of the conjugate gradient method, does not take into account the normal equations system structure. This study proposes the use of two versions of preconditioned conjugate gradient method considering the normal equations structure of these systems. These versions are compared with the preconditioned conjugate gradient version that does not consider that structure. Numerical results with large scale problems show that one of these versions is competitive with the standard one
Mestrado
Matematica Aplicada
Mestre em Matemática Aplicada

APA, Harvard, Vancouver, ISO, and other styles

41

Abud, Celso Vieira [UNESP]. "Propriedades de tranporte, caos e dissipação num sistema dinâmico não linear." Universidade Estadual Paulista (UNESP), 2010. http://hdl.handle.net/11449/91910.

Full text

Abstract:

Made available in DSpace on 2014-06-11T19:25:31Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-02-19Bitstream added on 2014-06-13T20:53:31Z : No. of bitstreams: 1 abud_cv_me_rcla.pdf: 2091525 bytes, checksum: f8a3b24150a2a718ad53ff294a3c6844 (MD5)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Procuramos nesta dissertação, entender e desenvolver estudos relacionados com o movimento de trajetórias caóticas num sistema dinâmico não linear. Esses estudos, envolvem uma abordagem sobre a quantificação de recorrências de trajetórias a uma região e sobre o transporte no espaço de fases. Nós escolhemos como modelo o bilhar anular em duas configurações: primeiramente com as fronteiras estáticas e posteriormente, uma dependência temporal (pulsante) e introduzida. Inicialmente reproduzimos os resultados sobre aprisionamentos para caso do bilhar estático, existentes na literatura, a fim de ganharmos experiência para estudar o sistema pulsante. Nesse caso, a topologia dos dois planos de fases possíveis constituídos de variáveis canônicas, apesar de bastante complexas, apresentaram resultados interessantes. Os principais resultados obtidos foram: a observação de regiões de aprisionamentos nos dois planos de fases conectadas entre si; a aceleração de Fermi caracterizada por vários regimes anômalos; ( uma explicação para a diferença desses regimes e dada por aprisionamentos no plano do bilhar) e a evolução do espaço de fases, dito geométrico, que tende a se recuperar conforme a velocidade relativa partícula-fronteira aumenta. Estudamos ainda os efeitos de dissipação no sistema pulsante através de colisões inelásticas. Os resultados indicam que qualquer dissipação desse tipo, independente da magnitude, é suficiente para saturar o crescimento de energia. Porém, em situações especiais essa mesma dissipação pode ser usada para que na média o sistema ganhe energia.
We reach in this dissertation, understand and develop studies related to the motion of the chaotic trajectories in a non-linear dynamical system. These studies require an approach on the quanti cation of the recurrences of trajectories to a region and on the transport in the phase space. We choose as a model the annular billiard with two con gurations: rstly with the static boundaries and next, a time-dependent (pulsating)is introduced. Initially we reproduced some results about stickiness in the static case in order to gain experience to study the pulsating system. In such case the topology of the two possible phase space of canonical variables, showed interesting results. The main results were: the observation of sticky regions in both connected phase spaces; the Fermi acceleration characterized by di erent anomalous regimes ( an explanation to this diferent regimes is given by the stickiness on the billiard plane) and the evolution of the phase space, called geometric, which tends to be recovered as the relative velocity particle-boundary increases. We also studied the e ects of dissipation in the pulsating system through inelastic collisions. The results show that this kind of dissipation, regardless of its magnitude, is enough to saturate the energy growth. However, in special situations the mean average of the system can increase with the introduction of inelastic collisions.

APA, Harvard, Vancouver, ISO, and other styles

42

Silva, Marcelo Anselmo Oseas da 1982. "Avaliação e caracterização de sistemas baseados em ponto nuvem visando a remoção de albumina do plasma sanguineo." [s.n.], 2008. http://repositorio.unicamp.br/jspui/handle/REPOSIP/248577.

Full text

Abstract:

Orientador: Marco Aurelio Zezzi Arruda
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-08-10T13:14:37Z (GMT). No. of bitstreams: 1 Silva_MarceloAnselmoOseasda_M.pdf: 1369513 bytes, checksum: 35e33836144e52420b1164f512aa97e9 (MD5) Previous issue date: 2008
Resumo: Nesta dissertação foi estudado o comportamento de partição da albumina, proteína presente em elevada concentração no plasma sangüíneo e que interfere na determinação em diversas técnicas analíticas. No estudo efetuado foram avaliados diferentes sistemas aquosos de duas fases, explorando um fenômeno denominado ponto nuvem. Tais sistemas empregam surfactantes, sob condições experimentais específicas, obtendo-se a formação de duas fases imiscíveis: uma rica e outra pobre em tensoativo. Observou-se que devido às características hidrofílicas da albumina, bem como à dimensão dos agregados formados, sua extração para fase rica em tensoativo apresenta valores de coeficiente de partição que não ultrapassam 0,66 o que representa uma eficiência de extração de ca.40%. A extração da proteína apresentou-se viável mediante a utilização de uma mistura composta por um tensoativo não-iônico (Triton® X-114), que possibilita a separação de fases em temperatura biocompatível, na presença de outro tensoativo iônico (dodecil sulfato de sódio - SDS), que atua favorecendo as interações eletrostáticas entre os agregados e as moléculas protéicas, desde que se trabalhe em meio com pH abaixo de 5,0. Análises de dicroísmo circular complementaram o estudo e fornecerem evidências de que a aplicação do sistema baseado na mistura composta por Triton® X-114 e SDS causava desnaturação parcial da proteína, o que não inviabilizou sua aplicação para extração da mesma em uma amostra real. A eficiência deste sistema foi, então, avaliada para a remoção de albumina em plasma sangüíneo. Um coeficiente de partição de 1,1 foi obtido, indicando que ca.51% das proteínas encontravam-se na fase rica em tensoativo. As amostras submetidas ao procedimento de extração também foram avaliadas frente à técnica de eletroforese em gel, sendo que a fase pobre em sufactante apresentou um perfil eletroforético mais detalhado quando comparada a uma amostra que não foi submetida ao procedimento proposto. Já na fase rica em surfactante, foi observada a presença majoritária de albumina e, em menor concentração, outras proteínas de grande abundância no plasma tais como imunoglobulina G e transferrina. Por fim, o método apresentou desempenho semelhante ao de sistemas disponíveis comercialmente para remoção de albumina, tal como o sistema da Millipore®, apresentado neste trabalho
Abstract: In this work the partition behavior of albumin was studied, which is found at high concentrations in blood plasma, which interferes in many analytical techniques determinations. The present study evaluated different aqueous two-phase systems, exploiting a phenomenon called of cloud point. These systems employ surfactants under specific experimental conditions, enabling formation of two immiscible phases: one rich and another poor in surfactant. Due to the hydrophilic characteristcs of albumin, as well as its aggregate dimensions, its extration to the surfactant rich phase presented partition coefficients lower than 0.66, representing and extraction efficiency of ca. 40%. Protein extraction was feasible by applying a mixture comprised of a nonionic surfactant (Triton® X-114), which allowed the phase separation at biocompatible temperatures, and an ionic one (sodium dodecylsufate - SDS), wich promotes eletrostatic interactions between aggregates and protein molecules, since the extraction procedure is carried out at pH 5.0. Circular dichroism analysis complemented the study and it showed that a system based on a Triton® X-114 and SDS mixture causes partial protein denaturation, but its application for a real sample is feasible. The efficiency of this was evaluated for albumin removal from blood plasma. A partition coefficient of 1.1 was obtained, indicating that ca. 51% of proteins were contained in the surfactant rich phase. Albumin depleted samples were submitted to gel eletrophoresis and the surfactant poor phase presented a more detailed gel electrophoresis profile, when compared with a crude sample. The surfactant rich phase reveled that albumin is the predominant protein present, but it is possible to find other highly concentrated plasmatic proteins including immunoglobulin G and transferrin. Finally, the method presented similar performance when compared with commercially available systems for albumin removal, such as the Millipore® system, wich was also evaluated in this work
Mestrado
Quimica Analitica
Mestre em Química

APA, Harvard, Vancouver, ISO, and other styles

43

Mestre, João Miguel do Couto. "Revisão de um sistema HACCP de uma plataforma de logística de distribuição de alimentos." Master's thesis, Universidade de Lisboa, Faculdade de Medicina Veterinária, 2018. http://hdl.handle.net/10400.5/15004.

Full text

Abstract:

Dissertação de Mestrado Integrado em Medicina Veterinária
O objetivo do trabalho consistiu na revisão do sistema HACCP do armazém de produtos refrigerados, mais especificamente de Laticínios, face a alterações nos procedimentos efetuados pela organização. A Logística pode definir-se como o processo de planeamento, implementação e controlo da circulação e armazenamento de produtos de forma a satisfazer as necessidades dos consumidores, não se limitando apenas ao comércio de produtos. A diferença entre a Logística de produtos alimentares e de outro tipo de produtos consiste nas condições de conservação utilizadas, no tipo e na integridade das embalagens e no seu transporte. Um sistema HACCP é um método sistemático e cientificamente comprovado para identificar perigos específicos e criar medidas para os controlar, de forma a garantir a segurança dos alimentos “do prado ao prato”. Qualquer sistema HACCP deve ser adaptado e atualizado mediante a situação de cada empresa e, também, quando se observam alterações na Operação realizada, que pode afetar a segurança dos alimentos. Nesta dissertação foram identificados os perigos para cada tipo de produto existente no armazém, referente aos Laticínios, bem como os associados a cada uma das etapas do processo logístico realizadas no armazém. Após uma análise de perigos qualitativa, procedeu-se à identificação de pontos críticos de controlo, não tendo sido identificados nenhum, face à simplicidade da Operação, ao correto cumprimento do código de boas práticas implementado, bem como ao histórico de monitorização e verificação do sistema HACCP da organização. A revisão e atualização do sistema de autocontrolo implementado permitem a garantia de que os produtos comercializados estão prontos a ser consumidos sem repercussões na saúde dos consumidores.
ABSTRACT - HACCP system revision of a Logistics platform for food distribution - The main goal of this work was to review the HACCP system of the warehouse containing chilled products, more specifically dairy products, because some procedures were changed by the organization. Logistics can be defined as the process of planning, implementation and control of the movements and storage of products in order to satisfy consumer’s needs and therefore not being limited to product selling. The difference between the Logistics of food products and other types of products is the importance of the preservation measures, the type and integrity of packaging used as well as transportation. A HACCP system is a systematic and scientifically proven method used to identify critical control points and create control measures for them to assure food safety “from farm to fork”. Any HACCP system must be adapted and updated considering each company’s situation, and also when there’s any changes in the whole operation, which may affect the safety of the products. In this dissertation the hazards for each type of dairy product found in the warehouse were identified, as well as the hazards related to the logistic steps processes in practice there. After a qualitative hazard analysis, the critical control points were identified, which in this case none was considered regarding the simplicity of the whole operation, the Good Practices of Hygiene correctly implemented and the historic behavior regarding monitoring and verification actions of the implemented HACCP system. The review and constant update of these systems allow us, with more certainty, to guarantee that the products sold are safe to be consumed without consequences to the consumers’ health.
N/A

APA, Harvard, Vancouver, ISO, and other styles

44

Branco, Paulo de Tarso Vilarinho Castelo. "Sistema de Energia ElÃtrica PortÃtil Usando Painel Fotovoltaico Para AplicaÃÃo em Notebooks." Universidade Federal do CearÃ, 2011. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=8112.

Full text

Abstract:

Este trabalho propÃe o desenvolvimento de uma fonte de alimentaÃÃo portÃtil para notebooks e outros equipamentos eletrÃnicos usando energia fotovoltaica. O sistema completo Ã composto por dois mÃdulos fotovoltaicos poli-cristalinos de 54W conectados em paralelo; um conversor boost clÃssico usado para controlar a carga das baterias de chumbo-Ãcido reguladas a vÃlvula (VRLA-Valve Regulated Lead Acid) de 40 Ah associadas em sÃrie formando um barramento de 24Vcc e um conversor boost-flyback que tem a funÃÃo de elevar a tensÃo do banco de baterias de 24Vcc a uma tensÃo de saÃda de 250Vcc. O conversor boost utiliza o algoritmo perturba e observa (P&O) para conseguir o ponto de mÃxima potÃncia dos mÃdulos fotovoltaicos. Por outro lado, no conversor boost-flyback que opera em modo de conduÃÃo contÃnua (MCC) Ã usada a tÃcnica de controle por corrente de pico. Para verificar o princÃpio de funcionamento da fonte de alimentaÃÃo de dois estÃgios, o primeiro estÃgio foi desenvolvido com potÃncia de saÃda de 120W e o segundo estÃgio com potÃncia de saÃda de 200W.
This study proposes the development of a portable power supply to feed notebook computers and other electronic equipment using photovoltaic energy. The complete system is composed by two polycrystalline photovoltaic modules of 54W in parallel, a classic boost converter that allows to work the photovoltaic modules in the maximum power point (MPP) and to charge two lead-acid valve regulated batteries (VRLA Valve-Regulated Lead Acid) of 40Ah associates in series to form a bus of 24Vcc, and a boost-flyback converter that has as function to raise the battery bank voltage of 24Vcc to output voltage of 250Vcc. The boost converter uses the algorithm perturb and observe (P&O) to track the maximum power point of the photovoltaic modules. On the other hand, in the boost-flyback converter operates in continuous conduction mode (CCM) using peak current mode control technique to regulate the output voltage. To verify the feasibility of the two stage power supply, was developed a prototype with first stage of 120W output power, and the second stage of 200W output power.

APA, Harvard, Vancouver, ISO, and other styles

45

Probst, Roy Wilhelm. "Metodos de pontos interiores aplicados ao problema de pre-despacho de um sistema hidrotermico." [s.n.], 2006. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306751.

Full text

Abstract:

Orientador: Aurelio Ribeiro Leite de Oliveira
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica
Made available in DSpace on 2018-08-06T01:00:20Z (GMT). No. of bitstreams: 1 Probst_RoyWilhelm_M.pdf: 553863 bytes, checksum: a1307892a77da1b88d7536dd9027a4c3 (MD5) Previous issue date: 2006
Resumo: Os métodos de pontos interiores primais-duais de trajetória central e preditor-corretor são desenvolvidos para o problema de minimização das perdas na geração e transmissão do pré-despacho DC de um sistema de potência hidrotêrmico e a estrutura matricial resultante explorada obtendo uma implementação eficiente. No pré-despacho de sistemas hidrotêrmicos, as usinas hidroelétricas têm uma meta a cumprir em um determinado dia, estabelecida pelo planejamento de longo prazo. As usinas termoelétricas, por sua vez, apresentam restrições de rampa, pois necessitam de um determinado tempo tanto para aumentar quanto para reduzir sua produção de energia. A implementação dos métodos de pontos interiores é testada em estudos de casos com sistemas IEEE
Abstract: The central path and the predictor-corrector primal-dual interior points methods are developed for the generation and transmission losses optimization problem for a DC power flow model in a hydrothermal power system and the resulting matrix structure is exploited leading to an efficient implementation. In short term hydrothermal scheduling, the hydro generating units need to satisfy daily targets, established by long-term scheduling models. The thermal generating units have ramp constraints because they need a certain amount of time to change de level of power delivery. Case studies with the developed interior point implementation for IEEE power systems are presented.
Mestrado
Pesquisa Operacional
Mestre em Matemática Aplicada

APA, Harvard, Vancouver, ISO, and other styles

46

Casacio, Luciana 1983. "Aperfeiçoamento de precondicionadores para solução de sistemas lineares dos métodos de pontos interiores." [s.n.], 2015. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260682.

Full text

Abstract:

Orientadores: Christiano Lyra Filho, Aurelio Ribeiro Leite de Oliveira
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação
Made available in DSpace on 2018-08-27T01:38:37Z (GMT). No. of bitstreams: 1 Casacio_Luciana_D.pdf: 3240577 bytes, checksum: f49bb4444bbbfacf0559d3b88d8feee5 (MD5) Previous issue date: 2015
Resumo: A solução de problemas de otimização linear através de métodos de pontos interiores envolve a solução de sistemas lineares. Esses sistemas quase sempre possuem dimensões elevadas e alto grau de esparsidade em aplicações reais. Para solução, tipicamente são realizadas operações algébricas que os reduzem a duas formulações mais simples: uma delas, conhecida por "sistema aumentado", envolve matrizes simétricas indefinidas e geralmente esparsas; a outra, denominada "sistema de equações normais", usa matrizes de menor dimensão, simétricas e definidas positivas. A solução dos sistemas lineares é a fase que requer a maior parte do tempo de processamento dos métodos de pontos interiores. Consequentemente, a escolha dos métodos de solução é de extrema importância para que se tenha uma implementação eficiente. Normalmente, aplicam-se métodos diretos para a solução como, por exemplo, a fatoração de Bunch-Parllett ou a fatoração de Cholesky. No entanto, em problemas de grande porte, o uso de métodos diretos torna-se desaconselhável, por limitações de tempo e memória. Nesses casos, abordagens iterativas se tornam mais atraentes. O sucesso da implementação de métodos iterativos depende do uso de bons precondicionadores, pois a matriz de coeficientes torna-se muito mal condicionada, principalmente próximo da solução ótima. Uma alternativa para tratar o problema de mal condicionamento é o uso de abordagens híbridas com duas fases: a fase I utiliza um precondicionador para o sistema de equações normais construído com informações de fatorações incompletas, denominado fatoração controlada de Cholesky; a fase II, utilizada nas últimas iterações, adota o precondicionador separador desenvolvido especificamente para sistemas mal condicionados. O trabalho propõe um novo critério de ordenamento das colunas para construção do precondicionador separador, que preserva a estrutura esparsa da matriz de coeficientes original. Os resultados teóricos desenvolvidos mostram que a matriz precondicionada tem o número de condição limitado quando o ordenamento proposto é adotado. Experimentos computacionais realizados com todos os problemas da biblioteca NETLIB mostram que a abordagem é competitiva com métodos diretos e que o número de condição da matriz precondicionada é muito menor do que o da matriz original. Foram também realizadas comparações com a abordagem híbrida anterior, baseada em precondicionadores que reduzem a esparsidade do sistema de equações. Esses experimentos confirmaram o bom desempenho da metodologia em relação ao número de iterações dos métodos de pontos interiores, aos tempos computacionais e à qualidade das soluções. Esses benefícios foram obtidos com a preservação da esparsidade dos sistemas de equações, o que destaca a adequação da abordagem proposta para a solução de problemas de grande porte
Abstract: The solution of linear optimization problems through interior point methods involves the solution of linear systems. These systems often have high dimensions and high sparsity degree, specially in real applications. Typically algebraic operations are performed to reduce the systems in two simpler formulations: one of them is known as the augmented system, and the other one, referred as normal equation systems, has a smaller dimension matrix which is symmetric positive definite. The solution of linear systems is the interior point methods step that requires most of the processing time. Consequently, the choice of the solution methods are extremely important in order to have an efficient implementation. Usually, direct methods are applied for solving these systems as, for example, Bunch-Parllett factorization or Cholesky factorization. However, in large scale problems, the use of direct methods becomes discouraging by limitations of time and memory. In such cases, iterative approaches are more attractive. The success of iterative method approaches depends on good preconditioners once the coefficient matrix becomes very ill-conditioned, especially close to an optimal solution. An alternative to treat the problem of ill conditioning is to use hybrid approaches with two phases: phase I uses a preconditioner for the normal equation systems built with incomplete factorizations information, called controlled Cholesky factorization; phase II, used in the final iterations, adopts the splitting preconditioner, which was developed specifically for such ill conditioned systems. This work proposes a new ordering criterion for the columns of the splitting preconditioner that preserves the sparse structure of the original coefficient matrix. Theoretical results show that the preconditioned matrix has a limited condition number when the proposed idea is adopted. Computational experiments performed with all NETLIB problems show that the approach is competitive with direct methods and the condition number of the preconditioned matrix is much smaller than the original matrix. Comparisons are also performed with the previous hybrid approach. These experiments confirm the good performance of the methodology. The final number of iterations, processing time and quality of solutions of interior point methods are suitable. These benefits are obtained preserving the sparse structure of the systems, which highlights the suitability of the proposed approach for large scale problems
Doutorado
Automação
Doutora em Engenharia Elétrica

APA, Harvard, Vancouver, ISO, and other styles

47

Arruda, Alexandre Matos. "Um sistema infinitário para a lógica de menor ponto fixo." reponame:Repositório Institucional da UFC, 2007. http://www.repositorio.ufc.br/handle/riufc/16927.

Full text

Abstract:

ARRUDA, Alexandre Matos. Um sistema infinitário para a lógica de menor ponto fixo. 2007. 91 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Departamento de Computação, Fortaleza-CE, 2007.
Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-20T15:28:27Z No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5)
Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-20T15:29:23Z (GMT) No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5)
Made available in DSpace on 2016-05-20T15:29:23Z (GMT). No. of bitstreams: 1 2007_dis_amarruda.pdf: 427889 bytes, checksum: b0a54f14f17ff89b515a4101e02f5b58 (MD5) Previous issue date: 2007
The notion of the least fixed-point of an operator is widely applied in computer science as, for instance, in the context of query languages for relational databases. Some extensions of FOL with _xed-point operators on finite structures, as the least fixed-point logic (LFP), were proposed to deal with problem problems related to the expressivity of FOL. LFP captures the complexity class PTIME over the class of _nite ordered structures. The descriptive characterization of computational classes is a central issue within _nite model theory (FMT). Trakhtenbrot's theorem, considered the starting point of FMT, states that validity over finite models is not recursively enumerable, that is, completeness fails over finite models. This result is based on an underlying assumption that any deductive system is of finite nature. However, we can relax such assumption as done in the scope of proof theory for arithmetic. Proof theory has roots in the Hilbert's programme. Proof theoretical consequences are, for instance, related to normalization theorems, consistency, decidability, and complexity results. The proof theory for arithmetic is also motivated by Godel incompleteness theorems. It aims to o_er an example of a true mathematically meaningful principle not derivable in first-order arithmetic. One way of presenting this proof is based on a definition of a proof system with an infinitary rule, the w-rule, that establishes the consistency of first-order arithmetic through a proof-theoretical perspective. Motivated by this proof, here we will propose an in_nitary proof system for LFP that will allow us to investigate proof theoretical properties. With such in_nitary deductive system, we aim to present a proof theory for a logic traditionally defined within the scope of FMT. It opens up an alternative way of proving results already obtained within FMT and also new results through a proof theoretical perspective. Moreover, we will propose a normalization procedure with some restrictions on the rules, such this deductive system can be used in a theorem prover to compute queries on relational databases.
A noção de menor ponto-fixo de um operador é amplamente aplicada na ciência da computação como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensões da Lógica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lógica de menor ponto-fixo (LFP)2, foram propostas para lidar com problemas relacionados á expressividade de FOL. A LFP captura as classes de complexidade PTIME sobre a classe das estruturas finitas ordenadas. A caracterização descritiva de classes computacionais é uma abordagem central em Teoria do Modelos Finitos (FMT)3. O teorema de Trakhtenbrot, considerado o ponto de partida para FMT, estabelece que a validade sobre modelos finitos não é recursivamente enumerável, isto é, a completude falha sobre modelos finitos. Este resultado é baseado na hipótese de que qualquer sistema dedutivo é de natureza finita. Entretanto, nos podemos relaxar tal hipótese como foi feito no escopo da teoria da prova para aritmética. A teoria da prova tem raízes no programa de Hilbert. Conseqüências teóricas da noção de prova são, por exemplo, relacionadas a teoremas de normalização, consistência, decidibilidade, e resultados de complexidade. A teoria da prova para aritmética também é motivada pelos teoremas de incompletude de Gödel, cujo alvo foi fornecer um exemplo de um princípio matemático verdadeiro e significativo que não é derivável na aritmética de primeira-ordem. Um meio de apresentar esta prova é baseado na definição de um sistema de prova com uma regra infinitária, a w-rule, que estabiliza a consistência da aritmética de primeira-ordem através de uma perspectiva de teoria da prova. Motivados por esta prova, iremos propor aqui um sistema infinitário de prova para LFP que nos permitirá investigar propriedades em teoria da prova. Com tal sistema dedutivo infinito, pretendemos apresentar uma teoria da prova para uma lógica tradicionalmente definida no escopo de FMT. Permanece aberto um caminho alternativo de provar resultados já obtidos com FMT e também novos resultados do ponto de vista da teoria da prova. Além disso, iremos propor um procedimento de normalização com restrições para este sistema dedutivo, que pode ser usado em um provador de teoremas para computar consultas em banco de dados relacionais

APA, Harvard, Vancouver, ISO, and other styles

48

Silva, Lino Marcos da 1978. "Modificações na fatoração controlada de Cholesky para acelerar o precondicionamento de sistemas lineares no contexto de pontos interiores." [s.n.], 2014. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306743.

Full text

Abstract:

Orientador: Aurelio Ribeiro Leite de Oliveira
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica
Made available in DSpace on 2018-08-25T19:56:24Z (GMT). No. of bitstreams: 1 Silva_LinoMarcosda_D.pdf: 2297954 bytes, checksum: 2213b987c2753edec9152998b30b7c74 (MD5) Previous issue date: 2014
Resumo: O método de pontos interiores para programação linear resolve em poucas iterações problemas de grande porte. No entanto, requer a cada iteração a resolução de dois sistemas lineares, os quais possuem a mesma matriz de coeficientes. Essa etapa se constitui no passo mais caro do método por aumentar consideravelmente o tempo de processamento e a necessidade de armazenamento de dados. Reduzir o tempo de solução dos sistemas lineares é, portanto, uma forma de melhorar o desempenho do método. De um modo geral, problemas de programação linear de grande porte possuem matrizes esparsas. Uma vez que os sistemas lineares a serem resolvidos são simétricos positivos definidos, métodos iterativos como o método dos gradientes conjugados precondicionado podem ser utilizados na resolução dos mesmos. Além disso, fatores de Cholesky incompletos podem ser utilizados como precondicionadores para o problema. Por outro lado, fatorações incompletas podem sofrer falhas na diagonal durante o processo de fatoração, e quando tais falhas ocorrem uma correção é efetuada somando-se um valor positivo aos elementos da diagonal da matriz do sistema linear e a fatoração da nova matriz é reiniciada, aumentando dessa forma o tempo de precondicionamento, quer seja devido a reconstrução do precondicionador, quer seja devido a perda de qualidade do mesmo. O precondicionador fatoração controlada de Cholesky tem um bom desempenho nas iterações iniciais do método de pontos interiores e tem sido importante nas implementações de abordagens de precondicionamento híbrido. No entanto, sendo uma fatoração incompleta, o mesmo não está livre da ocorrência de falhas no cálculo do pivô. Neste estudo propomos duas modificações à fatoração controlada de Cholesky a fim de evitar ou diminuir o número de reinícios da fatoração das matrizes diagonalmente modificadas. Resultados computacionais mostram que a técnica pode reduzir significativamente o tempo de resolução de certas classes de problemas de programação linear via método de pontos interiores
Abstract: The interior point method solves large linear programming problems in few iterations. However, each iteration requires computing the solution of one or more linear systems. This constitutes the most expensive step of the method by greatly increasing the processing time and the need for data storage. According to it, reducing the time to solve the linear system is a way of improving the method performance. In general, large linear programming problems have sparse matrices. Since the linear systems to be solved are symmetric positive definite, iterative methods such as the preconditioned conjugate gradient method can be used to solve them. Furthermore, incomplete Cholesky factor can be used as a preconditioner to the problem. On the other hand, breakdown may occur during incomplete factorizations. When such failure occur, a correction is made by adding a positive number to diagonal elements of the linear system matrix and the factorization of the new matrix is restarted, thus increasing the time of preconditioning, either due to computing the preconditioner, or due to loss of its quality. The controlled Cholesky factorization preconditioner performs well in early iterations of interior point methods and has been important on implementations of hybrid preconditioning approaches. However, being an incomplete factorization, it is not free from faulty pivots. In this study we propose two modifications to the controlled Cholesky factorization in order to avoid or decrease the refactoring diagonally modified matrices number. Computational results show that the proposed techniques can significantly reduces the time for solving linear programming problems by interior point method
Doutorado
Matematica Aplicada
Doutor em Matemática Aplicada

APA, Harvard, Vancouver, ISO, and other styles

49

Forte, Cleberson Eugenio. "Identificação de pontos robustos em marcadores naturais e aplicação de metodologia baseada em aprendizagem situada no desenvolvimento de sistemas de realidade aumentada." Universidade Presbiteriana Mackenzie, 2015. http://tede.mackenzie.br/jspui/handle/tede/1528.

Full text

Abstract:

Made available in DSpace on 2016-03-15T19:38:53Z (GMT). No. of bitstreams: 1 CLEBERSON EUGENIO FORTE.pdf: 2993506 bytes, checksum: e8e990b2681adb61a5be14b6e6282431 (MD5) Previous issue date: 2015-08-07
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
In the past, the Augmented Reality (AR) required advanced technologies in special devices for interaction and visualization. Nowadays, with the emergence of the mobile devices it has become common the usage of these tools in the development of AR systems applied to various purposes, including education, using natural markers. As the quality of images captured by mobile devices has increased the number of detected feature points has increased also, which ultimately hampers, or even prevents the technique to be used in applications, which run in real time. In addition, it becomes clear the necessity of proposing methodologies to be used in the development of educational applications using AR systems in order to improve the user s experience as well as the longevity of these applications, adding elements based on educational theories. The technique presented in this work determine illumination robust feature points, in order to reduce the time required to match high-resolution images. Additionally, the research also provides a conceptual framework methodology that, based on situated learning theory, combines the educational and technological aspects related to the context of developing mobile AR applications. Based on the experiments, it is possible to say that the technique using robust feature points saves about 70% in the processing time for matching high resolution images.
No passado, a Realidade Aumentada (RA) requeria a tecnologia avançada de dispositivos especiais de interação e de visualização. Atualmente, com o surgimento de dispositivos móveis tornou-se comum o uso destas ferramentas no desenvolvimento de sistemas de RA aplicados aos mais diversos fins, dentre eles a educação, utilizando marcadores naturais. Com o aumento na qualidade das imagens captadas pelos dispositivos móveis, preocupa o fato de que, quanto melhor esta qualidade, mais pontos de interesse tendem a ser detectados para o reconhecimento dos marcadores naturais, o que, em última instância, dificulta ou mesmo impede que a técnica seja utilizada em aplicações que exijam funcionamento em tempo real. Soma-se a isto a constatação da necessidade de proposição de metodologias a serem empregadas no desenvolvimento de aplicações educacionais usando RA, visando tanto a melhoria da experiência do usuário quanto à longevidade de utilização destas aplicações, por meio da incorporação de elementos baseados em teorias educacionais. A técnica proposta neste trabalho para determinação de pontos de interesse robustos à variação de iluminação visa diminuir o tempo necessário para a correspondência entre imagens em alta definição. A pesquisa indica também uma metodologia no formato de framework conceitual, que, baseada na teoria de aprendizagem situada, correlaciona os aspectos educacionais e tecnológicos próprios ao contexto do desenvolvimento de aplicações de RA móvel. Com base nos experimentos realizados, é possível observar que a técnica que utiliza os pontos robustos, representa economia de, aproximadamente, 70% no tempo necessário para a correspondência entre imagens em alta definição.

APA, Harvard, Vancouver, ISO, and other styles

50

Pena, Caio Augusto de Carvalho. "Estudo global de sistemas polinomiais planares no disco de Poincaré." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/55/55135/tde-04042016-102036/.

Full text

Abstract:

Dado um sistema diferencial no plano, muito se questiona sobre o comportamento de suas soluções. Nas vizinhanças dos pontos singulares existem ferramentas que nos indicam o tipo e a estabilidade estrutural de cada um deles; são as chamadas formas normais. No entanto, o interesse vai mais além do conhecimento local das soluções em cada singularidade. Nesse trabalho apresentamos algumas ferramentas clássicas da teoria qualitativa das equações diferenciais ordinárias empregadas na investigação global dos campos de vetores polinomiais planares e as empregamos na investigação de duas famílias paramétricas de campos quadráticos encontradas no estudo dos campos com hipérboles invariantes. Dentre as ferramentas estudadas destacamos a classificação local das soluções em pontos singulares elementares e semi-elementares e a técnica de compactificação de Poincaré.
Given a planar differential system, many questions are raised about the behavior of their solutions. In the neighborhood of singular points there exist many tools which indicate their type and their structural stability; they are known as normal forms. However, the interest goes beyond the local behavior in the neighborhood of each singularity. In this dissertation we present some classical tools from the qualitative theory of ordinary differential equations which are usually applied to the global investigation of planar polinomial vector fields and we apply them to the investigation of two parametric families of quadratic fields from the study of the vector fields with invariant hyperbolas. Among the studied tools we highlight the local classification of the solutions around elementary and semi-elementary singular points and the technique known as Poincarés compactification.

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Pointer Sisters'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles