Desenvolupament d'un entorn virtual orientat a la didàctica de la Lògica Computacional i Estructura i Tecnologia de Computadors

En aquesta memòria es presenta el desenvolupament d'un entorn virtual orientat a la didàctica de la lògica proposicional, aplicada en assignatures de Lògica Computacional i Estructura i Tecnologia de Computadors. L'entorn en si té com a objectiu ser un reforç a l'aprenentatge autodidacta per part de l'alumne en aquestes matèries, així com una eina de seguiment per part del professor.

Meios Anisotrópicos com Álgebra Geométrica

Nesta dissertação é apresentado um novo formalismo matemático, designado por álgebra geométrica ou de Clifford. Começa-se por abordar os conceitos bases desta álgebra, introduzindo a definição base, o produto entre vectores: o produto geométrico. Com base neste produto, surge dois novos objectos geométricos, o bivector e o trivector e conceitos importantes como os rotores e as contracções. Introduz-se o conceito de anisotropia e demonstra-se a aplicação da álgebra geométrica aos cristais anisotrópicos uniaxiais e biaxiais de uma forma menos complexa utilizando um sistema de coordenadas livre para analisar a propagação das ondas electromagnéticas em meios anisotrópicos obtendo as ondas características e as relações constitutivas dos cristais, e por fim como aplicação nos meios anisotrópicos são analisadas as placas retardadoras de meia onda, um quarto de onda e onda completa.

Planeamento de experiências : modelos e desafios dos planos em blocos incompletos

The main purpose of an Experimental Design resides mainly in the search for relationships between variables and in comparing levels of factors, using statistical treatment of collected data. The use of blocks in Experimental Design is essential because it allows reducing or eliminating the variability introduced by factors that can influence the experience but are not of main interest and/or were not explicitly included during experiments. In this work we present the results of the study and research of Balanced Incomplete Block Designs (BIBD), Balanced Incomplete Block Designs with repeated blocks (BIBDR) and the Incomplete Blocks Designs with blocks with different dimensions (VBBD). We explore some properties and construction methods of such designs and illustrate, when possible, with examples. Based on Block Designs, we present an application of BIBDR in Education, with the aim of comparing five domains of algebraic thinking in a sample of 1st year students of higher education in Cape Verde. For the analysis of sample data, the software R was used, version 2.12.1. We observed that significant differences exist between some of the domains of algebraic thinking, especially among the domains of Generalization of Arithmetic and Algebraic Technicality with the remaining areas. For a more representative sample, we recommend a bigger sample consisting of students from all higher institutions of Cape Verde.

Planeamento de experiências : modelos e desafios dos planos em blocos incompletos

The main purpose of an Experimental Design resides mainly in the search for relationships between variables and in comparing levels of factors, using statistical treatment of collected data. The use of blocks in Experimental Design is essential because it allows reducing or eliminating the variability introduced by factors that can influence the experience but are not of main interest and/or were not explicitly included during experiments. In this work we present the results of the study and research of Balanced Incomplete Block Designs (BIBD), Balanced Incomplete Block Designs with repeated blocks (BIBDR) and the Incomplete Blocks Designs with blocks with different dimensions (VBBD). We explore some properties and construction methods of such designs and illustrate, when possible, with examples. Based on Block Designs, we present an application of BIBDR in Education, with the aim of comparing five domains of algebraic thinking in a sample of 1st year students of higher education in Cape Verde. For the analysis of sample data, the software R was used, version 2.12.1. We observed that significant differences exist between some of the domains of algebraic thinking, especially among the domains of Generalization of Arithmetic and Algebraic Technicality with the remaining areas. For a more representative sample, we recommend a bigger sample consisting of students from all higher institutions of Cape Verde.

Forense Computacional em servidor IIS 5.0

Nas últimas décadas a utilização de computadores tornou-se parte integrante da vida das pessoas, permitindo o aparecimento de vários tipos de crimes electrónicos. Neste contexto, é importante que as organizações se preparem para investigar casos que envolvem a informática e adoptem procedimentos válidos e confiáveis que permitem recuperar os dados dos computadores envolvidos em actividades ilícitas. A Forense Computacional, são técnicas que permitem-nos recolher, identificar, analisar e apresentar evidências de crimes digitais. Pretende-se com este trabalho, apresentar as principais técnicas de Forense Computacional em servidor IIS 5.0 da Microsoft.

Método computacional para correção da alcalinidade de águas para fertirrigação

A alcalinidade excessiva das águas destinadas à fertirrigação pode criar uma série de inconvenientes, que vão desde o entupimento dos emissores, pela precipitação de carbonatos, até a redução da disponibilidade dos micronutrientes para as culturas. Com o propósito de auxiliar a tomada de decisão quanto ao manejo da alcalinidade dessas águas, desenvolveu-se o ALKA 1.0, um software em CLIPPER 5.2, que pode ser rodado em microcomputadores IBM-PC/XT/AT/PENTIUM ou outros 100% compatíveis. A partir do fornecimento do pH original da água de irrigação, da sua alcalinidade total ou subdividida em CO3(2-) e HCO3- (em mmol L-1), e da lâmina de irrigação utilizada durante o ciclo da cultura, o ALKA 1.0 fornece as quantidades de HCl, HNO3, H2SO4 e H3PO4 que devem ser adicionadas à água de irrigação para que o seu pH atinja o valor estipulado pelo usuário. Além do volume de cada ácido a ser adicionado, o programa fornece a quantidade de nutrientes introduzidas pelos ácidos, na dosagem recomendada, bem como o custo total de cada uma das possíveis escolhas. Para tal, cadastram-se, inicialmente, a densidade e a pureza (%p/p) de cada ácido, bem como seu custo por litro. O ALKA 1.0 oferece, ainda, a opção de adições mistas dos diversos ácidos, visando não só à remoção da alcalinidade excessiva da água, mas também a um balanço adequado à cultura em questão dos nutrientes (N, P, S) adicionados via ácido. Por fim, o ALKA 1.0 oferece a possibilidade de trabalhar-se com bancos de dados, pré-cadastrados, que contêm informações sobre as origens (localidades) e fontes (rios, poços, lagos, açudes e outros) de diversas águas, além do seu pH e alcalinidade total. Desta forma, podem-se conhecer as características de manejo da alcalinidade dessas águas em função de características definidas pelo usuário, tais como um município em particular, determinada fonte, pH, e outros. O ALKA 1.0 foi validado com uma mistura sintética de CO3(2-) e HCO3-, com pH 9,19, em que se verificou a eficiência dos cálculos efetuados para o abaixamento do pH para 7,0, 6,5 e 5,5; e com amostras de águas naturais, para o abaixamento do pH para 6,5 e 6,0; obtendo-se resultados bastante satisfatórios. A redução do pH das amostras naturais para 5,0 não foi eficiente.

Ponto de efeito salino nulo: determinação analítico-computacional a partir de dados de titulação potenciométrica

O ponto de efeito salino nulo (PESN) de amostras de solo é normalmente determinado por método gráfico e corresponde ao valor de pH referente ao ponto de interseção de curvas de titulação potenciométrica. Embora a elaboração dos gráficos em planilhas eletrônicas diminua a subjetividade existente no traçado manual, um tempo considerável é necessário quando a determinação do PESN envolve grande número de amostras. Este trabalho objetivou o desenvolvimento de um programa computacional para a determinação analítica do PESN de amostras de solo, com vistas em eliminar a subjetividade do método gráfico, proporcionar rapidez às determinações e permitir o conhecimento do grau de precisão dos valores calculados. Com o procedimento de cálculo desenvolvido, determinaram-se os valores de PESN a partir de resultados experimentais de titulação potenciométrica obtidos por outros autores. A comparação dos valores calculados pelo programa com os apresentados nos trabalhos consultados, os quais foram obtidos pelos autores por meio do método gráfico convencional, demonstrou ser o método analítico-computacional proposto bastante adequado para a determinação rápida e não-subjetiva do PESN de amostras de solo.

Anàlisi d'imatges estereoscòpiques utilitzant mètodes de baixa càrrega computacional

 Mitjançant imatges estereoscòpiques es poden detectar la posició respecte dela càmera dels objectes que apareixen en una escena. A partir de lesdiferències entre les imatges captades pels dos objectius es pot determinar laprofunditat dels objectes. Existeixen diversitat de tècniques de visió artificialque permeten calcular la localització dels objectes, habitualment amb l’objectiude reconstruir l’escena en 3D. Aquestes tècniques necessiten una gran càrregacomputacional, ja que utilitzen mètodes de comparació bidimensionals, i pertant, no es poden utilitzar per aplicacions en temps real.En aquest treball proposem un nou mètode d’anàlisi de les imatgesestereoscòpiques que ens permeti obtenir la profunditat dels objectes d’unaescena amb uns resultats acceptables. Aquest nou mètode es basa entransformar la informació bidimensional de la imatge en una informacióunidimensional per tal de poder fer la comparació de les imatges amb un baixcost computacional, i dels resultats de la comparació extreure’n la profunditatdels objectes dins l’escena. Això ha de permetre, per exemple, que aquestmètode es pugui implementar en un dispositiu autònom i li permeti realitzaroperacions de guiatge a través d’espais interiors i exteriors.

Permeâmetro de carga decrescente associado a programa computacional para a determinação da condutividade hidráulica do solo saturado

A condutividade hidráulica do solo saturado (Kθs) é uma propriedade com grande variabilidade, o que exige a utilização de um número maior de determinações para que sua descrição possa ser feita adequadamente pela função densidade de probabilidade normal. Consequentemente, há aumento de trabalho e de tempo para a obtenção dos resultados, principalmente se as determinações forem feitas com equipamentos de pouca praticidade. A construção de equipamentos de maior praticidade e o desenvolvimento de ferramentas computacionais podem tornar o processo de análise mais rápido e preciso. Com esse objetivo, foi construído um permeâmetro de carga decrescente e desenvolvido um software para a aquisição de dados. As medidas de Kθs obtidas com esses equipamentos, em amostras de um Argissolo, mostraram menor variabilidade, avaliada pelo coeficiente de variação, o que resultou em maior precisão das determinações. Além disso, o tempo de análise foi reduzido em 30 %.

Penetrômetro de impacto stolf - programa computacional de dados em EXCEL-VBA

Há dois principais tipos de penetrômetro, o estático e o dinâmico. No primeiro, uma haste com uma ponta cônica é introduzida contínua e lentamente (quase estático), registrando-se concomitantemente a força de reação que é igual à resistência do solo. No segundo, utiliza-se a mesma haste. Contudo, esta é introduzida por meio da promoção de uma massa de impacto em queda livre. Dessa forma, a teoria pode ser tratada pela dinâmica newtoniana para obtenção da resistência. O objetivo do programa é proporcionar uma ferramenta rápida, facilitadora da computação de dados de resistência do solo, para esse último penetrômetro, resultando tabelas e gráficos já no formato científico. Desenvolvido em linguagem de programação Visual Basic Aplication (VBA), escolheu-se o aplicativo Excel como interface com o usuário pela sua popularidade. É constituído por quatro planilhas, duasauxiliares, sendo duas delas essenciais, Plan1 e 2: Plan1 - dados de entrada (número de impactos e profundidade). Concomitante à digitação, a tabela de resistência é confeccionada com o respectivo gráfico, podendo tabelar 40 perfis. Plan2 - cumpre função especial de equalizar, ou seja, padronizar a profundidade em camadas constantes, permitindo unificar todos os perfis em uma única tabela. Para tal, escolhe-se uma espessura de camada (exemplo: 5 cm); em seguida, o programa coleta os dados de resistência (MPa) da Plan1 e interpola os valores para a profundidade de 5 em 5 cm. Após realizar esse procedimento para todas as tabelas da Plan1, o programa gera, na Plan2, uma única tabela com todos os perfis, a média geral e os respectivos gráficos. É possível selecionar os perfis; por exemplo, apenas os medidos na linha ou entrelinha de plantio e eliminar perfis a critério do usuário. Como objetivo complementar, descreve-se a evolução do projeto "Penetrômetro de impacto", iniciado em 1982, cuja técnica passou a ser adotada no meio científico, após a publicação da teoria nesta revista em 1991. Apresenta-se também levantamento no meio científico nos últimos três anos (2010-2012), propiciando uma visão das principais aplicações na atualidade.