875 resultados para Continuous constraint programming
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:
Teollisuuden tuotannon eri prosessien optimointi on hyvin ajankohtainen aihe. Monet ohjausjärjestelmät ovat ajalta, jolloin tietokoneiden laskentateho oli hyvin vaatimaton nykyisiin verrattuna. Työssä esitetään tuotantoprosessi, joka sisältää teräksen leikkaussuunnitelman muodostamisongelman. Valuprosessi on yksi teräksen valmistuksen välivaiheita. Siinä sopivaan laatuun saatettu sula teräs valetaan linjastoon, jossa se jähmettyy ja leikataan aihioiksi. Myöhemmissä vaiheissa teräsaihioista muokataan pienempiä kokonaisuuksia, tehtaan lopputuotteita. Jatkuvavaletut aihiot voidaan leikata tilauskannasta riippuen monella eri tavalla. Tätä varten tarvitaan leikkaussuunnitelma, jonka muodostamiseksi on ratkaistava sekalukuoptimointiongelma. Sekalukuoptimointiongelmat ovat optimoinnin haastavin muoto. Niitä on tutkittu yksinkertaisempiin optimointiongelmiin nähden vähän. Nykyisten tietokoneiden laskentateho on kuitenkin mahdollistanut raskaampien ja monimutkaisempien optimointialgoritmien käytön ja kehittämisen. Työssä on käytetty ja esitetty eräs stokastisen optimoinnin menetelmä, differentiaalievoluutioalgoritmi. Tässä työssä esitetään teräksen leikkausoptimointialgoritmi. Kehitetty optimointimenetelmä toimii dynaamisesti tehdasympäristössä käyttäjien määrittelemien parametrien mukaisesti. Työ on osa Syncron Tech Oy:n Ovako Bar Oy Ab:lle toimittamaa ohjausjärjestelmää.
Resumo:
Insults during the fetal period predispose the offspring to systemic cardiovascular disease, but little is known about the pulmonary circulation and the underlying mechanisms. Maternal undernutrition during pregnancy may represent a model to investigate underlying mechanisms, because it is associated with systemic vascular dysfunction in the offspring in animals and humans. In rats, restrictive diet during pregnancy (RDP) increases oxidative stress in the placenta. Oxygen species are known to induce epigenetic alterations and may cross the placental barrier. We hypothesized that RDP in mice induces pulmonary vascular dysfunction in the offspring that is related to an epigenetic mechanism. To test this hypothesis, we assessed pulmonary vascular function and lung DNA methylation in offspring of RDP and in control mice at the end of a 2-wk exposure to hypoxia. We found that endothelium-dependent pulmonary artery vasodilation in vitro was impaired and hypoxia-induced pulmonary hypertension and right ventricular hypertrophy in vivo were exaggerated in offspring of RDP. This pulmonary vascular dysfunction was associated with altered lung DNA methylation. Administration of the histone deacetylase inhibitors butyrate and trichostatin A to offspring of RDP normalized pulmonary DNA methylation and vascular function. Finally, administration of the nitroxide Tempol to the mother during RDP prevented vascular dysfunction and dysmethylation in the offspring. These findings demonstrate that in mice undernutrition during gestation induces pulmonary vascular dysfunction in the offspring by an epigenetic mechanism. A similar mechanism may be involved in the fetal programming of vascular dysfunction in humans.
Resumo:
OBJECTIVES: To determine whether valganciclovir 450 mg every 48 h for cytomegalovirus (CMV) prophylaxis provides appropriate ganciclovir exposure in solid organ transplant recipients during continuous renal replacement therapy (CRRT). PATIENTS AND METHODS: Ganciclovir pharmacokinetics was intensively studied in two lung transplant recipients under valganciclovir 450 mg every 48 h over one dosing interval. In vitro experiments using blank whole blood spiked with ganciclovir further investigated exchanges between plasma and erythrocytes. RESULTS: Ganciclovir disposition was characterized by apparent total body clearance of 3.3 and 5.8 L/h, terminal half-life of 16.9 and 14.1 h, and apparent volume of distribution of 60.3 and 104.9 L in Patients 1 and 2, respectively. The observed sieving coefficient was 1.05 and 0.96, and the haemofiltration clearance was 3.3 and 3.1 L/h. In vitro experiments confirmed rapid efflux of ganciclovir from red blood cells into plasma, increasing the apparent efficacy of haemofiltration. CONCLUSIONS: A valganciclovir dosage of 450 mg every 48 h appears adequate for patients under CRRT requiring prophylaxis for CMV infection, providing concentration levels in the range reported for 900 mg once daily dosing outside renal failure.
Resumo:
Continuous positive airway pressure, aimed at preventing pulmonary atelectasis, has been used for decades to reduce lung injury in critically ill patients. In neonatal practice, it is increasingly used worldwide as a primary form of respiratory support due to its low cost and because it reduces the need for endotracheal intubation and conventional mechanical ventilation. We studied the anesthetized in vivo rat and determined the optimal circuit design for delivery of continuous positive airway pressure. We investigated the effects of continuous positive airway pressure following lipopolysaccharide administration in the anesthetized rat. Whereas neither continuous positive airway pressure nor lipopolysaccharide alone caused lung injury, continuous positive airway pressure applied following intravenous lipopolysaccharide resulted in increased microvascular permeability, elevated cytokine protein and mRNA production, and impaired static compliance. A dose-response relationship was demonstrated whereby higher levels of continuous positive airway pressure (up to 6 cmH(2)O) caused greater lung injury. Lung injury was attenuated by pretreatment with dexamethasone. These data demonstrate that despite optimal circuit design, continuous positive airway pressure causes significant lung injury (proportional to the airway pressure) in the setting of circulating lipopolysaccharide. Although we would currently avoid direct extrapolation of these findings to clinical practice, we believe that in the context of increasing clinical use, these data are grounds for concern and warrant further investigation.
Resumo:
Objective: Respiratory assistance with nasal continuous positive airway pressure (n-CPAP) is an effective treatment in premature newborns presenting respiratory distress. The aim of the study was to depict cardiac function, systemic (Qs) and pulmonary output (Qp) by echocardiography in stable premature infants requiring prolonged n-CPAP. Our hypothesis was that n-CPAP could reduce pulmonary blood flow. Patients and methods: All premature infants < 32 weeks gestation, > 7 days-old, requiring n-CPAP without severe respiratory compromise nor need for additional oxygen were prospectively included. Every patient had a first echocardiography while on n-CPAP. N-CPAP was then discontinued for two hours and a second echocardiography was performed. Results: 17 premature infants were included. Mean gestational age was 28 ± 2 weeks and mean weight 1.1 ± 0.3 kg. Following retrieval of n-CPAP we observed an increase in Qp of 53 ml/kg/min (95% CI 19-87 ml/kg/min), but no significant change in Qs. Consecutively a significant increase in Qp/Qs ratio of 16% was found (95% CI 7-29%). Conclusions: Nasal continuous positive airway pressure has hemodynamic effects in preterm infants in stable pulmonary and cardiac conditions. It reduces pulmonary output without interference with systemic output.
Resumo:
[eng] The group of teaching innovation in the area of Botany (GIBAF), University of Barcelona (UB), is raised each year to design new accreditation activities under continuous evaluation framework. We present the experience carried out during the academic year 2008-09 in the course of Pharmaceutical Botany. The aim has been to involve students for a semester in the authorship of a tutored project immediately useful and of easy permanence, beyond its assessment proving usefulness. The Medicinal Plants Garden of the Monastery of Pedralbes has been used as a resource and a collaboration agreement has been signed between the UB faculty and the Institute of Culture of Barcelona. The students have developed the work using the Moodle platform CampusvirtualUB into five stages which included preparation of files by students that have been modified in some steps following the various feedbacks from teachers. At the beginning of the activity, students were provided with a complete schedule of activities, the schedule for its implementation, and a total of 18 forced-use library resources. Finally, through Google sites, a website has been implemented, allowing for a virtual tour of the garden, documenting by referenced literature 50 medicinal plants for their nomenclature, botanical description, distribution, uses historical, current and future) and toxicity. The result of the activity was presented at a public ceremony in the Monastery of Pedralbes and is available at: http://sites.google.com/site/jardimedievalpedralbes/ [spa] El grupo de innovación docente integrado por profesores del área de Botánica (GIBAF) de la Universidad de Barcelona (UB) se plantea cada curso el diseño de nuevas actividades acreditativas en el marco de la evaluación continuada. Se presenta la experiencia llevada a cabo durante el curso 2008-09 en la asignatura Botánica Farmacéutica. El objetivo ha sido implicar durante un semestre a los estudiantes en la autoría de un proyecto tutorizado de inmediata utilidad y clara perdurabilidad, más allá de su utilidad acreditativa. Como recurso se ha utilizado el Jardín de Plantas Medicinales del Monasterio de Pedralbes y se ha firmado un convenio de colaboración docente entre la UB y el Instituto de Cultura de Barcelona. Los estudiantes han realizado el trabajo utilizando la plataforma Moodle del Campus virtual de la UB en cinco etapas que han incluido la confección de unas fichas que se han ido modificando en función de las diversas retroacciones de los profesores. Al inicio de la actividad, se facilitó a los estudiantes el cronograma completo de la actividad, la pauta para su realización, así como un total de 18 recursos bibliográficos de uso obligado. Finalmente, a través de GoogleSites, se ha realizado una web que permite realizar un paseo virtual por el jardín, documentando de forma referenciada para las 50 plantas medicinales su nomenclatura, descripción botánica, distribución, usos (históricos, actuales y futuros) y toxicidad. El resultado de la actividad fue presentado en un acto público en el Monasterio de Pedralbes y puede consultarse en: http://sites.google.com/site/jardimedievalpedralbes/
Resumo:
Tämä kandidaatintyö tutkii tietotekniikan perusopetuksessa keskeisen aiheen,ohjelmoinnin, alkeisopetusta ja siihen liittyviä ongelmia. Työssä perehdytään ohjelmoinnin perusopetusmenetelmiin ja opetuksen lähestymistapoihin, sekä ratkaisuihin, joilla opetusta voidaan tehostaa. Näitä ratkaisuja työssä ovat mm. ohjelmointikielen valinta, käytettävän kehitysympäristön löytäminen sekä kurssia tukevien opetusapuvälineiden etsiminen. Lisäksi kurssin läpivientiin liittyvien toimintojen, kuten harjoitusten ja mahdollisten viikkotehtävien valinta kuuluu osaksitätä työtä. Työ itsessään lähestyy aihetta tutkimalla Pythonin soveltuvuutta ohjelmoinnin alkeisopetukseen mm. vertailemalla sitä muihin olemassa oleviin yleisiin opetuskieliin, kuten C, C++ tai Java. Se tarkastelee kielen hyviä ja huonoja puolia, sekä tutkii, voidaanko Pythonia hyödyntää luontevasti pääasiallisena opetuskielenä. Lisäksi työ perehtyy siihen, mitä kaikkea kurssilla tulisi opettaa, sekä siihen, kuinka kurssin läpivienti olisi tehokkainta toteuttaa ja minkälaiset tekniset puitteet kurssin toteuttamista varten olisi järkevää valita.
Long-term continuous-flow left ventricular assist devices (LVAD) as bridge to heart transplantation.
Resumo:
Heart transplantation (HTx) is the treatment of choice for end-stage heart failure but the limited availability of heart's donors still represents a major issue. So long-term mechanical circulatory support (MCS) has been proposed as an alternative treatment option to assist patients scheduled on HTx waiting list bridging them for a variable time period to cardiac transplantation-the so-called bridge-to-transplantation (BTT) strategy. Nowadays approximately 90% of patients being considered for MCS receive a left ventricular assist device (LVAD). In fact, LVAD experienced several improvements in the last decade and the predominance of continuous-flow over pulsatile-flow technology has been evident since 2008. The aim of the present report is to give an overview of continuous-flow LVAD utilization in the specific setting of the BTT strategy taking into consideration the most representative articles of the scientific literature and focusing the attention on the evolution, clinical outcomes, relevant implications on the HTx strategy and future perspectives of the continuous-flow LVAD technology.
Resumo:
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.
Resumo:
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied
Resumo:
The main objective of this master's thesis is to study robot programming using simulation software, and also how to embed the simulation software into company's own robot controlling software. The further goal is to study a new communication interface to the assembly line's components -more precisely how to connect the robot cell into this new communication system. Conveyor lines are already available where the conveyors use the new communication standard. The robot cell is not yet capable of communicating with to other devices using the new communication protocols. The main problem among robot manufacturers is that they all have their own communication systems and programming languages. There has not been any common programming language to program all the different robot manufacturers robots, until the RRS (Realistic Robot Simulation) standards were developed. The RRS - II makes it possible to create the robot programs in the simulation software and it gives a common user interface for different robot manufacturers robots. This thesis will present the RRS - II standard and the robot manufacturers situation for the RRS - II support. Thesis presents how the simulation software can be embedded into company's own robot controlling software and also how the robot cell can be connected to the CAMX (Computer Aided Manufacturing using XML) communication system.
Resumo:
Let $S_*$ and $S_*^\{infty}$ be the functors of continuous and differentiable singular chains on the category of differentiable manifolds. We prove that the natural transformation $i: S_*^\infty \rightarrow S_*$, which induces homology equivalences over each manifold, is not a natural homotopy equivalence.
Resumo:
[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.
Resumo:
[cat] En aquest treball s'analitza l'efecte que comporta l'introducció de preferències inconsistents temporalment sobre les decisions òptimes de consum, inversió i compra d'assegurança de vida. En concret, es pretén recollir la creixent importància que un individu dóna a la herència que deixa i a la riquesa disponible per a la seva jubilació al llarg de la seva vida laboral. Amb aquesta finalitat, es parteix d'un model estocàstic en temps continu amb temps final aleatori, i s'introdueix el descompte heterogeni, considerant un agent amb una distribució de vida residual coneguda. Per tal d'obtenir solucions consistents temporalment es resol una equació de programació dinàmica no estàndard. Per al cas de funcions d'utilitat del tipus CRRA i CARA es troben solucions explícites. Finalment, els resultats obtinguts s'il·lustren numèricament.