44 resultados para Symbolic Execution


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Approximate Quickselect, a simple modification of the well known Quickselect algorithm for selection, can be used to efficiently find an element with rank k in a given range [i..j], out of n given elements. We study basic cost measures of Approximate Quickselect by computing exact and asymptotic results for the expected number of passes, comparisons and data moves during the execution of this algorithm. The key element appearing in the analysis of Approximate Quickselect is a trivariate recurrence that we solve in full generality. The general solution of the recurrence proves to be very useful, as it allows us to tackle several related problems, besides the analysis that originally motivated us. In particular, we have been able to carry out a precise analysis of the expected number of moves of the ith element when selecting the jth smallest element with standard Quickselect, where we are able to give both exact and asymptotic results. Moreover, we can apply our general results to obtain exact and asymptotic results for several parameters in binary search trees, namely the expected number of common ancestors of the nodes with rank i and j, the expected size of the subtree rooted at the least common ancestor of the nodes with rank i and j, and the expected distance between the nodes of ranks i and j.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En aquest projecte s’ha implementat un sistema de control per a les bombes microfluídiques LPVX de The Lee Company funcionant a mode de xeringa. El sistema consisteix en un circuit controlador basat en el microxip UDN 296 B de Allegro MicroSystems, que conté dos Ponts en H per a controlar motors pas a pas i dos mòduls de Modulació d’Amplada de Polsos (PWM), governat a partir d’un programa de control com a instrument virtual dissenyat sota l’entorn LabVIEW. El programa de control permet indicar la quantitat de volum a aspirar o dispensar per la bomba i escollir entre una execució simple o una de continuada, podent-ne controlar en aquest segona opció el temps entre execució i execució. El programa també permet visualitzar el procés mitjançant la obtenció de la imatge d’una webcam amb DirectShow. Finalment també permet el control remot de l’Instrument Virtual a través de la xarxa d’Internet.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The recent strides of democracy in Latin America have been associated to conflicting outcomes. The expectation that democracy would bring about peace and prosperity have been only partly satisfied. While political violence has been by and large eradicated from the sub-continent, poverty and social injustice still prevail and hold sway. Our study argues that democracy matters for inequality through the growing strength of center left and left parties and by making political leaders in general more responsive to the underprivileged. Furthermore, although the pension reforms recently enacted in the region generated overall regressive outcomes on income distribution, democratic countries still benefit from their political past: where democratic tradition was stronger, such outcomes have been milder. Democratic tradition and the specific ideological connotations of the parties in power, on the other hand, did not play an equally crucial role in securing lower levels of political violence: during the last wave of democratizations in Latin America, domestic peace was rather an outcome of political and social concessions to those in distress. In sum, together with other factors and especially economic ones, the reason why recent democratizations have provided domestic peace in most cases, but have been unable so far to solve the problem of poverty and inequality, is that democratic traditions in the subcontinent have been relatively weak and, more specifically, that this weakness has undermined the growth of left and progressive parties, acting as an obstacle to redistribution. Such weakness, on the other hand, has not prevented the drastic reduction of domestic political violence, since what mattered in this case was a combination of symbolic or material concessions and political agreements among powerful élites and counter-élites.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La present recerca té per objecte l’estudi de la utilització dels sistemes de control electrònic monitorat a la població penada a Catalunya. La finalitat principal del projecte és la d’analitzar l’adequació d’aquests sistemes als fins que la llei penal, processal i penitenciària els encomana i valorar la viabilitat d’ampliació de la utilització d’aquests sistemes. L’interès en la realització d’aquest estudi deriva de la constatació, per una banda, de l’existència d’una àmplia oferta de sistemes tecnològics, en constant desenvolupament i millora, que permeten un seguiment i control dels individus en la comunitat, i per altra banda, de la progressiva incorporació d’aquestes tecnologies en la legislació penal i penitenciària. La recerca parteix de la base que en l’actual context de presons superpoblades, de creixent volum de la població interna en centres penitenciaris i de recerca de mesures de major control del risc, l’anàlisi de l’ús que s’ha donat a aquest recurs legal i la valoració que de la seva utilització en fan els subjectes involucrats en la seva aplicació pot resultar cabdal per al disseny de noves polítiques penitenciàries. A més, la recerca hauria de permetre plantejar l’eventual extensió d’aquests sistemes a un major nombre de supòsits en el mateix context del tercer grau penitenciari o bé fins i tot plantejar la seva utilització en la llibertat condicional o en altres àmbits de l’execució penal.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Primero comenzamos por describir la situación global histórica de la transformación del entorno. Luego se describe cómo evoluciona la Educación Ambiental bajo el concepto del desarrollo, constituyéndose como la Educación Ambiental para el Desarrollo Sustentable. Continuamos describiendo la situación de la EA a nivel internacional; se pasa luego al ámbito nacional, teniendo como escenario a México, aquí se hace un análisis del estado que guarda la EA en el país. Después se continua con el ámbito estatal, para lo cual se analiza la situación de la EA en el estado de Zacatecas, en este plano se toca el tema de la participación de las instituciones de educación superior en el intercambio de experiencias y conocimientos para el fortalecimiento de programas de EADS. Luego pasamos a un ámbito municipal, el caso a tratar es el municipio de Monte Escobedo Zacatecas, se hace una descripción general del municipio y se tratan los antecedentes que han motivado este proyecto, para luego pasar a describir el caso específico de la Sierra de Monte Escobedo; a partir de las características de ésta y retomando una propuesta previa de integrar la Sierra al sistema de Áreas Naturales Protegidas de México, se hacen dos propuestas: La primera es sobre el diseño de un Centro de Interpretación y Educación Ambiental; la segunda es para la realización de un Sendero de interpretación. Ambas propuestas pretenden contribuir al aprovechamiento sustentable de los recursos y desarrollo de la comunidad.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La Integración de la Políticas Ambientales (IPA) consiste en la incorporación de los objetivos ambientales en todos los estadios de elaboración e implementación de las políticas no ambientales (o sectoriales), con un reconocimiento específico de dicho objetivo como principio director de la programación y la puesta en práctica. Se complementa con la previsión de las consecuencias ambientales mediante una evaluación de conjunto de la política con objeto de minimizar las contradicciones entre las políticas ambientales y no ambientales dando prioridad a las primeras. La naturaleza transversal de la IPA no se ajusta a la forma tradicional de gobernanza jerárquica basada en la autoridad del Estado, la diferenciación sectorial, y los instrumentos típicos de dirección y control. Por ello, no es extraño que la IPA se encuentre a menudo asociada a los llamados "nuevos modos de gobernanza". Esta tesis propone analizar empíricamente el estado de la cuestión en España con respecto a la Integración de la política ambiental , tanto a nivel estatal como autonómico (Cataluña, País Vasco), yendo más allá de los compromisos políticos a favor de un mayor grado de integración de los factores ambientales en las demás políticas. En particular, los ámbitos de investigación seleccionados para esta finalidad son el de las políticas de mitigación de las causas y los efectos del cambio climático, y las políticas de desarrollo sostenible. En términos de ‘variable independiente’ La hipótesis que se quiere comprobar es que la acción llevada a cabo por la Unión Europea ha generado profundos cambios en las estructuras de las instituciones mencionadas y en los procesos de elaboración y implementación de determinadas políticas (energía y transporte) así como en las relaciones entre sectores de la administración pública y entre el sector público y el privado.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This article addresses the normative dilemma located within the application of `securitization,’ as a method of understanding the social construction of threats and security policies. Securitization as a theoretical and practical undertaking is being increasingly used by scholars and practitioners. This scholarly endeavour wishes to provide those wishing to engage with securitization with an alternative application of this theory; one which is sensitive to and self-reflective of the possible normative consequences of its employment. This article argues that discussing and analyzing securitization processes have normative implications, which is understood here to be the negative securitization of a referent. The negative securitization of a referent is asserted to be carried out through the unchallenged analysis of securitization processes which have emerged through relations of exclusion and power. It then offers a critical understanding and application of securitization studies as a way of overcoming the identified normative dilemma. First, it examines how the Copenhagen School’s formation of securitization theory gives rise to a normative dilemma, which is situated in the performative and symbolic power of security as a political invocation and theoretical concept. Second, it evaluates previous attempts to overcome the normative dilemma of securitization studies, outlining the obstacles that each individual proposal faces. Third, this article argues that the normative dilemma of applying securitization can be avoided by firstly, deconstructing the institutional power of security actors and dominant security subjectivities and secondly, by addressing countering or alternative approaches to security and incorporating different security subjectivities. Examples of the securitization of international terrorism and immigration are prominent throughout.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La gestión de recursos en los procesadores multi-core ha ganado importancia con la evolución de las aplicaciones y arquitecturas. Pero esta gestión es muy compleja. Por ejemplo, una misma aplicación paralela ejecutada múltiples veces con los mismos datos de entrada, en un único nodo multi-core, puede tener tiempos de ejecución muy variables. Hay múltiples factores hardware y software que afectan al rendimiento. La forma en que los recursos hardware (cómputo y memoria) se asignan a los procesos o threads, posiblemente de varias aplicaciones que compiten entre sí, es fundamental para determinar este rendimiento. La diferencia entre hacer la asignación de recursos sin conocer la verdadera necesidad de la aplicación, frente a asignación con una meta específica es cada vez mayor. La mejor manera de realizar esta asignación és automáticamente, con una mínima intervención del programador. Es importante destacar, que la forma en que la aplicación se ejecuta en una arquitectura no necesariamente es la más adecuada, y esta situación puede mejorarse a través de la gestión adecuada de los recursos disponibles. Una apropiada gestión de recursos puede ofrecer ventajas tanto al desarrollador de las aplicaciones, como al entorno informático donde ésta se ejecuta, permitiendo un mayor número de aplicaciones en ejecución con la misma cantidad de recursos. Así mismo, esta gestión de recursos no requeriría introducir cambios a la aplicación, o a su estrategia operativa. A fin de proponer políticas para la gestión de los recursos, se analizó el comportamiento de aplicaciones intensivas de cómputo e intensivas de memoria. Este análisis se llevó a cabo a través del estudio de los parámetros de ubicación entre los cores, la necesidad de usar la memoria compartida, el tamaño de la carga de entrada, la distribución de los datos dentro del procesador y la granularidad de trabajo. Nuestro objetivo es identificar cómo estos parámetros influyen en la eficiencia de la ejecución, identificar cuellos de botella y proponer posibles mejoras. Otra propuesta es adaptar las estrategias ya utilizadas por el Scheduler con el fin de obtener mejores resultados.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En la actualidad, la computación de altas prestaciones está siendo utilizada en multitud de campos científicos donde los distintos problemas estudiados se resuelven mediante aplicaciones paralelas/distribuidas. Estas aplicaciones requieren gran capacidad de cómputo, bien sea por la complejidad de los problemas o por la necesidad de solventar situaciones en tiempo real. Por lo tanto se debe aprovechar los recursos y altas capacidades computacionales de los sistemas paralelos en los que se ejecutan estas aplicaciones con el fin de obtener un buen rendimiento. Sin embargo, lograr este rendimiento en una aplicación ejecutándose en un sistema es una dura tarea que requiere un alto grado de experiencia, especialmente cuando se trata de aplicaciones que presentan un comportamiento dinámico o cuando se usan sistemas heterogéneos. En estos casos actualmente se plantea realizar una mejora de rendimiento automática y dinámica de las aplicaciones como mejor enfoque para el análisis del rendimiento. El presente trabajo de investigación se sitúa dentro de este ámbito de estudio y su objetivo principal es sintonizar dinámicamente mediante MATE (Monitoring, Analysis and Tuning Environment) una aplicación MPI empleada en computación de altas prestaciones que siga un paradigma Master/Worker. Las técnicas de sintonización integradas en MATE han sido desarrolladas a partir del estudio de un modelo de rendimiento que refleja los cuellos de botella propios de aplicaciones situadas bajo un paradigma Master/Worker: balanceo de carga y número de workers. La ejecución de la aplicación elegida bajo el control dinámico de MATE y de la estrategia de sintonización implementada ha permitido observar la adaptación del comportamiento de dicha aplicación a las condiciones actuales del sistema donde se ejecuta, obteniendo así una mejora de su rendimiento.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The peace process in Northern Ireland demonstrates that new sovereignty formulas need to be explored in order to meet the demands of the populations and territories in conflict. The profound transformation of the classic symbolic elements of the nation-state within the context of the European Union has greatly contributed to the prospects for a resolution of this old conflict. Today’s discussions are focused on the search for instruments of shared sovereignty that are adapted to a complex and plural social reality. This new approach for finding a solution to the Irish conflict is particularly relevant to the Basque debate about formulating creative and modern solutions to similar conflicts over identity and sovereignty. The notion of shared sovereignty implemented in Northern Ireland –a formula for complex interdependent relations– is of significant relevance to the broader international community and is likely to become an increasingly potent and transcendent model for conflict resolution and peace building.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Hem establert les bases metodològiques i teòriques per investigar la pregunta “Tenen les nacions sense estat el dret de controlar el seu propi espai de comunicació?”. La investigació ajusta el concepte d’espai de comunicació a la teoria política, cercant els seus límits en els drets individuals i, des de la perspectiva del liberalisme 2, aportant la justificació del seu control en quant que plataforma que incideix en la conservació i supervivència d’una cultura nacional. El primer article i fase de la tesi és l’adaptació i definició del concepte espai de comunicació. Fins ara, la recerca ha proposat diferents models d’espai de comunicació entenent si es tracta d’una visió emfatitzant la distribució i la producció de material marcat amb els símbols de la identitat nacional de la societat emissora, o bé si emfatitza la idea d’un espai de circulació de fluxos comunicatiu ajustat a un territori tradicionalment vinculat a una identitat nacional o nació sense estat. Igualment, es distingeix la dimensió d’emissió –sortir del territori al món- i la de recepció –fluxos informatius rebuts des del món al territori, concretament, al ciutadà; el paper d’intervenció de les institucions democràtiques és diferent en una dimensió o una altra i, per tant, també són diferents els drets afectats i les teories o principis que neguen o justifiquen el control de l’espai de comunicació. També s’ha indagat en les teories sobre els efectes cognitius dels mitjans de comunicació per relacionar-los amb la construcció nacional com a cohesió simbòlica i cultural. Si bé els mitjans no poden fer canviar de pensament immediatament, sí que poden conformar a llarg termini una percepció nacional general. Una comunitat és imaginada, donada la distància física dels seus components, i la comunicació social és, juntament amb l’educació, el principal factor de construcció nacional, avui en dia.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

El projecte "Laboratori Asssit per Ordinador Mitjançant Eines Ofimàtiques Convencionals" ha estat realitzat en la facultat de Física de la Universitat de Barcelona durant els anys 2007 i 2008 (projecte biennal). El principal objectiu d’aquest projecte és demostrar la possibilitat d’utilitzar les eines informàtiques més habituals en la realització d’experiències de laboratori assistit per ordinador (LAO). En particular, es proposa la utilització del Excel © juntament amb les seves macros (Visual Basic para Aplicacions, VBA) en pràctiques de laboratori d’assignatures en l’àrea de Física Aplicada. Excel és un full de càlcul molt conegut i usat tant per professors com pels estudiants. En aquest treball mostrem exemples concrets que abasten les diferents tècniques de control i adquisició de dades: programació del port sèrie (RS- 232) i paral·lel, i interfase GPIB. La implementació d’aquestes tècniques es realitza mitjançant macros VBA de Excel. La resta de programació de l’aplicació LAO, la representació gràfica i el tractament de les dades, es realitza de forma molt simple a partir del maneig habitual d’un full de càlcul. La realització del projecte ha demostrat la conveniència d’aquesta metodologia. Actualment pràcticament la totalitat de les pràctiques LAO de les quals és responsable el Departament de Física Aplicada utilitzen la programació a través del full de càlcul. La resposta dels estudiants ha estat molt positiva. La combinació de les característiques d’aquesta eina juntament amb la programació VBA té un enorme potencial i representa, probablement, una forma senzilla d’introduir tant a l’alumne com al professor en el món de la programació.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

L'objectiu del projecte és possibilitar que els estudiants de la diplomatura de turisme de la UOC puguin realitzar una pràctica laboral rigorosa i realista i que permeti desenvolupar les competències bàsiques en treball en equip i transversals en sostenibilitat aplicada a les destinacions turístiques. La pràctica docent consisteix en una simulació, per a entorn virtual d'aprenentatge que emula les diferents fases del treball de consultoria turística i l’aplicació dels resultats del les tasques col·laboratives a un treball orientat a objecte. Concretament el projecte està orientat a simular un treball de camp i a dissenyar i executar un pla estratègic per a la millora d'una destinació de naturalesa. La metodologia didàctica parteix de l’organització d'un treball en equip, cosa per la qual s'espera que els estudiants puguin cooperar entre si durant les fases del projecte. Amb el projecte es pretén aconseguir dotar als estudiants de mètodes i habilitats en sostenibilitat aplicada al turisme. Així com posar en pràctica els coneixements previs obtinguts en aquesta matèria. La simulació consisteix en la implementació d’estratègies per a millorar l’ús dels recursos turístics en una destinació real espanyola (el parc Natural de la Serra d'Espadà, a la província de Castelló), així com a crear una memòria final basada en la creació d'un pla estratègic per a la implementació d'accions basades en el turisme sostenible en l’àrea d'estudi.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Amb la finalitat de conèixer l’estat de qualitat de les aigües de les basses i pous del Parc del Garraf, s’analitzen una sèrie de paràmetres fisico-químics en 17 estacions de mostreig prèviament seleccionades, distribuïdes en zones amb diferents tipologies d’ús del sòl. La base de l’anàlisi ha estat la integració d’informació provinent de diferents fonts. Mitjançant l’elaboració de taules i gràfics, la generació de cartografia i el tractament estadístic de les dades, s’ha procedit a la tria de punts de mostreig i s’ha obtingut un inventari que ha permès la interpretació global dels resultats, facilitant la diagnosi. El procés de tractament de dades inclou la confecció d’un índex de qualitat de les aigües (ICA) propi, no vinculant, a partir de fórmules genèriques de normalització i ponderació de valors. Durant la realització de la diagnosi s’han detectat pertorbacions puntuals en determinats paràmetres corresponents a contaminacions locals, en diferents estacions de mostreig. Aquestes pertorbacions s’han relacionat amb la situació dels pous i les basses al Garraf i les tipologies d’ús del sòl de cada zona. El diagnòstic de pertorbacions ha orientat les propostes de millora aplicables que s’han dividit en tres classes segons el nivell d’actuació. Aquestes incideixen principalment, en la millora de la informació disponible, l’aplicació de l’agricultura ecològica, l’explotació sostenible dels aqüífers i la realització d’estudis globals i/o locals, més complets i exhaustius.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

For the execution of the scientific applications, different methods have been proposed to dynamically provide execution environments for such applications that hide the complexity of underlying distributed and heterogeneous infrastructures. Recently virtualization has emerged as a promising technology to provide such environments. Virtualization is a technology that abstracts away the details of physical hardware and provides virtualized resources for high-level scientific applications. Virtualization offers a cost-effective and flexible way to use and manage computing resources. Such an abstraction is appealing in Grid computing and Cloud computing for better matching jobs (applications) to computational resources. This work applies the virtualization concept to the Condor dynamic resource management system by using Condor Virtual Universe to harvest the existing virtual computing resources to their maximum utility. It allows existing computing resources to be dynamically provisioned at run-time by users based on application requirements instead of statically at design-time thereby lay the basis for efficient use of the available resources, thus providing way for the efficient use of the available resources.