16 resultados para Continuous constraint programming
em Universidade do Minho
Resumo:
Injectable biomaterials with in situ cross-linking reactions have been suggested to minimize the invasiveness associated with most implantation procedures. However, problems related with the rapid liquid-to-gel transition reaction can arise because it is difficult to predict the reliability of the reaction and its end products, as well as to mitigate cytotoxicity to the surrounding tissues. An alternative minimally invasive approach to deliver solid implants in vivo is based on injectable microparticles, which can be processed in vitro with high fidelity and reliability, while showing low cytotoxicity. Their delivery to the defect can be performed by injection through a small diameter syringe needle. We present a new methodology for the continuous, solvent- and oil-free production of photopolymerizable microparticles containing encapsulated human dermal fibroblasts. A precursor solution of cells in photo-reactive PEG-fibrinogen (PF) polymer was transported through a transparent injector exposed to light-irradiation before being atomized in a jet-in-air nozzle. Shear rheometry data provided the cross-linking kinetics of each PF/cell solution, which was then used to determine the amount of irradiation required to partially polymerize the mixture prior to atomization. The partially polymerized drops fell into a gelation bath for further polymerization. The system was capable of producing cell-laden microparticles with high cellular viability, with an average diameter of between 88.1 µm to 347.1 µm and a dispersity of between 1.1 and 2.4, depending on the parameters chosen.
Resumo:
The assessment of concrete mechanical properties during construction of concrete structures is of paramount importance for many intrinsic operations. However many of the available non-destructive methods for mechanical properties have limitations for use in construction sites. One of such methodologies is EMM-ARM, which is a variant of classic resonant frequency methods. This paper aims to demonstrate the efforts towards in-situ applicability of EMMARM, as to provide real-time information about concrete mechanical properties such as E-modulus and compressive strength. To achieve the aforementioned objective, a set of adaptations to the method have been successfully implemented and tested: (i) the reduction of the beam span; (ii) the use of a different mould material and (iii) a new support system for the beams. Based on these adaptations, a reusable mould was designed to enable easier systematic use of EMMARM. A pilot test was successfully performed under in-situ conditions during a bridge construction.
Resumo:
The experimental evaluation of viscoelastic properties of concrete is traditionally made upon creep tests that consist in the application of sustained loads either in compression or in tension. This kind of testing demands for specially devised rigs and requires careful monitoring of the evolution of strains, whereas assuring proper load constancy. The characterization of creep behaviour at early ages offers additional challenges due to the strong variations in viscoelastic behaviour of concrete during such stages, demanding for several testing ages to be assessed. The present research work aims to assist in reducing efforts for continuous assessment of viscoelastic properties of concrete at early ages, by application of a dynamic testing technique inspired in methodologies used in polymer science: Dynamic Mechanical Analyses. This paper briefly explains the principles of the proposed methodology and exhibits the first results obtained in a pilot application. The results are promising enough to encourage further developments.
Resumo:
This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.
Resumo:
In order to create safer schools, the Chilean authorities published a Standard regarding school furniture dimensions. The aims of this study are twofold: to verify the existence of positive secular trend within the Chilean student population and to evaluate the potential mismatch between the anthropometric characteristics and the school furniture dimensions defined by the mentioned standard. The sample consists of 3078 subjects. Eight anthropometric measures were gathered, together with six furniture dimensions from the mentioned standard. There is an average increase for some dimensions within the Chilean student population over the past two decades. Accordingly, almost 18% of the students will find the seat height to be too high. Seat depth will be considered as being too shallow for 42.8% of the students. It can be concluded that the Chilean student population has increased in stature, which supports the need to revise and update the data from the mentioned Standard. Practitioner Summary: Positive secular trend resulted in high levels of mismatch if furniture is selected according to the current Chilean Standard which uses data collected more than 20 years ago. This study shows that school furniture standards need to be updated over time.
Resumo:
Relatório de estágio de mestrado em Ensino de Informática
Resumo:
Tese de Doutoramento em Engenharia Industrial e de Sistemas (PDEIS)
Resumo:
Shifting from chemical to biotechnological processes is one of the cornerstones of 21st century industry. The production of a great range of chemicals via biotechnological means is a key challenge on the way toward a bio-based economy. However, this shift is occurring at a pace slower than initially expected. The development of efficient cell factories that allow for competitive production yields is of paramount importance for this leap to happen. Constraint-based models of metabolism, together with in silico strain design algorithms, promise to reveal insights into the best genetic design strategies, a step further toward achieving that goal. In this work, a thorough analysis of the main in silico constraint-based strain design strategies and algorithms is presented, their application in real-world case studies is analyzed, and a path for the future is discussed.
Resumo:
About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.
Resumo:
The receiver-operating characteristic (ROC) curve is the most widely used measure for evaluating the performance of a diagnostic biomarker when predicting a binary disease outcome. The ROC curve displays the true positive rate (or sensitivity) and the false positive rate (or 1-specificity) for different cut-off values used to classify an individual as healthy or diseased. In time-to-event studies, however, the disease status (e.g. death or alive) of an individual is not a fixed characteristic, and it varies along the study. In such cases, when evaluating the performance of the biomarker, several issues should be taken into account: first, the time-dependent nature of the disease status; and second, the presence of incomplete data (e.g. censored data typically present in survival studies). Accordingly, to assess the discrimination power of continuous biomarkers for time-dependent disease outcomes, time-dependent extensions of true positive rate, false positive rate, and ROC curve have been recently proposed. In this work, we present new nonparametric estimators of the cumulative/dynamic time-dependent ROC curve that allow accounting for the possible modifying effect of current or past covariate measures on the discriminatory power of the biomarker. The proposed estimators can accommodate right-censored data, as well as covariate-dependent censoring. The behavior of the estimators proposed in this study will be explored through simulations and illustrated using data from a cohort of patients who suffered from acute coronary syndrome.
Resumo:
Dissertação de mestrado integrado em Engenharia e Gestão Industrial
Resumo:
Source point treatment of effluents with a high load of pharmaceutical active compounds (PhACs), such as hospital wastewater, is a matter of discussion among the scientific community. Fungal treatments have been reported to be successful in degrading this type of pollutants and, therefore, the white-rot fungus Trametes versicolor was applied for the removal of PhACs from veterinary hospital wastewater. Sixty-six percent removal was achieved in a non-sterile batch bioreactor inoculated with T. versicolor pellets. On the other hand, the study of microbial communities by means of DGGE and phylogenetic analyses led us to identify some microbial interactions and helped us moving to a continuous process. PhAC removal efficiency achieved in the fungal treatment operated in non-sterile continuous mode was 44 % after adjusting the C/N ratio with respect to the previously calculated one for sterile treatments. Fungal and bacterial communities in the continuous bioreactors were monitored as well.
Resumo:
A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.
Resumo:
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.
Resumo:
This chapter presents a general methodology for the formulation of the kinematic constraint equations at position, velocity and acceleration levels. Also a brief characterization of the different type of constraints is offered, namely the holonomic and nonholonomic constraints. The kinematic constraints described here are formulated using generalized coordinates. The chapter ends with a general approach to deal with the kinematic analysis of multibody systems.