Rozprawy doktorskie na temat „Methodology and tools”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Methodology and tools”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
Zheng, Wenbo, i Hongxi Zhong. "Reconfigurable Machine Tools Design Methodology". Thesis, KTH, Industriell produktion, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-119082.
Pełny tekst źródłaDogan, Emre. "Digital Learning Tools : Methodology in a Multimodal World". Thesis, Stockholms universitet, Institutionen för pedagogik och didaktik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-102654.
Pełny tekst źródłaNamvar, Gharehshiran Amir. "High Level Synthesis Evaluation of Tools and Methodology". Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-177362.
Pełny tekst źródłaDirene, Alexandre Ibrahim. "Methodology and tools for designing concept tutoring systems". Thesis, University of Sussex, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334970.
Pełny tekst źródłaPowers, Brenda Joy. "A test methodology for reliability assessment of collaborative tools". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Sep%5FPowers.pdf.
Pełny tekst źródłaMella, Luca. "Ict security: Testing methodology for targeted attack defence tools". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/6963/.
Pełny tekst źródłaKaruppoor, Srinand Sreedharan. "Tools for innovation and conceptual design". Texas A&M University, 2003. http://hdl.handle.net/1969.1/1260.
Pełny tekst źródłaSilva, Robson dos Santos e. "A rigorous methodology for developing GUI-based DSL formal tools". Universidade Federal de Pernambuco, 2013. https://repositorio.ufpe.br/handle/123456789/12366.
Pełny tekst źródłaApproved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T12:57:10Z (GMT) No. of bitstreams: 2 Dissertacao Robson Santos Silva.pdf: 2657380 bytes, checksum: e8bfe7912e7136af0fbf6082153115fd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Made available in DSpace on 2015-03-13T12:57:10Z (GMT). No. of bitstreams: 2 Dissertacao Robson Santos Silva.pdf: 2657380 bytes, checksum: e8bfe7912e7136af0fbf6082153115fd (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-08-23
It is well-known that model-driven engineering (MDE) is a software development methodology that focuses on creating and exploiting (specific) domain models. Domain models (conceptually) capture all the topics (for instance, entities and their attributes, roles, and relationships as well as more specific constraints) related to a particular problem. It is common to use domain-specific languages (DSL) to describe the concrete elements of such models. MDE tools can easily build domain-specific languages (DSL), capturing syntactic as well as static semantic information. However, we still do not have a clear way of capturing the dynamic semantics of a DSL as well as checking the domain properties prior to generating the implementation code. Formal methods are a well-known solution for providing correct software, where we can guarantee the satisfaction of desired properties. Unfortunately the available formal methods tools focus almost exclusively on semantics whereas human-machine interaction is "left to the user". Several industries, and in particular the safety-critical industries, use mathematical representations to deal with their problem domains. Historically, such mathematical representations have a graphical appeal. For example, Markov chains and fault-trees are used in safety assessment processes to guarantee that airplanes, trains, and other safety-critical systems work within allowed safety margins. In general, due to the difficulty to obtain correct software, such industries use Commercial Off-The-Shelf (COTS) software or build them specifically to satisfy their needs with a related testing campaign effort. Such DSLs are difficult to capture, using just MDE tools for instance, because they have specific semantics to provide the desired (core) information for the industries that use them. In this sense, given a DSL (L) composed of a syntax and static semantics (SSL), and dynamic semantics (DSL) parts, our work proposes a rigorous methodology for combining the easiness of MDE tools, to capture SSL, with the correctness assured by formal methods, to capture DSL as well and check its properties. This combination is specifically handled in the following way, we capture all aspects of L using formal methods, check the desired properties and adjust if necessary. After that, we automatically translate part of it in terms of constructs of a MDE tool, from which we can build a user-friendly (GUI) front-end very easily (automatically). Finally, we link the front-end code to the automatically synthesized code from the formal dynamic semantics back-end. Although we require the use of a formal methods tool, the distance from the mathematical representations used in industry and the formal methods notation is very close. With this proposed methodology we intend that safety-critical industries create their domain specific software as easy as possible and with the desired static and dynamic properties formally checked.
A Engenharia Dirigida a Modelos ou (MDE—Model-Driven Engineering) é uma metodologia de desenvolvimento de software que se concentra na criação e manipulação de modelos específicos de domínio. É comum o uso de linguagens específicas de domínio (DSL) para descrever os elementos concretos de tais modelos. Ferramentas de MDE podem facilmente construir linguagens específicas de domínio (DSL), capturando seus aspectos sintáticos assim como sua semântica estática. No entanto, ainda não possuem uma forma clara de capturar a semântica dinâmica de uma DSL, assim como a verificação de propriedades de domínio antes da geração de código executável. Métodos formais são tidos como uma solução para prover software correto, onde podemos garantir que desejadas propriedades são satisfeitas. Infelizmente, as ferramentas de métodos formais disponíveis concentram-se quase que exclusivamente na semântica enquanto que a interação homem-computador é "deixada para o usuário". Indústrias em que a segurança é crítica, usam representações matemáticas para lidar com os seus domínios de problemas. Historicamente, essas representações matemáticas têm um apelo gráfico. Por exemplo, Cadeias de Markov e Árvores de Falha. Em geral, devido à dificuldade em obter softwares formalmente verificados, essas indústrias utilizam sistemas comerciais prontos para uso (Commercial Off-the-shelf - COTS) ou os constróem especificamente para satisfazerem as suas necessidades com um esforço considerável em testes. Tais DSLs são difíceis de capturar, usando apenas ferramentas MDE por exemplo, porque possuem uma semântica particular para prover as informações específicas desejadas para as indústrias que as utilizam. Neste sentido, dada uma DSL (L), composta por sintaxe e semântica estática (SSL), e semântica dinâmica (DSL), este trabalho propõe uma metodologia rigorosa para combinar a facilidade de ferramentas MDE em capturar SSL, com a corretude assegurada por métodos formais para capturar DSL e verificar suas propriedades. Esta combinação é especificamente tratada da seguinte maneira: captura-se todos os aspectos de L utilizando métodos formais, verificam-se as propriedades desejadas e as ajustam caso necessário. Em seguida, parte de L é traduzida automaticamente em termos de artefatos para uma ferramenta MDE, a partir da qual é possível construir uma interface amigável (front-end) facilmente (automaticamente). Por fim, o código do front-end é integrado com o código sintetizado automaticamente a partir da semântica dinâmica formal (back-end).
Hsu, Yung-Kao. "A methodology for refining formal software specification using transformation-based tools". Diss., Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/8185.
Pełny tekst źródłaHerron, Colin. "A methodology to disseminate selected lean manufacturing tools into general manufacturing". Thesis, University of Newcastle Upon Tyne, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.505838.
Pełny tekst źródłaYang, Xiaoyu. "Methodology and tools for realising product service systems for consumer products". Thesis, De Montfort University, 2006. http://hdl.handle.net/2086/4279.
Pełny tekst źródłaSinghal, Amod. "An evaluation methodology to ensure the success of decision support tools". Thesis, Virginia Polytechnic Institute and State University, 1986. http://hdl.handle.net/10919/101149.
Pełny tekst źródłaM.S.
MORBIDONI, ALESSANDRO. "The ecodesign issue: proposal for a new approach, methodology and tools". Doctoral thesis, Università Politecnica delle Marche, 2012. http://hdl.handle.net/11566/242295.
Pełny tekst źródłaThe design process in the past was focused mainly on cost-reduction, increasing product quality and time-reduction, several tools have been developed to assist designer in this activity. Nowadays the environmental aspects have become widely considered and represent an important and success market factor, in fact the consumers are developing an increasing environmental sensibility so they are attracted by “green” products. From this considerations come the needs for tools to assist the designers to consider both the environmental and the cost aspects into the design process, in recent years several tools were developed at this scope. IT systems are nowadays widely employed in the design process, they can be grouped under PLM (Product Lifecycle Management) system. PLM can be viewed as the integration of several tools as mentioned before, with methods, people and the processes through all stages of a product’s life. On the other hand there are tools to assess and calculate the environmental impact of products by different methods. LCA (Life Cycle Assessment) is the most common and recognized method to determine the environmental burden of products and services. The research goals could be synthesized as the definition of a new approach, methodology and tools for the environmental and cost consideration in the design process. This research work is a step toward the development of an innovative EcoDesign approach and tool by linking IT systems and lifecycle methodologies: PLM software and LCA-LCC methods. This approach represent an EcoDesign method that take into consideration environmental and lifecycle cost aspects into the product development process, the developed tool enable the designer to evaluate different design alternatives easily and rapidly during the early product development phase. By this way is possible to design green products taking into consideration the environmental lifecycle impact and also the lifecycle cost aspect of the product.
Robertson, John Graham Stuart. "Meeting optimally the environmental challenge : a methodology for the lead industry". Thesis, Brunel University, 2001. http://bura.brunel.ac.uk/handle/2438/5405.
Pełny tekst źródłaRistanovic, Dragan. "New methodology for transmission line relay testing and evaluation using advanced tools". Texas A&M University, 2003. http://hdl.handle.net/1969.1/355.
Pełny tekst źródłaLaspas, Theodoros. "Modeling and measurement of geometric error of machine tools : Methodology and implementation". Thesis, KTH, Industriell produktion, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-157641.
Pełny tekst źródłaEn av de viktigaste prestationskriterierna för en verktygsmaskin är dess förmåga att tillverka dimensionellt och geometriskt korrekta delarna. I detta sammanhang är utvärderingen av den geometriska och kinematiska noggrannhet av maskinverktyg är viktigt för att uppnå en hög noggrannhet av maskindelar. Dessutom skulle möjligheten att förutsäga noggrannheten av verktygsmaskiner resultatet gynnas genom att minska icke värdeskapande verksamhet bearbetade delar mätning. Syftet med denna avhandling är att utveckla en metod för att modellera geometriska fel av verktygsmaskiner för att utvärdera den geometriska och kinematiska noggrannhet och uppskatta den bearbetade komponentens noggrannheten genom att förutsäga felet verktygmaskinens rörelse för en given verktygsbana. Avhandlingen beskriver en metod som omfattar och förklarar de aspekter som är nödvändiga för utveckling av en geometrisk felmodell för verktygsmaskiner. Dessutom presenteras en mätprocess som, använder laserinterferometer, för identifiering av de geometriska fel och parametrar som är nödvändiga för att utveckla modellen. En tre-axlig verktygsmaskin används för att undersöka och analysera modellen samt för att mäta dess geometriska fel. En analys görs för att utvärdera verktygsmaskinens noggranhet. Slutligen är denna felmodell beräknad och två enkla verktygsbanor används i syfte att visa modellens potential att förutsäga geometriska fel i maskinen.
Lumsden, Joanna Marie. "SUIT : a methodology and framework for Selection of User Interface development Tools". Thesis, University of Glasgow, 2001. http://theses.gla.ac.uk/3527/.
Pełny tekst źródłaRoux, Baptiste. "Methodology and tools for energy-aware task mapping on heterogeneous multiprocessor architectures". Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S129/document.
Pełny tekst źródłaDuring the last decade, the design of embedded systems was pushed to increase computational power while maintaining low energy consumption. As an example, autonomous vehicles such as drones are a representative application domain which combines vision, wireless communications and other computation intensive kernels constrained with a limited energy budget. With the advent of Multiprocessor System-on-Chip (MpSoC) architectures, simplification of processor cores decreased power consumption per operation, while the multiplication of cores brought performance improvement. However, the ''dark silicon'' issue led to the benefit of augmenting programmable processors with specialized hardware accelerators and to the rise of Heterogeneous MpSoC (HMpSoC) combining both software (SW) and hardware (HW) computational resources. For these heterogeneous architectures, performance and energy consumption depend on a large set of parameters such as the HW/SW partitioning, the type of HW implementation or the communication cost between HW and SW cores therefore leading to a huge design space. In this thesis, we study how to reduce the development and implementation complexity of energy-efficient applications on HMpSoC. Multiple contributions are proposed to enhance Design Space Exploration (DSE) tools with energy objectives. First, a formal definition of HMpSoC structure is introduced alongside with a generic representation focused on the memory hierarchy. Then, a fast power modelling tool is proposed and validated on several applications. This power model separates the power sources in three families (static, dynamic computation and dynamic communication) and computes their contributions on global consumption independently. With a fine grain communications study, this approach rapidly computes energy consumption for a given application mapping on a HMpSoC. In a second time, we propose a methodology for energy-driven accelerator exploration on HMpSoC. This method builds upon the previous power model coupled with an Mixed Integer Linear Programming (MILP) formulation and enables to efficiently select HW accelerators and HW/SW partitioning which achieve energy efficient-mapping of a tiled application. The experiments involved in these contributions show the complexity of DSE validation process on a wide range of applications and architectures. To address these issues, we introduce a HMpSoC simulator embedding a power model to monitor application execution. Properties of targeted architectures are described, at run-time with the previous generic representation model. Furthermore, this simulator is coupled with an application generator framework that could build an infinite set of representative applications following predefined computation models. The obtained applications could then be enriched with mapping directive and executed on the simulator. This combination enables to ease the research and validation of new DSE algorithms targeting energy-aware application mapping on a wide range of HMpSoC architectures
Mashford, Kerry Jean. "A methodology for the concurrent design of cam driven systems with particular application to motion synthesis". Thesis, Brunel University, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295699.
Pełny tekst źródłaWagreich, Richard J. "Methodology for evaluating the effectiveness of collaborative tools for coordinating MDA emergency response". Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2006. http://library.nps.navy.mil/uhtbin/hyperion/06Sep%5FWagreich.pdf.
Pełny tekst źródłaThesis Advisor(s): Alex Bordetsky. "September 2006." Includes bibliographical references (p. 53). Also available in print.
Chen, Yuan. "A performance evaluation methodology for pi-Calculus family of multi-process modeling tools /". Available to subscribers only, 2006. http://proquest.umi.com/pqdweb?did=1203587971&sid=19&Fmt=2&clientId=1509&RQT=309&VName=PQD.
Pełny tekst źródłaKraemer, Eileen T. "A framework, tools, and methodology for the visualization of parallel and distributed systems". Diss., Georgia Institute of Technology, 1995. http://hdl.handle.net/1853/9214.
Pełny tekst źródłaKrishnan, Krishna Kumar. "Design for manufacturability methodology and data representation framework for machined components". Diss., Virginia Tech, 1994. http://hdl.handle.net/10919/37261.
Pełny tekst źródłaPh. D.
Moses, Samuel Isaiah. "Measuring The Robustness of Forensic Tools' Ability to Detect Data Hiding Techniques". BYU ScholarsArchive, 2017. https://scholarsarchive.byu.edu/etd/6464.
Pełny tekst źródłaPâslaru-Bontaş, Elena. "A contextual approach to ontology reuse methodology, methods and tools for the Semantic Web /". [S.l.] : [s.n.], 2007. http://www.diss.fu-berlin.de/2007/230/index.html.
Pełny tekst źródłaAndersson, Victor. "Standards and methodologies for evaluating digital forensics tools : Developing and testing a new methodology". Thesis, Högskolan i Halmstad, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-37485.
Pełny tekst źródłaIyengar, Vishwas. "A First Principles Based Methodology for Design of Axial Compressor Configurations". Diss., Georgia Institute of Technology, 2007. http://hdl.handle.net/1853/16163.
Pełny tekst źródłaEshtehardi, Shahbeik Mahsa. "Enable citizens to monitor and protect the environment using Web 2.0 tools". Thesis, Linnéuniversitetet, Institutionen för datavetenskap, fysik och matematik, DFM, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-19839.
Pełny tekst źródłaKirlangic, Mehmet Eylem. "EEG-Biofeedback and epilepsy: concept, methodology and tools for (neuro)therapy planning and objective evaluation". [S.l.] : [s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=974935220.
Pełny tekst źródłaBENEDETTI, MIRIAM. "Energy Performance Management in manufacturing: methodology, tools and framework for targets’ setting and consumption control". Doctoral thesis, Università degli Studi di Roma "Tor Vergata", 2016. http://hdl.handle.net/2108/202235.
Pełny tekst źródłaZakher, Maged Sobhy Mokhtar. "The use of sacred texts as tools to enhance social research interviews". Thesis, University of Bedfordshire, 2018. http://hdl.handle.net/10547/622699.
Pełny tekst źródłaLiang, Li. "Graphical Tools, Incorporating Cost and Optimizing Central Composite Designs for Split-Plot Response Surface Methodology Experiments". Diss., Virginia Tech, 2005. http://hdl.handle.net/10919/26768.
Pełny tekst źródłaPh. D.
Munugala, Anvesh. "An 8 bit Serial Communication module Chip Design Using Synopsys tools and ASIC Design Flow Methodology". Youngstown State University / OhioLINK, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=ysu152703879322399.
Pełny tekst źródłaLutz, Eva. "The FlashdrawA Participatory Methodology for the Design of Icons and Pictograms". University of Cincinnati / OhioLINK, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1428652620.
Pełny tekst źródłaThangamani, Dillip. "Systematic Methodology for Improving the Resource Efficiency in Manufacturing Industries". University of Dayton / OhioLINK, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=dayton1450147407.
Pełny tekst źródłaHolland, Suzi. "Knowledge management tool selection". Thesis, Loughborough University, 2013. https://dspace.lboro.ac.uk/2134/11955.
Pełny tekst źródłaWikström, Jonas. "3D Model of Fuel Tank for System Simulation : A methodology for combining CAD models with simulation tools". Thesis, Linköpings universitet, Maskinkonstruktion, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-71370.
Pełny tekst źródłaAtt utveckla ett nytt flygplanssystem är en väldigt komplicerad arbetsuppgift. Därför används modeller och simuleringar för att testa icke befintliga system, minska utvecklingstiden och kostnaderna, begränsa riskerna samt upptäcka problem tidigt och på så sätt minska andelen implementerade fel. Vid sektionen Vehicle Simulation and Thermal Analysis på Saab Aeronautics i Linköping designas och simuleras varje grundflygplanssystem, ett av dessa system är bränslesystemet. För närvarande används 2-dimensionella rätblock i simuleringsmodellen för att representera bränsletankarna, vilket är en väldigt grov approximation. För att kunna utföra mer detaljerade analyser behöver modellerna utökas med en bättre geometrisk beskrivning av bränsletankarna. Denna rapport går igenom de olika stegen i den framtagna metodiken för att kombinera 3- dimensionella tankmodeller skapade i CATIA med dynamisk simulering av bränslesystemet i Dymola. Den nya 3-dimensionella representationen av en tank i Dymola bör kunna beräkna bränsleytans läge under en simulering av ett manövrerande flygplan. Första steget i metodiken är att skapa en solid modell av bränslet som finns i tanken. Därefter specificeras modellens giltighetsområde och alla tänkbara riktningar hos accelerationsvektorn som påverkar bränslet genereras, dessa används sedan i den automatiserade volymanalysen i CATIA. För varje riktning delar CATIA upp bränslemodellen i ett bestämt antal delar och registrerar volymen, bränsleytans läge samt tyngdpunktens position för varje del. Med hjälp av radiala basfunktioner som har implementerats i MATLAB approximeras dessa data och en surrogatmodell tas fram, denna implementeras sedan i Dymola. På så sätt kan bränsleytans och tyngdpunktens läge beräknas på ett effektivt sätt, baserat på riktningen hos bränslets accelerationsvektor samt mängden bränsle i tanken. Den nya 3-dimensionella tankmodellen simuleras i Dymola och resultaten jämförs med mätningar utförda i CATIA samt med resultaten från den gamla simuleringsmodellen. Resultaten visar att den 3-dimensionella tankmodellen ger en mycket bättre representation av verkligheten och att det är en stor förbättring jämfört med den 2-dimensionella representationen. Nackdelen är att det tar ungefär 24 timmar att få fram denna 3-dimensionella representation.
Manat, Namith N. "System for Tracking of Surgical Tools and Assessment of Surgical Skills Using Continuously Adaptive Mean Shift Methodology". VCU Scholars Compass, 2005. http://scholarscompass.vcu.edu/etd_retro/56.
Pełny tekst źródłaLindbom, Lars. "Development, Application and Evaluation of Statistical Tools in Pharmacometric Data Analysis". Doctoral thesis, Uppsala : Acta Universitatis Upaliensis : Universitetsbiblioteket [distributör], 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-6825.
Pełny tekst źródłaLlorca, Bofí Josep. "The generative, analytic and instructional capacities of sound in architecture : fundamentals, tools and evaluation of a design methodology". Doctoral thesis, Universitat Politècnica de Catalunya, 2018. http://hdl.handle.net/10803/664194.
Pełny tekst źródłaLas disciplinas del espacio y del tiempo forman dos dominios a los que resulta atrevido comparar, pues es obvio que son de naturaleza distinta. La música ocurre en el tiempo, mientras que la arquitectura en el espacio. No obstante, desde los primeros tratados tanto de arquitectura como de música, se pueden leer repetidas llamadas a la comparación, al complemento y a la influencia de ambas disciplinas, cuanto menos a la constatación de ciertos órdenes comunes entre ambos dominios. En esta tesis doctoral no ponemos en cuestión todo este corpus teórico que ha venido enriqueciendo la relación entre ambas disciplinas. La recibimos y nos unimos a esa corriente de conocimiento. En lo que sí reparamos, en cambio, es en la pregunta casi impertinente que surge seguidamente: ¿puede el sonido ayudar al arquitecto en sus tareas diarias? Y, por tanto, ¿cuáles son las contribuciones del sonido para el arquitecto? Para ello debemos buscar la conexión en los principios de ambas artes, allí donde podemos despegarnos del tiempo y del espacio, y acercarnos a la más universal de las formas de arte. El arquitecto, en su tarea diaria, se enfrenta a tres tareas particulares: el proyecto arquitectónico, el análisis arquitectónico y la enseñanza de la arquitectura. Cada una de las tres tareas está conectada con las otras dos: el proyecto se reconduce con el análisis y se transmite al nuevo arquitecto; el análisis soporta las decisiones de proyecto y da herramientas al discípulo; y la enseñanza tiene como fin el proyecto y como método el análisis. La tesis aquí presentada pone de manifiesto lo que el sonido ofrece a la tarea del proyecto, a la del análisis y a la de la enseñanza. Estas tres tareas son abordadas desde tres premisas: los fundamentos teóricos, las herramientas y la evaluación. La interacción de las tres tareas con las tres premisas da lugar a nueve líneas de trabajo que articulan los capítulos de la tesis. Los capítulos primero, cuarto y séptimo abordan las tres tareas desde la premisa de los fundamentos teóricos, fundamentos que quizá por ser obvios, se han obviado o pasado por alto pero que constituyen la naturaleza de ambas disciplinas. El primero muestra, de la mano de dos autores del siglo XX ?el arquitecto Dom Hans van der Laan y el compositor Olivier Messiaen- que la creación en ambas disciplinas es de naturaleza sistemática. El cuarto revaloriza los sistemas analíticos de representación de la forma tanto en arquitectura como en música que, empezando por las características básicas de sus elementos, conducen a una notación simbólica y una herramienta de análisis de la obra: el plano y la partitura. El séptimo presenta al estudiante de arquitectura la creciente separación entre la música y la arquitectura que se ha venido acentuando hasta nuestros días. Los capítulos segundo, quinto y octavo abordan las tres tareas particulares desde la premisa de las herramientas, útiles de trabajo que ayudan a comprender de modo más directo la influencia de la arquitectura en el sonido. El segundo sitúa la realidad virtual y las técnicas de auralización al servicio del proyecto de arquitectura y urbanismo, potenciando la experiencia sonora en estos proyectos. El quinto aborda el análisis acústico de espacios exteriores y su relación con la configuración urbana de estos espacios. El octavo presenta el estudio del patrimonio acústico como herramienta pedagógica. Los capítulos tercero, sexto y noveno abordan las tres tareas desde la premisa de la evaluación, comprobación que asegura mediante experimentos docentes la influencia del sonido en ellas. El tercero argumenta y ejemplifica que un paisaje sonoro puede ser el motor y generador de un diseño arquitectónico. El sexto realiza una revisión de los métodos de evaluación de los parámetros subjetivos y objetivos de la acústica arquitectónica. El noveno muestra que en la enseñanza del sonido para los arquitectos debe priorizarse "aprender escuchando" antes que el "aprendizaje pasivo".
Wallskog, Pappas Alexis. "Migration of Legacy Applications to the Cloud- A Review on Methodology and Tools for Migration to the Cloud". Thesis, Umeå universitet, Institutionen för datavetenskap, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-96673.
Pełny tekst źródłaSCHULZE, TOBIAS. "NATURAL VENTILATION OF HIGH-RISE BUILDINGS - A Methodology for Planning With Different Analysis Tools and Case-Study Integration". Doctoral thesis, Politecnico di Torino, 2015. http://hdl.handle.net/11583/2637369.
Pełny tekst źródłaAbd, Rahman M. N. "Modelling of physical vapour deposition (PVD) process on cutting tool using response surface methodology (RSM)". Thesis, Coventry University, 2009. http://curve.coventry.ac.uk/open/items/cca436cf-b72b-c899-ef02-bd522b0d7ec5/1.
Pełny tekst źródłaWolter, Liam. "The Feeling and Perception of Using Analog and Digital Task Management Tools within Agile Development". Thesis, Malmö universitet, Fakulteten för teknik och samhälle (TS), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-20220.
Pełny tekst źródłaMercado, Angel, Hervin Vargas, Edgardo Carvallo i Carlos Raymundo. "Proposal to optimize the flow of preparation and delivery of vehicles to dealers based on the Lean methodology". Latin American and Caribbean Consortium of Engineering Institutions, 2019. http://hdl.handle.net/10757/656262.
Pełny tekst źródłaSmith, Simon Paul. "Towards a knowledge management methodology for articulating the role of hidden knowledges". Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:32449230-a86a-453b-b9d4-dca2d0b7be3c.
Pełny tekst źródłaDevis, Gallego Sergio. "Una metodología para el diseño estratégico de almacenes de reserva basada en la selección de tecnologías y políticas de gestión". Doctoral thesis, Universitat Politècnica de València, 2016. http://hdl.handle.net/10251/61444.
Pełny tekst źródła[ES] El objetivo perseguido con el presente trabajo ha sido el de desarrollar una metodología de diseño de sistemas almacenamiento, ofreciendo igualmente las herramientas matemáticas necesarias para la toma de decisiones. Es por todo ello que con la presente tesis se han conseguido alcanzar los siguientes propósitos: 1- Definir una serie de pasos a seguir en el diseño de sistemas de almacenamiento. 2- En cada uno de los pasos descritos, establecer los criterios a tener a en cuenta para la toma de decisiones que permiten avanzar en el diseño del mismo. 3- Determinar las variables a tener en cuenta y como la relación entre estas mismas define las soluciones posibles alcanzadas, de forma que de todas las posibles combinaciones posibles en el diseño de almacenes, algunas se descartan por imposibilidades físicas. 4- Desarrollar herramientas matemáticas como el algoritmo de experimentación definido en el presente trabajo que permitan la elección de las mejores soluciones posibles. 5- Determinación de procedimientos de comprobación de que la solución adoptada corresponde con los objetivos perseguidos y se ajusta a las restricciones establecidas. 6- Validar la metodología y el algoritmo de experimentación definidos con la aplicación a un caso práctico real, que ha permitido definir el mejor diseño posible ajustado a unos objetivos y restricciones reales para satisfacer las necesidades planteadas. De esta forma, el vacío existente en la literatura relacionada con el diseño de sistemas de almacenamiento puede ser cubierto con la aportación realizada por el presente trabajo que pueda permitir a los expertos en este campo, apoyarse en la utilización de la misma para seguir avanzando en el complejo mundo del diseño de sistemas de almacenamiento.
[CAT] L'objectiu perseguit amb el present treball ha sigut el de desenvolupar una metodologia de disseny de sistemes emmagatzematge, oferint igualment les eines matemàtiques necessàries per a la presa de decisions. És per tot això que amb la present tesi s'han aconseguit assolir els següents propòsits : 1- Definir una sèrie de passos a seguir en el disseny de sistemes de emmagatzematge. 2- En cada un dels passos descrits, establir els criteris a tindre en compte per a la pressa de decisions que permeten avançar en el disseny del mateix. 3- Determinar les variables a tenir en compte i com la relació entre aquestes mateixes defineix les solucions possibles aconseguides, de manera que de totes les possibles combinacions possibles en el disseny de magatzems, algunes es descarten per impossibilitats físiques. 4- Desenvolupar eines matemàtiques com l'algoritme d'experimentació definit en el present treball que permetin l'elecció de les millors solucions possibles. 5- Determinació de procediments de comprovació que la solució adoptada correspon amb els objectius perseguits i s'ajusta a les restriccions establertes. 6- Validar la metodologia i l'algoritme d'experimentació definits amb l'aplicació a un cas pràctic real , que ha permès definir un el millor disseny posible ajustat a uns objectius i restriccions reals per satisfer les necessitats plantejades . D'aquesta manera , el buit existent en la literatura relacionada amb el disseny de sistemes d'emmagatzematge pot ser cobert amb l'aportació realitzada pel present treball que pugui permetre als experts en aquest camp , recolzar-se en la utilització de la mateixa per seguir avançant en el complex món del disseny de sistemes d'emmagatzematge.
Devis Gallego, S. (2016). Una metodología para el diseño estratégico de almacenes de reserva basada en la selección de tecnologías y políticas de gestión [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/61444
TESIS
Ung, Teresa. "Idea-Generation: Exploring a Co-creation Methodology Using Online Subject Matter Experts, Generative Tools, Free Association, and Storytelling During the Pre-Design Phase". Columbus, Ohio : Ohio State University, 2009. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1236829537.
Pełny tekst źródłaCordeiro, Maria Teresa. "Uso de Equipamento de Proteção Individual e suas Repercussões no Cuidar em Enfermagem no Serviço de Urgência". Master's thesis, Instituto Politécnico de Setúbal. Escola Superior de Saúde, 2013. http://hdl.handle.net/10400.26/6156.
Pełny tekst źródłaEste trabalho visa apresentar o Projeto de Intervenção em Serviço (PIS) e Projeto de Aprendizagem Clínica (PAC) realizados no Serviço de Urgência Geral (SUG) de um Centro Hospitalar da Margem Sul do Tejo, em contexto de estágio integrado no plano de estudos do 1º Curso de Mestrado em Enfermagem Médico-Cirúrgica da Escola Superior de Saúde do Instituto Politécnico de Setúbal, e fazer uma análise reflexiva sobre as aprendizagens adquiridas à luz das competências comuns e específicas do Enfermeiro Especialista em Pessoa em Situação Crítica e Mestre em Enfermagem Médico-Cirúrgica. No PIS, abordámos uma temática relacionada com o uso de equipamentos de proteção individual (EPI) no SUG. Cientes da importância do uso de EPI na prevenção e controlo de infeção, aplicámos uma grelha de observação e um questionário à equipa de enfermagem do serviço. Após análise dos dados obtidos, fundamentámos a perceção inicial de que os enfermeiros por vezes não usavam EPI ou usavam-no de forma inadequada, potenciando a infeção associada aos cuidados de saúde (IACS). A IACS constitui um problema de saúde devido à elevada morbilidade e mortalidade e o uso de EPI faz parte integrante das precauções básicas garantindo a segurança dos profissionais e dos clientes (Pina et al, 2010). Propusemo-nos, então, divulgar boas práticas no uso de EPI desenvolvendo atividades como, formação/treino dos enfermeiros no uso de EPI, atualização do Procedimento Geral de Seleção de EPI e elaboração de instrumento de auditoria às práticas. Após deteção de necessidades através de entrevistas não estruturadas com a equipa de enfermagem e observação na prática, desenvolvemos o PAC. Elaborámos procedimento sobre cuidados de enfermagem ao cliente com entubação endotraqueal, assim como tabela de compatibilidades de medicamentos administrados por via intravenosa e desenvolvemos estratégias relacionadas com evacuação de clientes do SUG.
Abstract: This paperwork aims to present Service Intervention Project (SIP) and the Clinic Apprenticeship Project (CAP) made in the General Urgency Service (GUS) of an Hospital Centre on the South Side of Tejo, in context of internship integrated in the study plan of the 1st Masters Course in Medical-Surgical Nursing of the Superior School of Health of the Polytechnic Institute of Setúbal, and to do a reflexive analysis of the learning acquired under the Specialist Nurse common and specific skills in a Critical Situation person and Master in Medical-Surgical Nursing. In the SIP, we approach a thematic related with the use of personal protective equipment (PPE) in the. Aware of the importance of the use PPE in the prevention and control of infection, we applied an observation grill and a questionnaire to the service nursing team. After analysis of the obtained data we substantiated our initial perspective that nurses sometimes didn’t wear the PPE nor used it in the proper way, enhancing the Health Care Associated Infection (HCAI). The HCAI constitutes a health problem due to the high morbility and mortality and the use of PPE is an integrant part of the basic precautions guaranteeing the professionals and the clients’ safety (Pina et al, 2010). So we proposed to spread good practices in the use of PPE developing activities like formation/training of the nurses in the use of PPE, updating the Selection of PPE General Proceeding and elaboration of auditing instruments to the practices. After detecting the necessities trough non structed interviews with the nursing team and observation in practice, we developed a CAP. We prepared a proceeding about nursing cares to the endotracheal intubation and a compatibilities table of drugs administrated intravenously and developed strategies related with clients’ evacuation of the GUS.
Lerner, Harry 1969. "Static types to dynamic variables : re-assessing the methods of prehistoric Huron chipped stone tool documentation and analysis in Ontario". Thesis, McGill University, 2000. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=33298.
Pełny tekst źródła