Antonomásias discursivas do nome próprio: uma abordagem semiótico-funcional e cognitiva

Nas gramáticas tradicionais da língua portuguesa, o estudo sobre a antonomásia, figura de linguagem que designa o processo de passagem de um nome próprio a um nome comum e vice-versa, é visto ora ligado ao conceito de metáfora, ora ligado à relação parte- todo, isto é, à metonímia. Na maioria das vezes, os exemplos mostrados nessas abordagens tradicionais estão descontextualizados, ou seja, não são retirados de um emprego discursivo- dialógico da língua. O principal objetivo desta tese é fazer uma reflexão sobre o potencial semiótico- funcional e cognitivo dos nomes próprios nas antonomásias discursivas, ou seja, aquelas que ainda não estão dicionarizadas, porque são temporárias, e, consequentemente, sua interpretação pertence ao âmbito do processamento discursivo. Tendo como base teórica a teoria dos Espaços Mentais em seu segundo momento, reconhecida como teoria da Integração Conceptual (FAUCONNIER; TURNER, 2002), e a teoria da Iconicidade Verbal, desenvolvida por Simões (2009), baseada nos estudos semióticos de Charles Sanders Peirce, analisar-se-ão, nesta tese, os seguintes aspectos do nome próprio nas antonomásias discursivas: a forma do nome próprio, ou seja, sua plasticidade, que é a característica central da iconicidade diagramática, e a iconicidade isotópica, que age como uma espécie de condutor temático para a formação de sentido de um texto. Esses dois tipos de iconicidade se inserem numa rede mais ampla de signos denominada iconicidade verbal, ou lexical (SIMÕES, 2004), que abrange efeitos tanto de ordem discursiva (discursivização) como de ordem estilística. Assim, ao se conceber o estudo das antonomásias discursivas do nome próprio em uma perspectiva semiótico- discursiva e cognitiva, ter-se-á dado mais um passo nos estudos dos itens lexicais que atuam como organizadores de sentido de um texto

A representação dos atores sociais em textos jurídicos sobre o sistema de cotas sob a perspectiva da linguística sistêmico-funcional

O presente trabalho está inserido nas pesquisas sobre linguagem no contexto jurídico, e busca responder às seguintes questões: como os atores sociais beneficiários de cotas para ingresso nas universidades públicas são representados em um conjunto de textos, produzidos pelo Poder Público Brasileiro, acerca do próprio sistema de cotas? E como o Sistema da Transitividade demonstra quem são as forças ativas e as forças passivas da questão das cotas? Para isso, buscou-se um corpus heterogêneo composto pelo voto do Ministro Ricardo Lewandowsky na ADPF168, que decidiu a polêmica das cotas, bem como os textos que apresentam relações de intertextualidade com o julgamento, sejam eles anteriores ao voto, como, a Constituição da República Federativa do Brasil de 1988, em especial o artigo 5, caput e inciso I, e a Lei do Estado do Rio de Janeiro n 4151 de 2003; ou posteriores, como a Lei 12.711 de 29 de agosto de 2012, que veio em resposta ao texto do Supremo Tribunal Federal. A pesquisa tem natureza qualitativa interpretativa, insere-se no ramo da Linguística Sistêmico-Funcional, em especial na Representação dos Atores Sociais de van Leuween (1996) e no Sistema de Transitividade proposto por Halliday (2004)

Itens de prova do Enem: cognição e ação à luz da linguística sistêmico-funcional

Este estudo investiga a Matriz de Referência e 117 itens de provas de Linguagens, Códigos e suas Tecnologias, do Exame Nacional do Ensino Médio (Enem), no período compreendido entre 2009 e 2013, a fim de se estabelecerem relações entre os enunciados de comando dos itens e as ações requeridas do participante, focalizando-se especialmente os processos verbais. A leitura do material teórico-metodológico que constitui o Enem revela uma visão sociointeracionista de língua, centrada no desenvolvimento de competências e habilidades que levarão o aluno ao domínio da língua, importante fator de representação e inclusão social. Por extensão, tal concepção permite compreender a prova do Enem como um ato de interação entre o agente público organizador e os participantes do exame. Como principal referencial teórico, elegeu-se a Linguística Sistêmico-Funcional (HALLIDAY; MATTHIESSEN, 2004), enfocando-se especialmente a metafunção ideacional do sistema de transitividade, por ser ela a reveladora da experiência e da representação de mundo, sendo capaz, portanto, de expressar os sentidos de aprendizagem linguística e de ação por meio da língua materna/linguagem. Dois objetivos orientaram este estudo. O objetivo específico consistiu em verificar a relação entre os processos verbais mais recorrentes na Matriz e nos itens analisados, a fim de compreender a relação entre o comando do item e a ação de um cidadão letrado, competente e hábil para a produção e recepção de textos em língua materna. Como objetivo geral, espera-se que este estudo possa contribuir para o ensino da Língua Portuguesa, a partir da análise e das reflexões desenvolvidas. Percorreu-se do suporte legal que dá origem ao Enem à configuração do item como um gênero textual para, então, passar-se ao exame do corpus. O exame da Matriz de Referência para a área de Linguagens, Códigos e suas Tecnologias e dos itens selecionados apontou a predominância de processos materiais, mentais e relacionais nos enunciados de comando, que, por sua vez, deflagram ações mentais cognitivas nos participantes. Esse resultado indica que dominar a língua para atuar na sociedade com autonomia e competência implica, principalmente, a mobilização interna e intelectual do indivíduo, com base em seus conhecimentos e reflexões.

As representações de Deus em Caim, de José Saramago: um estudo sistêmico-funcional

Uma das instâncias de representação do mundo é a linguagem. Por meio da língua representamos dados de nossa experiência física e psíquica, ou seja, representamos a realidade que nos cerca. Investigar como o homem representa essa realidade é uma questão inesgotável. Desse modo, é necessário selecionar um aspecto dessa realidade, i.e., fazer um recorte. Para tratar de como o homem representa o mundo, foi escolhido como objeto de pesquisa uma das mais recorrentes representações feitas pela humanidade, a saber, deus. Os questionamentos em torno do personagem deus podem ser considerados uma das questões ontológicas do homem. No âmbito dos estudos da linguagem, a Linguística Sistêmico-Funcional mostra-se como suporte teórico ideal, pois entende que a linguagem possui a habilidade de representar a realidade. O propósito da linguagem de representar ideias e expressar experiências remete à Metafunção Ideacional que tem como ferramenta de análise o Sistema de Transitividade. Sendo assim, nosso objetivo é investigar, por meio do Sistema de Transitividade da LSF, que representações de deus José Saramago nos mostra em seu último romance, Caim, e responder às seguintes perguntas: Qual a representação do personagem Deus em Caim a partir da investigação dos enunciados do narrador, do personagem Caim e do próprio personagem Deus? A análise linguística corrobora ou não o posicionamento de Saramago expresso por meio de um narrador que se coloca contra Deus? Como a análise linguística pode corroborar e sustentar uma análise literária? O conceito de religião e a relação homem-deus têm uma presença constante na obra de Saramago e, em Caim, o autor desconstrói uma tradição judaico-cristã, através das próprias narrativas bíblicas do Velho Testamento. Por meio dos processos analisados é possível observar que o divino, na obra em questão, é revestido de características humanas, é vingativo, rancoroso e demonstra pouquíssima compaixão por suas criaturas. Para Saramago, o Deus cristão faz dos seres humanos suas marionetes, por exemplo, quando induz Caim ao primeiro homicídio da historia cristã. Desse modo, o autor desconstrói a concepção judaico-cristã do Deus justo, onipotente, onisciente e bondoso. Para o autor, Deus é egoísta, vingativo e se deixa levar pela ira

Modelo para programação visual de matrizes (MVM): uma nova abordagem para visualização, manipulação e programação de algoritmos matriciais.

Para muitos usuários, a programação visual é uma alternativa atrativa às linguagens de programação textuais. Uma das razões para esta atração é que a representação visual de um problema está muito mais próxima com a forma pela qual a solução é obtida ou entendida se comparada à representação textual. Este trabalho apresenta um modelo para a programação visual de matrizes baseado nos paradigmas de fluxo de dados e planilhas eletrônicas. O fluxo de dados e a planilha forma a base semântica da linguagem, enquanto as representações gráficas do grafo direcionado e de uma planilha fundamentam sua base sintática. Este modelo consiste em um conjunto de diagramas bidimensionais e de regras de transformação. Os processos são implementados como redes de fluxo de dados e os dados são representados por planilhas. As planilhas podem ser vistas como variáveis do tipo matriz que armazenam dados bidimensionais, ou como funções, que recebem e produzem valores utilizados por outros processos. Neste caso, as planilhas são programadas seguindo o paradigma de programação por demonstrações que incorporam um poderoso construtor de interação, reduzindo significativamente a utilização de recursos e repetições. O modelo proposto pode ser utilizado em diversos domínios de aplicação, principalmente para simplificar a construção de modelos matemáticos de simulação e análise estatística.

A programação linear no 11º ano : estratégias e dificuldades na resolução de problemas

Relatório da Prática de Ensino Supervisionada, Mestrado em Ensino da Matemática, Universidade de Lisboa, 2015

Estudio funcional del saber deportivo para la comprensión de la táctica.

Resumen tomado de la publicación

Eficacia de la ense??anza adaptativa en el aprendizaje del ingl??s de personas adultas

Resumen tomado de la publicaci??n

Linguagens de programação aderentes ao paradigma adaptativo

An adaptive device is made up of an underlying mechanism, for instance, an automaton, a grammar, etc., to which is added an adaptive mechanism that is responsible for allowing a dynamic modification in the structure of the underlying mechanism. Adaptive languages have the basic feature of allowing the development of programs that self-modify through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology suggests a new way of thinking. The adaptive programming style may be a feasible alternate way to obtain selfmodifying consistent codes, which allow its use in modern applications for self-modifying.

Geração de código no projeto de sistemas reativos a partir da linguagem RS

A linguagem síncrona RS é destinada ao desenvolvimento de sistemas reativos. O presente trabalho tem como objetivo criar meios que facilitem o uso da linguagem RS no projeto e implementação desses sistemas, permitindo que, à partir da especificação de um sistema reativo, seja realizada a sua implementação de forma automática. Deste modo, a linguagem RS é utilizada para a descrição do comportamento de um sistema em um alto nível de abstração, antes de serfeitas a decomposição do sistema em componentes de software ou hardware. A implmentação do protótipo do sistema computacional dedicado é obtida através de uma síntese automática desse modelo de alto nível. Foram implementados geradores de código que utilizam o código objeto fornecido pelo compilador da linguagem RS. Os geradores fazem a tradução para a linguagem C, para a linguagem JAVA, ou para a linguagem de descrição de hardware VHDL. A partir da síntese desses códigos poderá ser obtida a implementação do sistema em um micrcoomputador comercial, em um microcomputador Java de dedicado (ASIP Java), ou em um hardware de aplicação específica (ASIC). Foram realizados estudos de caso representativos dos sistemas reativos embaraçados e de tempo rel. Estes estudos de caso serviram para validar os geradores de código bem como para analisar o uso da linguagem RS no projeto e implementação desses sistemas.

Desenvolvimento de sistemas tempo-real usando orientação a objetos : estudo sobre o mapeamento de especificações para linguagens de programação

Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.

Uma Linguagem visual de consulta a XML baseada em ontologias

O volume de informações armazenadas e representadas em XML cresce rapidamente, abrangendo desde a Web até bancos de dados corporativos. Nesse contexto, surge a necessidade de mecanismos de recuperação de dados nesse formato que sejam, ao mesmo tempo, mais eficientes e mais eficazes. Várias propostas de linguagens de consulta têm sido feitas, dentre as quais podem ser citadas XQL, XML-QL e Quilt. Essas linguagens, todas textuais, são mais indicadas para manipulação programática ou para usuários experientes. Visando atingir também os usuários menos experientes, foram propostas linguagens visuais, tais como XML-GL e Xing. Todas essas linguagens, entretanto, apresentam duas características comuns: a) o usuário precisa conhecer, pelo menos em um certo nível, a estrutura interna dos documentos; b) a mesma informação, se armazenada de formas diferentes, exige instruções de consulta diferentes. A solução para esses problemas apresentada neste trabalho envolve a utilização de um modelo conceitual para representar os conceitos e as relações entre conceitos que ocorrem em documentos XML pertencentes a um determinado domínio de problema. O modelo conceitual é representado por uma ontologia do domínio do problema. Essa associação permite que consultas possam ser elaboradas tendo como base os conceitos da ontologia. Para permitir a associação da ontologia a conjuntos de documentos XML, apresentam-se regras de mapeamento que permitem definir se um documento XML é compatível com uma determinada ontologia. A partir dessa definição, propõe-se uma linguagem visual para consultas a documentos XML com base em ontologias, e apresenta-se uma proposta de interface visual para essa linguagem.

Tópicos em programação dinâmica

Muitos problemas de Dinâmica em Economia se encaixam dentro de uma estrutura de modelos de decisão seqüencial, sendo resolvidos recursivamente. Programação Dinâmica uma técnica de otimização condicionada que se encarrega de solucionar problemas desse tipo. Esse trabalho tem como objetivo apresentar uma resenha dos principais resultados teóricos em Programação Dinâmica. Os métodos da Programação Dinâmica são válidos tanto para problemas determinísticos como para os que incorporam variável incerteza. esperada objetividade de uma dissertação de Mestrado, no entanto, nos impediu de extender análise, deixando assim de considerar explicitamente neste trabalho modelos estocásticos, que teria enriquecido bastante parte destinada aplicações Teor ia Econômica. No capítulo desenvolvemos instrumental matemático, introduzindo uma série de conceitos resultados sobre os quais se constrói análise nos capítulos subsequentes. Ilustramos tais conceitos com exemplos que seguem um certo encadeamento. Nas seções 1.1 1.2 apresentamos as idéias propriedades de espaços métricos espaços vetoriais. Na seção 1.3, prosseguimos com tópicos em análise funcional, introduzindo noção de norma de um vetor de espaços de Banach. seção 1.4 entra com idéia de contração, Teor ema do Ponto Fixo de Banach e o teor ema de Blackwell. O Teorema de Hahn-Banach, tanto na sua forma de extensão quanto na sua forma geométrica, preocupação na seção 1.5. Em particular, forma geométrica desse teorema seus corolários são importantes para análise conduzida no terceiro capítulo. Por fim, na seção 6, apresentamos Teorema do Máximo. Ao final deste capítulo, como também dos demais, procuramos sempre citar as fontes consultadas bem como extensões ou tratamentos alternativos ao contido no texto. No capítulo II apresentamos os resultados métodos da Programação Dinâmica em si seção 2.1 cuida da base da teoria, com Princípio da Otimal idade de Eellman e a derivação de um algoritmo de Programação Dinâmica. Na seção 2.2 mostramos que esse algoritmo converge para função valor ótima de um problema de horizonte infinito, sendo que esta última satisfaz chamada Equação de Bellman. seção seguinte se preocupa em fornecer caracterizaçBes para função valor mencionada acima, mostrando-se propriedades acerca de sua monotonicidade concavidade. seção 2.4 trata da questão da diferenciabi idade da função valor, que permite se obter alguns resultados de estática Cou dinâmica} comparativa partir da Equação de Bellman. Finalmente, na seção 2.5 apresentamos uma primeira aplicação Teoria Econômica, através de um modelo de crescimento econômico ótimo. No capítulo III introduzimos uma outra técnica de otimização Programação Convexa- mostramos dificuldade em se tentar estabelecer alguma relação de dominância entre Programação Dinâmica Programação Convexa. Na seção 3.2 "apresentamos os Teoremas de Separação, dos quais nos utilizamos na seção seguinte para demonstrar existência de Multiplicadores de Lagrange no problema geral da Programação Convexa. No final desta seção dizemos porque não podemos inferir que em espaços de dimensão infinita Programação Convexa não pode ser aplicada, ao contrário da Programação Dinâmica, que evidenciaria uma dominancia dessa última técnica nesses espaços. Finalmente, capítulo IV destinado uma aplicação imediata das técnicas desenvolvidas principalmente no segundo capítulo. Com auxílio dessas técnicas resolve-se um problema de maximização intertemporal, faz-se uma comparação dos resultados obtidos através de uma solução cooperativa de uma solução não-cooperativa.

Semântica formal para TVQL

Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.

A assimetria funcional inter-hemisférica

A temática da assimetria funcional inter-hemisférica e analisada, neste trabalho, através de uma revisão crítica da literatura concernente aos estudos clínicos e experimentais (realizados tanto com pacientes neurológicos quanto com indivíduos normais) que se mostraram mais significativos para a configuração atual deste campo do saber. Inicialmente são analisados os estudos efetuados com pacientes neurológicos lesados unilateralmente, que forneceram as primeiras evidências sobre uma organização assimétrica dos hemisférios cerebrais. Na medida em que tal assimetria refere-se principalmente aos processos cognitivos, focalizou-se esta análise nos estudos mais significativos realizados sobre os quadros de afasias, apraxias, agnosias e amnésias, diretamente relacionados à problemática da assimetria cerebral. Os estudos empregando a técnica de Wada e com pacientes comissurotomizados foram abordados a seguir procurando-se evidenciar o grande avanço que propiciaram nos conhecimentos concernentes à assimetria funcional inter-hemisférica, quer em termos da caracterização funcional de cada hemisfério cerebral (o que acabou por levar a substituição da problemática de dominância cerebral pela de assimetria funcional inter-hemisférica) quer em termos da mobilização de interesse por esta área da pesquisa neuropsicológica. No que concerne aos estudos com indivíduos normais, procurou-se enfatizar a progressão de um enfoque centrado nas caracterizações hemisféricas para um enfoque centrado na análi¬se dos requerimentos cognitivos de uma determinada tarefa, com o objetivo de avaliar a participação relativa dos hemisférios cerebrais nas tarefas complexas. As diferenças individuais quanto ao padrão de lateralização funcional foram particularmente examinadas em relação aos estudos vinculados a variáveis comportamentais facilmente observáveis tais como a preferência manipulatória e sua história familiar, a preferência ocular e o sexo, dando-se ênfase a estudos correlacionais entre aquela primeira variável e a lateralização para a linguagem, que têm tido maior suporte empírico. Os principais modelos emergentes na literatura sobre a atuação conjunta dos hemisférios cerebrais, tentando explicar sua din5mica, foram objeto de um tópico ulterior. Dentre os diversos modelos propostos considerou-se mais consistente o de Dimond e Beaumont (Beaumont, 1974) que propõe uma atuação mais integrada entre os hemisférios cerebrais, embora não se revele totalmente satisfatório. Análises de questões filogenética, ontogenética e referentes aos diferentes processamentos cognitivos requeridos em tarefas complexas foram efetuadas já que constituem grande foco de interesse na literatura atual concernente à assimetria funcional inter-hemisférica.