57 resultados para replicazione ottimistica, eventual consistency
Resumo:
O bacalhau (Gadus morhua) faz parte da dieta alimentar dos portugueses há vários séculos, sendo atualmente, um dos maiores consumidores deste peixe a nível mundial. Após o processo de salga, esta espécie possui características únicas como a consistência, cheiro, paladar e cor amarela. É precisamente devido à coloração do peixe que alguns produtores da Islândia, Noruega e Dinamarca requisitaram às autoridades da União Europeia (UE) a aprovação da utilização de polifosfatos no processo de salga húmida do bacalhau. Os polifosfatos são aditivos alimentares bastante usados no processamento do pescado pois previnem a oxidação dos lípidos e proteínas do músculo do bacalhau, evitando assim a indesejada mudança de cor do peixe. Apesar dos esforços da Associação dos Industriais do Bacalhau (AIB) e do governo português para a rejeição da proposta nórdica, tal não se verificou. Deste modo, no início do próximo ano já será possível a venda na UE de bacalhau com fosfatos. A quantificação do teor de fosfatos no bacalhau é geralmente efetuada por Espetrofotometria de absorção molecular no ultravioleta-visível (UV-Visível). Esta quantificação é baseada no método de determinação do fósforo total, através da hidrólise dos fosfatos a ortofosfatos com posterior medição da cor amarela, gerada pela reação destes com uma solução de molibdato-vanadato. O objetivo desta dissertação foi a validação de um método de análise para a quantificação dos polifosfatos no bacalhau. O método validado foi o descrito na norma NP 4495 para produtos de pesca e aquicultura. O desenvolvimento deste trabalho foi realizado em laboratório acreditado para águas e produtos alimentares (Equilibrium - Laboratório de Controlo de Qualidade e de Processos Lda, L0312). Foi ainda determinada a influência do teor de cloreto de sódio na quantificação dos polifosfatos e o teor de humidade, uma vez que este pode afetar o produto durante a sua comercialização. No processo de validação do método foram estudados diversos parâmetros, tais como a seletividade, linearidade, sensibilidade, limite de quantificação e precisão. Pela análise dos resultados obtidos conclui-se que o método para determinação de fosfatos no bacalhau se encontra validado, uma vez que satisfaz todas as especificações determinadas para cada parâmetro de validação avaliado.
Resumo:
Para uma melhor avaliação e definição do plano de intervenção do indivíduo, é cada vez mais importante a existência instrumentos de avaliação válidos e fiáveis para a população portuguesa. Objetivo: Traduzir e adaptar para a população Portuguesa a escala Trunk Impairment Scale (TIS) em pacientes pós-AVE, e avaliar as propriedades psicométricas da mesma. Metodologia: A TIS foi traduzida para o Português e adaptada culturalmente para a população portuguesa. As propriedades psicométricas da mesma, incluindo validade, fiabilidade, concordância inter-observadores, consistência interna, sensibilidade, especificidade, poder de resposta, foram avaliadas numa população diagnosticada com AVE e num grupo de controlo de participantes saudáveis. Participaram neste estudo 80 indivíduos, divididos em dois grupos, nomeadamente indivíduos pós-AVE (40) e um grupo sem patologia (40). Os participantes foram submetidos à aplicação das escalas de Berg, Medida de Independência Funcional e Escala de Desempenho Físico Fugl Meyer e a TIS de modo a avaliar as propriedades psicométricas desta. As avaliações foram realizadas por duas fisioterapeutas experientes e o re-teste foi realizado após 48 horas. Os dados foram registados e trabalhados com o programa informático SPSS 21.0. Resultados: Relativamente aos valores obtidos, verificou-se que, quanto à consistência interna da TIS estes apresentam-se de forma moderada a elevada (alfa Cronbach = 0,909). Quanto à fiabilidade inter-observadores, os itens com menor valor são os itens 1 e 4 (0,759 e 0,527, respetivamente) e os itens com valor de Kappa mais alto são os itens 5 e 6 (0,830 e 0,893, respetivamente). Relativamente à validade de critério, verificou-se que não houve correlação entre a escala de Desempenho Físico Fugl-Meyer, a escala de Equilibrio de Berg e a Medida de Independência Funcional, ou seja, os valores obtidos r=0,166; r=0,017; r= -0,002, respetivamente. Quanto à validade de construção, constatou-se que o valor da mediana é mais elevado nos itens 1 a 5, logo sugere que haja diferenças entre o grupo de indivíduos pós-AVE e o grupo de indivíduos saudáveis (p<0,001). Entre os outros dois itens (6 e 7) não foram encontradas diferenças nas respostas nos dois grupos, sendo o valor de p > 0,001. Conclusão: Os resultados obtidos neste estudo sugerem que a versão portuguesa da TIS apresenta bons níveis de fiabilidade, consistência interna e também apresenta bons resultados no que refere à concordância inter-observadores.
Resumo:
A satisfação do utente na comunicação com profissionais de saúde é um indicador de qualidade dos serviços ou instituições. Na literatura não encontramos instrumentos padronizados e validados, que avaliem a satisfação do utente na comunicação com os profissionais de saúde. O presente estudo tem como objetivo construir e validar um instrumento para avaliar a satisfação do utente na comunicação com os profissionais de saúde. Desenvolvemos este estudo em três ciclos. Um primeiro, revisão da literatura, para identificar dimensões e itens da comunicação interpessoal na saúde. No segundo ciclo, conduzimos um método de Delphi modificado em três rondas, com recurso à plataforma informática de questionários Survey Monkey, no qual participou um painel de 25 peritos; estabelecemos como critério mínimo de retenção para a ronda seguinte os itens que recebessem 70% do consenso por parte do painel. Após as três rondas, obtivemos um instrumento com seis dimensões comunicacionais (comunicação verbal, comunicação não verbal, empatia, respeito, resolução de problemas e material de apoio), vinte e cinco itens específicos, e mais seis dimensões genéricas, que avaliam cada uma das dimensões. No terceiro ciclo avaliamos as características psicométricas, em termos de sensibilidade, validade do construto e fidelidade, numa amostra de 348 participantes. Os resultados mostram que todas as categorias de resposta estavam representadas em todos os itens. Validade do construto- a análise fatorial identificou uma solução de seis componentes que explicam 71% da variância total. Fiabilidade - os valores da correlação item-total variam entre 0,387 e 0,722, existindo uma correlação positiva moderada a forte. O valor de alfa de Cronbach (α=0,928) indica que a consistência interna é excelente. O instrumento construído apresenta boas propriedades psicométricas. Fica assim disponível uma nova ferramenta para auxiliar na gestão e no processo de planeamento necessários ao incremento da qualidade nos serviços e instituições de saúde.
Resumo:
The development and applications of thermoset polymeric composites, namely fibre reinforced plastics (FRP), have shifted in the last decades more and more into the mass market [1]. Despite of all advantages associated to FRP based products, the increasing production and consume also lead to an increasing amount of FRP wastes, either end-of-lifecycle products, or scrap and by-products generated by the manufacturing process itself. Whereas thermoplastic FRPs can be easily recycled, by remelting and remoulding, recyclability of thermosetting FRPs constitutes a more difficult task due to cross-linked nature of resin matrix. To date, most of the thermoset based FRP waste is being incinerated or landfilled, leading to negative environmental impacts and supplementary added costs to FRP producers and suppliers. This actual framework is putting increasing pressure on the industry to address the options available for FRP waste management, being an important driver for applied research undertaken cost efficient recycling methods. [1-2]. In spite of this, research on recycling solutions for thermoset composites is still at an elementary stage. Thermal and/or chemical recycling processes, with partial fibre recovering, have been investigated mostly for carbon fibre reinforced plastics (CFRP) due to inherent value of carbon fibre reinforcement; whereas for glass fibre reinforced plastics (GFRP), mechanical recycling, by means of milling and grinding processes, has been considered a more viable recycling method [1-2]. Though, at the moment, few solutions in the reuse of mechanically-recycled GFRP composites into valueadded products are being explored. Aiming filling this gap, in this study, a new waste management solution for thermoset GFRP based products was assessed. The mechanical recycling approach, with reduction of GFRP waste to powdered and fibrous materials was applied, and the potential added value of obtained recyclates was experimentally investigated as raw material for polyester based mortars. The use of a cementless concrete as host material for GFRP recyclates, instead of a conventional Portland cement based concrete, presents an important asset in avoiding the eventual incompatibility problems arisen from alkalis silica reaction between glass fibres and cementious binder matrix. Additionally, due to hermetic nature of resin binder, polymer based concretes present greater ability for incorporating recycled waste products [3]. Under this scope, different GFRP waste admixed polymer mortar (PM) formulations were analyzed varying the size grading and content of GFRP powder and fibre mix waste. Added value of potential recycling solution was assessed by means of flexural and compressive loading capacities of modified mortars with regard to waste-free polymer mortars.
Resumo:
A new method, based on linear correlation and phase diagrams was successfully developed for processes like the sedimentary process, where the deposition phase can have different time duration - represented by repeated values in a series - and where the erosion can play an important rule deleting values of a series. The sampling process itself can be the cause of repeated values - large strata twice sampled - or deleted values: tiny strata fitted between two consecutive samples. What we developed was a mathematical procedure which, based upon the depth chemical composition evolution, allows the establishment of frontiers as well as the periodicity of different sedimentary environments. The basic tool isn't more than a linear correlation analysis which allow us to detect the existence of eventual evolution rules, connected with cyclical phenomena within time series (considering the space assimilated to time), with the final objective of prevision. A very interesting discovery was the phenomenon of repeated sliding windows that represent quasi-cycles of a series of quasi-periods. An accurate forecast can be obtained if we are inside a quasi-cycle (it is possible to predict the other elements of the cycle with the probability related with the number of repeated and deleted points). We deal with an innovator methodology, reason why it's efficiency is being tested in some case studies, with remarkable results that shows it's efficacy. Keywords: sedimentary environments, sequence stratigraphy, data analysis, time-series, conditional probability.
Resumo:
Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).
Resumo:
Decentralised co-operative multi-agent systems are computational systems where conflicts are frequent due to the nature of the represented knowledge. Negotiation methodologies, in this case argumentation based negotiation methodologies, were developed and applied to solve unforeseeable and, therefore, unavoidable conflicts. The supporting computational model is a distributed belief revision system where argumentation plays the decisive role of revision. The distributed belief revision system detects, isolates and solves, whenever possible, the identified conflicts. The detection and isolation of the conflicts is automatically performed by the distributed consistency mechanism and the resolution of the conflict, or belief revision, is achieved via argumentation. We propose and describe two argumentation protocols intended to solve different types of identified information conflicts: context dependent and context independent conflicts. While the protocol for context dependent conflicts generates new consensual alternatives, the latter chooses to adopt the soundest, strongest argument presented. The paper shows the suitability of using argumentation as a distributed decentralised belief revision protocol to solve unavoidable conflicts.
Resumo:
The environmental management domain is vast and encompasses many identifiable activities: impact assessment, planning, project evaluation, etc. In particular, this paper focusses on the modelling of the project evaluation activity. The environmental decision support system under development aims to provide assistance to project developers in the selection of adequate locations, guaranteeing the compliance with the applicable regulations and the existing development plans as well as satisfying the specified project requirements. The inherent multidisciplinarity features of this activity lead to the adoption of the Multi-Agent paradigm, and, in particular, to the modelling of the involved agencies as a community of cooperative autonomous agents, where each agency contributes with its share of problem solving to the final system’s recommendation. To achieve this behaviour the many conclusions of the individual agencies have to be justifiably accommodated: not only they may differ, but can be interdependent, complementary, irreconcilable, or simply, independent. We propose different solutions (involving both local and global consistency) to support the adequate merge of the distinct perspectives that inevitably arise during this type of decision making.
Resumo:
Belief revision is a critical issue in real world DAI applications. A Multi-Agent System not only has to cope with the intrinsic incompleteness and the constant change of the available knowledge (as in the case of its stand alone counterparts), but also has to deal with possible conflicts between the agents’ perspectives. Each semi-autonomous agent, designed as a combination of a problem solver – assumption based truth maintenance system (ATMS), was enriched with improved capabilities: a distributed context management facility allowing the user to dynamically focus on the more pertinent contexts, and a distributed belief revision algorithm with two levels of consistency. This work contributions include: (i) a concise representation of the shared external facts; (ii) a simple and innovative methodology to achieve distributed context management; and (iii) a reduced inter-agent data exchange format. The different levels of consistency adopted were based on the relevance of the data under consideration: higher relevance data (detected inconsistencies) was granted global consistency while less relevant data (system facts) was assigned local consistency. These abilities are fully supported by the ATMS standard functionalities.
Resumo:
Um dos factos índice do estado de insolvência é o atraso, superior a nove meses, na aprovação e depósito das contas, se a tanto a entidade em causa estiver legalmente obrigada (cf. art. 20.º, n.º 1, h, do CIRE). Ora, o que nos propomos analisar na presente comunicação são, antes de mais, os pressupostos de que depende este indicador de insolvência, designadamente, as entidades abrangidas e as contas relevantes. Centrando-nos em especial nas sociedades comerciais, pretendemos analisar o processo de elaboração das contas, os órgãos para tanto competentes e os prazos a observar. Seguidamente, uma vez elaboradas as contas, devem as mesmas ser submetidas aos sócios para aprovação, depois de eventual controlo e parecer dos órgãos próprios. O passo final é o depósito e a publicidade das contas. Todavia, importa que na análise deste processo se tenham em conta as vicissitudes que podem condicionar os vários passos do processo, e os mecanismos instituídos para a sua (eventual) superação. Por fim, cabe avaliar como se compatibilizam as regras societárias sobre a elaboração, aprovação e depósito das contas, com a previsão do facto-índice referido para efeitos de insolvência.
Resumo:
Among aminoacidopathies, phenylketonuria (PKU) is the most prevalent one. Early diagnosis in the neonatal period with a prompt nutritional therapy (low natural-protein and phenylalanine diet, supplemented with phenylalanine-free amino acid mixtures and special low-protein foods) remains the mainstay of the treatment. Data considering nutrient contents of cooked dishes is lacking. In this study, fourteen dishes specifically prepared for PKU individuals were analysed, regarding the lipid profile and iron and zinc contents. These dishes are poor sources of essential nutrients like Fe, Zn or n-3 fatty acids, reinforcing the need for adequate supplementation to cover individual patients’ needs. This study can contribute to a more accurate adjustment of PKU diets and supplementation in order to prevent eventual nutritional deficiencies. This study contributes to a better understanding of nutrient intake from PKU patients’ meals, showing the need for dietary supplementation.
Resumo:
Artigo científico disponível actualmente em Early View (Online Version of Record published before inclusion in an issue)
Resumo:
A relação entre consciência fonológica e consciência morfológica e a contribuição independente de cada uma para a aprendizagem da leitura não reúnem ainda consenso na literatura. Alguns autores argumentam que a consciência morfológica não contribui de forma independente da consciência fonológica para a aprendizagem da leitura. No entanto, outros encontraram dados que indicam que a consciência morfológica tem um papel específi co na progressão da aprendizagem da leitura. Todavia, para além da variedade de tarefas usadas não permitir a comparação de resultados, a ausência de estudos prévios sobre a validade e a fi delidade das mesmas conduz a resultados cuja confi abilidade pode ser posta em causa. Este estudo tem como objetivo apresentar uma análise das qualidades psicométricas da PCM - Prova de Consciência Morfológica. A amostra é constituída por 243 crianças do 2.º (n = 79), 3.º (n = 83) e 4.º (n = 81) anos frequentando escolas públicas, urbanas, do distrito do Porto (norte de Portugal). Os resultados revelaram que a PCM possui uma elevada consistência interna (α = .95). Na análise em componentes principais, foi extraído um único fator, com valor próprio igual a 10.88, que explica 54.42% da variância total dos resultados. Os itens são todos saturados no fator, variando as saturações fatoriais entre um mínimo de .42 e o máximo de .91
Resumo:
Task scheduling is one of the key mechanisms to ensure timeliness in embedded real-time systems. Such systems have often the need to execute not only application tasks but also some urgent routines (e.g. error-detection actions, consistency checkers, interrupt handlers) with minimum latency. Although fixed-priority schedulers such as Rate-Monotonic (RM) are in line with this need, they usually make a low processor utilization available to the system. Moreover, this availability usually decreases with the number of considered tasks. If dynamic-priority schedulers such as Earliest Deadline First (EDF) are applied instead, high system utilization can be guaranteed but the minimum latency for executing urgent routines may not be ensured. In this paper we describe a scheduling model according to which urgent routines are executed at the highest priority level and all other system tasks are scheduled by EDF. We show that the guaranteed processor utilization for the assumed scheduling model is at least as high as the one provided by RM for two tasks, namely 2(2√−1). Seven polynomial time tests for checking the system timeliness are derived and proved correct. The proposed tests are compared against each other and to an exact but exponential running time test.
Resumo:
Dissertação apresentada ao Instituto Politécnico do Porto para obtenção do Grau de Mestre em Gestão das Organizações, Ramo de Gestão de Empresas Orientada por: Professora Doutora Paula Odete Fernandes Professor Doutor Rui da Assunção Esteves Pimenta