A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Análise de terrenos na porção setentrional da Província Borborema, NE do Brasil: integração de dados geológicos e gravimétricos

It is presently assumed that the Borborema Province resulted from a complex collisional process associated with the convergent movement of plates, possibly involving amalgamation and accretion of microplates. This process was consolidated at the end of the Brasiliano event. It is investigated the possible limits for the tectonostratigraphic terranes in the northern portion of the province based on an integrated study of geological and gravity data. The study area comprises the portion of the Borborema Province located north of the Patos Lineament, limited by longitudes 33º00 W and 43º29 44"W and latitudes 1º36 S and 8º00 S. A revision of the regional geology allowed to identify areas presenting contrasting geological attributes, possibly representing different terranes whose limits are always shear zones of Brasiliano-age. The Sobral-Pedro II shear zone is the only one undoubtedly presenting geological attributes of sutures zones. The other shear zones are very likely associated with a geodinymic context of accretion, involving oblique collisions (docking), transcurrent and/or transforming sutures, and deep intracrustal shear zones. The gravity data contributed as a tool to identify strong lateral contrasts of density inside the upper crust possibly associated with crustal blocks tectonically juxtaposed. The dominant long wavelength anomaly in the Bouguer anomaly map is an expressive gradient, grossly parallel to the continental margin, caused by density variation across the crust-mantle interface in the transition from the continental crust to the oceanic crust originated by the separation between South America and Africa. Medium to small wavelength anomalies are due to intracrustal heterogeneities such as different Precambrian crustal blocks, Brasiliano-age granites and Mesozoic sedimentary basins. A regional-residual separation of the Bouguer anomaly map was performed in order to enhance in the residual map the effect due to intracrustal heterogeneities. The methodology used for this separation was a robust polinomial fitting. The inversion of residual gravity field resulted in a density contrast map (Δρ), in an equivalent layer that provided more accurated anomalies contours and consolidated the model which the sources of residual anomalies are located in the upper part of the present crust. Based on the coincidence of gravity lineaments in the residual map and Brasiliano shear zones, and using additional geological information, the following shear zones are proposed as limits between terranes: Patos shear zone, Sobral-Pedro II shear zone, Picuí-João Câmara shear zone, Remígio-Pocinhos shear zone, Senador Pompeu shear zone, Tauá shear zone, and Portalegre shear zone. Based on the geological/geophysical information it is attributed a higher level of confidence to the first three proposed limits(Patos, Sobral Pedro II, and Picuí-João Câmara shear zones). From west to east, these shear zones individualize the following terranes: Northwest of Ceará terrane, Central Ceará terrane, Tauá terrane, Orós-Jaguaribe terrane, Seridó terrane, and São José de Campestre terrane. In our study, the Rio Piranhas and Patos terranes are questioned because their previously proposed limits do not present good geological and gravimetric evidences. On the other hand, the previously proposed Cearense terrane is now subdivided into Central Ceará and Tauá terranes. Two residual gravity profiles located in the Seridó belt were interpreted using 2 ½ D direct gravity modeling. The main result of the modeling process is that all anomalies, with the exception of one, can be explained by outcroppring bodies, therefore restricted to the upper part of the present crust

Estruturação do grupo Serra Grande região de Santana do Acaraú- CE e a reativação do lineamento Sobral Pedro II, integração com dados geofísicos

The study area is located in the NW portion of the Ceará state nearby the city of Santana do Acaraú. Geologically it lies along the Sobral-Pedro II lineament which limits the domains of Ceará Central and Noroeste do Ceará, both belonging to the Borborema Province.The object of study was a NE trending 30km long siliciclastic body (sandstone and conglomerate) bounded by transcurrent dextral faults. The sediments are correlated to the Ipú Formation (Serra Grande Group) from the Parnaiba basin, which age is thought to be Siluro-Devonian. Existing structural data shown that bedding has higher but variable dips (70-45) near the borders faults and much lower to subhorizontal inward the body. The brittle deformation was related to a reactivation, in lower crustal level, of the Sobral-Pedro II lineament (Destro (1987, 1999; Galvão, 2002).The study presented here was focused in applying geophysicals methods (gravimetry and seismic) to determine the geometry of the sandstone/conglomeratic body and together with the structural data, to propose a model to explain its deformation. The residual anomalies maps indicate the presence of two main graben-like structures. The sedimentary pile width was estimated from 2D gravimetric models to be about 500-600 meters. The 3D gravimetric model stressed the two maximum width regions where a good correlation is observed between the isopach geometry and the centripetal strike/dip pattern displayed by the sediments bedding. Two main directions (N-S and E-W) of block moving are interpreted from the distribution pattern of the maximum width regions of the sedimentary rock

O espaço central das atenções: o corredor de integração da região metropolitana de Natal

This work considers the space study of the main road runner of integration of the Region Metropolitan of Natal (RMN) in formation, emphasizing its repercussion for the geographic context of the city, where we identify the positive and negative aspects of such space configuration, as for the aspects of the urban inaquality, economic centrality and of flows, promoted for the state and private capital (national and foreign). The linear convergence and polinucleately of geographic objects in that we identify as Central Space of Attentions (CSA), promoted, and still it promotes, important repercussion in the space estructuretion of the peripheral areas of the RMN, such as in the constitution of the "Capital Value of the Space". In this direction, to endorse the analysis of such reading, choose as cientific ballast the geographic theory, in a perspective dialectic, as well as we rescue contributions of the science of the administration, sociology, economy, amongst others. From the empirical research, subsidized with the application of forms together the entrepreneurs whom they possess investments in the CSA, as well as in the rescue of information you register in cadastre in the Junta Comercial do Estado do Rio Grande do Norte (JUNCERN) and telephonic list, we construct a proposal of reading of the current period of training of the process of space production to which is rank the CSA. The analysis of the data, under a comparative space angle, presents an important contribution to reevaluate the urban space of the RMN in its bigger aspect, exceeding the limits of the studied road corridor

Escolas Técnicas do SUS (ETSUS) no Brasil: regulação da integração ensino serviço e sustentabilidade administrativa

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Integração de critérios técnicos, ambientais e sociais em estudos de alternativas locacionais para implantação de aterro sanitário

A Política Nacional do Meio Ambiente tem como objetivo a conciliação do desenvolvimento econômico e social com a qualidade ambiental, e dispõe de vários instrumentos que procuram contemplara capacidade de suporte do meio. Assim, a discussão sobre a localização das atividades é uma etapa importante para a avaliação da viabilidade ambiental de um determinado empreendimento, notadamente em processos de licenciamento ambiental. O trabalho apresenta uma abordagem metodológica para integração de critérios técnicos, ambientais e sociais em estudos de alternativas de localização de aterros sanitários, com especial atenção à interação entre os aspectos ambientais e os elementos fundamentais de um projeto (a saber, requisitos locacionais e concepção tecnológica), aplicado em um estudo de caso em São Carlos (SP). Como resultados principais, destacam-se o maior foco nos impactos significativos e a possibilidade de envolvimento de segmentos importantes da sociedade previamente à elaboração dos estudos ambientais.

Integração de métodos geofísicos na modelagem crustal da Bacia de Santos

A Bacia de Santos é uma bacia de margem passiva gerada durante o Neocomiano, associado com o evento de ruptura do Supercontinente de Gondwana. A espessura da seção sedimentar pode alcançar 15 km, incluindo a seqüência rifte, e foi depositada sobre uma crosta afinada cuja espessura original era de cerca de 35 km. Foi realizada uma modelagem crustal em 8 linhas, aproximadamente perpendiculares ao mergulho deposicional da bacia, objetivando o reconhecimento da geometria da fase rifte e a estimativa do estiramento crustal. Foram utilizados durante a modelagem quatro horizontes sísmicos em profundidade, mapas magnético e gravimétrico além de dados da profundidade do embasamento magnético. Foi reconhecido um pronunciado estiramento crustal em toda a bacia (fatores de estiramento crustal variando entre 1.2 e 3.1), evidenciando ampla acomodação da deformação. Os resultados da modelagem necessitaram, ainda, de espessas e contínuas camadas de rochas vulcânicas para ajuste do modelo. Estas cunhas de rochas vulcânicas, limitadas lateralmente por falhas normais, são feições comuns em bacias rifte. Os resultados da modelagem foram confrontados com dados da profundidade do embasamento magnético, obtidos anteriormente, e evidenciaram forte correlação, sobretudo nas áreas rasas da bacia.

Reflexões sobre uma proposta de integração saúde-escola: o projeto saúde e educação de Botucatu, São Paulo

Tendo como objeto de estudo a criança em idade escolar, discute-se, no presente artigo, o processo de elaboração e desenvolvimento de uma programação em saúde pública a fim de construir uma estratégia de ações que integrem os campos da saúde e da educação. Tal programação apresenta-se apoiada em três eixos de atuação: atenção integral à saúde da criança em idade escolar, priorizando a criança que está ingressando no sistema público escolar; formação de recursos humanos nas áreas saúde e educação, por meio de estágios que possibilitem vivenciar, trabalhar e refletir criticamente a ação programática junto a uma equipe interdisciplinar; trabalho com professores da rede de ensino público fundamental para a implantação e desenvolvimento de ações inovadoras nos campos da saúde e da educação que respondam às demandas da escola, da comunidade e de uma atuação crítica em face dos problemas enfrentados pelas crianças em processo de escolarização.

O México como aliado dos EUA no projeto de integração das Américas

O artigo sugere que, nas duas últimas décadas, os governos mexicanos vêm adotando medidas políticas e econômicas amplamente afinadas com o modelo de integração econômica das Américas proposto pelos EUA. A adesão incondicional ao Nafta e o empenho para consolidar os projetos do Corredor Biológico Mesoamericano e do Plano Puebla-Panamá são exemplos fundamentais dessa estratégia.

Eleições, política externa e integração regional

L'article examine le rapport entre les régimes politiques domestiques et l'intégration régionale. L'argument central montre que la thèse selon laquelle une convergence politique plus profonde avec les autres régimes de gauche de la région favoriserait encore plus l'intégration sud-américaine recèle un paradoxe qui n'a pas encore été traité dans les débats. Bien qu'il soit acceptable l'idée qui préconise que des gouvernements de gauche ont tendance à donner leur appui politique au régionalisme sud-américain, il est tout aussi vrai l'idée selon laquelle les régimes présidentiels de gauche sont moins favorables à la transnationalisation des normes et à la cession de souveraineté aux instances transnationales. L'article présente brièvement la révision de la littérature à propos de la relation entre politique interne (régimes politiques et des partis) et production de la politique externe et, au long de ce débat, il analyse le thème des accords commerciaux dans les élections sud-américaines, y compris le cas brésilien.

Integração de modelos de localização a sistemas de informações geográficas

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

Custo Leite para Windows: Software de Controle de Custos para a Pecuária Leiteira

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Globalização, integração e o estado

This article is a reflection on the importance of the integration for the Latin American countries in the globalized age, standing out those specific characteristics of the integrational processes, calling the attention to the cases of the Mercosul and the FTAA. Its intention is to understand the integration beyond its function as a possible promoter of a sustainable development or the international insertion, being part of a process of change in the State itself.

Implantação do pilar ruju Botucatu na UNESP para integração ao Sistema Geodésico Brasileiro

The objective of this work was to implant a geodesic pillar in the campus of Botucatu (Rubião Júnior) of the São Paulo State University (UNESP), using active stations of the Brazilian Net of Continuous Monitoring (RBMC) as reference, aiming at inclusion in the Brazilian Geodesic System (BGS). In the planning of the trace, some aspects of the pillar optimization were considered: the field evaluation, the equipment Receiver GPS Topcon Hiper GGD and the net RBMC were used to trace the height, and the Topcon Tools 6.04 version software was use for the data processing, the ambiguity solution, as well as the treatment of injunctions during the column adjustment. The obtained results allowed the implantation of a more accurate pillar then 1ppm compatible to the RBMC net, meeting the specification of IBGE.

Caracterização das falhas de transferência na porção norte da Bacia de Santos a partir da integração de dados geológicos e geofísicos

Structures transverse/sub-transverse to the shoreline have been identified and characterized on the precambrian basement outcrop on the continent adjacent to the northern Santos Basin. These structures were analyzed from images of digital elevation model SRTM 90m by extracting NW-SE lineaments that intersect the NE-SW foliation. The lineaments were selected, classified into 48 segments that extend toward offshore, and correlated with basin structures. In the basin 25 2D seismic sections, 12 well logs and data from potential methods were interpreted, identifying the key stratigraphic levels and the major structures. Structural maps of each horizon were generated. Six transfer faults (FTs) were recognized and named FT-1 to FT-6, whose extensions correspond to continental lineaments named FC1 to FC6. The FTs are related to the basin deformation and evolution. In seismic sections, these faults have lateral slip in flower structures, displacement inversions from normal at the top to reverse at the base, abrupt changes in thickness or even disappearance of the seismic reflectors. The structural map of the Basement and Top of the Rift shows control of some depocenters by faults and displacements in some areas. The maps of potential methods indicate that there are pronounced anomaly shifts in some areas, associated with FTs. Some seismic sections indicate reactivation of FTs when they intersect horizons from the basement until the most recent layers. The 3D integration of data facilitated the observation of the FT extensions in the continent discontinuity.