Sistema de televisão interactiva para o mercado hoteleiro

A Nonius Software é uma empresa nacional de engenharia na área de telecomunicações, que se dedica ao desenvolvimento de soluções para a gestão de sistemas informáticos e de entretenimento, tendo como finalidade o mercado mundial hoteleiro e hospitalar. A solução de TV interactiva da Nonius oferece uma experiência única ao hóspede, ao disponibilizar várias opções de entretenimento e acesso a conteúdos de elevada qualidade e interesse. O hóspede tem acesso a canais de TV, aluguer de filmes, Internet, jogos, informações, promoções e compras na TV. O objectivo principal desta dissertação foi implementar alguns serviços de entretenimento numa televisão LG Pro: Centric. Este equipamento tem como principal vantagem o facto de conter a set-top-box inserida dentro da própria televisão. Em termos arquitectónicos, o sistema Nonius TV tem dois elementos fundamentais: o backend, responsável pelo processamento e tratamento da informação centralizada e o frontend instalado nos dispositivos com os quais o hóspede contacta directamente. Uma parte significativa do trabalho desenvolvido centrou-se na implementação de funcionalidades no backend. Foram, no entanto, também desenvolvidas algumas funcionalidades nos serviços de frontend. Para o cumprimento dos objectivos estabelecidos, foi utilizada a tecnologia FLASH, tendo como linguagem de programação a segunda versão do ActionScript. Relativamente ao desenvolvimento de backend são utilizados o PHP e o JavaScript.

Gestão da manutenção e o novo paradigma de manuseamento de gases fluorados com efeito de estufa

As alterações climáticas são atualmente reconhecidas como uma das mais relevantes ameaças ambientais, sociais e económicas. A resposta a este problema tem-se traduzido na aplicação de um conjunto de legislação e práticas, com o objetivo de promover uma redução significativa das emissões de gases com efeito de estufa. Entre outros, os gases fluorados são dos mais relevantes gases com efeito de estufa, conforme identificados no Protocolo de Quioto. No enquadramento legal em vigor a certificação de técnicos e empresas, assim como certificação de ferramentas para o manuseamento de gases fluorados, sofreu, desde 2011, uma profunda alteração, com impacto nos procedimentos de manutenção existentes até essa data, na atividade de empresas prestadoras de serviços de manutenção e na atuação dos proprietários de edifícios civis e industriais com equipamentos que contêm gases fluorados. Esta tese tem como objetivo evidenciar as ações que as empresas prestadores de serviços necessitam executar para a sua certificação, assim como informar os proprietários de edifícios civis ou industriais, sobre as diferentes vertentes que têm à sua disposição, em termos de gestão da manutenção, de forma a garantir o cumprimento da legislação em vigor nas suas instalações e a gestão de ativos físicos que contêm gases fluorados, tais como equipamentos e instalações de aquecimento, ventilação, ar condicionado e refrigeração. Foi efetuada uma pesquisa aprofundada sobre os requisitos legais e técnicos necessários para a cerificação das empresas que atuam neste sector. Um caso de estudo foi realizado e os resultados apresentados sobre todo o processo de certificação de uma empresa do setor do ar condicionado e refrigeração, para poder prestar serviços em equipamentos ou sistemas que contenham gases fluorados com efeito de estufa.

A Visual Programming Framework for Wireless Sensor Networks in Smart Home Applications

International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2015). 7 to 9, Apr, 2015. Singapure, Singapore.

Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures supported by an FTT-SE Network

Distributed real-time systems such as automotive applications are becoming larger and more complex, thus, requiring the use of more powerful hardware and software architectures. Furthermore, those distributed applications commonly have stringent real-time constraints. This implies that such applications would gain in flexibility if they were parallelized and distributed over the system. In this paper, we consider the problem of allocating fixed-priority fork-join Parallel/Distributed real-time tasks onto distributed multi-core nodes connected through a Flexible Time Triggered Switched Ethernet network. We analyze the system requirements and present a set of formulations based on a constraint programming approach. Constraint programming allows us to express the relations between variables in the form of constraints. Our approach is guaranteed to find a feasible solution, if one exists, in contrast to other approaches based on heuristics. Furthermore, approaches based on constraint programming have shown to obtain solutions for these type of formulations in reasonable time.

A framework for using real data with distributed low cost sensors

Currently, due to the widespread use of computers and the internet, students are trading libraries for the World Wide Web and laboratories with simulation programs. In most courses, simulators are made available to students and can be used to proof theoretical results or to test a developing hardware/product. Although this is an interesting solution: low cost, easy and fast way to perform some courses work, it has indeed major disadvantages. As everything is currently being done with/in a computer, the students are loosing the “feel” of the real values of the magnitudes. For instance in engineering studies, and mainly in the first years, students need to learn electronics, algorithmic, mathematics and physics. All of these areas can use numerical analysis software, simulation software or spreadsheets and in the majority of the cases data used is either simulated or random numbers, but real data could be used instead. For example, if a course uses numerical analysis software and needs a dataset, the students can learn to manipulate arrays. Also, when using the spreadsheets to build graphics, instead of using a random table, students could use a real dataset based, for instance, in the room temperature and its variation across the day. In this work we present a framework which uses a simple interface allowing it to be used by different courses where the computers are the teaching/learning process in order to give a more realistic feeling to students by using real data. A framework is proposed based on a set of low cost sensors for different physical magnitudes, e.g. temperature, light, wind speed, which are connected to a central server, that the students have access with an Ethernet protocol or are connected directly to the student computer/laptop. These sensors use the communication ports available such as: serial ports, parallel ports, Ethernet or Universal Serial Bus (USB). Since a central server is used, the students are encouraged to use sensor values results in their different courses and consequently in different types of software such as: numerical analysis tools, spreadsheets or simply inside any programming language when a dataset is needed. In order to do this, small pieces of hardware were developed containing at least one sensor using different types of computer communication. As long as the sensors are attached in a server connected to the internet, these tools can also be shared between different schools. This allows sensors that aren't available in a determined school to be used by getting the values from other places that are sharing them. Another remark is that students in the more advanced years and (theoretically) more know how, can use the courses that have some affinities with electronic development to build new sensor pieces and expand the framework further. The final solution provided is very interesting, low cost, simple to develop, allowing flexibility of resources by using the same materials in several courses bringing real world data into the students computer works.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

A Modular Programming Approach for IoTBased Wireless Sensor Networks

Poster presented in 12th European Conference on Wireless Sensor Network (EWSN 2015). 9 to 11, Feb, 2015. Porto, Portugal.

Ensemble: an innovative approach to practice computer programming

Currently, the teaching-learning process in domains, such as computer programming, is characterized by an extensive curricula and a high enrolment of students. This poses a great workload for faculty and teaching assistants responsible for the creation, delivery, and assessment of student exercises. The main goal of this chapter is to foster practice-based learning in complex domains. This objective is attained with an e-learning framework—called Ensemble—as a conceptual tool to organize and facilitate technical interoperability among services. The Ensemble framework is used on a specific domain: computer programming. Content issues are tacked with a standard format to describe programming exercises as learning objects. Communication is achieved with the extension of existing specifications for the interoperation with several systems typically found in an e-learning environment. In order to evaluate the acceptability of the proposed solution, an Ensemble instance was validated on a classroom experiment with encouraging results.

Design a computer programming learning environment for Massive Open Online Courses

Teaching and learning computer programming is as challenging as difficult. Assessing the work of students and providing individualised feedback to all is time-consuming and error prone for teachers and frequently involves a time delay. The existent tools and specifications prove to be insufficient in complex evaluation domains where there is a greater need to practice. At the same time Massive Open Online Courses (MOOC) are appearing revealing a new way of learning, more dynamic and more accessible. However this new paradigm raises serious questions regarding the monitoring of student progress and its timely feedback. This paper provides a conceptual design model for a computer programming learning environment. This environment uses the portal interface design model gathering information from a network of services such as repositories and program evaluators. The design model includes also the integration with learning management systems, a central piece in the MOOC realm, endowing the model with characteristics such as scalability, collaboration and interoperability. This model is not limited to the domain of computer programming and can be adapted to any complex area that requires systematic evaluation with immediate feedback.

NONIUS.TV na SMART TV LG PRO: Centric

A Smart TV é um equipamento novo e em evolução que incorpora um computador e acesso à Internet em ecrãs de grande qualidade. Permite a implementação de serviços interactivos, acesso à Internet e televisão. À medida que a tecnologia melhora, muitos equipamentos estão a tornar-se tão capazes quanto os computadores normais quando se trata de navegação na web e até mesmo vídeo na Internet (Video-on-Demand e streaming de vídeo). O projecto de estágio “NONIUS.TV na Smart TV LG Pro:Centric” foi desenvolvido na empresa Nonius Software que está inserida no ramo das telecomunicações. Uma das suas áreas de actividade está relacionada com o desenvolvimento de plataformas de entretenimento para o mercado hoteleiro, combinando diversos serviços e funcionalidades a pensar no hóspede. Este projecto teve como finalidade implementar alguns dos serviços e funcionalidades já existentes em plataformas que usam uma Set-Top Box da Nonius Software, numa Smart TV, aproveitando também para inovar e criar novos serviços. Nesse conjunto está incluída a implementação de uma Caixa de Mensagens, Serviço de Quartos, Serviço de Desporto e Lazer, Serviços Informativos, um cliente RTSP, um despertador, um sistema de mudança de idioma e outras pequenas funcionalidades desenvolvidas ao longo de toda a aplicação. Esta dissertação apresenta um estudo sobre as tecnologias Smart TV existentes no mercado, assim como as vantagens e desvantagens da sua utilização para este projecto. Após uma análise de requisitos de forma a estruturar e desenhar os serviços e funcionalidades a serem criados para a aplicação, implementou-se um conjunto de serviços, usando a linguagem de programação ActionScript 2.0, que permitiram à empresa disponibilizar um novo produto baseado na televisão Pro:Centric da LG.

Os sistemas de apoio à decisão na área dos cuidados primários: implementação de um sistema de apoio à decisão numa unidade de saúde familiar

Saber qual o papel de um Sistema de Apoio à Decisão na gestão estratégica de uma Unidade de Saúde Familiar; perceber qual a importância, no desempenho deste tipo de instituições, que estes Sistemas de Informação poderão assumir e identificar de que forma este gênero de software pode auxiliar a tomada de decisões estratégica da gestão das Unidades de Cuidados de Saúde Primários, são algumas das interrogações cuja relevância se verifica ser cada vez mais crescente e que se irão analisar no presente estudo. Para dar resposta às interrogações supra citadas é necessário conhecer o contexto no qual a organização está inserida, assim como perceber se a visão dos seus colaboradores (realizando-se para isso um inquérito por questionário aos colaboradores da Unidade de Saúde Familiar) é idêntica à realidade demonstrada através dos dados do histórico da instituição (recolhendo, estudando e efetuando estudos analíticos com o auxílio de um Sistema de Apoio à Decisão escolhido para o efeito – Weka). Tendo em conta o percurso anteriormente referido é assim possível inferir que é notória a positividade que os Sistemas de Apoio à Decisão podem ter no que é o dia-a-dia de uma Unidade de Saúde Familiar, tendo em conta que facilitam a análise de dados e podem até antecipar cenários futuros analisando o passado da instituição.

Determining the receptivity to the bluetooth marketing by the portuguese consumer

With increasing technological innovation, the concept of marketing and its applications become more functional and wide. Today, we witness a steady growth in the development of mobile marketing campaigns, i.e., marketing campaigns targeting mobile devices (mobile phones, Smartphones, PDAs, tablets). Among the several mobile technologies available (Bluetooth networks, Wi-Fi, WAP, SMS service, MMS), Bluetooth seems to have the biggest potential for the least invasive consumer mobile marketing strategy. This study seeks to answer the question "what factors may motivate the Portuguese consumer to accept Bluetooth marketing?.“ We propose a conceptual model capable of investigating the relationships between the several responsiveness factors to Bluetooth marketing. The development of a set of hypotheses supported by an online questionnaire to a valid sample of 755 participants, demonstrates that there is a relationship between factors such as expanded knowledge of the technology, and Bluetooth marketing receptivity. Additionally, we find that the information value of mobile advertising messages, such as entertainment value and personalization, relates well to responsiveness. The ability to accept/dismiss promotional messages sent to mobile phones and other safety features also correlated well with Bluetooth marketing receptivity.

Análise das determinantes à receptividade ao bluetooth marketing pelo consumidor português – um estudo empírico

With the increasing technological innovation, the concept of marketing and its applications become more functional and wide. Today is visible the development of mobile marketing campaigns, ie marketing campaigns for mobile devices (mobile phones, smartphones, PDAs, tablets). Taking advantage of mobile devices services (bluetooth networks, Wi-Fi, WAP, SMS service, MMS) as a vehicle to approach and communicate with consumers, bluetooth technology is a potential way of mobile marketing to become increasingly less invasive to consumers. This study seeks to answer the question "what factors may motivate the Portuguese consumer to adopt the bluetooth marketing?". According to the literature review on the concept of mobile marketing, bluetooth marketing and consumer behaviour theories, we propose a conceptual model capable of investigating the relationships between the determinants of responsiveness to bluetooth marketing. The empirical study developed from a set of hypotheses and implementation of an online questionnaire to a sample of 755 respondents, demonstrated that there is a relationship between factors such as, technology ease of use, file exchanging and influence of peers, and the receptivity to bluetooth marketing. Also information value of mobile advertising messages, such as entertainment and personalization relates to responsiveness. The consumer’s perceived control over mobile promotional messages and the safety features of the technology, also showed a positive relationship with the receptivity to bluetooth marketing.