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.

Sistema modular de gestão académica

A concretização do Processo de Bolonha a nível das instituições de ensino superior tornou premente a necessidade de processos de gestão académica envolvendo funcionalidades e formatos de dados heterogéneos. Este trabalho tem por objectivo contribuir para abordar esta necessidade no contexto do ISEL, através da implementação de uma plataforma de integração com características modulares ao nível da camada de negócio do portal académico, no sentido de permitir a integração de subsistemas heterogéneos, quer em termos funcionais, quer em termos de formatos de informação. O projecto Sistema Modular de Gestão Académica (SMGA) foi concretizado através de um protótipo de portal académico que assenta numa arquitectura orientada a serviços, onde é utilizado um modelo de comunicação baseado em mensagens no formato Agent Communication Language (ACL). Este protótipo disponibiliza funcionalidades relacionadas com a gestão académica aos seus utilizadores através de uma aplicação Web de Front Office.

WPAC: wireless payment and access control: dispositivos móveis no pagamento de serviços e controlo de acessos

A rápida evolução dos dispositivos móveis e das tecnologias de comunicação sem fios transformou o telemóvel num poderoso dispositivo de computação móvel. A necessidade de estar sempre contactável, comum à civilização moderna, tem aumentado a dependência deste dispositivo, sendo transportado pela maioria das pessoas num ambiente urbano e assumindo um papel talvez mais importante que a própria carteira. A ubiquidade e capacidade de computação dos telemóveis aumentam o interesse no desenvolvimento de serviços móveis, além de tradicionais serviços de voz. Um telemóvel pode em breve tornar-se um elemento activo nas nossas tarefas diárias, servindo como um instrumento de pagamento e controlo de acessos, proporcionando assim novas interfaces para serviços existentes. A unificação de vários serviços num único dispositivo é um desafio que pode simplificar a nossa rotina diária e aumentar o conforto, no limite deixaremos de necessitar de dinheiro físico, cartões de crédito ou débito, chaves de residência e de veículos automóveis, ou inclusive documentos de identificação como bilhetes de identidade ou passaportes. O interesse demonstrado pelos intervenientes, desde os fabricantes de telemóveis e operadores de rede móvel até às instituições financeiras, levaram ao aparecimento de múltiplas soluções de serviços móveis. Porém estas soluções respondem geralmente a problemas específicos, apenas contemplando um fornecedor de serviços ou uma determinada operação de pagamento, como seja a compra de bilhetes ou pagamento de estacionamento. Estas soluções emergentes consistem também tipicamente em especificações fechadas e protocolos proprietários. A definição de uma arquitectura genérica, aberta interoperável e extensível é necessária para que os serviços móveis possam ser adoptados de uma forma generalizada por diferentes fornecedores de serviços e para diversos tipos de pagamento. A maior parte das soluções actuais de pagamento móvel depende de comunicações através da rede móvel, algumas utilizam o telemóvel apenas como uma interface de acesso à internet enquanto outras possibilitam o envio de um SMS (Short Message Service) para autorizar uma transacção, o que implica custos de comunicação em todas as operações de pagamento. Este custo de operação torna essas soluções inadequadas para a realização de micropagamentos e podem por isso ter uma aceitação limitada por parte dos clientes. As soluções existentes focam-se maioritariamente em pagamentos à distância, não tirando partido das características do pagamento presencial e não oferecendo por isso uma verdadeira alternativa ao modelo actual de pagamento com cartões de crédito/débito. As capacidades computacionais dos telemóveis e suporte de diversos protocolos de comunicação sem fio local não têm sido aproveitadas, vendo o telemóvel apenas como um terminal GSM (Global System for Mobile Communications) e não oferecendo serviços adicionais como seja a avaliação dinâmica de risco ou controlo de despesas. Esta dissertação propõe e valida, através de um demonstrador, uma aquitectua aberta para o pagamento e controlo de acesso baseado em dispositivos móveis, intitulada WPAC (Wireless Payment and Access Control). Para chegar à solução apresentada foram estudadas outras soluções de pagamento, desde o aparecimento dos cartões de débito até a era de pagamentos electrónicos móveis, passando pelas soluções de pagamento através da internet. As capacidades dos dispositivos móveis, designadamente os telemóveis, e tecnologias de comunicação sem fios foram também analisadas a fim de determinar o estado tecnológico actual. A arquitectura WPAC utiliza padrões de desenho utilizados pela indústria em soluções de sucesso, a utilização de padrões testados e a reutilização de soluções com provas dadas permite aumentar a confiança nesta solução, um destes exemplos é a utilização de uma infra-estrutura de chave pública para o estabelecimento de um canal de comunicação seguro. Esta especificação é uma arquitectura orientada aos serviços que utiliza os Web Services para a definição do contracto do serviço de pagamento. A viabilidade da solução na orquestração de um conjunto de tecnologias e a prova de conceito de novas abordagens é alcançada com a construção de um protótipo e a realização de testes. A arquitectura WPAC possibilita a realização de pagamentos móveis presenciais, isto é, junto do fornecedor de bens ou serviços, seguindo o modelo de pagamento com cartões de crédito/débito no que diz respeito aos intervenientes e relações entre eles. Esta especificação inclui como aspecto inovador a avaliação dinâmica de risco, que utiliza o valor do pagamento, a existência de pagamentos frequentes num período curto de tempo, e a data, hora e local do pagamento como factores de risco; solicitando ao cliente o conjunto de credenciais adequado ao risco avaliado, desde códigos pessoais a dados biométricos. É também apresentada uma alternativa ao processo normal de pagamento, que apesar de menos cómoda permite efectuar pagamentos quando não é possível estabelecer um canal de comunicação sem fios, aumentando assim a tolerância a falhas. Esta solução não implica custos de operação para o cliente na comunicação com o ponto de venda do comerciante, que é realizada através de tecnologias de comunicação local sem fios, pode ser necessária a comunicação através da rede móvel com o emissor do agente de pagamento para a actualização do agente de software ou de dados de segurança, mas essas transmissões são ocasionais. O modelo de segurança recorre a certificados para autenticação dos intervenientes e a uma infra-estrutura de chave pública para cifra e assinatura de mensagens. Os dados de segurança incluídos no agente de software móvel, para desabilitar a cópia ou corrupção da aplicação mas também para a comparação com as credenciais inseridas pelo cliente, devem igualmente ser encriptados e assinados de forma a garantir a sua confidencialidade e integridade. A arquitectura de pagamento utiliza o standard de Web Services, que é amplamente conhecido, aberto e interoperável, para definição do serviço de pagamento. Existem extensões à especificação de Web Services relativas à segurança que permitem trocar itens de segurança e definem o modo de cifra e assinatura de mensagens, possibilitando assim a sua utilização em aplicações que necessitem de segurança como é o caso de serviços de pagamento e controlo de acesso. O contracto de um Web Service define o modo de invocação dos serviços, transmissão de informação e representação de dados, sendo normalmente utilizado o protocolo SOAP que na prática não é mais que um protocolo de troca de mansagens XML (eXtensible Markup Language). O envio e recepção de mensagens XML; ou seja, a transmissão de simples sequências de caracteres, é suportado pela maioria dos protocolos de comunicação, sendo portanto uma solução abrangente que permite a adopção de diversas tecnologias de comunicação sem fios. O protótipo inclui um agente de software móvel, implementado sobre a forma de uma MIDlet, aplicação Java para dispositivos móveis, que implementa o protocolo de pagamento comunicando sobre uma ligação Bluetooth com o ponto de venda do comerciante, simulado por uma aplicação desenvolvida sobre a plataforma .NET e que por isso faz prova da heterogeneidade da solução. A comunicação entre o comerciante e o seu banco para autorização do pagamento e transferência monetária utiliza o protocolo existente para a autorização de pagamentos, com base em cartões de crédito/débito. A definição desta especificação aberta e genérica em conjunto com o forte interesse demonstrado pelos intervenientes, proporciona uma boa perspectiva em termos de adopção da solução, o que pode impulsionar a implementação de serviços móveis e dessa forma simplificar as rotinas diárias das pessoas. Soluções móveis de pagamento reduzem a necessidade de transportar vários cartões de crédito/débito na nossa carteira. A avaliação dinâmica de risco permite aumentar a segurança dos pagamentos, com a solicitação de mais credenciais ao cliente para pagamentos com um maior risco associado, sendo um ponto importante quer para os clientes quer para as instituições financeiras pois diminui o risco de fraude e aumenta a confiança no sistema. Esta solução de pagamento electrónico pode também facilitar a consulta de pagamentos efectuados e saldos, mantendo um histórico dos movimentos, o que não é possível nos cartões de crédito/débito sem uma visita a uma ATM (Automated Teller Machine) ou utilização de homebanking.

O papel da particularização no processo de demonstrar

A presente comunicação enquadra-se no âmbito da investigação que desenvolvi, conducente à dissertação de doutoramento, e que teve como objectivo analisar as formas de persuasão e convencimento desenvolvidas pelos alunos e o papel da demonstração na aprendizagem matemática no contexto da sua relação com a prática social da aula de Matemática. A metodologia adoptada no estudo tem uma natureza interpretativa e os participantes no estudo foram uma turma de 9.º ano e a respectiva professora de Matemática. Nesta comunicação, vou focar o papel crucial dos exemplos particulares no processo demonstrativo, incidindo a atenção na evolução do seu estatuto e do seu carácter, através da apresentação e da discussão de alguns dos resultados do estudo.

Protecção contra descargas atmosféricas: aplicação informática de identificação das vulnerabilidades das edificações e de apoio à concepção da protecção

A concepção de instalações eléctricas deve garantir condições de segurança para as pessoas e equipamentos. Para tal é exigida, quer por força de regulamentação ou de normalização, a instalação de dispositivos que garantam a detecção e a protecção contra os defeitos mais comuns nas instalações eléctricas como, por exemplo, as sobreintensidades e as sobretensões. Susceptíveis de criar sobretensões perigosas nas instalações eléctricas, as descargas atmosféricas podem ainda causar danos estruturais elevados, o que, em algumas actividades económicas, torna fundamental a implementação de medidas de protecção contra este fenómeno natural. A protecção contra descargas atmosféricas directas consiste em identificar as vulnerabilidades das estruturas e, nesses locais, implementar dispositivos de captura, direccionamento e escoamento da descarga atmosférica à terra, em condições de segurança. O presente trabalho, desenvolvido no âmbito da dissertação de Mestrado em Engenharia Electrotécnica, visa desenvolver e implementar uma ferramenta computacional, baseada em programas de desenho assistido por computador (CAD) de utilização corrente na área de projecto de arquitectura e de engenharia, que permita, no âmbito de normas internacionais, a análise e implementação de sistemas de protecção em edifícios contra descargas atmosféricas de uma forma rápida e expedita. Baseado num programa CAD 3D, que permite a modelização tridimensional das estruturas a proteger, a ferramenta desenvolvida tentará identificar as suas vulnerabilidades das estruturas às descargas atmosféricas directas, com o intuito de implementar as medidas de protecção mais adequadas do ponto de vista técnico económico. Prevê-se que a ferramenta resultante deste estudo, o Simulador do Modelo Electrogeométrico (SIMODEL), possibilite aos projectistas e particularmente aos alunos das unidades curriculares na área do projecto de instalações eléctricas da Área Departamental de Engenharia de Sistemas e Potencia e Automação (ADESPA) do ISEL, estudar e implementar sistemas de protecção contra descargas atmosféricas (SPDA) baseados na normalização internacional do CENELEC e da IEC, nomeadamente as normas da série 62305.

Estimativa do recurso associado a um parque eólico e solução ótima de integração do parque numa rede elétrica do sudeste brasileiro

Um dos objetivos da presente dissertação consiste em estimar o recurso eólico num determinado local com base em dados de velocidade e direção de vento de outro local. Para esta estimativa, é utilizado um método que faz a extrapolação dos dados de vento do local onde as medições de velocidade e direção de vento foram realizadas para o local onde se quer estimar o recurso eólico, permitindo assim fazer uma avaliação da potência disponível que se pode obter para uma dada configuração de turbinas eólicas e tendo em consideração fatores topográficos tais como a rugosidade, orografia da superfície e também obstáculos em redor. Este método foi aplicado usando a ferramenta computacional, Wind Atlas Analysis and Aplication Program (WAsP), de modo a avaliar a potência média de um parque eólico na região de Osório, Brasil. O outro objetivo desta dissertação consiste no estudo e definição da melhor ligação do referido parque eólico à rede elétrica local. Para o efeito e após modelização da rede elétrica foram identificados os reforços de rede necessários na zona que irá receber a nova potência do parque eólico. No estudo em causa foram avaliadas quatro alternativas de ligação do parque eólico à rede. A escolha da melhor alternativa de ligação foi efetuada tendo por base uma análise de relação entre benefício de perdas da rede e custos de reforço da rede local.

Artur Santos e a etnomusicologia em Portugal (1936-1969)

O Professor Artur Santos é por muitos recordado pela qualidade inquestionável da docência que exerceu no Conservatório Nacional de Lisboa. A sua carreira profissional foi mais vasta, desenvolvendo-se no âmbito da música erudita como pianista, compositor e professor e, no da música tradicional, como etnomusicólogo. O artigo agora publicado tem o mesmo título da Dissertação de Mestrado em Ciências Musicais (2001), orientada pela Profª. Drª. Salwa Castelo Branco. Este trabalho de investigação permitiu um conhecimento aprofundado do trabalho etnomusicológico que Artur Santos realizou, incluindo documentação escrita, gravações sonoras, fotografias e filmes etnográficos, na sua maioria inédita, para além das colecções de discos (Beira Baixa e Beira Alta, Ilhas Terceira, de S. Miguel e de Santa Maria) e catálogos de exposições editados (Angola e Ilha de Santa Maria). A documentação que produziu, o seu empenho em institucionalizar a etnomusicologia em Portugal, a divulgação internacional que fez da Música Tradicional Portuguesa e o reconhecimento que os seus trabalhos tiveram a nível nacional e internacional, destacam-no como precursor da moderna etnomusicologia em Portugal.

O modelo de agente representativo

A teoria económica contemporânea assenta grande parte do seu raciocínio na ideia de que é possível compreender o comportamento dos agentes económicos e a complexidade das relações que entre eles se estabelecem reduzindo esse comportamento às escolhas de um agente representativo. Este agente procura maximizar a utilidade do consumo perante determinada restrição de recursos que ele, ou o sistema económico como um todo, enfrenta. Apesar de esta ideia não estar isenta de possível crítica e de o caminho da modelização ser cada vez mais o de considerar agentes heterogéneos em interação, a verdade é que se trata de um conceito poderoso, que permite compreender mecanismos lógicos relevantes, num contexto que é frequentemente assumido como dinâmico e intertemporal. Neste capítulo, caracterizam-se os pilares fundamentais do modelo de agente representativo.

Aplicação das redes neuronais artificiais à auditoria: revisão da literatura

Uma rede neuronal artificial consiste no processamento de elementos (análogos aos neurónios do sistema neuronal biológico) inter conectados em rede. As redes neuronais artificiais possuem duas grandes forças: por um lado, são instrumentos poderosos na modelização e compreensão do comportamento cognitivo humano; por outro, têm fortes propriedades de reconhecimento de padrões, sendo capazes de reconhecer padrões mesmo entre dados variáveis, ambíguos e confusos (Refenes, 1995, citado por Koskivaara, 2000). Por esta razão, a aplicação desta nova tecnologia à auditoria tem vindo a acentuar-se. O objectivo deste trabalho consiste em apresentar os fundamentos das redes neuronais artificiais, bem como as principais áreas de aplicação à auditoria. Entre estas descata-se a detecção de erros materialmente relevantes. Os auditores estabelecem a natureza, extensão, profundidade e oportunidade dos procedimentos de auditoria com base na investigação resultante de flutuações e relações que sejam inconsistentes com outra informação relevante ou que se desviem de quantias previstas. Ora, os modelos de rede neuronais permitem captar padrões relevantes detectados na informação financeira, estabelecendo correlações entre os dados dificilmente percepcionadas pelos meios tradicionalmente utilizados pelos auditores. Outras áreas da auditoria em que as redes neuronais se têm mostrado instrumentos válidos de auxílio ao julgamento dos auditores são a avaliação do risco de gestão fraudulenta, a avaliação do princípio da continuidade e a avaliação do controlo interno da entidade auditada.

Escola a tempo inteiro: medidas de política educativa e debate parlamentar

O conteúdo da presente comunicação resulta de uma investigação sobre as medidas de política educativa desenvolvidas em Portugal pelo Ministério de Educação com o objectivo de promover a “Escola a Tempo Inteiro” no âmbito do 1.º ciclo do ensino básico, através da formulação e implementação dos programas de generalização das actividades de enriquecimento curricular (AEC) e do alargamento do horário de funcionamento das escolas. A “análise especulativa” (Woods, 1999) decorrente da evolução do estudo revelou a emergência de uma diversidade de “cenas” (Delvaux, 2007) e de actores intervenientes no processo, tendo em conta que as políticas educativas devem ser entendidas “como espaços comunicacionais e sociais nos quais se exprimem e interagem diferentes concepções e modos de relação com o mundo educacional” (Barroso, et al., 2007). Por conseguinte, “têm de ser observadas a partir de múltiplos pontos de sua produção e ancoragem”. A presente comunicação focaliza-se apenas num desses pontos, nomeadamente, no debate parlamentar, considerando a Assembleia da República como produtora de políticas e palco de escrutínio de posições em confronto e de lógicas de argumentação diversas e, como tal, uma importante agência cuja acção contribui para a compreensão das políticas públicas de educação. Procura-se, então, descrever, compreender e analisar a forma como este órgão de soberania tratou a questão da escola tempo inteiro, particularmente, o que diz respeito aos programas de generalização das AEC (inicialmente com o ensino do inglês) e ao alargamento do horário no 1.º ciclo do ensino básico. A partir da análise das iniciativas parlamentares e das dinâmicas que lhes estão subjacentes, explicitadas nos Diários da Assembleia da República, procura-se: dar conta da forma como as medidas políticas em estudo são introduzidas nos assuntos e nas actividades parlamentares e como são contextualizadas, integradas ou articuladas com outras medidas; identificar os actores e interpretar as respectivas posições e estratégias face às medidas; evidenciar e problematizar as principais controvérsias, convergências e divergências estabelecidas face às medidas, bem como as lógicas de justificação subjacentes às posições dos actores, quer em termos de mobilização de conhecimento, quer em termos de defesa explícita ou implícita de valores, princípios, ideologias e interesses; problematizar os possíveis efeitos directos ou indirectos da actividade parlamentar nas medidas políticas, ao nível do processo de formulação da política em análise

Parafango paraffin mud pack

O mundo da saúde é hoje um mundo competitivo, sendo necessário demonstrar os custos e a eficiência clinica. Pretende-se determinar os custos da Fisioterapia com precisão e demonstrar que o serviço é clinicamente produtivo e o custo efetivo, utilizando da forma mais eficiente os recursos disponíveis. Gestão orientada para os resultados clínicos: Podem provar que fizeram bem aos “doentes”? Podem mostrar a diferença que originaram na vida dos “doentes”?

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.

Análise dinâmica de uma estrutura: estudo numérico e experimental

Com o presente trabalho pretende-se estudar e compreender o comportamento dinâmico de estruturas de engenharia civil, de forma a permitir a elaboração de algumas metodologias para o estudo e análise de problemas de dinâmica de estruturas. Apresenta-se uma revisão dos principais fundamentos da modelação matemática do comportamento dinâmico, com o estudo de sistemas de 1 grau de liberdade e posterior generalização para sistemas de múltiplos graus de liberdade. Apresentam-se também as formulações para análises de identificação modal no domínio do tempo e no domínio da frequência. Atendendo que a resolução do problema dinâmico deve cumprir duas etapas: integração no Espaço, e integração no tempo. Para a 1a etapa abordam-se os fundamentos dos métodos numéricos de integração no espaço (em particular, o método dos elementos finitos) com vista á implementação da sua formulação na ferramenta computacional freeFEM++. Para a 2a etapa abordam-se os métodos numéricos de integração no domínio do tempo (em particular, o método de Newmark), de forma a determinar a resposta de uma estrutura quando submetida a acções dinâmicas. Adicionalmente são introduzidos alguns conceitos essenciais ao estudo de resultados experimentais obtidos através da realização de ensaios de vibrações. Por último, estuda-se um modelo físico de um edifício de dois pisos, com base na análise de resultados de um ensaio de vibração ambiental e no desenvolvimento de dois modelos numéricos (em freeFEM++ e em SAP2000) para comparação e análise dos resultados obtidos e validação da ferramenta computacional desenvolvida. Após a calibração dos modelos numéricos aos resultados obtidos experimentalmente, procede-se a uma análise dinâmica dos modelos numéricos sujeitos a uma acção sísmica, com a posterior comparação e análise de resultados obtidos.

Orientação de campo da máquina assíncrona: controlo preditivo

Nesta dissertação de Mestrado foi realizado o estudo teórico e a respectiva comprovação experimental da aplicação do Controlo por Orientação de Campo para a máquina assíncrona trifásica permitindo a imposição das correntes com recurso ao Controlo Preditivo. Foi efectuado inicialmente a modelização do sistema, ondulador de tensão trifásico e máquina assíncrona trifásica, e o estudo do Controlo Preditivo mais adequado a aplicar ao sistema. Depois de realizado o Controlo por Orientação de Campo foi projectado e dimensionado um anel exterior para controlo de velocidade. Os ensaios com recurso inicialmente à simulação numérica em ambiente Matlab/Simulink e posterior experimentação laboratorial, permitem a validação dos modelos teóricos e da técnica de controlo utilizada. Foram realizados testes em regime estacionário e regime dinâmico para diferentes referências de velocidade. Os ensaios efectuados em simulação e experimentais foram comparados com a solução de imposição das correntes através de controladores histeréticos, nesta dissertação designada por técnica clássica. A implementação laboratorial do protótipo, foi realizada através do projecto, dimensionamento e construção de vários módulos para o efeito. O rectificador trifásico tem entrada compatível com as tensões nominais da rede, inclui também uma resistência de pré-carga dos condensadores, e uma resistência de dissipação para limitar a tensão no barramento de tensão DC. O módulo integrado de potência para funcionamento como ondulador de tensão trifásico tem uma estrutura compacta, onde estão incluídos drivers de disparo dos seus semicondutores, e algumas protecções inerentes ao seu bom funcionamento. Para implementação do Controlo por Orientação de Campo e o anel exterior para controlo de velocidade, foi usado um controlador digital de sinal do fabricante dSPACE.

A entrada na profissão do educador de infância: percursos singulares

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção do grau de Mestre em Ciências da Educação - Especialidade Supervisão em Educação