Cycle time properties of the PROFIBUS timed-token protocol

A recent trend in distributed computer-controlled systems (DCCS) is to interconnect the distributed computing elements by means of multi-point broadcast networks. Since the network medium is shared between a number of network nodes, access contention exists and must be solved by a medium access control (MAC) protocol. Usually, DCCS impose real-time constraints. In essence, by real-time constraints we mean that traffic must be sent and received within a bounded interval, otherwise a timing fault is said to occur. This motivates the use of communication networks with a MAC protocol that guarantees bounded access and response times to message requests. PROFIBUS is a communication network in which the MAC protocol is based on a simplified version of the timed-token protocol. In this paper we address the cycle time properties of the PROFIBUS MAC protocol, since the knowledge of these properties is of paramount importance for guaranteeing the real-time behaviour of a distributed computer-controlled system which is supported by this type of network.

Reorganização do controlo postural em indivíduos com AVE. Intervenção em fisioterapia

Objectivos: Identificar as alterações no controlo postural do tronco e repercussões na independência funcional de indivíduos com acidente vascular encefálico (AVE), bem como averiguar se ocorreram mudanças a esse nível após a intervenção, baseada na abordagem segundo o Conceito de Bobath. Metodologia: Foram seleccionados para este estudo dois indivíduos com alterações no controlo postural, resultantes de um AVE, em fase aguda. A avaliação foi realizada em dois momentos (M0 e M1), antes e após quatro semanas da realização da intervenção através da análise do movimento, da aplicação da Escala de Avaliação Postural para Pacientes com Sequelas de AVE (PASS), da Escala de Equilíbrio de Berg (EEB), da Escala Modificada de Barthel (BEM), do Teste Timed Up & Go (TUG) e da Classificação Internacional de Funcionalidade, Incapacidade e Saúde (CIF). Resultados: Os scores obtidos em M1 nos vários instrumentos aplicados, bem como a análise de movimento traduzem a evolução favorável no controlo postural do tronco e na independência nas actividades da vida diária (AVD), observada em ambos os casos clínicos. Verificou-se uma evolução mais evidente na EMB e EEB onde o indivíduo A evoluiu na EMB de 51 em M0 para 94 pontos em M1e o indivíduo B de 51 para 89 pontos. Na EEB o indivíduo A progrediu de 22 para 41 pontos e o indivíduo B de 10 para 36 pontos. Conclusão: Os participantes em estudo evidenciaram modificações no controlo postural com repercussões positivas na independência funcional, após a intervenção com base numa abordagem segundo o conceito de Bobath.

Avaliação da posição ortostática em plataforma de forças de dois indivíduos com acidente vascular encefálico antes e após uma intervenção baseado no conceito Bobath

Introdução: O acidente vascular encefálico (AVE) é uma importante e frequente condição de saúde que se repercute na funcionalidade do indivíduo. No sentido de reabilitar a função perdida, é comum o recurso a intervenções de fisioterapia baseado o conceito de Bobath. Como tal, importa verificar, as modificações no âmbito do controlo postural, através da migração do centro de pressão na base de suporte, face à aplicação de uma intervenção segundo abordagem baseada no conceito de Bobath em dois indivíduos com AVE. Métodos e participantes: Foram recrutados dois indivíduos com diagnóstico de AVE num hospital da zona do grande Porto. Dados referentes ao equilíbrio estático na condição de medição “olhos abertos ou fechados” e “calçado ou descalço” foram obtidos através de plataforma de forças, antes e após uma intervenção baseado no conceito de Bobath durante 13 semanas (M0 e M1). Nestes dois momentos foram ainda avaliados a mobilidade, função cognitiva, participação, equilíbrio através do teste Timed Up & Go (TUG) e Timed Up & Go Modificado (TUGM), e das escalas Mini Mental State Examination (MMSE), Postural Assessment for Stroke Scale (PASS), Escala de Berg (EB) e Índice de Barthel Modificado (IBM). Resultados: Os participantes obtiveram em ambos os momentos pontuação máxima no MMSE. Ambos os indivíduos atingiram o valor máximo no IBM em M1 (Mo: A: 78; B: 65). Ambos os indivíduos aumentaram o score entre M0 e M1, relativamente ao PASS (A: M0:21; M1:33; B: M0: 26; M1:34) e EB (A: M0:48; M1:54; B: M0: 30; M1:50). O tempo de realização do TUG e do TUGM diminuíram entre momentos em ambos os indivíduos (respectivamente: A: 15''13'' a 13''27''; B: 24''13'' a 13''88'' e A: 19''08''' a 13''27''; B: 29''60''' a 17''64'''). A área de deslocação do centro de pressão (CP) variou entre momentos em todas as condições de avaliação, sendo menor na condição “olhos abertos e descalço” em ambos os participantes (“olhos abertos e calçado”: A: M0= 1,364, M1=2,796; B: M0=1,892, M1=2,979; “olhos abertos e descalço”: A: M0= 0,758, M1=0,727; B: M0=3,064, M1=1,952; “olhos fechados e calçado”: A: M0= 2,360, M1=2,998; B: M0=2,232, M1= 4,392; “olhos fechados e descalço”: A: M0= 1,347, M1=2,388; B: M0=1,652, M1= 1,016). O desvio padrão das deslocações anteroposteriores variou entre momentos, sendo tendencialmente maior em M1 e na condição “descalço e olhos abertos”(“olhos abertos e calçado”: A: M0= 0,201, M1=0,500; B: M0=0,252, M1=0,310; “olhos abertos e descalço”: A: M0= 0,118, M1=0,165; B: M0=0,282, M1=0,276; “olhos fechados e calçado”: A: M0= 0,308, M1=0,398; B: M0=0,274, M1= 0,471; “olhos fechados e descalço”: A: M0= 0,158 , M1=0,373; B: M0=0,230, M1= 0,172), o desvio padrão das deslocações médio-lateral seguem a mesma tendência (“olhos abertos e calçado”: A: M0= 0,370 , M1=0,473; B: M0=0,454, M1=0,517; “olhos abertos e descalço”: A: M0= 0,354, M1=0,236 ; B: M0=0,584, M1=0,381; “olhos fechados e calçado”: A: M0= 0,425, M1=0,463; B: M0=0,462, M1= 0,583; “olhos fechados e descalço”: A: M0= 0,475, M1=0,416; B: M0=0,389, M1= 0,342). A velocidade de oscilação na direcção antero – posterior variou entre momentos, sendo tendencialmente menor em M1, em ambos os participantes e em todas as condições de avaliação: “olhos abertos e calçado”: A: M0= 0,886 , M1=0,532; B: M0=2,507, M1=01,072; “olhos abertos e descalço”: A: M0= 2,562, M1=3,815 ; B: M0=4,367, M1=0,262; “olhos fechados e calçado”: A: M0= 2,689, M1=1,757; B: M0=2,821, M1= 0,769; “olhos fechados e descalço”: A: M0= 2,984, M1=2,525; B: M0=4,100, M1= 0,265), a velocidade de oscilação na direcção médio – lateral seguem a mesma tendência para as condições de “olhos abertos e calçado”: A: M0= 6,524 , M1=6,218; B: M0=0,467, M1=0,404; “olhos fechados e calçado”: A: M0= 6,387, M1=1,927; B: M0=0,351, M1= 0,505; mas a velocidade de oscilação aumenta para as condições de “olhos abertos e descalço”: A: M0= 3,108, M1=7,806 ; B: M0=1,150, M1=8,054; “olhos fechados e descalço”: A: M0= 3,444, M1=3,839; B: M0=1,434, M1= 7,891). Conclusão: Entre os dois momentos os indivíduos melhoraram a sua mobilidade, equilíbrio, participação e actividades, potencialmente devido à intervenção baseado no conceito de Bobath.

Solving a signalized traffic intersection problem with an hyperbolic penalty function

Mathematical Program with Complementarity Constraints (MPCC) finds many applications in fields such as engineering design, economic equilibrium and mathematical programming theory itself. A queueing system model resulting from a single signalized intersection regulated by pre-timed control in traffic network is considered. The model is formulated as an MPCC problem. A MATLAB implementation based on an hyperbolic penalty function is used to solve this practical problem, computing the total average waiting time of the vehicles in all queues and the green split allocation. The problem was codified in AMPL.

Coordenação de veículo de inspecção subaquática com veículo de superfície autónomo

O LSA/ISEP(Laboratório de sistemas Autónomos do Instituto Superior de Engenharia do Porto) tem vindo nos últimos anos a desenvolver sistemas robóticos inovadores para operação em ambiente marinho sendo o veículo de superfície autónomo ROAZ II um exemplo de renome internacional. Neste contexto, e tendo em vista a satisfação dos requisitos parciais conducentes à obtenção do grau de Mestre em Eng. Electrotécnica e de Computadores - Ramo de Sistemas Autónomos do ISEP, o presente trabalho visou a integração de um robô submarino operado remotamente (ROV) com o robô de superfície ROAZ II. Esta solução inovadora de operação coordenada e integrada de um ASV/ROV permite dotar o ASV de mobilidade e visão subaquática. Após a caracterização e análise de requisitos de diversos cenários operacionais foi apresentada uma arquitectura de controlo coordenado dos dois veículos baseada em manobras de controlo descritas por autómatos híbridos. Os dois veículos foram modelados e as manobras coordenadas projectadas foram validadas com um simulador em ambiente Matlab/Simulink. Foi desenvolvido um sistema de localização relativa do ROV através da fusão sensorial de um sistema INS com um sistema acústico USBL utilizando um filtro EKF. O veículo ROV (VideoRay) do LSA foi instrumentado com os sensores necessários e efectuada a integração de hardware e software com o ASV ROAZ II permitindo a operação remota. Foi realizada uma missão demonstrativa de inspecção de pilares subaquáticos em cenário real com a operação conjunta dos dois robôs.

Real-time fieldbus communications using Profibus networks

This paper provides a comprehensive study on how to use Profibus fieldbus networks to support real-time industrial communications, that is, on how to ensure the transmission of real-time messages within a maximum bound time. Profibus is base on a simplified timed token (TT) protocol, which is a well-proved solution for real-time communication systems. However, Profibus differs with respect to the TT protocol, thus preventing the application of the usual TT protocol real-time analysis. In fact, real-time solutions for networks based on the TT protocol rely on the possibility of allocating specific bandwidth for the real-time traffic. This means that a minimum amount of time is always available, at each token visit, to transmit real-time messages, transversely, with the Profibus protocol, in the worst case, only one real-time message is processed per token visit. The authors propose two approaches to guarantee the real-time behavior of the Profibus protocol: (1) an unconstrained low-priority traffic profile; and (2) a constrained low-priority traffic profile. The proposed analysis shows that the first profile is a suitable approach for more responsive systems (tighter deadlines), while the second allows for increased nonreal-time traffic throughput

Guaranteeing real-time message deadlines in PROFIBUS networks

The paper provides a comprehensive study on how to use Profibus networks to support real time communications, that is, ensuring the transmission of the real time messages before their deadlines. Profibus is based on a simplified Timed Token (TT) protocol, which is a well proved solution for real time communication systems. However, Profibus differences from the TT protocol prevent the application of the usual TT analysis. The main reason is that, conversely to the TT protocol, in the worst case, only one high priority message is processed per token visit. The major contribution of the paper is to prove that, despite this shortcoming, it is possible to guarantee communication real time behaviour with the Profibus protocol

Efeitos imediatos da MWM na dor, amplitude de movimento e funcionalidade, na osteoartrite da anca.

Introdução: A mobilização com movimento (MWM), segundo o Conceito Mulligan tem apresentado bons resultados na melhoria da dor, amplitude de movimento e funcionalidade em diversas disfunções. No entanto, existem poucos estudos sobre a articulação da anca e, até este momento, não foi avaliada a sua efetividade em indivíduos com osteoartrite da anca. Objectivo(s): Avaliar os efeitos imediatos da técnica de MWM na dor, na amplitude de movimento e na função física em indivíduos com osteoartrite da anca. Métodos: Foram incluídos 40 participantes com osteoartrite da anca, divididas de forma aleatória em dois grupos (experimental e placebo). Foram avaliadas as amplitudes de movimento de flexão e rotação medial da anca recorrendo ao goniómetro universal, a intensidade da dor através da Escala Numérica da Dor e a funcionalidade através de testes de função física, antes e imediatamente após a intervenção. Para o tratamento estatístico, foi utilizado um nível de significância de 0,05. Resultados: A aplicação de MWM resultou em diferenças significativas, com redução da dor na Escala Numérica da Dor (p=0,005), um aumento de amplitude de movimento de flexão (p=0,001) e de rotação medial (p=0,011), uma diminuição nos tempos dos testes de função física, o teste Timed “Up and Go” (p=0,037) e o teste “40m Self Placed Walk” (p=0,019), e um aumento nas repetições do teste ―30 seg Sit to Stand” (p=0,009), comparativamente ao grupo placebo. Conclusão: Os resultados sugerem que a técnica MWM parece produzir um efeito imediato significativo na diminuição da dor, aumento de amplitude articular e melhoria da função física em indivíduos com osteoartrite da anca. Este efeito foi maior para dor, para as amplitudes de movimento e para o teste de função física - ―30 seg Sit to Stand” quando se analisou a magnitude do efeito.

An intelligent clustering scheme for distributed intrusion detection in vehicular cloud computing

In recent years, vehicular cloud computing (VCC) has emerged as a new technology which is being used in wide range of applications in the area of multimedia-based healthcare applications. In VCC, vehicles act as the intelligent machines which can be used to collect and transfer the healthcare data to the local, or global sites for storage, and computation purposes, as vehicles are having comparatively limited storage and computation power for handling the multimedia files. However, due to the dynamic changes in topology, and lack of centralized monitoring points, this information can be altered, or misused. These security breaches can result in disastrous consequences such as-loss of life or financial frauds. Therefore, to address these issues, a learning automata-assisted distributive intrusion detection system is designed based on clustering. Although there exist a number of applications where the proposed scheme can be applied but, we have taken multimedia-based healthcare application for illustration of the proposed scheme. In the proposed scheme, learning automata (LA) are assumed to be stationed on the vehicles which take clustering decisions intelligently and select one of the members of the group as a cluster-head. The cluster-heads then assist in efficient storage and dissemination of information through a cloud-based infrastructure. To secure the proposed scheme from malicious activities, standard cryptographic technique is used in which the auotmaton learns from the environment and takes adaptive decisions for identification of any malicious activity in the network. A reward and penalty is given by the stochastic environment where an automaton performs its actions so that it updates its action probability vector after getting the reinforcement signal from the environment. The proposed scheme was evaluated using extensive simulations on ns-2 with SUMO. The results obtained indicate that the proposed scheme yields an improvement of 10 % in detection rate of malicious nodes when compared with the existing schemes.

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Feasibility and acceptability of an exergame intervention for schizophrenia

Objectives To evaluate the feasibility and acceptability of an exergame intervention as a tool to promote physical activity in outpatients with schizophrenia. Design Feasibility/Acceptability Study and Quasi-Experimental Trial. Method Sixteen outpatients with schizophrenia received treatment as usual and they all completed an 8-week exergame intervention using Microsoft Kinect® (20 min sessions, biweekly). Participants completed pre and post treatment assessments regarding functional mobility (Timed Up and Go Test), functional fitness performance (Senior Fitness Test), motor neurological soft signs (Brief Motor Scale), hand grip strength (digital dynamometer), static balance (force plate), speed of processing (Trail Making Test), schizophrenia-related symptoms (Positive and Negative Syndrome Scale) and functioning (Personal and Social Performance Scale). The EG group completed an acceptability questionnaire after the intervention. Results Attrition rate was 18.75% and 69.23% of the participants completed the intervention within the proposed schedule. Baseline clinical traits were not related to game performance indicators. Over 90% of the participants rated the intervention as satisfactory and interactive. Most participants (76.9%) agreed that this intervention promotes healthier lifestyles and is an acceptable alternative to perform physical activity. Repeated-measures MANOVA analyses found no significant multivariate effects for combined outcomes. Conclusion This study established the feasibility and acceptability of an exergame intervention for outpatients with schizophrenia. The intervention proved to be an appealing alternative to physical activity. Future trials should include larger sample sizes, explore patients' adherence to home-based exergames and consider greater intervention dosage (length, session duration, and/or frequency) in order to achieve potential effects.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Immediate effects of hip mobilization with movement in patients with hip osteoarthritis: A randomised controlled trial

Background Mobilization with movement (MWM) has been shown to reduce pain, increase range of motion (ROM) and physical function in a range of different musculoskeletal disorders. Despite this evidence, there is a lack of studies evaluating the effects of MWM for hip osteoarthritis (OA). Objectives To determine the immediate effects of MWM on pain, ROM and functional performance in patients with hip OA. Design Randomized controlled trial with immediate follow-up. Method Forty consenting patients (mean age 78 ± 6 years; 54% female) satisfied the eligibility criteria. All participants completed the study. Two forms of MWM techniques (n = 20) or a simulated MWM (sham) (n = 20) were applied. Primary outcomes: pain recorded by numerical rating scale (NRS). Secondary outcomes: hip flexion and internal rotation ROM, and physical performance (timed up and go, sit to stand, and 40 m self placed walk test) were assessed before and after the intervention. Results For the MWM group, pain decreased by 2 points on the NRS, hip flexion increased by 12.2°, internal rotation by 4.4°, and functional tests were also improved with clinically relevant effects following the MWM. There were no significant changes in the sham group for any outcome variable. Conclusions Pain, hip flexion ROM and physical performance immediately improved after the application of MWM in elderly patients suffering hip OA. The observed immediate changes were of clinical relevance. Future studies are required to determine the long-term effects of this intervention.

XATA 2010 : XML : Associated Technologies and Applications, 8th

These are the proceedings for the eighth national conference on XML, its Associated Technologies and its Applications (XATA'2010). The paper selection resulted in 33% of papers accepted as full papers, and 33% of papers accepted as short papers. While these two types of papers were distinguish during the conference, and they had different talk duration, they all had the same limit of 12 pages. We are happy that the selected papers focus both aspects of the conference: XML technologies, and XML applications. In the first group we can include the articles on parsing and transformation technologies, like “Processing XML: a rewriting system approach", “Visual Programming of XSLT from examples", “A Refactoring Model for XML Documents", “A Performance based Approach for Processing Large XML Files in Multicore Machines", “XML to paper publishing with manual intervention" and “Parsing XML Documents in Java using Annotations". XML-core related papers are also available, focusing XML tools testing on “Test::XML::Generator: Generating XML for Unit Testing" and “XML Archive for Testing: a benchmark for GuessXQ". XML as the base for application development is also present, being discussed on different areas, like “Web Service for Interactive Products and Orders Configuration", “XML Description for Automata Manipulations", “Integration of repositories in Moodle", “XML, Annotations and Database: a Comparative Study of Metadata Definition Strategies for Frameworks", “CardioML: Integrating Personal Cardiac Information for Ubiquous Diagnosis and Analysis", “A Semantic Representation of Users Emotions when Watching Videos" and “Integrating SVG and SMIL in DAISY DTB production to enhance the contents accessibility in the Open Library for Higher Education". The wide spread of subjects makes us believe that for the time being XML is here to stay what enhances the importance of gathering this community to discuss related science and technology. Small conferences are traversing a bad period. Authors look for impact and numbers and only submit their works to big conferences sponsored by the right institutions. However the group of people behind this conference still believes that spaces like this should be preserved and maintained. This 8th gathering marks the beginning of a new cycle. We know who we are, what is our identity and we will keep working to preserve that. We hope the publication containing the works of this year's edition will catch the same attention and interest of the previous editions and above all that this publication helps in some other's work. Finally, we would like to thank all authors for their work and interest in the conference, and to the scientific committee members for their review work.