Dissertations / Theses on the topic 'Bogies'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Bogies.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Grosso, Frederico Reis Mendes Vieira. "Plataforma de desmontagem e ensaio de bogies." Master's thesis, FCT - UNL, 2008. http://hdl.handle.net/10362/3611.
Full textNo interesse de uma contínua melhoria de processos e equipamentos, a empresa Fertagus, Travessia do Tejo, Transportes, S.A., procura uma solução que facilite e melhore as operações de revisão para o período de manutenção dos 1.200.000 quilómetros dos bogies dos seus comboios. Um total de 144 bogies, durante um período de 2 anos, terá que ser desmontado por completo, todos os componentes revistos, novamente montados e posteriormente ensaiados para verificar se existem empenos no chassis ou assimetrias na resposta à aplicação da força. Actualmente, a desmontagem é realizada por um método manual de compressão das molas da suspensão, o qual se revela ineficaz para a cadência de operações exigida, e a empresa não possui nenhum sistema que permita efectuar o teste pós-montagem. Sendo assim, o método actual será substituído por um método mecânico. A solução proposta, Plataforma de Desmontagem e Ensaio de Bogies, está descrita nas páginas seguintes.
Zhu, J. "Aerodynamic noise of high-speed train bogies." Thesis, University of Southampton, 2015. https://eprints.soton.ac.uk/379830/.
Full textHandoko, Yunendar Aryo, and yunendar@inka web id. "INVESTIGATION OF THE DYNAMICS OF RAILWAY BOGIES SUBJECTED TO TRACTION / BRAKING TORQUE." Central Queensland University. Centre for Railway Engineering, 2006. http://library-resources.cqu.edu.au./thesis/adt-QCQU/public/adt-QCQU20070209.101959.
Full textLuo, Robert Keqi. "Fatigue life evaluation of railway vehicle bogies using an integrated dynamic simulation." Thesis, London South Bank University, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358233.
Full textFontes, Marco António Azevedo. "Sistema de actuação hidráulica para plataforma de desmontagem e ensaio de bogies." Master's thesis, FCT - UNL, 2008. http://hdl.handle.net/10362/3612.
Full textA Fertagus – Travessias do Tejo S.A. terá em breve a necessidade de efectuar a desmontagem e ensaio em 144 bogies num intervalo de tempo que não deverá exceder os dois anos. Esta revisão acontecerá quando as composições atingirem o 1.200.000 km percorridos. Será necessário portanto que as oficinas de manutenção da empresa estejam munidas de equipamento que lhes permita responder de forma eficiente à cadência de serviço a que estarão sujeitas. O que se pretende com estas intervenções é desmontar todos os componentes internos e externos dos bogies das carruagens para que estes possam ser analisados de forma a verificar se estão em condições de funcionamento ou se terão que ser substituídos por novos componentes. Actualmente, a intervenção de desmontagem, por ser um processo inteiramente manual, é lento e pouco seguro para os operários de manutenção. Como foi referido anteriormente, dado o fluxo de serviço a que brevemente as oficinas estarão sujeitas, existe a necessidade de melhorar o método utilizado e, portanto, a solução encontrada para resolver esse problema e permitir satisfazer as necessidades da empresa assenta numa estrutura com o formato de pórtico ao qual será aplicado um sistema de dois actuadores hidráulicos. Este equipamento terá que satisfazer vários requisitos funcionais, em particular, ser capaz de exercer 350 kN nos bogies das carruagens.
Berghuvud, Ansel. "Curving performance and nonlinear dynamic behaviour of freight cars with three-piece bogies /." Luleå, 2001. http://epubl.luth.se/1402-1544/2001/09/index.html.
Full textTunna, John. "Fatigue design of railway vehicles for track induced random forces." Thesis, Open University, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278285.
Full textDeLorenzo, Michael. "NUCARS Modeling of a Freight Locomotive with Steerable Trucks." Thesis, Virginia Tech, 1997. http://hdl.handle.net/10919/36664.
Full textMaster of Science
Pyrgidis, Christos. "Comportement transversal d'un véhicule ferroviaire en alignement et en courbe. Nouvelles technologies des bogies. Etude comparative." Marne-la-vallée, ENPC, 1990. http://www.theses.fr/1990ENPC9004.
Full textMcDonald, Christopher. "An experimental research investigation into disused flat rail wagons as bridges with applications for low volume rural roads in Australia." Thesis, Queensland University of Technology, 2011. https://eprints.qut.edu.au/45684/1/Christopher_McDonald_Thesis.pdf.
Full textMalo-Estepa, Andrés. "Prise en compte de la variabilité des caractéristiques de suspension d'un bogie pour l'optimisation des opérations de maintenance." Thesis, Valenciennes, 2018. http://www.theses.fr/2018VALE0041.
Full textThe reduction of maintenance costs is a key stake for the competitivity of railway rolling stock manufacturers. The optimization of maintenance operations can be addressed by less, better-planned overhaul operations, through an increase of the life-cycle of some components. Among the most frequently checked suspension organs, rubber-to-metal elements have a key role on the bogie performance. The change on the mechanical properties of these elements are studied by accelerated ageing techniques, so as to represent their behaviour throughout their lifecycle. Several hyper-elastic laws, associated with the characterization of the rubber ageing, have been proposed in these works. These models have been used to simulate the behaviour of the real components. Hence, a set of tools describing the variability observed on the parts is proposed, allowing the design of a strategy for dynamics simulations considering several models of an already approved rolling stock model. The aim is to quantify the variability effect on the safety indexes demanded by standard norms. Finally, this study justifies the pertinence of a strategy aiming life-cycle extensions while ensuring the intrinsic safety levels required on railway rolling stock
Sjöstrand, Philip. "New bogie suspension concept." Thesis, Luleå tekniska universitet, Institutionen för teknikvetenskap och matematik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-76947.
Full textChodeshwar, Korsa Veera Bhadraiah Dora Bharadwaj. "Stress Analysis of Bogie Frame Structure." Thesis, Blekinge Tekniska Högskola, Institutionen för maskinteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-16043.
Full textCarrillo, Li Enrique Roberto. "Análisis de cargas en un "bogie" remolcado." Bachelor's thesis, Pontificia Universidad Católica del Perú, 2016. http://tesis.pucp.edu.pe/repositorio/handle/123456789/7851.
Full textTesis
Пасічник, Сергій Сергійович, Сергей Сергеевич Пасичник, and Sergey S. Pasichnik. "Поліпшення динамічних і ресурсних показників вантажних вагонів з комплексно модернізованими візками." Thesis, Видавництво Дніпропетровського національного університету залізничного транспорту імені академіка В. Лазаряна, 2012. http://eadnurt.diit.edu.ua:82/jspui/handle/123456789/1321.
Full textUK: АНОТАЦІЯ Дисертацію присвячено розробці пропозицій щодо спрощення обслуговування комплексно модернізованих візків вантажних вагонів при їх експлуатації і ремонті, а також подальшому розвитку комплексної модернізації візків за рахунок використання нових елементів. Ґрунтуючись на даних спостережень за станом вагонами з комплексно модернізованими візками, що експлуатуються, визначено та розв’язано ряд питань, пов'язаних з поліпшенням технології встановлення елементів модернізації, експлуатацією і ремонтом таких вагонів. Зокрема, проведено розрахунки і розроблено нові конструкції корпусу пружно-коткового ковзуна, що виключають випадки випадання роликів при експлуатації візків; запропоновано зміни в систему переточувань коліс, що дає значне збільшення їх ресурсу; розроблено і випробувано нову схему вимірювання вертикальних сил що діють на візок при проведенні ходових динамічних випробувань вантажних вагонів, використання якої дозволяє підвищити достовірність отримуваної інформації, та ін. Проведено теоретичні дослідження спрямовані на подальший розвиток комплексної модернізації за рахунок використання в буксових вузлах касетних підшипників, як з жорсткими, так і з пружними адаптерами. Визначено раціональні значення зазорів в буксових вузлах при використанні жорстких адаптерів і раціональні значення жорсткості для пружних адаптерів. Розглянуто варіанти поліпшення схеми з’єднання між надресорною балкою і бічними рамами, а також ряд змін в клиновій системі гасіння коливань. Розроблено математичну модель вантажного вагона, що дозволяє враховувати жорсткість дисків коліс у різних напрямах. За допомогою цієї математичної моделі визначено раціональні значення жорсткості коліс з пружними дисками. Проведено дослідження щодо оцінки впливу геометричних і фізико-механічних параметрів коліс на їх жорсткість у різних напрямах. Знайдено раціональну форму диска залізничного колеса для застосування в комплексно модернізованих візках. Використання отриманих при виконанні дисертації результатів дозволить поліпшити динамічні і ресурсні показники вантажних вагонів з комплексно модернізованими візками, а також підвищить ефективність оновлення парку вантажних вагонів. RU: АННОТАЦИЯ Диссертация посвящена разработке предложений по упрощению обслуживания комплексно модернизированных тележек грузовых вагонов при их эксплуатации и ремонте, а также дальнейшему развитию комплексной модернизации тележек за счет использования новых элементов. Известно, что на железных дорогах Украины и стран СНГ в последние десятилетия парк грузовых вагонов обновлялся в недостаточной степени. Так, согласно статистике около 90% грузовых вагонов уже приблизились к граничному сроку службы. К тому же у отечественных вагонов используются преимущественно технически устаревшие и малоэффективные тележки модели 18-100. Библиографический поиск показал, что наиболее эффективным решением проблемы обновления грузового подвижного состава является применение комплексной модернизации тележек (проект С03.04), которая позволяет при незначительных финансовых затратах существенно улучшить динамические и ресурсные показатели грузовых вагонов. Причем указанная модернизация может быть выполнена как при постройке новых вагонов, так и при проведении плановых ремонтов вагонов, находящихся в эксплуатации. Основываясь на данных наблюдений за состоянием эксплуатируемых вагонами с комплексно модернизированными тележками, в диссертации обозначен и решен ряд вопросов, связанных с усовершенствованием технологии установки элементов модернизации, эксплуатацией и ремонтом таких вагонов. В частности, проведены расчеты и разработаны новые конструкции корпуса упруго-каткового скользуна, предотвращающие случаи выпадения роликов при эксплуатации тележек; предложены изменения в систему переточек колес, что дает существенное увеличение их ресурса; разработана и испытана новая схема измерений действующих на тележку вертикальных сил при проведении ходовых динамических испытаний грузовых вагонов, применение которой позволяет повысить достоверность получаемой информации, и др. Проведены теоретические исследования, направленные на дальнейшее развитие комплексной модернизации тележек грузовых вагонов за счет использования в буксовых узлах кассетных подшипников, как с жесткими, так и с упругими адаптерами. Определены рациональные значения зазоров в буксовых узлах в случае использования жестких адаптеров и рациональные значения жесткости для упругих адаптеров. Рассмотрены варианты улучшения схемы сочленения надрессорной балки и боковых рам, а также ряд изменений в клиновой системе гашения колебаний. Разработана математическая модель грузового вагона, позволяющая учитывать жесткость дисков колес в разных направлениях. С помощью этой математической модели определены рациональные значения жесткости колес с упругими дисками. Проведены исследования по оценке влияния геометрических и физико-механических параметров колес на их жесткость в разных направлениях. Найдена рациональная форма диска железнодорожного колеса для применения в комплексно модернизированных тележках. Использование полученных при выполнении диссертации результатов позволит улучшить динамические и ресурсные показатели грузовых вагонов с комплексно модернизированными тележками, а также повысит эффективность обновления парка грузовых вагонов. EN: ABSTRACT In dissertation, being base on data of watching cars with the complex modernized bogies, the problem issues related to technology of installing elements of modernization are certain, by exploitation and repairs of such cars. Recommendations are worked out on permission of these problems. The improvements of technology of realization of modernization are offered, theoretical calculations are conducted and the new constructions of case of side bearings, preventing cases falls of rollers, are worked out, the new chart of measuring of vertical forces is worked out and tested during realization of working dynamic tests, allowing to promote authenticity of the got results. Offered change in the system of regrinds of wheels, allowing considerably to increase their resource. Theoretical studies referred to further development of project of complex modernization due to the use of the cassette bearing with hard or resilient adapters in box knots. The rational values of gaps in box knots at the use of hard adapters and parameters of inflexibility of resilient adapters are certain. Considered some variants to use of the improved method of interaction between a bolster and lateral frames, and some changes of wedges system of antihunting. The mathematical model of freight car, allowing to take into account inflexibility of wheels in various directions, is worked out. The rational values of inflexibility of wheels with resilient disks are certain. Researched on determination of influence of geometrical and physical-mechanical properties of wheels on their inflexibility in various directions. The rational form of disk of railway wheel is certain for the use in the complex modernized bogies. Drawing on the results got in dissertation will allow to improve the dynamic and resource characteristics of freight cars with the complex modernized bogies, and also will promote safety of motion.
Інститут технічної механіки Національної академії наук України і Національне космічне агентство України
Sperry, Brian James. "Complex Bogie Modeling Incorporating Advanced Friction Wedge Components." Thesis, Virginia Tech, 2009. http://hdl.handle.net/10919/33039.
Full textMaster of Science
Franklin, Matthew J. "Surface coatings for 3-piece freight bogie centre bearings." Faculty of Engineering, 2008. http://ro.uow.edu.au/theses/138.
Full textHacot, Hervé 1974. "Analysis and traction control of a rocker-bogie planetary rover." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/9611.
Full textIncludes bibliographical references (leaves 86-90).
Robotic rovers have become important tools in planetary exploration. Future missions require improved rover performance. This thesis presents an analysis of a six-wheeled prototype rover. Its design is based on the rockerbogie configuration. A procedure is presented which can rapidly compute the configuration of the rover as a function of its environment. Also, a quasi-static force analysis of the system is detailed. It considers realistic physical constraints such as wheel slip and actuator saturation. A computer simulation with a graphic interface is developed to evaluate performance and enhance the understanding of the system. The analysis leads to the design of a fuzzy logic controller that increases rover traction and mobility. Analytical and experimental studies are performed to validate the analysis and control scheme.
by Hervé Hacot.
S.M.
Prinz, Michael. "Regensburg - Straubing - Bogen." München Komm. für Bayerische Landesgeschichte, 2003. http://d-nb.info/987614363/04.
Full textKarlsson, Andreas. "Modelling, simulation and cost estimation of a conceptual bogie axle replacement." Thesis, Karlstads universitet, Fakulteten för hälsa, natur- och teknikvetenskap (from 2013), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-68801.
Full textPrifer, David. "Dynamic Simulation and Suspension Optimization for a Heavy Duty Railway Bogie." Thesis, KTH, Spårfordon, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-299415.
Full textEn flerkroppssimulering genomfördes med hjälp av Simpack med syfte att undersöka gångegenskaperna hos ett järnvägsslipfordon, med boggi som nyligen utvecklats av Ganz. Huvudsyftet bakom simuleringarna var att förutspå - och underlätta godkännandet av fordonets acceptanskrav samt underlätta pågående utveckling. En flerkroppsmodell konstruerades och de mest kritiska kraftbärande elementen undersöktes - och verifierades separat med hjälp av tester. Säkerhetsaspekterna kring urspårning undersöktes utifrån både europeiska och australiska standarder. Fordonets gångstabilitet bedömdes med både standard - samt bred spårviddsvarianter. Fordonets svängningsegenskaper bestämdes genom att genomföra beräkningar av flexibilitetskonstanten både numeriskt och analytiskt. En parameterstudie genomfördes för fordonets primära vertikala dämpare med avsikt att evaluera empiriskt valda dämpare samt optimera prestanda. Resultaten visar att dämpningskoefficienten avsevärt kan minskas samtidigt som acceptabel rullningsförmåga behålls, vilket därmed förlänger dämparens livstid. Installation av girdämpare är inte nödvändigt, baserat på stabilitetsundersökningar, dock behålls fästen på boggi-prototypen för att möjliggöra framtida monteringar av sådana element.
Chottiner, Jeffrey E. "Simulation of a six wheeled Martian rover called the Rocker Bogie." Connect to resource, 1992. http://rave.ohiolink.edu/etdc/view.cgi?acc%5Fnum=osu1259774869.
Full textLi, Wei. "The dynamics of perfect steering bogie vehicles and its improvement with a reconfigurable mechanism." Thesis, Loughborough University, 1995. https://dspace.lboro.ac.uk/2134/25488.
Full textMasmoudi, Walid. "Mutation de produit : conception et modélisation d'un T.G.V. Bogie en matériaux composites." Paris, ENSAM, 1993. http://www.theses.fr/1993ENAM0027.
Full textThe third generation TGV sets (French Railways high spee trainsets) will be double-decker trainsets (also known as TGV - 2N) travelling at 350 km/h in commercial service. This study relates to the insertion of composite materials in order to reduce the the weight of the TGV 2N bogie structure. A research on a new concept has been conducted and led to the specification of an experimental model of bogie in box shaped elements obtained by a statification method. The behaviour of the materials has been charaterized both in staic and in fatigue where damage laws and wohler curves have been estabilished. The static and dynamic behaviour of the experimental model has been modelled. The modelling was then used to validate the concept in relation to the static resistance criteria and to modal analysis prosperties and especially to validate finite elements calcultaion models thanks to SAMCEF software. Lastly, the validity of the concept in relation to the fatigue has been experimentally achieved and it was possible to draw degradation and failure laws. This study will be able to be used as the basis of more precise research on a new industrial concept of a bogie made of composite materials which will take into account both functional and economic criteria
Ferreira, Eliane Fernandes Fernandes Ferreira Eliane. "Von Pfeil und Bogen zum "Digitalen Bogen" : die Indigenen Brasiliens und das Internet /." Bielefeld : Transcript, 2009. http://deposit.d-nb.de/cgi-bin/dokserv?id=3190332&prov=M&dok_var=1&dok_ext=htm.
Full textFernandes, Ferreira Eliane. "Von Pfeil und Bogen zum "Digitalen Bogen" : die Indigenen Brasiliens und das Internet /." Bielefeld : Transcript, 2009. http://d-nb.info/991632540/04.
Full textFerreira, Eliane Fernandes. "Von Pfeil und Bogen zum "digitalen Bogen" die Indigenen Brasiliens und das Internet." Bielefeld Transcript, 2007. http://d-nb.info/991632540/04.
Full textMougenot, Alix. "Praxis : detection of inconsistency within distributed models." Paris 6, 2010. http://www.theses.fr/2010PA066490.
Full textМихеев, А. Ю., and A. Y. Mikheev. "Повышение эффективности использования подвижного состава на предприятии ООО «Жасмин» г. Михайловска : магистерская диссертация." Master's thesis, б. и, 2020. http://hdl.handle.net/10995/86597.
Full textЦелью магистерской диссертации является разработка теоретических и практических методов повышения эффективности работы транспортных средств предприятия и обеспечение развития качества работы эксплуатационной службы. Практическое значение работы заключается в применении методик и расчетов для повышения эффективности работы эксплуатационной и обслуживающей службы предприятия ООО «Жасмин». Внедрение результатов работы на предприятии позволит повысить эффективность использования подвижного состава за счет рационального его использования, а также снизить материальные затраты на транспортные работы. В магистерской диссертации проведен анализ деятельности предприятия, рассмотрена возможность применения тракторно-транспортного агрегата при строительстве автомобильных дорог, предложена конструкция подкатной тележки для полуприцепа, а также определены показатели маневренности автотракторного поезда.
Bogner, Agnès Gauthier Catherine. "Le Mode d'imagerie wet-STEM." Villeurbanne : Doc'INSA, 2006. http://docinsa.insa-lyon.fr/these/pont.php?id=bogner.
Full textCampedelli, Jean Play Daniel. "Modélisation globale statique des systèmes mécaniques hyperstatiques pré-chargés application à un bogie moteur /." Villeurbanne : Doc'INSA, 2004. http://docinsa.insa-lyon.fr/these/pont.php?id=campedelli.
Full textBoger, Andreas [Verfasser]. "Röntgenstrukturuntersuchungen an metallocenkatalysierten Polypropylenen / Andreas Boger." Ulm : Universität Ulm. Fakultät für Naturwissenschaften, 2004. http://d-nb.info/1015438717/34.
Full textBogner, Michael [Verfasser]. "On differential operators of Calabi-Yau type / Michael Bogner." Mainz : Universitätsbibliothek Mainz, 2012. http://d-nb.info/1025448847/34.
Full textBest, Kelly Mallinson David. "Quaternary Geologic Development of the Croatan Beach Ridge Complex, Bogue Sound, and Bogue Banks, Carteret County, NC." [Greenville, N.C.] : East Carolina University, 2010. http://hdl.handle.net/10342/2703.
Full textRubel, Maik. "Einfluss der Struktursteifigkeit und der Gestaltung von Drehgestellrahmen auf die lauftechnischen Eigenschaften von Schienenfahrzeugen." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-27054.
Full textMasmoudi, Héla. "La résolution distribuée dans les communautés Open Source : propriétés organisationnelles et modes de coordination." Paris 9, 2011. http://basepub.dauphine.fr/xmlui/handle/123456789/10709.
Full textSolet, Dimitry. "Systèmes embarqués temps réel fiables et adaptables." Thesis, Nantes, 2020. http://www.theses.fr/2020NANT4044.
Full textEmbedded systems are in charge of critical missions which imply that they should not have any failure. Thus, it is necessary to implement fault-tolerance mechanisms in order to detect faults and restore the system. In this work, we propose to implement a mechanism to detect errors that occur in the program. This mechanism is based on the implementation of a runtime verification service. The system is a system-on-chip that integrates a microcontroller and a programmable logic circuit. The program is instrumented in order to transmit, to the logic circuit, the adequate information on its execution. Monitors are synthesized on the circuit logic from properties to verify. An implementation of this mechanism is realized to monitor a real-time operating system. Finally, a fault injection campaign is used to evaluate the performance of the detection mechanism
Boggs, Shelly R. "Woodhull, a play by Shelly R. Boggs." Ohio Dominican University / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=odu1385049307.
Full textBogner, Christina [Verfasser]. "Analysis of flow patterns and flow mechanisms in soils / Christina Bogner." Bayreuth : Bayreuth Center of Ecology and Environmental Research, 2009. http://d-nb.info/997214058/34.
Full textBodensteiner, Christoph. "Röntgenbasierte Bildgebung mittels eines roboterisierten C-Bogen-Systems." Lübeck Zentrale Hochschulbibliothek Lübeck, 2010. http://d-nb.info/100185876X/34.
Full textHornik, Paulina. "Prymat Boga-Miłości w ujęciu św. Jana od Krzyża." Doctoral thesis, Katowice : Uniwersytet Śląski, 2017. http://hdl.handle.net/20.500.12128/6385.
Full textSnopek, Krzysztof. "Inversion of gravity data with application to density modeling of the Hellenic subduction zone." [S.l.] : [s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=975790056.
Full textBoglea, Andrei [Verfasser]. "Laser Transmission Welding of Thermoplastics Using Local Laser Beam Modulation / Andrei Boglea." Aachen : Shaker, 2013. http://d-nb.info/1050345991/34.
Full textPhilliskirk, Ben. "'Bogged down in housing' : politics and planning in residential Leeds, 1954-1979." Thesis, University of Leeds, 2016. http://etheses.whiterose.ac.uk/17765/.
Full textBoger, Klaus [Verfasser]. "Streuung heisser Elektronen an Adatomen auf Metalloberflächen / Klaus Boger." Aachen : Shaker, 2004. http://d-nb.info/1172615950/34.
Full textWright, Allan. "Frank Zappa's orchestral works art music or "bogus pomp"? /." Connect to e-thesis, 2007. http://theses.gla.ac.uk/492/.
Full textWalker, Robert John. "Lilburn W. Boggs and the Case for Jacksonian Democracy." BYU ScholarsArchive, 2011. https://scholarsarchive.byu.edu/etd/2910.
Full textJourdan, Jacques-Henri. "Verasco : a Formally Verified C Static Analyzer." Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC021.
Full textIn order to develop safer software for critical applications, some static analyzers aim at establishing, with mathematical certitude, the absence of some classes of bug in the input program. A possible limit to this approach is the possibility of a soundness bug in the static analyzer itself, which would nullify the guarantees it is supposed to deliver. In this thesis, we propose to establish formal guarantees on the static analyzer itself: we present the design, implementation and proof of soundness using Coq of Verasco, a formally verified static analyzer based on abstract interpretation handling most of the ISO C99 language, including IEEE754 floating-point arithmetic (except recursion and dynamic memory allocation). Verasco aims at establishing the absence of erroneous behavior of the given programs. It enjoys a modular extendable architecture with several abstract domains and well-specified interfaces. We present the abstract iterator of Verasco, its handling of bounded machine arithmetic, its interval abstract domain, its symbolic abstract domain and its abstract domain of octagons. Verasco led to the development of new techniques for implementing data structure with sharing in Coq
Fullaondo, Elordui-Zapaterietxe Arkaitz. "Inserción y lógica residencial de la inmigración extranjera en la ciudad. El caso de Barcelona." Doctoral thesis, Universitat Politècnica de Catalunya, 2008. http://hdl.handle.net/10803/6131.
Full text· ¿Por qué diferentes colectivos de población inmigrante se localizan de forma diferente en la ciudad?
· ¿Es el contexto urbano estructural de acogida el que determina la localización residencial o lo son, por el contrario, las relaciones e interacciones sociales entre los propios inmigrantes y/o con la sociedad de acogida?
Como se desprende de estas dos preguntas generales, a la vez que complejas, en este trabajo de investigación buscamos conocer las razones que pueden explicar la diversidad de localizaciones residenciales de unos grupos poblacionales similares (por ser grupos de inmigración) a la vez que diferentes (por sus características propias). Así, lo largo de la investigación hemos determinado los factores explicativos de esta diversidad locacional, a saber, los atributos de la estructura socio-residencial de Barcelona, el origen del colectivo, su nivel de cualificacón, su capital humano, su capital social, etc. Todos los análisis, tanto los cuantitativos como los cualitativos, han sido realizados en base a esta perspectiva, con el fin de conocer cuál de estas variables es la discriminante y explicativa de la diversidad de localizaciones residenciales de la inmigración en la ciudad. Además, este análisis lo hemos hecho partiendo de una hipótesis de trabajo, a modo de marco conceptual, donde hemos definido un proceso de inserción residencial teórico.
A este respecto una de las principales conclusiones ha sido justamente la definición de un modelo de inserción residencial de la inmigración en la ciudad de Barcelona. El modelo se fundamenta, por una parte, en la definición del propio proceso de inserción residencial y, por otra, en la comprensión y conocimiento de los fundamentos lógicos del comportamiento de dicho proceso social. La definición de este modelo viene a confirmar nuestra hipótesis de investigación sobre el proceso de inserción residencial, basado en una trayectoria residencial por etapas en la que interviene diversos factores estructurales del contexto urbano de acogida y elementos característicos de cada proceso migratorio.
Por otra parte, la definición del proceso lógico de inserción residencial nos ha permitido, igualmente, poder determinar la transformación del espacio socio-residencial que ha generado el intenso proceso migratorio en Barcelona. A través del análisis, determinación y comprensión de los diferentes modelos de segregación, pautas residenciales, grados y tipos de relación con el espacio-socio residencial junto con aspectos cualitativos de los atributos de los diferentes colectivos de inmigrantes, hemos llegado a definir el impacto transformador que la segregación étnica ha supuesto para la estructura socio-residencial de Barcelona. El resultado ha sido la configuración de un espacio social urbano basado en una estratificación socio-étnica y cualitativamente diferenciada de la estratificación social que caracterizaba a la ciudad antes del proceso migratorio. Este resultado también confirma uno de los principales elementos de nuestra hipótesis de trabajo: la dinámica transformadora del proceso migratorio y su influencia en la generación de un nuevo contexto socio-residencial de acogida.
Por otra parte, la estratégica metodológica basada en la combinación e integración de la perspectiva cuantitativa y cualitativa, que ha sido empleada en la investigación, ha permitido determinar la influencia de la segregación sociológica sobre la segregación geográfica de la inmigración. La importancia de la definición de esta relación es muy significativa y representa una de las principales aportaciones originales de esta investigación, en tanto que muestra la importancia de los aspectos sociológicos de la inmigración como posibles determinantes de los diferentes modelos de segregación residencial, lo que permite tener un conocimiento mucho más integral de las causas que generan la segregación étnica en la ciudad. Es preciso señalar, en todo caso, que este tipo de aproximación no es muy común en estudios como el que aquí se adelanta, en donde se suelen estudiar por separado los aspectos sociológicos y los geográficos.
Bogner, Lea [Verfasser]. "Ultrafast Relaxation Dynamics after Optical Excitation of Hybrid Inorganic/Organic Systems / Lea Bogner." Berlin : Freie Universität Berlin, 2015. http://d-nb.info/1080171215/34.
Full text