Otimização de um sistema de distribuição predial de água fria: estudo de caso

This dissertation presents a methodology to the optimization of a predial system of cold water distribution. It s about a study of a case applied to the Tropical Buzios Residential Condominium, located in the Búzio s Beach, Nísia Floresta city, the east coast of the Rio Grande do Norte state, twenty kilometers far from Natal. The design of cold water distribution networks according to Norm NBR 5626 of the ABNT - Brazilian Association of Techniques Norms, does not guarantee that the joined solution is the optimal solution of less cost. It s necessary the use of an optimization methodology, that supplies us, between all the possible solutions, the minimum cost solution. In the optimization process of the predial system of water distribution of the Tropical Búzios Condominium, is used Method Granados, that is an iterative algorithm of optimization, based on the Dynamic Programming, that supplies the minimum cost s network, in function of the piezometric quota of the reservoir. For the application of this Method in ramifies networks, is used a program of computer in C language. This process is divided in two stages: attainment of the previous solution and reduction of the piezometric quota of headboard. In the attainment of the previous solution, the minors possible diameters are used that guarantee the limit of maximum speed and the requirements of minimum pressures. The piezometric quota of headboard is raised to guarantee these requirements. In the second stage of the Granados Method, an iterative process is used and it objective is to reduce the quota of headboard gradually, considering the substitution of stretches of the network pipes for the subsequent diameters, considering a minimum addition of the network cost. The diameter change is made in the optimal stretch that presents the lesser Exchange Gradient. The process is locked up when the headboard quota of desired is reached. The optimized network s material costs are calculated, and is made the analysis of the same ones, through the comparison with the conventional network s costs

A interculturalidade no cinema: um estudo da legendagem e da dublagem brasileiras em um filme francês contemporâneo

In this research we present a study of cultural aspects in dubbed and subtitled films. As a case study, we chose to compare the original French version of "Le fabuleux destin d'Amelie Poulain" with both the subtitled and the dubbed versions in Portuguese, with focus on the interaction between the French and the Brazilian cultures. First we considered that (i) the translation process interferes on the perception of cultural relationships; and that (ii) dubbing and subtitling are two methods of translation that result in distinct perceptions from the spectator. Then, we adopted the translation interpretative theory (Seleskovicth; Lederer, 2001; Deslile, 1980) as the general theoretical framework, since it emphasizes the extralinguistic equivalence on the translation process. Furthermore, we based this research on three analytical procedures, which are: the four-step translating operation, the contrastive perception and a translation's typology based on Vinay and Dalbernet's linguistic procedures (Srpová, 1991, 1995, 2004). We extracted forty-six culture-related elements from the film and identified those belonging to the French ethno-universe. Then, the elements were classified with respect to a theoretical typology, based on concepts found in the Ethnography of Communication and a general typology, based on five general thematic groups, defined by the corpus. The results showed that both Brazilian versions tend to preserve those culture-related elements by using lexical loan and literal translation. The visual context, in its association with the linguistic procedures in both Brazilian versions, was also observed as an important element to the comprehension of the culture-related elements as they are considered in the French culture. As a general observation, the perception of culture-related elements in the film seems effectively be oriented by the translation methods

A construção de modelos situacionais no padrão discursivo narrativa em quadrinhos

The object of this study is the construction of situation models in the discourse pattern comic book narrative, and sits in the field of Cognitive Linguistics. Its main foundations are the notions of embodied mind (LAKOFF; JOHNSON, 1999), mental simulation (BARSALOU, 1999), discourse pattern (DUQUE; COSTA, 2012) and situation models (ZWAAN, 1999). I stem from the hypothesis that the process of meaning construction in narratives is attached to the simulation of space, of time and of the characters goals and actions within the story world, dimensions which make up the situation models elaborated by the reader. The simulation of these experiences during discourse processing originates from the fact of it having an embodied and cultural basis, i.e., upon being confronted with the clues found in the narrative, the cognitive structures that make up the reader s personal and social memories are triggered and make it possible to activate information which in turn refer to his/her physical and social experiences, built up in the environment in which he/she lives. As regards comic book narratives, the construction of situation models is closely related to the recurring activation of certain cognitive structures originating from graphic resources that are typical of that discourse pattern. These conclusions were drawn from the data analysis taken from the work Palestina (SACCO, 2003; 2004; 2011)

Elaboração e avaliação de indicadores comportamentais de aderência ao tratamento hemodialítico

Introduction: This work intents to characterize behavioral indicators of tack to the hemodialysis treatment in a sample of carrying patients of chronic kidney failure (CKF) in the great Natal/RN. The therapeutical adherence represents the agreement degree between the patient behavior and the health team lapsings. The CKF is the gradual and irreversible loss of the renal function, being the hemodialysis treatment an important alternative to assist or to substitute the kidneys. Method: The sample consisted in 80 chronic kidney patients in hemodialysis treatment in two located clinical centers in the region of the great Natal, RN. It was used as instruments (a) a protocol of clinical data collection, (b) the Millon Index of Personality Styles (MIPS) and (c) a script of halfstructuralized interview. Results: The results show a balance between the genders (51% of female and 48.8% of the male sex), average age and equal average time of dialysis respectively to the 43,4 years (±13,25 years) and 22,04 years (±4,24 years). The marital status of half of the sample is married, predominating basic education (43.6%) and a familiar income until a minimum wage (43.8%). It had been defined six physicianlaboratorial indicators to evaluate the therapeutical adherence, further the use of the evaluation of the health team and the patient themselves. Thus, there was an average adherence around 55.97% of the sample ±18.37%). However only between selfassessment of the patients about the adherence and the assessment made by blood pressure post-dialysis indicated a significant association (p=0,029, qui-square test). On the other hand, there was a significant association (p <0.05, chi-square test) among the criteria for treatment adherence and issues investigated in the interview - the perception on the quality of the health services provided to patients, the difficulties following the prescribed diet, the characterization of the days between dialysis sessions and the perception of patients about the dialysis sessions. It was also noted a significant association (p <0.05, Levene test) between adherence to therapy and scales that constitute the MIPS. The health team characterized the patients more adherent behavior as an attitude of acceptance of the treatment, looking actively for their implementation, for more information and knowledge, and establishing a positive communication with the team and with other patients. Similar results were confirmed by the MIPS evaluation. According to that assessment the more compliant patients adopt a more optimistic attitude, trying to act or adapt themselves to their environment, processing cognitively both concrete and objective information, such as more speculative and symbolic information. In addition they establish a gregarious, cooperative, submissive and flexibly pattern of interpersonal relationships to social demands. These characteristics managed to explain 55.7% of the adherence variation according the health team and 23.3% of the variation according the CaxP laboratory indicator. Conclusions: The MIPS shown to be able to identify the most and least adherent to therapy patients. The use of different adherence indicators is important for an evaluation covering the different facets of this process. The adhesion levels are observed within registered by the relevant literature. There is need for further studies with a larger sample to deepen the data findings in this work

Variability of physicochemical properties of an epoxy resin sealer taken from different parts of the same tube

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

Setting time and thermal expansion of two endodontic cements

The purpose of this study was to evaluate the setting time and the thermal expansion coefficient of 2 endodontic cements, MTA-Angelus and a novel cement called CER. The setting time was determined in accordance to ANSI/ADA specifications no. 57. Three samples of 10 mm diameter and 2 mm thickness were prepared for each cement. The thermal expansion measurements were performed by strain gauge technique. Four samples of each cement were prepared using silicone rings of 5 mm diameter and 2 mm thickness. The data were analyzed statistically using the Student t test. The setting time obtained for the MTA-Angelus and CER cements was 15 (SD 1) min and 7 (SD 1) min, respectively. The linear coefficient of thermal expansion was 8.86 (SD 0.28) mu strain/degrees C for MTA-Angelus and 11.76 (SD 1.20) mu strain/degrees C for CER. The statistical analysis showed significant difference (P < .05) in the setting time and linear coefficient of thermal expansion between the 2 cements. The CER cement has a coefficient of expansion similar to dentin, which could contribute to a decrease of microleakage degree.

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

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

Análise da evolução costeira do litoral setentrional do estado do rio grande do norte, região sob influência da indústria petrolífera

The northern coast of Rio Grande do Norte State is characterized by strong changes in coastal morphology, caused by various geological and climatic factors. In this region are installed the main socio-economic activities of the State, highlighting the oil industry, which exerts much of its activities in the coastal area studied. Erosion is a constant problem in this region because it affects the entire local populace to the destruction of houses and trade, rendering tourism, affecting the livelihood activities and industrial activities. The greatest risk is related to environmental damage that can be caused by the oil spill in this region. To understand what determines the changes in coastal morphology this Doctoral Thesis is proposed to identify the factors at local, regional and even global corroborate coastal dynamics to this coast in question. For this study, used several different products and tools for interpreting the conditions of the erosive effect that dominates the whole northern coast of the State, in an attempt to quantify and describe the causes and effects that affect the entire coastal zone monitored. The development of activities is built into the projects Rede 05 PETROMAR (CTPETRO-FINEP/PETROBRAS/CNPq), PETRORISCO, HIDROSEMA, PETROMAR e Rede 05/04 POTMAR (FNDCT/CTPETROFINEP/ CNPq), in the activities of multidisciplinary and inter-features in issues involving environmental monitoring and oil activity

Avaliação de impacto ambiental e gestão dos recursos natuarias no estuário Apodi Mossoró, nordeste do Brasil

The aim of this study is to investigate the eco-environmental vulnerability, its changes, and its causes to develop a management system for application of eco-environmental vulnerability and risk assessment in the Apodi-Mossory estuary, Northeast Brazil. This analysis is focused on the interference of the landscape conditions, and its changes, due to the following factors: the oil and natural gas industry, tropical fruits industry, shrimp farms, marine salt industry, occupation of the sensitive areas; demand for land, vegetation degradation, siltation in rivers, severe flooding, sea level rise (SLR), coastal dynamics, low and flat topography, high ecological value and tourism in the region and the rapid growth of urbanization. Conventional and remote sensing data were analyzed using modeling techniques based on ArcGIS, ER-Mapper, ERDAS Imagine and ENVI software. Digital images were initially processed by Principal Component Analysis and transformation of the maximum fraction of noise, and then all bands were normalized to reduce errors caused by bands of different sizes. They were integrated in a Geographic Information System analysis to detect changes, to generate digital elevation models, geomorphic indices and other variables of the study area. A three band color combination of multispectral bands was used to monitor changes of land and vegetation cover from 1986 to 2009. This task also included the analysis of various secondary data, such as field data, socioeconomic data, environmental data and prospects growth. The main objective of this study was to improve our understanding of eco-environmental vulnerability and risk assessment; it´s causes basically show the intensity, its distribution and human-environment effect on the ecosystem, and identify the high and low sensitive areas and area of inundation due to future SLR, and the loss of land due to coastal erosion in the Apodi-Mossoró estuary in order to establish a strategy for sustainable land use. The developed model includes some basic factors such as geology, geomorphology, soils, land use / land cover, vegetation cover, slope, topography and hydrology. The numerical results indicate that 9.86% of total study area was under very high vulnerability, 29.12% high vulnerability, 52.90% moderate vulnerability and 2.23% were in the category of very low vulnerability. The analysis indicates that 216.1 km² and 362.8 km² area flooded on 1m and 10m in sea levels respectively. The sectors most affected were residential, industrial and recreational areas, agricultural land, and ecosystems of high environmental sensitivity. The results showed that changes in eco-environmental vulnerability have a significant impact on the sustainable development of the RN state, since the indicator is a function of sensitivity, exposure and status in relation to a level of damage. The model were presented as a tool to assist in indexing vulnerability in order to optimize actions and assess the implications of decisions makers and policies regarding the management of coastal and estuarine areas. In this context aspects such as population growth, degradation of vegetation, land use / land cover, amount and type of industrialization, SLR and government policies for environmental protection were considered the main factors that affect the eco-environmental changes over the last three decades in the Apodi-Mossoró estuary.

Monitoramento ambiental da costa do Rio Grande do Norte com base em sensoriamento remoto e geodésia de precisão

This paper presents models of parameters of Sea Surface Layer (SSL), such as chlorophyll-a, sea surface temperature (SST), Primary Productivity (PP) and Total Suspended Matter (TSM) for the region adjacent to the continental shelf of Rio Grande do Norte (RN), Brazil. Concentrations of these parameters measured in situ were compared in time quasi-synchronous with images AQUA-MODIS between the years 2003 to 2011. Determination coefficients between samples in situ and bands reflectance sensor AQUA-MODIS were representative. From that, concentrations of SSL parameters were acquired for the continental shelf of the RN (eastern and northern) analyzing the geographic distribution of variation of these parameters between the years 2009-2012. Geographical and seasonal variations mainly influenced by global climate phenomena such as El Niño and La Niña, were found through the analysis of AQUA-MODIS images by Principal Components Analysis (PCA). Images show qualitatively the variance and availability of TSM in the regions, as well as their relationship with coastal erosion hotspots, monitored along the coast of the RN. In one of the areas identified as being of limited availability of TSM, we developed a methodology for assessment and evaluation of Digital Elevation Models (DEM) of beach surfaces (emerged and submerged sections) from the integration of topographic and bathymetric data measured in situ and accurately georeferenced compatible to studies of geomorphology and coastal dynamics of short duration. The methodology consisted of surveys with GNSS positioning operated in cinematic relative mode involved in topographic and bathymetric executed in relation to the stations of the geodetic network of the study area, which provided geodetic link to the Brazilian Geodetic System (GBS), univocal , fixed, and relatively stable over time. In this study Ponta Negra Beach, Natal / RN, was identified as a region with low variance and availability of MPS in the region off, as characterized by intense human occupation and intense coastal erosion in recent decades, which presents potential of the proposed methodology for accuracy and productivity, and the progress achieved in relation to the classical methods of surveying beach profiles

Dental caries prevalence in children up to 36 months of age attending daycare centers in municipalities with different water fluoride content

This study determined the prevalence of cavitated caries lesions (CCL) and early childhood caries (ECC), and the contribution of some variables in children up to 36 months of age attending daycare centers in municipalities with different fluoride levels in the water supply: AFC (adequate fluoride content) and LFC (low fluoride content). After approval of the Ethics Committee, the parents were interviewed. The children were clinically examined using the same codes and criteria established by the WHO (World Health Organization) and the ADA (American Dental Association). Fisher's exact test (p<0.05) was applied for statistical analysis of data. The dmft indices calculated in the LFC and AFC municipalities were 0.57 and 0.68, respectively. Considering all children examined, 17.6% presented CCL and 33.8% ECC. The economic classification, mother's education level and duration of breastfeeding were considered statistically significant with regards to CCL prevalence. The age group, duration of the habit of drinking milk before bedtime and age at which oral hygiene started were considered statistically significant with regards to ECC prevalence.

Infant formula and enamel fluorosis A systematic review

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

The performance of conventional and fluorescence-based methods for occlusal caries detection An in vivo study with histologic validation

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