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


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)

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:

This study aimed to determine the optimal intake of lysine and threonine for broiler breeder hens. Two experiments were conducted to evaluate the responses of birds to digestible lysine (Lys) and threonine (Thr). Eight treatments were assessed in both experiments, with six replicates of eight birds in the Lys experiment and ten birds in the Thr experiment. The dietary levels of Lys and Thr were obtained by a dilution technique. The experimental period was ten weeks for each amino acid studied, which included six weeks of adaptation and four weeks of data collection. The amino acid intake, egg mass and body weight were adjusted using a Reading model. Based on the model coefficients, the cost of the synthetic amino acids sources and the price of fertile eggs determined the intake of each amino acid to maximize. The minimum intake of Lys and Thr reduced egg production by 40 and 30%, respectively, the weight of the eggs decreased by 12 and 9% with the same intake of Lys and Thr, respectively. The models generated by predicting Lys and Thr intake were as follows: Lys=11 x E+31 x W and Thr=9.5 x E+32 x W, where E=egg mass, g/bird per day, and W=body weight, kg/bird. Based on the models, 3 kg birds with an egg mass production of 50 g/day require 643 mg/bird per day of Lys and 569 mg/bird per day of Thr. The optimum economic intake was calculated at 954 and 834 mg/bird per day for Lys and Thr, respectively, reflecting a dietary concentration of 0.636% Lys and 0.556% Thr for a feed intake of 150 g/bird per day. (C) 2015 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:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Pós-graduação em Educação - FCT

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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