A Framework supporting collaboration on the distributed design of integrated systems

The work described in this thesis aims to support the distributed design of integrated systems and considers specifically the need for collaborative interaction among designers. Particular emphasis was given to issues which were only marginally considered in previous approaches, such as the abstraction of the distribution of design automation resources over the network, the possibility of both synchronous and asynchronous interaction among designers and the support for extensible design data models. Such issues demand a rather complex software infrastructure, as possible solutions must encompass a wide range of software modules: from user interfaces to middleware to databases. To build such structure, several engineering techniques were employed and some original solutions were devised. The core of the proposed solution is based in the joint application of two homonymic technologies: CAD Frameworks and object-oriented frameworks. The former concept was coined in the late 80's within the electronic design automation community and comprehends a layered software environment which aims to support CAD tool developers, CAD administrators/integrators and designers. The latter, developed during the last decade by the software engineering community, is a software architecture model to build extensible and reusable object-oriented software subsystems. In this work, we proposed to create an object-oriented framework which includes extensible sets of design data primitives and design tool building blocks. Such object-oriented framework is included within a CAD Framework, where it plays important roles on typical CAD Framework services such as design data representation and management, versioning, user interfaces, design management and tool integration. The implemented CAD Framework - named Cave2 - followed the classical layered architecture presented by Barnes, Harrison, Newton and Spickelmier, but the possibilities granted by the use of the object-oriented framework foundations allowed a series of improvements which were not available in previous approaches: - object-oriented frameworks are extensible by design, thus this should be also true regarding the implemented sets of design data primitives and design tool building blocks. This means that both the design representation model and the software modules dealing with it can be upgraded or adapted to a particular design methodology, and that such extensions and adaptations will still inherit the architectural and functional aspects implemented in the object-oriented framework foundation; - the design semantics and the design visualization are both part of the object-oriented framework, but in clearly separated models. This allows for different visualization strategies for a given design data set, which gives collaborating parties the flexibility to choose individual visualization settings; - the control of the consistency between semantics and visualization - a particularly important issue in a design environment with multiple views of a single design - is also included in the foundations of the object-oriented framework. Such mechanism is generic enough to be also used by further extensions of the design data model, as it is based on the inversion of control between view and semantics. The view receives the user input and propagates such event to the semantic model, which evaluates if a state change is possible. If positive, it triggers the change of state of both semantics and view. Our approach took advantage of such inversion of control and included an layer between semantics and view to take into account the possibility of multi-view consistency; - to optimize the consistency control mechanism between views and semantics, we propose an event-based approach that captures each discrete interaction of a designer with his/her respective design views. The information about each interaction is encapsulated inside an event object, which may be propagated to the design semantics - and thus to other possible views - according to the consistency policy which is being used. Furthermore, the use of event pools allows for a late synchronization between view and semantics in case of unavailability of a network connection between them; - the use of proxy objects raised significantly the abstraction of the integration of design automation resources, as either remote or local tools and services are accessed through method calls in a local object. The connection to remote tools and services using a look-up protocol also abstracted completely the network location of such resources, allowing for resource addition and removal during runtime; - the implemented CAD Framework is completely based on Java technology, so it relies on the Java Virtual Machine as the layer which grants the independence between the CAD Framework and the operating system. All such improvements contributed to a higher abstraction on the distribution of design automation resources and also introduced a new paradigm for the remote interaction between designers. The resulting CAD Framework is able to support fine-grained collaboration based on events, so every single design update performed by a designer can be propagated to the rest of the design team regardless of their location in the distributed environment. This can increase the group awareness and allow a richer transfer of experiences among them, improving significantly the collaboration potential when compared to previously proposed file-based or record-based approaches. Three different case studies were conducted to validate the proposed approach, each one focusing one a subset of the contributions of this thesis. The first one uses the proxy-based resource distribution architecture to implement a prototyping platform using reconfigurable hardware modules. The second one extends the foundations of the implemented object-oriented framework to support interface-based design. Such extensions - design representation primitives and tool blocks - are used to implement a design entry tool named IBlaDe, which allows the collaborative creation of functional and structural models of integrated systems. The third case study regards the possibility of integration of multimedia metadata to the design data model. Such possibility is explored in the frame of an online educational and training platform.

Aprendendo e ensinando o sistema de numeração decimal: uma contribuição à prática pedagógica do professor

The central question of the present study is to identify the epistemological knowledge that the teachers-trainees possess regarding the characteristics (properties) of the decimal numbering system; its purpose is to offer a contribution to the pedagogic practice of the teachers who work within the Basic Literacy Cycle, in terms of what concerns both the acquisition of contents and the development of the knowledge that helps them in the elaboration of adequate strategies to working with the Decimal Numbering System in the classroom. The study is based on the constructivist sociointeractionist approach to teaching Mathematics and it constitutes, in itself, a methodological intervention with the teachers-trainees engaged in the Professional Qualification Program in Basic Education of the Federal University of Rio Grande do Norte. The foundations of the study were found in investigations of researchers who had carried out studies on the construction of numerical writing, showing, for instance, that the construction process of ideas and procedures involved in groupings and changes to base 10 take a lot longer to be accomplished than one can imagine. A set of activities was then elaborated which could not only contribute to the acquisition of contents but that could also make the teachers-trainees reflect upon their teaching practices in the classroom so that in this way they will be able to elaborate more consistent didactic approaches, taking into consideration the previous knowledge of the students and also some obstacles that often appear along the way. Even when teachers have access to the most appropriate dicactic resources, the lack of knowledge of the content and of the real meaning of that content make the Decimal Numbering System, a subject of fundamental importance, be taught most times in a mechanical way. The analisys of the discussions and behaviours of the teachers-trainees during the activities reavealed that they made them reflect upon their current practices in the classroom and that, as a whole, the aims of each of the activities carried out with the teachers-trainers were reached

Um ensaio sobre as concepções de professores de Matemática: possibilidades metodológicas e um exercício de pesquisa

Este artigo tem como tema principal as concepções dos professores de Matemática. Considerando o termo concepção a partir do pragmatismo de Peirce, elabora-se um conjunto de parâmetros metodológicos - chamado de método indireto - a ser aplicado no estudo das concepções de professores de Matemática. Trata-se, em síntese, de investigar as concepções dos professores interpelando-os não sobre suas crenças, mas sobre suas práticas. Fundamentando essa abordagem indireta e explicitando-a em sua natureza qualitativa, o artigo segue apresentando, como exemplo, um exercício desse método indireto: um estudo sobre os critérios que os professores utilizam quando escolhem livros-texto para sua sala de aula, abordando, conseqüentemente, quais concepções de Matemática e de seu ensino e aprendizagem tais critérios desvendam. Partindo de depoimentos de professores de Matemática, o estudo indica que os professores agem com certa independência quando escolhem os materiais utilizados em suas atividades docentes. Buscam, ao mesmo tempo, apoio em uma vasta gama de livros didáticos, desconsiderando as particularidades de cada obra e as abordagens e perspectivas defendidas por seus autores. Embora submetam-se ao livro didático - considerado uma referência legítima e segura -, os professores o subvertem, buscando adequá-lo ao que consideram correto. Dessa constatação, algumas das concepções dos professores podem ser realçadas: o aluno, via de regra, é avaliado e classificado pelas lacunas que apresenta em relação aos conteúdos. Dessa postura, segue a valorização da precedência lógica dos conteúdos, de sua apresentação linear, e a defesa de pré-requisitos que viabilizariam o ensino e, conseqüentemente, implicam a legitimidade de aulas predominantemente expositivas.

Topological K-equivalence of analytic function-germs

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

Boundary of the rauzy fractal sets in R x C generated by P(x)=x(4)-x(3)-x(2)-x-1

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

Kinematics of a spacetime with an infinite cosmological constant

A solution of the sourceless Einstein's equation with an infinite value for the cosmological constant L is discussed by using Inonu-Wigner contractions of the de Sitter groups and spaces. When Lambda --> infinity, spacetime becomes a four-dimensional cone, dual to Minkowski space by a spacetime inversion. This inversion relates the four-cone vertex to the infinity of Minkowski space, and the four-cone infinity to the Minkowski light-cone. The non-relativistic limit c --> infinity. is further considered, the kinematical group in this case being a modified Galilei group in which the space and time translations are replaced by the non-relativistic limits of the corresponding proper conformal transformations. This group presents the same abstract Lie algebra as the Galilei group and can be named the conformal Galilei group. The results may be of interest to the early Universe Cosmology.

The nonlinear essence of gravitational waves

A critical review of gravitational wave theory is made. It is pointed out that the usual linear approach to the gravitational wave theory is neither conceptually consistent nor mathematically justified. Relying upon that analysis it is argued that-analogously to a Yang-Mills propagating field, which must be nonlinear to carry its gauge charge-a gravitational wave must necessarily be nonlinear to transport its own charge-that is, energy-momentum.

Free actions of abelian p-groups on the n-torus

In this work we make some contributions to the theory of actions of abelian p-groups on the n-Torus T-n. Set congruent to Z(pk1)(h1) x Z(pk2)(h2) x...x Z(pkr)(hr), r >= 1, k(1) >= k(2) >=...>= k(r) >= 1, p prime. Suppose that the group H acts freely on T-n and the induced representation on pi(1)(T-n) congruent to Z(n) is faithful and has first Betti number b. We show that the numbers n, p, b, k(i) and h(i) (i = 1,..,r) satisfy some relation. In particular, when H congruent to Z(p)(h), the minimum value of n is phi(p) + b when b >= 1. Also when H congruent to Z(pk1) x Z(p) the minimum value of n is phi(p(k1)) + p - 1 + b for b >= 1. Here phi denotes the Euler function.

On the hardy space H¹ on products of half-spaces

We show that the Hardy space H¹ anal (R2+ x R2+) can be identified with the class of functions f such that f and all its double and partial Hubert transforms Hk f belong to L¹ (R2). A basic tool used in the proof is the bisubharmonicity of |F|q, where F is a vector field that satisfies a generalized conjugate system of Cauchy-Riemann type.

COMPARATIVE COLONY PRODUCTIVITY OF POLISTES-SIMILLIMUS AND POLISTES-VERSICOLOR (HYMENOPTERA, VESPIDAE) AND THE EVOLUTION OF PARAGYNY IN THE POLISTINAE

Over a 3-year period, all colony foundations of the social wasps Polistes versicolor and Polistes simillimus were registered, and the fate and growth of all colonies were followed. P. simillimus exhibited a greater number of colony-founding attempts, while P. versicolor had a larger number of adult colonies. P. simillimus had greater cell numbers and number of adults produced per colony. P. simillimus reutilized only a small percentage of brood cells for adult production for up to 2 generations, while P. versicolor reutilized a large percentage of brood cells for up to 3 generations. Consequently, cell production was higher in P. simillimus. Because of a high rate of adult production and extensive cell production, we suggest that P. simillimus may demonstrate paragynous social organization, and may demonstrate an intermediate form between polygynous and monogynous Vespidae. Paragynous associations may lead to lower predation pressures and a relative independence of adult production on time.

DIFFERENT MEDIA, DIFFERENT TYPES OF COLLECTIVE WORK IN ONLINE CONTINUING TEACHER EDUCATION: WOULD YOU PASS THE PEN, PLEASE?

This paper presents some findings regarding the interaction between different computer interfaces and different types of collective work. We want to claim that design in online learning environments has a paramount role in the type of collaboration that happens among participants. In this paper, we report on data that illustrate how teachers can collaborate online in order to learn how to use geometry software in teaching activities. A virtual environment which allows that construction to be carried out collectively, even if the participants are not sharing a classroom, is the setting for the research presented in this paper.