Plataforma de suporte ao alinhamento de agendas em dispositivos móveis

Desde o tempo em que as agendas eram feitas de papel até aos dias de hoje em que estão disponíveis em formato eletrónico, “online”, em computadores pessoais ou em dispositivos móveis, as agendas sempre foram uma ferramenta essencial de suporte à organização do tempo no nosso dia-a-dia. No entanto, a marcação de eventos entre vários participantes obriga a um processo de negociação manual de alinhamento das agendas. Este projeto implementa um sistema multi-agente para o alinhamento de agendas em dispositivos móveis, onde os agentes negoceiam de modo autónomo em representação de utilizadores considerando as suas preferências públicas e privadas. Estes agentes atuam sobre a plataforma multi-agente JADE, na qual comunicam e negoceiam entre si numa linguagem bem definida respeitando uma ontologia e um protocolo de interação baseado em Iterated Contract-Net. A negociação tem por objetivo procurar o alinhamento das disponibilidades fornecidas pelos vários participantes suportada por mecanismos de votação de forma a eleger a solução admissível mais adequada. O sistema suporta a negociação com agentes que podem estar temporariamente indisponíveis e tem a capacidade de utilizar “dicas” baseadas em informação histórica de negociações prévias para otimizar o processo de negociação procurando a melhor solução admissível no menor espaço de tempo possível. O sistema superou com sucesso os testes de carga e concorrência efetuados, assim como da eficiência da utilização das dicas no processo de negociação, providenciando sempre que possível uma solução válida.

A Aprendizagem como Processo de Aquisição e Construção do Conhecimento e a Capacidade de Absorção da Organização com Base nas Novas Tecnologias

A importância da capacidade de absorção do conhecimento das organizações tem sido uma matéria muito importante, mas que no campo prático não tem correspondido às expectativas devido à amplitude e cobertura da sua temática. Estudar e apresentar os principais agentes que participam no processo de capacidade de absorção da organização é o objectivo deste artigo, nomeadamente identificar a importância do capital social na sua ampla dicotomia, interno vs. externo e o papel integrador das novas tecnologias como elemento integrador do conhecimento e capacidade de aprendizagem da organização que permite uma maior capacidade de inovação.

Avaliação da força de preensão da mão, força dos membros inferiores e capacidade funcional em idosos activos e sedentários

Introdução: A prática de exercício físico regular tem impacto na melhoria da aptidão física global dos idosos. Objectivos: O objectivo deste estudo descritivo foi analisar se a prática de exercício físico regular influencia a força de preensão global da mão, a força dos membros inferiores e a capacidade funcional em indivíduos residentes no concelho de Loures, com idade superior a 60 anos de idade. Metodologia: Através de um questionário de caracterização da população foi seleccionada, uma amostra de 60 indivíduos habitantes do concelho de Loures (de idades entre 60 e 91 anos), dos quais 30 praticam exercício físico regular e 30 não praticam qualquer tipo de exercício físico. A força de preensão da mão foi avaliada através de um dinamómetro portátil, a força dos membros inferiores através do teste de sentar e levantar da cadeira (TSLC), a capacidade funcional através do teste de 6 minutos de marcha (T6MM) e a percepção subjectiva de esforço (RPE), segundo a escala de Borg. Resultados: Para esta amostra concluiu-se que a prática regular de actividade física influencia o Peak Force (PF) da mão direita (p=0,037), o PF da mão esquerda (p=0,022), a Endurance (ED) da mão esquerda (p=0,017), o número de execuções correctas no TSLC (p=0,00), a distância total percorrida no T6MM (p=0,00) e a RPE durante o T6MM (p=0,00). O Time to Peak (TTP) da mão direita e esquerda (p=0,574 e 0,630, respectivamente) não apresentam diferenças significativas entre os grupos, bem como a ED da mão direita (p=0,219). Conclusão: poderá concluir-se que a prática de exercício físico, nesta amostra, contribui para uma melhor aptidão física que permite uma maior performance a nível da capacidade funcional e da força com menores índices de fadigabilidade.

Composição corporal, capacidade funcional e tempo em lista activa em indivíduos submetidos a transplante hepático por polineuropatia amiloidótica familiar

PAF–Doença neurodegenerativa relacionada com a produção hepática de Transtirretina met30 e respectiva deposição sistémica principalmente no sistema nervoso periférico, que se traduz clinicamente por uma neuropatia sensitivo-motora de início periférico e com graves limitações funcionais em alguns casos. Actualmente, o único tratamento conhecido para a PAF é o transplante hepático com medicação agressiva para o metabolismo muscular e ósseo e para a produção de força. Não existe actualmente qualquer caracterização quantitativa da composição corporal ou capacidade funcional para esta população. Objectivos do estudo: comparar a composição corporal e capacidade funcional entre doentes PAF transplantados (PAFT) e um grupo de indivíduos aparentemente saudáveis (GC); analisar possíveis relações entre composição corporal e capacidade funcional e tempo de espera para a cirurgia.

Procura de padrões em documentos para extracção e classificação de informação

A limitada capacidade dos computadores em processar documentos de texto e consequente di culdade de extracção de informação desses documentos deve-se à dificuldade de processamento de informação não-estruturada. De modo a reduzir essa limitação é necessário aumentar a estrutura dos documentos com que os computadores trabalham. Este trabalho propõe um modelo de classificação de documentos através de um processo de refinamento sucessivo da informação. A cada iteração a informação presente no documento é melhor caracterizada através da aplicação de um classi cador apropriado. O processo de classificação recorre a informação estatística, usando o modelo de classificação de Bayes, sobre documentos ou fragmentos de documentos. O processo de classificação também recorre a técnicas para especificação de padrões de texto, usando expressões regulares para extrair informação que exibe um padrão conhecido. A informação obtida é armazenada em XML, que permite a interrogação de colecções de documentos de modo automático (recorrendo a bases de dados de suporte nativo XML). O XML também é usado para transformar a informação original noutros formatos, como por exemplo o HTML. Este formato pode ser usado para sintetizar a informação de modo melhorar a sua apresentação.

Framework genérica de business intelligence para suporte financeiro

Actualmente, não existem ferramentas open source de Business Intelligence (BI) para suporte à gestão e análise financeira nas empresas, de acordo com o sistema de normalização contabilística (SNC). As diferentes características de cada negócio, juntamente com os requisitos impostos pelo SNC, tornam complexa a criação de uma Framework financeira genérica, que satisfaça, de forma eficiente, as análises financeiras necessárias à gestão das empresas. O objectivo deste projecto é propor uma framework baseada em OLAP, capaz de dar suporte à gestão contabilística e análise financeira, recorrendo exclusivamente a software open source na sua implementação, especificamente, a plataforma Pentaho. Toda a informação contabilística, obtida através da contabilidade geral, da contabilidade analítica, da gestão orçamental e da análise financeira é armazenada num Data mart. Este Data mart suportará toda a análise financeira, incluindo a análise de desvios orçamentais e de fluxo de capitais, permitindo às empresas ter uma ferramenta de BI, compatível com o SNC, que as ajude na tomada de decisões.

Uma sombra o precede: lei da morte, hospitalidade e cuidados de suporte

O tópico “Saúde, complexidades e perplexidades” é uma óptima maneira de nos fazer pensar “sobre a morte e o morrer nas sociedades contemporâneas” sem facilidades e sem fingimentos. Bem hajam, pois, por esta oportunidade. O meu propósito neste trabalho é limitado: partilhar algumas interrogações em torno do desaparecimento da ordem social “hospitaleira”, ou seja, da invenção do moribundo anónimo. Antes quero deixar uma breve nota sobre a complexidade no horizonte da tensão inegável entre o decadente humanismo médico-assistencial e uma biomedicina “épica” e reificadora. Trata-se de aceitar o papel da incerteza e da incógnita no mundo da vida, no mundo das escolhas e dos valores: a medicina é, desde os gregos, uma prática de afrontamento e de redução do acaso (os gregos distinguiam, segundo o prognóstico, doenças do acaso e doenças da necessidade). Daqui a invenção do kairós, a boa ocasião, a exigência de acribia, a justa medida. Daqui a teoria da prudência, da precaução, o célebre preceito primo non nocere; muitos argumentos utilizados nos debates sobre as oposições aristotélicas tyché/techné (acaso/arte) e necessário/não necessário foram integrados na doutrina da Krisis, da decisão. No exercício da clínica (e na vida), o juízo é incerto, vulnerável, entre singularidade e complexidade. Com efeito, a melhor compreensão da complexidade organizada a partir da nova “iatromecânica” e da velha “iatrofilosofia” remete-nos hoje para o “todo” biopsicossocial. O acto médico, que já foi principalmente regime (dieta) e profecia (prognóstico), hoje é cura e cuidado, prevenção e reabilitação, tende a ser cada vez mais reparação e paliação. É, porém, sempre, encontro e relação terapêutica; mais que a doença, o seu foco é – deve ser – o doente e a sua circunstância. A boa posição é, por isso, clínica; o termo clínica significa, etimologicamente, à cabeceira do doente. Eis os contornos desta pequena apologia da hospitalidade em medicina, em especial do acolhimento e do reconhecimento do doente dependente ou em fim de vida. Afinal a morte é uma tragédia inter-pessoal: sempre único o ser humano, nunca é só. Uma sombra o precede.

Capacidade resistente de fundações superficiais

No contexto actual e dado que a engenharia se encontra numa situação de transição entre os actuais regulamentos, normas em vigor e as normas e regulamentos europeus que futuramente vigorarão, surge a necessidade, o interesse e a preocupação em compreender que alterações irão os últimos introduzir no conceito e filosofia do dimensionamento. No presente caso a Norma Portuguesa EN 1997-1:2007 (EC7) conduz a modificações significativas no dimensionamento de fundações superficiais, relativamente aos Métodos Tradicionais. Avaliar as repercussões e o impacto desta transição é o âmbito da dissertação, cujo elemento fulcral é a análise comparativa do preconizado no Eurocódigo e nos Métodos Tradicionais. Nesse sentido o trabalho abrange entre outros os seguintes objectivos: • Compreensão dos conceitos e filosofias dos Métodos Tradicionais; • Compreensão do conceito e filosofia do EC7; • Análise comparativa entre os Métodos Tradicionais e EC7; • Análise crítica e conclusiva sustentada quer pela abordagem teórica quer pela via de aplicações de cálculo de ambos os métodos. Os Capítulos 2 e 3 pretendem, resumidamente, alcançar os dois primeiros objectivos fundamentais acima referidos, para desenvolver e suportar estes objectivos a primeira parte do trabalho centrou-se na pesquisa dos fundamentos teóricos das várias filosofias de dimensionamento, nomeadamente das obras referidas na bibliografia. Do Capítulo 2 destacam-se as teorias de capacidade resistente de Terzaghi, Meyerhof, Prandtl, Rankine, Hansen e Vesic, assim como, respectivas figuras de rotura, expressões de capacidade resistente, coeficientes de capacidade resistente. No que diz respeito aos casos de carga são abordados o carregamento vertical centrado, carregamento inclinado, carregamento excêntrico e a influência da variação do nível freático. Neste capítulo é ainda abordada a verificação de segurança e respectivos coeficientes de segurança globais. A abordagem do EC7 corresponde ao Capítulo 3, de onde se destacam as abordagens de cálculo, a capacidade resistente ao carregamento e os coeficientes de segurança parciais. O ponto seguinte reflecte a transição entre a análise teórica e isolada inicial para uma análise comparativa e de síntese que permite a formulação das expressões de dimensionamento e verificação da segurança, através de duas folhas de cálculo que traduzem os critérios de dimensionamento de fundações superficiais segundo os Métodos Tradicionais e segundo o EC7; No Capítulo 5 são abordados e apresentados os exemplos de cálculo, com verificação segundo a Abordagem Tradicional e o EC7, em condições drenadas e em condições não drenadas para as seguintes situações: • Carregamento vertical centrado; • Carregamento inclinado centrado; • Carregamento vertical excêntrico; • Carregamento inclinado excêntrico; Cada exemplo traduz um valor mínimo de largura de fundação para o qual a segurança se encontra verificada, tendo sido elaborado um quadro resumo e retiradas as respectivas conclusões. Seguidamente no Capítulo 6 são realizadas as considerações finais do trabalho.

Efeitos de um programa de exercício na aptidão física pós transplante hepático: o caso da polineuropatia amiloidótica familiar nas suas componentes composição corporal, capacidade funcional e função neuromuscular

Introdução – A Polineuropatia Amiloidotica Familiar (PAF) é uma amiloidose sistémica heredo-degenerativa e autossómica dominante, e cuja manifestação predominante é a polineuropatia mista sensitiva motora e autonómica. Aos sintomas motores e sensitivos associam-se também alterações cardíacas, renais, urinárias, genitais e digestivas que se traduzirão em incapacidade funcional progressiva. Esta doença endémica de Portugal apresenta o seu início em média depois dos 20 anos com progressão para a morte em cerca de 10 anos. O tratamento etiopatogénico desta doença, com reconhecida eficácia, passa ainda pelo transplante hepático que apesar de tudo é efectuado já numa fase sintomática da doença e ao qual se encontra associada medicação com efeitos negativos para o metabolismo muscular e consequentemente para a capacidade de produção de força. Tanto a progressão da PAF como o próprio transplante resultam em limitações funcionais que podem ser melhoradas através do exercício físico. Do nosso conhecimento não existem estudos sobre a aptidão física destes pacientes submetidos a transplante hepático nem sobre os efeitos de um programa de exercício físico. Objectivo: Verificar o efeito de um programa de exercício físico combinado na aptidão física de indivíduos portadores de PAF submetidos a transplante hepático há menos de 12 meses. Adicionalmente, analisar de que modo algumas componentes da aptidão física (composição corporal, força muscular e capacidade funcional) seriam ou não e em que medida, diferentes da população saudável. Material e métodos: Trinta e nove pacientes PAF transplantados (4.3±3.3 meses pós transplante foram avaliados quanto à sua composição corporal (DEXA), força de preensão (dinamometro de preensão E-Link), força isométrica do quadricipete (dinamometria isocinética-Biodex) e capacidade funcional (teste 6 minutos de marcha - 6MWT e capacidade para a marcha – 6MWT×peso). Os níveis de actividade física e de qualidade de vida percebida foram avaliados respectivamente através dos questionários Seven Days Physical Activity Recall (7-PAR) e Medical Outcome Study item shortform Health Survey (SF-36Ò). Os pacientes foram alocados em três grupos: grupo de controlo(GC) com 16 pacientes (13H e 3M; 33±9 anos, IMC 22.6±3.3 kg.m-2) sem programa de exercício; grupo de exercício supervisionado (GES) com 8 pacientes (5H e 3M; 34±±7 years; IMC 20.4±4.5 kg.m-2) submetidos a um programa de exercício físico combinado trissemanal com a duração de 24 semanas e um grupo de exercício físico domiciliário ou home-based (GHB) com 15 pacientes (4H e 11M; 35±5 anos; IMC 22.3±4.3 kg.m-2) que fizeram exercício físico em casa durante 24 semanas. Para comparar variáveis da aptidão física entre pacientes PAF transplantados e indivíduos aparentemente saudáveis, submetemos 48 indivíduos PAF transplantados há menos de 12 meses e 24 indivíduos saudáveis não activos, ao mesmo protocolo de avaliação (composição corporal, força muscular e capacidade funcional). Resultados: O programa de exercício influenciou positivamente a composição corporal (peso, IMC, massa magra total e regional, massa muscular esquelética total e T-score do fémur proximal), o risco de incapacidade física, a capacidade para a marcha e a força de preensão da mão direita, mas não influenciou a percepção de qualidade de vida dos pacientes. A distância percorrida aumentou de forma clinicamente significativa apenas no grupo GES. Os pacientes PAF transplantados apresentaram valores inferiores aos indivíduos saudáveis na composição corporal (peso, IMC, massa óssea, massa gorda, massa magra e massa muscular) força muscular e capacidade funcional. Conclusões: O programa de exercício físico melhorou a composição corporal, capacidade funcional e força muscular e aumentou o peso corporal e o IMC nos doentes PAF. Esta melhoria foi maior no grupo GES do que no grupo GHB em todas as variáveis analisadas.

Wells turbine: fiberglass flanges

A introdução desta tese começa por realizar um enquadramento do projecto em mão, apresentando a central de energia das ondas em que se encontram os componentes em fibra de vidro a projectar. Esta central usa o princípio de variação de coluna de água, e encontra-se localizada na ilha do Pico, Açores. São de seguida apresentados os objectivos deste trabalho, que consistem na selecção de materiais de fabrico dos componentes, desenvolvimento de uma metodologia para projectar juntas aparafusadas em materiais compósitos, dimensionamento e comparação de duas juntas concorrentes em materiais compósitos: junta solicitada à tracção e junta solicitada ao corte, validação da análise e estudo das causas dos vários tipos de falha destas juntas. A parte I deste trabalho é o resultado da pesquisa bibliográfica efectuada para levar a cabo os objectivos definidos. Assim, começa por se fazer uma descrição dos materiais e processos de fabrico que mais se adequam ao presente projecto, nomeadamente fibra de vidro, resinas, tecidos, impregnação manual, RTM e infusão por vácuo. Daqui resultou que os materiais mais adequados para esta aplicação são fibra de vidro do tipo E e resina polyester devido ao seu baixo custo e larga utilização em aplicações estruturais marinhas. O processo de fabrico mais eficiente é a infusão por vácuo devido á sua vocação para pequenas séries de produção, a poupança que permite em termos de mão-de-obra, a complacência com normas de emissão de voláteis e as boas propriedades das partes produzidas. No capítulo II da parte I são discutidos os tópicos relacionados com juntas em materiais compósitos. Da pesquisa levada a cabo conclui-se que as grandes vantagens das juntas aparafusadas são a sua facilidade de montagem e desmontagem, facilidade de inspecção e capacidade de ligar quaisquer tipos de materiais. Quanto à furação de compósitos é importante referir a necessidade de utilizar ferramentas resistentes e parâmetros de maquinação que minimizem o dano infligido aos laminados. Isto é possível através da selecção de ferramentas com passos baixos que reduzam igualmente a dimensão do seu centro estático responsável pela força axial exercida sobre o laminado - principal factor causador de dano. Devem-se igualmente utilizar baixas velocidades de avanço e elevadas velocidades de rotação. É importante salientar a importância da realização de pré-furação, de utilização de um prato de suporte na superfície de saída do laminado e a existência de ferramentas especialmente concebidas para a furação de compósitos. Para detectar e quantificar o dano existente num furo destacam-se os métodos de inspecção ultrasónica e a radiografia. Quanto aos parâmetros que influenciaram o comportamento de juntas aparafusadas destacam-se os rácios largura/diâmetro, distância ao bordo/diâmetro, espessura/diâmetro, pré-tensão, fricção, sequência de empilhamento e respectivas proporções, dimensão das anilhas e folga entre o parafuso e o furo. A pesquisa efectuada visando metodologias de projecto fiáveis ditou a necessidade de utilizar métodos que permitiram determinar o parafuso mais carregado de uma junta, efectuar o cálculo de tensões no mesmo, e ainda métodos que permitam determinar a primeira falha que ocorre no laminado bem como a falha final no mesmo. O capítulo III da primeira parte descreve os métodos de análise de tensões necessários para as metodologias de projecto utilizadas. Aqui é apresentada a teoria clássica da laminação, um método para determinação do parafuso mais carregado, um método analítico baseado na teoria da elasticidade anisotrópica de um corpo e o método dos elementos finitos. O método para determinar o parafuso mais carregado - análise global - consiste num modelo bidimensional de elementos finitos em que 2 laminados coincidentes são modelados com elementos lineares de casca com 4 nós, sendo a extremidade de um laminado restringida em todos os graus de liberdade e a extremidade oposta do segundo laminado carregada com a carga pretendida. Os laminados são ligados através de elementos mola que simulam os parafusos, sendo a sua constante de rigidez previamente calculada para este fim. O método analítico modela o contacto assumindo uma distribuição de pressão cosinoidal ao longo de metade do furo, e é válido para laminados simétricos e quasi-isotrópicos. O método dos elementos finitos é o que mais factores permite ter em conta, sendo os modelos tridimensionais com um elemento por camada os que melhor modelam o estado de tensões experienciado por uma junta aparafusada em materiais compósitos. O tópico de análise de falha é abordado no capítulo 4 da primeira parte. Aqui são apresentados os resultados do world wide failure exercice que compara vários critérios de falha existentes até 2004, fazendo-se referência a desenvolvimentos recentes que têm ocorrido nesta área. O critério de Puck surge como aquele que permite previsões de falha mais exactas. O critério de falha de Hashin 3D foi o escolhido para o presente trabalho, devido à sua facilidade de implementação num modelo de elementos finitos, à sua capacidade para detectar modos de falha subcríticos e à sua utilização em trabalhos anteriores que apresentaram previsões de falha muito próximas dos dados experimentais. Também neste capítulo se apresentaram os vários tipos de falha de uma junta aparafusada em materiais compósitos, apresentando as causas de cada uma. Por fim, na última secção, apresenta-se o método de dano progressivo que se desenvolveu para prever a primeira falha final do laminado. Este é muito interessante tendo permitido previsões de falha muito próximas dos resultados experimentais em trabalhos anteriores. Este método é iterativo e encontra-se dividido em 3 passos: Análise de tensões, análise de falha utilizando o critério de Hashin 3D e degradação de propriedades, de acordo com o tipo de falha detectada. Para além dos passos referidos, existe ainda um quarto responsável pelo fim da análise que consiste na aferição da existência ou não de falha final e respectivo tipo de falha (por pressão de contacto, por tensão ou por esforços de corte). No capítulo V da primeira parte é apresentado o resultado de uma pesquisa das normas de teste necessárias para obter as propriedades dos materiais requeridas para a aplicação dos métodos descritos neste trabalho. A parte II deste trabalho consiste na aplicação dos métodos apresentados na parte I ao caso concreto em estudo. Os softwares Microsoft Excel, Matlab e ANSYS foram utilizados para este fim. A junta começa por ser dimensionada estimando a espessura necessária do componente e o número e características dos parafusos. De seguida foi feita uma análise global à flange em estudo determinando a força suportada pelo parafuso mais carregado. Após esta análise desenvolveu-se um modelo tridimensional de elementos finitos da zona em que se encontra o parafuso mais carregado, utilizando elementos sólidos lineares e isoparamétricos de 8 nós e uma malha gerada pelo método directo. Aplicou-se a este modelo o algoritmo de dano progressivo descrito na primeira parte. Começou por se incluir explicitamente o parafuso, anilhas, pré-tensão e a modelação dos vários contactos com fricção posteriormente simplificado o modelo restringindo radialmente os nós da porção carregada do furo, excluindo os factores mencionados inicialmente. Procurou-se validar o modelo utilizando o método de cálculo de tensões descrito na primeira parte, desenvolvendo um programa em Matlab para o efeito. Tal não foi possível tendo-se incluído a tentativa realizada em anexo. Para efeitos de dimensionamento, desenvolveu-se um modelo de elementos finitos de duas dimensões da junta em causa, utilizando elementos de casca lineares de quatro nós isoparamétricos com uma espessura unitária. Através da análise de tensões efectuada com este modelo, e utilizando um método combinado programado em linguagem paramétrica, foi possível dimensionar as duas juntas concorrentes pretendidas. Este método combinado consistiu no cálculo de tensões em pontos localizados sobre uma curva característica e utilização de um critério de falha quadrático para cálculo da espessura necessária para a junta. O dimensionamento ditou que a junta solicitada à tensão necessita de pelo menos 127% das camadas e do custo de uma junta solicitada ao corte equivalente.

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.

Dimensionamento de estruturas de suporte rígidas

A Norma Portuguesa EN 1997-1:2007 - Eurocódigo 7 (EC 7) quando comparada, quer com a versão anterior ENV 1997-1:1994, cujo estatuto foi de pré-norma, quer com a prática tradicional corrente, introduz alterações significativas na abordagem ao dimensionamento geotécnico de estruturas de suporte. Assim, neste trabalho pretende-se aplicar a abordagem por meio de cálculos preconizada na Norma ao caso do dimensionamento de estruturas de suporte rígidas, comparando-a com os critérios tradicionais de dimensionamento utilizados em Portugal. Para tal realizou-se o plano de estudos seguinte: i) recensão bibliográfica síntese sobre o tema; ii) formulação geral do problema da verificação da segurança de estruturas de suporte rígidas de acordo com o preconizado no EC 7 e: iii) desenvolvimento de uma aplicação em Excel para a verificação da segurança daquelas estruturas nos moldes preconizados no EC 7. A folha de cálculo foi utilizada para comparar, através de dois exemplos - um relativo a um muro gravidade, e o outro relativo a um muro em T invertido - as diferenças entre a via tradicional e o EC 7 no respectivo dimensionamento.

Aumento de capacidade em sistemas MIMO coordenados para advanced LTE com utilização de repetidores fixos

Com vista a revolucionar o sector das comunicações móveis, muito à custa dos elevados débitos prometidos, a tecnologia LTE recorre a uma técnica que se prevê que seja bastante utilizada nas futuras redes de comunicações móveis: Relaying. Juntamente com esta técnica, o LTE recorre à técnica MIMO, para melhorar a qualidade da transmissão em ambientes hostis e oferecer elevados ritmos de transmissão. No planeamento das próximas redes LTE, o recurso à técnica Relaying é frequente. Esta técnica, tem como objectivo aumentar a cobertura e/ou capacidade da rede, e ainda melhorar o seu desempenho em condições de fronteira de célula. A performance de uma RS depende da sua localização, das condições de propagação do canal rádio a que tanto a RS como o EU estão sujeitos, e ainda da capacidade que a RS tem de receber, processar e reencaminhar a informação. O objectivo da tese é estudar a relação existente entre o posicionamento de uma RS e o seu desempenho. Desta forma, pretende-se concluir qual a posição ideal de uma RS (tanto do tipo AF como SDF). Para além deste estudo, é apresentado um comparativo do desempenho dos modos MIMO TD e OL-SM, onde se conclui em que condições deverão ser utilizados, numa rede LTE equipada com FRSs.

Como desenvolver nos alunos a capacidade de demonstrar

O novo Programa de Matemática do Ensino Básico dá um especial destaque à demonstração no 3.º Ciclo, integrando-a numa das capacidades transversais, o raciocínio matemático, e enquadrando-a num processo que se vai desenvolvendo desde os primeiros anos de escolaridade. Pressupõe-se portanto que a sua abordagem deverá ser transversal a todos os domínios temáticos. Nele refere-se que no “fim do 3.º ciclo, os alunos devem ser capazes de distinguir entre raciocínio indutivo e dedutivo e reconhecer diferentes métodos de demonstração” (p. 8). A investigação desenvolvida por Margarida Rodrigues que contou com a participação de Elvira Santos evidencia a importância do papel do professor na negociação com os alunos da necessidade da demonstração na aula de Matemática e do seu significado. Propomo-nos partilhar alguns resultados dessa investigação, centrando a nossa atenção nos aspectos a atender na acção didáctica do professor em estreita relação com as funções da demonstração.

Concessão Douro Litoral A32/IC2: passagens inferiores pré-fabricadas no sistema arco "Techspan" e muros ala de suporte de terras no sistema "Terra Armada": ponte sobre o rio Antuã: aplicação da tecnologia "Freyssinet"

O presente relatório visa apresentar o trabalho desenvolvido pelo estagiário na empresa Freyssinet – Terra Armada, S.A. (FTA). O relatório traduz o acompanhamento do estagiário na construção e aplicação da tecnologia Terra Armada em duas passagens inferiores, bem como o acompanhamento dos trabalhos efectuados pela empresa FTA no que diz respeito à aplicação da tecnologia Freyssinet na ponte sobre o rio Antuã, estando ambas as obras abordadas inseridas no Lote 8 – “A32/IC2 Oliveira de Azeméis/IP1 (S. Lourenço) trecho 2 e 3 – a cargo da empresa Alves Ribeiro S.A.. Com a construção dos trechos 2 e 3 da A32 surgiu a necessidade de se restabelecerem algumas ligações, o que fez com que após estudadas as soluções passíveis de serem utilizadas, se tivesse optado pela construção de túneis a céu aberto na execução dos restabelecimentos. Descreve-se neste documento a metodologia utilizada e as tecnologias patenteadas pela empresa Terra Armada, sendo estas compostas pelos Arcos “Techspan” e muros de ala executados com recurso à tecnologia “Terra Armada”. Em relação à ponte sobre o rio Antuã inserida no trecho 2 da empreitada de construção da A32, foi construída com recurso a cimbre auto-lançável e betonada in situ, havendo a necessidade de aplicação de tecnologias patenteadas pela Freyssinet no que diz respeito às actividades de pré-esforço, aparelhos de apoio nas ligações entre o tabuleiro e os pilares e juntas de dilatação na ligação do tabuleiro aos encontros. Apresentam-se os procedimentos de montagem e aplicação das tecnologias anteriormente referidas. No presente relatório estão descritos e explicados detalhadamente os trabalhos executados pela FTA, nomeadamente a aplicação da tecnologia “Terra Armada” no que diz respeito à construção das passagens inferiores, e a aplicação da tecnologia “Freyssinet” aplicada aquando da construção da ponte sobre o rio Antuã.