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

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

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

Avaliação do desenvolvimento neuropsicomotor em crianças na rede básica de saúde utilizando o teste de Denver II: identificação de fatores de risco materno

Alterations in the neuropsychomotor development of children are not rare and can manifest themselves with varying intensity at different stages of their development. In this context, maternal risk factors may contribute to the appearance of these alterations. A number of studies have reported that neuropsychomotor development diagnosis is not an easy task, especially in the basic public health network. Diagnosis requires effective, low-cost, and easy - to-apply procedures. The Denver Developmental Screening Test, first published in 1967, is currently used in several countries. It has been revised and renamed as the Denver II Test and meets the aforementioned criteria. Accordingly, the aim of this study was to apply the Denver II Test in order to verify the prevalence of suspected neuropsychomotor development delay in children between the ages of 0 and 12 months and correlate it with the following maternal risk factors: family income, schooling, age at pregnancy, drug use during pregnancy, gestational age, gestational problems, type of delivery and the desire to have children. For data collection, performed during the first 6 months of 2004, a clinical assessment was made of 398 children selected by pediatricians and the nursing team of each public health unit. Later, the parents or guardians were asked to complete a structured questionnaire to determine possible risk indicators of neuropsychomotor development delay. Finally the Denver II Developmental Screening Test (DDST) was applied. The data were analyzed together, using Statistical Package for Social Science (SPSS) software, version 6.1. The confidence interval was set at 95%. The Denver II Test yielded normal and questionable results. This suggests compromised neuropsychomotor development in the children examined and deserves further investigation. The correlation of the results with preestablished maternal risk variables (family income, mother s schooling, age at pregnancy, drug use during the pregnancy and gestational age) was strongly significant. The other maternal risk variables (gestational problems, type of delivery and desire to have children) were not significant. Using an adjusted logistic regression model, we obtained the estimate of the greater likelihood of a child having suspected neuropsychomotor development delay: a mother with _75 4 years of schooling, chronological age less than 20 years and a drug user during pregnancy. This study produced two manuscripts, one published in Acta Cirúrgica Brasileira , in which an analysis was performed of children with suspected neuropsychomotor development delay in the city of Natal, Brazil. The other paper (to be published) analyzed the magnitude of the independent variable maternal schooling associated to neuropsychomotor development delay, every 3 months during the first twelve months of life of the children selected.. The results of the present study reinforce the multifactorial characteristic of development and the cumulative effect of maternal risk factors, and show the need for a regional policy that promotes low-cost programs for the community, involving children at risk of neuropsychomotor development delay. Moreover, they suggest the need for better qualified health professionals in terms of monitoring child development. This was an inter- and multidisciplinary study with the integrated participation of doctors, nurses, nursing assistants and professionals from other areas, such as statisticians and information technology professionals, who met all the requirements of the Postgraduate Program in Health Sciences of the Federal University of Rio Grande do Norte

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

Especificação de uma rede MPLS fim-a-fim com diferenciação de serviços

New multimedia applications that use the Internet as a communication media are pressing for the development of new technologies, such as: MPLS (Multiprotocol Label Switching) and DiffServ. These technologies introduce new and powerful features to the Internet backbone, as the provision of QoS (Quality of Service) capabilities. However, to obtain a true end-to-end QoS, it is not enough to implement such technologies in the network core, it becomes indispensable to extend such improvements to the access networks, what is the aim of the several works presently under development. To contribute to this process, this Thesis presents the RSVP-SVC (Resource Reservation Protocol Switched Virtual Connection) that consists in an extension of RSVP-TE. The RSVP-SVC is presented herein as a mean to support a true end-to-end QoS, through the extension of MPLS scope. Thus, it is specified a Switched Virtual Connection (SVC) service to be used in the context of a MPLS User-to-Network Interface (MPLS UNI), that is able to efficiently establish and activate Label Switched Paths (LSP), starting from the access routers that satisfy the QoS requirements demanded by the applications. The RSVP-SVC was specified in Estelle, a Formal Description Technique (FDT) standardized by ISO. The edition, compilation, verification and simulation of RSVP-SVC were made by the EDT (Estelle Development Toolset) software. The benefits and most important issues to be considered when using the proposed protocol are also included

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.