Abstract
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold. In this paper we explore the idea of equivalence taking values in a quantale V, which covers the cases of (in)equations and (ultra)metric equations among others. Our main result is the introduction of a V-equational deductive system for linear ?-calculus together with a proof that it is sound and complete (in fact, an internal language) for a class of enriched autonomous categories. In the case of inequations, we get an internal language for autonomous categories enriched over partial orders. In the case of (ultra)metric equations, we get an internal language for autonomous categories enriched over (ultra)metric spaces. We use our results to obtain examples of inequational and metric equational systems for higher-order programs that contain real-time and probabilistic behaviour.

Abstract
The complexity of the number of stakeholders, information systems used, and port operations evoke new challenges to port security when it comes to the total knowledge and control of the overall operations of transport and parking of containerized freight, namely hazmat ones. The rising interest and the port authorities' awareness of the relevance of security concerns involved in this complex ecosystem has led to the search for new technological solutions that allow, in an integrated manner, the smart and automatic control of operations of transport and hazardous freight parking in all the areas of its jurisdiction, without third-party dependencies. Despite its importance and criticality, port authorities tend to have limited real-time knowledge of the location of hazmat containers, whether moving within the port (entering and leaving), or in its parking, having a direct impact on the port security. This article presents a Digital Twin platform for 3D and real-time georeferenced visualization of container parks and the location of hazardous containerized freight. This tool combines different modules that further allow to visualize information associated to a container, its movement, as well as its surrounding area, including a realistic and dynamic 3D representation of what is the area encircling the port.

Abstract
This paper addresses the design, development and experimental tests of a prototype of fuel gas generation system based on biomass gasification for small-scale applications, around 5?kW. It comprises the small scale downdraft gasifier and the gas cleaning system aiming to clean-up the producer gas to be used in the upstream Internal Combustion Engine (ICE). The design of the downdraft gasifier prototype follows the methodologies that have been reported on the available literature. However, since these methodologies apply to gasifiers with larger rated powers, the adopted methodology is based on the extrapolation of the main parameters used for larger gasifiers design. For runing the ICE the producer gas requires to have a specific gas composition with an acceptable range of impurities. Therefore, a clean-up system was proposed following three stages: in first instance a hot gas clean-up using a cyclone designed to eliminate particles and compounds; then a heat exchanger was used for cooling the gas to condensate tars and water; finally a cold gas clean-up is performed by filtration using two filter steps: the first one using organic material (biomass) and the second one using a polypropylene cartridge filter. Experimental tests were performed using the developed imbert downdraft gasifier prototype, using pellets as feedstock. The preliminary results allow verifying several drawbacks that will difficult an effective integration of the developed prototype for small scale power generation applications based on ICE using low density feedstock.

Abstract
Experimental field campaigns for collecting wind data, essential for academic research and the wind energy industry, are non-trivial due to the complex equipment and infrastructure required. This paper reports the latest developments of the WindsPT e-Science platform for planning, executing, and disseminating wind measurement campaign data. Existing e-Science platforms have been developed for more generic domains, preventing them from capturing the details and requirements of the field. Additionally, we propose a protocol for transferring large volumes of data from the in-site devices to our platform, ensuring data replication. With an easy-to-use Web interface, WindsPT promotes collaboration between participants, disseminates results among the stakeholders, publishes metadata, uses DOI, and includes metadata that enables machine-to-machine communication. The platform has multiple sections, with maps, images, and documents, where there is information about the location of the stations, positioning of the sensors, operating dates, photos, technical sheets, calibration documents, among others. The WindsPT platform has been used to host the Perdigão 2017 experimental campaign and proved to be a valuable tool during all the phases of this large field experiment. A new version of WindsPT, designed to be FAIR, host multiple campaigns, and include multiple cross-campaign shared features, as full-text search capabilities, is now developed and tested.

Abstract

Abstract
Purpose: This paper aims to identify and compare the graphical shapes and meanings attributed to place/city by the designer/creative/author of a city visual identity (VI) and by the client and designer’s peers. Design/methodology/approach: To identify and compare the graphical shapes and meanings attributed to place/city by the designer/creative/author of a city VI and by the client and designer’s peers. Findings: This paper analysed the way the visual culture of different stakeholders influenced the process and the construction of the iconographic meanings. Secondly, this paper assessed how the design tools impacted the creative process in that specific context. Practical implications: A demanding involvement of more participants in the design process can be worthy for a VI outcome. Visual identity of a city is both designer’s creative as a political process. The several aesthetical options decisions implied adaptation, trade-offs and negotiations. Originality/value: This research explains how the design tools and forms were used in the creative process of designers when conceiving the VI of a place. This research also reveals how a design work can have an effective impact on the sensory qualities emanating from city brands which are recognized by tourists and citizens. The consideration of the designer’s tools makes a relevant contribution to understand some underlying procedural issues.