910 resultados para Batch Proof, Verification of Re-encryption, Verification of Decryption, Mix Network


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The emergence of microgeneration has recently lead to the concept of microgrid, a network of LV consumers and producers able to export electric energy in some circumstances and also to work in an isolated way in emergency situations. Research on the organization of microgrids, control devices, functionalities and other technical aspects is presently being carried out, in order to establish a consistent technical framework to support the concept. The successful development of the microgrid concept implies the definition of a suitable regulation for its integration on distribution systems. In order to define such a regulation, the identification of costs and benefits that microgrids may bring is a crucial task. Actually, this is the basis for a discussion about the way global costs could be divided among the different agents that benefit from the development of microgrids. Among other aspects, the effect of microgrids on the reliability of the distribution network has been pointed out as an important advantage, due to the ability of isolated operation in emergency situations. This paper identifies the situations where the existence of a microgrid may reduce the interruption rate and duration and thus improve the reliability indices of the distribution network. The relevant expressions necessary to quantify the reliability are presented. An illustrative example is included, where the global influence of the microgrid in the reliability is commented.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The concept of SG (Smart Grids) encompasses a set of technologies that raise the intelligence of the electrical networks, such as smart meters or instruments of communication, sensing and auto-correction of networks. Nevertheless, the cost is still an important obstacle for the transformation of the current electricity system into a smarter one. Regulation can have an important role in setting up a favorable framework that fosters investments. However, the novelty with SG is the disembodied character of the technology, which may change the incentives of the regulated network companies to invest, affecting the effectiveness of the regulatory instruments (“cost plus” or “price cap”). This paper demonstrates that the solution to this “Smart” paradox requires strong incentive regulation mechanisms able to stimulate the adoption of SG technologies. Moreover, the regulation should not jeopardize conventional investments that are unable to be substituted by SG. Thus, a combination of performance regulation and efficiency obligations may be necessary.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A history of specialties in economics since the late 1950s is constructed on the basis of a large corpus of documents from economics journals. The production of this history relies on a combination of algorithmic methods that avoid subjective assessments of the boundaries of specialties: bibliographic coupling, automated community detection in dynamic networks and text mining. these methods uncover a structuring of economics around recognizable specialties with some significant changes over the time-period covered (1956-2014). Among our results, especially noteworthy are (a) the clearcut existence of 10 families of specialties, (b) the disappearance in the late 1970s of a specialty focused on general economic theory, (c) the dispersal of the econometrics-centered specialty in the early 1990s and the ensuing importance of specific econometric methods for the identity of many specialties since the 1990s, (d) the low level of specialization of individual economists throughout the period in contrast to physicists as early as the late 1960s.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the early modern period, trade became a truly global phenomenon. The logistics, financial and organizational complexity associated with it increased in order to connect distant geographies and merchants from different backgrounds. How did these merchants prevent their partners from dishonesty in a time where formal institutions and legislation did not traverse these different worlds? This book studies the mechanisms and criteria of cooperation in early modern trading networks. It uses an interdisciplinary approach, through the case study of a Castilian long-distance merchant of the sixteenth century, Simon Ruiz, who traded within the limits of the Portuguese and Spanish overseas empires. Early Modern Trading Networks in Europe discusses the importance of reciprocity mechanisms, trust and reputation in the context of early modern business relations, using network analysis methodology, combining quantitative data with qualitative information. It considers how cooperation and prevention could simultaneously create a business relationship, and describes the mechanisms of control, policing and punishment used to avoid opportunism and deception among a group of business partners. Using bills of exchange and correspondence from Simon Ruiz’s private archive, it charts the evolution of this business network through time, debating which criteria should be included or excluded from business networks, as well as the emergence of standards. This book intends to put forward a new approach to early modern trade which focuses on individuals interacting in self-organized structures, rather than on states or empires. It shows how indirect reciprocity was much more frequent than direct reciprocity among early modern merchants and how informal norms, like ostracism or signaling, helped to prevent defection and deception in an effective way.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the last decade of the 19th and first decades of the 20th century there was a movement of capital and engineers from the central and northern Europe to the countries of southern Europe and other continents. Large companies sought to obtain concessions and establish branches in Portugal, favouring the circulation of technical knowledge and transfer of technology for Portuguese industry. Among the various examples of the representatives of foreign companies in Portugal we find Jayme da Costa Ltd. established in 1916 in Lisbon, which was a branch of the Swedish company ASEA, as well as STAAL, ATLAS DIESEL (Sweden), Landis & GYR (Switzerland), Electro Helios, etc.. Another example is EFACEC a company founded in 1948 in Porto, that was a partnership between the Portuguese company CUF – Companhia União Fabril, and ACEC – Ateliers de Constructions Électriques de Charleroi and a small entreprise Electro-Moderna Ldª. This enterprise started the industrial production of electric motors and transformers, and later on acquired a substantial share of the national production of electrical equipment. Using Estatística das Instalações Elétricas em Portugal (Statistics on Electrical Installations in Portugal) from 1928 until 1950 we can identify the foreign enterprises acting in the Portuguese market: Siemens, B.B.C, ASEA, Oerlikon, etc. We can also establish a relationship between the development of the electric network and the growth of production and consumption of electricity in the principal urban centres. Finally we see how foreign firms were a stimulus to the creation of national enterprises, especially those of small scale, in Portugal.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The mechanism of homologation of bioethanol to butanol and higher alcohols via the Guerbet reaction was computationally and experimentally investigated. The catalytic pathway involves a ruthenium-based complex and a base co-catalyst which work simultaneously. Due to selectivity issues, secondary products were formed and high competition between main pathway and side reactions was recorded. Herein, the overall catalytic mechanism for all the processes involved in was investigated, also considering the principal side reactions, using density functional theory (DFT) methods and experiments to confirm theoretical outcomes. Due to the complexity of the reaction network, kinetic simulations were established from DFT results, confirming experimental products distribution and giving insights into the factors governing the reaction mechanism.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The voltage profile of the catenary between traction substations (TSSs) is affected by the trolleybus current intake and by its position with respect to the TSSs: the higher the current requested by the bus and the further the bus from the TSSs, the deeper the voltage drop. When the voltage drops below 500V, the trolleybus is forced to decrease its consumption by reducing its input current. This thesis deals with the analysis of the improvements that the installation of an BESS produces in the operation of a particularly loaded FS of the DC trolleybus network of the city of Bologna. The stationary BESS is charged by the TSSs during off-peak times and delivers the stored energy when the catenary is overloaded alleviating the load on the TSSs and reducing the voltage drops. Only IMC buses are considered in the prospect of a future disposal of all internal combustion engine vehicles. These trolleybuses cause deeper voltage drops because they absorb enough current to power their traction motor and recharge the on board battery. The control of the BESS aims to keep the catenary voltage within the admissible voltage range and makes sure that all physical limitations are met. A model of FS Marconi Trento Trieste is implemented in Simulink environment to simulate its daily operation and compare the behavior of the trolleybus network with and without BESS. From the simulation without BESS, the best location of the energy storage system is deduced, and the battery control is tuned. Furthermore, from the knowledge of the load curve and the battery control trans-characteristic, it is formulated a prediction of the voltage distribution at BESS connection point. The prediction is then compared with the simulation results to validate the Simulink model. The BESS allows to decrease the voltage drops along the catenary, the Joule losses and the current delivered by the TSSs, indicating that the BESS can be a solution to improve the operation of the trolleybus network.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Furfural is one of the most promising biomass derived platform molecules. It is to this day produced in volumes above 300 ktons per year from the hydrolysis and dehydration of hemicellulose, one of the main components of lignocellulosic biomass. While the majority of the yearly production is destined to selective reduction to furfuryl alcohol for the production of furan resins, these molecules hold great potential for the production of more valuable chemicals, fuels, fuel additives and solvents. Among these products are alkyl levulinates and γ-valerolactone. To convert furfural to these target products, a cascade process involving Lewis acidity-catalysed reduction steps and Brønsted acidity-catalysed steps. In order to develop catalysts capable of promoting the one-pot domino reaction from furfural to γ-valerolactone, the two kinds of acidity must both be present. To this end, in this work, the spray freeze-drying technique is employed to combine the high activity and strong Brønsted acidity of Aquivion with the structural properties and Lewis acidity of different supporting metal oxide, forming composite catalysts. The flexibility of the spray freeze-drying technique and the modulable composition of the catalysts allowed a thorough study of the complex network of equilibria underlying the cascade reaction, while achieving high selectivities towards the final product.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The General Data Protection Regulation (GDPR) has been designed to help promote a view in favor of the interests of individuals instead of large corporations. However, there is the need of more dedicated technologies that can help companies comply with GDPR while enabling people to exercise their rights. We argue that such a dedicated solution must address two main issues: the need for more transparency towards individuals regarding the management of their personal information and their often hindered ability to access and make interoperable personal data in a way that the exercise of one's rights would result in straightforward. We aim to provide a system that helps to push personal data management towards the individual's control, i.e., a personal information management system (PIMS). By using distributed storage and decentralized computing networks to control online services, users' personal information could be shifted towards those directly concerned, i.e., the data subjects. The use of Distributed Ledger Technologies (DLTs) and Decentralized File Storage (DFS) as an implementation of decentralized systems is of paramount importance in this case. The structure of this dissertation follows an incremental approach to describing a set of decentralized systems and models that revolves around personal data and their subjects. Each chapter of this dissertation builds up the previous one and discusses the technical implementation of a system and its relation with the corresponding regulations. We refer to the EU regulatory framework, including GDPR, eIDAS, and Data Governance Act, to build our final system architecture's functional and non-functional drivers. In our PIMS design, personal data is kept in a Personal Data Space (PDS) consisting of encrypted personal data referring to the subject stored in a DFS. On top of that, a network of authorization servers acts as a data intermediary to provide access to potential data recipients through smart contracts.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Water Distribution Networks (WDNs) play a vital importance rule in communities, ensuring well-being band supporting economic growth and productivity. The need for greater investment requires design choices will impact on the efficiency of management in the coming decades. This thesis proposes an algorithmic approach to address two related problems:(i) identify the fundamental asset of large WDNs in terms of main infrastructure;(ii) sectorize large WDNs into isolated sectors in order to respect the minimum service to be guaranteed to users. Two methodologies have been developed to meet these objectives and subsequently they were integrated to guarantee an overall process which allows to optimize the sectorized configuration of WDN taking into account the needs to integrated in a global vision the two problems (i) and (ii). With regards to the problem (i), the methodology developed introduces the concept of primary network to give an answer with a dual approach, of connecting main nodes of WDN in terms of hydraulic infrastructures (reservoirs, tanks, pumps stations) and identifying hypothetical paths with the minimal energy losses. This primary network thus identified can be used as an initial basis to design the sectors. The sectorization problem (ii) has been faced using optimization techniques by the development of a new dedicated Tabu Search algorithm able to deal with real case studies of WDNs. For this reason, three new large WDNs models have been developed in order to test the capabilities of the algorithm on different and complex real cases. The developed methodology also allows to automatically identify the deficient parts of the primary network and dynamically includes new edges in order to support a sectorized configuration of the WDN. The application of the overall algorithm to the new real case studies and to others from literature has given applicable solutions even in specific complex situations.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Alzheimer’s disease (AD) is a chronic, progressive neurodegenerative disease, characterized by the impairment of mnesic and cognitive functions, that represents the most frequent type of dementia in older people worldwide. Aging is the most important risk factor for the sporadic form of the pathology and it is associated to the progressive impairment of the proteostasis network. The endoplasmic reticulum (ER), the main cellular actor involved in proteostasis, appears significantly compromised in AD due to the accumulation of β-amyloid (Aβ) protein and phosphorylated-tau protein. Increasing proteins misfolding activates a specific cellular response known as Unfolded Protein response (UPR) which orchestrates the recovery of ER function. The aim of the present study was to investigate the role of UPR and aging process in a murine model of AD induced by intracerebroventricular (i.c.v.) injection of Aβ1-42 oligomers at 3 or 18 months. The oligomers injection in aged animals caused the increased of memory impairment, oxidative stress, and the depletion of glutathione reserve. Furthermore, the RNA-sequencing analysis was performed and the bioinformatic analysis showed the enrichment of several pathways involved in neurodegeneration and protein regulations. The following analysis highlighted the significant dysregulation of the three branches of the UPR, the protein kinase RNA-like ER kinase (PERK), inositol-requiring protein 1α (IRE1α) and activating transcription factor 6 (ATF-6). In turn, ER stress affected the PI3K/Akt/Gsk3β and MAPK/ERK pathways, highlighting Mapkapk5 as a potential marker of the neurodegenerative process, which regulation could lead to the definition of new pharmacological and neuroprotective strategies to counteract AD.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this thesis, we analyse these protocols using PRISM+, our extension of the probabilistic model checker PRISM with blockchain types and operations upon them. This allows us to model the behaviour of key participants in the protocols and describe the protocols as a parallel composition of PRISM+ processes. Through our analysis of the Bitcoin model, we are able to understand how forks (where different nodes have different versions of the blockchain) occur and how they depend on specific parameters of the protocol, such as the difficulty of the cryptopuzzle and network communication delays. Our results corroborate the statement that considering confirmed the transactions in blocks at depth larger than 5 is reasonable because the majority of miners have consistent blockchains up-to that depth with probability of almost 1. We also study the behaviour of the Bitcoin network with churn miners (nodes that leave and rejoin the network) and with different topologies (linear topology, ring topology, tree topology and fully connected topology). PRISM+ is therefore used to analyse the resilience of Hybrid Casper when changing various basic parameters of the protocol, such as block creation rates and penalty determination strategies. We also study the robustness of Hybrid Casper against two known attacks: the Eclipse attack (where an attacker controls a significant portion of the network's nodes and can prevent other nodes from receiving new transactions) and the majority attack (where an attacker controls a majority of the network's nodes and can manipulate the blockchain to their advantage).

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Neuroinflammation represents a key hallmark of neurodegenerative diseases and is the result of a complex network of signaling cascades within microglial cells. A positive feedback loop exists between inflammation, microglia activation and protein misfolding processes, that, together with oxidative stress and excitotoxicity, lead to neuronal degeneration. Therefore, targeting this vicious cycle can be beneficial for mitigating neurodegeneration and cognitive decline in central nervous system disorders. At molecular level, GSK-3B and Fyn kinases play a crucial role in microglia activation and their deregulation has been associated to many neurodegenerative diseases. Thus, we envisioned their combined targeting as an effective approach to disrupt this toxic loop. Specifically in this project, a hit compound, based on a 7-azaindole-3-aminothiazole structure, was first identified in a virtual screening campaign, and displayed a weak dual inhibitory activity on GSK-3B and Fyn, unbalanced towards the former. Then, in a commitment to uncover the structural features required for modulating the activity on the two targets, we systematically manipulated this compound by inserting various substitution patterns in different positions. The most potent compounds obtained were advanced to deeper investigations to test their ability of tackling the inflammatory burden also in cellular systems and to unveil their binding modes within the catalytic pocket. The new class of molecules synthesized emerged as a valuable tool to deepen our understanding of the complex network governing the inflammatory events in neurodegenerative disorders.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The aim of this thesis is to present exact and heuristic algorithms for the integrated planning of multi-energy systems. The idea is to disaggregate the energy system, starting first with its core the Central Energy System, and then to proceed towards the Decentral part. Therefore, a mathematical model for the generation expansion operations to optimize the performance of a Central Energy System system is first proposed. To ensure that the proposed generation operations are compatible with the network, some extensions of the existing network are considered as well. All these decisions are evaluated both from an economic viewpoint and from an environmental perspective, as specific constraints related to greenhouse gases emissions are imposed in the formulation. Then, the thesis presents an optimization model for solar organic Rankine cycle in the context of transactive energy trading. In this study, the impact that this technology can have on the peer-to-peer trading application in renewable based community microgrids is inspected. Here the consumer becomes a prosumer and engages actively in virtual trading with other prosumers at the distribution system level. Moreover, there is an investigation of how different technological parameters of the solar Organic Rankine Cycle may affect the final solution. Finally, the thesis introduces a tactical optimization model for the maintenance operations’ scheduling phase of a Combined Heat and Power plant. Specifically, two types of cleaning operations are considered, i.e., online cleaning and offline cleaning. Furthermore, a piecewise linear representation of the electric efficiency variation curve is included. Given the challenge of solving the tactical management model, a heuristic algorithm is proposed. The heuristic works by solving the daily operational production scheduling problem, based on the final consumer’s demand and on the electricity prices. The aggregate information from the operational problem is used to derive maintenance decisions at a tactical level.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In recent years, global supply chains have increasingly suffered from reliability issues due to various external and difficult to-manage events. The following paper aims to build an integrated approach for the design of a Supply Chain under the risk of disruption and demand fluctuation. The study is divided in two parts: a mathematical optimization model, to identify the optimal design and assignments customer-facility, and a discrete-events simulation of the resulting network. The first one describes a model in which plant location decisions are influenced by variables such as distance to customers, investments needed to open plants and centralization phenomena that help contain the risk of demand variability (Risk Pooling). The entire model has been built with a proactive approach to manage the risk of disruptions assigning to each customer two types of open facilities: one that will serve it under normal conditions and a back-up facility, which comes into operation when the main facility has failed. The study is conducted on a relatively small number of instances due to the computational complexity, a matheuristic approach can be found in part A of the paper to evaluate the problem with a larger set of players. Once the network is built, a discrete events Supply Chain simulation (SCS) has been implemented to analyze the stock flow within the facilities warehouses, the actual impact of disruptions and the role of the back-up facilities which suffer a great stress on their inventory due to a large increase in demand caused by the disruptions. Therefore, simulation follows a reactive approach, in which customers are redistributed among facilities according to the interruptions that may occur in the system and to the assignments deriving from the design model. Lastly, the most important results of the study will be reported, analyzing the role of lead time in a reactive approach for the occurrence of disruptions and comparing the two models in terms of costs.