Outorga onerosa do direito de construir e dinâmica do mercado imobiliário formal: planejamento e descaminhos na expansão urbana de Parnamirim RN (2008-2010)

The `Outorga Onerosa do Direito de Construir - OODC` (Public Concession of Building Rights), instrument instituted by The City Statute in 2001, has as main objective the recovery of urban property, seeking for a fair distribution the urbanization benefits. The possibility of usage of the OODC instrument is linked to the maximum utilization coefficient, determined to specific areas in accordance to existing infrastructure conditions, further taking into account the formal real estate market, expansion axis and crowding. Being an instrument which establishes values to be paid for a better use of land, it maintains a narrow relation to the real estate, incentivizing or discouraging the crowding in specific areas. The present study investigates the relationship between the criteria for the making of the Public Concession of Building Rights instrument and the dynamics of the formal real estate market. It takes as empiric universe Parnamirim (RN), part of the Natal Metropolitan Area (RN), focusing on the application of the OODC in the period of 2008-2010. It seeks to better understand the necessary basis for the formulation of the instrument, about how it works and its relation to the formal real estate market. It aims to depict the formal real estate market by presenting the production of urban space in Parnamirim in terms of intensity and nature of the real estate, furthermore identifying the licensed properties through the application of the municipality instrument. For the conclusion, it is discussed the criteria for the formation of OODC, its relationship to the dynamics of the formal real estate market and its influencing possibilities in the processes of usage and occupation of land in the context of urban planning

Cuidado formal em saúde bucal: percepção de senescentes

Ações promotoras de saúde e independência para pessoas idosas são indispensáveis. Compreender essa construção no cotidiano da provisão dos cuidados talvez estimule o desenvolvimento de capacitações ao bem estar nesta população. O objetivo deste estudo foi Identificar a repercussão da provisão do cuidado formal em saúde bucal na percepção de senescentes. Desenvolvemos uma pesquisa de base qualitativa com abordagem fenomenológica, onde realizamos entrevistas semiestruturadas e individuais com 30 pessoas de idade superior a 50 anos (22 mulheres e 08 homens), em um Centro de Convivência na cidade de Natal/Rio Grande do Norte, no nordeste do Brasil. Os relatos obtidos foram analisados em cinco estágios: transcrição dos discursos sem preocupação interpretativa; limpeza de erros linguísticos e repetições; leitura repetitiva e exaustiva para apreensão do sentido das informações coletadas; seleção das unidades significativas dos discursos, correspondendo aos trechos relevantes no horizonte do fenômeno em estudo; e compreensão da ideografia elaborada pelos participantes por grupos temáticos simbólicos. Assim, identificamos as essências temáticas de: determinante social e iniquidade em saúde bucal; e provisão de cuidados de saúde bucal e mal-estar físico, mental e social. Concluímos que a prestação de cuidados agregando abordagem humanístico-ética pode levar a vivências dignificantes no processo de envelhecimento, destacadamente quando estimula a promoção da segurança pessoal. O âmago desse trabalho descortina uma vertente multidisciplinar que perpassa a saúde, a educação e a ética

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

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

Avaliação de um programa de educação ambiental não formal: a Caravana Ecológica na visão dos participantes

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

Uma arquitetura baseada em SCTP e SIP para suporte a aplicações VoIP móveis e a especificação formal do seu módulo de controle

New versions of SCTP protocol allow the implementation of handover procedures in the transport layer, as well as the supply of a partially reliable communication service. A communication architecture is proposed herein, integrating SCTP with the session initiation protocol, SIP, besides additional protocols. This architecture is intended to handle voice applications over IP networks with mobility requirements. User localization procedures are specified in the application layer as well, using SIP, as an alternative mean to the mechanisms used by traditional protocols, that support mobility in the network layer. The SDL formal specification language is used to specify the operation of a control module, which coordinates the operation of the system component protocols. This formal specification is intended to prevent ambiguities and inconsistencies in the definition of this module, assisting in the correct implementation of the elements of this architecture

A utilização de espaços de educação não formal por professores de biologia de Natal-RN

La práctica educativa en espacios no formales es un recurso didáctico catalizador de motivación e interese, tanto para alumnos como para los profesores. El crecimiento de los espacios no formales coincide con los cambios recientes en el mundo en los campos sociales, políticos, económicos y culturales. Como una de las consecuencias de esos cambios, tenemos el crecimiento de otras instancias difusoras de conocimientos rompiendo, así, la hegemonía de la escuela. De esa forma, en este trabajo busqué investigar la frecuencia y las formas de utilización de los espacios de educación no formal por profesores de biología, de la enseñanza media, de la Ciudad de Natal (RN). Procuré también, identificar cuales son los espacios de educación no-formal que son utilizados; describir los recursos y las acciones desarrolladas en eses espacios; identificar la existencia o no de interese y la importancia que atribuyen a los espacios para la enseñanza de biología, además de divulgar los espacios utilizados como recursos didácticos. Para alcanzar estos objetivos fueron hechas observaciones de los espacios, aplicados cuestionarios y realizadas entrevistas con los profesores que realizan actividades junto a tales instituciones. Para el análisis de los datos se utilizó tanto el abordaje cuantitativo como cualitativa. Nos basamos en referenciales teóricos de autores que buscan establecer las relaciones entre diferentes modalidades de educación para mejor comprender lo que es la educación no-formal y su trayectoria histórica. Constaté que los profesores utilizan los espacios de educación no-formales, aun la cantidad de visitas al año sea reducida, en virtud de varias dificultades por ellos apuntadas, tales como el transporte, la falta de recursos financieros y de apoyo para viabilizar la visita, entre otros. Verifiqué también que los profesores demostraron un alto interese por los espacios no-formales y apuntaron como principales justificativas para considerarlos importantes para la enseñanza de la biología la posibilidad de establecer conexiones entre la teoría y la practica, además de la complementariedad

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

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

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

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry