54 resultados para Expressões fixas e semifixas
Resumo:
Nesta dissertação, faz-se um estudo do gênero artigo científico, em especial de expressões típicas de seu desenvolvimento e organização. Essas expressões foram denominadas marcadores textuais, e os objetivos deste trabalho foram identificá-las e verificar seus padrões de uso em textos em português e inglês, em um estudo permeado pelos interesses e pelas perspectivas da tradução e apoiado pelos pressupostos da Retórica Contrastiva. Para esse fim, foram utilizados dois corpora: um em português, composto de 333 artigos, e outro em inglês, composto de 111 artigos. Os mesmos foram analisados utilizandose a ferramenta WordSmith Tools, empregada pelos estudos em Lingüística de Corpus. Os marcadores selecionados a partir dos corpora foram classificados com base nas metafunções da linguagem propostas por Halliday. Após essa classificação, comparamos as ocorrências das unidades em inglês e português, observando padrões de uso, freqüência e colocação.
Resumo:
O prognóstico dos pacientes com adenocarcinoma de esôfago é bastante prejudicado pelo seu diagnóstico tardio. Na tentativa de determinar fatores que possam alterar o prognóstico destes pacientes, o estudo da biologia molecular tem recebido grande importância. As mutações no gene de supressão tumoral TP53 estão entre as anormalidades genéticas mais comuns encontradas numa ampla variedade de tumores. A angiogênese é essencial para o crescimento e a metastatização de tumores sólidos. O Fator de Crescimento do Endotélio Vascular (VEGF, Vascular Endothelial Growth Factor), um fator de crescimento identificado recentemente com propriedades angiogênicas significativas, pode ser um importante regulador desta angiogênese tumoral. A associação entre as expressões da proteína p53 e do VEGF e o prognóstico tem sido pouco estudada. Foram estudados 46 pacientes com adenocarcinoma de esôfago submetidos à cirurgia de ressecção com intenção curativa. As expressões da proteína p53 e do VEGF foram observadas por análise imuno-histoqímica em 52,2% e 47,8% dos tumores, respectivamente. As expressões da proteína p53 e do VEGF coincidiram em 26% dos casos, e não foi encontrada correlação entre essa expressão. Nenhum dos fatores clinicopatológicos se correlacionaram significativamente com as expressões da proteína p53 ou do VEGF. Não houve associação significativa entre as expressões da proteína p53 e do VEGF e sobrevida a longo prazo. No presente estudo, a expressão da proteína p53 e do VEGF, embora em porcentagem similar à da literatura, não se correlacionou com o prognóstico em pacientes com adenocarcinoma de esôfago submetidos à cirurgia com intenção curativa.
Resumo:
Abordagens clássicas de linguagens de consultas para bancos de dados possuem certas restrições ao serem usadas, diretamente, por aplicações que acessam dados cujo conteúdo não é completamente conhecido pelo usuário. Essas restrições geram um cenário onde argumentos de consultas, especificados com operadores boleanos, podem retornar resultados vazios. Desse modo, o usuário é forçado a refazer suas consultas até que os argumentos usados estejam idênticos aos dados armazenados no banco de dados. Em bases XML, este problema é reforçado pela heterogeneidade das formas em que a informação encontra-se armazenada em diferentes lugares. Como solução, uma alternativa seria o uso de funções de similaridade na substituição de operadores boleanos, a fim de que o usuário obtenha resultados aproximados para a consulta especificada. Neste trabalho é apresentada uma proposta para suporte a argumentos de consulta vagos através da extensão da linguagem XPath. Para isso, são utilizadas expressões XPath que utilizam novas funções, as quais são, diretamente, adicionadas ao processador da linguagem de consulta. Além disso, é apresentada uma breve descrição das métricas de similaridade utilizadas para a criação das funções. As funções que foram adicionadas a um processador XPath possuem uma ligação muito estreita com as métricas utilizadas. Como as métricas, as funções trabalham com valores simples (elementos atômicos) e compostos (elementos complexos). As funções que trabalham com elementos atômicos podem ser classificadas tanto pelo tipo de dado que será analisado, como pelo tipo de análise que será feita. As funções para elementos complexos comparam conjuntos de elementos atômicos de acordo com a forma do agrupamento (conjunto, lista ou tupla).
Resumo:
Este trabalho apresenta a estruturação de um controle difuso, para a automação de reatores seqüenciais em batelada (RSB), no processo de remoção biológica de matéria orgânica e nitrogênio em águas residuárias domésticas, utilizando parâmetros inferenciais, pH, ORP e OD, em que as variáveis controladas foram as durações da reação aeróbia e anóxica. O experimento, em escala de bancada, foi composto por dois reatores seqüenciais em batelada, com volume útil de 10 L, no qual 6 L foram alimentados com esgoto sintético, com características de águas residuárias domésticas. O sistema de automação foi composto pela aquisição dos parâmetros eletroquímicos (pH, ORP e OD), pelos dispositivos atuadores (motor-bomba, aerador e misturador) e pelo controle predeterminado ou difuso. O programa computacional CONRSB foi implementado de forma a integrar o sistema de automação. O controle difuso, implementado, foi constituído pelos procedimentos de: normalização, nebulização, inferência, desnebulização e desnormalização. As variáveis de entrada para o controlador difuso, durante o período: aeróbio foram dpH/dt, dpH/d(t-1) e o pH ; anóxico foram dORP/dt, dORP/d(t-1) e o OD. As normalizações das variáveis crisps estiveram no universo de [0,1], utilizando os valores extremos do ciclo 1 ao 70. Nas nebulizações foram aplicadas as funções triangulares, as quais representaram, satisfatoriamente, as indeterminações dos parâmetros. A inferência nebulosa foi por meio da base heurística (regras), com amparo do especialista, em que a implicação de Mamdani foi aplicada Nessas implicações foram utilizadas dezoito expressões simbólicas para cada período, aeróbio e anóxico. O método de desnebulização foi pelo centro de áreas, que se mostrou eficaz em termos de tempo de processamento. Para a sintonia do controlador difuso empregou-se o programa computacional MATLAB, juntamente com as rotinas Fuzzy logic toolbox e o Simulink. O intervalo entre as atuações do controlador difuso, ficou estabelecido em 5,0 minutos, sendo obtido por meio de tentativas. A operação do RSB 1, durante os 85 ciclos, apresentou a relação média DBO/NTK de 4,67 mg DBO/mg N, sendo classificado como processo combinado de oxidação de carbono e nitrificação. A relação média alimento/microrganismo foi de 0,11 kg DBO/kg sólido suspenso volátil no licor misto.dia, enquadrando nos sistemas com aeração prolongada, em que a idade do lodo correspondeu aos 29 dias. O índice volumétrico do lodo médio foi de 117,5 mL/g, indicando uma sedimentação com características médias. As eficiências médias no processo de remoção de carbono e nitrogênio foram de 90,8% (como DQO) e 49,8%, respectivamente. As taxas específicas médias diárias, no processo de nitrificação e desnitrificação, foram de 24,2g N/kg SSVLM.dia e 15,5 g N/kg SSVLM.dia, respectivamente. O monitoramento, em tempo real, do pH, ORP e OD, mostrou ter um grande potencial no controle dos processos biológicos, em que o pH foi mais representativo no período aeróbio, sendo o ORP e o OD mais representativos no período anóxico. A operação do RSB com o controlador difuso, apresentou do ciclo 71 ao 85, as eficiências médias no processo de remoção de carbono e nitrogênio de 96,4% (como DQO) e 76,4%, respectivamente. A duração média do período aeróbio foi de 162,1 minutos, que tomando como referência o período máximo de 200,0 minutos, reduziu em 19,0% esses períodos. A duração média do período anóxico foi de 164,4 minutos, que tomando como referência o período máximo de 290,0 minutos, apresentou uma redução de 43,3%, mostrando a atuação robusta do controlador difuso. O estudo do perfil temporal, no ciclo 85, mostrou a atuação efetiva do controlador difuso, associada aos pontos de controle nos processos biológicos do RSB. Nesse ciclo, as taxas máximas específicas de nitrificação e desnitrificação observadas, foram de 32,7 g NO3 --N/kg sólido suspenso volátil no licor misto.dia e 43,2g NO3 --N/kg sólido suspenso volátil no licor misto.dia, respectivamente.
Resumo:
Este trabalho aborda o processo de construção do porto de Porto Alegre pelas administrações do PRR no Governo Estadual durante a primeira onda modernizadora na cidade no início do século XX. Nesse contexto, as ações da engenharia e do urbanismo na cidade são vistas enquanto manifestações específicas de um imaginário urbano mais amplo constituído ao longo da modernidade industrial, sendo o porto considerado como o elemento que sintetizou o imaginário de “modernização” e de “progresso” da cidade e do estado. Seguimos a linha de pesquisa Cidade, Cultura e Política, utilizando os conceitos de imaginário social e imaginação. Junto da análise dos objetos técnicos propriamente ditos, como planos, projetos e obras, buscamos seus significados profundos e conteúdos não explicitados. A investigação foi feita sobre os relatórios da Diretoria de Viação Fluvial da Secretaria de Obras Públicas do Estado entre os anos de 1895 e 1930, quando foram abertos os canais de navegação até Rio Grande e construído o cais Mauá, com a ampliação e reformulação das áreas adjacentes no centro histórico da cidade. Também foi levada em conta a dimensão econômica do porto de Porto Alegre como parte de um amplo sistema de transportes que o Governo Estadual implantou no Rio Grande do Sul dentro da “Política de Desenvolvimento Global”, que visava dinamizar a economia e promover o desenvolvimento equilibrado do estado. São analisadas as transferências de modelos urbanos e tecnológicos dos grandes centros europeus para o contexto local por meio de projetos e idéias que influenciaram o pensamento e as ações dos profissionais locais. Da mesma forma é abordada a política federal para a modernização dos portos pelo “Plano de melhoramento dos portos da República”, de 1907. Enfocamos as motivações que levaram à construção do porto, as discussões a seu respeito, os projetos elaborados, inclusive os não executados, e por fim as obras realizadas. O urbanismo e a técnica são entendidos como expressões culturais e produção imaginária, abarcando conteúdos mais amplos da cosmovisão dos agentes envolvidos, de acordo com a metodologia da História Cultural aqui adotada.
Resumo:
Processos químicos integrados apresentam uma maior dificuldade para garantir o controle global da planta em função das fortes interações que se estabelecem entre as variáveis de processo. A área de estudo conhecida como Plant Wide Control preocupa-se em propor soluções a este problema de controle. Soluções típicas consistem no projeto de estruturas de controle, a partir de técnicas quantitativas de análise da controlabilidade operacional. Entretanto a dificuldade em obter-se modelos confiáveis na fase de projeto de processos, bem como as incertezas derivadas das não-linearidades de sistemas reais, são alguns exemplos das dificuldades que limitam a aplicabilidade de tais métodos e incentivam o desenvolvimento de heurísticas capazes de auxiliar a seleção de estruturas de controle adequadas. Nesta dissertação são utilizadas análises estruturais e técnicas quantitativas no estudo de sistemas simplificados e hipotéticos, permitindo a formulação de heurísticas comprometidas com o controle global do balanço material. O resultado destas análises mostra ser possível implementar uma estrutura de base, de configuração feedforward, fundamentada na garantia de baixa variabilidade do tempo de residência do sistema reacional, através de controle direto ou flutuação do inventário, e na proporcionalidade entre as correntes de processo, via introdução de razões fixas entre as vazões da planta. A utilização destas duas heurísticas garante a estabilidade do balanço material frente a variações da taxa de produção, mesmo sem a implementação de controladores de composição. Em um nível supervisório, são introduzidas malhas de controle feedback, em cascata com a estrutura de base, a fim de corrigir off-sets e controlar composições sob um horizonte de tempo longo de resposta. As estruturas de controle projetadas a partir desta base heurística apresentam um desempenho satisfatório para a rejeição de distúrbios sobre a taxa de produção, de acordo com os resultados de validação do estudo de caso Tennessee Eastman.
Resumo:
Este trabalho trata da identidade palestina e dos processos sociais de construção de identidade étnica observados no extremo sul do Brasil. Focaliza os processos de recriação de tradições e as negociações sociais que agiram no sentido de configurar um grupo étnico. Este estudo é uma etnografia desenvolvida a partir da observação participante e da análise de documentos produzidos pelos entrevistados que vivem na Chuí (Rio Grande do Sul) na fronteira entre Brasil e Uruguai. Através da investigação de uma das falas recorrentes - “aqui é tudo palestino” -, revela-se o universo de situações sociais e negociações que configuram uma identidade social e os conflitos envolvidos na produção de uma “comunidade árabe” como um grupo minoritário. Analisa-se as expressões da identidade social relativas a um reconhecimento como palestinos, focalizando as diversas ações empreendidas do início da década de 80 até o fim dos anos 90. O estudo aborda os mecanismos e processos sociais que deram vitalidade à identidade social e à proeminência de uma identidade étnica, entre eles: as viagens à Palestina e o modo como estas viagens incidem sobre a descoberta da identidade palestina; as festas de casamentos que estreitam laços entre famílias e que reverberam na produção de uma “família árabe”; e o interesse pela política partidária local como um palco específico em que uma identidade social se configura como identidade étnica, traçando fronteiras simbólicas e revitalizando a preocupação com os destinos e lideranças da “comunidade árabe”.
Resumo:
Esta dissertação propõe uma leitura textual do romance Notre-Dame de Paris, de Victor Hugo, a partir de algumas imagens singulares apresentadas nesta produção hugoliana. O objetivo deste percurso de pesquisa consiste em evidenciar a leitura simbólica da obra em questão, captada das relações da literatura com a arquitetura, configurada por algumas imagens nucleares, como Anankè, que assombra as figuras que povoam o romance, como o advento da imprensa, como a lucarna, como a cela do padre, entre outras. Sob este ângulo, acredita-se que o campo psicanalítico permite decifrar os efeitos do enigma e da fascinação produzidos pela obra hugoliana sobre o leitor. Nesse sentido, considera-se que o inconsciente representa o ponto de irradiação das pulsões, território que vai traduzir as relações espaciais da literatura com a arquitetura, enquanto expressões do simbólico. Desta maneira, o caminho de pesquisa se articula em três capítulos. Enquanto o primeiro, intitulado "Notre-Dame de Paris e a representação por imagens", visa a situar este percurso de pesquisa do ponto de vista do corpus teórico, representado, sobretudo, por Barthes e Blanchot, no que se refere à literatura, e por Freud, no que se refere à psicanálise; o segundo, intitulado "Notre-Dame de Paris e a crítica literária", procura apresentar uma leitura crítica baseada em quatro prefácios diferentes, de Notre-Dame de Paris: enfatizam o que seus autores destacam no contexto histórico que aparece escondido sob as imagens impostas pela escritura hugoliana; finalmente, o terceiro, intitulado "Imagens simbólicas de Notre-Dame de Paris", estabelece a leitura textual das imagens simbólicas que se produzem em Notre-Dame de Paris, intermediadas pelo cruzamento da literatura com a arquitetura.
Resumo:
Esta dissertação trata da elaboração de uma ferrramenta para a geração de filtros FIR otimizados paralelos com coeficientes constantes. A ferramenta desenvolvida é capaz de gerar uma descrição VHDL de um filtro FIR paralelo com coeficientes constantes a partir das especificações do filtro. São exploradas técnicas de otimização de coeficientes e de otimização arquitetural. As técnicas empregadas são baseadas no uso de representações ternárias e redução do número de digitos não-zero dos coeficientes, uso de fatores de escala e eliminação de sub-expressões comuns. No texto, uma breve introdução sobre os filtros digitais é apresentada seguida por uma série de trabalhos encontrados na literatura relacionados às técnicas mencionadas e que são apresentados como base para o desenvolvimento da ferramenta implementada nesta dissertação. O funcionamento da ferramenta é detalhado tanto nos seus aspectos de algoritmo quanto em nível de implementação. São apresentados resultados de síntese em alguns de filtros hipotéticos projetados utilizando a ferramenta desenvolvida. Uma análise detalhada dos resultados obtidos é realizada. Os apêndices deste trabalho apresentam o código fonte da ferramenta de síntese de filtros desenvolvida.
Resumo:
Introdução: a incidência dos melanomas permanece em ascensão em diversos países. Os nevos melanocíticos podem ser seus precursores ou marcadores de risco. A radiação ultravioleta é o principal fator de risco ambiental para o seu desenvolvimento. Estudos com nevos irradiados mostram que a radiação ultravioleta B (UVB) pode causar alterações morfológicas e bioquímicas semelhantes às de um melanoma in situ. As metaloproteinases da matriz (MMP) são enzimas proteolíticas e, particularmente, as MMP-2 e –9 (gelatinases A e B) parecem estar associadas à invasão tumoral, à formação de metástases e de neoangiogênese em melanomas. O objetivo do presente estudo é avaliar os efeitos da UVB nas expressões imunoistoquímicas de MMP-2 e –9 nas diferentes linhagens celulares de nevos melanocíticos. Métodos: quarenta e dois nevos melanocíticos tiveram suas metades irradiadas com dose de 2 DEM (dose eritematosa mínima) de UVB e foram excisados uma semana após. As expressões imunoistoquímicas das MMP-2 e -9 foram comparadas, quanto à sua intensidade, por três avaliadores diferentes entre os lados irradiados e não irradiados em queratinócitos, melanócitos de epiderme e derme superior, células endoteliais e fibroblastos. Os dados foram analisados pelo teste t pareado para as diferenças de expressão e pelo ICC para avaliação da homogeneidade entre as respostas dos observadores. Resultados: com relação à expressão imunoistoquímica de MMP-2, todas as linhagens celulares mostraram aumento no lado irradiado, especialmente os melanócitos epidérmicos. Quanto à MMP-9, somente nos queratinócitos, não se observou aumento de expressão do lado irradiado, ficando essa evidente nas demais linhagens celulares avaliadas. Conclusões: A UVB na dose de 2 DEM aumenta a expressão imunoistoquímica das MMP-2 e –9 em quase todas as linhagens celulares dos nevos melanocíticos avaliados até uma semana após a irradiação, com exceção feita queratinócitos, com a MMP-9.
Resumo:
Esta pesquisa, que se insere no âmbito dos estudos de Terminologia, visa contribuir para a descrição da linguagem médica sobre AIDS. Para tanto, examina a incidência de expressões potencialmente metafóricas em textos da Revista da Associação Médica Brasileira que cobrem o período de 1984 a 2002. Esses textos perfazem um corpus de 57.842 palavras. Na revisão da literatura, é feito um panorama da trajetória dos estudos de metáfora, desde a visão mais tradicional até as vertentes mais recentes, como a da cognição. Em seguida, é apresentada a inserção do tema metáfora no âmbito dos estudos de Terminologia e de outros estudos dedicados a textos técnico-científicos. A partir da revisão da literatura, é estabelecido um conceito referencial de expressão potencialmente metafórica (EPM) que é um enunciado com apresentação sintagmática formado por pelo menos um termo mais uma palavra lexical (substantivo, adjetivo, verbo) ou uma locução (verbal, adjetival). É considerado potencialmente metafórico o contexto de ocorrência de um termo combinado com palavra(s) ou locução que estabelecer entre si uma distância semântica. O ponto de partida para a observação é uma lista de termos que sintetiza outras duas listas de palavras-chave relacionadas à AIDS. Uma delas foi composta a partir dos unitermos indicados no próprio corpus; a outra lista corresponde à nominata de um glossário sobre AIDS feito pelo Ministério da Saúde do Brasil. A fusão dessas duas listas fornece um conjunto de 113 termos. Com a ferramenta Wordlist do programa Wordsmith Tools, são arrolados todos os contextos de ocorrência desses termos, sendo que cada contexto está limitado a um período de ocorrência. São examinados, assim, 2.578 períodos. A partir desses períodos, são identificados 87 padrões de EPMs. A pesquisa conclui que o tipo de EPM de maior ocorrência é o de personificação, tendo predominado um efeito de sentido de poder e capacidade associado à terminologia. Ao final do trabalho, são tecidas algumas considerações sobre um efeito estigmatizante atribuído por alguns autores à funcionalidade da metáfora no texto sobre AIDS, efeito que poderia gerar resultados negativos para políticas de saúde pública relacionadas à doença, além de acentuar dificuldades para o próprio paciente de AIDS.
Resumo:
As propriedades metalúrgicas e mecânicas de uma liga metálica dependem fundamentalmente do fenômeno de solidificação e dos parâmetros associados a este. O trabalho proposto analisa a solidificação em uma primeira etapa para o projeto e otimização de moldes de fundição em areia. Nessa etapa utilizou-se como ferramenta um software comercial e resultados experimentais obtidos na indústria. Em uma segunda etapa do trabalho foi investigado as características de solidificação e suas influencias nas propriedades mecânicas e metalúrgicas de ligas de latão. A liga de latão 60/40, foi vazada em molde de areia com base de cobre objetivando uma condição de solidificação unidirecional. O monitoramento de temperaturas foi realizado utilizando-se termopares do Tipo K posicionados ao longo da altura do lingote. O lingote solidificado foi dividido em várias secções ao longo de sua altura, e para cada secção foram retirados corpos de provas e ensaiados segundo as normas ASTM E 8M-97 e ASTM E 18 – 94 para os ensaios mecânicos (σu, HRB e HV) e ASTM E112 para análise metalográfica. Os resultados da solidificação, como por exemplo o espaçamento dendritico secundário foram correlacionados com o comportamento da transferência de calor no sistema, tomando como parâmetros o gradiente térmico, a velocidade da interface (S/L) e a taxa de resfriamento, os quais foram obtidos experimentalmente. Estas características do processo metalúrgico e os resultados da solidificação foram relacionados com as propriedades mecânicas como a resistência à tração (σu) e a dureza (HRB e HV). Foram obtidas, empiricamente, expressões do tipo σu = f( λ2), HRB = f( λ2) , HV = f( λ2) e σu = f( HRB). Os resultados se mostraram coerentes com os dados da literatura e a relação de Hall-Petch que associa a dureza HRB com o espaçamento dendritico secundario. Palavras Chaves: modelagem em areia, microestrutura, propriedades mecânicas, liga de latão, solidificação, EDS.
Resumo:
Os objetivos da presente tese visam determinar os custos médico-hospitalares e aqueles referentes à perda de uma vida ou valor da vida estatística (VVE) para os acidentados no trânsito. Para o primeiro objetivo, a pesquisa ex-post facto foi realizada no arquivo médico do Hospital Cristo Redentor (SAME-HCR), situado na cidade de Porto Alegre e especializado no atendimento a pacientes traumatizados. A análise dos prontuários para verificar a gravidade das lesões, assim como o custo resultante de cada acidentado, envolveu a identificação daqueles tratados através de convênios e particulares, bem como através do Sistema Unificado de Saúde (SUS). Foram consultados 186 prontuários e gerados dois modelos, sendo um linear múltiplo e outro multiplicativo. O modelo multiplicativo resultou mais robusto. Os custos médios de lesões severas estão em torno de US$ 4.000 e US$ 7.000, respectivamente, para pacientes atendidos através do SUS ou por convênio ou particular. No segundo objetivo, foram utilizadas duas metodologias para determinação do VVE. A primeira metodologia utilizou as técnicas de Preferência Declarada (PD) através da escolha de alternativas com multi-atributos. Na segunda, foi empregada a análise contingente que utiliza um único atributo, denominada referendum (AR). A pesquisa foi realizada de forma presencial junto a 419 motoristas amadores dos quais 41% apresentaram comportamento lexicográfico. Com a metodologia PD, a faixa de variação do VVE em um acidente com morte foi de US$ 119 a 333 mil, aproximadamente, considerando os modelos válidos O valor da hora, utilizado para controle do experimento, ficou contido na faixa entre US$ 1,33 a 2,56. A metodologia AR, utilizada na forma exploratória, está baseada na função utilidade que possibilita disposição de pagar individual negativa. Como decorrência, o valor médio e mediano da disposição de pagar dos indivíduos (DDP) resultou positivo ou negativo dependendo dos coeficientes obtidos na estimação. Esse fato determinou o emprego de expressões para o cálculo da média e mediana, considerando também o truncamento da função logística somente para valores positivos. Os valores obtidos para o VVE apresentaram grande flutuação.
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-π.
Resumo:
A tese tem como tema o segmento popular da grande imprensa, mais especificamente os Lugares de Fala dos leitores no jornal Diário Gaúcho (DG). O DG, editado pela Rede Brasil Sul de Comunicação no Rio Grande do Sul, é lido por mais de um milhão de leitores das classes B, C e D. Dedica-se à prestação de serviço, ao entretenimento e à concessão de ampla visibilidade aos seus leitores populares. A análise parte da noção de que a categoria do sensacionalismo perdeu seu vigor para caracterizar essa imprensa tanto por sua inconsistência, quanto pela mudança de perfil dos jornais populares. No caso do DG, é a fala do leitor popular que faz a diferença. Para explicar essa visibilidade, o estudo busca, a partir de conceitos da Sociologia de Pierre Bourdieu, dos Estudos Culturais e dos Estudos do Discurso, a formulação do conceito de Lugares de Fala, entendido como a representação, no texto, das posições sociais e da posse de capital simbólico do jornal e do leitor e do conceito prévio que têm de si e do outro. O trabalho analisa os lugares que a fala do leitor assume no jornal e aborda o jornalismo de referência e o jornalismo popular, para compreender quem é autorizado a falar em cada um deles. Pesquisa como o discurso do DG movimenta-se em conformidade com sua lógica heterônoma em relação aos valores tradicionais do jornalismo de referência. Estuda a apropriação de características culturais historicamente consideradas populares e debate algumas conseqüências da ênfase da fala do leitor popular para o habitus jornalístico. A tese também utiliza-se dos conceitos de Modos de Endereçamento e Matrizes Culturais para resgatar a representação do leitor popular e os elementos do folhetim e do melodrama presentes nessa imprensa. Descreve a interpelação e as representações do leitor a partir da análise de 28 edições do jornal, especialmente de suas seções fixas destinadas a essa fala. Reflete sobre o lugar da fala popular no jornalismo, aborda que lugares são esses e questiona em que medida o jornalismo é lugar de tais falas.