901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

When registering spectral radiance from surface targets, digital numbers recorded by the imagery sensor may vary. Such variation causes imperfections on the images coming from aerial surveys. Variation in the image brightness related to the distance from the center of the image is known as the vignetting effect. Correcting this effect aims at achieving an homogeneous image brightness. The purpose of this paper is to present a specific methodology to determine a model in order to minimize this vignette effect based on a model fit by Least Squares Method (LSM), using digital numbers (DN) from shadowed regions. The main hypothesis is that the recorded DN of shadow pixels should be suitable to model the vignetting effect. Considering that the vignetting effect could be modeled as a trend of spatial image variation, a trend surface analysis of a sample of pixels from shadowed regions was carried out. Two approaches were adopted to represent the shadow regions of an image. The first one takes into account the components R, G, B of the aerial image within the visible spectral band, and the second one considers the component I of the HSI image. In order to evaluate the methodology, a study case with a color aerial image was carried out. The findings showed that the best results were obtained by applying the model in the RGB components, which allows to conclude that the vignetting effect can be modeled based on trend surfaces fit on shadow regions DN.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper presents an assessment of an educational game for teaching the efficient use of electricity. Developed with Adobe Flash (R), it is a virtual board game where participants choose a car that starts the path and reaches the same final goal, going through a number of track steps defined in terms of a dice that each player rolls in turn. The car moves if the participant is able to correctly answer a question that is randomly generated by the software. The objective of the game is to answer questions related to energy efficiency promoting a healthy and attractive learning process for participants on concepts related to energy efficiency such as: the rational use of energy, the basic concepts of forms of energy generation, among others. The main objective of this paper is to assess the impact of the application of this virtual game in the teaching and learning process of high school students. Therefore, the game was applied in the discipline of physics in a class of junior high public school in the state of Sao Paulo. Initially, the class that had 43 students was divided into 10 groups of 4 students, and 1 group of 3 students. Each student group competed with one another. The idea was that each of them should indicate a student who was the representative of this group until only 4 group leaders were selected for the finals. At this stage, each student could interact with a group of up to ten students that acted as advisers. The adopted assessment process is based on the model proposed by Savi [7]. Then, at the end of the game, the students answered a prepared questionnaire based on the model proposed by Savi. According to Savi, although there are significant studies that show the importance of educational games for the process of cognitive development and learning concepts of students, there are few papers that present forms of assessing the potential of these resources. Thus, the assessment criteria proposed by Savi are based on the model of training evaluation by Kirkpatrick [3], taken as a reference to measure the efficiency of processes of continuing education courses for professionals. The authors assert that the metric of the evaluation proposed to assess the game is based on the first level of the model proposed by Kirkpatrick.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

With the fast growth of cancer research, new analytical methods are needed to measure anticancer drugs. This is usually accomplished by using sophisticated analytical instruments. Biosensors are attractive candidates for measuring anticancer drugs, but currently few biosensors can achieve this goal. In particular, it is challenging to have a general method to monitor various types of anticancer drugs with different structures. In this work, a biosensor was developed to detect anticancer drugs by modifying carbon paste electrodes with glutathione-s-transferase (GST) enzymes. GST is widely studied in the metabolism of xenobiotics and is a major contributing factor in resistance to anticancer drugs. The measurement of anticancer drugs is based on competition between 1-chloro-2,4-dinitrobenzene (CDNB) and the drugs for the GST enzyme in the electrochemical potential at 0.1 V vs. Ag/AgCl by square wave voltammetry (SWV) or using a colorimetric method. The sensor shows a detection limit of 8.8 mu M cisplatin and exhibits relatively long life time in daily measurements. (C) 2014 Elsevier B.V. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Introduction: In the Web environment, there is a need for greater care with regard to the processing of descriptive and thematic information. The concern with the recovery of information in computer systems precedes the development of the first personal computers. Models of information retrieval have been and are today widely used in databases specific to a field whose scope is known. Objectives: Verify how the issue of relevance is treated in the main computer models of information retrieval and, especially, as the issue is addressed in the future of the Web, the called Semantic Web. Methodology: Bibliographical research. Results: In the classical models studied here, it was realized that the main concern is retrieving documents whose description is closest to the search expression used by the user, which does not necessarily imply that this really needs. In semantic retrieval is the use of ontologies, feature that extends the user's search for a wider range of possible relevant options. Conclusions: The relevance is a subjective judgment and inherent to the user, it will depend on the interaction with the system and especially the fact that he expects to recover in your search. Systems that are based on a model of relevance are not popular, because it requires greater interaction and depend on the user's disposal. The Semantic Web is so far the initiative more efficient in the case of information retrieval in the digital environment.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Information and Communication Technologies (ICT) can be combined with the acquisition of academic knowledge and cultural development of students, as they improve their information literacy, and why not say, also digital. Weaim in this research seek references and present experiences that encourage a new concept of school library with the use of ICT in teaching and learning in individual and collective development of the student community. To complement this study we prioritized the following objectives: to insert the technology into the routine of a school library; identify the informational and technological profile of adolescents; understand the needs and technological resources they use to obtain information in daily life and also analyze the importance the effective participation of the school library in the educational context of the school, through greater interaction between the librarian, teacher and pedagogical coordination seeking a cooperative and informal ICT teaching and learning for along with the students, sharing the search for information and knowledge, in a conscious and responsible way. Chosen as theoretical foundation the cognitive studies of Jean Piaget, witch explains how the stages of assimilation and accommodation of knowledge in cooperative practices work. As a methodology was developed a participatory-action research, to learn the behavioral state of young people and adolescents, based on the model of information search for the everyday life (Everyday Life Information Seeking) – ELIS, developed by Finnish researcher Savoleinen (2006), as well as identify the informational and technological profile of adolescents from two selected approaches in the scientific literature (HUGUES-HASSEL; AGOSTO, 2007; UCL, 2008). Thus, came up the initiative to create a Confraternity of the Library in a collaborative digital environment, providing the participants discussion and learning technologies as well as digital information literacy enhancement.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The process of environmental impact assessment (EIA), in the extent of previous environmental studies, has as one of its functions to provide subsidies to the actions of environmental managment of enterprises. However, the proper estructuring of programs that allows to support this managment does not often occurs. This research sought as one of its objectives to evaluate in which extent the process of EIA can be a subsidie for the EMS, providing basic elements of this system. In addition, more specifically, the research had as one of its objetives the development of subsidies for the implantation of an Environmental Managment System (EMS), based on the model of ISO 14001 (2004), for a sewage treatment plant yet to be constructed in the city of President Venceslau / SP. In order to achieve theses objetives, a discussion was held based on the evaluation of environmental studies available in the library of Cetesb / SMA. Still, for the elaboration of subsidies for the EMS of the treatment plant, the research was focused on the structuring of environmental management program, based on the information contained in its Preliminary Environmental Report (PER). The research had as one of its products, the development of subsidies for the planning and control of the environmental aspects and impacts and for the environmental program of the enterprise, based on the use of environmental indicators. It was concluded, based on the results that, in general, the previous environmental studies analyzed showed little emphasis on the phase of development of structured environmental programs that offer guidelines to achieve the desired results for the environmental performance of the company.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The wide territorial extension of Brazil derails the installation and maintenance of instruments for measuring solar radiation, which makes necessary the development and application of models that are able to estimate reliable and sufficient data for many different activities that use such data. And these, in most cases, are estimated from the Ångström equation. Based on this model, this project aimed to estimate the global solar radiation at Presidente Prudente-SP, Brazil, using daily data from 1999 to 2007. The solar radiation data have been extracted from the paper tapes of actinograph bi-metallic (Robitsch) daily records at the meteorological station in the Faculty of Science and Technology, UNESP. These tapes were scanned, resulting in digital images with x and y coordinates pairs (x = time; y = solar radiation, cal/min.cm²). The daily global solar radiation is the area under the curve of the image. This value has been calculated by computer algorithms. After the acquisition and calculation of the values needed to develop the Ångström equation have been determined the constants a and b, using linear regression between the values of Rg/R0 (solar radiation/solar radiation on a horizontal surface at the top of atmosphere), as ordered, and n/N (number of hours of sunshine/day length in hours) as abscissa. The slope of the line will be the constant b and the linear coefficient, the constant a. The estimated results were compared to the observed using the Kolmogorov-Smirnov test, realizing that the models can be accepted. So, the equation to aim the solar global radiation is: Rg = R0 (0,2662+0,3592 n/N)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The process of product development (PPD) is a strategic factor in which companies seek to identify consumer needs. The relationship of the practices adopted, tools, techniques, among others, can determinate the maturity level of the company in this process. The purpose of this paper is to understand and diagnose the level of maturity of the PDP in footwear segment industry. For the case study, a company inserted into one of the largest poles of women’s footwear in Brazil, located in Jaú, São Paulo State, was researched. The diagnosis is based on the maturity levels of the unified model, reference in the process of product development, proposed by Rozenfeld et al. (2006). The application of the model assisted to diagnose the current maturity level of the company in this process, providing useful information to achieve higher levels of maturity in the PDP.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This study, based on the model of Positive Behavior Support, aims to identify how 40 primary school directors describe the process of development, application, and evaluation of educational strategies for pupils with behavioral problems. The results from a questionnaire indicated that 77.5% of the directors had pupils with behavioral problems. The most commonly used educational strategies of intervention were to speak with the child (13.3%) or with the parents (13.3%). The most common action for evaluation was observation of the child (27.6%). In general, the study verified that the strategies were employed informally and unsystematically. These findings indicate that research about the inclusion of children with behavioral problems is needed and challenge to rethink about the educators professional training.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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