84 resultados para Softwares dinâmicos


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The city of Natal comprises an area of about 170 km² (65,63 squares miles). The Dunas-Barreiras Aquifer is the most important reservoir of the coastal basin of RN. It is being responsible for the water supplying of about 70% of the population, however, due to the sewage disposal system by cesspools and drains, it is presently affected in a great extent by nitrates contamination. Thus, the present work proposes to research the utilization of contaminated water by nitrates of this fountainhead and find cost of the potable water through the ionic exchange technology. This technology consists in the removal of mineral salts by the exchange of cations for one ion of hydrogen (H+), through the passage of water by cationic resin bed and, secondly, by the exchange of the anions for hydroxyl ions (OH-) through a anionic resin bed. The obtained results have showed the waters derived from fountains, big water holes and shallow wells were microbiologically contaminated, while the waters derived from deep wells (above 70 m 76,58 yards) were free of contamination. Thus, only these ones are suitable to the use of ionic technology. The experiments were conducted with the resin IMAC-HP-555 such as kinetic, thermodynamic, and adsorption by fixed bed studies, being obtained several project variables for the experimental column, as follow: work temperature of 25oC; resin maximum capacity maximum e mean of adsorption ==0,01692 g NO3-1/g R e 0,0110 g NO3-1/g R, respectively. On the experimental column were performed breakthrough tests which pointed for an average ideal average speed of work of 13.2 m / h, with an average efficiency of 45% of adsorption, an optimal concentration of NaCl desorption of 8%, and an ideal desorption time of 80 minutes for the equilibrium conditions of water from the Dunas-Barreiras aquifer. Scale projection for ion-exchange column for denitrification, for these variables, using a computer modeling programme, to project the column of ion exchange ROREX-420/2000, obtained a cost for the drinking water denitrified by this system of R$ 0,16 / m3

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Urban stormwater can be considered as potential water resources as well as problems for the proper functioning of the manifold activities of the city, resulting from inappropriate use and occupation of the soil, usually due to poor planning of the occupation of the development areas, with little care for the environmental aspects of the drainage of surface runoff. As a basic premise, we must seek mechanisms to preserve the natural flow in all stages of development of an urban area, preserving the soil infiltration capacity in the scale of the urban area, comprising the mechanisms of natural drainage, and noting preserving natural areas of dynamic water courses, both in the main channel and in the secondary. They are challenges for a sustainable urban development in a harmonious coexistence of modern developmental, which are consistent with the authoritative economic environmental and social quality. Integrated studies involving the quantity and quality of rainwater are absolutely necessary to achieve understanding and obtaining appropriate technologies, involving both aspects of the drainage problems and aspects of use of water when subjected to an adequate management of surface runoff , for example, the accumulation of these reservoirs in detention with the possibility of use for other purposes. The purpose of this study aims to develop a computer model, adjusted to prevailing conditions of an experimental urban watershed in order to enable the implementation of management practices for water resources, hydrological simulations of quantity and, in a preliminary way, the quality of stormwater that flow to a pond located at the downstream end of the basin. To this end, we used in parallel with the distributed model SWMM data raised the basin with the highest possible resolution to allow the simulation of diffuse loads, heterogeneous characteristics of the basin both in terms of hydrological and hydraulic parameters on the use and occupation soil. The parallel work should improve the degree of understanding of the phenomena simulated in the basin as well as the activity of the calibration models, and this is supported by monitoring data acquired during the duration of the project MAPLU (Urban Stormwater Management) belonging to the network PROSAB (Research Program in Basic Sanitation) in the years 2006 to 2008

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The interaction between land and water, resulting from dynamic agents, such as wind, waves and tides, characterizes the coastal zone as a dynamic environment that is constantly disturbed and that may alter the balance of natural and man-made environment. Such modifications may be intensified when considering the climate change. This environment is highly attractive for the development of economic activities and urbanization, current scenario of the city of Natal. Weighing the economic importance for the state and the physical environment in which the capital of Rio Grande do Norte is inserted, this study aims to identify and analyze vulnerabilities and impacts caused by the rising sea level in the municipality. To that end, we defined a coastline, delimited areas susceptible to flooding and presented some flood scenarios. This way we could identify and analyze the impacts of each flood scenario in its respective section. Finally, it appears that the coastal zone in which Natal is inserted is a fragile area that requires actions aimed at mitigating vulnerabilities and facing the problem that caused the rise in the mean sea level (MSL), and mitigating the presented vulnerability framework; it is necessary to implement actions that effectively contribute to the protection and adaptation of the most fragile areas

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Over the last decades, the digital inclusion public policies have significantly invested in the purchase of hardwares and softwares in order to offer technology to the Brazilian public teaching institutions, specifically computers and broadband Internet. However, the teachers education to handle these artefacts is put away, even though there is some demand from the information society. With that, this dissertation chooses as an object of study the digital literacy practices performed by 38 (thirty-eight) teachers in initial and continuous education by means of the extension course Literacies and technologies: portuguese language teaching and cyberculture demands. In this direction, we aim at investigating the digital literacy practices of developing teachers in three specific moments: before, while and after this extension action with the intent to (i) delineate the digital literacy practices performed by the collaborators before the formative action; (ii) to narrate the literacy events made possible by the extension course; (iii) to investigate the contributions of the education course to the collaborators teaching practice. We sought theoretical contributions in the literacy studies (BAYNHAM, 1995; KLEIMAN, 1995; HAMILTON; BARTON; IVANIC, 2000), specifically when it comes to digital literacy (COPE, KALANTZIS, 2000; BUZATO, 2001, 2007, 2009; SNYDER, 2002, 2008; LANKSHEAR & KNOBEL, 2002, 2008) and teacher education (PERRENOUD, 2000; SILVA, 2001). Methodologically, this virtual ethnography study (KOZINETS, 1997; HINE, 2000) is inserted into the field of Applied Linguistics and adopts a quali-quantitative research approach (NUNAN, 1992; DÖRNYEI, 2006). The data analysis permitted to evidentiate that (i) before the course, the digital literacy practices focused on the personal and academic dimensions of their realities at the expense of the professional dimension; (ii) during the extension action, the teachers collaboratively took part in the hybrid study sessions, which had a pedagogical focus on the use of ICTs, accomplishing the use of digital literacy practices - unknown before that; (iii) after the course, the attitude of the collaborator teachers concerning the use of ICTs on their regular professional basis had changed, once those teachers started to effectively make use of them, promoting social visibility to what was produced in the school. We also observed that teachers in initial education acted as more experienced peers in collaborative learning process, offering support scaffolding (VYGOTSKY, 1978; BRUNER, 1985) to teachers in continuous education. This occurred because of the undergraduates actualize digital literacy practices were more sophisticated, besides the fact being integrate generation Y (PRENSKY, 2001)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The infographics historically experience the process of evolution of journalism, from the incipient models handmade in the eighteenth century to the inclusion of computers and sophisticated software today. In order to face the advent of TV against of the partiality readers of the printed newspaper, or to represent the Gulf War, where not allowed photography, infographics reaches modern levels of production and publication. The technical devices which enabled the infographics to evolve the environment of the internet, with conditions for the manipulation of the reader, incorporating video, audio and animations, so styling of interactive infographics. These digital models of information visualization recently arrived daily in the northeast and on their respective web sites with features regionalized. This paper therefore proposes to explore and describe the processes of producing the interactive infographics, taking the example of the Diário do Nordeste, Fortaleza, Ceará, whose department was created one year ago. Therefore, based on aspects that guide the theory of journalism, as newsmaking, filters that focus on productive routine (gatekeeping) and the construction stages of the news. This research also draws on the theoretical framework on the subject, in concepts essential characteristics of computer graphics, as well as the methodological procedures and systematic empirical observations in production routines of the newsroom who can testify limitations and / or advances

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this work, from the case of Mr. Lunga, a character of the brazilian northeastern culture whose stories circulated orally until they turned into verses of cordel (regional literature illustrated by xylographic printing images), we intend to understand that gender of leaflet, as significant cultural product, like media, with specific language features that act as means of construction and transmission of realities. To understand this phenomenon of meaning production in the cordel media, we used hermeneutics as a method and applied the general theory of interpretation in six chosen leaflets. We worked with a constructivist perspective that grounds the discussion of everyday reality and fiction, concepts that are raised around the essence of the character that is real, but it is also part of the creative activities of poets, how both are interrelated and constitute the understanding that individuals have the real. From the analyzes, we realize that each poet presents the fields of significance of Mr. Lunga in a different way, based on subjectivity, intention and mediations between each of them and the discourses they produce. Each cordelist contributes in his own way of significance for the construction of the imaginary Mr. Lunga. The speech of the cordelists contains a number of elements that aim to legitimize as truth the actions described. In this confrontation, our goal in this work is to understand the construction of the fields of signification, where these discourses are located, the production of meaning around a character who is not in a finite field, but transits through many of them, making the boundaries between reality and fiction dynamic

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Existem vários métodos de simulação para calcular as propriedades críticas de sistemas; neste trabalho utilizamos a dinâmica de tempos curtos, com o intuito de testar a eficiência desta técnica aplicando-a ao modelo de Ising com diluição de sítios. A Dinâmica de tempos curtos em combinação com o método de Monte Carlos verificou que mesmo longe do equilíbrio termodinâmico o sistema já se mostra insensível aos detalhes microscópicos das interações locais e portanto, o seu comportamento universal pode ser estudado ainda no regime de não-equilíbrio, evitando-se o problema do alentecimento crítico ( critical slowing down ) a que sistema em equilíbrio fica submetido quando está na temperatura crítica. O trabalho de Huse e Janssen mostrou um comportamento universal e uma lei de escala nos sistemas críticos fora do equilíbrio e identificou a existência de um novo expoente crítico dinâmico θ, associado ao comportamento anômalo da magnetização. Fazemos uima breve revisão das transições de fase e fenômeno críticos. Descrevemos o modelo de Ising, a técnica de Monte Carlo e por final, a dinâmica de tempos curtos. Aplicamos a dinâmica de tempos curtos para o modelo de Insing ferromagnéticos em uma rede quadrada com diluição de sítios. Calculamos o expoente dinâmicos θ e z, onde verificamos que existe quebra de classe de universilidade com relação às diferentes concentrações de sítios (p=0.70,0.75,0.80,0.85,0.90,0.95,1.00). calculamos também os expoentes estáticos β e v, onde encontramos pequenas variações com a desordem. Finalmente, apresentamos nossas conclusões e possíveis extensões deste trabalho

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this thesis, we address two issues of broad conceptual and practical relevance in the study of complex networks. The first is associated with the topological characterization of networks while the second relates to dynamical processes that occur on top of them. Regarding the first line of study, we initially designed a model for networks growth where preferential attachment includes: (i) connectivity and (ii) homophily (links between sites with similar characteristics are more likely). From this, we observe that the competition between these two aspects leads to a heterogeneous pattern of connections with the topological properties of the network showing quite interesting results. In particular, we emphasize that there is a region where the characteristics of sites play an important role not only for the rate at which they get links, but also for the number of connections which occur between sites with similar and dissimilar characteristics. Finally, we investigate the spread of epidemics on the network topology developed, whereas its dissemination follows the rules of the contact process. Using Monte Carlo simulations, we show that the competition between states (infected/healthy) sites, induces a transition between an active phase (presence of sick) and an inactive (no sick). In this context, we estimate the critical point of the transition phase through the cumulant Binder and ratio between moments of the order parameter. Then, using finite size scaling analysis, we determine the critical exponents associated with this transition

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study aims to analyze the process of resignification of Chile Street, in Natal, from the development of a music scene in the late 1990s. Chile Street, as part of the Historic Centre of Natal, had its images constructed from the discursive practices and everyday life of its regular visitors, leading to a series of symbolic and imaging transformations throughout the twentieth century. Initially transformed into glamorous space as a result of urban actions of the new republic of Albuquerque Maranhão, in the early twentieth century, Ribeira and Chile Street, specifically, came to be seen as bohemian area, during the war time"; followed by a marginal phase, it was eventually transformed into the main rocker area of Natal, with the development of a musical scene in the second half of the 1990s. This music scene, its practices, economic interests, cultural events and identity ties created among their practitioners made Chile Street, "in the time of Blackout night club", an "alternative" space. As the historic centers, inserted in the logic of postmodern city marketing, both spaces are dynamic in their practices, as in their images, Chile Street also suffered changes in its meanings and symbols, around the year 2000 when the alternative-underground space became a pop space, where people from various parts of the city began attending its events and places, transforming it into a point of very heterogeneous sociability

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The present study has the purpose of catching the significances of smoking in the social dinamics based on the Theory of Social Representations. It was developed among adults with ages from 20 to 59 years, low social and economic conditions, at Natal RN, Brazil. The Free-words Association Test was applied as the instrument of data collection and a semi-structured interview with the smokers and non-smokers, besides a structured interview with smokers, non-smokers and ex-smokers. All data was analyzed by the descriptive statistics using the Analysis of Content Technique of the thematic kind and by the softwares ALCESTE and EVOC 2000. Elaborations about smoking were marked by social, cultural and historical dimension, however they showed sensibility to changes and revealed positive and negative aspects of the habit. The analysis of the semi-structured interviews showed the following categories and under-categories respectively: Initiation of the habit (Friends and Family and Appreciation and Beauty); Psychosocial Implications of smoking (Personal relationship, Work and Financial); Behavior when facing smoking (Positive, Negative and Neutral); Smoking Effects (Smokers´ health and the other people health); Description about oral diseases ( Bad breath, Oral cancer and Dental problems); Smoking treatment (Physician and psychological, Supernatural and Difficulties). ALCESTE analysis presented 4 classes: Ambivalence between pleasure and get ill, Smoking as a trouble and danger to society, Social discrimination of smokers and Mouth as a place of reaffirmation of the discrimination. Those helped us to understand the psychosocial repercussion of the habit. On the social representation structure we identified as a probable central nucleus of the smoker group the categories Pleasure and Bad to the health and as peripheral elements Alcoholic Drink, Financial damage and Nervousness. For the non-smoker group the category Bad to the health comes first and Stop Smoking comes as a peripheral element. Finally, we hope that the knowledge of these representations can contribute to plan and/or to rethink over the professional practices and public policies related to smoking. Besides that, for an amplified comprehension of the study object the discussions over the identified representations should be deepen and amplified to other population and social groups

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The calculation of tooth mass discrepancy, essential for good planning and a proper orthodontic finishing, when performed manually, besides being laborious, requires considerable time consumption. The aim of this study was to develop and test Bolton Freeware, a software for analysis of the tooth mass discrepancy of Bolton, aiming to minimize the consumption of time in a less onerous way. The digital analysis of the software was done by means of two-dimensional scanning of plaster study models and compared to manual evaluation (gold standard), using 75 pairs of stone plaster study models divided into two groups according to the magnitude of the Curve of Spee (group I from 0 to 2 mm, group II greater than 2 to 3mm). All the models had permanent dentition and were in perfect condition. The manual evaluation was performed with a digital caliper and a calculator, and the time required to perform the analysis for both methods was recorded and compared. In addition, the software was evaluated by orthodontists regarding its use, by means of questionnaires developed specifically for this purpose. Calibration was performed prior to manual analysis, and excellent levels of inter-rater agreement were achieved, with ICC > 0.75 and r > 0.9 for total and anterior proportion. It was observed in the evaluation of error of the digital method that some teeth showed a significant systematic error, being the highest measured at 0.08 mm. The analysis of total tooth mass discrepancy performed by Bolton Freeware, for those cases in which the curve of Spee is mild and moderate, differ from manual analysis, on average, 0.09 mm and 0.07 mm respectively, for each tooth evaluated, with r> 0, 8 for total and anterior proportion. According to the specificity and sensitivity test, Bolton Freeware has an improved ability to detect true negatives, i.e. the presence of discrepancy. The Bolton analysis digitally performed was faster, with an average difference of time consumed to perform the analysis of Bolton between the two methods of approximately 6 minutes. Most experts interviewed (93%) approved the usability of the software

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Software Product Line (SPL) consists of a software development paradigm, whose main focus is to identify features common and variability among applications in a specific domain. An LPS is designed to attend all products requirements from its product family. These requirements and LPS may have changes over time due to several factors, such as evolution of product requirements, evolution of the market, evolution of SLP process, evolution of the technologies used to develop the products. To handle these changes, LPS should be modified and evolve in order to not become obsolete, and adapt itself to new requirements. The Changes Impact Analysis is an activity that understand and identify what consequences these changes are cause on LPS. Impact Analysis on LPS may be supported by traceability relationships, which identify relationships between artefacts created during all phases of software development. Despite the solutions of change impact analysis based on traceability for software, there is a lack of solutions for assessing the change impact analysis based on traceability for LPS, since existing solutions do not include estimates specific to the artefacts of LPS. Thus, this paper proposes a process of change impact analysis and an tool for assessing the change impact through traceability of artefacts in LPS. For this purpose, we specified a process of change impact analysis that considers artifacts produced during the development of LPS. We have also implemented a tool which allows estimating and identifying artefacts and products of LPS affected from changes in other products, changes in class, changes in features, changes between releases of LPS and artefacts related to changes in core assets and variability. Finally, the results were evaluated through metrics

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The increasingly request for processing power during last years has pushed integrated circuit industry to look for ways of providing even more processing power with less heat dissipation, power consumption, and chip area. This goal has been achieved increasing the circuit clock, but since there are physical limits of this approach a new solution emerged as the multiprocessor system on chip (MPSoC). This approach demands new tools and basic software infrastructure to take advantage of the inherent parallelism of these architectures. The oil exploration industry has one of its firsts activities the project decision on exploring oil fields, those decisions are aided by reservoir simulations demanding high processing power, the MPSoC may offer greater performance if its parallelism can be well used. This work presents a proposal of a micro-kernel operating system and auxiliary libraries aimed to the STORM MPSoC platform analyzing its influence on the problem of reservoir simulation