O fim do império cognitivo: a afirmação das epistemologias do Sul

Book reviewReseña del libroResenha de livr

Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle

Formale Beschreibungstechniken (FDTs) erlauben durch ihre formale Syntax und Semantik eine präzise Systembeschreibung und sind Grundlage für die formale Verifikation. Bei der Implementierung von Systemen wird jedoch nach wie vor von Hand implementiert, selbst wenn ausgereifte Werkzeuge zur automatischen Generierung von Kode direkt aus der formalen Spezifikation existieren. Die Ursache dafür liegt in dem Ruf dieser Werkzeuge, Kode mit extrem geringer Leistungsfähigkeit zu erzeugen. Es gibt jedoch kaum quantitative Leistungsvergleiche zwischen manuell und automatisch generierten Implementierungen, die dieses Vorurteil stützen oder widerlegen könnten. In diesem Beitrag wird ein solcher Leistungsvergleich anhand des Hochleistungsprotokolls XTP und der FDT Estelle vorgestellt. Er liefert eine Bestandsaufnahme des momentanen Entwicklungsstandes bei der automatischen Generierung von Kode aus Estelle-Spezifikationen im direkten Vergleich zu gut optimierten Handimplementierungen. Es zeigt sich, daß in dem betrachteten Fall eines komplexen Protokolls die Handimplementierung zwar merklich leistungsstärker ist. Dieser Leistungsvorteil wird jedoch durch einen sehr hohen Implementierungsaufwand sowie die Schwierigkeit, die Korrektheit bzgl. der Spezifikation sicherzustellen, erkauft. Im einzelnen Anwendungsfall kann es daher trotz der Leistungseinbußen durchaus vorteilhaft sein, automatisch Kode zu erzeugen, zumal in der Bestandsaufnahme festgestellt wurde, daß automatisch generierte Implementierungen z.T. besser abschneiden als erwartet. Zudem besteht - anders als bei der bereits umfassend optimierten Handimplementierung - noch ein erhebliches ungenutztes Potential zur Leistungsverbesserung der automatisch generierten Implementierung

Evaluation of Growth Simulators for Forest Management in Terms of Functionality and Software Structure Using AHP

A range of computer models exist for simulating forest growth, with different model functions, spatial resolutions and regional calibration specifications. Choosing a suitable simulator is difficult due to its abundance and complexity. The aim of the project is to evaluate a simulator that could be adapted to conditions in Switzerland and used to support decision‐making processes in both forest enterprises and scientific contexts. Fourteen potentially suitable forest growth simulators were identified through a literature review, which was then narrowed down to four: BWINPro, SILVA, MOSES and PrognAus. In the second phase, these were systematically evaluated in terms of functionality and software structure using AHP, in order to identify a suitable simulator. The AHP evaluation entailed: (1) determining the decision criteria and hierarchy, (2) performing pairwise comparisons and calculating the utility values and (3) conducting a sensitivity analysis. AHP was found to provide a transparent, verifiable evaluation process for simulator selection. This enabled a critical argumentation and assessment of the simulators. In the third phase, not covered by this article, the selected simulator will be parametrised for Swiss conditions and incorporated into an overarching decision‐support system for forest planning and management

Práticas letivas e não letivas desenvolvidas por professores de matemática da EJA

Este trabalho apresenta os resultados de uma pesquisa sobre como se desenvolvem as práticas profissionais, letivas e não letivas, de professores de matemática da EJA. Através de um estudo de caso, desenvolveu-se uma pesquisa qualitativa, cujos instrumentos investigativos foram as observações de campo, as entrevistas semiestruturadas e a aplicação de questionários. Os estudos indicaram que as práticas letivas dos três professores de matemática participantes são determinadas pelo estilo de ensino direto e expositivo, baseado na resolução de exercícios. Os professores pouco recorrem a outros materiais didáticos, apenas o quadro e giz, raramente utilizando o livro didático. A comunicação é unidirecional e a avaliação é, predominantemente, sumativa. Nas práticas não letivas de formação prevalece a crença de que a formação necessária para lecionar na EJA se dá na prática. Na instituição, a pouca colaboração entre professores caracteriza um trabalho marcado pelo individualismo. A pesquisa revelou que as carências e dificuldades do ambiente de trabalho têm influência relevante nas práticas profissionais. Entretanto, os professores procuram superar estas deficiências buscando novos caminhos de ensino, embora não encontrem apoio da instituição. Embora restrito, este estudo de caso das práticas profissionais de professores de matemática pretende oferecer algumas sugestões para a esperada reconfiguração da EJA