Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

A voz da tipografia: estudo de caso da cultura visual nas ruas de Madrid

Este é o começo, o meio e o fim da prática de tipografia: escolha e use os tipos com sensibilidade e inteligência. Assim como as palavras, as letras tem um tom, timbre e carácter. Assim que um texto e um tipo são escolhidos, inicia-se uma intercepção de dois fluxos de pensamento, dois sistemas rítmicos, dois conjuntos de hábitos, ou ainda de duas personalidades. Não é preciso que elas vivam juntas e contentes para sempre, mas, de um modo geral, não convém partir de uma relação conflituosa. (BRINGHURST, 1992, p.28 e 29) O presente relatório consiste num estudo de caso sobre a cultura visual das ruas da cidade de Madrid. Divide-se em duas partes distintas, uma primeira, que consiste num enquadramento histórico, social, cultural e geográfico da capital referida, na perspectiva de entendermos como os artefactos visuais desta cidade a enriquecem, permitindo aos artistas agirem como criadores da identidade. Propomo-nos ainda nesta parte analisar as linguagens tipográficas dos letreiros da cidade escolhida, que é conhecida por “respirar tipografia”, e mostrar a relevância preponderante da tipografia na comunicação deste habitat. Para tal, foi realizado um levantamento fotográfico de alguns letreiros das ruas de Madrid, com o objectivo de mostrar a diversidade tipográfica existente, e por forma a mostrar quais são os materiais, os modos de impressão, e os detalhes estéticos recorrentes, e as respectivas épocas, culturas e histórias em que se enquadram e abrangem. Antes de se analisar estes aspectos, considerou-se ainda pertinente, começar por dar a conhecer o papel dos designers no enriquecimento gráfico e visual de uma cidade, analisar globalmente como os sinais ambientais nos orientam, na percepção e reconhecimento da realidade quotidiana, e também distinguir os que são meramente funcionais, dos que representam quase exclusivamente, uma função estética. Na segunda parte, faz-se uma breve descrição do trabalho realizado durante os seis meses de estágio curricular nas revistas Vanidad, SL e View of the times, em Madrid.

Fala Manguinhos!: a construção de uma agência de comunicação comunitária em favelas e conjuntos habitacionais cariocas

Esta dissertação analisa a prática da Comunicação Social no Brasil, uma das questões mais importantes para a estruturação e manutenção do poder na sociedade, evidenciada, mais uma vez, com a crise institucional iniciada em 2014, que colocou o direito à produção e divulgação de informações e opiniões no centro do debate nacional. Para tanto, tomou-se como referência as condições políticas, administrativas e operacionais presentes na experiência da Agência de Comunicação Comunitária do Complexo de Manguinhos, aglomerado de favelas e conjuntos habitacionais populares da cidade do Rio de Janeiro.

Espaço de todos ou de ninguém: análise morfológica de transformações espaciais dos Conjuntos Residenciais Parque Serrambi em Natal/ RN

This work analyses the effects of form over the emergence of new patterns of use and occupation in public spaces of housing estates designed in the 1980s and 1990s in Natal’s municipality (Brazil). We start from the premise that form acts on social process (HILLIER; HANSON, 1984), and verify how much the original spatial configuration of Parque Serrambi housing states contributed to the creation of new spatial patterns following the interventions of the people living there. The Serrambi states were built in Natal’s south based on an urbanization model following modernist’s principals and aimed to supply demands for popular dwellings. They were one of the last estates financed by the former National Dwelling Bank (BNH) and supervised by the Dwelling Cooperatives Orientation Institute (INOCOOP), materialized a spatial form different from the highrise dwelling experiences from the same period. The results were obtained through configurational analysis based on Space Syntax conceptual and methodological framework, in which space and society are viewed as interrelated. The analyses was based on represanting and quantifying spatial properties and identificatying social patterns related to the interventions. We identified that the original spatial configurations, associated to subtle changes in the states social patterns, analysed independently of non-morphological categories, gave way to the occupation patterns verrified in both Serrambi cases.

Estudo de arranjos de antenas de microfita com Patch quase-fractal para comunicações sem fio

In this dissertation, are presented two microstrip antennas and two arrays for applications in wireless communication systems multiband. Initially, we studied an antenna and a linear array consisting of two elements identical to the patch antenna isolated. The shape of the patch used in both structures is based on fractal geometry and has multiband behavior. Next a new antenna is analyzed and a new array such as initial structure, but with the truncated ground plane, in order to obtain better bandwidths and return loss. For feeding the structures, we used microstrip transmission line. In the design of planar structures, was used HFSS software for the simulation. Next were built and measures electromagnetic parameters such as input impedance and return loss, using vector network analyzer in the telecommunications laboratory of Federal University of Rio Grande do Norte. The experimental results were compared with the simulated and showed improved return loss for the first array and also appeared a fourth band and increased directivity compared with the isolated antenna. The first two benefits are not commonly found in the literature. For structures with a truncated ground planes, the technique improved impedance matching, bandwidth and return loss when compared to the initial structure with filled ground planes. Moreover, these structures exhibited a better distribution of frequency, facilitating the adjustment of frequencies. Thus, it is expected that the planar structures presented in this study, particularly arrays may be suitable for specific applications in wireless communication systems when frequency multiband and wideband transmission signals are required.

Aplicación de los conjuntos de selección en la estrategia de mercadeo

Debe ser motivo de análisis y evaluación frecuente en las empresas de bienes y servicios su posicionamiento y el grado de recordación por parte del consumidor objetivo. Es sobre estasbases que se construye cualquier estrategia tendiente a incursionar en nuevos mercados o a afianzar la participaciónen los ya existentes. Partiendo de un análisis situacional y unainvestigación directa en campo, el trabajo sobre el cual se ha elaborado el presente artículo propone una estrategia de mercadeo dirigida a segmentos específicos con necesidades diversas. Como objetivo final de las medidas propuestas, se espera incluir a la empresa en los conjuntos de selección de un mayor número de clientes.

Exclusão social e projetos habitacionais. Um estudo sobre conjuntos habitacionais, segregação e exclusão social em Natal/RN

In Natal s urban growth process it is given that the performance period of the National Housing Bank (BNH, 1964-1986) was marked by the intense expansion of the urban grid and configuration of outskirts, through the construction of social housing developments. Implanted in segregated areas of the existing formal city, the population installed in these complexes was also excluded from their rights, considering that the housing defines itself not only by the physical dwelling, but also by its access to urban infrastructure, facilities, services, and others. From this reality and the verification of the city s exclusion and sociospatial segregation processes, we aimed to quantitatively demonstrate levels of social exclusion in Natal, based on the methodology developed by Sposati (2000) and adapted by Genovez (2002), which relates IBGE s (Brazilian Institute of Geography and Statistics) database underlying variables such as income, schooling and dwelling s quality. The research unveiled some spatial patterns promoted by the social housings: in these areas islands were developed with higher indicators than surrounding areas, revealing internal hierarchies in the city s outskirts

Sensoriamento óptico quase-distribuído aplicado ao monitoramento de trocadores de calor de usinas hidrelétricas

This work aims to develop optical sensors for temperature monitoring in hydroelectric power plant heat exchangers. The proposed sensors are based on the Fiber Bragg Gratings technology. First of all, a prototype with three sensors inscribed in a same fiber was developed. This fiber was then fixed to a conventional Pt100 sensor rod and inserted in a thermowell. The ensemble was then calibrated in a workbench, presenting a maximum combined uncertainty of 2,06 °C. The sensor was installed in one of the heat exchangers of the Salto Osório’s hydroelectric power plant. This power plant is situated in the Iguaçu river, at the Paraná state. Despite the satisfactory results, the sensor was improved to a second version. In this, fifteen optical Bragg sensors were inscribed in a same fiber. The fixation with a conventional sensor was no longer necessary, because the first version results comproved the efficiency and response time in comparison to a conventional sensor. For this reason, it was decided to position the fiber inside a stainless steel rod, due to his low thermal expansion coefficient and high corrosion immunity. The utilization of fifteen fiber Bragg gratings aims to improve the sensor spatial resolution. Therefore, measurements every ten centimeters with respect to the heat exchanger’s height are possible. This provides the generation of a thermal map of the heat exchanger’s surface, which can be used for determination of possible points of obstruction in the hydraulic circuit of the heat exchanger. The heat exchanger’s obstruction in hydroelectric power plants usually occur by bio-fouling, and has direct influence in the generator’s cooling system efficiency. The obtained results have demonstrated the feasibility in application of the optical sensors technology in hydroelectric power plants.

Contribuição para o conhecimento da geologia do Grupo das Beiras (CXG) na região do Caramulo-Buçaco, Portugal Central

O presente trabalho ocupa-se do estudo do Complexo Xisto-Grauváquico ante-ordovícico (Grupo das Beiras) na região do Caramulo-Buçaco (centro de Portugal). Em termos geológicos, a área estudada pertence à Zona Centro Ibérica e encontra-se limitada a N pelo granito do Caramulo, a S pela bacia meso-cenozóica de Arganil, a W pelo sinclinal paleozóico do Buçaco e pela bacia meso-cenozóica ocidental portuguesa e a E pelo sinclinal paleozóico de Arganil e pelo plutonito granítico de Tábua-Santa Comba Dão; no seio da área estudada encontra-se a bacia meso-cenozóica de Mortágua. Com base nas características litológicas e estruturais distinguem-se no Complexo Xisto Grauváquico 4 grandes conjuntos litológicos concordantes entre si, designados de Unidades I, II, III e IV, que se desenvolvem da base para o topo de N para S. A Unidade I situa-se a N da região. O seu limite inferior é desconhecido, e o superior posiciona-se no último conjunto arenoso com potência decamétrica. É constituída por xistos cinzentos e negros com intercalações de arenitos de espessura não superior a 100 metros e de extensão lateral quilométrica. Apresenta uma espessura mínima de 1000 m. A Unidade II apresenta consideravelmente menor proporção de material arenoso intercalado entre os pelitos comparativamente à unidade inferior. É caracterizada por apresentar um predomínio de material silto-argiloso e escassos níveis arenosos com potência não superior à dezena de metros e escassa continuidade lateral. Cartograficamente esta unidade constitui uma franja alargada de orientação próxima a E-W. Apresenta uma espessura aproximada de 1500 m. A Unidade III é caracterizada pela presença de conjuntos arenosos com extensão lateral quilométrica e espessura de várias dezenas de metros, separados por material silto-argiloso. Os limites inferior e superior estão situados respectivamente abaixo e acima dos principais conjuntos arenosos. Esta unidade apresenta uma espessura máxima estimada na ordem dos 2000 m. A Unidade IV, que é a unidade superior, apresenta um predomínio pelítico, com escassas intercalações de conjuntos arenosos. O seu limite inferior encontra-se no topo do último conjunto arenoso da Unidade III. Apresenta uma espessura mínima de 500 m. As características sedimentológicas das 4 unidades indicam uma sedimentação num ambiente de plataforma externa siliciclástica aberta, com a construção de barras e por vezes sujeita à acção de tempestades, com sucessivos períodos de superficialização e profundização numa bacia de sedimentação bastante subsidente. Em termos estruturais, para além duma deformação pré-ordovícica, que é comprovada pelo forte mergulho e dispersão da orientação dos eixos da 1ª fase varisca e da lineação de intersecção L1, a área estudada foi principalmente afectada pela Orogenia Varisca. A 1ª fase de deformação varisca (F1) gerou dobras com superfícies axiais e xistosidade associada (S1) de direcção WNW-ESE, e forte pendor para NNE. Estas dobras D1 apresentam comprimentos de onda que nunca chegam a ser quilométricos, desenvolvendo-se um grande flanco inverso denunciando a presença de uma antiforma para NNE e uma sinforma para SSW. A 2ª fase de deformação varisca (F2) actuou na parte nordeste da área estudada e é caracterizada por ter gerado dobras de comprimento de onda quilométrico, com planos axiais e xistosidade associada S2 de direcção NW-SE, subverticais ou a pender fortemente para NE. Embora com alguma dispersão, as lineações de intersecção L2 e os eixos das dobras D2 apresentam maioritariamente forte pendor para E. A direcção e tipos de estruturas da F2 sugerem uma correlação com a terceira fase definida em vários pontos da Zona Centro Ibérica e estreitamente relacionada com as intrusões graníticas. Do ponto de vista petrológico, distinguem-se várias rochas sedimentares (pelitos e arenitos) todas elas sujeitas a metamorfismo que não ultrapassa a fácies dos xistos verdes. Dentro das rochas sedimentares mais grosseiras, há a destacar a presença de arenitos vulcânicos cuja composição denuncia, não muito afastados da bacia sedimentar, a presença de aparelhos vulcânicos que estariam em actividade durante a sedimentação. Foram analisadas isotopicamente 27 amostras de metapelitos colhidas em 5 locais diferentes de forma a abranger quase toda a área estudada. Os dados isotópicos de quatro destes locais de amostragem forneceram isócronas Rb-Sr, em rocha total, com valores da ordem dos 400-440 Ma. O granito do Caramulo, datado pela isócrona Rb-Sr em amostras de rocha total, forneceu uma idade de 326±12Ma. As idades modelo Sm-Nd (manto empobrecido) de 5 amostras de metapelitos estão compreendidas entre 1.35 e 1.25 Ga. Este período de tempo pode ser considerado como correspondendo à época de diferenciação mantélica da crusta que deu lugar à maioria das áreas fonte dos metapelitos.

A arquitectura do mosteiro cartusiano de Santa Maria Scala Coeli: do processo de entrada

A importância da encenação de uma transição entre o mundo secular e a vida em clausura, no contexto da arquitectura cartusiana, é amplamente demonstrada através dos percursos de entrada dos conjuntos mais relevantes, bem como em muitos daqueles representados nas gravuras presentes no livro Maisons de l’Ordre des Chartreux – Vues et Notices, uma obra do início do século XX que inclui gravuras da quase totalidade dos 282 mosteiros cartusianos distribuídos por quase toda a Europa. Na maioria das cartuxas podem observarse transições indirectas e prolongadas, capazes de tardar o passo e dar significado à passagem para a clausura – características espaciais que São Bruno, fundador da casa cartusiana, considerava primordiais para a implantação do seu eremitério. A partir de uma cuidada análise dessa transição, nas cartuxas em geral, e da sua evolução morfológica, na cartuxa de Évora em particular – estimulada pela descoberta de dados aqui analisados e interpretados pela primeira vez – apresenta-se, em continuidade com a sua história e tendo como premissa a consolidação do processo de entrada, uma proposta de redefinição da estrutura monacal de Santa Maria Scala Coeli. Esta estrutura originária do século XVI encontra-se incompleta e degradada, em particular na ala sul onde se encontra o seu principal acesso, sendo fundamental o completamento desta área para o cabal reconhecimento da unidade do conjunto e da intenção na qual se traduz a sua génese. De resto, a estratégia de investigação e de projecto descrita nesta dissertação pode ser encarada como um processo plausível de ser utilizado no caso de futuras intervenções noutras estruturas cartusianas, contribuindo assim para a recuperação e preservação do conceito fundador da identidade da arquitectura cartusiana que, no decorrer da expansão da ordem, se foi perdendo; The Architecture of the Carthusian Monastery of Santa Maria Scala Coeli: About the process of entrance. ABSTRACT: The importance of staging a transition between the secular world and life cloistered in the context of Carthusian architecture is amply demonstrated through the input paths of the most important collections, as well as many of those represented in the pictures in the book Maisons de l’Ordre des Chartreux – Vues et Notices, one of the early twentieth century work that includes prints of almost all of the 282 Carthusians monasteries spread across almost all of Europe. In most of Carthusian the transitions that can be observed are indirect and long, able to delay the step and give meaning to the passage to the life cloistered - spatial characteristics that St. Bruno, founder of the Carthusian Order, considered essential for the implementation of his hermitage. From a careful analysis of this transition, looking through the Carthusian in general, and its morphological evolution, in the Charterhouse of Évora in particular, encouraged by the data discovery here analyzed and interpreted for the first time - it is presented in continuity with its history and having premised on the consolidation of the entry process, a proposal for a redefinition of the monastic structure of Santa Maria Scala Coeli. This original structure of the sixteenth century is incomplete and degraded, particularly in the south wing where it is the main access, and where is fundamental the completion of this area to the full recognition of the unity of the whole and to understand the intent in which translates its genesis. Moreover, the research strategy and project described in this paper can be seen as a plausible case to be used in case of future interventions in other cartusianas structures, thus contributing to the recovery and preservation of the founder of the identity concept of the Carthusian architecture that, during the expansion of the order, was missing.

Conjuntos numéricos y aritmética

Conjuntos numéricos y aritmética, plantea, de manera descriptiva, un recorrido por los diferentes conjuntos numéricos. La pretensión inicialmente, ha sido partir del planteamiento y definición del conjunto numérico más elemental como lo es el conjunto de los números naturales, hasta llegar a su ampliación, por necesidades de cálculo y solución de operaciones, al conjunto de los números complejos. Por esta vía se transita, entonces, pasando por el conjunto de los números enteros, racionales, irracionales y reales, sin abordar, en ningún momento, estos conjuntos con enfoques o análisis axiomáticos. La colección Lecciones de matemáticas, iniciativa del Departamento de Ciencias Básicas de la Universidad de Medellín y del grupo de investigación SUMMA, incluye en cada número la exposición detallada de un tema matemático, tratado con mayor profundidad que en un curso regular. Las temáticas incluyen: álgebra, trigonometría, cálculo, estadística y probabilidades, álgebra lineal, métodos lineales y numéricos, historia de las matemáticas, geometría, matemáticas puras y aplicadas, ecuaciones diferenciales y empleo de software para la enseñanza de las matemáticas. Todas las carátulas de la colección vienen ilustradas, a manera de identificación, con diseños de la geometría fractal cuya fuente u origen se encuentra referenciada en las páginas interiores de los textos.