P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Control and Dynamics of Fractional Order Systems

Fractional Calculus (FC) goes back to the beginning of the theory of differential calculus. Nevertheless, the application of FC just emerged in the last two decades due to the progress in the area of nonlinear dynamics. This article discusses several applications of fractional calculus in science and engineering, namely: the control of heat systems, the tuning of PID controllers based on fractional calculus concepts and the dynamics in hexapod locomotion.

Automated Synthesis Procedure of RF Discrete Tuning Differential Capacitance Circuits

The paper presents a RFDSCA automated synthesis procedure. This algorithm determines several RFDSCA circuits from the top-level system specifications all with the same maximum performance. The genetic synthesis tool optimizes a fitness function proportional to the RFDSCA quality factor and uses the epsiv-concept and maximin sorting scheme to achieve a set of solutions well distributed along a non-dominated front. To confirm the results of the algorithm, three RFDSCAs were simulated in SpectreRF and one of them was implemented and tested. The design used a 0.25 mum BiCMOS process. All the results (synthesized, simulated and measured) are very close, which indicate that the genetic synthesis method is a very useful tool to design optimum performance RFDSCAs.

Fractional Dynamics and Control of Distributed Parameter Systems

Fractional Calculus (FC) goes back to the beginning of the theory of differential calculus. Nevertheless, the application of FC just emerged in the last two decades, due to the progress in the area of chaos that revealed subtle relationships with the FC concepts. In the field of dynamical systems theory some work has been carried out but the proposed models and algorithms are still in a preliminary stage of establishment. Having these ideas in mind, the paper discusses a FC perspective in the study of the dynamics and control of some distributed parameter systems.

Analysis of Systems with Backlash and Impacts through the Describing Function

This paper analyses the dynamical properties of systems with backlash and impact phenomena based on the describing function method. The dynamics is illustrated using the Nyquist and Bode plots and the results are compared with those of standard models.

Gait Analysis of Natural and Artificial Walking Systems

This paper studies periodic gaits of multi-legged locomotion systems based on dynamic models. The purpose is to determine the system performance during walking and the best set of locomotion variables. For that objective the prescribed motion of the robot is completely characterized in terms of several locomotion variables such as gait, duty factor, body height, step length, stroke pitch, foot clearance, legs link lengths, foot-hip offset, body and legs mass and cycle time. In this perspective, we formulate three performance measures of the walking robot namely, the mean absolute energy, the mean power dispersion and the mean power lost in the joint actuators per walking distance. A set of model-based experiments reveals the influence of the locomotion variables in the proposed indices.

Kinematic Manipulability of Robotic Systems

Many tasks involving manipulation require cooperation between robots. Meanwhile, it is necessary to determine the adequate values for the robot parameters to obtain a good performence. This paper discusses several aspects related with the manipulability of two co-operative robots when handling objects with different lengths and orientations. In this line of thought, a numerical tool is developed for the calculation and the graphical visualization of the manipulability measure.

Energy analysis of Multi-legged Locomotion Systems

4th International Conference on Climbing and Walking Robots - From Biology to Industrial Applications

Scalable and Efficient Configuration of TimeDivision Multiplexed Resources

Consumer-electronics systems are becoming increasingly complex as the number of integrated applications is growing. Some of these applications have real-time requirements, while other non-real-time applications only require good average performance. For cost-efficient design, contemporary platforms feature an increasing number of cores that share resources, such as memories and interconnects. However, resource sharing causes contention that must be resolved by a resource arbiter, such as Time-Division Multiplexing. A key challenge is to configure this arbiter to satisfy the bandwidth and latency requirements of the real-time applications, while maximizing the slack capacity to improve performance of their non-real-time counterparts. As this configuration problem is NP-hard, a sophisticated automated configuration method is required to avoid negatively impacting design time. The main contributions of this article are: 1) An optimal approach that takes an existing integer linear programming (ILP) model addressing the problem and wraps it in a branch-and-price framework to improve scalability. 2) A faster heuristic algorithm that typically provides near-optimal solutions. 3) An experimental evaluation that quantitatively compares the branch-and-price approach to the previously formulated ILP model and the proposed heuristic. 4) A case study of an HD video and graphics processing system that demonstrates the practical applicability of the approach.

Integration of repositories in elearning systems

The wide acceptance of digital repositories today in the eLearning field raises several interoperability issues. In this paper we present the interoperability features of a service oriented repository of learning objects called crimsonHex. These features are compliant with the existing standards and we propose extensions to the IMS interoperability recommendation, adding new functions, formalizing message interchange and providing also a REST interface. To validate the proposed extensions and its implementation in crimsonHex we developed a repository plugin for Moodle 2.0 that is expected to be included in the next release of this popular learning management system.

Master's in Autonomous Systems: An Overview of the Robotics Curriculum and Outcomes at ISEP, Portugal

Robotics research in Portugal is increasing every year, but few students embrace it as one of their first choices for study. Until recently, job offers for engineers were plentiful, and those looking for a degree in science and technology would avoid areas considered to be demanding, like robotics. At the undergraduate level, robotics programs are still competing for a place in the classical engineering graduate curricula. Innovative and dynamic Master's programs may offer the solution to this gap. The Master's degree in autonomous systems at the Instituto Superior de Engenharia do Porto (ISEP), Porto, Portugal, was designed to provide a solid training in robotics and has been showing interesting results, mainly due to differences in course structure and the context in which students are welcomed to study and work.

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.

Optimização de Processo Semiautomático de Fabrico de Componentes para Automóveis

A competitividade no fabrico de componentes para a indústria automóvel é um factor-chave para o sucesso de qualquer empresa que queira permanecer neste sector de actividade. Atendendo a que o custo de mão-de-obra tem tendência a subir, e que a qualidade é muito mais difícil de assegurar quando os processos assentam essencialmente em produção manual, a automatização ganha cada vez maior relevo, permitindo uma maior produtividade e repetibilidade, assegurando simultaneamente níveis de qualidade superiores, o que contribui também para um incremento da produtividade ainda mais acentuado. Em Portugal, muitas empresas que trabalham para o sector automóvel já apostam fortemente na automatização de processos, e até na robotização. Esta é a única via para melhorar a competitividade e conseguir concorrer com países onde a mão-de-obra é bastante mais económica, ou com outros onde a automação está fortemente instalada. Este trabalho centrou-se na optimização de um equipamento destinado ao fabrico semiautomático de estruturas de assentamento dos estofos para automóveis. O equipamento original estava já fortemente automatizado, mas necessitava ainda de algumas operações manuais, as quais se resumiam a pouco mais do que transferência e agrupamento de subconjuntos. O trabalho teve que ter em conta todas as limitações impostas pelos sistemas já existentes, e ser realizável com o custo mais económico possível. Depois de vários estudos e propostas, o projecto foi implementado.

Maturity models in the hospital information systems management initial research

Os modelos de maturidade são instrumentos facilitadores da gestão das organizações, incluindo a gestão da sua função sistemas de informação, não sendo exceção as organizações hospitalares. Neste artigo apresenta-se uma investigação inicial que visa o desenvolvimento de um abrangente modelo de maturidade para a gestão dos sistemas de informação hospitalares. O desenvolvimento deste modelo justifica-se porque os modelos de maturidade atuais no domínio da gestão dos sistemas informação hospitalares ainda se encontram numa fase embrionária de desenvolvimento, sobretudo porque são pouco detalhados, não disponibilizam ferramentas para determinação da maturidade e não apresentam as características dos estágios de maturidade estruturadas por diferentes fatores de influência.