Uma aplicação de análise de decisão com o método AHP Processo de hierarquia analítica: um estudo sobre adoção de Sistema eletrônico de cobrança no Transporte público urbano

This thesis carries through an application of Analysis of Multicriterion Decision with use of the method of Analytical Hierarchy Process (AHP) in the problematic one of taking of decision of the adoption of electronic collecting in the system of urban transport in the country, a subject that has been controversial. A modeling of criteria and alternatives is carried through and applied a questionnaire based on method AHP the excellent actors in the system of urban transport - Leading of the Managing Agency Public Municipal theatre of Urban Transports, Controller of Company of Bus, Controller of Labor union, Controller of Union of Companies, Communitarian Leader. The considered alternatives were: the maintenance of the current state with collectors, the implementation of electronic collection without collectors, and the implementation of electronic collection with collectors. The used criteria were: job, impact in the fare, control of the system, easiness of use, information. The study was carried through in the city of Natal, RN, where if the adoption of electronic collection argues and where this implementation in some bus lines between Natal and Parnamirim exists, city that integrates the region of the great Natal. The main results of the method evidence in a dimension, the viability of use of method AHP with questionnaire by means of validation of the judgments with analysis of variance beyond proper the normal mechanisms of analysis of consistency to the method, and in another one, the contribution of the analysis boarding multicriterion to become the judgments more clearly. The main results of the analysis help to show that although to models of criteria and distinct judgments of the actors, the method evidenced that it has inclination the adoption of the electronic collection on the current situation, even so with divergences between the maintenance or not of the collector. The research points to the possibility of accomplishment of the application of the AHP in successive rounds of judgments

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Propriedades termodinâmicas de adsorção de água e cinética de secagem de subprodutos da industrialização de abacaxi (Ananás comosus L.): casca e cilindro central

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Cinética de cristalização em vidros teluritos do sistema TLWN

Pós-graduação em Ciência dos Materiais - FEIS

O método do Avering via teoria do grau de Brouwer e aplicações

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

A teoria do funcional da densidade na caracterização de fases intermetálicas ordenadas

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Método numérico-analítico generalizado para estimação do campo eletromagnético de linhas de transmissão de energia elétrica utilizando a teoria dos elementos finitos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Caracterização da cinética de captação de glutamato por cromatografia líquida de alta eficiência em tecido retiniano

O presente estudo descreve um método eficiente e simples utilizando cromatografia líquida de alta eficiência (CLAE) acoplada a detector de fluorescência para determinação dos parâmetros cinéticos da captação de glutamato (glu) no sistema nervoso central (SNC). O tecido retiniano embrionário de ave com sete dias de desenvolvimento foi incubado com concentrações conhecidas de glu (50-500 μM) por dez minutos. Os níveis do aminoácido derivado a partir de ortoftaldeído (OPA) no meio de incubação foram mensurados. Após avaliar a diferença entre a concentração de glu inicial e a final no meio, foi determinada a saturação do mecanismo de captação (Km = 8,2 e Vmax = 9,8 nmol/mg proteína/minuto). Estas determinações foram dependentes e independentes de sódio e temperatura, indicando que o mecanismo que regula a diminuição dos níveis de glu no SNC, é a captação via transportadores de alta afinidade. Além disso, o cloreto de zinco (ZnCl) (um inibidor do transportador glu/aspartato) foi utilizado em diversas concentrações e evocou diminuição da captação de glu. Com isto, destaca-se a elevada aplicabilidade desta metodologia. Além deste trabalho caracterizar metodologia alternativa para avaliar captação de glu no SNC usando CLAE, também pode ser importante ferramenta para estudos relacionados à caracterização do transporte do neurotransmissor durante injúrias no SNC.

Eletrônica molecular via método híbrido DFT/FGNE em anéis fenilas acoplados a eletrodos metálicos de nanotubos de carbono: a regra de conformação e quiralidade molecular

Nesta tese, investigamos detalhadamente as propriedades de transporte eletrônico, conformacional e de simetria de estruturas de Nanotubos de Carbono de Parede Simples zigzag (9,0), NCPS zz9, acopladas a anéis fenilas (2, 3, 4 e 5) sob influência de campo elétrico externo (voltagem) via método híbrido da Teoria do Funcional Densidade (DFT) do tipo B3LYP 6-311G(d,p) combinado com Função de Green de Não Equilíbrio (FGNE) e Teoria de Grupo. Verificamos uma boa relação entre: 1- o índice quiral () por Teoria de Grupo e a lei do cos2 (, ângulo diedral) por geometria sob a influência de campo elétrico externo, pois  só depende das posições atômicas (), das conformações, e também está fortemente correlacionada a corrente que passa através do sistema; 2- a condutância normalizada (G/Go) é proporcional a cos2 na região do gap (EHOMO-ELUMO), isto é, nas regiões onde ocorre a ressonância e a resistência diferencial negativa (RDN); 3- o gráfico Fowler-Northeim (FN) exibe mínimo de voltagem (Vmin) que ocorre sempre que a cauda de um pico de transmissão ressonante entra na janela de voltagem, isto é, quando nessas estruturas ocorre uma RDN, pois o número de RDN na curva I-V está associado ao número de Vmin no gráfico FN e pode ser explicado pelo modelo de transporte molecular coerente; 4- a altura da barreira (EF - EHOMO e ELUMO - EF) como função do comprimento molecular; 5- Vmin como função da altura da barreira (EF - EHOMO) e do comprimento molecular. Assim, 1 implica que a conformação molecular desempenha um papel preponderante na determinação das propriedades de transporte da junção; 2 sugere que a lei do cos2 tem uma aplicabilidade mais geral independentemente da natureza dos eletrodos; 3 serve como um instrumento espectroscópico e também para identificar a molécula na junção; 4 e 5 a medida que o comprimento molecular atinge um certo valor (1,3nm) o Vmin permanece praticamente inalterado. Os resultados mostraram que as propriedades estruturais sofrem alterações significativas com o aumento da voltagem que estão em boa concordância com os valores encontrados na literatura. O comportamento das curvas IxV e G/GoxV perdem sua dependência linear para dar origem a um comportamento não linear com aparecimento de RDN. Tal ponto revela a modificação estrutural sofrida pelo sistema. A curva IxV confirmou as afirmações que foram feitas através da análise estrutural para o sistema considerado e mostrou como se dá o fluxo de carga nos sistemas analisados.

Teoria hilemórfica da política: uma interpretação do método do pensamento político de Hannah Arendt

O método do pensamento político de Hannah Arendt é deveras heterodoxo e poliformal. Qualquer tentativa de interpretá-lo defronta-se com grandes dificuldades, ainda mais se levarmos em consideração que Arendt deixou poucas informações que pudessem esclarecê-lo. Entretanto, talvez seja possível contornar essas dificuldades hermenêuticas, na medida em que selecionamos as perspectivas do método arendtiano a serem desenvolvidas, afastando e silenciando outras – o que já faz parte do “jogo das aparências”. Trata-se, portanto, de uma espécie de quebra-cabeças que pode ser montado de diferentes maneiras, sem que se esgotem suas possibilidades. Mesmo porque, além de questionar a estrutura sistemática do pensamento filosófico tradicional, Arendt não pretendia dar uma forma definitiva ao seu pensamento, deixando sempre margem de manobra para futuras alterações. Nesse sentido, a proposta desse trabalho é interpretar o método, ou os métodos, do pensamento político de Hannah Arendt a partir de uma abordagem hilemórfica. Para tanto, desenvolveremos quatro capítulos, nos quais serão abordadas diferentes perspectivas do método arendtiano, mas sempre voltadas ao espectro da matéria e da forma que ela projetou em seus procedimentos. O primeiro capítulo tratará da genealogia dos modos do pensar totalitário, como a forma de engajamento e combate de Arendt contra os sistemas totalitários. O segundo capítulo abordará os aspectos propositivos do pensamento arendtiano, fixando-se nos conceitos nucleares que compõem sua teoria política. O terceiro capítulo investigará o papel da Vontade enquanto animadora da ação política, mostrando como Arendt realizou a passagem da filosofia da vontade para a liberdade da ação política. O quarto capítulo tratará das conexões hilemórficas presentes na relação entre as faculdades de pensar e julgar. Por fim, quem sabe os procedimentos metodológicos de Arendt não possam ser vistos como o início de uma filosofia da liberdade?

Transporte eletrônico e quiralidade molecular: um estudo de dispositivos orgânicos em sistemas de dois terminais

No presente trabalho, investigamos o transporte eletrônico molecular em dois compostos orgânicos, o Ponceau SS (PSS) e o Oligo-(para)fenileno-vinileno (PPV) através de cálculos ab initio e função de Green de não equilíbrio (FGNE). Estes métodos demonstraram equivalência para a descrição destes dispositivos moleculares. Fizemos cálculos quânticos para o Hamiltoniano derivado de Hartree-Fock (HF) e obtivemos as propriedades de corrente-voltagem (I-V) para as duas estruturas moleculares. Com o método FGNE conseguimos modelar o transporte através de um sistema de multiníveis eletrônicos obtendo a corrente descrevendo as regiões de ressonância e a assimetria do sistema. Como resposta o PSS demonstrou assimetria para polarizações direta e reversa e a ressonância é alcançada mostrando que o dispositivo opere como um transistor molecular bi-direcional. Para o PPV investigamos também as propriedades geométricas através da conexão entre transporte eletrônico e o grau de quiralidade molecular que foi calculado usando o índice quiral que depende apenas das posições atômicas. Obtivemos que moléculas quirais e propriedades estruturais podem induzir uma assimetria no transporte eletrônico, resultando num processo de retificação. Também obtivemos que a resposta elétrica (I-V) e momento de dipolo elétrico são proporcionais ao grau de quiralidade molecular. Estes resultados sugerem que o transporte eletrônico neste sistema pode ser explorado na avaliação do seu grau de quiralidade.

Estudo do transporte eletrônico em nanoestruturas baseadas em carotenoides e tétrades com fulereno C60

Neste Trabalho é apresentado um estudo teórico da estrutura eletrônica de uma molécula de fulereno C60 com junções em quatro terminais baseados em grupos doadores de elétron – etratiofulvaleno (TTF) – e grupos aceitadores de elétrons – fenilpropanodinila (FPP) e dispositivos moleculares baseados em derivados dos Carotenoides. O mecanismo de transporte investigado para os derivados dos Carotenoides foram utilizados para o melhor entendimento das curvas de Fowler- Nordheim (FN) e Millikan-Lauritsen (ML) para os sistemas baseados em fulereno C60. Em todos os casos foi possível confirmar que a análise empírica de Millikan-Lauritsen (ML) também é suficiente para descrever em todos os aspectos a espectroscopia de voltagem de transição (TVS). Para estudar os sistemas, foram feitas otimizações de geometria sistematicamente e observado uma transferência eletrônica calculada por métodos derivados de Hartree-Fock e Teoria do Funcional Densidade (DFT). Os resultados apresentados mostram um estudo detalhado do rearranjo de carga molecular para a estrutura, que sob a ação de um campo elétrico externo apontou que o transporte de carga está diretamente ligado ao tipo de junção que esse sistema é submetido de forma que a voltagem aplicada é intensa o bastante para criar um potencial de saturação nos sistemas em estudo: fulereno C60 com três terminais de tetratiofulvaleno e um terminal de fenil-propanodinila (C60-(TTF)₃-FPP); fulereno C60 com quatros terminais de fenil-propanodinila (C60-(FPP)₄). Os resultados mostram que se tem um retificador molecular que pode trabalhar corretamente como um retificador macroscópico.