98 resultados para temporal logic programming
Resumo:
La Gimnàstica Estètica de Grup (GEG) és un esport emergent del qual no existeix gairebé cap treball de camp i/o publicació. En relació al codi de puntuació d’aquesta modalitat, tant les capacitats de salt com la unitat de moviment del cos i la sincronització entre els membres del conjunt, tenen un pes molt important en la puntuació del valor tècnic i de l’execució. En aquest estudi s’ha realitzat la mesura, avaluació i comparació de les manifestacions de la força explosiva, elàstica i reactiva d’un grup de gimnàstica d’estètica d’alt nivell al principi i al final del període competitiu, mitjançant la bateria de tests de salts verticals de Bosco, concretament SJ, CMJ, CMJas i RJ (15” CMJas). També s’ha analitzat la sincronització i/o coordinació temporal intergrupal d’execució de les dificultats tècniques de salt de les coreografies competitives, al llarg del període competitiu d’un conjunt de gimnàstica estètica d’alt nivell, tenint en compte la sincronització en començar la dificultat i en acabar-la. Els resultats obtinguts demostren que la manifestació de força elàsticoexplosiva en CMJ ha disminuït un 0,46 % i la força explosiva SJ (sense reutilització d'energia elàstica ni aprofitament del reflex miotàtic) ha augmentat un 4,63 %. Durant el període competitiu del conjunt sènior de gimnàstica estètica del Club Muntanyenc Sant Cugat, la influència dels braços en la capacitat de salt ha augmentat un 1,32% i la potència anaeròbica alàctica un 4,76%. Tot i que en la majoria de tests, els resultats han estat positius, no es considera que la mostra hagi assolit una millora significativa, atès que no ha superat el 10% proposat en començar l’estudi, i els valors obtinguts són totalment inestables. S’ha vist que en un mateix test el % de pèrdues i de guanys ha estat molt variat, de manera que no es pot establir una relació de millora de la capacitat de salt en funció de l’entrenament. Pel que fa a la sincronització temporal intergrupal, ha millorat entre un 37,50% (sincronització temps inicial) i un 50,00% (sincronització temps final) en relació a les dificultats tècniques. Fet que és relaciona directament amb l’automatització de mecanismes d’execució al llarg de la temporada competitiva. Tot i així no s’ha igualat o superat la millora d’un 70% proposada per les hipòtesis inicials de l’estudi.
Resumo:
Biometric system performance can be improved by means of data fusion. Several kinds of information can be fused in order to obtain a more accurate classification (identification or verification) of an input sample. In this paper we present a method for computing the weights in a weighted sum fusion for score combinations, by means of a likelihood model. The maximum likelihood estimation is set as a linear programming problem. The scores are derived from a GMM classifier working on a different feature extractor. Our experimental results assesed the robustness of the system in front a changes on time (different sessions) and robustness in front a change of microphone. The improvements obtained were significantly better (error bars of two standard deviations) than a uniform weighted sum or a uniform weighted product or the best single classifier. The proposed method scales computationaly with the number of scores to be fussioned as the simplex method for linear programming.
Resumo:
La Universitat de Vic disposa, entre altres equips, d’una cèl·lula flexible de fabricació, del fabricant Festo, que simula un procés de formació de palets amb els productes que es disposen en un magatzem intermedi. Aquesta cèl·lula està composta de quatre estacions de muntatge diferenciades (càrrega de palets, càrrega de plaques, magatzem intermedi i transport). Cada una disposa d'un PLC SIEMENS S7-300 per la seva automatització, i tots aquests es troben interconnectats amb una xarxa industrial Profibus. L'objectiu d'aquest projecte és implantar el sistema SCADA Vijeo Citect pel control i supervisió de l'estació magatzem d'aquesta cèl·lula flexible de fabricació, establint també un intercanvi de dades entre l'SCADA i el Microsoft Access, per poder ser utilitzat per la docència. Aquest projecte s'ha desenvolupat en cinc fases diferents: 1. La primera fase s'ha dedicat a l'automatització pròpiament de l'estació magatzem a partir de l'autòmat programable Siemens S7-300 i complint amb les necessitats plantejades. 2. En la segona fase s'ha programat i establert la comunicació per l'intercanvi de dades (lectura i escriptura) entre el sistema SCADA Vijeo Citect i la base de dades de Microsoft Access. 3. En la tercera fase s'ha elaborat i programat l'entorn gràfic de supervisió i control del procés a partir del sistema SCADA Vijeo Citect. 4. En la quarta fase s'ha instal·lat un OPC Server en el PC i s'ha establert la comunicació entre el PLC i el sistema SCADA. 5. Finalment s'ha anat revisant i depurant les diferents programacions i comunicacions per tal de que el sistema funcioni com a un conjunt.
Resumo:
We present a framework for modeling right-hand gestures in bowed-string instrument playing, applied to violin. Nearly non-intrusive sensing techniques allow for accurate acquisition of relevant timbre-related bowing gesture parameter cues. We model the temporal contour of bow transversal velocity, bow pressing force, and bow-bridge distance as sequences of short segments, in particular B´ezier cubic curve segments. Considering different articulations, dynamics, andcontexts, a number of note classes is defined. Gesture parameter contours of a performance database are analyzed at note-level by following a predefined grammar that dictatescharacteristics of curve segment sequences for each of the classes into consideration. Based on dynamic programming, gesture parameter contour analysis provides an optimal curve parameter vector for each note. The informationpresent in such parameter vector is enough for reconstructing original gesture parameter contours with significant fidelity. From the resulting representation vectors, weconstruct a statistical model based on Gaussian mixtures, suitable for both analysis and synthesis of bowing gesture parameter contours. We show the potential of the modelby synthesizing bowing gesture parameter contours from an annotated input score. Finally, we point out promising applicationsand developments.
Resumo:
Aquest llibre recull l'exposició homònima que hi va haver al Museu Bíblic Tarraconense el maig del 2011 en motiu del festival Tàrraco Viva. La van coorganitzar l’Associació Cultural Sant Fructuós, el Capítol Catedralici, l’Institut Català d’Arqueologia Clàssica, l’Ajuntament de Tarragona i el Museu Bíblic Tarraconense. La mostra va rebre el premi Musa de la revista de divulgació del món clàssic Auriga. L'obra explica els resultats de les excavacions arqueològiques dutes a terme a la Catedral durant els anys 2010 i 2011 i i l’evolució urbanística de l’espai catedralici des dels inicis de l’ocupació romana fins a l’actualitat. Inclou una interessant mostra de fotografies i dibuixos, a més del catàleg de les peces més significatives aparegudes a les esmentades intervencions arqueològiques.
Resumo:
El següent projecte mostra la creació d’una aplicació web-map per a la realització de consultes sobre l’informació estadística relacionada amb el port de Barcelona. Aquesta aplicació integra les eines d'anàlisi estadística de Google Fusion Tables, i les llibreries per realitzar un visor geogràfic-temporal que són Timemap i Google Earth
Resumo:
A table showing a comparison and classification of tools (intelligent tutoring systems) for e-learning of Logic at a college level.
Resumo:
Several approaches have been developed to estimate both the relative and absolute rates of speciation and extinction within clades based on molecular phylogenetic reconstructions of evolutionary relationships, according to an underlying model of diversification. However, the macroevolutionary models established for eukaryotes have scarcely been used with prokaryotes. We have investigated the rate and pattern of cladogenesis in the genus Aeromonas (γ-Proteobacteria, Proteobacteria, Bacteria) using the sequences of five housekeeping genes and an uncorrelated relaxed-clock approach. To our knowledge, until now this analysis has never been applied to all the species described in a bacterial genus and thus opens up the possibility of establishing models of speciation from sequence data commonly used in phylogenetic studies of prokaryotes. Our results suggest that the genus Aeromonas began to diverge between 248 and 266 million years ago, exhibiting a constant divergence rate through the Phanerozoic, which could be described as a pure birth process.
Resumo:
Peer-reviewed
Resumo:
Voltage fluctuations caused by parasitic impedances in the power supply rails of modern ICs are a major concern in nowadays ICs. The voltage fluctuations are spread out to the diverse nodes of the internal sections causing two effects: a degradation of performances mainly impacting gate delays anda noisy contamination of the quiescent levels of the logic that drives the node. Both effects are presented together, in thispaper, showing than both are a cause of errors in modern and future digital circuits. The paper groups both error mechanismsand shows how the global error rate is related with the voltage deviation and the period of the clock of the digital system.
Resumo:
This paper presents a programming environment for supporting learning in STEM, particularly mobile robotic learning. It was designed to maintain progressive learning for people with and without previous knowledge of programming and/or robotics. The environment was multi platform and built with open source tools. Perception, mobility, communication, navigation and collaborative behaviour functionalities can be programmed for different mobile robots. A learner is able to programme robots using different programming languages and editor interfaces: graphic programming interface (basic level), XML-based meta language (intermediate level) or ANSI C language (advanced level). The environment supports programme translation transparently into different languages for learners or explicitly on learners’ demand. Learners can access proposed challenges and learning interfaces by examples. The environment was designed to allow characteristics such as extensibility, adaptive interfaces, persistence and low software/hardware coupling. Functionality tests were performed to prove programming environment specifications. UV BOT mobile robots were used in these tests
Resumo:
In a medieval Barcelonan side-street, urine, rubbish, and a bewildering array of graphic imagery splatters the narrowing walls between two major thoroughfares. A contemporary conflict between residents, unknown artists and others is played out using banners, bottles, stickers, posters, stencils, spray paint, and bodily substances. In this shadowed liminality, local and global debates are superimposed upon substructures constructed from disease, prostitution, and the Saint of the Plague. The continuing urban struggle constitutes temporal statements of dirt and purity, violence and humour, dominance and resistance, death and salvation. Like the renovated facades masking the crumbling remains of structures long neglected, the government’s literal whitewashing of the art is a temporal cover-up of a discursive symptom stretching from deeply embedded preconditions. However, from his niche in the angular bend of the alley bearing his name, the statue of St. Rock remains unblinkingly staring, raised above the contestations expressed below.
Resumo:
En aquest treball s’ha estudiat la variabilitat temporal i espacial en l’acumulació de sediment fi a la llera del riu Isàbena (Conca de l’Ebre) al llarg d’un any (1 de Juny de 2007 al 31 de maig de 2008) així com la seva relació amb l’arribada de sediments a l’embassament de Barasona, amb el mètode directe de camp, en aquest cas el cilindre de resuspensió. Aquesta tècnica s’ha aplicat a quatre seccions ubicades al tram baix de l’Isàbena. Amb les dades obtingudes, s’ha analitzat la dinàmica de les acumulacions a les diferents estacions de l’any, tractant de trobar patrons característics.