IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

A flexible side information generation framework for distributed video coding

One of the most efficient approaches to generate the side information (SI) in distributed video codecs is through motion compensated frame interpolation where the current frame is estimated based on past and future reference frames. However, this approach leads to significant spatial and temporal variations in the correlation noise between the source at the encoder and the SI at the decoder. In such scenario, it would be useful to design an architecture where the SI can be more robustly generated at the block level, avoiding the creation of SI frame regions with lower correlation, largely responsible for some coding efficiency losses. In this paper, a flexible framework to generate SI at the block level in two modes is presented: while the first mode corresponds to a motion compensated interpolation (MCI) technique, the second mode corresponds to a motion compensated quality enhancement (MCQE) technique where a low quality Intra block sent by the encoder is used to generate the SI by doing motion estimation with the help of the reference frames. The novel MCQE mode can be overall advantageous from the rate-distortion point of view, even if some rate has to be invested in the low quality Intra coding blocks, for blocks where the MCI produces SI with lower correlation. The overall solution is evaluated in terms of RD performance with improvements up to 2 dB, especially for high motion video sequences and long Group of Pictures (GOP) sizes.

BITalino: a novel hardware framework for physiological computing

Physical computing has spun a true global revolution in the way in which the digital interfaces with the real world. From bicycle jackets with turn signal lights to twitter-controlled christmas trees, the Do-it-Yourself (DiY) hardware movement has been driving endless innovations and stimulating an age of creative engineering. This ongoing (r)evolution has been led by popular electronics platforms such as the Arduino, the Lilypad, or the Raspberry Pi, however, these are not designed taking into account the specific requirements of biosignal acquisition. To date, the physiological computing community has been severely lacking a parallel to that found in the DiY electronics realm, especially in what concerns suitable hardware frameworks. In this paper, we build on previous work developed within our group, focusing on an all-in-one, low-cost, and modular biosignal acquisition hardware platform, that makes it quicker and easier to build biomedical devices. We describe the main design considerations, experimental evaluation and circuit characterization results, together with the results from a usability study performed with volunteers from multiple target user groups, namely health sciences and electrical, biomedical, and computer engineering. Copyright © 2014 SCITEPRESS - Science and Technology Publications. All rights reserved.

Qualified intervention/qualifying formation

An education promoting scientific literacy (SL) that prepares the citizens to a responsible citizenship has persisted as an argument across discussions on curricula design. The ubiquity of science and technology on contemporary societies and the ideological requirement of informed democratic participation led to the identification of relevant categories that drive curriculum reforms towards a humanistic approach of school science. The category ‘Science as culture’ acquires in the current work a major importance: it enlightens the meaning of scientific literacy. Looking closely to the French term, culture scientifique et tecnologique, turns science simultaneously into a cultural object and product that can be both received and worked at different levels and within several approaches by the individuals and the communities. On the other hand, nonformal and informal education spaces gain greater importance. Together with the formal school environment these spaces allow for an enrichment and diversification of learning experiences. Examples of nonformal spaces where animators can develop their work may be science museums or botanical gardens; television and internet can be regarded as informal education spaces. Due to the above mentioned impossibility of setting apart the individual or community-based experiences from Science and Technology (S&T), the work in nonformal and informal spaces sets an additional challenge to the preparation of socio-cultural animators. Socio-scientific issues take, at times, heavily relevance within the communities. Pollution, high tension lines, spreading of diseases, food contamination or natural resources conservation are among the socio-scientific issues that often call upon arguments and emotions. In the context of qualifying programmes on socio-cultural animation (social education and community development) within European Higher Education Area (EHEA) the present study describes the Portuguese framework. The comparison of programmes within Portugal aims to contribute to the discussion on the curriculum design for a socio-cultural animator degree (1st cycle of Bologna process). In particular, this study intends to assess how the formation given complies with enabling animators to work, within multiple scenarios, with communities in situations of socio-scientific relevance. A set of themes, issues and both current and potential fields of action, not described or insufficiently described in literature, is identified and analysed in the perspective of a qualified intervention of animators. One of these examples is thoroughly discussed. Finally, suggestions are made about curriculum reforms in order, if possible, to strongly link the desired qualified intervention with a qualifying formation.

BAM framework for OMS using open source technologies

No início da década de 90, as empresas começaram a sentir a necessidade de melhorar o acesso à informação das suas actividades para auxiliar na tomada de decisões. Desta forma, no mundo da informática, emergiu o sector Business Intelligence (BI) composto inicialmente por data warehousing e ferramentas de geração de relatórios. Ao longo dos anos o conceito de BI evoluiu de acordo com as necessidades empresariais, tornando a análise das actividades e do desempenho das organizações em aspectos críticos na gestão das mesmas. A área de BI abrange diversos sectores, sendo o de geração de relatórios e o de análise de dados aqueles que melhor preenchem os requisitos pretendidos no controlo de acesso à informação do negócio e respectivos processos. Actualmente o tempo e a informação são vantagens competitivas e por esse mesmo motivo as empresas estão cada vez mais preocupadas com o facto de o aumento do volume de informação estar a tornar-se insustentável na medida que o tempo necessário para processar a informação é cada vez maior. Por esta razão muitas empresas de software, tais como Microsoft, IBM e Oracle estão numa luta por um lugar neste mercado de BI em expansão. Para que as empresas possam ser competitivas, a sua capacidade de previsão e resposta às necessidades de mercado em tempo real é requisito principal, em detrimento da existência apenas de uma reacção a uma necessidade que peca por tardia. Os produtos de BI têm fama de trabalharem apenas com dados históricos armazenados, o que faz com que as empresas não se possam basear nessas soluções quando o requisito de alguns negócios é de tempo quase real. A latência introduzida por um data warehouse é demasiada para que o desempenho seja aceitável. Desta forma, surge a tecnologia Business Activity Monitoring (BAM) que fornece análise de dados e alertas em tempo quase real sobre os processos do negócio, utilizando fontes de dados como Web Services, filas de mensagens, etc. O conceito de BAM surgiu em Julho de 2001 pela organização Gartner, sendo uma extensão orientada a eventos da área de BI. O BAM define-se pelo acesso em tempo real aos indicadores de desempenho de negócios com o intuito de aumentar a velocidade e eficácia dos processos de negócio. As soluções BAM estão a tornar-se cada vez mais comuns e sofisticadas.

O design do manual escolar

O manual escolar, pelas suas características, é um produto de design gráfico, disciplina que tardou a desenvolver-se em Portugal. Após o 25 de Abril, as editoras escolares expandiram-se, e a globalização do ensino teve como consequência o aumento do número de manuais escolares. O desenvolvimento do design gráfico está intimamente ligado ao desenvolvimento da tecnologia informática, contribuindo fortemente para a alteração das características do manual escolar, sendo a mais notória a importância dada à imagem como portadora de informação. Sem investigação que suporte o seu actual formato, nem formação dos professores que permita explorar as suas novas potencialidades, interrogamo-nos sobre a sua eficácia. O campo da teoria da imagem é vasto e a sua aplicação, quer na realização, quer na exploração pedagógica do manual escolar, exige alguma sistematização que procuramos apresentar.