898 resultados para Election Counting and Reporting Software,
Resumo:
OBJETIVO: Elaborar um procedimento de avaliação de habilidades metafonológicas e caracterizar o desempenho de escolares com dislexia do desenvolvimento, transtornos e dificuldades de aprendizagem, e bom desempenho acadêmico. MÉTODOS: Foram elaboradas provas de habilidades metafonológicas baseadas em habilidades necessárias para o desenvolvimento da leitura e da escrita. Participaram 134 escolares do 3º ao 5º ano do ensino fundamental, de ambos os gêneros, com faixa etária entre 7 e 13 anos de idade, divididos em GI (20 escolares com dislexia do desenvolvimento), GII (20 escolares com transtornos de aprendizagem), GIII (20 escolares com dificuldades de aprendizagem) e GIV (74 escolares com bom desempenho acadêmico). Foi aplicada a avaliação das habilidades metafonológicas - PROHFON. RESULTADOS: GI e GII diferenciaram-se de GIV na maior parte das provas; GI diferenciou-se de GII apenas na prova de síntese e análise fonêmica e de GIII em habilidades de deleção e combinação de fonemas. GIII diferenciou-se de GIV nas habilidades de contagem, identificação, rima, deleção e combinação. CONCLUSÃO: Escolares com dislexia do desenvolvimento, transtornos e dificuldades de aprendizagem, e bom desempenho acadêmico apresentam desempenhos semelhantes nas habilidades de identificação, contagem e combinação de fonemas, rima e aliteração. Os grupos diferenciam-se em relação às habilidades silábicas (contagem, identificação, síntese e análise, deleção, combinação) e fonêmicas (deleção, síntese e análise). O PROHFON contribuiu para a caracterização do perfil metafonológico de escolares com diferentes comprometimentos em aprendizagem.
Resumo:
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
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
Resumo:
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.
Resumo:
OBJETIVO: Avaliar ocorrência de infecção em idosos de instituição de longa permanência (ILP) durante 13 meses consecutivos. MÉTODOS: Cinqüenta e cinco idosos foram avaliados segundo critérios de infecção e de comunicação padronizada. RESULTADOS: A idade mediana foi de 75 (66-81) anos. O conjunto de dados constituiu-se de 20.896 pacientes-dia (PD) durante o período, com um total de 76 infecções para uma taxa média de infecção de 3,2 por 1000 PD. A taxa de pacientes com infecção foi de 63,6%. As topografias prevalentes foram respiratória (50%), trato urinário (32%), pele e partes moles (12%) e gastrintestinal (7%), com taxa de infecção/1000 PD de 1,60; 1,01; 0,38; e 0,2, respectivamente. A taxa de mortalidade por infecção foi de 5%. Agentes microbiológicos foram isolados em 30,5% dos episódios infecciosos e Escherichia coli e Staphylococcus aureus foram os mais freqüentes. CONCLUSÃO: Infecção apresentou elevada incidência nos idosos institucionalizados, porém nenhum evento extraordinário foi observado.
Resumo:
The geological modeling allows, at laboratory scaling, the simulation of the geometric and kinematic evolution of geological structures. The importance of the knowledge of these structures grows when we consider their role in the creation of traps or conduits to oil and water. In the present work we simulated the formation of folds and faults in extensional environment, through physical and numerical modeling, using a sandbox apparatus and MOVE2010 software. The physical modeling of structures developed in the hangingwall of a listric fault, showed the formation of active and inactive axial zones. In consonance with the literature, we verified the formation of a rollover between these two axial zones. The crestal collapse of the anticline formed grabens, limited by secondary faults, perpendicular to the extension, with a curvilinear aspect. Adjacent to these faults we registered the formation of transversal folds, parallel to the extension, characterized by a syncline in the fault hangingwall. We also observed drag folds near the faults surfaces, these faults are parallel to the fault surface and presented an anticline in the footwall and a syncline hangingwall. To observe the influence of geometrical variations (dip and width) in the flat of a flat-ramp fault, we made two experimental series, being the first with the flat varying in dip and width and the second maintaining the flat variation in width but horizontal. These experiments developed secondary faults, perpendicular to the extension, that were grouped in three sets: i) antithetic faults with a curvilinear geometry and synthetic faults, with a more rectilinear geometry, both nucleated in the base of sedimentary pile. The normal antithetic faults can rotate, during the extension, presenting a pseudo-inverse kinematics. ii) Faults nucleated at the top of the sedimentary pile. The propagation of these faults is made through coalescence of segments, originating, sometimes, the formation of relay ramps. iii) Reverse faults, are nucleated in the flat-ramp interface. Comparing the two models we verified that the dip of the flat favors a differentiated nucleation of the faults at the two extremities of the mater fault. V These two flat-ramp models also generated an anticline-syncline pair, drag and transversal folds. The anticline was formed above the flat being sub-parallel to the master fault plane, while the syncline was formed in more distal areas of the fault. Due the geometrical variation of these two folds we can define three structural domains. Using the physical experiments as a template, we also made numerical modeling experiments, with flat-ramp faults presenting variation in the flat. Secondary antithetic, synthetic and reverse faults were generated in both models. The numerical modeling formed two folds, and anticline above the flat and a syncline further away of the master fault. The geometric variation of these two folds allowed the definition of three structural domains parallel to the extension. These data reinforce the physical models. The comparisons between natural data of a flat-ramp fault in the Potiguar basin with the data of physical and numerical simulations, showed that, in both cases, the variation of the geometry of the flat produces, variation in the hangingwall geometry
Resumo:
This study includes the results of the analysis of areas susceptible to degradation by remote sensing in semi-arid region, which is a matter of concern and affects the whole population and the catalyst of this process occurs by the deforestation of the savanna and improper practices by the use of soil. The objective of this research is to use biophysical parameters of the MODIS / Terra and images TM/Landsat-5 to determine areas susceptible to degradation in semi-arid Paraiba. The study area is located in the central interior of Paraíba, in the sub-basin of the River Taperoá, with average annual rainfall below 400 mm and average annual temperature of 28 ° C. To draw up the map of vegetation were used TM/Landsat-5 images, specifically, the composition 5R4G3B colored, commonly used for mapping land use. This map was produced by unsupervised classification by maximum likelihood. The legend corresponds to the following targets: savanna vegetation sparse and dense, riparian vegetation and exposed soil. The biophysical parameters used in the MODIS were emissivity, albedo and vegetation index for NDVI (NDVI). The GIS computer programs used were Modis Reprojections Tools and System Information Processing Georeferenced (SPRING), which was set up and worked the bank of information from sensors MODIS and TM and ArcGIS software for making maps more customizable. Initially, we evaluated the behavior of the vegetation emissivity by adapting equation Bastiaanssen on NDVI for spatialize emissivity and observe changes during the year 2006. The albedo was used to view your percentage of increase in the periods December 2003 and 2004. The image sensor of Landsat TM were used for the month of December 2005, according to the availability of images and in periods of low emissivity. For these applications were made in language programs for GIS Algebraic Space (LEGAL), which is a routine programming SPRING, which allows you to perform various types of algebras of spatial data and maps. For the detection of areas susceptible to environmental degradation took into account the behavior of the emissivity of the savanna that showed seasonal coinciding with the rainy season, reaching a maximum emissivity in the months April to July and in the remaining months of a low emissivity . With the images of the albedo of December 2003 and 2004, it was verified the percentage increase, which allowed the generation of two distinct classes: areas with increased variation percentage of 1 to 11.6% and the percentage change in areas with less than 1 % albedo. It was then possible to generate the map of susceptibility to environmental degradation, with the intersection of the class of exposed soil with varying percentage of the albedo, resulting in classes susceptibility to environmental degradation
Resumo:
Obsessive-compulsive disorder is a very heterogeneous condition, not always easy to be identified. Obsessions are intrusive thoughts, impulses or images that cause anxiety or other emotional discomfort, whereas compulsions are repetitive behaviors or mental acts voluntarily performed to counterbalance or minimize the discomfort, or magically prevent any feared events. The most common symptoms are contamination, aggressive, somatic and sexual obsessions and washing, checking, repeating, counting and ordering compulsions. Patients usually have multiple symptoms simultaneously, which often change over time. Although the insight is typically preserved, it varies among patients and also fluctuates in the same patient in different ocasions. The main features are: exacerbated appraisal of risks, pathological doubts and incompleteness, as well as excessive sense of responsibility and guilt and thought/action fusion. As patients frequently feel ashamed of their symptoms, they can be reticent about them. Consequently, it usually takes time till they get adequate treatment.
Resumo:
This was a prospective study of 43 septic neonates at the NICU of the School of Medicine of Botucatu, São Paulo State University. Clinical and laboratory data of sepsis were analyzed based on outcome divided into two groups, survival and death. We calculated the discriminatory power of the relevant variables for the diagnosis of sepsis in each group, and using software for Discriminant Analysis, a function was proposed. There were 43 septic cases with 31 survivals and 12 deaths. The variables that had the highest discriminatory power were: n(o) of compromised systems, the SNAP, FiO2, and (A-a)O2. The study of these and others variables, such as birth weight, n(o) of risk factors, and pH using a Linear Discriminant Function(LDF) allowed us to identify the high-risk neonates for death with a low error rate (8.33%). The LDF was: F = 0.00043 (birth weight) + 0.30367 (n(o) of risk factors) - 0.1171 (n(o) of compromised systems) + 0.33223 (SNAP) + 2.27972 (pH) - 14.96511 (FiO2) + 0.01814 ((A-a)O2). If F > 22.77 there was high risk of death. This study suggests that the LDF at the onset of sepsis is useful for the early identification of the high-risk neonates that need special clinical and laboratory surveillance.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The aim of this study was to evaluate the influence of the platform-switching technique on stress distribution in implant, abutment, and pen-implant tissues, through a 3-dimensional finite element study. Three 3-dimensional mandibular models were fabricated using the Solid Works 2006 and InVesalius software. Each model was composed of a bone block with one implant 10 mm long and of different diameters (3.75 and 5.00 mm). The UCLA abutments also ranged in diameter from 5.00 mm to 4.1 mm. After obtaining the geometries, the models were transferred to the software FEMAP 10.0 for pre- and postprocessing of finite elements to generate the mesh, loading, and boundary conditions. A total load of 200 N was applied in axial (0 degrees), oblique (45 degrees), and lateral (90) directions. The models were solved by the software NeiNastran 9.0 and transferred to the software FEMAP 10.0 to obtain the results that were visualized through von Mises and maximum principal stress maps. Model A (implants with 3.75 mm/abutment with 4.1 mm) exhibited the highest area of stress concentration with all loadings (axial, oblique, and lateral) for the implant and the abutment. All models presented the stress areas at the abutment level and at the implant/abutment interface. Models B (implant with 5.0 mm/abutment with 5.0 mm) and C (implant with 5.0 mm/abutment with 4.1 mm) presented minor areas of stress concentration and similar distribution pattern. For the cortical bone, low stress concentration was observed in the pen-implant region for models B and C in comparison to model A. The trabecular bone exhibited low stress that was well distributed in models B and C. Model A presented the highest stress concentration. Model B exhibited better stress distribution. There was no significant difference between the large-diameter implants (models B and C).
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The aim of this study was to investigate the morphology and localisation of calcium hydroxide- and mineral trioxide aggregate (MTA)-induced hard tissue barriers after pulpotomy in dogs' teeth. Pulpotomies were performed on maxillary and mandibular premolars of five dogs. The teeth were assigned into three groups according to the pulp-capping agent used. The pulpal wounds were capped with calcium hydroxide (Ca(OH)(2) - control), MTA or ProRoot MTA, and the cavities were restored with amalgam. After a 90-day follow-up period, the dogs were euthanised and the teeth were examined under scanning electron microscopy (SEM). An image-processing and analysis software was used to delimit the perimeters of the root canal area and the hard tissue barrier to determine the percentage of root canal obliteration. SEM data were used to assess the morphology, localisation and extension of the reparative hard tissue barriers. ProRoot MTA was statistically different from MTA and Ca(OH)(2) (P < 0.05) regarding tissue barrier morphology. Localisation data showed that ProRoot MTA was significantly different from Ca(OH)(2) (P < 0.05) and similar to MTA (P > 0.01; P > 0.05). No statistically significant difference (P > 0.01; P > 0.05) was observed between MTA and Ca(OH)(2). A larger number of complete (centroperipheral) hard tissue barriers with predominance of dentinal tubules was observed to the ProRoot MTA when compared with the Ca(OH)(2) group.
Resumo:
Class III tegumentar glands were studied in workers, as well as in queens and males when available, of 56 Meliponini species. The presence and development of these glands varies widely among and within species. However, the queen typically has more glands than do workers, and males rarely have any. Gland development in workers was evaluated by counting and determining the size of cells in histological sections. Laying queens were found to have more active gland cells than did virgins. Cell numbers and cell ultrastructure differed among glands similarly located in workers, queens and males. Cell size and ultrastructure also varied from tergite to tergite. In conclusion, since it is likely that most of them produce pheromones, the wide variability in these glands suggests that they are important to social interaction.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)