Samba que dão aulas: a expressividade linguística de Nei Lopes e Arlindo Cruz

O presente trabalho tem como objetivo central estabelecer uma visão crítica do ensino de Língua Portuguesa, em dias atuais, apontando aspectos teóricos e práticos importantes, no processo de ensino/aprendizagem, e propostas de análises estilísticas das canções de Nei Lopes e Arlindo Cruz. Reiteram-se alguns aspectos funcionais do idioma, associando-os às situações comunicativas, com vistas à formação do cidadão linguístico. Investigam-se os recursos expressivos presentes em 10 letras de cada compositor, constituindo-se, assim, o corpus da pesquisa. Para as análises teóricas, revisitam-se os princípios da Estilística propostos por Nilce SantAnna Martins, Manuel Rodrigues Lapa, dentre outros, descrevendo o conceito de estilo, a representação da afetividade na linguagem, o valor da expressão, as marcas da subjetividade. Indicam-se o percurso do samba na cidade do Rio de Janeiro e as raízes do gênero musical. Destacam-se a identidade cultural do povo carioca e a importância dos compositores estudados, quanto às representações linguístico-culturais. No decorrer das análises, consideram-se as composições como Sambas que dão aulas, material produtivo para se aprender vários conteúdos da língua materna

O tempo na poética de Marilza Ribeiro

Pós-graduação em Letras - IBILCE

Por um viés estilístico: Memorial do Convento (1982) e Todos os Nomes (1997), de José Saramago

Pós-graduação em Letras - FCLAS

"The Heart of Irish-Language Proverbs": A Linguo-Stylistic Analysis of Explicit Metaphor

Metaphor has featured frequently in attempts to define the proverb (see Taylor 1931, Whiting 1932, Mieder 1985, 1996), and since the advent of modern paremiological scholarship, it has been identified as one of the most salient markers of ‘proverbiality’ (Arora 1984) across a broad spectrum of world languages. Significant language-specific analyses, such as Klimenko (1946), Silverman-Weinreich (1981), and Arora (1984) have provided valuable qualitative information on the form and function of metaphor in Russian, Yiddish, and Spanish proverbs respectively. Unfortunately, no academic scholarship has engaged with the subject of metaphor in Irish proverbs. This study builds on international paremiological research on metaphor and provides for the first time a comprehensive quantitative and qualitative analysis of the form, frequency, and nature of linguistic metaphors in Irish proverbs (1856-1952). Moreover, from the perspective of paremiology, it presents a methodological template and result-set that can be applied cross-linguistically to compare metaphor in the proverbs of other languages.

Concurrent multi-scale modeling of civil infrastructures for analyses on structural deterioration—Part I : Modeling methodology and strategy

This paper aims to develop the methodology and strategy for concurrent finite element modeling of civil infrastructures at the different scale levels for the purposes of analyses of structural deteriorating. The modeling strategy and method were investigated to develop the concurrent multi-scale model of structural behavior (CMSM-of-SB) in which the global structural behavior and nonlinear damage features of local details in a large complicated structure could be concurrently analyzed in order to meet the needs of structural-state evaluation as well as structural deteriorating. In the proposed method, the “large-scale” modeling is adopted for the global structure with linear responses between stress and strain and the “small-scale” modeling is available for nonlinear damage analyses of the local welded details. A longitudinal truss in steel bridge decks was selected as a case to study how a CMSM-of-SB was developed. The reduced-scale specimen of the longitudinal truss was studied in the laboratory to measure its dynamic and static behavior in global truss and local welded details, while the multi-scale models using constraint equations and substructuring were developed for numerical simulation. The comparison of dynamic and static response between the calculated results by different models indicated that the proposed multi-scale model was found to be the most efficient and accurate. The verification of the model with results from the tested truss under the specific loading showed that, responses at the material scale in the vicinity of local details as well as structural global behaviors could be obtained and fit well with the measured results. The proposed concurrent multi-scale modeling strategy and implementation procedures were applied to Runyang cable-stayed bridge (RYCB) and the CMSM-of-SB of the bridge deck system was accordingly constructed as a practical application.

Concurrent multi-scale modeling of civil infrastructures for analyses on structural deteriorating—Part II : Model updating and verification

This paper is a continuation of the paper titled “Concurrent multi-scale modeling of civil infrastructure for analyses on structural deteriorating—Part I: Modeling methodology and strategy” with the emphasis on model updating and verification for the developed concurrent multi-scale model. The sensitivity-based parameter updating method was applied and some important issues such as selection of reference data and model parameters, and model updating procedures on the multi-scale model were investigated based on the sensitivity analysis of the selected model parameters. The experimental modal data as well as static response in terms of component nominal stresses and hot-spot stresses at the concerned locations were used for dynamic response- and static response-oriented model updating, respectively. The updated multi-scale model was further verified to act as the baseline model which is assumed to be finite-element model closest to the real situation of the structure available for the subsequent arbitrary numerical simulation. The comparison of dynamic and static responses between the calculated results by the final model and measured data indicated the updating and verification methods applied in this paper are reliable and accurate for the multi-scale model of frame-like structure. The general procedures of multi-scale model updating and verification were finally proposed for nonlinear physical-based modeling of large civil infrastructure, and it was applied to the model verification of a long-span bridge as an actual engineering practice of the proposed procedures.

Integrating hardware and software information flow analyses

Security-critical communications devices must be evaluated to the highest possible standards before they can be deployed. This process includes tracing potential information flow through the device's electronic circuitry, for each of the device's operating modes. Increasingly, however, security functionality is being entrusted to embedded software running on microprocessors within such devices, so new strategies are needed for integrating information flow analyses of embedded program code with hardware analyses. Here we show how standard compiler principles can augment high-integrity security evaluations to allow seamless tracing of information flow through both the hardware and software of embedded systems. This is done by unifying input/output statements in embedded program execution paths with the hardware pins they access, and by associating significant software states with corresponding operating modes of the surrounding electronic circuitry.