Prototyping a calculus of QoS : aware software components

Dissertação de mestrado em Engenharia de InformáticaOver the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. Such components typically encapsulate a number of services through a public interface which provides limited access to a private state space, paying tribute to the nowadays widespread object-oriented programming principles. This work is based on the calculus developed by L.S. Barbosa over several years and it aims at helping the development of formal software component solutions and to explain how they can be related, reducing their complexity. SHACC is a prototyping system for component-based systems in which components are modeled coinductively as generalized Mealy machines incorporating the ideas above. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

Identidades surdas no processo de identificação lingüística: o entremeio de duas línguas

Esta pesquisa defende a hipótese de que as identidades surdas se constituem na tensão resultante do entremeio das duas línguas a lhes afetar: a LIBRAS (Língua Brasileira de Sinais) e o Português. Esse contexto faz os alunos surdos viverem, constantemente, entre o desejo da fala e a necessidade do acesso a uma língua gestual (LIBRAS), a qual lhes possibilitaria uma certa identificação com seus pares. Teórica e metodologicamente, as análises são fundamentadas por conceitos da Análise do Discurso e algumas contribuições da Psicanálise, que nos possibilitam trabalhar com a noção de sujeito dividido - que assume diferentes posições discursivas – e barrado, uma vez que o inconsciente o constitui. Conceitos de interdiscurso e formações discursivas são também mobilizados, uma vez que a maioria dos discursos do e sobre o surdo vem intermediada e sofre reconfigurações constantes para adaptar-se ao ambiente lingüístico dominante. Com vistas a comprovar a hipótese sobre as identidades lingüisticas que constituem os alunos surdos filhos de pais ouvintes, essa pesquisa tomou os depoimentos de alunos surdos inseridos no sistema regular de ensino público. Filmamos vinte e quatro entrevistas com esses alunos nas quais eles responderam sobre o relacionamento mantido com a LIBRAS e o Português. Desse total, quatorze foram selecionadas e analisadas. Todo esse processo de coleta de dados teve a participação de intérpretes de LIBRAS. A análise comprovou que atravessados e afetados pelas duas línguas é que os alunos surdos constituem a sua identidade lingüística, que lhes possibilita, assim, encontrar a maneira pela qual vão se expressar dentro e fora da escola. Deslocamentos importantes na questão da educação dos surdos podem ser empreendidos, à medida que ocorra a superação de abordagens que homogeneízam e tendem a prescrever, indistintamente, o que seja melhor para os alunos surdos

Shacc: a functional prototyper for a component calculus

For individual study onlyOver the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. Shacc is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a Haskell library endowed with a graphical user interface developed in Swing.Fundação para a Ciência e a Tecnologia (FCT

A PANDEMIA E O CONTROLE SOCIAL ADVINDO

Neste texto procura-se refletir sobre o poder manipulador das Instituições e Estatais no enfrentamento de uma pandemia através da desinformação onde a sociedade ficou presa em casa (#fiqueemcasa) no mais profundo isolamento, afrontado pelas leis e decretos estaduais e municipais que buscam punir - e de fato puniu - aqueles que a desobedecem. Diante disso, a população mundial frente aos Fake News e suas consequências ficaram à mercê da Organização Mundial de Saúde (OMS), que tenta trazer a melhor saída para enfrentar este terror. Porém, o que de fato se fez foi espalhar o medo, a recessão e o controle populacional sem precedentes.Palavra Chave: Controle, Pandemia, Manipulação, Desinformação e Terror

A PANDEMIA E O CONTROLE SOCIAL ADVINDO

Neste texto procura-se refletir sobre o poder manipulador das Instituições e Estatais no enfrentamento de uma pandemia através da desinformação onde a sociedade ficou presa em casa (#fiqueemcasa) no mais profundo isolamento, afrontado pelas leis e decretos estaduais e municipais que buscam punir - e de fato puniu - aqueles que a desobedecem. Diante disso, a população mundial frente aos Fake News e suas consequências ficaram à mercê da Organização Mundial de Saúde (OMS), que tenta trazer a melhor saída para enfrentar este terror. Porém, o que de fato se fez foi espalhar o medo, a recessão e o controle populacional sem precedentes.Palavra Chave: Controle, Pandemia, Manipulação, Desinformação e Terror

Características de um aço microligado forjado API 5L

Nos aços microligados da série API (American Petroleum Institute) utilizados na fabricação de dutos degrande diâmetro, a resistência mecânica deve ser suficiente para suportar as elevadas pressões do fluidotransportado na indústria petroquímica. O aumento da resistência mecânica e da tenacidade para permitir aoperação da linha em pressões mais elevadas, sem a ocorrência de colapso da estrutura, é o principal requisitopara os aços utilizados nestes dutos. No Brasil, as empresas produzem estes aços por meio da laminação detiras a quente ou chapas grossas, com adição de nióbio, titânio e vanádio, conforme os requisitos da normaAPI 5L. Considerando a complexidade geométrica dos componentes utilizados na indústria petroquímica, taiscomo flanges e centralizadores de tubos, é importante desenvolver um processo alternativo para fabricaçãode acessórios com as exigências desta norma. Dentro deste contexto e com o objetivo de avaliar novas técnicasde processamento, foi elaborado um aço com composição química similar à de um API 5L X70. O metallíquido foi vazado em uma lingoteira e forjado em barras com secção quadrada. As barras foram recozidas eamostras foram cortadas para confecção de corpos de prova que foram submetidos à têmpera e revenimentoem diferentes temperaturas. As análises microestruturais e propriedades mecânicas de dureza e tração, apósos tratamentos térmicos, foram comparadas às existentes na literatura para tubos de aços laminados. Os resultadosmostram que as condições dos tratamentos térmicos são importantes para desenvolver uma rota alternativade forjamento controlado, para aços com características da norma API 5L

REPRESENTAÇÕES SOCIAIS DE PROFESSORAS DE CIÊNCIAS NOS ANOS FINAIS DO ENSINO FUNDAMENTAL E O ENSINO DA ASTRONOMIA

Este artigo tem como objetivo abordar os resultados parciais de uma pesquisa de Mestrado, que teve como objetivo investigar a influência do curso de formação continuada em Astronomia e seu ensino, ofertado ao NRE-Maringá, em 2018, para a constituição da identidade profissional dos professores de Ciências participantes. Dessa forma, seis professoras participantes do referido curso, através de reuniões online (gravadas) e Google Forms, responderam ao questionário – TALP (Técnica de Associação Livre de Palavras), a fim de identificarmos as representações sociais compartilhadas por elas quanto à Astronomia. Os dados foram analisados à luz da abordagem estruturalista de Abric (2000), identificando o núcleo central (nosso objeto de estudo) e os elementos periféricos e intermediários da RS (Representação Social). Assim, pudemos inferir que, no tocante ao Ensino da Astronomia, as professoras pesquisadas apresentam muito do universo consensual, não alcançando, muitas vezes, o universo reificado, o que nos permite compreender que muitos professores que ensinam conteúdos de Astronomia apresentam um nível de entendimento/conhecimento muito semelhante ao dos alunos, permanecendo por vezes, no universo consensual ao abordarem tais conteúdos

Origin of Spin Incommensurability in Hole-doped S=1 Y2−xCaxBaNiO5\rm Y_{2-x}Ca_x Ba Ni O_5 Chains

Spin incommensurability has been recently experimentally discovered in the hole-doped Ni-oxide chain compound $\rm Y_{2-x}Ca_x Ba Ni O_5$ (G. Xu {\it al.}, Science {\bf 289}, 419 (2000)). Here a two orbital model for this material is studied using computational techniques. Spin IC is observed in a wide range of densities and couplings. The phenomenon originates in antiferromagnetic correlations ``across holes'' dynamically generated to improve hole movement, as it occurs in the one-dimensional Hubbard model and in recent studies of the two-dimensional extended t-J model. The close proximity of ferromagnetic and phase-separated states in parameter space are also discussed.Comment: RevTex, 4 pages, 4 figures (eps

Congenital Malformations in Sheep - Outbreak Caused by Mimosa tenuiflora

Background: Congenital malformations are anomalies, structural or functional, that occur during the embryonic or fetal phase. There are several causes, one of which is the ingestion of toxic plants.  Considering the importance of native toxic plants in the Central Backlands of Ceará state - Brazil, this paper reports cases of congenital malformations in sheep due to ingestion of Mimosa tenuiflora. Cases: Cases of abortion and malformations in sheep, were monitored in a rural property in the municipality of Piquet Carneiro with 20 ruminants (15 sheep and 5 cows) raised on a semi-intensive regime. The animals grazed during the day and were supplemented with corn, having unrestricted access to dam water. On its margins, there was a large amount of jurema preta (Mimosa tenuiflora), which the owner reported that the sheep consumed daily. The owner was unaware of the toxicity of M. tenuiflora but reported that cases of malformations had already occurred on his property some time ago. In an interval of approximately 12 days, 3 sheep miscarriage fetuses with multiple malformations. Malformed fetuses were referred for anatomopathological examination at the Animal Pathology Laboratory of the Veterinary Hospital of Federal University of Campina Grande (UFCG), Campus Patos, Paraíba, Brazil. The fetuses were necropsied and tissue samples of the nervous system and organs from the thoracic and abdominal cavities were collected, fixed in 10% neutral buffered formalin, routinely processed for histopathology, included in paraffin, cut into 3 µm sections and stained with hematoxylin and eosin (HE). At necropsies were observed permanent contracture of the thoracic limb joints (arthrogryposis), particularly at the radio-carpal joints; incomplete medial fusion of the palatal bone, with communication between the oral and nasal cavities (palatoschisis); hypoplasia of the mandibular bone (micrognathia); unilateral hypoplasia of the incisive bone with discontinuity of the upper lip (cheiloschisis); unilateral hypoplasia of the eyeball (microphthalmia); lateral curvature of the cervical spine (scoliosis); and chest deformity characterized by ventral protrusion of the sternum and ribs (Pectus carinatum). At the histopathological evaluation of the tissues, no alterations were observed. Discussion: The diagnosis was based on the epidemiological, clinical, and anatomopathological findings. The semi-intensive management system applied on the property predisposed the sheep to ingestion of M. tenuiflora, which grows abundantly on the property and throughout the Central Backlands of Ceará, Brazil, with a high rate of geographical coverage. Despite that, most rural producers, especially subsistence farmers, are unaware of the toxic and teratogenic properties of the plant. In the northeastern, where there are long periods of drought coupled with forage shortages, poisoning by M. tenuiflora is a common cause of malformation and mortality in lambs. Therefore, it is necessary to adopt preventive measures in herds, such as raising awareness among producers about the toxic potential of some native plants and the practice of producing and supplying silage to animals, so that native toxic plants are not the only food source during the scarcity period. Keywords: arthrogryposis, jurema preta, anomalies, cleft lip, toxic plants. Título: Malformações congênitas em ovinos - surto causado por Mimosa tenuiflora Descritores: artrogripose, jurema preta, anomalias, lábio leporino, plantas tóxicas