Maximização da produção de paraxileno

Pretendeu-se, com o presente trabalho, efectuar um estudo sobre a possibilidade de aumentar a produção de paraxileno na unidade processual existente na refinaria da Galp no Porto. Foram estudados o conjunto de colunas T-0306 e T-0307 e a coluna T-0303, recorrendo ao uso do AspenPlus, na realização da simulação do processo nas condições actuais e para a realização da análise de sensibilidade, que permitiu verificar se o equipamento existente possui capacidade para satisfazer as necessidades exigidas pelo processo quando se pretende aumentar a produção. Com a simulação do processo, foi verificado que este já se encontra a laborar em condições óptimas. Na realização da análise de sensibilidade foram variados para o conjunto T-0306 e T- 0307, o caudal de alimentação entre 62780 e 95000 kg/h, o caudal de destilado da T-0306 entre 15833 e 23911 kg/h e o caudal de destilado da T-0307 entre 139 e os 235 kg/h. No caso da T-0303, foi variado o caudal de refinado entre 201240 e 304600 kg/h, o caudal de destilado e o caudal da corrente lateral, variam entre 77290 a 116930 kg/h. Pretendeu-se obter soluções que conseguissem cumprir as especificações relativas aos produtos obtidos, nomeadamente paraxileno com uma pureza de 99,6% e uma recuperação de 99%, tolueno com uma pureza de 97% e uma recuperação de 90% (T-0306 e T-0307). No caso da T- 0303, obter paraxileno com uma pureza de 2,23% e paradietilbenzeno com uma pureza de 99,0% e ambos com uma recuperação de 99%. Para as simulações que cumpriram as especificações anteriores, verificou-se se a energia transferida em aeroarrefecedores, fornalhas e permutadores excedem em 25% o seu valor de projecto. Em caso afirmativo isso significou o acréscimo de uma peça de equipamento idêntica à existente. A análise de sensibilidade permitiu concluir a separação é possível para os caudais actuais de extracto e refinado e para um aumento destes de 32, 40 e 50%. Foi ainda possível concluir que para os caudais actuais é necessária a colocação de novos aeroarrefecedores para as colunas T-0306 e T-0303 e de uma nova fornalha para a coluna T-0303. Para um aumento dos caudais de 32% para além das alterações referidas anteriormente é necessária a colocação de um novo aeroarrefecedor na coluna T-0307 e de uma nova fornalha da coluna T-0306. Se aumentarmos os caudais em 40% será também necessário o acréscimo de permutadores para a coluna T-0307. Para o aumento de 50%, os calores de permuta são excedidos em bastante mais do que 25%, em todos os aeroarrefecedores, permutadores e fornalhas. Uma vez que todas as colunas se encontram a funcionar acima da sua capacidade, concluiu-se que em ambos os casos seria necessária a montagem de uma segunda linha em paralelo e igual à existente. Implicando com esta alteração um investimento total de 10.439.574,36€.

RiSeG: a ring based secure group communication protocol for resource-constrained wireless sensor networks

Securing group communication in wireless sensor networks has recently been extensively investigated. Many works have addressed this issue, and they have considered the grouping concept differently. In this paper, we consider a group as being a set of nodes sensing the same data type, and we alternatively propose an efficient secure group communication scheme guaranteeing secure group management and secure group key distribution. The proposed scheme (RiSeG) is based on a logical ring architecture, which permits to alleviate the group controller’s task in updating the group key. The proposed scheme also provides backward and forward secrecy, addresses the node compromise attack, and gives a solution to detect and eliminate the compromised nodes. The security analysis and performance evaluation show that the proposed scheme is secure, highly efficient, and lightweight. A comparison with the logical key hierarchy is preformed to prove the rekeying process efficiency of RiSeG. Finally, we present the implementation details of RiSeG on top of TelosB sensor nodes to demonstrate its feasibility.

Revisiting transactions in Ada

Classical lock-based concurrency control does not scale with current and foreseen multi-core architectures, opening space for alternative concurrency control mechanisms. The concept of transactions executing concurrently in isolation with an underlying mechanism maintaining a consistent system state was already explored in fault-tolerant and distributed systems, and is currently being explored by transactional memory, this time being used to manage concurrent memory access. In this paper we discuss the use of Software Transactional Memory (STM), and how Ada can provide support for it. Furthermore, we draft a general programming interface to transactional memory, supporting future implementations of STM oriented to real-time systems.

Job phasing aware preemption deferral

Preemptions account for a non-negligible overhead during system execution. There has been substantial amount of research on estimating the delay incurred due to the loss of working sets in the processor state (caches, registers, TLBs) and some on avoiding preemptions, or limiting the preemption cost. We present an algorithm to reduce preemptions by further delaying the start of execution of high priority tasks in fixed priority scheduling. Our approaches take advantage of the floating non-preemptive regions model and exploit the fact that, during the schedule, the relative task phasing will differ from the worst-case scenario in terms of admissible preemption deferral. Furthermore, approximations to reduce the complexity of the proposed approach are presented. Substantial set of experiments demonstrate that the approach and approximations improve over existing work, in particular for the case of high utilisation systems, where savings of up to 22% on the number of preemption are attained.

A vision of cyber-physical internet

When the Internet was born, the purpose was to interconnect computers to share digital data at large-scale. On the other hand, when embedded systems were born, the objective was to control system components under real-time constraints through sensing devices, typically at small to medium scales. With the great evolution of the Information and Communication Technology (ICT), the tendency is to enable ubiquitous and pervasive computing to control everything (physical processes and physical objects) anytime and at a large-scale. This new vision gave recently rise to the paradigm of Cyber-Physical Systems (CPS). In this position paper, we provide a realistic vision to the concept of the Cyber-Physical Internet (CPI), discuss its design requirements and present the limitations of the current networking abstractions to fulfill these requirements. We also debate whether it is more productive to adopt a system integration approach or a radical design approach for building large-scale CPS. Finally, we present a sample of realtime challenges that must be considered in the design of the Cyber-Physical Internet.

Collision-free beacon scheduling mechanisms for IEEE 802.15.4/Zigbee cluster-tree wireless sensor networks

The recently standardized IEEE 802.15.4/Zigbee protocol stack offers great potentials for ubiquitous and pervasive computing, namely for Wireless Sensor Networks (WSNs). However, there are still some open and ambiguous issues that turn its practical use a challenging task. One of those issues is how to build a synchronized multi-hop cluster-tree network, which is quite suitable for QoS support in WSNs. In fact, the current IEEE 802.15.4/Zigbee specifications restrict the synchronization in the beacon-enabled mode (by the generation of periodic beacon frames) to star-based networks, while it supports multi-hop networking using the peer-to-peer mesh topology, but with no synchronization. Even though both specifications mention the possible use of cluster-tree topologies, which combine multi-hop and synchronization features, the description on how to effectively construct such a network topology is missing. This paper tackles this problem, unveils the ambiguities regarding the use of the cluster-tree topology and proposes two collision-free beacon frame scheduling schemes. We strongly believe that the results provided in this paper trigger a significant step towards the practical and efficient use of IEEE 802.15.4/Zigbee cluster-tree networks.

Beacon scheduling in cluster-tree IEEE 802.15.4/ZigBee wireless sensor networks

The recently standardized IEEE 802.15.4/Zigbee protocol stack offers great potentials for ubiquitous and pervasive computing, namely for Wireless Sensor Networks (WSNs). However, there are still some open and ambiguous issues that turn its practical use a challenging task. One of those issues is how to build a synchronized multi-hop cluster-tree network, which is quite suitable for QoS support in WSNs. In fact, the current IEEE 802.15.4/Zigbee specifications restrict the synchronization in the beacon-enabled mode (by the generation of periodic beacon frames) to star-based networks, while it supports multi-hop networking using the peer-to-peer mesh topology, but with no synchronization. Even though both specifications mention the possible use of cluster-tree topologies, which combine multi-hop and synchronization features, the description on how to effectively construct such a network topology is missing. This report tackles this problem, unveils the ambiguities regarding the use of the cluster-tree topology and proposes two collisionfree beacon frame scheduling schemes.

Penalty fuzzy function for derivative-free optimization

Penalty and Barrier methods are normally used to solve Nonlinear Optimization Problems constrained problems. The problems appear in areas such as engineering and are often characterised by the fact that involved functions (objective and constraints) are non-smooth and/or their derivatives are not know. This means that optimization methods based on derivatives cannot net used. A Java based API was implemented, including only derivative-free optimizationmethods, to solve both constrained and unconstrained problems, which includes Penalty and Barriers methods. In this work a new penalty function, based on Fuzzy Logic, is presented. This function imposes a progressive penalization to solutions that violate the constraints. This means that the function imposes a low penalization when the violation of the constraints is low and a heavy penalisation when the violation is high. The value of the penalization is not known in beforehand, it is the outcome of a fuzzy inference engine. Numerical results comparing the proposed function with two of the classic penalty/barrier functions are presented. Regarding the presented results one can conclude that the prosed penalty function besides being very robust also exhibits a very good performance.

Reason Maintenance Systems: Tools for Foundations-based Belief Revision

Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).

Real Time Internet DGPS Service

The accuracy of the Navigation Satellite Timing and Ranging (NAVSTAR) Global Positioning System (GPS) measurements is insufficient for many outdoor navigation tasks. As a result, in the late nineties, a new methodology – the Differential GPS (DGPS) – was developed. The differential approach is based on the calculation and dissemination of the range errors of the GPS satellites received. GPS/DGPS receivers correlate the broadcasted GPS data with the DGPS corrections, granting users increased accuracy. DGPS data can be disseminated using terrestrial radio beacons, satellites and, more recently, the Internet. Our goal is to provide mobile platforms within our campus with DGPS data for precise outdoor navigation. To achieve this objective, we designed and implemented a three-tier client/server distributed system that establishes Internet links with remote DGPS sources and performs campus-wide dissemination of the obtained data. The Internet links are established between data servers connected to remote DGPS sources and the client, which is the data input module of the campus-wide DGPS data provider. The campus DGPS data provider allows the establishment of both Intranet and wireless links within the campus. This distributed system is expected to provide adequate support for accurate (submetric) outdoor navigation tasks.

Elaboração de um projeto de uma central fotovoltaica de miniprodução e estudo de viabilidade técnica, económica e financeira

Desde o final do século XVIII, quando se iniciou a revolução industrial, o crescimento económico tem sido assente num consumo elevado de combustíveis fósseis que libertam gases com efeito de estufa. A emissão destes gases e a escassez dos combustíveis fósseis são temas que, desde as últimas duas décadas do século XX, ocupam um lugar de destaque nas agendas de política mundial. A produção de energia através de fontes renováveis surge como alternativa e poderá ser a solução para países com escassos recursos de origem fóssil, como é o caso de Portugal, minimizando também a sua dependência energética do exterior. Uma das medidas de incentivo lançada pelo Governo Português em 2007, foi a criação de um regime simplificado aplicável à microprodução descentralizada de eletricidade através de fontes de energia renováveis e de cogeração. À semelhança da maioria dos países europeus, o principal meio de promoção destes sistemas em Portugal foram as Feed-in-Tariffs, que consistem numa tarifa de venda de energia elétrica de origem renovável acima da tarifa de mercado. Estas tarifas permitiram, sobretudo, o crescimento do setor fotovoltaico em Portugal. Atualmente, o amadurecimento da tecnologia fotovoltaica, associado ao constante aumento das tarifas de energia elétrica, permite que se torne vantajosa a instalação de sistemas fotovoltaicos para autoconsumo. Neste contexto, o atual Governo Português, criou recentemente um regime jurídico aplicável à produção de eletricidade para autoconsumo. O objetivo deste trabalho é demonstrar, com base na minha experiência profissional, a metodologia de dimensionamento de uma central fotovoltaica ligada à Rede Elétrica de Serviço Público. Será utilizado como objeto de estudo um projeto constituído por 28 centrais fotovoltaicas de Miniprodução de 100 kW, dispersas por Portugal Continental, para o qual será efetuada a análise financeira do investimento. Pretende-se ainda apresentar o novo enquadramento legislativo para o Autoconsumo e Pequena Produção distribuída, detalhar as suas principais caraterísticas e efetuar um estudo económico para cada um destes regimes.

Resource Scheduling in Residential Microgrids Considering Energy Selling to External Players

The operation of distribution networks has been facing changes with the implementation of smart grids and microgrids, and the increasing use of distributed generation. The specific case of distribution networks that accommodate residential buildings, small commerce, and distributed generation as the case of storage and PV generation lead to the concept of microgrids, in the cases that the network is able to operate in islanding mode. The microgrid operator in this context is able to manage the consumption and generation resources, also including demand response programs, obtaining profits from selling electricity to the main network. The present paper proposes a methodology for the energy resource scheduling considering power flow issues and the energy buying and selling from/to the main network in each bus of the microgrid. The case study uses a real distribution network with 25 bus, residential and commercial consumers, PV generation, and storage.

Electrochemical biosensor based on biomimetic material for myoglobin detection

A novel reusable molecularly imprinted polymer (MIP) assembled on a polymeric layer of carboxylated poly(vinyl chloride) (PVCsingle bondCOOH) for myoglobin (Myo) detection was developed. This polymer was casted on the gold working area of a screen printed electrode (Au-SPE), creating a novel disposable device relying on plastic antibodies. Electrochemical impedance spectroscopy (EIS), cyclic voltammetry (CV) and Fourier transform infrared spectroscopy (FTIR) studies confirmed the surface modification. The MIP/Au-SPE devices displayed a linear behaviour in EIS from 0.852 to 4.26 μg mL−1, of positive slope 6.50 ± 1.48 (kΩ mL μg−1). The limit of detection was 2.25 μg mL−1. Square wave voltammetric (SWV) assays were made in parallel and showed linear responses between 1.1 and 2.98 μg mL−1. A current decrease was observed against Myo concentration, producing average slopes of −0.28 ± 0.038 μA mL μg−1. MIP/Au-SPE also showed good results in terms of selectivity. The error% found for each interfering species were 7% for troponin T (TnT), 11% for bovine serum albumin (BSA) and 2% for creatine kinase MB (CKMB), respectively. Overall, the technical modification over the Au-SPE was found a suitable approach for screening Myo in biological fluids.

Integrating rich learning applications in LMS

Currently, a learning management system (LMS) plays a central role in any e-learning environment. These environments include systems to handle the pedagogic aspects of the teaching–learning process (e.g. specialized tutors, simulation games) and the academic aspects (e.g. academic management systems). Thus, the potential for interoperability is an important, although over looked, aspect of an LMS. In this paper, we make a comparative study of the interoperability level of the most relevant LMS. We start by defining an application and a specification model. For the application model, we create a basic application that acts as a tool provider for LMS integration. The specification model acts as the API that the LMS should implement to communicate with the tool provider. Based on researches, we select the Learning Tools Interoperability (LTI) from IMS. Finally, we compare the LMS interoperability level defined as the effort made to integrate the application on the study LMS.

Comparing the performance of geostatistical models with additional information from covariates for sewage plume characterization

In this work, kriging with covariates is used to model and map the spatial distribution of salinity measurements gathered by an autonomous underwater vehicle in a sea outfall monitoring campaign aiming to distinguish the effluent plume from the receiving waters and characterize its spatial variability in the vicinity of the discharge. Four different geostatistical linear models for salinity were assumed, where the distance to diffuser, the west-east positioning, and the south-north positioning were used as covariates. Sample variograms were fitted by the Mat`ern models using weighted least squares and maximum likelihood estimation methods as a way to detect eventual discrepancies. Typically, the maximum likelihood method estimated very low ranges which have limited the kriging process. So, at least for these data sets, weighted least squares showed to be the most appropriate estimation method for variogram fitting. The kriged maps show clearly the spatial variation of salinity, and it is possible to identify the effluent plume in the area studied. The results obtained show some guidelines for sewage monitoring if a geostatistical analysis of the data is in mind. It is important to treat properly the existence of anomalous values and to adopt a sampling strategy that includes transects parallel and perpendicular to the effluent dispersion.