Teoria para o trabalho de expansão aplicada às brisas do nordeste Brasileiro

Neste artigo investiga-se numericamente a interação entre brisas marítima-terrestre e de vale-montanha, que ocorrem no nordeste brasileiro devido à presença do Planalto da Borborema, aplicando o trabalho de expansão associado ao ramo inferior das circulações. Resultados da teoria da máquina térmica são comparados aos resultados 3D, obtidos com a versão brasileira do modelo RAMS. Os resultados indicaram que o efeito do contraste de temperatura no trabalho ligado às circulações (Wa), isoladamente, contribui para a formação de brisas marítimas mais intensas e de brisas terrestres menos intensas. Na realidade, o que se observa são brisas terrestres com intensidades iguais ou até maiores que das brisas marítimas. Assim, a contribuição da montanha para a intensidade das circulações de brisa no período noturno mostra-se extremamente não-linear. O trabalho de expansão que realmente está ligado às circulações, contribui em apenas 7% para o trabalho total. Dessa forma, a maior parte do trabalho total está associada ao trabalho de compressão que a atmosfera realiza para compensar a perda por resfriamento radiativo, e muito da energia disponibilizada para as circulações é gasta para vencer os processos dissipativos.

Uma teoria termodinâmica para brisas: teste utilizando simulações numéricas

O objetivo deste trabalho foi testar uma teoria termodinâmica em brisas marítimas-terrestres acopladas com brisas de vale-montanha através de simulações numéricas tridimensionais em uma região da costa leste do Nordeste Brasileiro, considerando a presença e a ausência da topografia. Embora o contraste de temperatura entre as superfícies seja importante na formação da brisa, a eficiência termodinâmica é fundamental na determinação da sua intensidade. Tem-se que a inclinação faz com que a diferença de pressão entre dois pontos fique maior durante o dia e menor durante a noite contribuindo para a formação de brisas marítimas mais intensas e de brisas terrestres menos intensas, respectivamente. A máxima queda de pressão ocorre por volta de três horas antes da máxima intensidade da brisa. Isso porque grande parte da energia disponibilizada para as circulações é gasta para vencer dissipação, principalmente, no período diurno, quando esses processos são realmente efetivos. Do ponto de vista puramente termodinâmico a inclinação da montanha atua para intensificar a brisa durante o dia e para enfraquecê-la durante a noite.

Propriedades eletrônicas e estruturais do PbTiO3: teoria do funcional de densidade aplicada a modelos periódicos

Calculations based on density functional theory at the B3LYP hybrid functional level applied to periodic models have been performed to characterize the structural and electronic properties of PbTiO3. Two different slab terminations (PbO and TiO2) have been considered to obtain and discuss the results of band structure, density of states, charge distribution on bulk and surface relaxation. It is observed that the relaxation processes are most prominent for the Ti and Pb surface atoms. The electron density maps confirm the partial covalent character of the Ti-O bonds. The calculated optical band gap and other results are in agreement with experimental data.

Teoria das opções reais aplicada a projetos de investimento em prestação de serviços de tecnologia da informação

O objetivo desta tese é analisar a aplicação da Teoria das Opções Reais (TOR) como método para avaliação de projetos de investimentos em prestação de serviços de Tecnologia da Informação (TI), comparando seus conceitos e características, com o método tradicional do cálculo do Valor Presente Líquido (VPL). O estudo apresenta os conceitos básicos, e ilustra através de exemplo numérico, o método de avaliação da TOR aplicado a projetos de prestação de serviços de TI, analisando criticamente suas características, vantagens e limitações. Por meio desta tese, pretende-se mostrar que a Teoria das Opções Reais é uma alternativa mais adequada do que o método do VPL como método de avaliação de projetos de investimentos em serviços de Tecnologia da Informação, integrando estratégia e finanças, ao considerar as opções de flexibilidade operacionais - adiar, expandir, contrair, abandonar, etc. - e o posicionamento estratégico da empresa, ao longo da vida útil do projeto de investimento; opções estas, que não são devidamente tratadas pelo método tradicional do VPL.

Teoria de valores extremos aplicada a finanças: dois ensaios

Esta tese é composta de dois ensaios que aplicam a Teoria de Valores Extremos a finanças

Análise de decisão : uma abordagem comparativa entre modelagem por árvore de decisão e teoria de precificação de opções aplicada a "opções reais"

Trata da análise das principais ferramentas quantitativas para a tomada de decisão e análise de investimentos, em particular de análise por árvore de decisão e teoria de precificação de opções aplicada a casos de investimentos em ativos não financeiros. Mostra as vantagens e desvantagens de cada metodologia, em especial as limitações de aplicação prática da TPO. Propõe uma metodologia para calcular o valor das "opções reais" utilizando árvores de decisão

O que fazer com o bagaço da cana de açúcar? Uma abordagem da teoria das opções reais aplicada a usinas de processamento de etanol e açúcar da região de Piracicaba

O uso de resíduos da indústria canavieira, em particular o bagaço, é tema que ganha relevância desde a retomada do mercado de biocombustíveis, quando a produção ampliou significativamente o volume daquela biomassa. Existem trabalhos que tratam de apresentar subprodutos e tecnologias alternativas para o uso deste material e um conjunto outro de trabalhos apresenta análise de cenários de viabilidade econômica destas tecnologias. O objetivo deste trabalho é avaliar pela perspectiva econômico-financeira o melhor uso do bagaço da cana em um caso real. Para isto foi utilizada a Teoria das Opções Reais, como forma de analisar a melhor destinação do bagaço no horizonte de tempo de cinco anos, em uma dada a região, em um estudo de caso de uma usina sucroenergética com possibilidade de produção de etanol de segunda geração e/ou venda do bagaço in natura. Desta forma concluiu-se no caso apresentado que a produção de etanol de segunda geração em escala industrial não atrai investimentos e, sob esta ótica, deve ser postergada pois requer significativa aumento de produtividade por tonelada de matéria seca, além de substancial redução no custo das enzimas de fermentação. Ainda, foi possível também identificar a necessidade de políticas de incentivo para atração de investimentos.

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 eletrônicas e estruturais do PbTiO3: teoria do funcional de densidade aplicada a modelos periódicos

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

TEORIA SINTÁTICA: DE UMA PERSPECTIVA DE -ISMOS PARA UMAPERSPECTIVA DE PROGRAMAS

This paper tries to show that the developments in linguistic sciences are better viewed as stages in a single research program, rather than different ideological -isms. The first part contains an overview of the structuralistas' beliefs about the universality and equivalence of human languages, and their search for syntactic universals. In the second part, we will see that the generative program, in its turn, tries to answer why language is a universal faculty in the human species and addresses questions about its form, its development and its use. In the second part, we will see that the paper gives a brief glimpse of the tentative answers the program has been giving to each of these issues.

A teoria e a prática: a questão da diferençano discurso sobre e da sala de aula

The main purpose of this paper is to question the relationship between theory and practice or basic and applied research in the domain of Applied Linguistics and classroom discourse. In order to achieve our aim, some theoretical texts, some recorded and transcribed classes as well as some teachers and students opinions about reading and writing were analysed. Results have shown that 1) practice is not the direct application of theoretical data: the relationship between them is not as simple as some applied linguists seem to believe because of the action of the unconscious in the constitution of subjectivity; 2) the conceptualization of the theoretical issues takes place in a confused and disorderly manner mixed up with personal experiences and previous knowledge (practice). We intend to question the fact that practice comes as secondary to theory.

Uma observação sobre o lugar da teoria da ligação e do critério temático dentro do programa minimalista

In this paper I present some evidencie that forces us to conclude that within the Minimalist Program (Chomsky 1993; 1995), Binding Theory (BT) should be computed after LF (Logical Form). I show that derivations leading to structures containing violations of BT-Principles must converge at LF, since less economical alternative derivations respecting those principles are also ungrammatical. Being irrelevant to the notion of convergence, BT must apply after LF. A similar reasoning reveals that the Theta-Criterion should have the status of a bare output condition appling at LF, since less economical derivations are allowed by the computational system to prevent violations of it.

O Desejo da Teoria e A Contingência da Prática: discursos sobre e na sala de aula (língua materna e língua estrangeira)

329

Colet??nea planejamento e or??amento governamental: volume 2: a aus??ncia de uma teoria or??ament??ria

A respeito do aspecto mais significativo da or??amenta????o p??blica, ou seja, a aloca????o de gastos para diferentes prop??sitos de forma a se atingir o melhor retorno, a literatura or??ament??ria norte-americana ?? bastante ??rida. Esfor??ados estudiosos do campo or??ament??rio t??m-se ocupado principalmente com a organiza????o e o procedimento para a prepara????o do or??amento, as formas como as solicita????es de fundos s??osubmetidas, o formato da pe??a or??ament??ria em si e quest??es similares1.N??o se pode negar que esses aspectos merecem a considera????o a eles dispensada, quando se lembra da inacredit??vel resist??ncia ?? ado????o dos mais rudimentares quesitos b??sicos do or??amento e se observa sua condi????o insatisfat??ria ainda hoje em algumas jurisdi????es. No entanto, a dedica????o de energia para o estabelecimento da mec??nica do or??amento desviou a aten????o do problema essencial do or??amento (no lado do gasto), a saber: em que se deve basear a decis??o de se alocar x d??lares para a atividade a em vez de ser para a atividade b

Curso gest??o do conhecimento: teoria e boas pr??ticas

M??dulo 1: O que ?? gest??o do conhecimento na administra????o p??blica? Dado. Informa????o. Conhecimento. Economia do Conhecimento. Administra????o p??blica. GC na administra????o p??blica. Componentes do Modelo de Gest??o do Conhecimento para a Administra????o P??blica Brasileira. Rela????o entre GC e gest??o estrat??gica. Viabilizadores da GC. Processo de GC. Ciclo KDCA. M??dulo 2: Por que gest??o do conhecimento na administra????o p??blica? A import??ncia da GC. Raz??es para implementar GC na administra????o p??blica. Benef??cios da GC para o indiv??duo, equipes, organiza????o e sociedade. M??dulo 3: Pr??ticas de gest??o do conhecimento. Pr??ticas de relacionadas principalmente aos aspectos de gest??o de recursos humanos que facilitam a transfer??ncia, a dissemina????o e o compartilhamento de informa????es e conhecimento. Pr??ticas ligadas primariamente ?? estrutura????o dos processos organizacionais que funcionam como facilitadores da gera????o, reten????o, organiza????o e dissemina????o do conhecimento organizacional. Pr??ticas cujo foco central ?? a base tecnol??gica e funcional que serve de suporte ?? gest??o do conhecimento organizacional, incluindo automa????o da gest??o da informa????o, aplicativos e ferramentas de Tecnologia da Informa????o (TI) para captura, difus??o e colabora????o. M??dulo 4: Como implementar gest??o do conhecimento na administra????o p??blica? Resultados esperados da implementa????o da GC. O papel a ser desempenho pelas ??reas respons??veis por gest??o de pessoas; gest??o da informa????o e documenta????o; gest??o da tecnologia da informa????o e comunica????es; planejamento estrat??gico; gerenciamento de projetos e gest??o de processos na implementa????o da GC na organiza????o. Ciclo Operacional de GC. Principais barreiras e facilitadores ?? implementa????o da GC nas organiza????es p??blicas. Iniciativas de GC. Passos para elaborar e implementar o plano de gest??o do conhecimento. Estudos de caso: Superintend??ncia de Aeronavegabilidade da Ag??ncia Nacional de Avia????o Civil (SAR/ANAC); Empresa Brasileira de Correios e Tel??grafos (ECT); Instituto de Pesquisa Econ??mica Aplicada (Ipea), Escola Nacional de Administra????o P??blica (Enap), Ag??ncia Brasileira de Desenvolvimento Industrial (ABDI); Secretaria Estadual de Planejamento e Gest??o de Minas Gerais (SEPLAG/MG); Pol??cia Civil de Minas Gerais (PCMG); Pol??cia Militar de Minas Gerais (PMMG).