Vende-se uma vila: análise intra-urbana das vilas na Vila de Ponta Negra e no bairro de Nova Descoberta - Zona Sul de Natal

This dissertation is about low-income rental housing vilas in the South Zone in the city of Natal. Vilas are a string of houses, built privately in an urban plot of land, usually a backyard, facing a narrow street beco. This type of housing is originated in the 19th century in the Brazilian scenario. In Natal, this has become more popular since the late 1960s. This study is aimed at analyzing the urban integration of the vilas, considering that these house a low income population, vis à vis the speedy development of Natal s most economically dynamic area. The study starts with a discussion of the production of space, taking into consideration categories such as use value, exchange value, commodity and land rent. Field work was undertaken through structured interviews with dwellers of vilas in Nova Descoberta and Ponta Negra neighbourhoods. Owners of vilas were also interviewed. Data collected indicated worrisome housing conditions. Vilas, in the areas researched, are increasingly becoming unwelcome, constituting guetos in a place where landscape is changing rapidly. Gentrification is fast under way, first because of rise in rent and taxes; second because of general rise in living costs

TECNOLOGITecnologia da informação: commodity ou ferramenta estratégica?

RAMOS, A. S. M. ; FERREIRA, L. B. . Tecnologia da informação: Commodity ou Ferramenta Estratégica?. Revista de Gestão da Tecnologia e Sistemas de Informação , USP, São Paulo, v. 2, n. 1, p. 69-79, 2005.

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

TECNOLOGITecnologia da informação: commodity ou ferramenta estratégica?

RAMOS, A. S. M. ; FERREIRA, L. B. . Tecnologia da informação: Commodity ou Ferramenta Estratégica?. Revista de Gestão da Tecnologia e Sistemas de Informação , USP, São Paulo, v. 2, n. 1, p. 69-79, 2005.

Avaliação de efeitos de um extrato aquoso de cinnamomum zeylanicum L. na marcação de constituintes sanguíneos com tecnécio-99m e na morfologia das hemácias de ratos wistar

Radiobiocomplexes are used to obtain images in nuclear medicine and employed in basic research. Blood constituents labeled with technetium-99m (99mTc) have also been employed as radiobiocomplexes and used also experimental model for evaluation of the biological effects of natural or synthetic drugs. The analysis of the morphology and the morphometrics parameters (perimeter/área ratio) can be used to evaluate the effects of drugs upon the structure of the membrane of red blood cells. Cinnamomum zeylanicum (cinnamon) is a spice used as herbal medicine to treat diseases. The aim of this study was to evaluate the effect of in vitro and in vivo treatment with an aqueous cinnamon extract on the labeling of blood constituents with 99mTc and on the morphology of red blood cells from Wistar rats. In the in vitro treatment, isolated blood sample from animals were incubated with cinnamon extract. In the in vivo treatment, blood samples were also withdrawn from animals treated with cinnamon extract. In both cases, the radiolabeling of blood constituents was done. The morphological analysis of red blood cells was also done. As control, blood or animals treated with NaCl 0.9%. The data obtained on the labeling of blood constituents with 99mTc experiments indicated that the in vitro treatment with cinnamon extract was capable to decrease signiicantly (p<0.05) the percentage of radioactivity in cellular compartments and on the fixation of cellular and plasma proteins. These effects were not observed on the in vivo treatment. The results obtained for the morphology of red blood cells suggest that the in vitro and in vivo treatments did not alter the morphology and the perimeter/area ratio. The in vitro treatment with aqueous cinnamon extract could affect the membrane structures related with the oxidation status of the stannous ion pertechnetate ion, altering the labeling of blood constituentes with 99mTc. This study was a multidisciplinary experimental research. It was developed with the contribution of the different Departments and Services of the Hospital Universitário Pedro Ernesto of the Universidade do Estado do Rio de Janeiro

Estudo termoanalítico de medicamentos de referência, genérico e similar

This study aimed to apply, thermogravimetriy /derivative Thermogravimetriy (TG/DTG), differential scanning calorimetry (DSC), Differential Thermal Analysis (DTA), to conduct a comparative study on drug reference, generic and whose active principles are similar captopril hydrochlorothiazide, ampicillin, paracetamol, aspirin and mebendazole sold in local pharmacies. Samples of the active ingredients and dosage forms were also characterized by absorption infrared spectroscopy (IR), X-ray diffraction (XRD) and microscopy scanning electron (SEM). The TG / DTG curves showed a general similarity in the thermal behavior of the samples, but also showed the influence of excipients on the thermal stability. The DSC curve of the generic base hydrochlorothiazide showed no peak on the fusion of the drug due to interference of lactose as a diluent, which causes interaction with the active principle causing their degradation before the merger. The DSC curves of the drugs consisting of paracetamol showed reproducibility at the melting point of the active and the other thermal events. The DSC result of binary mixtures involving captopril / magnesium stearate and mebendazole/magnesium stearate showed possible interactions or incompatibilities evidenced by the displacement of the melting point of both drugs. The other mixtures showed no change. The infrared spectra presented were very similar, indicating the presence of functional groups characteristic of the constituents of the samples. The X-ray diffraction showed peaks indicative of crystalline structure of the active ingredients as well as some of the ingredients in the formulation of the drug and the micrographs indicate a general heterogeneity in the size distribution of particles in the samples

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Secagem de resíduo de goiaba em secador convectivo de bandejas: modelagem matemática e análise do processo

Actually, Brazil is one of the larger fruit producer worldwide, with most of its production being consumed in nature way or either as juice or pulp. It is important to highlig ht in the fruit productive chain there are a lot lose due mainly to climate reasons, as well as storage, transportation, season, market, etc. It is known that in the pulp and fruit processing industy a yield of 50% (in mass) is usually obtained, with the other part discarded as waste. However, since most this waste has a high nutrient content it can be used to generate added - value products. In this case, drying plays an important role as an alternative process in order to improve these wastes generated by the fruit industry. However, despite the advantage of using this technique in order to improve such wastes, issues as a higher power demand as well as the thermal efficiency limitation should be addressed. Therefore, the control of the main variables in t his drying process is quite important in order to obtain operational conditions to produce a final product with the target specification as well as with a lower power cost. M athematical models can be applied to this process as a tool in order to optimize t he best conditions. The main aim of this work was to evaluate the drying behaviour of a guava industrial pulp waste using a batch system with a convective - tray dryer both experimentally and using mathematical modeling. In the experimental study , the dryin g carried out using a group of trays as well as the power consume were assayed as response to the effects of operational conditions (temperature, drying air flow rate and solid mass). Obtained results allowed observing the most significant variables in the process. On the other hand, the phenomenological mathematical model was validated and allowed to follow the moisture profile as well as the temperature in the solid and gas phases in every tray. Simulation results showed the most favorable procedure to o btain the minimum processing time as well as the lower power demand.

Controle social do espaço público: uma análise do conselho turístico pólo costa das dunas

The managing Conselho of public politics constitute one of the main experiences of democracy in Brazil contemporary representing a conquest for construction of a democratic institutionalism. The historical newness consists of the intensification and the institutionalization of the dialogue between government and society - in public and plural canals - as condition for an allocation more efficient joust and of the public resources. In this context the present study it objectified to understand from readings of the performance of represented group of bencheses the dynamics of functioning of the Tourist Conselho Pólo Costa das Dunas while space of participation and social control. The bibliographical research contemplated diverse sources in order to compile knowledge of credential authors in the quarrel of inherent subjects to the civil society and the public sphere to the construction of the citizenship to the conception formation and dynamics of the social control through Conselho of public politics. A qualitative perspective the case study was adopted as research method and for attainment of the data interviews with the members of the Conselho had been carried through beyond consultation the referring documents the dynamics of functioning of the Conselho. The profiles capacities and limitations of the members of the Conselho had been identified constitution social and dynamic organization of functioning of the Conselho and the readings of the members of the Conselho concerning the power to decide instances and participation. The results had shown that the allotment of being able in the Conselho does not occur of equal form. The functions of coordination of the activities of the Conselho are assumed by the representatives of the public agencies. Level of qualification of council members also if presents as difficulty to development of activities of Conselho since the majority of the interviewed ones disclosed unreliability and unfamiliarity when thematic specific that runs away from its organizacional reality they are boarded in the assemblies. Of this form the Conselho if presents more as half of institutional legitimation of what half of characterization of the creation of a public sphere properly said. Finally he could himself be concluded that a democratic culture inexists that inside crosses practical the institutional ones of the Conselho thus limiting the possibility to reach the effective social control of the public politics of tourism in the Rio Grande do Norte

Yes, nós temos arquitetura moderna! Reconstituição e análise da arquitetura residencial moderna em Natal das décadas de 50 e 60

Brazilian architecture was recognized because of the consecration of the icons of the Carioca and Paulista schools which are represented nationally and internationally by names like Niemeyer, Lucio Costa and Vilanova Artigas, among others. Because of this, classic studies dedicated to the Brazilian case look to present the Southeastern region with the title of father of modern Brazil, at the cost of subjugating various other modern movements and peripheral sayings, whether their values are known or forgotten. On the other hand, there has been an effort, in the sense of registering and analyzing these regional productions of modern Brazilian architecture, an assignment that DOCOMOMO Brasil participates firmly through initiatives like the creation of a Library to aid in the documentation and registration of modernity in Brazil. Inside this context of insertions of the National-Modern scheme, this work has as its objective to present modern potiguar (northern Brazil) architecture through its contemporary residential examples, investigating specifically its constructive, formal aspects, that together that together demonstrate one more architectural emphasis of modern Brazilian architecture: the potiguar. This way, by contributing to the work of the register and the documentation of the Modern Movement and attributing to the modern architecture of Natal it s real worth, we can say: Yes, we have modern architecture

Análise do custo-benefício de sistemas de cobertas em edificações comerciais para o clima de Natal/RN visando eficiência energética

This research consists in studying the influence of the various type of construction systems of roofs with their energy efficiency as well as on the cost benefit for the commercial buildings on the temperatures condition of the city of Natal/RN. The main goal of this research is to analyze the cost benefit of the construction systems of roofs available on the market, taking into consideration the energy efficiency of the commercial buildings artificially air conditioned in order to be used by the projectors and to be adequated to the temperatures condition of the city of Natal/RN. The method of valuation of the cost benefit of roof systems consists in six steps: Features and simulation of the reference building; Analyze of sensitivity; Analyzes, features and simulation of alternatives of roof construction systems; Analyze of the cost of implementation; Analyze of the benefits of the alternatives comparing to the base case; And finally the analyze of the cost benefit. The model type chosen as reference was stores with pre molded buildings and system of roof with fiber ciment and ceiling . The thermal results showed the influence of the roof system on the energy efficiency of the building. The Final results of the simulations of the alternatives comes to a conclusion that the absortance is the variable that presents the best cost benefit relation and the reduction on the thermal transmittance still has limitations because of the high cost

Projeto, construção e análise de um prototipo vibracional em escala de bancada aplicável ao tratamento de água de produção de petróleo bruto, mediante inovadora operação híbrida de adsorção e auto-flotação

A self-flotator vibrational prototype electromechanical drive for treatment of oil and water emulsion or like emulsion is presented and evaluated. Oil production and refining to obtain derivatives is carried out under arrangements technically referred to as on-shore and off-shore, ie, on the continent and in the sea. In Brazil 80 % of the petroleum production is taken at sea and area of deployment and it cost scale are worrisome. It is associated, oily water production on a large scale, carrier 95% of the potential pollutant of activity whose final destination is the environment medium, terrestrial or maritime. Although diversified set of techniques and water treatment systems are in use or research, we propose an innovative system that operates in a sustainable way without chemical additives, for the good of the ecosystem. Labyrinth adsor-bent is used in metal spirals, and laboratory scale flow. Equipment and process patents are claimed. Treatments were performed at different flow rates and bands often monitored with control systems, some built, other bought for this purpose. Measurements of the levels of oil and grease (OGC) of efluents treaty remained within the range of legal framework under test conditions. Adsorbents were weighed before and after treatment for obtaining oil impregna-tion, the performance goal of vibratory action and treatment as a whole. Treatment technolo-gies in course are referenced, to compare performance, qualitatively and quantitatively. The vibration energy consumption is faced with and without conventional flotation and self-flotation. There are good prospects for the proposed, especially in reducing the residence time, by capillary action system. The impregnation dimensionless parameter was created and confronted with consecrated dimensionless parameters, on the vibrational version, such as Weber number and Froude number in quadratic form, referred to as vibrational criticality. Re-sults suggest limits to the vibration intensity

Análise do óxido nítrico, perfil lipídico, resistência arterial e capacidade funcional de idosas submetidas a um treinamento aquático

A prática regular de exercício físico possibilita redução dos efeitos das disfunções hormonais e envelhecimento biológico natural que promovem desajustes hemodinâmicos, vasculares e músculo-esqueléticos, principalmente na população feminina no período pós-menopausa. Nesta fase da vida, o exercício aquático representa mais do que uma forma de ajuste funcional, é uma forma de manutenção de independência para as atividades da vida diária (AVD s) e melhoria na qualidade de vida. Este estudo teve como objetivo avaliar as modificações adquiridas pela prática regular de um programa de exercício aquático concorrente de intensidade moderada no nível de óxido nítrico (ON), no índice de resistividade arterial (IR), no perfil lipídico, na capacidade funcional e na qualidade de vida de idosas. A amostra foi formada por idosas (60 a 80 anos) selecionadas por randomização, por sorteio simples divididas em grupo controle e grupo de intervenção as quais foram submetidas a um programa de exercícios aquáticos proposto inicialmente em projeto piloto, por 12 semanas (n=34) e o ensaio clínico teve duração de 16 semanas (n=40). Foi coletada amostra sanguínea das idosas e avaliado o perfil lipídico pelo método enzimático com kit Labtest e o ON por medida indireta a partir da concentração de nitrito no sobrenadante das células em cultura em leitor de ELISA. A avaliação das artérias carótidas e vertebrais foi feita utilizando o método de ultra-som Doopler. A capacidade funcional foi avaliada por quatro testes que simulam atividades da vida diária que são: caminhar 10 metros (C10m), levantar da posição sentada (LPS), levantar da cadeira e locomover-se pela casa (LCLC) e o de levantar-se da posição decúbito ventral (LPDV). No estudo piloto foi avaliado o índice geral de autonomia funcional (IG) e a qualidade de vida através do questionário WHOQOL-100. Empregou-se a análise de variância (ANOVA) com medidas repetidas nos fatores grupo (GH e GC) e tempo (pré e pós-teste) para as comparações intra e intergrupos nas variáveis seguida do post hoc de Scheffé. Utilizou-se o teste de correlação de Pearson e adotado o valor de p<0,05 para a significância estatística. Houve aumento do ON circulante, redução nos índices de resistividade arterial, melhoria significativa nos níveis de colesterol e triglicérides e ganho na capacidade funcional das idosas após a intervenção. Existiu correlação inversa entre a resistividade da artéria vertebral direita (VERTD) e níveis de ON e entre a VERTD e os níveis plasmáticos de HDL, assim como entre estes e o teste C10m nas idosas em estudo. Não houve modificações significativas na qualidade de vida das idosas. Em conclusão, o programa de exercício proposto foi capaz de oferecer melhorias funcionais, aumentar o nível de óxido nítrico circulante, diminuindo a resistência arterial promovendo modificações no perfil lipídico de idosas

A revenda de combustível e os limites constitucionais para a sua regulação: uma análise aplicada aos aspectos concorrênciais e ao controle de preços

The gas retail represents the end of a section of the oil and natural gas derivative chain, for it is at this stage where the commercialization of those merchandises takes place towards the costumers. This process involves an enormous amount of economic agents, which reflects on an activity of great influence on the citizen's everyday. By the time of the gas retail price liberalization, in 2002, there were great expectations towards that measure, for the insertion of that segment in a competitive market was likely to create a decrease in prices. As there was not a drastic drop off in cost, the question was no longer the price itself, but, predominantly, the conduct taken by the economic agents that operate the market. Not in vain, the segment introduces a greater number of different procedures combined with the organs that compose the Brazilian System of Competition Protection. What is understood, however, is that many of these complaints are made in a lightly way, without a proper analysis of the market and its practices, that being why, in this paper, evidences the causes of these complaints and explained what, in fact, occurs in this market. Also, the organs that protect the free initiative in the sector use different methods to assess anticompetitive practices, which are counterproductive on the combat of anticompetitive practice, that being why the present paper analyzes the used methods on a critic perspective, choosing one which is believed to be the most adequate. The present work also tries to present the gas retail prices on a constitutional, free competition, free initiative and consumers defense perspective, analyzing the competition s aspects on the gas market; the shaping of the gas prices; the market boundaries; the anti-competitive practices under the gas market; and analyze the possibility, according to the defined economic standards in the constitutional text of existing a greater control or gas price indexing and/or regulation which limits the distributors and resellers profit on gas. Still, in consequence of this analysis, a study on Natal s market behavior will be developed in its competitive feature. That being said, moreover being a theoretical-descriptive study, data and statistics gathered is used, which will lead, willing to grasp an experiential study on a few aspects of the Potiguar gas retail market

A missão política do Supremo Tribunal Federal: análise de sua importância como corte constitucional para o controle do poder no Brasil

The following study proposes an analysis of the politic process which the brazilian constitutional justice faces, emphasizing the Supremo Tribunal Federal . For that purpose, we start by examining the intimate relationship between Politics and Law, in view of the most recent social systems theories, so that the political system is distinguished by the exclusiveness of using the physical force, intending to make coletive tying decisions, and the juridical system as a congruent generalization of the expectations towards the rules and principles, brought together under an interdependence by which both gather legitimacy and effectiveness. In this manner we can notice the political effects of the constitutional interpretation conducted by Judges as well as by other juridical professionals, because these ones decrease the overload of expectations which are pointed to the Judicature. Constitutional interpretation is democratized since the participative democracy arises and stablishes a permanent state of awareness around the exercise of power and favours the preservation of the pluralism (counter-majoritary principle) where we can find the origin of the democratic nature of constitutional courts, once, in most cases, their members are not elected by the people. After that, we analyse the historical posture of the Supremo Tribunal Federal as a constitutional court in Brazil, so we can realize the attempts to make it vulnerable to the appeals of governability and economical aims, agains which this court somehow has resisted, stressing its particularities. At the end, it s concluded that even the so-called acts of government, whose judiciary control is mostly repelled, are subjected to a constitutional analysis, last frontier to be explored by the Supremo Tribunal Federal in its role of exposing our republican Constitution