Computational design of a new type of sandwich cross-section for a defined solution of a tree-like column produced by wire-and-arc additive manufacturing

When it comes to designing a structure, architects and engineers want to join forces in order to create and build the most beautiful and efficient building. From finding new shapes and forms to optimizing the stability and the resistance, there is a constant link to be made between both professions. In architecture, there has always been a particular interest in creating new shapes and types of a structure inspired by many different fields, one of them being nature itself. In engineering, the selection of optimum has always dictated the way of thinking and designing structures. This mindset led through studies to the current best practices in construction. However, both disciplines were limited by the traditional manufacturing constraints at a certain point. Over the last decades, much progress was made from a technological point of view, allowing to go beyond today's manufacturing constraints. With the emergence of Wire-and-Arc Additive Manufacturing (WAAM) combined with Algorithmic-Aided Design (AAD), architects and engineers are offered new opportunities to merge architectural beauty and structural efficiency. Both technologies allow for exploring and building unusual and complex structural shapes in addition to a reduction of costs and environmental impacts. Through this study, the author wants to make use of previously mentioned technologies and assess their potential, first to design an aesthetically appreciated tree-like column with the idea of secondly proposing a new type of standardized and optimized sandwich cross-section to the construction industry. Parametric algorithms to model the dendriform column and the new sandwich cross-section are developed and presented in detail. A catalog draft of the latter and methods to establish it are then proposed and discussed. Finally, the buckling behavior of this latter is assessed considering standard steel and WAAM material properties.

Magnetic suspension of the rotor of a ventricular assist device of mixed flow type

This work presents results of preliminary studies concerning application of magnetic bearing in a ventricular assist device (VAD) being developed by Dante Pazzanese Institute of Cardiology-IDPC (Sao Paulo, Brazil). The VAD-IDPC has a novel architecture that distinguishes from other known VADs. In this, the rotor has a conical geometry with spiral impellers, showing characteristics that are intermediate between a centrifugal VAD and an axial VAD. The effectiveness of this new type of blood pumping principle was showed by tests and by using it in heart surgery for external blood circulation. However, the developed VAD uses a combination of ball bearings and mechanical seals, limiting the life for some 10 h, making impossible its long-term use or its use as an implantable VAD. As a part of development of an implantable VAD, this work aims at the replacement of ball bearings by a magnetic bearing. The most important magnetic bearing principles are studied and the magnetic bearing developed by Escola Politecnica of Sao Paulo University (EPUSP-MB) is elected because of its very simple architecture. Besides presenting the principle of the EPUSP-MB, this work presents one possible alternative for applying the EPUSP-MB in the IDPC-VAD.

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Soliton-type and other travelling wave solutions for an improved class of nonlinear sixth-order Boussinesq equations

An improved class of nonlinear bidirectional Boussinesq equations of sixth order using a wave surface elevation formulation is derived. Exact travelling wave solutions for the proposed class of nonlinear evolution equations are deduced. A new exact travelling wave solution is found which is the uniform limit of a geometric series. The ratio of this series is proportional to a classical soliton-type solution of the form of the square of a hyperbolic secant function. This happens for some values of the wave propagation velocity. However, there are other values of this velocity which display this new type of soliton, but the classical soliton structure vanishes in some regions of the domain. Exact solutions of the form of the square of the classical soliton are also deduced. In some cases, we find that the ratio between the amplitude of this wave and the amplitude of the classical soliton is equal to 35/36. It is shown that different families of travelling wave solutions are associated with different values of the parameters introduced in the improved equations.

Business Hostel: A new opportunity for the hostel industry

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Neuroprotection in cerebral ischemia with XG-102, a new peptide inhibitor of JNK

Abstract Stroke or cerebrovascular accident, whose great majority is of ischemic nature, is the third leading cause of mortality and long lasting disability in industrialised countries. Resulting from the loss of blood supply to the brain depriving cerebral tissues of oxygen and glucose, it induces irreversible neuronal damages. Despite the large amount of research carried out into the causes and pathogenic features of cerebral ischemia the progress toward effective treatments has been poor. Apart the clot-busting drug tissue-type plasminogen activator (tPA) as effective therapy for acute stroke (reperfusion by thrombolysis) but limited to a low percentage of patients, there are currently no other approved medical treatments. The need for new therapy strategies is therefore imperative. Neuronal death in cerebral ischemia is among others due to excitotoxic mechanisms very early after stroke onset. One of the main involved molecular pathways leading to excitotoxic cell death is the c-Jun NH2-terminal kinase (JNK) pathway. Several studies have already shown the efficacy of a neuroprotective agent of a new type, a dextrogyre peptide synthesized in the retro inverso form (XG102, formerly D-JNKI1), which is protease-resistant and cell-penetrating and that selectively and strongly blocks the access of JNK to many of its targets. A powerful protection was observed with this compound in several models of ischemia (Borsello et al. 2003;Hirt et al. 2004). This chimeric compound, made up of a 10 amino acid TAT transporter sequence followed by a 20 amino acids JNK binding domain (JBD) sequence from JNK inhibitor protein (JIP) molecule, induced both a major reduction in lesion size and improved functional outcome. Moreover it presents a wide therapeutic window. XG-102 has proved its powerful efficacy in an occlusion model of middle cerebral artery in mice with intracérebroventricular (i.c.v.) injection but in order to be able to consider the development of this drug for human ischemic stroke it was therefore necessary to determine the feasibility of its systemic administration. The studies being the subject of this thesis made it possible to show a successful neuroprotection with XG-102 administered systemically after transient mouse middle cerebral artery occlusion (MCAo). Moreover our data. provided information about the feasibility to combine XG-102 with tPA without detrimental action on cell survival. By combining the benefits from a reperfusion treatment with the effects of a neuroprotective compound, it would represent the advantage of bringing better chances to protect the cerebral tissue. Résumé L'attaque cérébrale ou accident vasculaire cérébral, dont la grande majorité est de nature ischémique, constitue la troisième cause de mortalité et d'infirmité dans les pays industrialisés. Résultant de la perte d'approvisionnement de sang au cerveau privant les tissus cérébraux d'oxygène et de glucose, elle induit des dommages neuronaux irréversibles. En dépit du nombre élevé de recherches effectuées pour caractériser les mécanismes pathogènes de l'ischémie. cérébrale, les progrès vers des traitements efficaces restent pauvres. Excepté l'activateur tissulaire du plasminogène (tPA) dont le rôle est de désagréger les caillots sanguins et employé comme thérapie efficace contre l'attaque cérébrale aiguë (reperfusion par thrombolyse) mais limité à un faible pourcentage de patients, il n'y a actuellement aucun autre traitement médical approuvé. Le besoin de nouvelles stratégies thérapeutiques est par conséquent impératif. La mort neuronale dans l'ischémie cérébrale est entre autres due à des mécanismes excitotoxiques survenant rapidement après le début de l'attaque cérébrale. Une des principales voies moléculaires impliquée conduisant à la mort excitotoxique des cellules est la voie de la c-Jun NH2terminal kinase (JNK). Plusieurs études ont déjà montré l'efficacité d'un agent neuroprotecteur d'un nouveau type, un peptide dextrogyre synthétisé sous la forme retro inverso (XG-102, précédemment D-JNKI1) résistant aux protéases, capable de pénétrer dans les cellules et de bloquer sélectivement et fortement l'accès de JNK à plusieurs de ses cibles. Une puissante protection a été observée avec ce composé dans plusieurs modèles d'ischémie (Borsello et al. 2003;Hirt et al. 2004). Ce composé chimérique, construit à partir d'une séquence TAT de 10 acides aminés suivie par une séquence de 20 acides aminés d'un domaine liant JNK (JBD) issu de la molécule JNK protéine inhibitrice. (JIP), induit à la fois une réduction importante de la taille de lésion et un comportement fonctionnel amélioré. De plus il présente une fenêtre thérapeutique étendue. XG-102 a prouvé sa puissante efficacité dans un modèle d'occlusion de l'artère cérébrale moyenne chez la souris avec injection intracerebroventriculaire (i.c.v.) mais afin de pouvoir envisager le développement de ce composé pour l'attaque cérébrale chez l'homme, il était donc nécessaire de déterminer la faisabilité de son administration systémique. Les études faisant l'objet de cette thèse ont permis de montrer une neuroprotection importante avec XG-102 administré de façon systémique après l'occlusion transitoire de l'artère cérébrale moyenne chez la souris (MCAo). De plus nos données ont fourni des informations quant à la faisabilité de combiner XG-102 et tPA, démontrant une protection efficace par XG-102 malgré l'action nuisible du tPA sur la survie des cellules. En combinant les bénéfices de la reperfusion avec les effets d'un composé neurooprotecteur, cela représenterait l'avantage d'apporter des meilleures chances de protéger le tissu cérébral.

The class basis of the cleavage between the New Left and the radical right: An analysis for Austria, Denmark, Norway and Switzerland

This chapter argues that the electoral competition between the New Left and the Radical Right is best understood as a cultural divide anchored in different class constituencies. Based on individual-level data from the European Social Survey, we analyze the links between voters' class position, their economic and cultural preferences and their party choice for four small and affluent European countries. We find a striking similarity in the class pattern across countries. Everywhere, the New Left attracts disproportionate support from socio-cultural professionals and presents a clear-cut middle-class profile, whereas the Radical Right is most successful among production and service workers and receives least support from professionals. In general, the Radical Right depends on the votes of lowereducated men and older citizens and has turned into a new type of working-class party. However, its success within the working-class is not due to economic, but to cultural issues. The voters of the Radical Right collide with those of the New Left over a cultural conflict of identity and community - and not over questions of redistribution. A full-grown cleavage has thus emerged in the four countries under study, separating a libertarian-universalistic pole from an authoritarian-communitarian pole and going along with a process of class realignment.

Thermogenic effect of the new beta-adrenoreceptor agonist Ro 16-8714 in healthy male volunteers.

Previous investigations in experimental animals have shown that a new type of beta-adrenoceptor agonist (Ro 16-8714) possesses both thermogenic and antihyperglycemic properties. The aim of the study was to assess the thermogenic capacity of the compound in man after acute administration. Following an overnight fast three different doses (5, 10 and 20 mg) and a placebo were given per os to six normal-weight young men. The rate of energy expenditure (EE) and substrate utilization were determined by indirect calorimetry (hood system) before and for 6 h following the drug administration. Heart rate and blood pressure as well as plasma glucose, insulin and free fatty acid (FFA) concentrations were also measured at regular intervals throughout the study. The increment relative to base-line (mean +/- s.e.m.) in EE with placebo, 5, 10 and 20 mg was 4 +/- 3, 10 +/- 2, 11 +/- 2 and 21 +/- 2 percent respectively whereas heart rate was enhanced by 2 +/- 2, 8 +/- 3, 22 +/- 2, and 49 +/- 8 percent. Systolic blood pressure increased less (1 +/- 2, 8 +/- 1, 11 +/- 1 and 13 +/- 2 percent), and diastolic blood pressure did not change significantly. Simultaneously we observed a slight and transient increase in blood glucose, insulin and FFA concentrations. It is concluded that in lean individuals Ro 16-8714 is a potent thermogenic agent; however, new beta-adrenoceptor agonists should be developed in order to avoid the tachycardia associated with the thermogenic effect.

Railway Wagon Market Analysis and New Multi-Purpose Wagon Solution for Freight Transports - Finnish Manufacturing Perspective

Rautateillä käytettävät tavaravaunut ovat vanhenemassa hyvin nopeasti; tämä koskee niin Venäjää, Suomea, Ruotsia kuin laajemminkin Eurooppaa. Venäjällä ja Euroopassa on käytössä runsaasti vaunuja, jotka ovat jo ylittäneet niille suositeltavan käyttöiän. Silti niitä käytetään kuljetuksissa, kun näitä korvaavia uusia vaunuja ei ole tarpeeksi saatavilla. Uusimmat vaunut ovat yleensä vaunuja vuokraavien yritysten tai uusien rautatieoperaattorien hankkimia - tämä koskee erityisesti Venäjää, jossa vaunuvuokraus on noussut erittäin suosituksi vaihtoehdoksi. Ennusteissa kerrotaan vaunupulan kasvavan ainakin vuoteen 2010 saakka. Jos rautateiden suosio rahtikuljetusmuotona kasvaa, niin voimistuva vaunukysyntä jatkuu huomattavan paljon pidemmän aikaa. Euroopan ja Venäjän vaunukannan tilanne näkyy myös sitä palvelevan konepajateollisuuden ongelmina - yleisesti ottaen alan eurooppalaiset yritykset ovat heikosti kannattavia ja niiden liikevaihto ei juuri kasva, venäläiset ja ukrainalaiset yritykset ovat olleet samassa tilanteessa, joskin aivan viime vuosina tilanne on osassa kääntynyt paremmaksi. Kun näiden maanosien yritysten liikevaihtoa, voittoa ja omistaja-arvoa verrataan yhdysvaltalaisiin kilpailijoihin, huomataan että jälkimmäisten suoriutuminen on huomattavan paljon parempaa, ja näillä yrityksillä on myös kyky maksaa osinkoja omistajilleen. Tutkimuksen tarkoituksena oli kehittää uuden tyyppinen kuljetusvaunu Suomen, Venäjän sekä mahdollisesti myös Kiinan väliseen liikenteeseen. Vaunutyypin tarkoituksena olisi kyetä toimimaan monikäyttöisenä, niin raaka-aineiden kuin konttienkin kuljetuksessa, tasapainottaen kuljetusmuotojen aiheuttamaa kuljetuspaino-ongelmaa. Kehitystyön pohjana käytimme yli 1000 venäläisen vaunutyypin tietokantaa, josta valitsimme Data Envelopment Analysis -menetelmällä soveliaimmat vaunut kontinkuljetukseen (lähemmin tarkastelimme n. 40 vaunutyyppiä), jättäen mahdollisimman vähän tyhjää tilaa junaan, mutta silti kyeten kantamaan valitun konttilastin. Kun kantokykyongelmia venäläisissä vaunuissa ei useinkaan ole, on vertailu tehtävissä tavarajunan pituuden ja kokonaispainon perusteella. Simuloituamme yhdistettyihin kuljetuksiin soveliasta vaunutyyppiä käytännössä löytyvässä kuljetusverkostossa (esim. raakapuuta Suomeen tai Kiinaan ja kontteja takaisin Venäjän suuntaan), huomasimme lyhemmän vaunupituuden sisältävän kustannusetua, erityisesti raakaainekuljetuksissa, mutta myös rajanylityspaikkojen mahdollisesti vähentyessä. Lyhempi vaunutyyppi on myös joustavampi erilaisten konttipituuksien suhteen (40 jalan kontin käyttö on yleistynyt viime vuosina). Työn lopuksi ehdotamme uuden vaunutyypin tuotantotavaksi verkostomaista lähestymistapaa, jossa osa vaunusta tehtäisiin Suomessa ja osa Venäjällä ja/tai Ukrainassa. Vaunutyypin tulisi olla rekisteröity Venäjälle, sillä silloin sitä voi käyttää Suomen ja Venäjän, kuten myös soveltuvin osin Venäjän ja Kiinan välisessä liikenteessä.

Single axis controlled attraction type magnetic bearing

This paper presents a new type of magnetic bearing with active control only in axial direction. The bearing uses two pairs of permanent magnets working in attraction mode to restrict the radial motion and a control system composed of two electromagnets, a gap sensor and a controller to keep the axis in a fixed axial position. The principle, the dynamic model for axial motion and the control system for this bearing are presented. Finally, by experiments conducted in a prototype, the effectiveness of the presented concept is shown.

A new corner reflector antenna with periodic strip subreflectors

This paper presents the design of a new type of corner reflector (CR) antenna and the experimental investigation of its radiation characteristics. The design involves the addition of planar parallel periodic strips to the two sides of a CR antenna. The position, angular orientation, and number of strips have a notable effect on the H-plane radiation characteristics of the antenna. Certain configurations of the new antenna are capable of producing very sharp axial beams with gain on the order of 5 dB over the square corner reflector antenna. A configuration that can provide symmetric twin beams with enhanced gain and reduced half-power beam width (HPBW) is also presented.

Silica-encapsulated nanomagnetic particle as a new recoverable biocatalyst carrier

Enzymes are versatile biocatalysts with major advantages of ultrahigh reaction selectivity and specificity under mild conditions, which currently find increasing applications. However, their applications are often hampered by difficulties in recovery and recycling. As a result, we carried out detailed investigations on the synthesis and characterization of silica-encapsulated iron oxide magnetic nanoparticles of controlled dimension as an enzyme carrier. It is shown that the relatively smaller sized silica-coated magnetic nanoparticle prepared by the microemlusion technique can a carry bulky enzyme, beta-lactamase, via chemical linkages on the silica overlayer without severely blocking the enzymatic active center ( which is commonly encountered in conventional solid supports). An activity study by Michalis-Menten kinetics reflects that this new type of immobilization allows enzyme isolation with accessibility as good as free enzyme. The recovery and reusability of the nanoparticle-supported enzyme upon application of magnetic separation are also demonstrated.

Microblock ionomers: a new concept in high temperature, swelling-resistant membranes for PEM fuel cells

A novel series of polyaromatic ionomers with similar equivalent weights but very different sulphonic acid distributions along the ionomer backbone has been designed and prepared. By synthetically organising the sequence-distribution so that it consists of fully defined ionic segments (containing singlets, doublets or quadruplets of sulphonic acid groups) alternating strictly with equally well-defined nonionic spacer segments, a new class of polymers which may be described as microblock ionomers has been developed. These materials exhibit very different properties and morphologies from analogous randomly substituted systems. Progressively extending the nonionic spacer length in the repeat unit (maintaining a constant equivalent weight by increasing the degree of sulphonation. of the ionic segment) leads to an increasing degree of nanophase separation between hydrophilic and hydrophobic domains in these materials. Membranes cast from ionomers with the more highly phase-separated morphologies show significantly higher onset temperatures for uncontrolled swelling in water. This new type of ionomer design has enabled the fabrication of swelling-resistant hydrocarbon membranes, suitable for fuel cell operation, with very much higher ion exchange capacities (>2 meq g(-1)) than those previously reported in the literature. When tested in a fuel cell at high temperature (120 degrees C) and low relative humidity (35% RH), the best microblock membrane matched the performance of Nafion 112. Moreover, comparative low load cycle testing of membrane -electrode assemblies suggests that the durability of the new membranes under conditions of high temperature and low relative humidity is superior to that of conventional perfluorinated materials.