989 resultados para Teoria dos tipos lógicos


Relevância:

100.00% 100.00%

Publicador:

Resumo:

No romance A defesa Lujin, de Vladimir Nabokov, publicado em russo em 1930, o texto procura levar o leitor a adotar processos mentais similares ao de um jogador de xadrez e de um esquizofrênico, características do personagem-título do romance. Delineiam-se as expectativas e circunstâncias de um ser de papel que se vê jogando um xadrez em que também é peça e traçam-se paralelos com as expectativas e circunstâncias do leitor perante esse texto literário. O prefácio de Nabokov à edição em inglês de 1964 é tomado como indício de um leitor e um autor implícitos que ele procura moldar. Para análise dos elementos textuais e níveis de abstração mental envolvidos, recorre-se à estética da recepção de Wolfgang Iser e a diversas ideias do psiquiatra e etnólogo Gregory Bateson, entre elas o conceito de duplo vínculo, com atenção às distinções entre mapa/território e play/game. Um duplo duplo vínculo é perpetrado na interação leitor-texto: 1) o leitor é convidado a sentir empatia pela situação do personagem Lujin e a considerá-lo lúcido e louco ao mesmo tempo; e 2) o leitor é colocado como uma instância pseudo-transcendental incapaz de comunicação com a instância inferior (Lujin), gerando uma angústia diretamente relacionável ao seu envolvimento com a ficção, replicando de certa forma a loucura de Lujin. A sinestesia do personagem Lujin é identificada como um dos elementos do texto capaz de recriar a experiência de jogar xadrez até para quem não aprecia o jogo. Analisa-se a conexão entre a esquizofrenia ficcional do personagem Lujin e a visão batesoniana do alcoolismo

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

A estrutura de propriedade anglo-saxônica, e o seu clássico problema de agência, com conflitos entre gestores e acionistas, caracterizados por propriedades pulverizadas, apesar de ser predominante na literatura, não constituí a regra, mas sim a exceção. O Brasil, diferentemente dos Estados Unidos e da Inglaterra, possuí uma estrutura de propriedade concentrada, onde é forte a presença de acionistas majoritários. Nesse caso, o conflito verificado não é entre gestores e acionistas (conflito agente X principal), mas sim entre acionistas majoritários e acionistas minoritários (conflito principal X principal). No mercado de capitais brasileiro, há duas classes de ações, as ordinárias (com direito a voto), e as preferências (sem direito a voto), o que viola a regra existente em muitos países, como nos Estados Unidos, de uma ação, um voto. Sendo assim, em muitos casos, ocorre uma combinação de muito poder com pouca alocação de recursos próprios na empresa. Diante disso, o presente estudo teve como objetivo estimar a magnitude dos direitos de votos, de fluxo de caixa, e do excesso de votos dos acionistas majoritários (das ações ordinárias) das empresas listadas no índice Bovespa – Ibovespa para os anos de 2009 e 2010 (carteira teórica do terceiro quadrimestre dos respectivos anos), separando-as por setor de atuação e por tipo de acionista majoritário. Para este estudo foi analisada uma amostra de 121 empresas, utilizando a metodologia quanto aos fins (descritiva e explicativa), e quanto aos meios (bibliográfica e documental). A coleta de dados foi feita no sistema Economática e nos IAN’s da CVM. Como resultados a pesquisa corroborou as hipóteses da literatura existente de que a estrutura de capital das empresas brasileiras de capital aberto é concentrada, principalmente no capital acionário (média de 51,95% e mediana de 51,20% em 2009, e 47,16% e 51,70% em 2010), e ocorrendo em vários casos uma distância considerável entre o poder de voto e o poder do fluxo de caixa dos acionistas majoritários (média de 1,10 em 2009 e mediana de 1,24, e 1,07 e 0,98 em 2010). Com isso, também se verifica que o conflito principal X principal é o predominante no Brasil.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Aborda os problemas estruturais e informacionais da Tabela de Tipos de Proposição do Sistema de Informação Legislativa, o Sileg, da Câmara dos Deputados, relacionada à classificação dos tipos documentais daquela instituição, e utilizada, como referência, no registro (entrada de dados) e na recuperação de informações, ditas legislativas. Discute os fundamentos da Arquitetura da Informação, como disciplina da Ciência da Informação, para a organização da Informação Legislativa, especialmente, em relação à significação, à representação informacional e à teoria de classificação. Oferece uma definição para Informação Legislativa, que possui limitação material e formal, e aborda os antecedentes históricos de sua disponibilização à sociedade brasileira, em cumprimento aos princípios constitucionais da publicidade e transparência dos atos dos órgãos públicos e do direito de o cidadão brasileiro ter acesso e receber, desses órgãos públicos, informações de seu interesse particular. Aplica e comprova a viabilidade de utilização da teoria de classificação facetada, de Ranganathan, no estudo e na reorganização da Tabela de Tipos de Proposição do Sileg, que contemple as características multifacetada das proposições legislativas.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O bi-dimensionalismo epistêmico é a tese de que os estados mentais de um indivíduo tem uma dupla divisão, tendo, então, um conteúdo amplo e um conteúdo estreito. Um conteúdo amplo é aquele cuja determinação depende em parte de propriedades extrínsecas ao sujeito: ou seja, é aquele que possui relação com o mundo externo ao sujeito, seja físico ou social. Já o conteúdo estreito é o conteúdo plenamente determinado por propriedades intrísecas ao sujeito, sem precisar recorrer a nada externo. Este conteúdo estreito será, de acordo com o bi-dimensionalismo de Jackson e de Chalmers, o conteúdo representativo de um estado mental, dado através de descrições sobre aquilo que o sujeito sabe e acredita sobre o mundo ao seu redor. O objetivo desta dissertação ao tratar sobre esta forma de bi-dimensionalismo é o de apresentá-lo como uma possível resposta para dois problemas gerados pela afirmação externalista de que nomes próprios e termos de tipos naturais são designadores rígidos e pela afirmação de que todo conteúdo de um estado mental é amplo. Estes dois problemas são a incompatibilidade do conteúdo amplo com o acesso privilegiado e a sua incompatibilidade com o papel explicatório que estados mentais intencionais parecem ter em relação aos comportamentos de um indivíduo, pois, se os indivíduos não possuem um acesso privilegiado aos conteúdos dos seus estados mentais, tal conteúdo amplo não poderá ser visto como sendo um causalmente relevante para os seus comportamentos. Contudo, os argumentos apresentados pelo externalismo semântico parecem ainda convincentes demais para considerar tais consequências como sendo um bom motivo para se abandonar a tese externalista. Além disso, vários exemplos do funcionamento da linguagem (como os casos do uso de nomes próprios e termos de espécies naturais) parecem indicar que o externalismo semântico é correto. Assim, neste trabalho, analisarei a teoria bi-dimensional à luz das afirmações externalistas sobre o significado e sobre a individuação dos conteúdos dos estados mentais, ou seja, como podendo ser uma teoria que, além de ser uma capaz de fornecer uma resposta viável para estes dois problemas, é também compatível com o conteúdo amplo da forma como é afirmado pelo externalismo.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O objetivo geral deste projeto é propor um modelo bidimensional que descreva o novo estado supercondutor, que apresenta simetria de cristal líquido, chamado de supercondutor nemático. O estudo começa com uma introdução sobre a teoria de Landau-Ginzburg das transições de fase, onde são discutidos conceitos como parâmetro de ordem e as ordens das transições de fase, que são essenciais para o desenvolvimento deste projeto. Em seguida, é feita uma discussão sobre as principais características dos supercondutores como a resistência zero, o efeito Meissner-Ochsenfeld, os tipos de supercondutores, o surgimento de vórtices e uma análise sobre a teoria de Landau-Ginzburg para transição de fase metal-supercondutor. Após isto, é feita uma abordagem sobre os principais tipos de cristais líquidos, com destaque ao cristal líquido nemático, onde é desenvolvida a teoria de Landau-Ginzburg para transição de fase isotrópica-nemática e um estudo sobre o surgimento de disclinações no cristal líquido nemático em duas dimensões. Por fim, é apresentado o modelo proposto para descrever o estado supercondutor nemático, com a construção da teoria de Landau-Ginzburg, o estudo do acoplamento entre as fases e os defeitos topológicos presentes nesse estado.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Nos diversos segmentos da Geotecnia e em especial na área de fundações, o engenheiro se depara com uma série de incertezas. Algumas destas incertezas são inerentes à variabilidade local do solo, às condições de carregamento, aos efeitos do tempo, às diferenças nos processos executivos, erros de sondagens, que influenciam diretamente a estimativa da capacidade de carga da fundação, seja por ocasião de seu carregamento estático, seja durante ou logo após a cravação. O objetivo desta dissertação é a adaptação, a estacas em terra (onshore), de um procedimento concebido originalmente para emprego em estacas offshore, que trata da atualização da estimativa da resistência durante a cravação, com base em registros documentados durante a execução. Neste procedimento a atualização é feita através da aplicação dos conceitos da análise Bayesiana, assumindo que os parâmetros da distribuição probabilística utilizada sejam variáveis randômicas. A incerteza dos parâmetros é modelada por distribuições a priori e a posteriori. A distribuição a posteriori é calculada pela atualização da distribuição a priori, utilizando uma função de máxima verossimilhança, que contém a observação obtida dos registros de cravação. O procedimento é aplicado a um conjunto de estacas de um extenso estaqueamento executado na Zona Oeste do Rio de Janeiro. As estimativas atualizadas são posteriormente comparadas aos resultados dos ensaios de carregamento dinâmico. Várias aplicações podem surgir com o emprego deste procedimento, como a seleção das estacas que, por apresentarem reduzido valor de estimativa atualizada de resistência, ou uma maior incerteza desta estimativa, devam ser submetidas a provas de carga. A extensão deste estudo a diferentes tipos de estacas em perfis de solo de natureza distintos poderá levar ao desenvolvimento de sistemas mais adequados de controle de execução, capazes de identificar as principais incertezas presentes nos diferentes tipos de execução de estacas, contribuindo assim para a otimização de futuros projetos de fundações.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A presente dissertação procura investigar o incremento da racionalidade regulatória (ou otimização regulatória) a partir da teoria das falhas de regulação. Hoje, já parece existir um consenso teórico e prático de que a regulação e seu aparato institucional as agências reguladoras constituem fenômeno irreversível. Nesse contexto, as perguntas que se colocam são as seguintes: no plano dos resultados, o Estado Regulador tem alcançado as finalidades a que se propôs? Em caso negativo, que tipo de obstáculos o tem impedido? E mais: que providências devem ser adotadas para superá-los? Responder a tais indagações depende do reconhecimento de que não apenas os mercados são imperfeitos; também a intervenção estatal na economia gera riscos e efeitos negativos. Estudar seus tipos, suas fontes e a maneira como operam é o ponto de partida para se otimizar a regulação. O trabalho propõe uma sistematização das espécies de falhas regulatórias, baseada na proposta de Cass Sunstein, mas adaptada à realidade brasileira. A exposição é precedida de explicações introdutórias sobre o conceito de regulação; as razões para se regular; e características da regulação no Estado Democrático de Direito. Tais características conformam um ideal de racionalidade regulatória, o qual é comprometido pela instauração das falhas de regulação. Reconhecer a existência dos defeitos regulatórios e conhecê-los é já um primeiro passo para se melhorar a regulação. Mas há outros encaminhamentos deveras importantes para a prevenção e correção de falhas regulatórias. Dentre eles, destaca-se um conjunto de reformas institucionais em sentido amplo e estrito, as quais envolvem o sistema de controle pelos Poderes Legislativo, Executivo e Judiciário, e mecanismos procedimentais como a análise de impacto regulatório e a elaboração de agendas regulatórias.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Na busca por entender de que forma profissionais de contabilidade estão analisando e repassando informações, o objetivo geral do trabalho é mostrar o processo de decisão em ambiente contábil sob a ótica da Teoria dos Prospectos, buscando demostrar que as decisões, são baseadas principalmente em julgamentos, contribuindo para consciência das imperfeições dos julgamentos e decisões. O objetivo específico é testar de que forma os efeitos Framing, e Certeza podem moldar uma tomada de decisão dentro do ambiente contábil. Sendo uma pesquisa descritiva, aplicou-se questionário estruturado e não disfarçado à profissionais da área de Contabilidade. O questionário foi dividido em dois tipos (I e II), dividindo assim o campo dos ganhos e das perdas. Procurou-se através da análise do resultado dos questionários evidenciar o impactos dos efeitos nesses profissionais. Dentre o resultado, pode-se constatar que de maneira geral as questões que envolvem certeza no campo dos ganhos são as mais procuradas entre os respondentes. É possível identificar a presença do Efeito Framing. Em relação ao gênero, é possível identificar maior impacto do Efeito Framing nos homens que nas mulheres. Os Efeitos Certeza e Pseudocerteza se fazem presentes em ambos os gêneros o que demostra certa cautela frente a tomada de decisão. Através desse estudo buscou-se auxiliar os decisores na tarefa de repensar seus atuais processos de tomada de decisão, por meio da conscientização de que são dotados de uma racionalidade limitada e que seus julgamentos são passivos de desvios.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

No bojo da constitucionalização do Direito Contratual observou-se o surgimento e a posterior consolidação doutrinária do modelo social de contrato, fundado nos princípios da solidariedade, boa-fé objetiva, da função social e do equilíbrio contratual. Esse cenário levou ao abandono do modelo clássico de contrato, fundado quase que exclusivamente no consenso e no pacta sunt servanda. Os contratos empresariais não podem ficar imunes a essa situação e sofrem esse mesmo influxo constitucional. Isso significa que esses contratos, ressalvadas as características do contexto negocial, devem ser vistos dentro do mesmo modelo social. No âmbito judicial observa-se um descompasso entre novas demandas trazidas pelo modelo social de contrato empresarial, em especial os de longo prazo, e os instrumentos argumentativos normalmente utilizados no Direito pátrio. Para que essa problemática seja superada deve-se necessariamente incorporar o argumento consequencialista, bastante demandado pelo modelo social de contrato, na argumentação jurídica contratual, de modo a que se permita a inserção de novos tipos argumentativos, mas sem se perder a função de controle da decisão judicial exercida pela argumentação. Para tanto são abordadas diversas teorias da argumentação, optando-se por uma proposta fundada na construção de MACCORMICK, mesmo que ela não seja subscrita de forma integral. Assim, conclui-se traçando diretrizes gerais para que o modelo social de contrato seja aperfeiçoado no que diz respeito à a sua aplicação judicial nos casos envolvendo contratos empresarias de longo prazo. Essas diretrizes incluem a incorporação dos argumentos consequencialistas, incluindo-se tanto as consequências jurídicas quanto extrajurídicas, neste segundo caso sempre que possível a partir de argumentos científicos, bem como a utilização de um estilo argumentativo mais substantivo e menos magisterial.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Atualmente, o assunto de segurança em fundações tem despertado a atenção de diversos pesquisadores. Muitos entendem ser ultrapassada a utilização, pura e simples, de fatores de segurança em obras geotécnicas. O tratamento determinístico nos projetos de fundações não corresponde às variações e incertezas geradas em todo o processo de investigação do subsolo e processo executivo da fundação, sendo ainda o projeto de fundações um fim de linha de uma longa fila de disciplinas que a precedem e que geram também incertezas nas informações de esforços de suas estruturas e solicitações nas fundações. Porém, são as fundações as primeiras a serem executadas em qualquer obra civil. Este aspecto tem levado à necessidade crescente de verificar também a probabilidade de ruína da fundação por meio da chamada análise de confiabilidade. Com o objetivo de contribuir com a discussão sobre o emprego da análise de confiabilidade, as orientações da norma e o aprimoramento de modelos de cálculo, esta dissertação apresenta, através da aplicação em um estudo de caso, os diferentes aspectos de segurança abordados em projetos de fundações. Procura-se destacar dois tipos básicos de incertezas: aquelas inerentes à variabilidade espacial das propriedades do solo e as decorrentes do modelo de cálculo. Nesta pesquisa são procedidas inicialmente as extrapolações das curvas das provas de carga, que resultarão nos valores da função de Verossimilhança, para a atualização por Bayes. Numa segunda etapa se procede à estimativa da capacidade de carga a priori por alguns métodos consagrados e amplamente utilizados no Brasil. A atualização da estimativa da capacidade de carga é, a seguir, realizada através da metodologia de Bayes, sendo esta uma aplicação de conceitos da probabilidade condicional. A ideia de se proceder a estas duas alternativas de análise à priori foi norteada por duas motivações distintas: i) contribuir para a prática, pelo procedimento de combinação de informações num caso real bem documentado, conforme proposto por Vrouwenvelder (1992) e ii) motivar discussão de opiniões polêmicas de engenheiros de fundações brasileiros em relação à adoção de um fator de segurança inferior a 2 no caso de provas de carga especificadas na fase de projeto.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

En este trabajo examinamos si la teoría de expectativas con primas de liquidez constantes puede explicar la estructura temporal de los tipos de interés de pequeños vencimientos en el mercado interbancario de depósitos español, para datos mensuales desde 1977 hasta 1995. Utilizamos el contraste de Campbell y Shiller (1987) basado en un modelo VAR cointegrado. A partir de las estimaciones consistentes de dicho modelo obtenemos la magnitud y persistencia de los shocks a través de la simulación de la respuesta al impulso, y estimaciones eficientes de los parámetros modelizando la varianza condicional que es variable en el tiempo. En este sentido, se proponen varios esquemas de volatilidad que permiten plantear distintas aproximaciones de la incertidumbre en un entorno multiecuacional GARCH y que están basadas en el modelo de expectativas propuesto. La evidencia empírica muestra que se incumple la teoría de las expectativas, que existe una dinámica conjunta a corto plazo para los tipos de interés y el diferencial que está definida por un modelo VAR(4)-GARCH( 1,1)-BEKK (que está próximo a la integrabilidad en varianza), y que existen distintos factores de riesgo que afectan a las primas en los plazos estudiados

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Para el administrador el proceso de la toma de decisiones es uno de sus mayores retos y responsabilidades, ya que en su desarrollo se debe definir el camino más acertado en un sin número de alternativas, teniendo en cuenta los obstáculos sociales, políticos y económicos del entorno empresarial. Para llegar a la decisión adecuada no hay que perder de vista los objetivos y metas propuestas, además de tener presente el proceso lógico, detectando, analizando y demostrando el porqué de esa elección. Consecuentemente el análisis que propone esta investigación aportara conocimientos sobre los tipos de lógica utilizados en la toma de decisiones estratégicas al administrador para satisfacer las demandas asociadas con el mercadeo para que de esta manera se pueda generar y ampliar eficientemente las competencia idóneas del administrador en la inserción internacional de un mercado laboral cada vez mayor (Valero, 2011). A lo largo de la investigación se pretende desarrollar un estudio teórico para explicar la relación entre la lógica y la toma de decisiones estratégicas de marketing y como estos conceptos se combinan para llegar a un resultado final. Esto se llevara a cabo por medio de un análisis de planes de marketing, iniciando por conceptos básicos como marketing, lógica, decisiones estratégicas, dirección de marketing seguido de los principios lógicos y contradicciones que se pueden llegar a generar entre la fundamentación teórica

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Resumen tomado de la publicación. Resumen en Inglés