Educação ambiental: mediações sociais e políticas e a indolência do Poder Público à sua inclusão no ensino formal

As a result of the prediction of irreversible changes on necessary conditions to maintain life, including human, on the planet, environmental education got the spotlight in the political scenario, due to social pressure for the development of individual and collective values, knowledge, skills, attitudes and competences towards environmental preservation. In Brazil, only in 1999 the right for environmental education was officially granted to people, having the status of essential and permanent component in the country s education. Since then, it has been Government s duty, in each federal branch, to plan actions to make it happen, in an articulate way in all levels and modalities of the education process, both formally and informally. This work of research has environmental education in the school as subject matter, and aims on analyzing social and political mediations established between this National Environmental Education policy and the contexts associated to the legislative production process, the political nature of the conceptions about environmental education that underlie Law 9.795/99 (Brazil, 2009c) and also Rio Grande do Norte Government s actions and omissions related to the imperative nature of the insertion of environmental education in the schools ran by the state, during the ten years this law has been in force. The investigation of the subject matter was led by a social and historical understanding of the social and environmental phenomena, as well as of the education system as a whole, considering that only through a dialectical view we can see the real world, by destroying the pseudo-concreteness that surrounds the topic. While analyzing, we assumed that in face of the dominance of a social organization in which market regulations rule on environmental ones, by developing individual and collective critical conscience, environmental education can become a threat to dominant economical interests in exploiting natural resources. The results of this research suggest that as an educational practice to be developed in an integrated, continuous and permanent fashion in all levels and modalities of formal education, environmental education has not yet come to pass in the state of Rio Grande do Norte, due to the neglect and disrespect of the government when facing the need of promoting the necessary and legally appointed measures to make it present in the basic education provided by the state. The legislators silence when it comes to approving a regulation on environmental education essential to define policies, rules and criteria to teaching the subject in the state and the omission from the public administration regarding critical actions in order to integrate in public schools the activities related to the National Environmental Education Policy, represent a political decision for not doing anything, despite the legal demand for an active position. This neglecting attitude for the actualizing of strategically concrete actions, urgent and properly planned for the implementation of environmental education in schools in a multidisciplinary way, exposes the lack of interest the predominant classes have in such kind of education being made available, as it could be developed based on a critic political view, becoming a political and educational action against dominance. When analyzing the basic principles and fundamental goals in Law 9.795/99 (Brazil, 2009c) the development of a critic environmental education is really possible and concurs with the National Environmental Education Policy, reflecting the social and political mediations established between this public policy and the contexts associated to its legislative production process, which are responsible for approving a regulation which also represents the mind of the people about environmental protection above anything else

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Narrativas de Formação de Professoras dos Anos Iniciais do Ensino Fundamental:Concepções e Construções de Necessidades Formativas na Geografia Escolar

This article is about a study about the training needs for teachers of elementary school in the field of Geography. It is our objective to grasp their conceptions of training needs and reflect about their formative needs to teach geography. We consider the training as reflective process that involves the movement of changes and improvement beyond of formal learning, considering its numerous dimensions. We reflected about formative needs in light of the readings of Rodrigues Esteves (1993), Silva (2000), Roberts (2006), Vieira (2010). The discussions about conceptions were based on Ferreira (2007). The empirical reference constitutes to a private school in the city of Ceará-Mirim/RN, SECAT Centro de Ensino. The social subjects of our research are five teachers who work in the initial years of elementary school. We resorted a survey (auto) biographical, based on the studies of Passeggi (2011), Delory (2008), Bertaux (2010) e Josso (2010), since it is our intention to turn to the historicity of the subject and the learning, recognizing the links between him and the world and the experiences based on for learning and adult training. As technical and methodological procedure we will use the Training Narratives, whose application allows the understanding of memories and stories of schooling teachers, since are reported events occurred during the development of the individual through seminars Biographical. We observed on the narratives constructed by the teachers the absence assignments of meanings to a reworking of the theoretical formative needs and questions of its organizing principles. However, we notice the teachers were able to develop senses and means to conceive the phenomenon in study, in a descriptive way, through articulated enunciations, including aspects and opportunities linked to their teaching practices and future formative prospects. Regarding School Geography, we based our studies in the reflections of Smith Junior (1994, 2000), Tonini (2003), Vesentini (2004) and Vlach (1991), among others. We verified that the needs evidenced by the teachers to teach geography were constructed from the contexts of their teaching practices present in their school and professional trajectories. Therefore, we noticed the need for formal pedagogical qualification so that we can conceive the phenomenon in study beyond its descriptive character, understanding that it is necessary to point out reflections and questions about the dynamics of production of global capital, which conveys its interests in the contexts that often emerge formative needs of the educational system

Emprego formal na região nordeste brasileira: seus efeitos na inclusão social

This work aims to study the problem of the formal job in the Brazilian Northeast region and its effect in the social inclusion, taking for base the analysis of variables defined in the Atlas of Social Exclusion, which is based on the 2000 Brazilian Census, choosing the county as unit of analysis. As methodological options, an exploratory data analysis was performed, followed by multivariate statistical techniques, such as weighted multiple regression analysis, cluster analysis and exploratory analysis of spatial data. The results pointed out to low rates of formal job for the active age population as well as low indexes of social inclusion in the Northeast region of Brazil. A strong association of the formal job with the indicators of social inclusion under investigation, was evidenced (schooling, inequality, poverty, youth and income form government transfers), as well as a strong association of the formal job with the new index of social inclusion (IIS), modified from the IES. At the Federative Units, in which better levels of formal job had been found, good indexes of social inclusion are also observed. Highlights for the state of the Rio Grande do Norte, with the best conditions of life, and for the states of the Maranhão and Piauí, with the worst conditions. The situation of the Northeast region, facing the indicators under study, is very precarious, claiming for the necessity of emphasizing programs and governmental actions, specially directed to the raise of formal job levels of the region, reflecting, thus, in improvements on the income inequality, as well as in the social inclusion of the population of Northeastern natives.

A evolução do emprego formal industrial nas cidades médias do estado do Ceará (Juazeiro do Norte, Crato e Sobral) no período de 1990 a 2010

The work consists in a discussion of the evolution of formal employment in the industrial cities of Ceará state averages from 1990 to 2010, since this period was marked by important changes. It is emphasized that in order to achieve this aim, the present study was based on a survey of relevant literature on the subject, as well as the use of the Annual Report of Social Information (RAIS), published by the Ministry of Labour and Employment (MTE) and the Brazilian Institute of Geography and Statistics (IBGE). The central question to be considered in this study is how we evolved formal employment industry in medium-sized cities (Juazeiro do Norte, Crato and Sobral) of Ceará? The assumption that guides this work is that given the economic policies of the 1990 and 2000 these policies encouraged the relocation, thus implying significant growth in the formal manufacturing employment in these cities. Regarding the results obtained in the survey, it was found that the industrial sector of these cities, showed considerable dynamism in what refers to the expansion of establishments. When observed in percentage terms medium-sized cities (345.5%) had the highest growth in number of establishments in the 1990s with rates higher than the Northeast region (285.9%) and Brazil (167.5%). The highlight was the city of Juazeiro, with the highest concentration of micro and small footwear companies in the state. Regarding the number of formal jobs created in medium-sized cities, it went from 6.596 in 1990 to 41.660 million formal jobs in 2010, with a growth rate of 532%. The sector contributed most to employment generation was the footwear. Although the levels of minimum wages, the 1990 recorded the lowest levels. In the 2000, there were real gains in levels of minimum wages in all cities, however, it may be noted that over the decades there has been significant momentum. However, this momentum was not enough to prevent the end of the study period CMs-Ceará present low wages

Industrialização e emprego formal: uma análise para os municípios da região metropolitana do Cariri nos anos de 1990 e 2000

The Northeast has a record of fighting to reduce disparities. In late 1950, the state intervened through SUDENE, organizing and planning the promotion of development through industrialization. This study aims to identify the characteristics of the industrialization of the Northeast and evolution of formal employment in the metropolitan area of Cariri, located in the southern state of Ceará, in the case of the municipalities of Crato, Juazeiro do Norte and Barbalha (CRAJUBAR) in decades of 1990 and 2000. The assumption permeates the SUDENE with public policies to encourage the industry, causing profound changes in the cities studied. The results indicate that the Cariri since the 1960 has been benefiting the programs implemented by SUDENE. With the implementation of these programs, with in a set of circumstances based on local vocations and state policies, there was a spatial distribution industry, triggering a growth and development on the provision of formal jobs in the industrial sector

Reconfigurações industriais das regiões metropolitanas do Nordeste: uma análise a partir do emprego formal

Industrial development experienced by Brazil from the 1950s, changed the concentration of population in the country. The process of development of domestic industry, concentrated in urban areas, crowded growing portion of the population.The Southeast region during the first stage of industrialization driven by the state, with the implementation of Plan goals, captained the major industrial projects implemented in the period and became the main industrial center of the country.In the decade from 1960 to 1980 the state action was marked by numerous regional development projects, softening the industrial concentration and Brazilian investment redirected to the Northeast.The second National Development Plan implemented in the 1970s led to major investments Northeast.This period marked the widespread urban growth and institutionalization of the first metropolitan areas in Brazil.The change of this developmental process is altered with the fiscal and financial crisis of the state in the 1980s and 1990s and spending cuts aimed at national development, reorienting the economy to liberal policies of economic liberalization and reduction of activity in the economy.Industrial policy was relegated to local development plans from the 1990s to the federating units fitting the wide use of tax incentives, the "war tax" to the continued industrialization process.In this context of the national economy work seeks to analyze the industrial setting in the metropolitan areas of Fortaleza, Recife and Salvador between 1995 and 2010.Although the metropolitan areas of Fortaleza, Recife and Salvador are the main urban centers of the Northeast, responsible for the advancement of industrial development, reconfigurations occurred between 1995 and 2010 by changing the level of industrial specialization built by regional division of labor in these regions.The work will be carried out by the method of descriptive analysis of the literature review on regional and urban development.Constitute quantitative method as the secondary data analysis of formal employment from the Annual Social Information (RAIS) Ministry of Labour and Employment (MTE).Using data RAIS / MTE analyzes the industrial specialization index using the Locational Quotient (LQ).Thus, it is assumed as a parameter analysis QL> 1, when the region has become specialized in a particular sector or QL <1, when the region does not have expertise in industrial sector analyzed.The conclusion of study indicates that there was in these metropolitan areas maintained the same bias hub.Fiscal policies, the states, was not successful in diversifying the productive structure and the Northeast region itself.This result is demonstrated by the need and dependence on state investments in the region to promote development.Industrial policies of recent years have been positive to meet the objectives of employment generation, but there must be specific policies for better diversification of production, in addition to integrating the economy of the Northeast sector and regionally

Vocabulário técnico e formação dos profissionais da área têxtil: necessidade, elaboração e avaliação de um dicionário de terminologia do vestuário

This research work deals with the compilation of a dictionary on clothing terminology intended to be used as a pedagogic tool as part of the teaching and learning process in the Textile Engineering Course at the Federal University of Rio Grande do Norte. The main terms were selected and assessed by a team of textile teachers and students with the objective to be structured as a conceptual body of information on the following sub-areas of clothing terminology: materials (fabrics and trimmings) and products (garments). This research comprises three main steps: (a) characterization and understanding of the technical vocabulary in the clothing area as well as the identification of a pedagogic demand for a dictionary on clothing terminology, clearly expressed by the textile lecturers and students involved in the assessment of the need and validation of this project development; (b) a proposal for a specific methodology for the compilation of the dictionary which could help the communication process in the lecturing of clothing terminology and (c) based on the terminological principles and the technique of focal groups the dictionary was assessed. The technique of focal groups was used in the first step. In the second step the technique used was that of the terminological methodology adapted to the teaching approach in the Textile Course. In the third step the technique of focal groups was again utilized. It was observed that the main concern of lecturers and students is the lack of a standardized vocabulary, which renders difficult the communication process in both the teaching and learning activities as well as the professional ones in the textile industries. Various aspects, which can overlap, cause this lack of standardization. The main ones pointed out by the study team in the focal groups are: usage of regional words or expressions, usage of foreign words or expressions, analogies, and the low level of formal education, mainly among the industry workers. Another aspect to be considered is the lack of textile literature written in the Portuguese language of Brazil. This evidence shows the importance of a clothing terminology dictionary which will benefit both the education and professional activties in this field of knowledge. This dictionary will also give a substantial contribution to terminological standardization in our research field. With view to fulfill this demand, a dictionary of clothing terminology was compiled with 760 main entries, according to the modern practice in terminology with the necessary modifications concerning our needs. The result of the dictionary assessment was very assertive regarding its structure, contents and possible use in various contexts. The team work emphasized their contribution to the standardization process of the terms that proved to be one of the most important and difficult aspects of this researh work. The significance of this structured terminological dictionary was confirmed by the focal group participants relating to its use for teaching and learning activities, as a reference book, as a source of technical information and also as a tool for pedagogic studies and planning, as well as a significant collaboration to the pedagogic practices in the textile engineering course at University or any other educational institution. Besides, this dictionary can also be used to supply information within the textile field. We are aware that the present work will not exhaust the objectives of this research due to its limitations in opposition to the vast complexity demanded by the compilation of a complete work including all the areas and sub-areas of textile engineering. However, it is an important source for dissemination of concepts on the field of clothing terminology and a tool to effective standardization of the terms used in this subject field

Narrativas de formação de professoras dos anos iniciais do ensino fundamental: Concepções e construções de necessidades formativas na Geografia Escolar

This article is about a study about the training needs for teachers of elementary school in the field of Geography. It is our objective to grasp their conceptions of training needs and reflect about their formative needs to teach geography. We consider the training as reflective process that involves the movement of changes and improvement beyond of formal learning, considering its numerous dimensions. We reflected about formative needs in light of the readings of Rodrigues Esteves (1993), Silva (2000), Roberts (2006), Vieira (2010). The discussions about conceptions were based on Ferreira (2007). The empirical reference constitutes to a private school in the city of Ceará-Mirim/RN, SECAT Centro de Ensino. The social subjects of our research are five teachers who work in the initial years of elementary school. We resorted a survey (auto) biographical, based on the studies of Passeggi (2011), Delory (2008), Bertaux (2010) e Josso (2010), since it is our intention to turn to the historicity of the subject and the learning, recognizing the links between him and the world and the experiences based on for learning and adult training. As technical and methodological procedure we will use the Training Narratives, whose application allows the understanding of memories and stories of schooling teachers, since are reported events occurred during the development of the individual through seminars Biographical. We observed on the narratives constructed by the teachers the absence assignments of meanings to a reworking of the theoretical formative needs and questions of its organizing principles. However, we notice the teachers were able to develop senses and means to conceive the phenomenon in study, in a descriptive way, through articulated enunciations, including aspects and opportunities linked to their teaching practices and future formative prospects. Regarding School Geography, we based our studies in the reflections of Smith Junior (1994, 2000), Tonini (2003), Vesentini (2004) and Vlach (1991), among others. We verified that the needs evidenced by the teachers to teach geography were constructed from the contexts of their teaching practices present in their school and professional trajectories. Therefore, we noticed the need for formal pedagogical qualification so that we can conceive the phenomenon in study beyond its descriptive character, understanding that it is necessary to point out reflections and questions about the dynamics of production of global capital, which conveys its interests in the contexts that often emerge formative needs of the educational system.

The influence of visual inter-hemispheric connections on spiking, assembly and LFP activities, and their phase relationship during figure-ground stimulation

Desde os descobrimentos pioneiros de Hubel e Wiesel acumulou-se uma vasta literatura descrevendo as respostas neuronais do córtex visual primário (V1) a diferentes estímulos visuais. Estes estímulos consistem principalmente em barras em movimento, pontos ou grades, que são úteis para explorar as respostas dentro do campo receptivo clássico (CRF do inglês classical receptive field) a características básicas dos estímulos visuais como a orientação, direção de movimento, contraste, entre outras. Entretanto, nas últimas duas décadas, tornou-se cada vez mais evidente que a atividade de neurônios em V1 pode ser modulada por estímulos fora do CRF. Desta forma, áreas visuais primárias poderiam estar envolvidas em funções visuais mais complexas como, por exemplo, a separação de um objeto ou figura do seu fundo (segregação figura-fundo) e assume-se que as conexões intrínsecas de longo alcance em V1, assim como as conexões de áreas visuais superiores, estão ativamente envolvidas neste processo. Sua possível função foi inferida a partir da análise das variações das respostas induzidas por um estímulo localizado fora do CRF de neurônios individuais. Mesmo sendo muito provável que estas conexões tenham também um impacto tanto na atividade conjunta de neurônios envolvidos no processamento da figura quanto no potencial de campo, estas questões permanecem pouco estudadas. Visando examinar a modulação do contexto visual nessas atividades, coletamos potenciais de ação e potenciais de campo em paralelo de até 48 eletrodos implantados na área visual primária de gatos anestesiados. Estimulamos com grades compostas e cenas naturais, focando-nos na atividade de neurônios cujo CRF estava situado na figura. Da mesma forma, visando examinar a influência das conexões laterais, o sinal proveniente da área visual isotópica e contralateral foi removido através da desativação reversível por resfriamento. Fizemos isso devido a: i) as conexões laterais intrínsecas não podem ser facilmente manipuladas sem afetar diretamente os sinais que estão sendo medidos, ii) as conexões inter-hemisféricas compartilham as principais características anatômicas com a rede lateral intrínseca e podem ser vistas como uma continuação funcional das mesmas entre os dois hemisférios e iii) o resfriamento desativa as conexões de forma causal e reversível, silenciando temporariamente seu sinal, permitindo conclusões diretas a respeito da sua contribuição. Nossos resultados demonstram que o mecanismo de segmentação figurafundo se reflete nas taxas de disparo de neurônios individuais, assim como na potência do potencial de campo e na relação entre sua fase e os padrões de disparo produzidos pela população. Além disso, as conexões laterais inter-hemisféricas modulam estas variáveis dependendo da estimulação feita fora do CRF. Observamos também uma influência deste circuito lateral na coerência entre potenciais de campo entre eletrodos distantes. Em conclusão, nossos resultados dão suporte à ideia de um mecanismo complexo de segmentação figura-fundo atuando desde as áreas visuais primárias em diferentes escalas de frequência. Esse mecanismo parece envolver grupos de neurônios ativos sincronicamente e dependentes da fase do potencial de campo. Nossos resultados também são compatíveis com a hipótese que conexões laterais de longo alcance também fazem parte deste mecanismo

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Sobre formas e processos: projeto de um condomínio de casas a partir de princípios da gramática da forma

With the intention of studying and developing the design process based on a specific methodology, the object of this work is to present the design of a gated condominium community in Natal based on the application of principles of shape grammar, used in their design process. The shape grammar is a design method developed in the 1970s by George Stiny and James Gips. It is used for the analysis of the project as well as for its synthesis, with the goal of creating a "formal vocabulary" through mathematical and/or geometrical operations. Here, the methodology was used in the synthesis of the design process, through the relationship between formal subtractions and the houses’ architectural planning. As a result, five dwellings configurations were proposed, each one different from the other with respect to their shape and architectural programming, distributed in three twin groups, which are repeated until the final total of nine architectural volumes. In addition to studies of the condominium’s ventilation and the buildings’ shading simulations, studies of spatial flexibility and acoustic performance were also performed. The mapping of the design process, one of the specific objectives of the dissertation, was composed not only by the record of formal constraints (the preparation and application of rules), but also by physical, environmental, legal and sustainability aspects in relation to, on one hand, the optimization of the shading and passive ventilation for hot and humid climates, and, on the other hand, the modulation and rationalization of the construction.

A oralidade no ensino de Língua Portuguesa em livros didáticos para educação de jovens e adultos (EJA): reflexões e proposições

This work appears as a reflection on the oral modality of the language in the teaching of Portuguese Language from textbooks proposed for the elementary school. It has as main aim to analyze the textbooks for the Youth and Adult Education - EJA (6th and 7th grade), the collection "It is time to learn", specifically in regard to educational activities focusing on oral proposals in their constituent units. It is a process of reflection with a view to submitting suggestions arising from the discussions held, given the fact that the writing mode has been identified by some scholars, between these Marcuschi (2005), as the most privileged in the classroom and in most manuals that guide the teaching of Portuguese Language. In this work, we start from a broader vision from the principles of dialogic pedagogy by Paulo Freire perspectives towards pedagogical practices that favor the development of linguistic and discursive student skills. In this sense, we emphasize the formation of a critical subject, who can argue and defend points of view, using oral or written language, in various social situations. In this view, this paper set up aims to identify, describe and interpret the activities proposed to the oral modality of Portuguese Language, from interactional theoretical bases, based on authors as Marcuschi (2005, 2010), Fávero, Andrade and Aquino (1999) Schneuwly and Dolz (2004), Antunes (2009), among others. In addition, the objective was to suggest other educational activities, as a way of expanding the existing ones, in order that addressed more efficiently, to aspects of orality been proposed and aspects of formal oral genres. Methodologically, it is a qualitative research, in which, from the teaching materials used in the classroom, there was a reflection on the orality and the oral teaching of the Portuguese language and has been proposed an expansion of activities one oral mode. In this reflection, analysis of the results revealed that the books investigated, used in Portuguese classes in EJA, include in their proposals orality as an object and teaching axis. However, we appoint the need to expand the teaching proposals with the existing activities in order to give greater emphasis to important aspects of orality already prioritized, and also to address to the formal public genres. In seeking to make suggestions and educational proposals that integrate with existing, we postulated the most effective development for oral skills for the EJA student, in Freire's perspective, as also we thought in a way to provide subsidies which could guide teachers of the Portuguese Language area at the fundamental level of education.