O par post/comentário em rede social: um estudo a partir da noção de gêneros textuais

Nos dias de hoje, podemos constatar o crescimento das formas de linguagem mediadas pelas tecnologias da informação e comunicação. É em torno dessa constatação e nesse contexto que esta dissertação se insere. Seu tema é a caracterização do par post/comentário à luz da noção de gêneros textuais. Nosso objetivo é refletir sobre o referido, a fim de responder os seguintes questionamentos: (a) se post e comentário são dois gêneros textuais ou partes de um mesmo fenômeno de comunicação/gênero; (b) se são gêneros, como caracterizá-los e diferenciá-los; (c) não sendo o post um novo gênero textual, que especificidades podem caracterizá-lo como ferramenta e quais os aspectos que o vinculam ao gênero comentário. A fim de respondê-los, nossa opção metodológica foi por um estudo documental de cunho qualitativo. Este consistiu na coleta de publicações feitas no perfil da pesquisadora na rede social Facebook por diferentes sujeitos, no período pré e pós eleições brasileiras de 2014, especificamente no mês de outubro. Os posts e comentários selecionados referem-se exclusivamente à temática das eleições presidenciais. Entendemos que as redes sociais têm sido grandes incentivadoras à produção escrita e, consequentemente, promotoras de atividades de compreensão leitora. E, no que concerne em particular ao tema escolhido, acolheram e fomentaram intensos debates. As reflexões sobre leitura, portanto, perpassam este trabalho porque, ao pensarmos no nascimento e uso de um gênero, pensamos, também, em sua recepção, logo, nos processos leitores envolvidos. Para analisar os dados, utilizamos a proposta de Donato (2014), discutindo os quatro pilares constituintes do gênero função comunicativa, forma, conteúdo e suporte, e também pensando em três níveis: o da produção, recepção e contextualização. Como base teórico-metodológica seguimos a perspectiva da sociocognição, calcada especialmente nos estudos de Marcuschi (2005, 2008, 2010), Koch (1996, 2003) e Koch e Elias (2008, 2013), assim como fundamentos de Bakhtin (1997) sobre o caráter sócio-histórico dos gêneros. A título de conclusão, segundo nossas análises, salientamos a interdependência dos elementos do par estudado. No entanto, defendemos a delimitação do post enquanto gênero textual eminentemente digital e não apenas uma ferramenta ou parte do gênero comentário

Rio, cenas decisivas: teatro entre televisão, patrocínio e política

Baseado em estudos de casos e em discussões teóricas, este trabalho analisa as relações entre a estética, a produção e a recepção de uma vertente do teatro produzido no Rio de Janeiro que se propõe manter-se além do entretenimento. O critério para a escolha dos casos estudados é o da inteligibilidade das relações entre estética e contexto sócio-econômico, a partir das próprias referências e vivências do pesquisador enquanto também artista e produtor teatral. A abordagem do teatro como fenômeno estético e cultural que interage com o meio sócio-econômico vale neste trabalho tanto para o teatro da contemporaneidade quanto em suas discussões históricas. A universalização da TV, a falta de público pagante para a arte e a ainda recente resposta do Estado como financiador universal da cultura aparecem aqui intimamente ligadas à proliferação e transformação de poéticas teatrais, principalmente no que concerne ao trabalho do ator em cena, sua formação, e a concepção que ele tem de sociedade e de seu papel dentro dela. Esta mirada a partir do fazer teatral questiona o valor de limites fixos entre arte e indústria cultural, ao sugerir como problemática a definição de arte e cultura na contemporaneidade. As relações de mútua legitimação entre a indústria da televisão e o teatro na cidade são acompanhadas desde a sua descoberta pelo Teatro dos Sete, seu apogeu nos anos 70 e 80, e sua subsequente crise no final da década de 80, quando a simbiose se transformou em competição e a TV passou a ditar as regras do mercado de atores. Os espetáculos escolhidos para análise nesta ótica são justamente O Mambembe de 1959 e A Maldição do Vale Negro, de 1988. Em seguida o texto apresenta um resumo de observações e pesquisas sobre sociologia da cultura, a sócio-economia do teatro e as políticas públicas na França. The Flash and Crash Days, de Gerald Thomas, é o espetáculo escolhido para abordar o início da era dos patrocínios no teatro carioca. A última parte da tese procura juntar os resultados obtidos nos estudos e algumas análises a discussões atuais sobre o teatro no Rio de Janeiro, ao comentar possíveis relações entre a estética e o contexto na cena experimental da zona sul da cidade, e a mudança ideológica e de valores que acompanha a ainda recente mudança de modos de produção. O olhar do teatro como negócio é confrontado por uma alternativa que sugere a abertura de novas perspectivas, através da inclusão de novos sujeitos, como oportunidade de renovação da cena carioca

基于PAR的高可信装备保障算法推演

算法被誉为计算的“灵魂”（spirit of computing），算法程序的可靠性和正确性对软件系统的可信度起着至关重要的作用。动态规划、贪心、分支限界等传统的算法设计策略缺乏有效的选择标准，一些算法形式化开发方法和工具的应用水平和范围也很有限，因此算法的可靠性已成为高可信软件系统的一个主要瓶颈。 作为军事运筹学的一个重要分支，装备保障计算主要研究军事活动中装备领域的决策优化问题，保障计算软件特别是算法的可靠性在很大程度上决定了装备保障的效率乃至军事行动的成败。利用形式化软件工程的研究成果、特别是引入算法程序的形式化开发方法，对我军通用装备保障领域中的大量算法类问题进行有效求解，有利于优化保障结构、统筹保障资源、整合保障力量、提高保障时效，促进装备整体战斗力水平的提升。 本文以高可信软件开发方法PAR为基础，面向装备保障计算的领域需求，提出了一类离散最优化问题（discrete optimization problem, DOP）的结构模型和算法推演技术，并成功推演了一系列典型的装备保障算法。本论文的主要创新性贡献如下： （1）定义了DOP的结构模型，提出了基于单点结构（Singleton）的问题分划递推策略，进而通过PAR算法推演生成问题的高效求解算法，涵盖了多种传统算法设计策略，显著提高了算法程序设计的机械化水平。 （2）提出了描述DOP分划递推过程的问题简约图（problem reduction graph, PRG）模型，并针对典型DOP结构推演得到了一组PRG构造算法模式，其中每个算法模式都涵盖了满足特定代数结构性质的一大类具体问题。 （3）阐述了PAR算法推演的范畴模型，为算法设计和重用提供了抽象而有效的方法指导。 （4）对我军通用装备保障领域具有代表性的48个问题进行了形式化的算法推演，构建了领域算法库。 （5）在PAR平台的基础上设计了装备保障算法开发平台的原型COPALM，支持DOP算法推演和重用，进而提高了相关应用软件的开发效率。

基于PAR的算法形式化开发

形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的算法思想,在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动,降低了形式化求解算法问题的难度,提高了算法程序的可靠性和形式化开发效率.

PAR方法和循环不变式的范畴语义

范畴论对理解程序规约及程序设计和正确性证明十分有用.PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法.循环不变式在循环算法程序的设计中至关重要.使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础.在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程.

Avaliação de serviços ambientais gerados por unidades de produção familiar participantes do programa Proambiente no estado do Pará.

Resumo: O objetivo desse estudo é apresentar o Programa Proambiente, que se afigura como inovadora política pública para a Amazônia, e contribuir para a formulação de procedimentos de avaliação de serviços ambientais em estabelecimentos rurais participantes do programa..

Capitães do Fim

Tese apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Doutor em Ciências Sociais, especialidade em Sociologia

Dix-huit ans chez les sauvages : voyages et missions de Mgr Henry Faraud, áevãeque d'Anemour, vicaire apostolique de Mackensie dans l'extrãeme nord de l'Amerique britannique : d'apráes les documents de Mgr l'evãque d'Anemour / par Fernand-Michel.

http://www.archive.org/details/dixhuitanschezle00fararich

Relation de la Mission Abnaquise de St. Franðcois de Sales L'Annâee 1702 / par le Páere Jacques Bigot, de la Compagnie de J��esus.

http://www.archive.org/details/missionabnaquise00bigorich

Si tout de même n’inquiétait je ne sais quel miroitement. (à propos de Laideurs de Sartre par A. Buisine)

info:eu-repo/semantics/published

La grammaire générale des Modistes aux Idéologues, présenté par A. Joly et J. Stefanini, Lille, Publications de l'Université de Lille III (Centre interdisciplinaire de recherches en linguistique), 1997, X + 255 p.

info:eu-repo/semantics/published