Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

Applications of graph transformation in tools for domain-specific modeling languages

The use of domain-specific languages (DSLs) has been proposed as an approach to cost-e ectively develop families of software systems in a restricted application domain. Domain-specific languages in combination with the accumulated knowledge and experience of previous implementations, can in turn be used to generate new applications with unique sets of requirements. For this reason, DSLs are considered to be an important approach for software reuse. However, the toolset supporting a particular domain-specific language is also domain-specific and is per definition not reusable. Therefore, creating and maintaining a DSL requires additional resources that could be even larger than the savings associated with using them. As a solution, di erent tool frameworks have been proposed to simplify and reduce the cost of developments of DSLs. Developers of tool support for DSLs need to instantiate, customize or configure the framework for a particular DSL. There are di erent approaches for this. An approach is to use an application programming interface (API) and to extend the basic framework using an imperative programming language. An example of a tools which is based on this approach is Eclipse GEF. Another approach is to configure the framework using declarative languages that are independent of the underlying framework implementation. We believe this second approach can bring important benefits as this brings focus to specifying what should the tool be like instead of writing a program specifying how the tool achieves this functionality. In this thesis we explore this second approach. We use graph transformation as the basic approach to customize a domain-specific modeling (DSM) tool framework. The contributions of this thesis includes a comparison of di erent approaches for defining, representing and interchanging software modeling languages and models and a tool architecture for an open domain-specific modeling framework that e ciently integrates several model transformation components and visual editors. We also present several specific algorithms and tool components for DSM framework. These include an approach for graph query based on region operators and the star operator and an approach for reconciling models and diagrams after executing model transformation programs. We exemplify our approach with two case studies MICAS and EFCO. In these studies we show how our experimental modeling tool framework has been used to define tool environments for domain-specific languages.

Testiohjelmiston kehittäminen väsytyskokeiden suorittamiseksi mielivaltaisilla kuormituksilla

Väsytyskokeita on väsymisilmiön keksimisestä lähtien tehty pääasiallisesti vakioamplitudisella kuormituksella. Paremmin todellisuutta kuvaavaan testitilanteeseen päästään kuitenkin vain käyttämällä testattavan rakenteen reaalikuormitusta simuloivaa muuttuva-amplitudista kuormitusta. Tällaisen kuormituksen testaaminen käytännössä on kuitenkin huomattavasti vaikeampaa kuin perinteisen vakioamplitudisen kuormituksen, koska muuttuva-amplitudisen kuormituksen spektri on ensin kehitettävä jostain – joko käytännön mittausten kautta tai rakenteen käyttötilaa analysoimalla. Myöskään tiedossa olevan spektrin tuottaminen käytännön kokeissa ei ole aivan yksinkertaista. Tässä kandidaatintyössä pyrittiin ratkaisemaan näitä ongelmia suunnittelemalla ja toteuttamalla testiohjelmisto, joka pystyy sekä generoimaan että käytännössä toistamaan käyttäjän haluaman kuormitusspektrin laboratoriokokeissa. Jälkimmäistä varten oli olemassa ohjelma, jota haluttiin hyödyntää tässä työssä. Tehtävä jaettiin kolmeen osioon: kuormitusspektrien generoiminen, kuormitusspektrien yhdistäminen ja lopuksi spektrien toistaminen itse väsytyskokeessa. Kahdessa ensimmäisessä osiossa käytettiin ohjelmointiympäristönä Matlab-ohjelmaa; kolmannessa käytettiin pohjana olemassa olevaa väsytyskoeohjelmaa ja käytännön ohjelmointi suoritettiin näin ollen ANSI C –kielellä käyttäen kääntäjänä Microsoft Visual Studio 6.0:aa. Alkuperäinen väsytyskoeohjelma vaati useita merkittäviä muutoksia, ennen kuin se soveltui käytettäväksi tässä yhteydessä. Työssä on kuvattu periaatetasolla ohjelmien suunnittelu- ja toteuttamisvaiheet. Lisäksi työn on tarkoitus toimia yksinkertaisena käyttöohjeena ja opastuksena koko ohjelmiston käyttöön.

Enabling constructive alignment in programming instruction

In this thesis, simple methods have been sought to lower the teacher’s threshold to start to apply constructive alignment in instruction. From the phases of the instructional process, aspects that can be improved with little effort by the teacher have been identified. Teachers have been interviewed in order to find out what students actually learn in computer science courses. A quantitative analysis of the structured interviews showed that in addition to subject specific skills and knowledge, students learn many other skills that should be mentioned in the learning outcomes of the course. The students’ background, such as their prior knowledge, learning style and culture, affects how they learn in a course. A survey was conducted to map the learning styles of computer science students and to see if their cultural background affected their learning style. A statistical analysis of the data indicated that computer science students are different learners than engineering students in general and that there is a connection between the student’s culture and learning style. In this thesis, a simple self-assessment scale that is based on Bloom’s revised taxonomy has been developed. A statistical analysis of the test results indicates that in general the scale is quite reliable, but single students still slightly overestimate or under-estimate their knowledge levels. For students, being able to follow their own progress is motivating, and for a teacher, self-assessment results give information about how the class is proceeding and what the level of the students’ knowledge is.

Determinação do tamanho ótimo da parcela experimental pelos métodos da máxima curvatura modificado, do coeficiente de correlação intraclasse e da análise visual em testes clonais de eucalipto

O objetivo deste trabalho foi determinar o tamanho ótimo da parcela experimental em testes clonais de eucalipto, por meio dos métodos da máxima curvatura modificado, do coeficiente de correlação intraclasse e da análise visual, com base nas características de crescimento em altura, dap e volume. A partir de quatro testes clonais, dispostos no delineamento em blocos ao acaso, com quatro repetições e parcela experimental quadrada de 25 plantas (5 x 5), foram simulados diferentes tamanhos de parcela com 2, 3, 4, 5, 9, 10, 15, 20 e 25 plantas, visando determinar o tamanho ótimo da parcela pelos métodos de máxima curvatura modificado, do coeficiente de correlação intraclasse e da análise visual. Pôde-se concluir que em programas iniciais para seleção de clones parcelas de cinco a dez plantas proporcionam boa precisão experimental, sendo recomendadas, principalmente, em situação com limitações de mudas, teste de grande número de clones e avaliações de cunho preliminar e em idades precoces.

Propriedades mecânicas de peças com dimensões estruturais de Pinus spp: correlação entre resistência à tração e classificação visual

A redução da disponibilidade de espécies de madeiras nativas e seus efeitos na economia, associada ao fortalecimento dos conceitos de preservação ambiental, criou a necessidade de desenvolvimento de alternativas viáveis para utilização racional de espécies de reflorestamento. E uma das opções é a realização de classificação visual das peças. Autores de trabalhos desenvolvidos nessa linha de pesquisa verificaram a adequação das regras de classificação visual do Southern Pine Inspection Bureau (SPIB) dos EUA à madeira de Pinus do Brasil e apresentaram proposta para normalizar o processo de classificação visual dessa madeira. Nessa classificação, os aspectos com maior influência são: presença de nós, desvio de grã em relação ao eixo da peça e densidade de anéis de crescimento. Assim, esta pesquisa apresenta um estudo experimental que consistiu na classificação visual e determinação da resistência à tração de 85 peças de Pinus spp e um estudo teórico, que propôs uma equação para determinar a resistência à tração média de peças estruturais em função da classificação visual. Com este trabalho, foi possível observar a influência dos nós e dos anéis de crescimento sobre a resistência à tração das peças analisadas.

Bag-of-Features Approach to Unsupervised Visual Object Categorisation

The large and growing number of digital images is making manual image search laborious. Only a fraction of the images contain metadata that can be used to search for a particular type of image. Thus, the main research question of this thesis is whether it is possible to learn visual object categories directly from images. Computers process images as long lists of pixels that do not have a clear connection to high-level semantics which could be used in the image search. There are various methods introduced in the literature to extract low-level image features and also approaches to connect these low-level features with high-level semantics. One of these approaches is called Bag-of-Features which is studied in the thesis. In the Bag-of-Features approach, the images are described using a visual codebook. The codebook is built from the descriptions of the image patches using clustering. The images are described by matching descriptions of image patches with the visual codebook and computing the number of matches for each code. In this thesis, unsupervised visual object categorisation using the Bag-of-Features approach is studied. The goal is to find groups of similar images, e.g., images that contain an object from the same category. The standard Bag-of-Features approach is improved by using spatial information and visual saliency. It was found that the performance of the visual object categorisation can be improved by using spatial information of local features to verify the matches. However, this process is computationally heavy, and thus, the number of images must be limited in the spatial matching, for example, by using the Bag-of-Features method as in this study. Different approaches for saliency detection are studied and a new method based on the Hessian-Affine local feature detector is proposed. The new method achieves comparable results with current state-of-the-art. The visual object categorisation performance was improved by using foreground segmentation based on saliency information, especially when the background could be considered as clutter.

Computational modeling for irrigated agriculture planning. Part I: general description and linear programming

Linear programming models are effective tools to support initial or periodic planning of agricultural enterprises, requiring, however, technical coefficients that can be determined using computer simulation models. This paper, presented in two parts, deals with the development, application and tests of a methodology and of a computational modeling tool to support planning of irrigated agriculture activities. Part I aimed at the development and application, including sensitivity analysis, of a multiyear linear programming model to optimize the financial return and water use, at farm level for Jaíba irrigation scheme, Minas Gerais State, Brazil, using data on crop irrigation requirement and yield, obtained from previous simulation with MCID model. The linear programming model outputted a crop pattern to which a maximum total net present value of R$ 372,723.00 for the four years period, was obtained. Constraints on monthly water availability, labor, land and production were critical in the optimal solution. In relation to the water use optimization, it was verified that an expressive reductions on the irrigation requirements may be achieved by small reductions on the maximum total net present value.

Alteração do campo visual em função do uso de cabinas em tratores agrícolas

Com o objetivo de avaliar a alteração do campo visual de um trator, ocasionada pela instalação de uma cabina, foram determinadas as áreas de visibilidade nula em função da presença ou não da mesma, para cada campo visual. Os procedimentos adotados basearam-se na norma ISO 5721-1981 - Agricultural tractors - Operator's field of vision. A cabina aumentou em 34,42% a área de visibilidade nula. A relação área de projeção do trator/área total sombreada foi de 0,075 para o trator sem cabina, e 0,057 para o trator com cabina, indicando as melhores condições de visibilidade do primeiro em relação ao segundo. No que se refere aos campos visuais, a maior redução ocorreu no campo visual dos olhos e no obtido com o movimento da cabeça, em função dos suportes da cabina e da estrutura de proteção contra o capotamento. A cabina diminui o campo de visão do operador, e adequações no projeto da estrutura avaliada são necessárias para melhorar as condições de visibilidade.

Avaliação de métodos alternativos à citologia no rastreamento de lesões cervicais: detecção de DNA-HPV e inspeção visual

OBJETIVO: avaliar o desempenho da citologia oncológica (CO), de captura híbrida II (CH II) e da inspeção visual com ácido acético na detecção de lesões pré-neoplásicas e neoplásicas cervicais. MÉTODOS: 2281 mulheres foram submetidas a exame clínico além da coleta de material para citologia, para CH II para detecção de DNA-HPV. Foi feita a inspeção visual do colo após aplicação do ácido acético a 5% (IVA). As mulheres com pelo menos um exame positivo eram convocadas para colposcopia, que também foi realizada em 420 mulheres com todos os exames normais. O desempenho dos testes foi calculado utilizando como padrão ouro a colposcopia com ou sem biopsia. RESULTADOS: a CO foi anormal em 209 mulheres (9,2%); a CH II foi positiva em 399 (17,5%) e em 249 (10,9%) foram encontradas alterações na IVA. Entre as 2281 mulheres avaliadas, 671 (29,4%) apresentaram pelo menos um resultado de exame positivo, embora apenas 82 (3,6%) apresentassem doença confirmada histologicamente (50 NIC1, 20 NIC2, sete NIC3 e cinco carcinomas invasores). As sensibilidades da IVA e da CH II foram semelhantes e significativamente maiores que a da CO. A especificidade da CO foi maior que a da IVA e da CH II. Nos casos com resultado de CO negativo, a IVA apresentou melhor desempenho comparada à CH II. CONCLUSÃO: o desempenho da CO associada à IVA foi melhor que o da CO associada à CH II e do que o da CO isolada.