Strongly regular graphs from differences of quadrics

In this note strongly regular graphs with new parameters are constructed using nested "blown up" quadrics in projective spaces. (C) 2002 Elsevier Science B.V. All rights reserved.

Perp-systems and partial geometries

A perp-system R(r) is a maximal set of r-dimensional subspaces of PG(N,q) equipped with a polarity rho, such that the tangent space of an element of R(r) does not intersect any element of R(r). We prove that a perp-system yields partial geometries, strongly regular graphs, two-weight codes, maximal arcs and k-ovoids. We also give some examples, one of them yielding a new pg(8,20,2).

Infusing the use of seasonal climate forecasting into crop management practice in North East Australia using discussion support software

Seasonal climate forecasting offers potential for improving management of crop production risks in the cropping systems of NE Australia. But how is this capability best connected to management practice? Over the past decade, we have pursued participative systems approaches involving simulation-aided discussion with advisers and decision-makers. This has led to the development of discussion support software as a key vehicle for facilitating infusion of forecasting capability into practice. In this paper, we set out the basis of our approach, its implementation and preliminary evaluation. We outline the development of the discussion support software Whopper Cropper, which was designed for, and in close consultation with, public and private advisers. Whopper Cropper consists of a database of simulation output and a graphical user interface to generate analyses of risks associated with crop management options. The charts produced provide conversation pieces for advisers to use with their farmer clients in relation to the significant decisions they face. An example application, detail of the software development process and an initial survey of user needs are presented. We suggest that discussion support software is about moving beyond traditional notions of supply-driven decision support systems. Discussion support software is largely demand-driven and can compliment participatory action research programs by providing cost-effective general delivery of simulation-aided discussions about relevant management actions. The critical role of farm management advisers and dialogue among key players is highlighted. We argue that the discussion support concept, as exemplified by the software tool Whopper Cropper and the group processes surrounding it, provides an effective means to infuse innovations, like seasonal climate forecasting, into farming practice. Crown Copyright (C) 2002 Published by Elsevier Science Ltd. All rights reserved.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Tecnologias e metodologias na ensinagem de inglês no século XXI : elaboração e análise de webquests

Este trabalho tem como objetivo geral apresentar mecanismos de análise e validação de propostas de material didático na forma de Webquests e, com base nesses mecanismos, elaborar e validar três propostas de material didático em forma de WebQuests criticamente situados para a ensinagem de inglês como língua adicional. As WebQuests elaboradas visam priorizar o desenvolvimento do letramento digital crítico e da competência comunicativa em inglês como língua adicional do aprendiz. A WebQuest se insere na perspectiva de uma metodologia que tem esse mesmo nome e consiste na proposta de uma pesquisa orientada e organizada em etapas em que toda ou grande parte do conteúdo a ser acessado e necessário para a realização da(s) tarefa(s) encontra-se disponível online (DODGE, 1995). A metodologia deste estudo é de cunho qualitativo e também se insere na perspectiva da metodologia de desenvolvimento. O design metodológico dessa investigação foi organizado em três etapas, quais sejam, a análise de necessidades, a elaboração de três WebQuests e a análise das WebQuests elaboradas a partir de uma rubrica. A revisão de literatura, que constituiu parte da análise de necessidades, sugere que as demandas do século XXI exigem maior atenção e investimento para o desenvolvimento de letramentos múltiplos e críticos, de competências comunicativas e interacionais e de formação de cidadania. A análise de WebQuests disponíveis para ensinagem de inglês no principal sítio brasileiro de WebQuests, que compôs a segunda parte da análise de necessidades desse estudo, evidenciou a escassez de WebQuests que abordam de forma significativa tanto as questões do letramento digital crítico quanto os aspectos da competência comunicativa na língua adicional do indivíduo. A análise de necessidades como um todo forneceu subsídios relevantes para o processo de elaboração das WebQuests propostas neste estudo, que também se embasou nas diretrizes e princípios do modelo WebQuest e em grande parte do seu embasamento teórico. Como fase final deste estudo, as três WebQuests elaboradas foram submetidas à validação a partir de uma rubrica criada especialmente para esse propósito. Os resultados das análises de validação das três WebQuests elaboradas sugerem que a proposta desses materiais é válida sob o ponto de vista teórico, pois mostram que as ferramentas criadas vão ao encontro da proposta do modelo WebQuests de Dodge (1995, 2001) e das recomendações de qualidade sugeridas por Bottentuit Junior e Coutinho (2008a, 2012), bem como estão ancoradas na teoria sócio-construtivista e do ensino situado e nos princípios metodológicos da abordagem de ensino baseada em tarefas e da abordagem de ensino de conteúdos diversos por meio da língua (CLIL). Concluímos que as três WebQuests são materiais de ensinagem de inglês que fogem do enfoque tradicional conteudista historicamente voltado para o ensino de vocabulário e gramática na língua-alvo, extrapolando os objetivos linguísticos para alcançar também objetivos sociais e culturais da ensinagem de inglês como língua adicional, na medida em que se trabalha paralelamente (e intencionalmente, por entender que ambos se complementam) o desenvolvimento da competência comunicativa e do letramento digital crítico do indivíduo, contribuindo, assim, para a sua formação cidadã e colaborando para a “inclusão” do aprendiz no mundo social e digital.

O tempo, um grande escultor

Mestrado em Educação e Intervenção Social - Desenvolvimento Comunitário e Educação de Adultos