Análisis del proceso de Friction Drilling: Análisis de la calidad de la junta atornillada

[ES]En el presente trabajo, se pretende optimizar la unión atornillada de chapas de dos materiales disimilares (acero y aluminio) mediante un proceso no convencional, el taladrado por fricción. Dicho proceso está orientado a la calderería fina, sector en el cual tiene gran número de aplicaciones. Se comenzará con una serie de ensayos iníciales y se procederá a realizar pruebas sistemáticas. Se realizarán mediciones de temperaturas, momentos torsores y fuerzas, y se analizaran las tolerancias dimensionales generadas por el proceso para la elección de los parámetros óptimos. El documento se centrará en analizar de forma teórica el comportamiento mecánico de la unión y de los ensayos de tracción correspondientes. Esto servirá para realizar los futuros ensayos de calidad y posteriormente comparar los resultados con los de las uniones convencionales.

Growth in Overlapping Generation Economies with Non-Renewable Resources

Published as an article in: Journal of Environmental Economics and Management, 2005, vol. 50, issue 2, pages 387-407.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Design,optimization and in vivo evaluation of non-viral vectors for gene therapy. Applications in ocular disorders

227 págs.

Community structure in real-world networks from a non-parametrical synchronization-based dynamical approach

[EN]This work analyzes the problem of community structure in real-world networks based on the synchronization of nonidentical coupled chaotic Rössler oscillators each one characterized by a defined natural frequency, and coupled according to a predefined network topology. The interaction scheme contemplates an uniformly increasing coupling force to simulate a society in which the association between the agents grows in time. To enhance the stability of the correlated states that could emerge from the synchronization process, we propose a parameterless mechanism that adapts the characteristic frequencies of coupled oscillators according to a dynamic connectivity matrix deduced from correlated data. We show that the characteristic frequency vector that results from the adaptation mechanism reveals the underlying community structure present in the network.

Language distance and non-native syntactic processing: Evidence from event-related potentials

[EN] In this study, we explore native and non-native syntactic processing, paying special attention to the language distance factor. To this end, we compared how native speakers of Basque and highly proficient non-native speakers of Basque who are native speakers of Spanish process certain core aspects of Basque syntax. Our results suggest that differences in native versus non-native language processing strongly correlate with language distance: native/non-native processing differences obtain if a syntactic parameter of the non-native grammar diverges from the native grammar. Otherwise, non-native processing will approximate native processing as levels of proficiency increase. We focus on three syntactic parameters: (i) the head parameter, (ii) argument alignment (ergative/accusative), and (iii) verb agreement. The first two diverge in Basque and Spanish, but the third is the same in both languages. Our results reveal that native and non-native processing differs for the diverging syntactic parameters, but not for the convergent one. These findings indicate that language distance has a significant impact in non-native language processing.

Biomolecule storage on non-modified thermoplastic microfluidic chip by ink-jet printing of ionogels

[EN] This paper reports an innovative technique for reagents storage in microfluidic devices by means of a one-step UV-photoprintable ionogel-based microarray on non-modified polymeric substrates. Although the ionogel and the ink-jet printing technology are well published, this is the first study where both are used for long-term reagent storage in lab-on-a-chip devices. This technology for reagent storage is perfectly compatible with mass production fabrication processes since pre-treatment of the device substrate is not necessary and inkjet printing allows for an efficient reagent deposition process. The functionality of this microarray is demonstrated by testing the release of biotin-647 after being stored for 1 month at room temperature. Analysis of the fluorescence of the ionogel-based microarray that contains biotin-647 demonstrated that 90% of the biotin-647 present was released from the ionogel-based microarray after pumping PBS 0.1% Tween at 37 °C. Moreover, the activity of biotin-647 after being released from the ionogel-based microarray was investigated trough the binding capability of this biotin to a microcontact printed chip surface with avidin. These findings pave the way for a novel, one-step, cheap and mass production on-chip reagents storage method applicable to other reagents such as antibodies and proteins and enzymes.

Optimization of the pyrolysis process for the production of a biomass derived reducing agent and hydrogen-rich gases

221 p.

Implementation of the nursing process in a health area: models and assessment structures used

Objective: to analyze what nursing models and nursing assessment structures have been used in the implementation of the nursing process at the public and private centers in the health area Gipuzkoa (Basque Country). Method: a retrospective study was undertaken, based on the analysis of the nursing records used at the 158 centers studied. Results: the Henderson model, Carpenito's bifocal structure, Gordon's assessment structure and the Resident Assessment Instrument Nursing Home 2.0 have been used as nursing models and assessment structures to implement the nursing process. At some centers, the selected model or assessment structure has varied over time. Conclusion: Henderson's model has been the most used to implement the nursing process. Furthermore, the trend is observed to complement or replace Henderson's model by nursing assessment structures.

Virtual Sensors for On-line Wheel Wear and Part Roughness Measurement in the Grinding Process

Grinding is an advanced machining process for the manufacturing of valuable complex and accurate parts for high added value sectors such as aerospace, wind generation, etc. Due to the extremely severe conditions inside grinding machines, critical process variables such as part surface finish or grinding wheel wear cannot be easily and cheaply measured on-line. In this paper a virtual sensor for on-line monitoring of those variables is presented. The sensor is based on the modelling ability of Artificial Neural Networks (ANNs) for stochastic and non-linear processes such as grinding; the selected architecture is the Layer-Recurrent neural network. The sensor makes use of the relation between the variables to be measured and power consumption in the wheel spindle, which can be easily measured. A sensor calibration methodology is presented, and the levels of error that can be expected are discussed. Validation of the new sensor is carried out by comparing the sensor's results with actual measurements carried out in an industrial grinding machine. Results show excellent estimation performance for both wheel wear and surface roughness. In the case of wheel wear, the absolute error is within the range of microns (average value 32 mu m). In the case of surface finish, the absolute error is well below R-a 1 mu m (average value 0.32 mu m). The present approach can be easily generalized to other grinding operations.

DLK1 and DLK2 characterization in mouse salivary gland development

103 p.; 102 p.

Adenylate Cyclase Toxin promotes bacterial internalisation into non phagocytic cells

Bordetella pertussis causes whooping cough, a respiratory infectious disease that is the fifth largest cause of vaccine-preventable death in infants. Though historically considered an extracellular pathogen, this bacterium has been detected both in vitro and in vivo inside phagocytic and non-phagocytic cells. However the precise mechanism used by B. pertussis for cell entry, or the putative bacterial factors involved, are not fully elucidated. Here we find that adenylate cyclase toxin (ACT), one of the important toxins of B. pertussis, is sufficient to promote bacterial internalisation into non-phagocytic cells. After characterization of the entry route we show that uptake of "toxin-coated bacteria" proceeds via a clathrin-independent, caveolae-dependent entry pathway, allowing the internalised bacteria to survive within the cells. Intracellular bacteria were found inside non-acidic endosomes with high sphingomyelin and cholesterol content, or "free" in the cytosol of the invaded cells, suggesting that the ACT-induced bacterial uptake may not proceed through formation of late endolysosomes. Activation of Tyr kinases and toxin-induced Ca2+-influx are essential for the entry process. We hypothesize that B. pertussis might use ACT to activate the endocytic machinery of non-phagocytic cells and gain entry into these cells, in this way evading the host immune system.