Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

A história do intemperismo na Província Borborema Oriental, Nordeste do Brasil: implicações paleoclimáticas e tectônicas

Until some years ago, weathering geochronology was primarily based on the K-Ar and 40Ar/39Ar dating of supergene minerals. Recent advances in the analysis of supergene goethite by the (U-Th)/He method expanded the number of suitable minerals for such purpose, as well as the time of application for weathering geochronology. This study represents the first systematic approach in Brazil, combining both the 40Ar/39Ar e (U-Th)/He methodologies to improve the knowledge on the weathering and the age of nonfossiliferous sediments. Supported by geologic and geomorphologic correlations, we identified different types of weathering profiles occurring in the interior and coastal areas of northeastern Brazil. These profiles were correlated to main regional geomorphological domains: the Borborema Plateau , the Sertaneja Depression , and the Coastal Cuestas and Plains, and respective planation surfaces, which study is fundamental to understand the landscape evolution of the northern portion of the eastern Borborema Province. The depth and stratigraphic organization of the weathering profiles in each of the geomorphological domains permitted to establish that: (i) the profiles on the highlands that cap the Borborema Surface are deeper (up to 100 m) and can be considered as typical lateritic profiles; (ii) on the lowlands that form the Sertaneja Surface , the weathering profiles are shallow and poorly developed (2-5 m deep); (iii) the profiles along the coastal area are moderately developed (up to 25 m deep), and are characterized by thick saprolites and mottle zones. Aiming to establish the timing of the evolution of northeastern Brazil, we studied 29 weathering profiles representing distinct topographic levels of the Borborema Province, from the highlands to the coast, through the analysis of 248 grains of supergene manganese oxides using laser step-heating 40Ar/39Ar geochronology. Additionally, we applied the (U-Th)/He method in 20 weathering profiles, by dating 171 grains of supergene iron oxides and hydroxides. Geochronological results for 248 grains of manganese oxides analyzed by the 40Ar/39Ar method indicate that the weathering profiles in the study area record the history of weathering from the Oligocene to the Pleistocene, with ages in the order of 31.4 ± 1.0 Ma to 0.8 ± 0.4 Ma. Dating of 171 grains of goethite by the (U-Th)/He method yielded ages ranging from 43.2 ± 4.3 Ma to 0.8 ± 0.1 Ma, suggesting the weathering processes last from the Eocene to the Pleistocene. The precipitation of supergene goethite in this interval confirms the age of the weathering processes identified from the manganese oxides record. 105 goethite grains from 8 different occurrences of the Barreiras Formation were dated by the (U-Th)/He method. Five grains collected from the cement in the Barreiras Formation sandstones, in the Lagoa Salgada and Rio do Fogo coastal cuestas, yielded ages of 17.6 ± 1.8 Ma, 17.3 ± 1.7 Ma, 16.3 ± 1.6 Ma, 16.2 ± 1.6 Ma and 13.6 ± 1.4 Ma. Results of 69 goethite grains from authigenic pisoliths collected in 7 different localities also yielded concordant ages, varying from 17.8 ± 1.8 to 7.5 ± 0.8 Ma. Results obtained from 31 detrital grains are concordant in 3 distinct localities (Lagoa Salgada, Praia da Garças e Ponta Grossa); they vary in the range of 43.2 ± 4.3 to 21.6 ± 2.2 Ma, and indicate that the maximum age for the Barreiras Formation deposition is around 22 Ma. 40Ar/39Ar results for 15 manganese oxides grains associated with the Barreiras Formation weathering profiles, in 3 different localities, vary from 13.1 ± 0.9 to 7.7 ± 0.4 Ma, in the same range of ages obtained by the (U-Th)/He method. The systematic application of the 40Ar/39Ar and (U-Th)/He methods, respectively for manganese oxides and goethites, show that the Barreiras Formation sediments were already deposited since ca. 17 Ma, and that the weathering processes were active until ca. 7 Ma ago. The ages obtained from manganese oxides collected in the Cenozoic basalts (Macau Formation) also reveal a weathering history between 19 and 7 Ma, pointing to hot and humid conditions during most of the Miocene. 40Ar/39Ar ages yielded by manganese oxides associated with the Serra do Martins Formation vary from 14.1 ± 0.4 to 10.5 ± 0.3 Ma. On the other hand, (U-Th)/He ages from iron oxides/hydroxides collected in the Serra do Martins Formation mesas vary from 20.0 ± 2.0 to 5.5 ± 0.6 Ma, indicating that those sediments are older than 20 Ma. 40Ar/39Ar and (U-Th)/He results produced in this study are in agreement with paleoclimatic interpretations based on stable isotopes and clay index values measured in the Atlantic Ocean sediments, validating the use of weathering geochronology to investigate paleoclimatic variations. The direct dating of the Barreiras Formation permitted, for the first time, confident inferences on the age of the brittle deformation recorded by this sedimentary unit in the Rio Grande do Norte and Ceará states. The first event, syn-deposition, occurred during the early Miocene; an younger event, related to the post-depositional deformation of the Barreiras Formation, is associated with tectonic activity from the very early Miocene to the Holocene. In agreement with data from other areas, results obtained in this study reveal that the depth and complexity of the weathering profiles reflect the time of exposition of such areas to the weathering agents close to the surface. However, there is no clear relationship between ages vs. altitude. The depth and the stratigraphic organization of weathering profiles in northeastern Brazil, contrary to the southeastern Brazil pattern, do not vary toward the coast. In our study area, field observations reveal the presence of ancient, thick and complex lateritic profiles preserved in the sedimentary mesas on the Borborema Plateau, as younger, narrow and incipient ones occur in the dissected areas. Geochronological results obtained for these profiles yielded older ages on the high altitudes, and younger ages in the lowlands, suggesting the scarp retreatment is the most reliable model to explain the regional landscape evolution. However, in the coastal lowlands, the relatively older ages obtained indicate that more complexes processes were involved in the modeling of the local relief

O campo e o jogo: uma História do Estádio Castelão (1963-1991)

The study aims to examine the planning, the construction and uses of the stadium Presidente Castelo Branco (Castelão), opened in Natal, capital of Rio Grande do Norte, in 1972. Used as main sources of documents printed newspapers A República, Tribuna do Norte e Diário de Natal; photographs of the 1960s, 1970s and 1980s and, finally, an interview with Moacyr Gomes da Costa, architect responsible for building the stadium Castelão. Seeks to understand the changes and continuities stemming from the construction of this stadium for football history and the city. Articulated in the text the inauguration of the stadium with the process of commodification and massification of football norte-rio-grandense, that occurred from the 1970s. Indicates the places where they practiced football in Natal before the construction of a stadium and analyzes the historical needs that led to the construction of a sports square. Discusses the transformation of football matches in shows profit, which now involve large economic interests. Investigates how political potiguares made use of football stadiums as a mechanism of legitimation and realize this debate with the performances of Djalma Maranhão and the Cortez Pereira, that at different times using this mechanism. Search elements that favored the popularization experienced by football potiguar from the 1970s, the role of the sports press this process and the emergence organized supporters

Usando a história da resolução de alguns problemas para introduzir conceitos: sistemas lineares, determinantes e matrizes.

In this work we studied the method to solving linear equations system, presented in the book titled "The nine chapters on the mathematical art", which was written in the first century of this era. This work has the intent of showing how the mathematics history can be used to motivate the introduction of some topics in high school. Through observations of patterns which repeats itself in the presented method, we were able to introduce, in a very natural way, the concept of linear equations, linear equations system, solution of linear equations, determinants and matrices, besides the Laplacian development for determinants calculations of square matrices of order bigger than 3, then considering some of their general applications

História de uma completiva: origem e desenvolvimento do complemento oracional introduzido por se do português

O propósito deste trabalho é investigar o percurso histórico da oração completiva iniciada pela conjunção se do português, que também introduz, nessa e em outras línguas românicas, uma oração adverbial condicional. Com base em registros de filólogos e romanistas, demonstra-se que a similaridade existente entre essas orações é resultado de gramaticalização da oração condicional que, no latim, passou a funcionar como oração completiva, em razão da extinção das partículas interrogativas que passaram a ser substituídas pela conjunção condicional latina si. Como oração completiva, a oração com se submete-se à gramaticalização, integrando-se à oração matriz de um modo que, conforme proposta de Hopper e Traugott (1993) e de Lehmann (1988), é próprio a construções completivas. A forma que tem essa oração de se gramaticalizar, incorporando-se à oração matriz, é, entretanto, diferente do que é previsto ocorrer a uma completiva introduzida por que, uma diferença que se deve, sobretudo, ao significado hipotético que a completiva com se preserva de sua fonte histórica. Demonstra-se, por fim, que, do português arcaico ao português contemporâneo, a gramaticalização do complemento oracional introduzido por se não se configura em mudança diacrônica, já que essa gramaticalização é atestada desde períodos mais remotos, em textos do século XIV.

História de vida de Laetacara aff. araguaiae Ottoni & Costa, 2009 (Perciformes, Cichlidae) em dois riachos no Noroeste do Estado de São Paulo, Brasil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Fragmentos da presença do pensamento idealista na história da construção das ciências da natureza

O propósito deste trabalho é estabelecer o caminho percorrido pelo idealismo em sua participação na construção das Ciências da Natureza desde a antigüidade até o final do século XX. Para os pensadores antigos, o mundo físico era governado pela idéia, e o modo de apreendê-la era por meio da contemplação da alma ou da observação e da lógica. Na escolástica essa idéia é Deus. Na renascença, Deus se torna matemático. em Galileu a Matemática do mundo é entendida pela experimentação. Para Descartes o mundo é mecânico e entendido por hipóteses dedutivas. Newton enxerga o mundo mecânico construído e corrigido pelo Deus geômetra e entendido pela observação e experimentação. Os empiristas retiram a idéia do universo e a colocam no espírito humano. em Kant as regras que organizam as idéias na mente também organizam o mundo mecânico. em Hegel o real só é real porque é racional, e essa racionalidade vem de Deus, que transforma o mundo natural e atinge o espírito humano. Os pensadores, influenciados por Hegel, percebem a incapacidade das leis da mecânica explicarem as leis da vida. Comte e Bergson procuram, de forma diferente, submeter às leis da Física às leis das ciências da vida. O universo mecanicista é absorvido pelo determinismo relativista e pelo probabilismo quântico. A linguagem da lógica se associa ao empirismo na descrição da ciência procurando retirar dela o idealismo e a metafísica e, após um período de florescimento, acaba não tendo sucesso. A dificuldade da apreensão do real volta a ser o problema da ciência no final do século XX, e a procura de uma possível solução reaproxima a ciência do idealismo.

História da ciência, interdisciplinaridade e ensino de física: o problema do demônio de Maxwell

Propomos que uma evolução de idéias científicas seja usada como instrumento de aprendizagem de conteúdos específicos e, em particular, para ressaltar como os conteúdos se articulam entre as disciplinas. Como exemplo, apresentamos um estudo sobre a proposta do demônio de Maxwell e discussões sobre sua exorcização, isto é, um estudo sobre a compreensão da natureza de um ser inteligente que atua dentro de um sistema físico e de como seria essa atuação. Estão envolvidos nesse problema fenômenos relacionados com várias teorias - Termodinâmica, Física Molecular, Mecânica Estatística, Teoria da Informação - dentro das disciplinas de Física, Química, Biologia, Computação. Entre diversas questões epistemológicas e conceituais aí contidas, será enfatizada a questão do objeto limitado de uma eoria científica, isto é, da limitação de seu significado aos fenômenos por ela compreendidos. A delimitação dos fenômenos estudados e as teorias e técnicas caracterizam a compreensão que vai realizar sua emergência concreta nos laboratórios. Essa compreensão vai dar também a possibilidade de atuação interdisciplinar.

A história da ciência na formação do professor de física: subsídios para um curso sobre o tema atração gravitacional visando às mudanças de postura na ação docente

O objetivo desta pesquisa foi estudar como a evolução histórica dos modelos de atração entre corpos, tendo como pano de fundo a evolução dos modelos de mundo, pode auxiliar na formação inicial do docente de Física. Para tanto, sugerimos um planejamento de curso sobre o tema atração gravitacional, destinado principalmente a docentes de Física que atuam no ensino médio. O planejamento do curso foi baseado: em dados sobre a evolução dos modelos de mundo, buscando evidenciar como o conceito de atração gravitacional desenvolveu-se historicamente; nas concepções alternativas mais comuns encontradas na literatura, incluindo um breve esboço de noções diagnosticadas em uma amostra de docentes de Física de ensino médio; e em sugestões de leituras de resultados de pesquisas recentes sobre os processos de ensino e aprendizagem de ciências. Pretende-se fornecer aos docentes elementos de reflexão que lhes proporcionem mudanças de postura, através do questionamento da visão de ciência enquanto processo de construção e sobre sua própria prática de ensino. Partindo de resultados recentes da pesquisa em Ensino de Ciências, a metodologia sugerida privilegia o trabalho coletivo, com a realização de debates e sínteses. As atividades mencionadas são acompanhadas de justificativas sobre a escolha do tema e objetivos.

Leitura crítica da história: reflexões sobre a história da matemática

Muitos elementos que fornecem informações para a escrita da história apresentam direcionamentos representativos de uma forma de pensamento, seja ela política, filosófica ou de cunho social. Esses elementos são trabalhados para que se tenha uma visão específica da história. O objetivo deste texto é, por meio de alguns exemplos, discutir que existem diferentes formas de análise dos elementos que nos fornecem informações históricas, com destaque para a História da Ciência, especificamente para a História da Matemática. Quanto maior for a quantidade de informações sobre determinados acontecimentos históricos, maior é a possibilidade de se obter um encadeamento histórico, firmado em bases qualitativas, que sustente a informação adquirida. Se essas informações forem escassas, ou originárias de fontes duvidosas, as conclusões históricas referentes ao assunto tratado ficam frágeis e passíveis de diferentes e, muitas vezes, conflitantes interpretações. Neste texto, pretende-se apresentar alguns exemplos históricos onde, por conta de poucas informações, ou informações distorcidas, a interpretação histórica é passível de mudanças.

Interface entre história da matemática e ensino: uma atividade desenvolvida com base num documento do século XVI

Este artigo propõe a construção de uma interface entre história e ensino de matemática a partir de um diálogo entre historiadores e educadores da matemática. Para tanto, consideramos aspectos epistemológicos e metodológicos ligados à história da matemática, pautada em tendências historiográficas atuais, juntamente com a metodologia baseada no movimento lógico-histórico. A interface contemplou o movimento do pensamento na formação dos conceitos e o contexto no qual tais conceitos foram desenvolvidos, de modo a conduzir à reflexão sobre o processo histórico da construção do conhecimento para a elaboração de atividade didática. Esta atividade teve por base um documento do século XVI dedicado à construção e uso de instrumentos matemáticos, e sua elaboração levou em consideração uma intencionalidade e um plano de ação que viabilizaram o seu desenvolvimento. A organização do ensino articulou as conexões internas e externas trazidas pela análise do documento e a forma do pensamento do desenvolvimento do conceito.

Subsídios para a gênese da imprensa musical brasileira e para a história do Hino da Independência, de Dom Pedro I

Este artigo tem por objetivos rever, mediante análise bibliográfica e de fontes primárias, a história de um de nossos símbolos musicais pátrios, o Hino da Independência, de Dom Pedro I, bem como trazer novos subsídios para o estudo da gênese da imprensa musical brasileira. Tem, igualmente, por escopo divulgar peculiaridades de uma antiga e pouco conhecida partitura desse hino, já não mais presentes em modernas edições de tal composição.

Um esboço da história do conceito de trabalho virtual e suas aplicações

Neste trabalho abordamos a questão concernente à origem do princípio de trabalho virtual e sua consolidação como um dos conceitos fundamentais no estudo da mecânica analítica e, em particular, dos sistemas em equilíbrio estático. Ênfase foi dada às contribuições seminais de Stevin, Galileu e, sobretudo, as de d'Alembert e Lagrange, no tocante ao conceito de trabalho virtual. Além disso, faz-se um comentário geral sobre vínculos holônomos e deslocamento virtual. Alguns exemplos de emprego da equação de d'Alembert-Lagrange são apresentados, para mostrar como o princípio de trabalho virtual pode ser adequadamente aplicado.

Memórias sobre um conflito de terra em relatos de história de vida

Este artigo se propõe a analisar as memórias de pequenos produtores rurais do assentamento Camucim (litoral sul da Paraíba) sobre um conflito de terra ocorrido no final dos anos 70 e início dos anos 80, do século XX. Essas memórias foram obtidas através de entrevistas de história de vida, que foram submetidas à Análise de Discurso. A partir da história oral, pretende-se analisar o sentido subjetivo construído pelos narradores, através de suas memórias. Nesse sentido, o conflito é relembrado como uma luta legítima, abençoada por Deus, o que nos remete para o papel fundamental da Igreja nesse processo, através da Comissão Pastoral da Terra (CPT). Além disso, os narradores constroem uma imagem de lutadores corajosos e vitoriosos.