11 resultados para Ensino de ciência da computação e engenharia de software
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo
Resumo:
O sistema cultivo mínimo, por possibilitar pouca movimentação de solo, menor número de operações agrícolas sem incorporação dos resíduos vegetais, apresenta vantagens em razão do menor custo de preparo e da redução das perdas de solo e água. No ano agrícola de 2006/2007, na Fazenda de Ensino e Pesquisa da Faculdade de Engenharia de Ilha Solteira, SP, Brasil - FEIS/UNESP, situada nas condições do Cerrado Brasileiro, objetivou-se analisar a produtividade de massa de matéria seca da consorciação de forragem (guandu+milheto) (MSF), em função de atributos físicos do solo, tais como resistência à penetração (RP), umidade gravimétrica (UG), umidade volumétrica (UV) e densidade do solo (DS) nas profundidades de 0,0-0,10 m; 0,10-0,20 m e 0,20-0,30 m. Para tanto, foi instalado um ensaio, contendo 117 pontos amostrais, em um Latossolo Vermelho distroférrico, sob pivô central, numa área experimental de 1600 m² sob cultivo mínimo. A análise estatística constou de análise descritiva inicial dos atributos e análise das correlações lineares simples entre eles, e, finalmente, de análise geoestatística. Do ponto de vista da correlação espacial, o atributo que mais bem explica a produtividade de massa de matéria seca da consorciação é a densidade do solo na camada de 0,20-0,30 m, com uma correlação inversa, indicando que as espécies se desenvolvem bem em solos adensados.
Resumo:
O ensino da ciência estatística é obrigatório em praticamente todos os cursos de graduação das universidades brasileiras. Além disso, vários são cursos de Graduação em Estatística, distribuídos pelas várias universidades nacionais. Entretanto, apesar da importância desta ciência, não existem, na literatura nacional, estudos sistemáticos direcionados à caracterização dos docentes responsáveis pelo ensino da ciência estatística no país. Neste contexto, apresentamos, neste artigo, uma descrição de tais docentes, particularmente, no que tange aos cursos de Graduação em Estatística Esta descrição foi realizada por meio de um levantamento amostral descritivo, relacionado aos aspectos de sua formação e produção científica, sendo finalizada com a apresentação da previsão de demanda de Doutores em Estatística necessários para suprir as vagas em aberto a partir das ocorrências das aposentadorias dos docentes das Graduações em Estatística no país.
Resumo:
O objetivo deste artigo é investigar a concepção enciclopédica de revolução científica posta em prática pelo químico francês L.-B. Guyton de Morveau (1737-1816). Deslocando a análise do conhecimento químico das Luzes do programa traçado por Lavoisier (1743-1794), sugerimos uma concepção revolucionária republicana, proclamada como resultado do esforço de uma coletividade. Daremos destaque a três abordagens revolucionárias de Guyton de Morveau no âmbito da química. A primeira foi sua atuação no ensino dessa ciência, cuja pedagogia e métodos de ensino foram fundamentais para sua imersão social. Além disso, entre 1770 e 1790, Guyton de Morveau teve desempenhos decisivos no seio da empresa enciclopédica e no seio da escola química francesa.
Resumo:
A recuperação da produção científica por autoria é um desafio para diversos mantenedores de bases de dados, devido à ambiguidade causada por problemas de homonímia e possíveis variações e alterações de nome de uma mesma pessoa. A abordagem deste problema de pesquisa vem sendo proposta conjuntamente por pesquisadores das áreas de Ciência da Computação e Ciência da Informação, fazendo uso de metodologias diversas. Este estudo apresenta um método automático para verificação de ocorrência de erros em dados de autorias da base de produção científica da Universidade de São Paulo (Dedalus) tomando como base o banco corporativo de funcionários ,tanto informações administrativas e acadêmicas do sistema Tycho, ambos da USP. O Tycho forneceu informações de contexto (lista de autoridades) permitindo, por meio de algoritmos de busca aproximada, a identificação e contagem automática das variações dos nomes, bem como potenciais problemas nos registros bibliográficos.
Resumo:
As contribuições, em uma linha que se poderia chamar de “sociologia da ciência”, de Bruno Latour permitem-se dialogar com questões educacionais, em particular no que tange à consolidação histórica de conceitos científicos e ao fazer ciência, haja vista a ampla defesa que a literatura expõe no sentido de uma educação científica pautada na abordagem historicoepistemológica, que apreenta o conhecimento científico como construção sociocultural. Neste sentido, é de nosso especial interesse a concepção latouriana das caixas pretas, que representam conceitos e instrumentos, de uma dada disciplina científica, que alcançaram a posição de objetos (teóricos, como leis e equações, ou experimentais, como equipamentos de laboratório) considerados seguros até evidência em contrário. Exemplos de caixas pretas são abundantes: tipicamente, figuram como tal os instrumentos de medida, os conceitos e modelos que, a partir do momento em que sejam aceitos como válidos (pelos membros de uma comunidade de cientistas), fazem-se ponto de partida para novas descobertas. Quando um físico realiza experimentos em seu laboratório, está considerando válido um grande conjunto de princípios e confiando que seus instrumentos fornecem uma medida fiel para certas grandezas, suposição essa indispensável à prática científica. Frequentemente, esse cientista fará uso de instrumentos cujo princípio de funcionamento foge à alçada de seu conhecimento, e é sobre esse fato que Latour funda seu conceito de caixa preta (o qual se estende mesmo aos objetos da especialidade do nosso pesquisador). Neste ensaio, teremos por objetivo mostrar que (e como) a abordagem histórico epistemológica das aulas de ciências pode, em alguns aspectos, traduzir-se como o convite a abrir certas caixas pretas.
Resumo:
The Distributed Software Development (DSD) is a development strategy that meets the globalization needs concerned with the increase productivity and cost reduction. However, the temporal distance, geographical dispersion and the socio-cultural differences, increased some challenges and, especially, added new requirements related with the communication, coordination and control of projects. Among these new demands there is the necessity of a software process that provides adequate support to the distributed software development. This paper presents an integrated approach of software development and test that considers distributed teams peculiarities. The approach purpose is to offer support to DSD, providing a better project visibility, improving the communication between the development and test teams, minimizing the ambiguity and difficulty to understand the artifacts and activities. This integrated approach was conceived based on four pillars: (i) to identify the DSD peculiarities concerned with development and test processes, (ii) to define the necessary elements to compose the integrated approach of development and test to support the distributed teams, (iii) to describe and specify the workflows, artifacts, and roles of the approach, and (iv) to represent appropriately the approach to enable the effective communication and understanding of it.
Resumo:
A long-standing problem when testing from a deterministic finite state machine is to guarantee full fault coverage even if the faults introduce extra states in the implementations. It is well known that such tests should include the sequences in a traversal set which contains all input sequences of length defined by the number of extra states. This paper suggests the SPY method, which helps reduce the length of tests by distributing sequences of the traversal set and reducing test branching. It is also demonstrated that an additional assumption about the implementation under test relaxes the requirement of the complete traversal set. The results of the experimental comparison of the proposed method with an existing method indicate that the resulting reduction can reach 40%. Experimental results suggest that the additional assumption about the implementation can help in further reducing the test suite length. Copyright (C) 2011 John Wiley & Sons, Ltd.
Resumo:
We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.
Resumo:
The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.
Resumo:
This paper aims at analyzing the history of science content of three general chemistry textbooks used in Brazilian universities: the translations of Kotz and Treichel's Chemistry & Chemical Reactivity, Atkins and Jones's Chemical Principles, and Garritz and Chamizo's Química. Results revealed different trends for the inclusion of history of science in chemistry teaching. Kotz & Treichel and Atkins & Jones used history mainly as curiosity and ornament. Garritz & Chamizo adopted the historical approach as one of the organizing axis of their textbook. Nevertheless, the historical content of the three textbooks may be criticized from current historiographical standpoint.
Resumo:
Uma teoria científica é um corpo de conhecimento autocontido, com elementos estruturantes - as partes - que, numa lógica interna, compõem um todo articulado. As partes representam um conhecimento local, conceitual e profundo da teoria, enquanto o todo representa a espacialização, o racional, a formalização - um conhecimento em extensão. Numa teoria da Física, a escolha dos elementos que a compõem e a maneira como eles se articulam traduzem uma especial estrutura conceitual, resultando em um produto particular. Se a natureza deste produto é sincrônica e espacial, uma proposta de seu ensino implica seu desmonte epistemológico seguido de uma reconstrução didática, localizando e conceituando suas partes diacrônica e linearmente. A análise da Mecânica Clássica apresentada nos livros didáticos, aprovados no PNLD/2011, exemplifica as singularidades das desconstruções e reconstruções dessa teoria da Física, revelando as diferentes visões da mesma implícitas nessas obras propostas para seu ensino.