950 resultados para Symbolic Execution


Relevância:

10.00% 10.00%

Publicador:

Resumo:

In recent years a set of production paradigms were proposed in order to capacitate manufacturers to meet the new market requirements, such as the shift in demand for highly customized products resulting in a shorter product life cycle, rather than the traditional mass production standardized consumables. These new paradigms advocate solutions capable of facing these requirements, empowering manufacturing systems with a high capacity to adapt along with elevated flexibility and robustness in order to deal with disturbances, like unexpected orders or malfunctions. Evolvable Production Systems propose a solution based on the usage of modularity and self-organization with a fine granularity level, supporting pluggability and in this way allowing companies to add and/or remove components during execution without any extra re-programming effort. However, current monitoring software was not designed to fully support these characteristics, being commonly based on centralized SCADA systems, incapable of re-adapting during execution to the unexpected plugging/unplugging of devices nor changes in the entire system’s topology. Considering these aspects, the work developed for this thesis encompasses a fully distributed agent-based architecture, capable of performing knowledge extraction at different levels of abstraction without sacrificing the capacity to add and/or remove monitoring entities, responsible for data extraction and analysis, during runtime.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work presents research conducted to understand the role of indicators in decisions of technology innovation. A gap was detected in the literature of innovation and technology assessment about the use and influence of indicators in this type of decision. It was important to address this gap because indicators are often frequent elements of innovation and technology assessment studies. The research was designed to determine the extent of the use and influence of indicators in decisions of technology innovation, to characterize the role of indicators in these decisions, and to understand how indicators are used in these decisions. The latter involved the test of four possible explanatory factors: the type and phase of decision, and the context and process of construction of evidence. Furthermore, it focused on three Portuguese innovation groups: public researchers, business R&D&I leaders and policymakers. The research used a combination of methods to collect quantitative and qualitative information, such as surveys, case studies and social network analysis. This research concluded that the use of indicators is different from their influence in decisions of technology innovation. In fact, there is a high use of indicators in these decisions, but lower and differentiated differences in their influence in each innovation group. This suggests that political-behavioural methods are also involved in the decisions to different degrees. The main social influences in the decisions came mostly from hierarchies, knowledge-based contacts and users. Furthermore, the research established that indicators played mostly symbolic roles in decisions of policymakers and business R&D&I leaders, although their role with researchers was more differentiated. Indicators were also described as helpful instruments to conduct a reasonable interpretation of data and to balance options in innovation and technology assessments studies, in particular when contextualised, described in detail and with discussion upon the options made. Results suggest that there are four main explanatory factors for the role of indicators in these decisions: First, the type of decision appears to be a factor to consider when explaining the role of indicators. In fact, each type of decision had different influences on the way indicators are used, and each type of decision used different types of indicators. Results for policy-making were particularly different from decisions of acquisition and development of products/technology. Second, the phase of the decision can help to understand the role indicators play in these decisions. Results distinguished between two phases detected in all decisions – before and after the decision – as well as two other phases that can be used to complement the decision process and where indicators can be involved. Third, the context of decision is an important factor to consider when explaining the way indicators are taken into consideration in policy decisions. In fact, the role of indicators can be influenced by the particular context of the decision maker, in which all types of evidence can be selected or downplayed. More importantly, the use of persuasive analytical evidence appears to be related with the dispute existent in the policy context. Fourth and last, the process of construction of evidence is a factor to consider when explaining the way indicators are involved in these decisions. In fact, indicators and other evidence were brought to the decision processes according to their availability and capacity to support the different arguments and interests of the actors and stakeholders. In one case, an indicator lost much persuasion strength with the controversies that it went through during the decision process. Therefore, it can be argued that the use of indicators is high but not very influential; their role is mostly symbolic to policymakers and business decisions, but varies among researchers. The role of indicators in these decisions depends on the type and phase of the decision and the context and process of construction of evidence. The latter two are related to the particular context of each decision maker, the existence of elements of dispute and controversies that influence the way indicators are introduced in the decision-making process.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

As potencialidades da plataforma continental estendida são enormes e variadas, desde as que podem ser obtidas através de sectores tradicionais – como portos e marinas ou turismo náutico – até as que advirão de novos sectores como a exploração dos fundos do mar ou a energia das ondas, entre outras. Com efeito, devido ao alargamento resultante das negociações nas Nações Unidas, é praticamente garantido que Portugal passe a controlar um espaço marítimo, acrescido de 2.1 milhões de km2, isto é, vinte vezes a extensão da sua superfície terrestre. A maritimidade de Portugal constitui um traço profundamente marcado na sua história, bem como nas suas tradicionais práticas económicas, sociais e simbólicas. Na verdade, os últimos anos testemunharam a criação de um amplo consenso quanto ao papel determinante que o desenvolvimento costeiro, a superfície e o comprimento dos limites do “Mar Português” terá no futuro do país. Da articulação entre o Território Nacional, o Oceano Atlântico e o Continente Europeu, associada à confluência das vias de comunicação marítimas que ligam a Europa à América do Norte e do Sul configurar-e-ão os aspectos essenciais do designado “Espaço Estratégico de Interesse Nacional Permanente”. A área geográfica prioritária para o desenvolvimento das acções militares de Defesa Nacional e dos interesses vitais permanentes inclui assim – para além do Território Nacional – o Espaço Interterritorial, o Mar Territorial (MT), o espaço aéreo sob responsabilidade nacional e a Zona Económica Exclusiva (ZEE). O País é titular de soberania no território continental e nos arquipélagos da Madeira dos Açores, para além de estar comprometido com alguns Estados da CPLP, que têm no Atlântico Sul uma importante e poderosa presença. Pela geografia e pela definição dos interesses dos Estados e dos grandes espaços em que estão incluídos, Portugal está na articulação da segurança do Atlântico Norte com a segurança do Atlântico Sul. Esta realidade acarreta novos desafios para a Defesa Nacional, assumindo como preocupações acrescidas o terrorismo, o tráfico e a pirataria marítimas, entre outras.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Esta pesquisa foca-se na comunidade imigrante portuguesa em Macau e na comunidade imigrante nepalesa em Portugal. Analisa os usos dos média – étnicos, mainstream e transnacionais - por imigrantes durante o processo de integração: na manutenção de laços com o país de origem e na adaptação à sociedade de acolhimento, em que a língua de acolhimento assume um papel crucial. A investigação enquadra-se nos estudos de audiências e baseia-se na teoria dos Usos e Gratificações dos Média (Katz, Blumler, & Gurevitch, 1974). No que respeita à integração assenta no modelo de estratégias de aculturação de Berry & Sam (2001, 2006). Quanto à língua, assenta na teoria do poder e da prática de Bourdieu (1991), especificamente na parte relativa ao poder simbólico da língua. Quanto à metodologia, foram realizadas oito entrevistas em profundidade na comunidade nepalesa e 29 entrevistas na comunidade portuguesa. A amostra foi de conveniência e teoricamente sustentada. A seguir às entrevistas, foi feita uma análise de conteúdo individual e transversal. Esta tese pretende contribuir para o enriquecimento de linhas de investigação sobre audiências activas dos média. Poderá servir de fonte de informação para políticas relacionadas com a integração de imigrantes, nomeadamente, para reformulação de políticas relacionadas com os média e com a língua de acolhimento. No caso de empresas de comunicação, a informação obtida poderá ser útil para adaptarem melhor os seus conteúdos a este público específico.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Current computer systems have evolved from featuring only a single processing unit and limited RAM, in the order of kilobytes or few megabytes, to include several multicore processors, o↵ering in the order of several tens of concurrent execution contexts, and have main memory in the order of several tens to hundreds of gigabytes. This allows to keep all data of many applications in the main memory, leading to the development of inmemory databases. Compared to disk-backed databases, in-memory databases (IMDBs) are expected to provide better performance by incurring in less I/O overhead. In this dissertation, we present a scalability study of two general purpose IMDBs on multicore systems. The results show that current general purpose IMDBs do not scale on multicores, due to contention among threads running concurrent transactions. In this work, we explore di↵erent direction to overcome the scalability issues of IMDBs in multicores, while enforcing strong isolation semantics. First, we present a solution that requires no modification to either database systems or to the applications, called MacroDB. MacroDB replicates the database among several engines, using a master-slave replication scheme, where update transactions execute on the master, while read-only transactions execute on slaves. This reduces contention, allowing MacroDB to o↵er scalable performance under read-only workloads, while updateintensive workloads su↵er from performance loss, when compared to the standalone engine. Second, we delve into the database engine and identify the concurrency control mechanism used by the storage sub-component as a scalability bottleneck. We then propose a new locking scheme that allows the removal of such mechanisms from the storage sub-component. This modification o↵ers performance improvement under all workloads, when compared to the standalone engine, while scalability is limited to read-only workloads. Next we addressed the scalability limitations for update-intensive workloads, and propose the reduction of locking granularity from the table level to the attribute level. This further improved performance for intensive and moderate update workloads, at a slight cost for read-only workloads. Scalability is limited to intensive-read and read-only workloads. Finally, we investigate the impact applications have on the performance of database systems, by studying how operation order inside transactions influences the database performance. We then propose a Read before Write (RbW) interaction pattern, under which transaction perform all read operations before executing write operations. The RbW pattern allowed TPC-C to achieve scalable performance on our modified engine for all workloads. Additionally, the RbW pattern allowed our modified engine to achieve scalable performance on multicores, almost up to the total number of cores, while enforcing strong isolation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This essay presents the European Arrest Warrant and its relationship with the principle of double criminality, which was abolished in 2002 with the new Framework Decision (FD). This instrument was essential to implement the principle of mutual recognition and strengthen the police and judicial cooperation in criminal matters in the newly created space of freedom, security and justice. It was urgent to create mechanisms to combat cross-border crime, that alone States have struggled to counter. An analysis of the FD No 2002/584/JHA is made. The execution of warrants and the non-mandatory and optional grounds of refusal are studied in detail. As it is the implementation issue. The role of mutual recognition in practice is studied as well. The procedure is to introduce the principle of double criminality, to explain the concept and its abolition, warning for the consequences derived from them, related to the principle of legality and fundamental rights. The analysis of the European Arrest Warrant in practice in Portugal and in comparison with other Member States allows the measurement of the consequences from the abolition of dual criminality and the position of States on this measure. With the abolition of double criminality, the cooperation in judicial and criminal matters departs from what was intended by the European Council of Tampere. And without cooperation, fundamental rights of citizens are unprotected, so the states have to adopt measures to remedy the "failures" of the European Law.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Crowdfunding, as we know it today, is a very recent activity that was born almost accidentally in the end of the 90’s decade. Due to the advent of the internet and the social networks, entrepreneurs are now able to promote their projects to a very large community. Whether it is composed by family, friends, acquaintances or simply people that are interested in the same topic or share the passion, the community is able to fund new ventures by individually investing modest amounts of money. In return, the entrepreneur can offer symbolic rewards, shares or other financial returns. New crowdfunding platforms are born almost every day all over the world, offering a new way of raising capital for their projects or a new way to invest their money in innovative ventures. Although crowdfunding is still finding its place in the financial services, successful cases such as Kickstarter demonstrate the power of the crowd in boosting creativity and productivity, financing thousands of projects by raising millions of dollars from thousands of investors. Due to regulatory restrictions, the most prominent model for now is reward-based crowdfunding, where the investors are prized with symbolic returns or privileged access to the products or services offered by the entrepreneurs. Other models such as peer-to-peer lending are also surging, allowing borrowers access to capital at a lower cost compared to so-called traditional financial institutions, and offering lenders a higher rate of return. But when it comes to offering shares to investors, i.e. using equity-based crowdfunding, entrepreneurs face regulatory obstacles in almost every country, where legislation was passed decades ago with the objective of promoting financially-capable ventures and protecting investors. Access to capital has become more difficult after the global economic recession of 2008, and for most countries it will not get easier in the near future, leaving start-ups and small enterprises with few options to start or expand their operations. In this study we attempt to answer the following research questions: how has equity-based crowdfunding evolved since its creation? Where and how has equity-based crowdfunding been implemented so far? What are the constraints and opportunities for implementing equity-crowdfunding in the world, and more particularly in Portugal? Finally, we will discuss the risks of crowdfunding and reflect on the future of this industry.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Double Degree

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Doctoral Program in Computer Science

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The selective collection of municipal solid waste for recycling is a very complex and expensive process, where a major issue is to perform cost-efficient waste collection routes. Despite the abundance of commercially available software for fleet management, they often lack the capability to deal properly with sequencing problems and dynamic revision of plans and schedules during process execution. Our approach to achieve better solutions for the waste collection process is to model it as a vehicle routing problem, more specifically as a team orienteering problem where capacity constraints on the vehicles are considered, as well as time windows for the waste collection points and for the vehicles. The final model is called capacitated team orienteering problem with double time windows (CTOPdTW).We developed a genetic algorithm to solve routing problems in waste collection modelled as a CTOPdTW. The results achieved suggest possible reductions of logistic costs in selective waste collection.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Relatório de estágio de mestrado em Ensino de Educação Física nos Ensinos Básico e Secundário

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1ºCiclo do Ensino Básico

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper aims to evaluate experimentally the potentialities of Hybrid Composite Plates (HCPs) technique for the shear strengthening of reinforced concrete (RC) beams that were previously subjected to intense damage in shear. HCP is a thin plate of Strain Hardening Cementitious Composite (SHCC) reinforced with Carbon Fiber Reinforced Polymer (CFRP) laminates. For this purpose, an experimental program composed of two series of beams (rectangular and T cross section) was executed to assess the strengthening efficiency of this technique. In the first step of this experimental program, the control beams, without steel stirrups, were loaded up to their shear failure, and fully unloaded. Then, these pre-damaged beams were shear strengthened by applying HCPs to their lateral faces by using a combination of epoxy adhesive and mechanical anchors. The bolts were applied with a certain torque in order to increase the concrete confinement. The obtained results showed that the increase of load carrying capacity of the damaged strengthened beams when HCPs were applied with epoxy adhesive and mechanical anchors was 2 and 2.5 times of the load carrying capacity of the corresponding reference beams (without HCPs) for the rectangular and T cross section beam series, respectively. To further explore the potentialities of the HCPs technique for the shear strengthening, the experimental tests were simulated using an advanced numerical model by a FEM-based computer program. After demonstration the good predictive performance of the numerical model, a parametric study was executed to highlight the influence of SHCC as an alternative for mortar, as well as the influence of torque level applied to the mechanical anchors, on the load carrying capacity of beams strengthened with the proposed technique.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Os académicos estão a tornar-se uma presença cada vez mais visível nos plateaux informativos da TV portuguesa. Não são um grupo muito diversificado. Pelo contrário. Apresentam-se como uma confraria que é oriunda das universidades de Lisboa e pertence a um reduzido número de campos de saberes. Aos plateaux televisivos portugueses dificilmente chegará o fazer-ciência concreto. O que chega são alguns dos seus actores, o que não significa que o consigam por um efeito de reconhecimento inter pares, mas, antes, por um efeito de verdadeiras imparidades: porque já adquiriram suficiente capital simbólico em zonas exteriores ao campo científico. Zonas mais limítrofes, como o campo institucional-académico, ou zonas mais afastadas, como o campo comunicacional.