Cálculo flexível e o raciocínio quantitativo aditivo em alunos dos 1.º e 2.º anos

Esta comunicação insere-se no Projeto “Pensamento numérico e cálculo flexível: Aspetos críticos”. Começa por discutir o que se entende por flexibilidade de cálculo e raciocínio quantitativo aditivo, discutindo depois os resultados de entrevistas individuais realizadas com quatro alunos (dois do 1.º ano e dois do 2.º ano) quando lhes foram propostas tarefas onde aqueles aspetos estavam presentes. Trata-se de um estudo exploratório cujo principal objetivo é compreender o raciocínio dos alunos quando resolvem tarefas numéricas envolvendo situações aditivas, e ainda identificar aspetos associados à flexibilidade de cálculo e ao raciocínio quantitativo. Os resultados mostram que, no caso dos alunos do 1.º ano, o seu desempenho parece estar relacionado com o seu desenvolvimento do sentido do número e com as relações que dominam. Para os alunos do 2.º ano, o raciocínio inversivo constituiu um aspeto crítico, que conseguiram mobilizar depois de superadas as dificuldades iniciais. Os resultados sugerem, ainda, que estes alunos concebem a diferença como uma relação invariante numérica.

Medir o cérebro, para quê?

Várias são as “janelas” da Ressonância Magnética (RM) que hoje têm aplicação na clínica. Servem para fundamentar o diagnóstico (p.e., da encefalopatia microvascular do idoso), o prognóstico (p.e., do declínio cognitivo), a terapêutica (p.e., da desmielinização primária). Com elas também poderemos aceder ao estudo fiável da substância branca aparentemente normal (T2 convencional), o que será importante para prever a evolução. Havendo, agora, uma outra contrastização quantificável – sem T1 nem T2 –, a designação genérica dos métodos será RMq. Duas são as nossas interrogações durante a execução e interpretação da RMq. A primeira, de índole executiva, questiona o enquadramento clínico destes estudos estruturais? De modo isolado ou partilhado? Opinamos que as duas “janelas” da RMq serão complementares e, por isso, de comum aplicação por rotina – transferência da magnetização (TM) e difusão protónica (D/ADC). Por que as consideramos complementares entre si? Porque cada uma, a seu modo, ou seja, pela interacção da água ligada às macromoléculas, na TM, e pelo movimento molecular activo, na D/ADC, é propícia à medição da estrutura e da neurobiologia. Para ambas, o substrato será a célula com a membrana de mielina e a água, que lhe estar estará associada. Então, a RMq será uma sonda in vivo para a função. A interrogação interpretativa prende-se com a analogia entre a estrutura, que pretendemos ler, e a neurobiologia, que supomos deduzir. Tal resposta tem uma praxis muito estrita, porque a RMq estuda o cérebro vivo e contido no crânio. O conhecimento terá o seu episteme não só na Clínica, que o lidera, mas também na Imagiologia, que connosco recriará os protocolos de investigação.

Construção de um biossensor para o doseamento de ureia baseado na inibição enzimática da amidase de pseudomonas aeruginosa com recurso a um eléctrodo selectivo de iões amónio

Era objectivo do presente trabalho o desenvolvimento de um biossensor baseado na inibição da amidase de Pseudomonas aeruginosa para a quantificação de ureia em diversas amostras com recurso a um eléctrodo selectivo de iões amónio (ISE). A ureia é um poderoso inibidor do centro activo da amidase (Acilamida hidrolase EC 3.5.1.4) de Pseudomonas aeruginosa a qual catalisa a hidrólise de amidas alifáticas produzindo o ácido correspondente e amónia. O extracto celular de Pseudomonas aeruginosa L10 contendo actividade de amidase foi imobilizado em membranas de poliétersulfona modificadas (PES) e em membranas de nylon Porablot NY Plus na presença de gelatina e de glutaraldeído (GA) como agente bifuncional. Estas membranas foram posteriormente utilizadas na construção do biossensor baseado no ISE, utilizando acetamida como substrato, a reacção enzimática foi seguida medindo os iões amónio produzidos pela hidrólise da amida alifática, e a resposta do biossensor apresentada como a velocidade inicial da reacção (mV.min-1). A optimização dos parâmetros de imobilização foi efectuada de acordo com a metodologia ANOVA. Assim, a mistura de 30μL extracto celular, 2μL GA (5%) e 10 μL Gelatina 15% (p/v) foi a que conduziu a uma melhor resposta do biossensor. Efectuou-se ainda o estudo de optimização de alguns parâmetros experimentais pH e tempo de incubação em ureia, este conduziu ao valor pH=7,2 como pH óptimo de resposta do biossensor e 20 min como tempo óptimo de incubação das membranas nas soluções de ureia, sendo neste caso a resposta do biossensor dada pela diferença das respostas do biossensor antes e após incubação. A calibração do biossensor foi efectuada em soluções contendo concentrações conhecidas de ureia preparadas em tampão Tris, leite e vinho caseiro, exibindo um limite de detecção de 2,0 ×10-6 M de ureia. A incubação das membranas em hidroxilamina 2M por um período de 2h permitiu a recuperação de 70% da actividade enzimática da membrana. O biossensor apresentou uma elevada estabilidade de armazenamento por um período de 55 dias revelando uma perda de apenas 15% da sua resposta. O biossensor desenvolvido apresenta uma sensibilidade de 58,245 mV.min-1 e um tempo de resposta de aproximadamente 20s. A resposta do biossensor foi linear para concentrações de ureia presentes no vinho na gama de 4-10 μM de ureia.

Reciclagem de pavimentos rodoviários flexíveis: diferentes tipos de reciclagem

Em Portugal os pavimentos flexíveis integram a grande maioria da rede rodoviária, encontrando-se muitos deles no fim da sua vida útil. A reabilitação desses pavimentos é por isso cada vez mais uma preocupação actual, sendo a selecção do processo de reabilitação mais adequado função de aspectos de ordem técnica, económica e ambiental. No que diz respeito à reabilitação de pavimentos rodoviários flexíveis, além das soluções tradicionais, que normalmente passam pela fresagem e aplicação de novas camadas, a técnica de reciclagem, permite que os materiais provenientes das camadas degradadas do pavimento sejam novamente utilizados na reabilitação desse ou de outro pavimento. Esta dissertação procura documentar a técnica de reciclagem de pavimentos flexíveis, que em função de diferentes variáveis com influência no processo construtivo, como seja o local de reciclagem, a temperatura a que se dá o processo e o ligante utilizado, dão origem a diferentes processos construtivos e consequentemente a diferentes tipos de reciclagem. No presente trabalho são apresentados os diferentes tipos de reciclagem de pavimentos flexíveis, suas especificidades, materiais construtivos e fases de construção, bem como as vantagens e desvantagens associadas a cada um dos tipos de reciclagem, de modo a definir em que situação é que cada uma deles constitui uma alternativa viável de reabilitação de um pavimento flexível degradado.

Biblioteca para a realização de security token services

A família de especificações WS-* define um modelo de segurança para web services, baseado nos conceitos de claim, security token e Security Token Service (STS). Neste modelo, a informação de segurança dos originadores de mensagens (identidade, privilégios, etc.) é representada através de conjuntos de claims, contidos dentro de security tokens. A emissão e obtenção destes security tokens, por parte dos originadores de mensagens, são realizadas através de protocolos legados ou através de serviços especiais, designados de Security Token Services, usando as operações e os protocolos definidos na especificação WS-Trust. O conceito de Security Token Service não é usado apenas no contexto dos web services. Propostas como o modelo dos Information Cards, aplicável no contexto de aplicações web, também utilizam este conceito. Os Security Token Services desempenham vários papéis, dependendo da informação presente no token emitido. São exemplos o papel de Identity Provider, quando os tokens emitidos contêm informação de identidade, ou o papel de Policy Decision Point, quando os tokens emitidos definem autorizações. Este documento descreve o projecto duma biblioteca software para a realização de Security Token Services, tal como definidos na norma WS-Trust, destinada à plataforma .NET 3.5. Propõem-se uma arquitectura flexível e extensível, de forma a suportar novas versões das normas e as diversas variantes que os Security Token Services possuem, nomeadamente: o tipo dos security token emitidos e das claims neles contidas, a inferência das claims e os métodos de autenticação das entidades requerentes. Apresentam-se aspectos de implementação desta arquitectura, nomeadamente a integração com a plataforma WCF, a sua extensibilidade e o suporte a modelos e sistemas externos à norma. Finalmente, descrevem-se as plataformas de teste implementadas para a validação da biblioteca realizada e os módulos de extensão da biblioteca para: suporte do modelo associado aos Information Cards, do modelo OpenID e para a integração com o Authorization Manager.

XAdES4J: a java library for XAdES signature services

As comunicações electrónicas são cada vez mais o meio de eleição para negócios entre entidades e para as relações entre os cidadãos e o Estado (e-government). Esta diversidade de transacções envolve, muitas vezes, informação sensível e com possível valor legal. Neste contexto, as assinaturas electrónicas são uma importante base de confiança, fornecendo garantias de integridade e autenticação entre os intervenientes. A produção de uma assinatura digital resulta não só no valor da assinatura propriamente dita, mas também num conjunto de informação adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validação ou a hora e local de produção. Num cenário heterogéneo como o descrito anteriormente, torna-se necessária uma forma flexível e interoperável de descrever esse tipo de informação. A linguagem XML é uma forma adequada de representar uma assinatura neste contexto, não só pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendação XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representação de assinaturas em XML. Nela são definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de conteúdos digitais identificáveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localização. Além disso, a mesma assinatura XML pode englobar vários recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). À medida que as assinaturas electrónicas foram ganhando relevância tornou-se evidente que a especificação XML Signature não era suficiente, nomeadamente por não dar garantias de validade a longo prazo nem de não repudiação. Esta situação foi agravada pelo facto da especificação não cumprir os requisitos da directiva 1999/93/EC da União Europeia, onde é estabelecido um quadro legal para as assinaturas electrónicas a nível comunitário. No seguimento desta directiva da União Europeia foi desenvolvida a especificação XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrónicas não repudiáveis e com validade verificável durante períodos de tempo extensos, em conformidade com a directiva. Esta especificação estende a recomendação XML Signature, definindo novos elementos que contêm informação adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a versão 1.6, uma API de alto nível para serviços de assinaturas digitais em XML, de acordo com a recomendação XML Signature. Contudo, não existe suporte para assinaturas avançadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criação e validação de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nível de abstracção, não tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do conteúdo das propriedades qualificadoras. São definidos tipos que representam os principais conceitos da assinatura, nomeadamente as propriedades qualificadoras e os recursos assinados, sendo os aspectos estruturais resolvidos internamente. Neste trabalho, a informação que compõe uma assinatura XAdES é dividia em dois grupos: o primeiro é formado por características do signatário e da assinatura, tais como a chave e as propriedades qualificadoras da assinatura. O segundo grupo é composto pelos recursos assinados e as correspondentes propriedades qualificadoras. Quando um signatário produz várias assinaturas em determinado contexto, o primeiro grupo de características será semelhante entre elas. Definiu-se o conjunto invariante de características da assinatura e do signatário como perfil de assinatura. O conceito é estendido à verificação de assinaturas englobando, neste caso, a informação a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configuração do serviço de assinatura correspondente. O desenho e implementação da biblioteca estão também baseados no conceito de fornecedor de serviços. Um fornecedor de serviços é uma entidade que disponibiliza determinada informação ou serviço necessários à produção e verificação de assinaturas, nomeadamente: selecção de chave/certificado de assinatura, validação de certificados, interacção com servidores de time-stamp e geração de XML. Em vez de depender directamente da informação em causa, um perfil — e, consequentemente, a operação correspondente — é configurado com fornecedores de serviços que são invocados quando necessário. Para cada tipo de fornecedor de serviços é definida um interface, podendo as correspondentes implementações ser configuradas de forma independente. A biblioteca inclui implementações de todos os fornecedores de serviços, sendo algumas delas usadas for omissão na produção e verificação de assinaturas. Uma vez que o foco do projecto é a especificação XAdES, o processamento e estrutura relativos ao formato básico são delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementação da recomendação XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, à verificação de um conjunto de assinaturas produzidas por Estados Membros da União Europeia, bem como por outra implementação da especificação XAdES.

iTV PREFARC: Arquitectura de recomendações iTV

No presente trabalho é proposta uma arquitectura, assim como a concepção e implementação de um PoC, de um sistema de recomendações flexível que permite integrar novos modelos de negócio relacionados ao longo do tempo. O PoC implementado é vocacionado para a problemática da televisão interactiva e, mais concretamente, para o excesso de informação com que os utilizadores se deparam diariamente. Este sistema, denominado de iTV PREFARC, permite processar, de forma massiva, a informação de EPG, integrando-a para posterior processamento no motor de recomendações. Disponibiliza também funcionalidades para classificar os itens presentes no sistema (programas televisivos, vídeos, etc.), e obter as recomendações calculadas pelo sistema. A interacção com os consumidores do sistema é sempre feita através de serviços Web. São também abordados cenários de aplicação que permitem atestar a utilidade do sistema, demonstrando simultaneamente como interagem os diferentes componentes.

Organização do trabalho doméstico em casais do mesmo sexo

Em resposta ao predomínio da heteronormatividade nos estudos sobre o trabalho doméstico, este artigo explora a forma como este é organizado e distribuído em casais do mesmo sexo. Para esse efeito, desenvolveu-se uma pesquisa qualitativa (20 entrevistas aos membros de casais homossexuais) em torno dos desequilíbrios, do processo de negociação, do nível de satisfação, e ainda da herança familiar genderizada na actual organização do trabalho doméstico. Concluiu-se que a ausência da diferença de sexo no casal contribui para uma mais flexível e paritária negociação da organização das tarefas. Reflexo da socialização de género, as mulheres tendem para uma maior especialização e os homens para uma maior delegação das tarefas. In response to the predominance of heteronormativity in the studies on the household labour, this article explores the way it is organized and distributed in same-sex couples. Qualitative research was carried out on the basis of 20 interviews with members of homosexual couples, and informationwas collected on the imbalances, negotiation, satisfaction and gendered family legacy in the current organization of household labour. Results show that the absence of the sex difference between the members of the couple contributes to more flexible and egalitarian negotiation in the organization of chores. As a consequence of gender socialization, women tend to specialize and men to delegate.

Controlo da morfologia de filmes de polímeros com potenciais aplicações em células fotovoltaicas

No campo da investigação das células fotovoltaicas orgânicas, a obtenção da camada activa com morfologia “ideal” através de técnicas baratas é ainda um marco não atingido. Este trabalho visa ultrapassar as baixas eficiências que são características destas células, através do desenvolvimento de um método rápido e de baixo custo para preparar camadas activas com morfologia próxima da “ideal”. Tal método permitiu obter filmes estruturados de polímeros conjugados reticulados que constituem um dos componentes da camada activa. O método é baseado no controlo da separação de fases que ocorre durante a deposição de misturas em solução, contendo um polímero conjugado reticulável, um polímero isolador “inerte” e um agente iniciador da reacção de reticulação, por spin coating (técnica rápida e de baixo custo), sobre um substrato que poderá servir de um dos eléctrodos na célula. A posterior irradiação do filme com luz Ultravioleta e o seu aquecimento conduzem à formação de uma “rede” reticulada e insolúvel do polímero conjugado que permite remover o polímero inerte e o agente iniciador por dissolução. Sendo o filme resultante insolúvel, o outro(s) componente(s) da camada activa da célula podem ser também depositados sobre ele a partir de soluções. Foram usados três polímeros conjugados reticuláveis dreivados do poli(dioctil-fluoreno) e um polímero “inerte”, o poliestireno, com diversos pesos moleculares. Demonstrou-se que a variação de condições durante a deposição das misturas e das características das mesmas permite obter filmes com diferentes tipos de morfologia - colunar, bicontínua e porosa - com diferentes dimensões dos “motivos” de polímero. Em particular, obtiveram-se filmes com morfologia colunar, com diâmetro médio de coluna da ordem de 150-200 nm e com morfologia bicontínua com “largura” média de grão de cerca de 200 nm. Demonstrou-se que a utilização dos filmes estruturados é mais vantajosa que a de filmes não estruturados (“planos”), tendo-se obtido valores de 90 a 95% de extinção de fotoluminescência para filmes colunares de um dos polímeros, em que o aceitador de electrões foi depositado em solução. Estes valores são indicativos de um processo de dissociação dos excitões gerados no polímero conjugado muito eficiente, o que permite antever que as camadas activas preparadas possam ser aplicadas em células fotovoltaicas com morfologia optimizada.

Modelo de especificação e controlo de execuções paralelas e distribuídas

O desenvolvimento actual de aplicações paralelas com processamento intensivo (HPC - High Performance Computing) para alojamento em computadores organizados em Cluster baseia-se muito no modelo de passagem de mensagens, do qual é de realçar os esforços de definição de standards, por exemplo, MPI - Message - Passing Interface. Por outro lado, com a generalização do paradigma de programação orientado aos objectos para ambientes distribuídos (Java RMI, .NET Remoting), existe a possibilidade de considerar que a execução de uma aplicação, de processamento paralelo e intensivo, pode ser decomposta em vários fluxos de execução paralela, em que cada fluxo é constituído por uma ou mais tarefas executadas no contexto de objectos distribuídos. Normalmente, em ambientes baseados em objectos distribuídos, a especificação, controlo e sincronização dos vários fluxos de execução paralela, é realizada de forma explicita e codificada num programa principal (hard-coded), dificultando possíveis e necessárias modificações posteriores. No entanto, existem, neste contexto, trabalhos que propõem uma abordagem de decomposição, seguindo o paradigma de workflow com interacções entre as tarefas por, entre outras, data-flow, control-flow, finite - state - machine. Este trabalho consistiu em propor e explorar um modelo de execução, sincronização e controlo de múltiplas tarefas, que permita de forma flexível desenhar aplicações de processamento intensivo, tirando partido da execução paralela de tarefas em diferentes máquinas. O modelo proposto e consequente implementação, num protótipo experimental, permite: especificar aplicações usando fluxos de execução; submeter fluxos para execução e controlar e monitorizar a execução desses fluxos. As tarefas envolvidas nos fluxos de execução podem executar-se num conjunto de recursos distribuídos. As principais características a realçar no modelo proposto, são a expansibilidade e o desacoplamento entre as diferentes componentes envolvidas na execução dos fluxos de execução. São ainda descritos casos de teste que permitiram validar o modelo e o protótipo implementado. Tendo consciência da necessidade de continuar no futuro esta linha de investigação, este trabalho é um contributo para demonstrar que o paradigma de workflow é adequado para expressar e executar, de forma paralela e distribuída, aplicações complexas de processamento intensivo.

Estudo de digestão anaeróbia de resíduos sólidos agro-alimentares em instalação piloto

Hoje em dia são várias as energias “verdes” que beneficiam de forma inequívoca o meio ambiente, de modo a aproveitar recursos naturais disponíveis na natureza. Entre todos os tipos de energias limpas, surge a produção de biogás. É de notar que apesar de ser uma forma de energia já utilizada há muitos anos, esta pode ser melhorada através de uma gestão adequada de todos os recursos envolvidos na sua produção. Consegue-se desta forma, optimizar a produção de biogás, contribuindo para uma rentabilização do funcionamento de uma instalação. Para esta optimização é necessária uma análise e caracterização detalhada dos resíduos utilizados na geração desta energia. O presente trabalho foca-se no estudo da produção de biogás através de digestão anaeróbica. Este trabalho baseia-se num estudo real de produção de biogás, num reactor à escala semi-industrial, e com uma temperatura de trabalho em regime mesofílico (37°C). O substrato utilizado para a alimentação deste reactor foi cedido por uma conhecida indústria do ramo alimentar e consistia numa mistura de “casca” de batatas e lamas, numa proporção de 30% e 30% respectivamente. Em termos de resultados Óbidos neste projecto, verificou-se uma redução de cerca de 40% dos sólidos totais, o que indicia, aparentemente, a existência de dificuldades na hidrólise dos compostos em suspensão. A remoção orgânica na sua globalidade oscilou numa ampla gama de valores, com um valor médio de cerca 50%. A larga variedade de resultados pode estar relacionada com a heterogeneidade da amostra da alimentação. Apesar da existência de algumas dificuldades inerentes à realização do trabalho prático, concluiu-se que o substrato utilizado neste estudo revela grande potencial de produção de biogás.

Técnicas preditivas aplicadas a controlo de processos

A necessidade que as indústrias têm, hoje em dia, de lidar com processos cada vez mais complexos, onde a quantidade de variáveis a controlar e restrições processuais a impor aumentou exponencialmente nas últimas décadas. Uma maior competitividade e eficiência, lado-a-lado com a redução de custos, proporcionou à comunidade científica e industrial explorar mais profundamente o controlo de processos, com vista à construção de técnicas avançadas para fazer face a estas exigências. O controlo preditivo baseado em modelos - MPC- engloba diversas classes de controladores que utilizam algoritmos de predição/previsão e modelos matemáticos representativos do sistema, que juntamente com restrições processuais permitem operar junto de referências e tornar o controlo mais eficiente e seguro. O sucesso do MPC nos sistemas lineares com restrições deve-se, sobretudo, ao facto de reduzir o problema de optimização a um problema de programação quadrática, de fácil implementação e resolução. Além do mais, trata-se de um tipo de controlo bastante flexível e, ao mesmo tempo, mais robusto que o controlo clássico ou convencional, já que pode lidar com processos multivariáveis sem precisar de alterações significativas na sua construção. Neste trabalho aplicam-se técnicas de controlo preditivo a processos não lineares multivariáveis. Estuda-se, ainda, o desempenho desta classe de controladores comparando-a com técnicas de controlo convencional. Nomeadamente, estuda-se um sistema de três tanques em que o caudal é manipulado através de válvulas com característica não linear. O processo é modelado através de princípios de conservação e é validado por um conjunto real de ensaios que permitiu, ainda, obter experimentalmente a característica das válvulas. O modelo validado permitiu desenvolver um controlador preditivo multivariável para controlar os níveis da instalação. Demonstra-se que os controladores preditivos apresentam grandes vantagens em relação ao controlo clássico com malhas independentes.

Autenticação de vídeo H.264/AVC

Hoje em dia, há cada vez mais informação audiovisual e as transmissões ou ficheiros multimédia podem ser partilhadas com facilidade e eficiência. No entanto, a adulteração de conteúdos vídeo, como informação financeira, notícias ou sessões de videoconferência utilizadas num tribunal, pode ter graves consequências devido à importância desse tipo de informação. Surge então, a necessidade de assegurar a autenticidade e a integridade da informação audiovisual. Nesta dissertação é proposto um sistema de autenticação de vídeo H.264/Advanced Video Coding (AVC), denominado Autenticação de Fluxos utilizando Projecções Aleatórias (AFPA), cujos procedimentos de autenticação, são realizados ao nível de cada imagem do vídeo. Este esquema permite um tipo de autenticação mais flexível, pois permite definir um limite máximo de modificações entre duas imagens. Para efectuar autenticação é utilizada uma nova técnica de autenticação de imagens, que combina a utilização de projecções aleatórias com um mecanismo de correcção de erros nos dados. Assim é possível autenticar cada imagem do vídeo, com um conjunto reduzido de bits de paridade da respectiva projecção aleatória. Como a informação de vídeo é tipicamente, transportada por protocolos não fiáveis pode sofrer perdas de pacotes. De forma a reduzir o efeito das perdas de pacotes, na qualidade do vídeo e na taxa de autenticação, é utilizada Unequal Error Protection (UEP). Para validação e comparação dos resultados implementou-se um sistema clássico que autentica fluxos de vídeo de forma típica, ou seja, recorrendo a assinaturas digitais e códigos de hash. Ambos os esquemas foram avaliados, relativamente ao overhead introduzido e da taxa de autenticação. Os resultados mostram que o sistema AFPA, utilizando um vídeo com qualidade elevada, reduz o overhead de autenticação em quatro vezes relativamente ao esquema que utiliza assinaturas digitais e códigos de hash.

O processo de bolonha na web semântica

O Processo de Bolonha, cujo propósito visa a construção de um Espaço Europeu do Ensino Superior, tem como um dos seus objectivos promover a mobilidade de estudantes. A adopção do Processo de Bolonha requer uma abordagem que agilize a mobilidade dos estudantes, à luz da legislação actualmente em vigor. Neste âmbito, destaca-se a interoperabilidade entre sistemas de gestão académica na área de investigação da Web Semântica. Esta dissertação propõe um modelo de representação flexível que integra conhecimento sobre o estudante e sobre os cursos que frequentou ou pretende frequentar: (1) Registo Académico do estudante relativo a competências adquiridas designadamente no decorrer de uma qualificação, frequência de unidades curriculares, experiência profissional ou formação pós-secundária e (2) Plano Individual de Estudos que posiciona o estudante no contexto de um determinado (3) Plano de Curso que define a estrutura curricular e plano de estudos que o estudante pretende frequentar. O modelo de representação proposto foi alvo de avaliação experimental. Para tal, foi concebido um demonstrador que aplicou o modelo proposto em quatro cenários de utilização relativos à mobilidade de estudantes no âmbito do Processo de Bolonha.

O desenvolvimento do conceito de área: um estudo com alunos do 3.º ano de escolaridade

O objetivo desta investigação é compreender como é que alunos do 3.º ano de escolaridade desenvolvem o conceito de área com ênfase em conhecimentos sobre figuras e propriedades geométricas. Para melhor objetivar o estudo, formulei três questões que orientaram a investigação. Pretendo (1) compreender como é que os alunos mobilizam conhecimentos sobre as propriedades das figuras geométricas no estudo da área de uma figura plana? A que estratégias recorrem? Que dificuldades sentem? (2) que compreensão é que os alunos têm sobre o processo de medição? e (3) que ideias e/ou experiências são relevantes no desenvolvimento do conceito de área? Este é um estudo que se insere no paradigma interpretativo e que segue uma abordagem qualitativa, pelo que não visa generalização de resultados, mas uma descrição compreensiva dos processos vivenciados, tendo em conta os contextos pessoais e sociais. Optei por realizar dois Estudos de Caso. Os dados foram recolhidos através de fontes diversificadas, donde se destacam a observação participante e a análise de registos audiovisuais e escritos dos alunos. A análise dos dados teve por referência categorias criadas com base em contributos da literatura de referência. As conclusões desta investigação centram-se numa análise acerca das estratégias a que os alunos em estudo tendencialmente mais recorrem, visando também algumas das suas dificuldades mais relevantes e sobre as quais importa refletir. Destaca-se que ambos os alunos foram capazes de recorrer a raciocínios baseados e não baseados na medida, embora seja evidente uma tendência para raciocínios baseados na medida. É igualmente importante referir que os dois alunos revelaram um bom conhecimento acerca do processo de medição, mesmo quando ele implicava a definição de uma unidade de medida adequada e/ou mudança de unidade. É dado, também, destaque às experiências matemáticas que devem ser proporcionadas aos alunos no sentido do desenvolvimento de um conhecimento amplo e flexível do conceito de área. - Abstract The purpose of this investigation is to understand the development of 3rd year students’ concept of area based on their knowledge of geometrical properties and figures. As means to orientate the present study, the following investigation questions were formulated: 1) how do students use their knowledge about geometrical properties in order to understand geometrical shape’s areas? Which strategies do they use? What do they struggle with? (2) What is their understanding about measurement? And (3) what are the most relevant mathematical reasonings and classroom tasks in the development of the concept of area? This is a study that follows a qualitative approach: it does not intend to be a generalization, but a fully comprehensive description of the witnessed learning processes, bearing in mind the social and personal contexts. As such, two study-cases were developed. The data were collected through various sources, such as direct observation and analysis of audiovisual records or written worksheets. The scrutiny of the generated data was undertaken following criteria based on the literature of reference. The conclusions of this investigation are centered on the most used strategies as well as the students’ difficulties upon which it is important to discuss. It was noticed that the two students were able to use both measurement and non measurement thinking – although, preferably, they tend to use the first one. On the other hand, it is equally demonstrated that the two students have shown good acquaintance about measurement, even if obliged to the establishment of a suitable unit of measurement and/or change of units. At last, it is also referred which mathematical classroom tasks are important to develop a sustained and comprehensive concept of area.