992 resultados para Multi-prover interactive proofs


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do grau de Mestre em Engenharia Química e Bioquímica

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e Computadores

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e de Computadores

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertation presented to obtain the Ph.D degree in Computational Biology

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Forest managers, stakeholders and investors want to be able to evaluate economic, environmental and social benefits in order to improve the outcomes of their decisions and enhance sustainable forest management. This research developed a spatial decision support system that provides: (1) an approach to identify the most beneficial locations for agroforestry projects based on the biophysical properties and evaluate its economic, social and environmental impact; (2) a tool to inform prospective investors and stakeholders of the potential and opportunities for integrated agroforestry management; (3) a simulation environment that enables evaluation via a dashboard with the opportunity to perform interactive sensitivity analysis for key parameters of the project; (4) a 3D interactive geographic visualization of the economic, environmental and social outcomes, which facilitate understanding and eases planning. Although the tool and methodology presented are generic, a case study was performed in East Kalimantan, Indonesia. For the whole study area, it was simulated the most suitable location for three different plantation schemes: monoculture of timber, a specific recipe (cassava, banana and sugar palm) and different recipes per geographic unit. The results indicate that a mixed cropping plantation scheme, with different recipes applied to the most suitable location returns higher economic, environmental and social benefits.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Nesta dissertação é realizado o estudo de um motor em disco polifásico com armadura convencional e rotor que pode ser convencional, em alumínio, ou composto por material supercondutor de alta temperatura multi‐semente. O motor com o rotor em alumínio apresenta um comportamento assíncrono bem definido, baseado na lei geral de indução de eletromotrizes no induzido. Contudo, ao ser mergulhado em azoto líquido, evidencia melhores características eléctricas, tanto do induzido como do indutor, mesmo que o núcleo ferromagnético convencional possa exibir degradação magnética. O motor com o rotor SAT exibe um comportamento distinto, evidenciando ambos os regimes síncrono e assíncrono estáveis. O regime síncrono fica caracterizado pelo fenómeno de aprisionamento de campo, que garante que o rotor gire síncrono com o campo girante do estator. Em regime assíncrono, para um determinado valor de binário resistente aplicado superior ao electromagnético máximo desenvolvido pelo motor, o fenómeno de escoamento de campo está presente, sendo o binário electromagnético motor reforçado por um binário extra de perdas de carácter resistivo desenvolvidas no rotor devido à interacção da densidade de corrente a campos eléctricos que se estabelecem no rotor. Neste caso, o fenómeno de escoamento de campo não é devido a forças de Lorentz que se definem na matriz de Abrikosov, mas sim devido a esta ser “puxada” pelo campo girante do estator, ficando a matriz a deslizar sobre o rotor. De modo a obter as características dos sistemas electromecânicos em estudo é realizada uma análise teórica, baseada na teoria convencional das máquinas eléctricas, com o objectivo de compreender alguns dos fenómenos do motor de fluxo axial, e uma análise baseada num programa comercial de elementos finitos onde o fenómeno da supercondutividade é simulado com base na relação entre o campo elétrico e a densidade de corrente pela lei da potenciação (E‐J power law). O ensaio dos motores referidos é realizado para comparar ambos os sistemas e de realçar o princípio de funcionamento e as características mais relevantes de cada um. Da análise realizada é desenvolvido um modelo que caracteriza o funcionamento da máquina com o rotor com SAT.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This dissertation aims to guarantee the integration of a mobile autonomous robot equipped with many sensors in a multi-agent distributed and georeferenced surveillance system. The integration of a mobile autonomous robot in this system leads to new features that will be available to clients of surveillance system may use. These features may be of two types: using the robot as an agent that will act in the environment or by using the robot as a mobile set of sensors. As an agent in the system, the robot can move to certain locations when alerts are received, in order to acknowledge the underlying events or take to action in order to assist in resolving this event. As a sensor platform in the system, it is possible to access information that is read from the sensors of the robot and access complementary measurements to the ones taken by other sensors in the multi-agent system. To integrate this mobile robot in an effective way it is necessary to extend the current multi-agent system architecture to make the connection between the two systems and to integrate the functionalities provided by the robot into the multi-agent system.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Double degree. A Work Project presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA- School of Business and Economics and Warsaw School of Economics

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Environmental pollution is one of the major and most important problems of the modern world. In order to fulfill the needs and demands of the overgrowing human population, developments in agriculture, medicine, energy sources, and all chemical industries are necessary (Ali 2010). Over the last century, the increased industrialization and continued population growth led to an augmented production of environmental pollutants that are released into air, water, and soil, with significant impact in the degradation of various ecosystems (Ali 2010, Khan et al. 2013).(...)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The following work project illustrates the strategic issues There App, a mobile application, faces regarding the opportunity to expand from its current state as a product to a multisided platform. Initially, a market analysis is performed to identify the ideal customer groups to be integrated in the platform. Strategic design issues are then discussed on how to best match its value proposition with the identified market opportunity. Suggestions on how the company should organize its resources and operational processes to best deliver on its value proposition complete the work.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An energy harvesting system requires an energy storing device to store the energy retrieved from the surrounding environment. This can either be a rechargeable battery or a supercapcitor. Due to the limited lifetime of rechargeable batteries, they need to be periodically replaced. Therefore, a supercapacitor, which has ideally a limitless number of charge/discharge cycles can be used to store the energy; however, a voltage regulator is required to obtain a constant output voltage as the supercapacitor discharges. This can be implemented by a Switched-Capacitor DC-DC converter which allows a complete integration in CMOS technology, although it requires several topologies in order to obtain a high efficiency. This thesis presents the complete analysis of four different topologies in order to determine expressions that allow to design and determine the optimum input voltage ranges for each topology. To better understand the parasitic effects, the implementation of the capacitors and the non-ideal effect of the switches, in 130 nm technology, were carefully studied. With these two analysis a multi-ratio SC DC-DC converter was designed with an output power of 2 mW, maximum efficiency of 77%, and a maximum output ripple, in the steady state, of 23 mV; for an input voltage swing of 2.3 V to 0.85 V. This proposed converter has four operation states that perform the conversion ratios of 1/2, 2/3, 1/1 and 3/2 and its clock frequency is automatically adjusted to produce a stable output voltage of 1 V. These features are implemented through two distinct controller circuits that use asynchronous time machines (ASM) to dynamically adjust the clock frequency and to select the active state of the converter. All the theoretical expressions as well as the behaviour of the whole system was verified using electrical simulations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This research addresses the problem of creating interactive experiences to encourage people to explore spaces. Besides the obvious spaces to visit, such as museums or art galleries, spaces that people visit can be, for example, a supermarket or a restaurant. As technology evolves, people become more demanding in the way they use it and expect better forms of interaction with the space that surrounds them. Interaction with the space allows information to be transmitted to the visitors in a friendly way, leading visitors to explore it and gain knowledge. Systems to provide better experiences while exploring spaces demand hardware and software that is not in the reach of every space owner either because of the cost or inconvenience of the installation, that can damage artefacts or the space environment. We propose a system adaptable to the spaces, that uses a video camera network and a wi-fi network present at the space (or that can be installed) to provide means to support interactive experiences using the visitor’s mobile device. The system is composed of an infrastructure (called vuSpot), a language grammar used to describe interactions at a space (called XploreDescription), a visual tool used to design interactive experiences (called XploreBuilder) and a tool used to create interactive experiences (called urSpace). By using XploreBuilder, a tool built of top of vuSpot, a user with little or no experience in programming can define a space and design interactive experiences. This tool generates a description of the space and of the interactions at that space (that complies with the XploreDescription grammar). These descriptions can be given to urSpace, another tool built of top of vuSpot, that creates the interactive experience application. With this system we explore new forms of interaction and use mobile devices and pico projectors to deliver additional information to the users leading to the creation of interactive experiences. The several components are presented as well as the results of the respective user tests, which were positive. The design and implementation becomes cheaper, faster, more flexible and, since it does not depend on the knowledge of a programming language, accessible for the general public.