836 resultados para distributed hash table
Resumo:
Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.
Resumo:
The effect of an edible film obtained from a commercial Aloe vera extract, on the quality maintenance of minimally processed grapes belonging to three different cultivars (Sugar One, Victoria and Black Magic) was evaluated by enzymatic (PPO, PME, β-GAL), physicochemical (pH, acidity, °Brix), and sensorial methods. All the analyzed parameters were measured in extracts obtained from minimally processed grapes packaged in ordinary atmosphere and stored at 4 °C for 15 days. Samples dipped into Aloe vera showed significant differences (p≤0.05) compared to untreated ones. The determination of such parameters and the evaluation of consumer acceptability were helpful to determine the effectiveness of the post-harvest treatment with Aloe vera for a storage period of 15 days.
Resumo:
The goal of this thesis is to define and validate a software engineering approach for the development of a distributed system for the modeling of composite materials, based on the analysis of various existing software development methods. We reviewed the main features of: (1) software engineering methodologies; (2) distributed system characteristics and their effect on software development; (3) composite materials modeling activities and the requirements for the software development. Using the design science as a research methodology, the distributed system for creating models of composite materials is created and evaluated. Empirical experiments which we conducted showed good convergence of modeled and real processes. During the study, we paid attention to the matter of complexity and importance of distributed system and a deep understanding of modern software engineering methods and tools.
Resumo:
Liberalization of electricity markets has resulted in a competed Nordic electricity market, in which electricity retailers play a key role as electricity suppliers, market intermediaries, and service providers. Although these roles may remain unchanged in the near future, the retailers’ operation may change fundamentally as a result of the emerging smart grid environment. Especially the increasing amount of distributed energy resources (DER), and improving opportunities for their control, are reshaping the operating environment of the retailers. This requires that the retailers’ operation models are developed to match the operating environment, in which the active use of DER plays a major role. Electricity retailers have a clientele, and they operate actively in the electricity markets, which makes them a natural market party to offer new services for end-users aiming at an efficient and market-based use of DER. From the retailer’s point of view, the active use of DER can provide means to adapt the operation to meet the challenges posed by the smart grid environment, and to pursue the ultimate objective of the retailer, which is to maximize the profit of operation. This doctoral dissertation introduces a methodology for the comprehensive use of DER in an electricity retailer’s short-term profit optimization that covers operation in a variety of marketplaces including day-ahead, intra-day, and reserve markets. The analysis results provide data of the key profit-making opportunities and the risks associated with different types of DER use. Therefore, the methodology may serve as an efficient tool for an experienced operator in the planning of the optimal market-based DER use. The key contributions of this doctoral dissertation lie in the analysis and development of the model that allows the retailer to benefit from profit-making opportunities brought by the use of DER in different marketplaces, but also to manage the major risks involved in the active use of DER. In addition, the dissertation introduces an analysis of the economic potential of DER control actions in different marketplaces including the day-ahead Elspot market, balancing power market, and the hourly market of Frequency Containment Reserve for Disturbances (FCR-D).
Resumo:
Castor bean fruits are already used for biodiesel production but obtaining quality seeds is still a challenge. Seed cleaning improves lot quality but little is known about the effects of upgrading castor bean seed lots on a densimetric table. The objective of this study was to evaluate the influence of cleaning castor bean seed lots on a densimetric table on their physical, physiological and sanitary characteristics. Two commercial lots of the AL Guarani 2002 cultivar, separated into five categories according to their classification on a densimetric table (uncleaned and low, low intermediate, high intermediate and high outlets), were evaluated. Tests for the yield, one-thousand seed weight, germination, seedling emergence, electrical conductivity and seed health were performed. The classification of castor bean seeds on a densimetric table significantly improved the physical, physiological and sanitary quality of commercial seed lots. The physiological response of the different classified lots varied according to their initial weight. Castor bean seeds separated on a densimetric table for the upper outlet showed a better physical, physiological and sanitary quality compared to those for the lower outlet.
Resumo:
1937/07 (N3).
Resumo:
1939/10 (N4).
Resumo:
1939/01 (N1).
Resumo:
1941/10 (N4).
Resumo:
1937/01 (N1).
Resumo:
1929/07-1929/10.
Resumo:
1939/04 (N2).
Resumo:
1941/04 (N2).
Resumo:
1901.
Resumo:
1938/07 (N3).
