19 resultados para Distributed computer-controlled systems
Resumo:
In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.
Resumo:
Hand gesture recognition for human computer interaction, being a natural way of human computer interaction, is an area of active research in computer vision and machine learning. This is an area with many different possible applications, giving users a simpler and more natural way to communicate with robots/systems interfaces, without the need for extra devices. So, the primary goal of gesture recognition research is to create systems, which can identify specific human gestures and use them to convey information or for device control. For that, vision-based hand gesture interfaces require fast and extremely robust hand detection, and gesture recognition in real time. In this study we try to identify hand features that, isolated, respond better in various situations in human-computer interaction. The extracted features are used to train a set of classifiers with the help of RapidMiner in order to find the best learner. A dataset with our own gesture vocabulary consisted of 10 gestures, recorded from 20 users was created for later processing. Experimental results show that the radial signature and the centroid distance are the features that when used separately obtain better results, with an accuracy of 91% and 90,1% respectively obtained with a Neural Network classifier. These to methods have also the advantage of being simple in terms of computational complexity, which make them good candidates for real-time hand gesture recognition.
Resumo:
"Lecture notes in computational vision and biomechanics series, ISSN 2212-9391, vol. 19"
Resumo:
Hand gestures are a powerful way for human communication, with lots of potential applications in the area of human computer interaction. Vision-based hand gesture recognition techniques have many proven advantages compared with traditional devices, giving users a simpler and more natural way to communicate with electronic devices. This work proposes a generic system architecture based in computer vision and machine learning, able to be used with any interface for human-computer interaction. The proposed solution is mainly composed of three modules: a pre-processing and hand segmentation module, a static gesture interface module and a dynamic gesture interface module. The experiments showed that the core of visionbased interaction systems could be the same for all applications and thus facilitate the implementation. For hand posture recognition, a SVM (Support Vector Machine) model was trained and used, able to achieve a final accuracy of 99.4%. For dynamic gestures, an HMM (Hidden Markov Model) model was trained for each gesture that the system could recognize with a final average accuracy of 93.7%. The proposed solution as the advantage of being generic enough with the trained models able to work in real-time, allowing its application in a wide range of human-machine applications. To validate the proposed framework two applications were implemented. The first one is a real-time system able to interpret the Portuguese Sign Language. The second one is an online system able to help a robotic soccer game referee judge a game in real time.
Resumo:
Hand gestures are a powerful way for human communication, with lots of potential applications in the area of human computer interaction. Vision-based hand gesture recognition techniques have many proven advantages compared with traditional devices, giving users a simpler and more natural way to communicate with electronic devices. This work proposes a generic system architecture based in computer vision and machine learning, able to be used with any interface for humancomputer interaction. The proposed solution is mainly composed of three modules: a pre-processing and hand segmentation module, a static gesture interface module and a dynamic gesture interface module. The experiments showed that the core of vision-based interaction systems can be the same for all applications and thus facilitate the implementation. In order to test the proposed solutions, three prototypes were implemented. For hand posture recognition, a SVM model was trained and used, able to achieve a final accuracy of 99.4%. For dynamic gestures, an HMM model was trained for each gesture that the system could recognize with a final average accuracy of 93.7%. The proposed solution as the advantage of being generic enough with the trained models able to work in real-time, allowing its application in a wide range of human-machine applications.
Resumo:
The MAP-i doctoral program of the Universities of Minho, Aveiro and Porto
Resumo:
Multilayer systems obtained using the Layer-by-Layer (LbL) technology have been proposed for a variety of biomedical applications in tissue engineering and regenerative medicine. LbL assembly is a simple and highly versatile method to modify surfaces and fabricate robust and highly-ordered nanostructured coatings over almost any type of substrates and with a wide range of substances. The incorporation of polyoxometalate (POM) inorganic salts as constituents of the layers presents a possibility of promoting light-stimuli responses in LbL substrates. We propose the design of a biocompatible photo-responsive multilayer system based on a Preyssler-type POM ([NaP5W30O110]14â ) and a natural origin polymer, chitosan, using the LbL methodology. The photo-reduction properties of the POM allow the spatially controlled disruption of the assembled layers due to the weakening of the electrostatic interactions between the layers. This system has found applicability in detaching devices, such as the cell sheet technology, which may solve the drawbacks actually found in other cell treatment proposals.
Resumo:
The extracellular matrix (ECM) of tissues is an assembly of insoluble macromolecules that specifically interact with soluble bioactive molecules and regulate their distribution and availability to cells. Recapitulating this ability has been an important target in controlled growth factor delivery strategies for tissue regeneration and requires the design of multifunctional carriers. This review describes the integration of supramolecular interactions on the design of delivery strategies that encompass self-assembling and engineered affinity components to construct advanced biomimetic carriers for growth factor delivery. Several glycan- and peptide-based self-assemblies reported in the literature are highlighted and commented upon. These examples demonstrate how molecular design and chemistry are successfully employed to create versatile multifunctional molecules which self-assemble/disassemble in a precisely predicted manner, thus controlling compartmentalization, transport and delivery. Finally, we discuss whether recent advances in the design and preparation of supramolecular delivery systems have been sufficient to drive real translation towards a clinical impact.
Resumo:
Zeolites Y (faujasite) and MOR (mordonite) were used as hosts for temozolomide (TMZ), a current good-standard chemotherapeutic agent used in the treatment of glioblastoma brain tumors. TMZ was loaded into zeolites by liquid-phase adsorption at controlled pH. FTIR, 1H NMR, MS, SEM, UV/vis and chemical analysis demonstrated the successful loading of TMZ into zeolite hosts. The hydrolysis of TMZ in MTIC (TMZ metabolite) after the preparation of drug delivery systems (DDS) was observed in simulated body fluid. The effect of zeolites and DDS were evaluated on the viability of glioblastoma cell lines. Unloaded Y zeolite presented toxicity to cancer cells in contrast to MOR. In accordance, the best results in potentiation of the TMZ effect was obtained with MOR. We found that mordonite loaded with 0.026 mmol of TMZ was able to decrease the half maximal inhibitory concentrations (IC50) at least 3-fold in comparison to free temozolomide both in vitro and in vivo.
Resumo:
Tese de Doutoramento em Engenharia de Eletrónica e de Computadores
Resumo:
Programa Doutoral em Engenharia Biomédica
Resumo:
Degree of Doctor of Philosophy of Structural/Civil Engineering
Resumo:
Tese de Doutoramento em Engenharia Eletrónica e Computadores.
Resumo:
Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.
Resumo:
Tese de Doutoramento em Engenharia Química e Biológica.