Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-09-30T13:50:57Z No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Dissertacao_EstrategiaIdentificacaoParametrica.pdf: 3930518 bytes, checksum: cbedeb53e9ebe153958da193cd483ed0 (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-09-30T16:50:50Z (GMT) No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Dissertacao_EstrategiaIdentificacaoParametrica.pdf: 3930518 bytes, checksum: cbedeb53e9ebe153958da193cd483ed0 (MD5) / Made available in DSpace on 2014-09-30T16:50:50Z (GMT). No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Dissertacao_EstrategiaIdentificacaoParametrica.pdf: 3930518 bytes, checksum: cbedeb53e9ebe153958da193cd483ed0 (MD5) Previous issue date: 2014 / Os sistemas do tipo correia transportadora, são sistemas essenciais para grandes empresas, embora este equipamento apresente um elevado grau de criticidade, de modo que uma parada não planejada do mesmo, pode gerar perdas imensas ou até mesmo a parada de todo o processo produtivo. Tendo em vista a criticidade do equipamento, torna-se necessário realizar a monitoração adequada do mesmo e detectar com maior antecedência possível a ocorrência de alguma falta ocorrida no sistema. Objetivando reduzir as paradas não planejadas, investiga-se nesta dissertação a modelagem de um sistema do tipo correia transportadora com a finalidade de uso no monitoramento e diagnóstico de faltas neste tipo de sistema. Primeiramente é discutido um modelo fenomenológico do processo, o qual é baseado na aplicação das leis da mecânica e considerando-se os diversos tipos de força de oposição ao movimento de uma correia transportadora. Os principais parâmetros do transportador foram estimados utilizando-se técnicas de identificação baseadas em Mínimos Quadrados Não Recursivos. Em seguida, foi desenvolvido e implementado um algoritmo de detecção de faltas utilizando a teoria de análise intervalar, de modo que possibilite detectar condições inadequadas de funcionamento. Com o intuito de avaliar o desempenho do algoritmo proposto foi projetado e construído um protótipo que emula as condições operacionais típicas de um sistema real do tipo correia transportadora. Os resultados obtidos experimentalmente, confirmam o bom desempenho da metodologia proposta. / Belt conveyor systems are essential for large companies, even though this equipment has a great deal of importance that makes its non-planned stop can generate huge amounts of losses or even the stall of the whole production process. Having this importance in mind it becomes necessary to realize the adequate monitoring of the system and detect with a larger prior notice the occurrence of some fault in the system. In an effort to reduce the unforeseen stop, this dissertation investigates a modeling of a belt conveyor system. At first a phenomenological model of the process is discussed based on the mechanical laws and considering the diverse types of movement opposition force throughout the belt conveyor. The main parameters of a belt conveyor belt where estimated through the non-recursive mean square. In sequence a fault detection algorithm was elaborated using the interval analysis theory, in a way that its possible to detect inadequate operation conditions. With the intent to evaluate the performance of the proposed algorithm a prototype that emulates the tipical operation of a conveyor belt was designed. The results were obtained experimentally, that confirms the great performance of the proposed methodology.

El sistema de les marques s'enquadra dins del camp de l'anàlisi intervalar modal. En aquest context la tesi aporta un estudi de les operacions lineals, de la seva semàntica i sobretot de la seva operativitat quan les operacions es fan en un context no exacte com en el cas de les aritmètiques digitals. Aquest estudi de la operativitat conclou amb la necessitat d'establir un nou sistema intervalar que resolgui la problemàtica de la truncació en les operacions lineals, sistema que a la vegada resoldria el problema de la interpretació semàntica quan una mateixa variable apareix amb doble modalitat.El sistema que ens resol aquesta situació l'hem anomenat sistema de les marques i el mètode utilitzat ha sigut considerar els elements de qualsevol escala digital com intervals d'indiscernibilitat al voltant d'un punt: les marques.Sobre el conjunt de les marques es refineixen les relacions d'igualtat i desigualtat i es fa un estudi de les operacions elementals entre marques i també de la semàntica que es desprén de les operacions. El fet de poder considerar els elements de qualsevol escala digital com un interval d'indiscernibilitat ens ha permès també, que poguessim considerar qualsevol element d'una escala de mesura com una marca i que aquest nou sistema ens permetés de representar de forma fiable aquests elements.A la vegada obrim la porta a un nou tractament intervalar: el de la indiscernibilitat. Aquest nou tractament complementa la teoria intervalar modal.Finalment s'ha completat el conjunt dels intervals modals considerant que els seus extrems podíen ser marques, construint els que hem anomenat intervals de marques, dels que n'hem estudiat les relacions i la seva operativitat.Amb els intervals de marques es resol el problema que ens plantejava el context lineal i a la vegada ens obre la possibilitat d'efectuar els càlculs intervalars sense els problemes habituals que comporta la truncació.

Made available in DSpace on 2014-12-17T15:47:47Z (GMT). No. of bitstreams: 1 JoseFVS.pdf: 404321 bytes, checksum: 4e0ffed231c4c23b63bb8f6830619c82 (MD5) Previous issue date: 2007-11-30 / This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem / Este trabalho apresenta JFloat, uma implementa??o de software do padr?o IEEE-754 de aritm?tica de ponto flutuante bin?ria. JFloat foi constru?da para prover algumas caracter?sticas n?o implementadas em Java, especificamente o suporte ao arredondamento direcionado. Esta caracter?stica ? de grande import?ncia para o prosseguimento do projeto Java-XSC, em desenvolvimento por esta linha de pesquisa. Apesar de programas escritos em Java, a princ?pio, serem port?veis para qualquer arquitetura ao usar opera??es de ponto flutuante, principalmente porque IEEE-754 especifica que programas deveriam ter precisamente o mesmo comportamento em toda configura??o, observou-se que programas que usam tipos de ponto flutuantes nativos de Java podem ser dependentes da m?quina e do sistema operacional. JFloat tamb?m se apresenta como uma poss?vel solu??o para este problema

Made available in DSpace on 2014-12-17T15:48:02Z (GMT). No. of bitstreams: 1 SamaraPCM.pdf: 423447 bytes, checksum: 456d500c5d740d1624cc15f51c602aa1 (MD5) Previous issue date: 2006-05-19 / The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization / O uso do tipo intervalar em v?rias ?reas favorece a id?ia de se ter uma estrutura b?sica reutiliz?vel, ou seja, um construtor intervalar que seja aplicado a um tipo de dados para se obter os intervalos desse tipo. Como um intervalo, intuitivamente ? o conjunto de elementos que est?o entre dois extremos, sua constru??o presup?e a no??o de ordem, e portanto ? razo?vel que este construtor trabalhe sobre tipos munidos de uma ordem parcial. Por outro lado, como o que se quer ? operar com intervalos de objetos de um certo tipo como se opera com esses objetos, ent?o tamb?m ? razo?vel querer que as propriedades alg?bricas desses objetos sejam preservadas no seu tipo intervalar. Assim, o construtor intervalar fornece uma fundamenta??o te?rica para o tipo intervalo parametrizado, ou seja, intervalos cujo par?metro ? generalizado podendo ser, por exemplo, n?meros reais, complexos, etc. A aplica??o do intervalo em certas estruturas alg?bricas nem sempre garante a preserva??o de suas caracter?sticas, por exemplo, quando se trabalha com intervalos de n?meros reais, seria conveniente que estes pudessem se comportar como se fossem os reais. Isto n?o acontece pois os reais satisfazem as propriedades alg?bricas de corpo, j? os intervalos de reais n?o (por exemplo, n?o suporta a propriedade distributiva). Para superar esta dificuldade Santiago introduziu a teoria da igualdade local numa forma de enfraquecer a no??o de igualdade forte fazendo com que propriedades satisfeitas localmente sejam relevantes, propriedades estas que antes poderiam ser descartadas. A generaliza??o da aritm?tica intervalar prop?e a aplica??o do construtor intervalar em estruturas alg?bricas ordenadas e enfraquecidas pela igualdade local, objetivando a manuten??o de suas propriedades alg?bricas. Como os intervalos s?o importantes em aplica??es que trabalhem com dados cont?nuos, ? interessante descrever esta teoria usando uma linguagem de especifica??o que permita o desenvolvimento de sistemas computacionais que usem tipos intervalares de modo disciplinado, confi?vel e seguro. Atualmente, as linguagens de especifica??es alg?bricas, que se baseiam em modelos matem?ticos, t?m sido muito usadas para este proposito. Dentre as v?rias linguagens deste tipo existentes, foi escolhida CASL (Common Algebraic Specification Language) por conter diversas caracter?sticas relevantes para especifica??o do tipo intervalar parametrizado como, por exemplo, admitir parametriza??o e parcialidade

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-16T22:30:55Z No. of bitstreams: 1 AmandaSoaresFelismino_DISSERT.pdf: 1932768 bytes, checksum: e56122cb8f4fe9966c79dd1cada11d94 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-08-23T22:09:58Z (GMT) No. of bitstreams: 1 AmandaSoaresFelismino_DISSERT.pdf: 1932768 bytes, checksum: e56122cb8f4fe9966c79dd1cada11d94 (MD5) / Made available in DSpace on 2016-08-23T22:09:58Z (GMT). No. of bitstreams: 1 AmandaSoaresFelismino_DISSERT.pdf: 1932768 bytes, checksum: e56122cb8f4fe9966c79dd1cada11d94 (MD5) Previous issue date: 2015-11-20 / Introdu??o: A Reabilita??o Card?aca (RC) tem importante efeito na mortalidade e morbidade dos pacientes com insufici?ncia card?aca (IC) cr?nica, sendo o exerc?cio f?sico uma alternativa para tratamento desse paciente. O tipo de exerc?cio mais estudado para alcan?ar o condicionamento cardiovascular ? o treinamento f?sico cont?nuo. Recentemente t?m-se estudado os efeitos do treinamento intervalar com alta intensidade de exerc?cio, por?m ainda n?o h? consenso sobre a dose e tipo ideal de exerc?cio para esse paciente. O objetivo do presente ensaio cl?nico foi avaliar os efeitos do treinamento aer?bico cont?nuo vs intervalado na capacidade aer?bia e qualidade de vida em pacientes com IC cr?nica. M?todos e Resultados: Dezoito pacientes com IC cr?nica com tratamento medicamentoso otimizado (m?dia de 44,7?13,2 anos; 35,2?8,9% de Fra??o de eje??o de ventr?culo esquerdo [FEVE] e de VO2pico de 20,6?5,3ml/kg/min) foram randomizados em: Grupo Treinamento Intervalado (GTI - 85% da frequ?ncia card?aca de reserva - FCR), Grupo Treinamento Cont?nuo (GTC - 60% da FCR), realizados 3 vezes por 12 semanas (total de 36horas) e Grupo Controle (GC) que recebeu orienta??es sobre a import?ncia da atividade f?sica. Os pacientes foram submetidos a uma avalia??o inicial e final da capacidade aer?bica (Teste de esfor?o cardiopulmonar - TECP) e question?rio de qualidade de vida. Ambos os treinamento foram eficientes para aumentar o VO2pico sendo 15,1% (P=0,02) no GTI e 16,1% (P=0,01) no GTC. Quanto ? qualidade de vida tanto o GTI, quanto o GTC apresentaram melhora quando comparados com o grupo controle (P=0,006). Os eventos de incompatibilidade hemodin?mica durante o TECP (depress?o/manuten??o de press?o arterial sist?lica) foram reduzidos ap?s o treinamento mais no GTC (4 para 1 pacientes) do que no GTI (5 para 3). O risco card?aco tamb?m diminuiu mais no GTC (3 pacientes sairam do risco moderado/grave para o leve ap?s o treinamento) e no GTI apenas 1 pacientes mudou essa categoria. Conclus?o: Ambos os tipos de treinamento foram eficientes em aumentar o condicionamento aer?bico e qualidade de vida neste grupo de pacientes, entretanto no grupo intervalar foram mais frequentes a queda ou manuten??o da press?o arterial sist?lica sugerindo maior incompet?ncia hemodin?mica e maior risco de desenvolver evento card?aco / Background: Cardiac Rehabilitation (CR) has effect on mortality in patients with heart failure (HF) chronic, and the exercise of the treatment of this patient. The most common exercise is ongoing training. Recently we have been studying the effects of interval training, but there is no consensus on the optimal dose of exercise. Objective: To evaluate the effects of interval aerobic training are superior to continuous aerobic training in patients with chronic HF. Methods: The clinical trial evaluated patients through cardiopulmonary test (CPX) and quality of life before and after the RC (3 times / 12 weeks). Patients were randomized into Group Interval Training (GTI - 85% of heart rate reserve - FCR), Continuous Training Group (GTC - 60% of HRR) and control group (CG) who received guidelines. Results: 18 patients were evaluated (mean age 44.7 ? 13.2 years and 35.2 ? 8.9% of left ventricular ejection fraction [LVEF]). Both groups were efficient to increase the peak VO2 and 15.1% (P = 0.02) in GTI and 16.1% (P = 0.01) GTC. As for the quality of life the GTI GTC showed improvement compared to the control group (P = 0.006). Hemodynamic mismatch events during the CPX were reduced after training in more GTC (patients 1 to 4) than in the GTI (5 to 3). Cardiac risk also decreased in the GTC (3 patients left the severe risk to take after training). Conclusion: Continuous training becomes more appropriate for improving fitness with little chance of developing cardiac event patients with chronic HF.

Submitted by EDSON HANSEN SANT ' ANA null (edhansen_2000@hotmail.com) on 2017-11-21T23:09:37Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA null (edhansen_2000@hotmail.com) on 2017-11-22T14:07:00Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-22T18:09:14Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-22T18:12:24Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-22T19:44:22Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-23T11:57:13Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-23T12:57:55Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-23T13:16:31Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-23T13:34:43Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-23T17:24:54Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-23T17:29:02Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-24T12:05:25Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-24T12:39:45Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-24T16:47:39Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-24T17:31:21Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-27T11:40:49Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-27T12:31:51Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-27T13:03:16Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-27T18:08:08Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-28T12:13:08Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-28T14:22:47Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-28T14:31:57Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Submitted by EDSON HANSEN SANT ' ANA SANT'ANA (edhansen_2000@hotmail.com) on 2017-11-28T14:37:45Z No. of bitstreams: 1 1.Tese-Unesp-2017-defesa2-digital.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Approved for entry into archive by Mariana Borges Gasparino null (mariana.borges@ia.unesp.br) on 2017-11-28T18:29:58Z (GMT) No. of bitstreams: 1 santana_eh_dr_ia.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) / Made available in DSpace on 2017-11-28T18:29:58Z (GMT). No. of bitstreams: 1 santana_eh_dr_ia.pdf: 41089077 bytes, checksum: ebdb1b901005a1ab56739ad0e4edd650 (MD5) Previous issue date: 2017-11-08 / O objeto de estudo deste trabalho é o processo intervalar na construção composicional de Almeida Prado em suas três fases pós-ruptura, chamadas de Pós-Tonal, Síntese e Pós-Moderna. A concepção intervalar do compositor é demonstrada por análises realizadas em três obras, uma de cada fase pós-ruptura: Sonata n. 3, Cartas Celestes I e Noturno n. 7, respectivamente. A análise tem sua metodologia baseada em um recorte arbitrário que buscou compreender três intervalos básicos que podem ser somados a outros três intervalos enarmônicos como ampliação das possibilidades intervalares na escrita. O desenvolvimento teórico da pesquisa aprofundou-se a partir de um foco e uma análise intervalar que, conceitualmente, buscaram uma superação terminológica de uma formulação anterior nomeada como expressividade intervalar (SANT’ANA, 2009) para a atualização terminológica definida como intervalo característico. O embasamento teórico para essa concepção intervalar deu-se a partir das proposições de Boulanger (1926), Costère (1954, 1962), Forte (1973), Straus ([1990] 2013), Pousseur ([2005] 2009) e Menezes (2002). Como contextualização crítico-histórica, foi realizada uma revisão sucinta de tendências teórico-analíticas e seus problemas, reconsiderando-se as observações de Schoenberg ([1922] 2001, [1954] 2004), Kerman ([1985] 1987), Cook (1987, 2007) e Kramer (2015). Para se validar a construção e o caráter da ferramenta teórico-analítica aqui empreendida, utilizou-se a teoria de Lacey (2008) associada à visão teórico-musicológica desses autores. Com o processo analítico, apresentado no quarto capítulo, procurou-se demonstrar a grande incidência do(s) intervalo(s) característico(s) na construção estrutural das obras, desvelando-se um número variado de estratégias composicionais adotadas por Almeida Prado associadas a esses intervalos. Ainda no quarto capítulo, foi aplicada a ferramenta denominada régua intervalar, que pode ajudar na melhor compreensão dos intervalos com mais potencial de dissonância, os quais agem por meio de interação e contraste frente ao background aparentemente tonal dos intervalos mais consonantes ligados aos primeiros sete parciais (harmônicos) da série harmônica. Assim, em uma pesquisa futura, a ferramenta e a proposição analítica aqui desenvolvidas podem contribuir na compreensão e na sistematização dos tipos de objetos harmônicos pensados como entidades tímbricas que são moldados a partir dessa concepção intervalar. / The object of study this work is the interval process in the compositional construction of Brazilian pianist and composer Almeida Prado in his three post-rupture phases, called PostTonal, Synthesis and Post-Modern. The intervalar conception of the composer is demonstrated by analyses carried out in three works - one from each post-rupture phase (Sonata n. 3, Cartas Celestes I and Noturno n. 7). The analysis has its methodology based on an arbitrary crop that sought to understand three basic intervals that can be added to three other enharmonic intervals as an extension of the interval possibilities in writing. The theoretical development of the research was deepened from a focus and an interval analysis that, conceptually, sought a terminological overcoming of an earlier formulation named as intervalar expressivity (SANT'ANA, 2009) for the terminological update defined as a characteristic interval. The theoretical basis for this interval conception came from the propositions of Boulanger (1926), Costère (1954, 1962), Forte (1973), Straus ([1990] 2013), Pousseur ([2005] 2009) and Menezes (2002). As a critical-historical context, a brief review of theoretical-analytical trends and their problems was carried out, reconsidering the observations of Schoenberg ([1922] 2001, [1954] 2004), Kerman ([1985], 1987), Cook (1987, 2007) and Kramer (2015). To validate the construction and character of the theoreticalanalytical tool undertaken here, Lacey (2008)’s theory was used associated with the theoretical-musicological view, methodologically adopted in this work. Like the analytical process contained in the fourth chapter, one tried to demonstrate the great incidence of the characteristic interval (s) in the structural construction of the works, revealing a varied number of compositional strategies adopted by Almeida Prado associated to these intervals. Still in the fourth chapter, the tool called interval rule was applied, which can help in better understanding the intervals with more potential of dissonance that act through interaction and contrast against the seemingly tonal background of the more consonant intervals linked to the first seven (harmonic) partials of the harmonic series. Thus, in a future research, the tool and the analytical proposition developed here, can contribute to the comprehension and systematization of the types of harmonic objects thought as timbral entities that are shaped from this intervalar conception.

Made available in DSpace on 2014-12-17T14:54:52Z (GMT). No. of bitstreams: 1 RoqueMPT.pdf: 833646 bytes, checksum: 1c8b5455eaf6d2afeefcb65452d2b589 (MD5) Previous issue date: 2009-06-05 / This work deals with a mathematical fundament for digital signal processing under point view of interval mathematics. Intend treat the open problem of precision and repesention of data in digital systems, with a intertval version of signals representation. Signals processing is a rich and complex area, therefore, this work makes a cutting with focus in systems linear invariant in the time. A vast literature in the area exists, but, some concepts in interval mathematics need to be redefined or to be elaborated for the construction of a solid theory of interval signal processing. We will construct a basic fundaments for signal processing in the interval version, such as basic properties linearity, stability, causality, a version to intervalar of linear systems e its properties. They will be presented interval versions of the convolution and the Z-transform. Will be made analysis of convergences of systems using interval Z-transform , a essentially interval distance, interval complex numbers , application in a interval filter. / Este trabalho explora uma fundamenta??o matem?tica, para o processamento digital de sinais sob uma ?ptica da matem?tica intervalar. Pretende explorar o problema aberto de precis?o e de representa??o de dados em sistemas digitais, trabalhando com uma vers?o intervalar de representa??o de sinais. Processamento de sinais ? uma ?rea muito ricae complexa, por isso, faremos um recorte e focaremos em sistemas lineares invariantes no tempo. Existe uma vasta literatura na ?rea, mas mesmo assim, ainda existe alguns conceitos na matem?tica intervalar que precisam ser redefinidos ou elaborados para a constru??o de uma teoria s?lida de processamento de sinais intervalares. Construiremos os fundamentos b?sicos para processamentos de sinais na vers?o intervalar, tais como as propriedades b?sicas linearidade, estabilidade, causalidade, uma vers?o intervalar de sistemas lineares e suas propriedades. Ser?o apresentadas vers?es intervalares da convolu??o e da transformada-Z. Ser? feita an?lise de converg?ncias de sistemas usando a transformada-Z intervalar, uma dist?ncia essencialmente intervalar, n?meros complexos intervalares, aplica??o em um filtro intervalar.

Modelos de fração de cura compõem uma vasta subárea da análise de sobrevivência, apresentando grande aplicabilidade em estudos médicos. O uso deste tipo de modelo é adequado em situações tais que o pesquisador reconhece a existência de uma parcela da população não suscetível ao evento de interesse, consequentemente considerando a probabilidade de que o evento não ocorra. Embora a teoria encontre-se consolidada tratando-se de censuras à direita, a literatura de modelos de fração de cura carece de estudos que contemplem a estrutura de censura intervalar, incentivando os estudos apresentados neste trabalho. Três modelos semiparamétricos de fração de cura para este tipo de censura são aqui considerados para aplicações em conjuntos de dados reais e estudados por meio de simulações. O primeiro modelo, apresentado por Liu e Shen (2009), trata-se de um modelo de tempo de promoção com estimação baseada em uma variação do algoritmo EM e faz uso de técnicas de otimização convexa em seu processo de maximização. O modelo proposto por Lam et al. (2013) considera um modelo semiparamétrico de Cox, modelando a fração de cura da população através de um efeito aleatório com distribuição Poisson composta, utilizando métodos de aumento de dados em conjunto com estimadores de máxima verossimilhança. Em Xiang et al. (2011), um modelo de mistura padrão é proposto adotando um modelo logístico para explicar a incidência e fazendo uso da estrutura de riscos proporcionais para os efeitos sobre o tempo. Os dois últimos modelos mencionados possuem extensões para dados agrupados, utilizadas nas aplicações deste trabalho. Uma das principais motivações desta dissertação consiste em um estudo conduzido por pesquisadores da Fundação Pró-Sangue, em São Paulo - SP, cujo interesse reside em avaliar o tempo até a ocorrência de anemia em doadores de repetição por meio de avaliações periódicas do hematócrito, medido em cada visita ao hemocentro. A existência de uma parcela de doadores não suscetíveis à doença torna conveniente o uso dos modelos estudados. O segundo conjunto de dados analisado trata-se de um conjunto de observações periódicas de cervos de cauda branca equipados com rádiocolares. Tem-se como objetivo a avaliação do comportamento migratório dos animais no inverno para determinadas condições climáticas e geográficas, contemplando a possibilidade de os cervos não migrarem. Um estudo comparativo entre os modelos propostos é realizado por meio de simulações, a fim de avaliar a robustez ao assumir-se determinadas especificações de cenário e fração de cura. Até onde sabemos, nenhum trabalho comparando os diferentes mecanismos de cura na presença de censura intervalar foi realizado até o presente momento. / Cure rate models define an vast sub-area of the survival analysis, presenting great applicability in medical studies. The use of this type of model is suitable in situations such that the researcher recognizes the existence of an non-susceptible part of the population to the event of interest, considering then the probability that such a event does not occur. Although the theory finds itself consolidated when considering right censoring, the literature of cure rate models lacks of interval censoring studies, encouraging then the studies presented in this work. Three semiparametric cure rate models for this type of censoring are considered here for real data analysis and then studied by means of simulations. The first model, presented by Liu e Shen (2009), refers to a promotion time model with its estimation based on an EM algorithm variation and using convex optimization techniques for the maximization process. The model proposed by Lam et al. (2013) considers a Cox semiparametric model, modelling then the population cure fraction by an frailty distributed as an compound Poisson, used jointly with data augmentation methods and maximum likelihood estimators. In Xiang et al. (2011), an standard mixture cure rate model is proposed adopting an logistic model for explaining incidence and using proportional hazards structure for the effects over the time to event. The two last mentioned models have extensions for clustered data analysis and are used on the examples of applications of this work. One of the main motivations of this dissertation consists on a study conducted by researches of Fundação Pró-Sangue, in São Paulo - SP, whose interest resides on evaluating the time until anaemia, occurring to recurrent donors, detected through periodic evaluations of the hematocrit, measured on each visit to the blood center. The existence of a non-susceptible portion of donors turns the use of the cure rate models convenient. The second analysed dataset consists on an set of periodic observations of radio collar equipped white tail deers. The goal here is the evaluation of when these animals migrate in the winter for specic weather and geographic conditions, contemplating the possibility that deer could not migrate. A comparative study among the proposed models is realized using simulations, in order to assess the robustness when assuming determined specifications about scenario and cure fraction. As far as we know, no work has been done comparing different cure mechanisms in the presence of interval censoring data until the present moment.

Submitted by Geandra Rodrigues (geandrar@gmail.com) on 2018-10-16T13:11:39Z No. of bitstreams: 1 barbaradasilvamedeiros.pdf: 3659351 bytes, checksum: 5f3a83604095b292ba8f61cabaa96f53 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-10-16T14:35:57Z (GMT) No. of bitstreams: 1 barbaradasilvamedeiros.pdf: 3659351 bytes, checksum: 5f3a83604095b292ba8f61cabaa96f53 (MD5) / Made available in DSpace on 2018-10-16T14:35:58Z (GMT). No. of bitstreams: 1 barbaradasilvamedeiros.pdf: 3659351 bytes, checksum: 5f3a83604095b292ba8f61cabaa96f53 (MD5) Previous issue date: 2018-07-19 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta dissertação, duas novas estratégias são propostas para calcular o problema do fluxo de potência sujeito às incertezas nos parâmetros das linhas de transmissão e das cargas dos sistemas elétricos. No estudo de fluxo de potência tradicional, os parâmetros dos sistemas de potência são tratados como quantidades determinísticas. Entretanto, esses dados, como a impedância das linhas de transmissão e a potência aparente das cargas conectadas às barras, podem apresentar incertezas associadas à medição ou à variação ao longo do tempo. Técnicas baseadas em amostragem, como Monte Carlo, apresentam resultados excelentes, porém demandam elevado tempo de processamento computacional. Por isso, atualmente, técnicas soft-computing, que apresentam resultados confiáveis de maneira eficiente, sem necessitar de muitos recursos computacionais, têm sido pesquisadas. O objetivo deste trabalho é, neste sentido, adaptar metodologias existentes na literatura, que não são utilizadas, a princípio, para este fim, para a solução do fluxo de potência intervalar e avaliar se os resultados são confiáveis e eficientes. A adaptação é realizada considerando pequenas incertezas, como geralmente ocorre na realidade, resultando em métodos aproximados de análise de fluxo de potência intervalar. O primeiro método desenvolvido é baseado na técnica de montagem direta da matriz impedância de barras, sem recorrer à inversão da matriz admitância de barras. O segundo método é baseado no Teorema da Compensação, utilizado na análise de sensibilidade. O algoritmo é desenvolvido e testado em Matlab, considerando diferentes casos de incerteza, com os seguintes sistemastestes: brasileiro de 33 barras, IEEE de 57 barras e brasileiro de 107 barras. Os resultados são comparados com aqueles gerados pela simulação de Monte Carlo, a fim de validação. Em geral, os métodos apresentam desempenho satisfatório, pois resultados intervalares viáveis de tensão e fluxo de potência, assim como perdas nas linhas, são encontrados como esperado, sem a aplicação de técnicas existentes na literatura, como a matemática intervalar ou aritmética affine. / In this dissertation, two new strategies are proposed to calculate the problem of power flow subjected to uncertainties in the parameters of transmission lines and loads of electrical systems. In traditional power flow analisys, power system parameters are treated as deterministic quantities. However some data, such as the impedance of transmission lines and the apparent power of loads connected to buses, may present uncertainties associated with measurement or variation over time. Sampling techniques, such as Monte Carlo, present excellent results, but require a high processing time. Therefore, nowadays, soft-computing techniques, which present reliable results in an efficient manner, without the need of many computational resources, have been researched. In this sense, the objective of this work is to adapt existing methodologies in the literature, which are not used for this purpose, for the solution of interval power flow and to evaluate if the results are reliable and efficient. The adaptation is performed considering small uncertainties, as usually occurs in reality, resulting in approximate methods of interval power flow analysis. The first method developed is based on the technique of direct assembly of the bus impedance matrix, without resorting to the inversion of the bus admittance matrix. The second method is based on the Compensation Theorem, used in the sensitivity analysis. The algorithm is developed and tested in Matlab, considering different cases of uncertainty, with the following test systems: Brazilian 33-bus, IEEE 57-bus and Brazilian 107-bus. The results are compared with those generated by the Monte Carlo simulation for validation. In general, the methods present satisfactory performance, as viable intervals of voltage and power flow, as well as losses in the lines, are found as expected, without application of techniques existing in the literature, such as interval mathematics or arithmetic affine.

Orientador: Silvio Ferraz Mello Filho / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-20T10:18:14Z (GMT). No. of bitstreams: 1 Ferreira_GuilhermeAntonioCelso_D.pdf: 12287973 bytes, checksum: b45cb51a780101bcbd8a10396b9a29ca (MD5) Previous issue date: 2012 / Resumo: Esse trabalho se situa na área de Composição Assistida por Computador, CAC. Mais especificamente, na geração de material pré-composicional em nível simbólico. Nosso uso e apropriação desse recurso tecnológico foram, no entanto influenciados pela filosofia de Vilém Flusser, especialmente pela sua obra Filosofia da Caixa Preta. Tivemos como objetivos dessa pesquisa tanto uma contribuição (via Flusser) para o debate em torno do ambiente de composição atual, quanto o uso do recurso computacional notadamente característico desse ambiente para solucionar um problema de organização de alturas e ordenação de eventos musicais. O tratamento dado ao espaço de alturas na música pós-tonal privilegia, na sua generalidade e abstração, abordagens mais analíticas do que práticas. Dessa forma, introduzimos o conceito de Tabela de Diferenças Intervalares, TDI, como uma fotografia das relações intervalares em uma sequência temporal que incorpora tanto intervalos entre eventos sucessivos quanto intervalos entre eventos não adjacentes, de certa maneira retomando uma proposta de Ernest Ansermet (1987). Apartir desse conceito (TDI) formalizamos um algoritmo capaz de gerar novas ordenações temporais com relações intervalares semelhantes a inicial em um contexto não-tonal. Esse procedimento se revelou como um recurso prático para a composição capaz de introduzir no cálculo intervalar uma dimensão de organização temporal. Ao testarmos a viabilidade desse procedimento em nossa prática composicional descobrimos ser ele também capaz de ser desenvolvido como procedimento de organização rítmica e harmônica. Apresentamos nesse trabalho quatro obras compostas usando esse algoritmo que esperamos contribuir para os recursos disponíveis para tratamento harmônico na música contemporânea / Abstract: This work is in the field of Computer Aided Composition (CAC), more specifically in the generation of pre-compositional material in the symbolic level. Our use and ownership of this technological capability were however influenced by the philosophy of Vilém Flusser, "Towards a Philosophy of Photography". We had as goals of this research both a contribution, via Flusser, to the debate on the current composition environment, and the use of compositional resource most notedly characteristic (computer) of that environment to resolve an issue of pitch structure and the ordering of musical events. The treatment of pitch structures in post tonal music favours in its generality and abstraction, approaches more analytical than practical. Hence, we have introduced the concept of Interval Difference Table (IDT) like photography of intervallic relations in a timeline that incorporates both intervals between successive event and between nonadjacent events, somewhat reviving a proposal of Ernest Ansermet (1987). From this concept (IDT) we formalized and algorithm capable of generating new temporal ordinations with the same intervallic content in a non-tonal context. This procedure has proved to be a practical resource for composition capable of introducing into the intervallic calculation a dimension of temporal organization. In testing the feasibility of this procedure in our compositional practice we found that it was also able to be developed as rhythmic and harmonic organization strategy. We pesent in this work four compositions using this algorithm which we hope will contribute as ressources available to contemporary music composers / Doutorado / Processos Criativos / Doutor em Música