968 resultados para Execution semantics
Resumo:
Different vocabularies and contexts are barriers to the communication between people or software systems. It is necessary a common understanding in the domain that is talked about, so it can be obtained a correct interpretation of the information. An ontology formally models the structure of a domain and turn explicit the shared understanding in the form of concepts and relations that emerge from its observation. Constitutes a sort of framework used in the mapping to the meaning of the information that is talked about. The formal accuracy in which they are defined, by means of axioms, allow machine processing, implicating in systems interoperability. Structured this way, the knowledge is easily transferred between people or systems from different contexts. Ontologies present several applications nowadays. They are considered the infra-structure to the Semantic Web, which is composed by Web resources with embedded meaning. Thereby, the automatic execution of complex tasks is allowed, with the benefit from the effective communication between Web software agents. Among other applications, they also have been used to structure the knowledge generated from several areas, like Biology and Software Engineering.
Resumo:
Research on the micro-structural characterization of metal-matrix composites uses X-ray computed tomography to collect information about the interior features of the samples, in order to elucidate their exhibited properties. The tomographic raw data needs several steps of computational processing in order to eliminate noise and interference. Our experience with a program (Tritom) that handles these questions has shown that in some cases the processing steps take a very long time and that it is not easy for a Materials Science specialist to interact with Tritom in order to define the most adequate parameter values and the proper sequence of the available processing steps. For easing the use of Tritom, a system was built which addresses the aspects described before and that is based on the OpenDX visualization system. OpenDX visualization facilities constitute a great benefit to Tritom. The visual programming environment of OpenDX allows an easy definition of a sequence of processing steps thus fulfilling the requirement of an easy use by non-specialists on Computer Science. Also the possibility of incorporating external modules in a visual OpenDX program allows the researchers to tackle the aspect of reducing the long execution time of some processing steps. The longer processing steps of Tritom have been parallelized in two different types of hardware architectures (message-passing and shared-memory); the corresponding parallel programs can be easily incorporated in a sequence of processing steps defined in an OpenDX program. The benefits of our system are illustrated through an example where the tool is applied in the study of the sensitivity to crushing – and the implications thereof – of the reinforcements used in a functionally graded syntactic metallic foam.
Resumo:
This dissertation shows a new tool in the process of producing specialized printed media: desktop publishing. Because it is an important tool to this communication media, the visualization of its evolutionary journey began in the pre-history of informative vehicle, advancing to the informatics society. And it was just in this last social stage that desktop publishing legitimized its function, resulting in impacts on the production of these media and conditioned new styles. At the presentation of this new post-industrial society, a change of work and leisure sphere was verified, whose fusion is present and in this interaction, desktop publishing arose at home, in the little bureaus. In this journey, desktop publishing became an object of reflection because of its conditioning aspects that fostered moments of observation in relation to a possible threat to creativity, thanks to its facilities and clichés. On the other hand, different positive aspects of desktop we also shown, at the same time, its conditioning aspects resulting into a restudy of its execution in different printed media, showing its effects and sharing points of view. So, new styles and a editorial way of production were seen too. Add to this aspect desktop publishing – in general meaning – the computerization of magazine articles – has been producing resignation of journalists, which is another important aspect in the presenting dissertation.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
In the soccer game, the player needs to be ready to attend the outlined requirements in differents extrategic moments. The fundamentals of soccer optimize their participation in a game, however, a correct execution of the movements can ensure their efficiency. From those fundamentals, we highlight the kick executed with the lower limbs characterized mainly by being an appeal of offensive played moving or stopped. Therefore, the objective of this review was to evaluate the kick's ability in the non- practitioners of this modality. Through a descripitive search, the objective followed by the protocol proposed by Mor-Cristian in 1979 was reached. The sample consisted of 48 individuals from both sexes, aged between 19 and 43 years old, students of Physics’ Education of a private University in the State of São Paulo - Brazil. The average of target 01 was 15.92 points, target 02 was 3.83, target 03 showed an average of 4.75 points and the target 04 had the average of 10.33. From the results we can observe that the target 01 have received the highest score over the other arcs. We conclude that the lower arches shown to be more likely to hit compared to the upper arches as being individuals who do not practice soccer.
Resumo:
This dissertation shows a new tool in the process of producing specialized printed media: desktop publishing. Because it is an important tool to this communication media, the visualization of its evolutionary journey began in the pre-history of informative vehicle, advancing to the informatics society. And it was just in this last social stage that desktop publishing legitimated its function, resulting in impacts on the production of these media and conditioned new styles. At the presentation of this new post-industrial society, a change of work and leisure sphere was verified, whose fusion is present and in this iteration, desktop publishing arose at home, in the little bureau. In this journey, desktop publishing became an object of reflection because of its conditioning aspects that fostered moments of observation in relation to a possible threat to creativity, thanks to its facilities and clichés. On the other hand, different positive aspects of desktop were also shown, at the same time, its conditioning aspects resulting into a restudy of its execution in different printed medias, showing its effects and sharing points of view. So, new styles and an editorial way of production were seen as well. Add to this aspect, desktop publishing – in general meanings – the informatization of magazine offices – has been producing dismissing of journalists, which is another important aspect in the presenting dissertation.
Resumo:
Considering the importance of the inclusion of Modern and Contemporary Physics in the curriculum of Physics in High School, it is proposed in this work an experimental activity, made with low- cost materials, which presents the photoelectric effect. This activity can be used articulating this phenomenon with some technological applications experienced by the students in their daily lives. When working the experiment, the teacher can encourage students to investigate what happens during its execution and, through questions, get them to express their ideas in the previous attempt to explain its operation. This articulation linked to social interaction in the classroom can arouse the students’curiosity and motivation of students to learn the subject taught in classroom.
Resumo:
The Cone Loading Test (CLT) consists of the execution of a load test on the piezocone probe in conjunction with the CPT test. The CLT yields the modulus ECLT, a parameter that can be used in the estimative of foundation settlement. It is also presented here the interpretation and the process to determine ECLT values from the stress-displacement curves obtained from cone loading tests. Several CLT tests were conducted at the experimental research site of São Paulo State University, Bauru-SP-Brazil. The geotechnical profile at the studied site is a brown to bright red slightly clayey fine sand, a tropical soil common to this region which is lateritic, unsaturated and collapsible. The results of CLT tests satisfactorily represent the behavior of the investigated soil. The penetrometric modulus ECLT for each depth was calculated considering the elastic behavior in the initial linear segment of the soil stress-strain curve. The ECLT moduli obtained for the various tests were compared to moduli obtained from PMT and DMT test results performed at same studied site. The shear modulus degradation curves obtained from the CLT tests are also presented. The comparison to PMT and DMT results indicates the CLT test is a viable complementary test to the CPT in the quest for better understanding stress-strain behavior of soils. Further, the CLT test provides a graphic visualization of the degradation of the shear modulus with increasing levels of strain. As a hybrid geotechnical test, CPT+CLT can be valuable in the investigation of non-conventional collapsible soils, whose literature lack reference parameters for the prediction of settlement in the design of foundations.
Resumo:
The work appeared before the process of articulation and curricular restructuring of Pedagogy courses conducted at the request of the Dean of undergraduate studies at UNESP. The documents surveyed pointed out that, although all courses obey the same laws, curriculum organization of each features singularities, where the course of pedagogy of Bauru (SP) is the only one which is distinguished by the presence of disciplines that work with the issue of technologies. Thus, we have as objectives: to analyze a proposal of curricular use of distance education; map of the curricula of pedagogy of UNESP with respect to technologies; Verify there is possibility of use of a virtual learning scenario in teachers ' initial formation. Thus, there was a didactic experience of use of distance education, which happened in 2010, 2011 and 2012, with students of the first and third year of the course. Were job steps: 1) literature review; 2) study of official documents of the courses of pedagogy of UNESP; 3) elaboration and execution of a didactic proposal of virtual learning environment; 4) description and categorization of data; 5) analysis and interpretation of results. We conclude that there is a need for reorganization of curriculum Pedagogy courses on the use of technologies and virtual learning environments are theoretical and practical articulation opportunities.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Pós-graduação em Engenharia de Produção - FEB
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Pós-graduação em Agronomia (Irrigação e Drenagem) - FCA
Resumo:
Pós-graduação em Agronomia - FEIS