Search

Similar to aircraft applications, the reduction of fuel consumption in marine power systems is of great importance, because it leads to reduction in CO2 emissions, in travel costs and so to optimal use of fossil fuels. Moreover, the ship autonomy becomes higher. In the ECOMARINE project, in order to maximize electricity production by waste heat recovery and to simultaneously improve electric power quality, the introduction of a supplementary thermoelectric energy recovery unit is being implemented. The heat of the produced gases from a diesel generator is directly converted to electrical energy with the use of a thermoelectric generator. The typical temperature of the exhaust gases is over 300oC, thus their temperature difference from the ambient temperature corresponds to a typical thermoelectric module’s operating temperature difference. The generated voltage of the module drops with the increase of its current; hence an MPPT is required in order to achieve the maximum power output. Although ZT~ 1 materials do not provide in general the thermal efficiency and system costs to be the long term solution to industrial scale waste heat recovery, in the particular case of marine energy production, where special conditions apply, they could serve as sustainable prototype energy system components. Advanced TE materials having ZT~ 2 properties that have recently been developed and characterized and new advanced TE materials with ZT~ 4 envisioned in the long-term future will strongly enhance TEG commercialization., This work has been supported by the research program "Fuel consumption reduction in marine power systems through innovative energy recovery management (ECOMARINE)", Project Code 11SYN_7_104, within the Greek Research Activity "COOPERATION". This project is co-financed by the European Union (European Social Fund) and Greek National Funds.

The present work proposes a methodological approach for modeling decisions regarding energy reduction in an elevator.This is achieved with the integration of existing as well as acquired knowledge, in a decision module implemented inthe electronics of an elevator. So far, elevators do not exploit information regarding their recent usage. In the developedsystem decisions are driven based on information arising from monitoring the use of the elevator. Monitoring providesvarious records of usage which consequently are used to predict elevator’s future usage and to adapt accordingly itsfunctioning. Till now, there are only elevators that encompass in their electronics algorithms with if then rules in orderto control elevator’s functioning. However, these if then rules are based only on good practice knowledge of similarelevators installed in similar buildings. Even this knowledge which unavoidably is associated with uncertainty is notencoded in a mathematically consisted way in the algorithms. The design, the implementation and a first pilot evaluationstudy of an elevator’s intelligent decision module are presented. The study concludes that the presented applicationsufficiently reduces energy consumption through properly controlled functioning

OPEN-SME introduces an Open Software Component Reuse, which collectivelyprovides two processes and three tools. COMPARE (Component Repository and Search Engine)is one of the three tools, the one that allows SME software re-users to search and discover theassets (software artefacts, technical documents, test suites, metamodels) produced by the DomainEngineering Process. COMPARE features an advanced search engine that can be used forsearching among the components, according to specific needs and selection criteria. Also,COMPARE supports the effective communication of structured information flows between thesoftware re-users (asset consumers) and the reuse engineers (asset producers). These informationflows allow re-users to place orders/requests and provide their feedback to the reuse engineers.

This article is intended as an introduction to the subject of quantum logic, and as a brief survey of the relevant literature. Also discussed here are logics for specification and analysis of quantum information systems, in particular, recent work by P. Mateus and A. Sernadas, and also by R. van der Meyden and M. Patra. Overall, our objective is to provide a high-level presentation of the logical aspects of quantum theory. Mateus' and Sernadas' EQPL logic is illustrated with a small example, namely the state of an entangled pair of qubits. The "KT" logic of van der Meyden and Patra is demonstrated briefly in the context of the B92 protocol for quantum key distribution., 17 pages