Dissertations / Theses on the topic 'Diagrama de flujo'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 22 dissertations / theses for your research on the topic 'Diagrama de flujo.'
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.
Valdez, Bernal Arturo. "Diagrama de Flujo aplicado, para el análisis del procedimiento de adquisiciones en el municipio de Nicolás Romero." Tesis de Licenciatura, Universidad Autónoma del Estado de México, 2018. http://hdl.handle.net/20.500.11799/98844.
Full textPalomino, Masco Jairo Abner. "Implementación de una herramienta de traducción y verificación de programas diseñados en diagrama de flujo utilizando como paso intermedio pseudocódigo." Bachelor's thesis, Pontificia Universidad Católica del Perú, 2014. http://tesis.pucp.edu.pe/repositorio/handle/123456789/5726.
Full textTesis
Ayala, Gaspar Sindy Annetty, Orozco Paula Lisbeth Ramirez, and Gutierrez Luis Enrique Ulco. "Aplicación de herramientas de productividad y mejora en el proceso de ensamblaje de mangueras hidráulicas en la empresa Contix S.A." Bachelor's thesis, Universidad Ricardo Palma, 2015. http://cybertesis.urp.edu.pe/handle/urp/1293.
Full textRíos, Ramos Franklin G. "Diseño Organizacional: apuntes teóricos y casos." Universidad Peruana de Ciencias Aplicadas - UPC, 2006. http://hdl.handle.net/10757/272606.
Full textFerreira, Jeferson 1973. "Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0." [s.n.], 2011. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275746.
Full textDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-18T15:53:22Z (GMT). No. of bitstreams: 1 Ferreira_Jeferson_M.pdf: 10344068 bytes, checksum: f13e5d139255d50754dc668d1bbf3fc6 (MD5) Previous issue date: 2011
Resumo: Para a construção de sistemas robustos, devem ser utilizadas técnicas de tolerância a falhas que podem ser implementadas através de mecanismos de tratamento de exceções. Esses mecanismos possibilitam o tratamento de possíveis exceções, ou até mesmo a continuação da execução das funcionalidades do sistema mesmo na presença de uma exceção. O uso dos mecanismos de tratamento de exceções para desenvolver sistemas de software em larga escala, juntamente com o fato de ser implementado por diversas linguagens modernas, confirma a importância desta prática de desenvolvimento. Por outro lado, o uso desses mecanismos tem suas desvantagens, impactando principalmente na complexidade dos sistemas. Um problema que ocorre com muita frequência é efetuar a validação do fluxo excepcional somente na fase de implementação. A detecção de um problema de especificação nesta etapa do processo, pode acarretar em um aumento nos custos e prazos para a entrega do software. Este trabalho apresenta uma abordagem que utiliza as técnicas de análise estática, normalmente empregadas para detectar falhas no código fonte, para antecipar a validação do fluxo excepcional de um componente de software durante o ciclo de desenvolvimento. A solução proposta utiliza as informações do fluxo de controle e fluxo de dados obtidas a partir de um modelo comportamental. O modelo utilizado nesta abordagem é o diagrama de atividades da UML, que passa por uma série de transformações até gerar um grafo de fluxo de controle interprocedimental. Durante este processo são executadas análises de fluxo de dados para inferir com precisão quais são os tipos de exceções podem ser lançadas em dado ponto do modelo. Também faz parte deste trabalho a apresentação de uma ferramenta de apoio para o processo de validação do fluxo excepcional. Esta ferramenta, denominada ADEX (Activity Diagram EXceptional flow analyzer), implementa os algoritmos utilizados para a conversão do diagrama de atividades no grafo de fluxo de controle interprocedimental. A ferramenta também oferece recursos para a visualização do fluxo de controle normal e excepcional do modelo
Abstract: In order to develop robust software, should be used fault tolerant techniques that can be implemented by exception handling mechanisms. These mechanisms allow the handling of possible exceptions or even the continued of execution of the system's functionalities, even in the presence of an exception. The use of exception handling mechanisms to develop large scale software systems together with the fact that several modern programming languages provide these mechanisms, confirm the importance of these mechanisms in practice. On the other hand, the use of these mechanisms has some disadvantages, principally impacting on the complexity of the systems. One problem that occurs very often is performing the validation of the exceptional flow only during the implementation phase. The detection of a specification problem at this stage of the process can lead the increasing of costs and delays to delivery the software. This paper presents an approach that uses static analysis techniques, usually used to detect anomalies in the source code, to antecipate the validation of the exceptional flow of a software component in the development cycle. The proposed solution uses the information of control flow and data flow gathered from a behavioral model. The model used in this approach is the UML activity diagram, which undergoes a series of transformations to generate a interprocedural control flow graph. During this process are performed data flow analysis to inferring precisely what kind of exceptions can be thrown at a specific point of the model. The presentation of a tool to support the validation of the exceptional flow, also is part of this work. This tool, called ADEX (Activity Diagram EXceptional flow analyzer), implements the algorithms used to convert the activity diagram in the interprocedural control flow graph. The tool also provides features for visualization of normal and exceptional control flow of the model
Mestrado
Ciência da Computação
Mestre em Ciência da Computação
Yamaguti, Marcelo Hideki. "Técnicas diagramáticas para desenvolvimento de software orientado a objetos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1993. http://hdl.handle.net/10183/25463.
Full textThis work tackles the effective use of diagramming techniques for object-oriented software development during analysis and design phases. During software development the specifications produced by analysis and design usually take a graphical form. The use of diagrams in software development occurs because designers and analysts like to express themselves that way to turn the specifications more understandable. Most of diagramming techniques in use nowadays support software development following methodologies based on the conventional functional decomposition paradigm. Various diagramming techniques were created or adapted in order to support the concepts of this paradigm, following its own evolution. With the introduction of object-oriented concepts new diagramming techniques were created or adapted from conventional methodologies. This work introduces the concepts of object orientation, as well as, the changes originated from the use of this paradigm in software development. Specific steps related to the analysis and design stages in the object-oriented software life cycle are also presented. A set of interrelated diagramming techniques for supporting object-oriented software development is presented. A set of interrelated diagramming techniques for supporting object-oriented software development is presented. The description of these diagramming techniques includes new features, discussion of adaptations for object-oriented techniques, specific applications and uses, and their integration. Finally, the features of specific resources and facilities for supporting the proposed notations are defined. The description of the implementation of a diagrammatic editor, using the notations presented in this work, is included.
Garrido, Baserba Manel. "Development of an environmental decision support system for the selection and integrated assessment of process flow diagrams in wastewater treatment." Doctoral thesis, Universitat de Girona, 2013. http://hdl.handle.net/10803/108953.
Full textLa depuració d’aigües residuals juga un paper fonamental en el manteniment dels recursos hídrics naturals. Tanmateix, sigui quina sigui la tecnologia emprada o el nivell de depuració requerit, les plantes de tractament del segle XXI són sistemes d’alta complexitat, que no només han de satisfer requeriments de tipus tècnic, sinó també de tipus ambiental i econòmic. En aquest context, els sistemes de suport a la decisió en dominis ambientals (en anglès, Environmental Decision Support Systems o EDSS) es configuren com una eina eficaç per donar suport a la selecció i a l’avaluació integrada de diferents alternatives de depuració d’aigües. El EDSS dissenyat pot definir-se com un programari interactiu, flexible i adaptable, que vincula els models numèrics/algoritmes amb tècniques basades en el coneixement i ontologies ambientals, i que és capaç de donar suport a la presa de decisió, ja sigui en l’elecció entre diferents alternatives, millorant una solució, o bé en l’avaluació integrada a través de metodologies ambientals (Anàlisi de Cicle de Vida) i econòmiques
Zirbes, Sergio Felipe. "A reutilização de modelos de requisitos de sistemas por analogia : experimentação e conclusões." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1995. http://hdl.handle.net/10183/17809.
Full textSystem Engineering, as well as any other product oriented activity, starts by a clear definition of the product to be obtained. This initial activity is called Requirement Analysis and the resulting product consists of a system specification. The Requirement Analysis is divided in two separated phases: elicitation and modeling. An appropriate system development definition relies in a complete, and consistent system specification phase. However, many problems have been faced by system analysts in the performance of such task, as a result of requirements complexity, and diversity, human limitations, and communication gap between users and developers. If we think of a system life cycle, we'll find out that the main activity performed by software engineers consists in the generation of models corresponding to specific parts of the users environment. This modeling activity starts by a descriptive model of the portion of reality from which the requirement model is derived, resulting in the system conceptual model. The last phase of this evolving modeling activity is the software required for the system implementation. In spite of the importance of requirement analysis and modeling, very little research effort was put in these activities and none significant improvement in available methodologies were presented until the late 80s. Nevertheless, when the concepts applied in software reuse were also applied to system specification and requirements modeling, then a new paradigm was introduced, consisting in the specification of new systems based on systematic reuse of similar available system models. Research effort have been put in this new modeling technique in the aim of make it usable and reliable. However, only after this methodology is proved to produce better and reliable software in a more productive way, it would be world wide accepted by the scientific and technical community. The present work provides a critical analysis about the use of such requirement modeling technique. Experimental modeling techniques based on the reuse of similar existing models are analyzed. Systems models were developed by system analyst with similar skills, with and without reusing previously existing models. The resulting models were compared in terms of correction, consumed time in each modeling phase, effort, etc. An experimental protocol and a special strategy were defined in order to compare and to measure results obtained from the use of two different groups of models. The main difference between the two selected groups were the similarity level between the model available for reuse and the model to be developed. The diversity of resulting models in terms of quality and completeness, as well in the modeling effort, was a corroboration to the hypothesis that reuse effectiveness is related to similarity between domains, data and procedures of pre-existing models and applications being developed. In this work, the reuse of requirements models is investigated in two different methodologies: in the first one, the modeling process is based on the use of Data Flow Diagrams, as in the structured methodology; in the second methodology, based on Object Orientation, Object Diagrams are used for modeling purposes. The research was achieved with the cooperation of 114 students/analysts, resulting in 175 series of Data Flow Diagrams and 23 series of Object Diagrams. Proper statistical analysis were conducted with these samples, in order to clarify questions about requirements reuse. According to the final results, modeling techniques based on the reuse of analogous models provide an improvement in requirement analysis, without disregarding restrictions resulting from differences in domain, data and procedures.
Carrera, Xavier. "Uso de diagramas de flujo y sus efectos en la enseñanza-aprendizaje de contenidos procedimentales: área de tecnologia (ESO)." Doctoral thesis, Universitat de Lleida, 2003. http://hdl.handle.net/10803/8311.
Full textCardoso, Rharã de Almeida. "Desenvolvimento de metodologia para identificação modal automática de estruturas." reponame:Repositório Institucional da UFOP, 2015. http://www.repositorio.ufop.br/handle/123456789/5289.
Full textSubmitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2015-05-11T16:57:14Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_DesenvolvimentoMetodologiaIdentificação.pdf: 4405636 bytes, checksum: 8c89cc049fea8b193172833e3462aa23 (MD5)
Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-05-12T13:29:54Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_DesenvolvimentoMetodologiaIdentificação.pdf: 4405636 bytes, checksum: 8c89cc049fea8b193172833e3462aa23 (MD5)
Made available in DSpace on 2015-05-12T13:29:54Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_DesenvolvimentoMetodologiaIdentificação.pdf: 4405636 bytes, checksum: 8c89cc049fea8b193172833e3462aa23 (MD5) Previous issue date: 2015
O monitoramento da integridade estrutural (SHM – Structural Health Monitoring) de estruturas é de grande importância prática para engenharia civil. Grandes obras como a ponte Rio-Niterói, no Brasil, a ponte Z24, na Suíça, ou o viaduto de Millau, na França, são monitoradas há algum tempo. De fato, algumas estruturas são monitoradas 24 horas por dia,7 dias por semana, com o objetivo de fornecer medidas dinâmicas que possam ser usadas para a identificação de problemas estruturais tais como a presença de dano ou de vibração excessiva. Esta análise deve passar pelo processo denominado identificação modal, cujos dados de saída são chamados de parâmetros modais, nomeadamente frequências naturais, taxas de amortecimento e formas modais. Portanto, é fundamental que haja o desenvolvimento e a validação de ferramentas para a identificação automática destes parâmetros. Uma vez que o sucesso dos algoritmos de detecção de dano depende da precisão das estimativas dos parâmetros modais, é imperativo que o algoritmo de automatização da identificação seja eficiente e adequado para tratar as respostas da estrutura durante sua operação normal. A metodologia proposta neste trabalho se utiliza dos dados fornecidos por um algoritmo de identificação paramétrico (que gera um diagrama de estabilização), como o SSI-DATA, para determinar automaticamente os parâmetros dinâmicos da estrutura. A eficiência desta metodologia é atestada mediante sua aplicação a sinais gerados numericamente, a respostas de uma viga biapoiada ensaiada em laboratório e aos dados do monitoramento de uma ponte rodoviária. _______________________________________________________________________________
ABSTRACT: Structural health monitoring of civil infrastructures has great practical importance for engineers, owners and stakeholders. Numerous researches have been carried out using long-term monitoring, for instance the Rio-Niterói Bridge in Brazil, the former Z24 Bridge in Switzerland, the Millau Bridge in France, among others. In fact, some structures are monitored 24/7 in order to supply dynamic measurements that can be used for the identification of structural problems such as the presence of cracks, excessive vibration, damage identification or even to perform a quite extensive structural evaluation concerning its reliability and life cycle. The outputs of such an analysis, commonly entitled modal identification are the so-called modal parameters, i.e. natural frequencies, damping rations and mode shapes. Therefore, the development and validation of tools for the automatic identification of modal parameters based on the structural responses during normal operation is fundamental, as the success of subsequent damage detection algorithms depends on the accuracy of the modal parameters estimates. The proposed methodology uses the data driven stochastic subspace identification method (SSI-DATA), which is then complemented by a novel procedure developed for the automatic analysis of the stabilization diagrams provided by the SSI-DATA method. The efficiency of the proposed approach is attested via experimental investigations on numerical data, on a simply supported beam tested in laboratory and on a motorway bridge.
Morais, Érica Vasconcelos de [UNESP]. "Metodologia e diretrizes para desenvolvimento de um ambiente computacional para ensino a distância." Universidade Estadual Paulista (UNESP), 2007. http://hdl.handle.net/11449/87229.
Full textCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Antigamente, eram utilizados para o ensino à distância apenas os meios de comunicação tradicionais (revistas, livros, TV e rádio) para passar informações e conteúdos. Com o surgimento de novos meios de comunicação, surgiu a necessidade de desenvolver novos métodos de ensino para integrar pessoas de diversas áreas e regiões. Com isso, faz-se necessário o estudo de metodologias e desenvolvimento de novas tecnologias de comunicação. O presente trabalho tem como objetivo apresentar a modelagem para o desenvolvimento de uma ferramenta de Ensino à Distância. Apresentou-se também a Metodologia OOHDM – Object Oriented Hypermedia Design Method, na qual foi utilizada o Modelo Navegacional onde apresenta o mapeamento do caminho que o usuário deverá fazer na navegação do sistema. A UML - Unified Modeling Language com o uso dos diagramas de casos de uso, apresentou as opções que podem ser realizadas na manipulação da interface. A camada de regra de negócio ofereceu o funcionamento do sistema através do DFD Diagrama de Fluxo de Dados. A camada de dados proporcionou a estrutura conceitual e lógica do banco de dados através do Modelo E-R (Entidade – Relacionamento) e do Modelo relacional, para que, através da análise dos diagramas e modelos obtidos, consiga-se compreender o sistema como um todo e possibilite a tomada de decisões mais precisas e em menor tempo, caso seja necessário efetuar alterações nesta aplicação.
The old traditional medias (magazines, books, TV and radio) were used for education at distance only to pass information and contends. With the creating of new medias, appeared the necessity to develop new methods of education to integrate people of different areas and regions. Therefore, study of methodologies and development of new technologies of communication becomes necessary. The present work had as objective to present a modeling for the development of an Education at Distance tool. Methodology OOHDM – Object Oriented Hypermedia Design Method was also presented, in which was used the Navigational Model where it presents the mapping of the way that the user will have to make in the navigation system. The UML, United Modeling Language with the use of the diagrams of use cases, presented the options that can be realized through the manipulation of the interface. The business service offered the functioning of the system through the DFD (Diagram of Data Flow). The data service provided the conceptual structure and logical of data base through model E-R (entity – Relationship) and relation Model, so that, through the gotten analysis of diagrams and models, it’s possible to understand the system as a whole and make it possible to take more precise decisions in less time, if it is necessary to provide alterations in this application.
Morais, Érica Vasconcelos de. "Metodologia e diretrizes para desenvolvimento de um ambiente computacional para ensino a distância /." Ilha Solteira : [s.n.], 2007. http://hdl.handle.net/11449/87229.
Full textBanca: Júlio Borges de Souza
Banca: Marco Aparecido Queiroz Duarte
Resumo: Antigamente, eram utilizados para o ensino à distância apenas os meios de comunicação tradicionais (revistas, livros, TV e rádio) para passar informações e conteúdos. Com o surgimento de novos meios de comunicação, surgiu a necessidade de desenvolver novos métodos de ensino para integrar pessoas de diversas áreas e regiões. Com isso, faz-se necessário o estudo de metodologias e desenvolvimento de novas tecnologias de comunicação. O presente trabalho tem como objetivo apresentar a modelagem para o desenvolvimento de uma ferramenta de Ensino à Distância. Apresentou-se também a Metodologia OOHDM - Object Oriented Hypermedia Design Method, na qual foi utilizada o Modelo Navegacional onde apresenta o mapeamento do caminho que o usuário deverá fazer na navegação do sistema. A UML - Unified Modeling Language com o uso dos diagramas de casos de uso, apresentou as opções que podem ser realizadas na manipulação da interface. A camada de regra de negócio ofereceu o funcionamento do sistema através do DFD Diagrama de Fluxo de Dados. A camada de dados proporcionou a estrutura conceitual e lógica do banco de dados através do Modelo E-R (Entidade - Relacionamento) e do Modelo relacional, para que, através da análise dos diagramas e modelos obtidos, consiga-se compreender o sistema como um todo e possibilite a tomada de decisões mais precisas e em menor tempo, caso seja necessário efetuar alterações nesta aplicação.
Abstract: The old traditional medias (magazines, books, TV and radio) were used for education at distance only to pass information and contends. With the creating of new medias, appeared the necessity to develop new methods of education to integrate people of different areas and regions. Therefore, study of methodologies and development of new technologies of communication becomes necessary. The present work had as objective to present a modeling for the development of an Education at Distance tool. Methodology OOHDM - Object Oriented Hypermedia Design Method was also presented, in which was used the Navigational Model where it presents the mapping of the way that the user will have to make in the navigation system. The UML, United Modeling Language with the use of the diagrams of use cases, presented the options that can be realized through the manipulation of the interface. The business service offered the functioning of the system through the DFD (Diagram of Data Flow). The data service provided the conceptual structure and logical of data base through model E-R (entity - Relationship) and relation Model, so that, through the gotten analysis of diagrams and models, it's possible to understand the system as a whole and make it possible to take more precise decisions in less time, if it is necessary to provide alterations in this application.
Mestre
Silva, Tiago Joaquim Soares. "Melhoria do fluxo de materiais com o auxílio de ferramentas lean." Master's thesis, Universidade de Aveiro, 2014. http://hdl.handle.net/10773/15049.
Full textAs ferramentas lean auxiliam a aplicação dos conceitos lean levando à redução dos desperdícios ao longo da cadeia de valor e redução do lead time. Este projeto tem como objetivos melhorar o processo de picking de materiais e a redução do WIP ao longo do fluxo de materiais da empresa 4Lean de forma a melhorar o fluxo de materiais. Para atingir esses objetivos foi feito uma pesquisa de artigos científicos e literatura existente. Depois analisaram-se os processos de forma a se conseguir identificar melhorias futuras. Com este projeto conseguiu-se alcançar poupanças na área responsável pelo processo de picking com a implementação de supermercados, estruturas de organização de paletes e novo modelo de carro de picking. Devido a mudanças de layout e melhorias nos processos foi possível reduzir o WIP e aumentar a capacidade em 70%.
Lean tools support the application of the lean concepts leading to reduce the waste through the supply chain and reducing lead time. This project aims to improve the picking materials process and reduction of WIP along the materials flow on the company 4Lean in order to improve the material flow. To achieve these objectives has been done a research of scientific papers and literature. Then the processes were analyzed in order to identify future improvements. With this work we able to achieve savings on the area responsible for the picking process with implementation of supermarkets, structures to organize pallets and new model car of picking. As result of the layout changes and improvements on the processes was possible to reduce the WIP and increase the capacity by 70%.
Matos, Cidália Maria Duarte Silvestre Pissarra de. "Controlo dos processos de manufactura para a industria automóvel." Master's thesis, Universidade da Beira Interior, 2010. http://hdl.handle.net/10400.6/1922.
Full textCALLOU, Gustavo Rau de Almeida. "Assessment to support the planning of sustainable data centers with high availability." Universidade Federal de Pernambuco, 2013. https://repositorio.ufpe.br/handle/123456789/12262.
Full textSubmitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-12T18:54:10Z No. of bitstreams: 2 Tese Gustavo Callou.pdf: 4626749 bytes, checksum: 336a34ffc39f6ac623fa1144de2a66bf (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Made available in DSpace on 2015-03-12T18:54:10Z (GMT). No. of bitstreams: 2 Tese Gustavo Callou.pdf: 4626749 bytes, checksum: 336a34ffc39f6ac623fa1144de2a66bf (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-11-12
O surgimento de servi¸cos como computa¸c˜ao nas nuvens, redes sociais e com´ercio eletrˆonico tem aumentado a demanda por recursos computacionais dos data centers. Preocupa¸c˜oes decorrentes para os projetistas de data center s˜ao sustentabilidade, custo, e dependabilidade, os quais s˜ao significativamente afetados pelas arquiteturas redundantes requeridas para suportar tais servi¸cos. Nesse contexto, modelos s˜ao ferramentas importantes para projetistas quanto a tentativa de quantificar esses problemas antes mesmo de implementar a arquitetura final. Nessa tese, um conjunto de modelos ´e proposto para a quantifica¸c˜ao integrada do impacto na sustentabilidade, custo e dependabilidade das infraestruturas de refrigeramento e potˆencia de data centers. Isso ´e obtido com o suporte do ambiente de avalia¸c˜ao que ´e composto pelas ferramentas ASTRO, Mercury e o m´odulo de otimiza¸c˜ao. A avalia¸c˜ao de dependabilidade faz uso de uma estrat´egia de modelagem h´ıbrida que usa as vantagens tanto das redes de Petri estoc´asticas como dos diagramas de blocos de confiabilidade. Al´em disso, um modelo ´e proposto para realizar a verifica¸c˜ao se fluxo de energia n˜ao excede a capacidade m´axima de potˆencia que cada equipamento pode prover (considerando dispositivos el´etricos) ou extrair (assumindo equipamentos de refrigera¸c˜ao). Adicionalmente, um m´etodo de otimiza¸c˜ao ´e proposto para melhorar os resultados obtidos atrav´es dos diagramas de blocos de confiabilidade, das redes de Petri estoc´asticas e do modelo de fluxo de energia pela sele¸c˜ao autom´atica dos dispositivos apropriados a partir da lista de componentes candidatos. Essa lista corrresponde a um conjunto de componentes que podem ser utilizados para compor a arquitetura de data center. V´arios estudos de casos s˜ao apresentados para analisar o impacto ambiental, a dependabilidade e o custo operacional de energia el´etrica de arquiteturas reais de potˆencia e refrigera¸c˜ao de data centers.
FALCÃO, Thiago de Faria. "Diretrizes estratégicas para melhoria da eficiência logística em um canteiro de obra para execução de alvenarias e revestimentos de argamassa." Universidade Federal de Goiás, 2010. http://repositorio.bc.ufg.br/tede/handle/tde/1334.
Full textIn civil construction, logistics can be characterized as a multidisciplinary method in the production process aimed at ensuring the design of material and human resources needed for production. Based on this fact, this work presents a methodology that seeks to characterize the processes of external masonry, sub floor, masonry and internal lining mortar, besides the relevant materials to implementation of these processes through two tools: flow charts and indicators of productivity. The first is an analytical record of the process flows described above showing the sequence of tasks performed in them, through a symbolic, aiming the optimization in terms of materials between one activity and another. The second through a model of productivity measurement and analysis of proposed specifically for the Construction Industry, which is named "Model of Factors." This research has the scope to develop a construction company building a method that aims to define the flow behavior of materials in the execution of the cases cited, and an indicator system for measuring performance for the same, with the aim of generating guidelines for improving logistics efficiency at construction sites. A general guidelines has been implemented in the process of lining mortar, providing a significant percentage drop compared the OR's daily and cumulative in two moments: before and after implementation of the guideline. This percentage rose from 126.26% to 23.07% taking into account the higher values for the two moments.
Na construção civil, a logística pode ser caracterizada como um método multidisciplinar inserido no processo produtivo que visa garantir o dimensionamento dos recursos materiais e humanos necessários à produção. Diante deste fato, o presente trabalho tem como objetivo gerar diretrizes para melhoria da eficiência logística nos canteiros de obras, apresentando uma metodologia que visa caracterizar os processos de alvenaria externa, contrapiso, alvenaria interna e revestimento interno em argamassa e os materiais pertinentes para realização dos desses serviços através de duas ferramentas: diagramas de fluxo e índices de produtividade. A primeira ferramenta faz um registro analítico dos fluxos dos processos descritos anteriormente, mostrando a sequência das tarefas realizadas, por meio de uma simbologia, buscando-se a otimização em termos de materiais entre uma atividade e outra. A segunda por meio de um modelo de medição e análise da produtividade proposto especificamente para a Indústria da Construção Civil, obteve-se os índices de produtividade denominados de RUP s dos processos descritos, o que permitiu identificar os fatores intervenientes responsáveis pelo decréscimo na produção das equipes em cada um dos processos. A partir destas análises, sugeriu-se para o canteiro algumas modificações em termos de projeto, treinamento da mãode- obra, fluxo físico dos materiais e utilização de novas tecnologias com objetivo de melhorar a logística do mesmo. Foi implementada uma das diretrizes propostas no processo de revestimento interno em argamassa, proporcionando uma queda percentual significativa quando comparadas as RUP s diárias e cumulativas nos dois instantes: antes e após a implementação da diretriz. Este percentual passou de 126,26% para 23,07% levando em consideração os maiores valores obtidos nos dois momentos.
Dardati, Patricia Monica. "Simulación micromécanica de la solidificación de la fundición dúctil." Doctoral thesis, Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales, 2005. http://hdl.handle.net/11086/4656.
Full textExpone un nuevo modelo para la simulación del proceso de solidificación equiaxial de la fundición dúctil de composición eutéctica por medio de formulaciones macro y micromecánicas acopladas.
Passos, Lígia Maria Soares. "Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa." Universidade Federal de Uberlândia, 2009. https://repositorio.ufu.br/handle/123456789/12473.
Full textThis work presents a method for qualitative and quantitative analysis of WorkFlow nets based on the proof trees of linear logic, and an approach for the verification of workflow specifications in UML through the transformation of UML Activity Diagrams into WorkFlow nets. The qualitative analysis is concerned with the proof of soundness correctness criterion defined for WorkFlow nets. The quantitative analysis is based on the computation of symbolic dates for the planning of resources used to handle each task of the workflow process modeled by a t-Time WorkFlow net. For the verification of the specifications of workflow processes mapped into UML Activity Diagrams are presented formal rules to transform this ones into WorkFlow nets. In this context is proposed the analysis and correction of critical points in UML Activity Diagrams through the analysis of proof trees of linear logic. The advantages of such an approach are diverse. The fact of working with linear logic permits one to prove the correctness criterion soundness in a linear time without considering the construction of the reachability graph, considering the proper structure of the WorkFlow net instead of considering the corresponding automata. Moreover, the computation of symbolic dates for the execution of each task mapped into the t-Time WorkFlow net permits to plan the utilization of the resources involved in the activities of the workflow process, through formulas that can be used for any case handled by the correspondent workflow process, without to examine again the process to recalculate, for each new case, the dates of start and conclusion for the activities involved in the process. Regarding the verification of workflow processes mapped into UML Activity Diagrams, the major advantage of this approach is the transformation of a semi-formal model into a formal model, such that some properties, like soundness, can be formally verified.
Este trabalho apresenta um método para a análise qualitativa e quantitativa de Work- Flow nets baseado nas árvores de prova canônica da lógica linear e uma abordagem para a verificação de especificações de processos de workflow em UML através da transformação de Diagramas de Atividades da UML em WorkFlow nets. A análise qualitativa refere-se à prova do critério de corretude soundness definido para WorkFlow nets. Já a análise quantitativa preocupa-se com o planejamento de recursos para cada atividade de um processo de workflow mapeado em uma t-Time WorkFlow net e baseia-se no cálculo de datas simbólicas para o planejamento de recursos utilizados na realização de cada tarefa do processo de workflow. Para a verificação das especificações de processos de workflow mapeados em Diagramas de Atividades da UML são apresentadas regras formais para transformar estes diagramas em WorkFlow nets. Neste contexto também é proposta a análise e correção de pontos críticos em Diagramas de Atividades da UML através da análise de árvores de prova canônica da lógica linear. As vantagens das abordagens apresentadas neste trabalho são diversas. O fato de trabalhar com lógica linear permite provar o critério de corretude soundness em tempo linear e sem que seja necessária a construção de um grafo das marcações acessíveis, considerando diretamente a própria estrutura da WorkFlow net, ao invés de considerar o seu autômato correspondente. Além disso, o cálculo de datas simbólicas correspondentes à execução de cada tarefa mapeada em uma t-Time WorkFlow net permite planejar a utilização dos recursos envolvidos nas atividades do processo de workflow, através de fórmulas que podem ser utilizadas por qualquer caso tratado pelo processo de workflow correspondente, sem que seja necessário percorrer novamente o processo de workflow inteiro para recalcular, para cada novo caso, datas de início e término das atividades envolvidas no processo. Já no que diz respeito à verificação de processos de workflow mapeados em Diagramas de Atividades da UML, a principal vantagem desta abordagem é a transformação de um modelo semi-formal em um modelo formal, para o qual algumas propriedades, como soundness, podem ser formalmente verificadas.
Mestre em Ciência da Computação
MONROY, VEGA JORGE ALBERTO, and VEGA JORGE ALBERTO MONROY. "“APLICACIÓN DE LA HERRAMIENTA AMFE´s PARA CONTROLAR LOS PROCESOS DE CALIDAD DENTRO DEL DEPARTAMENTO DE EMBARQUES”." Tesis de Licenciatura, JORGE ALBERTO MONROY VEGA, 2017. http://hdl.handle.net/20.500.11799/66584.
Full textLos indicadores fueron utilizados y comparados para aplicar un mejor control entre la forma de evaluación de los procesos dentro de la empresa, puesto que estos indicadores permiten observar la forma correcta para la aplicación y desarrollo de las actividades manteniendo un control de calidad dentro del área correspondiente. El proyecto describe la situación en la que se encontraba el área de Embarques por las desviaciones a los procesos. Se plantea la herramienta de calidad AMFE´s, estableciendo objetivos generales y objetivos específicos del proyecto, así como la justificación y alcances. Al aplicar de la herramienta de calidad se plasman de acuerdo a lo sucedido en el avances del proyecto, los indicadores y las incidencias dentro del centro de distribución Chedraui en el área de Embarques fueron controlados, así mismo el índice de error y mermas para la entrega de la mercancía, en tiempo y forma.
Huamán, Bustamante Jesús Omar. "Implementación de un controlador difuso de temperatura prototipo usando la inferencia difusa de Takagi Sugeno." Universidad Nacional de Ingeniería. Programa Cybertesis PERÚ, 2007. http://cybertesis.uni.edu.pe/uni/2007/huaman_bj/html/index-frames.html.
Full textBarbosa, Miguel Bonafe. "Desenvolvimento de uma aplicação informática para a criação de Diagramas de Identificação de Desperdícios." Master's thesis, 2015. http://hdl.handle.net/1822/41946.
Full textNo contexto da melhoria contínua é bem famosa a metodologia baseada no VSM (Value Stream Mapping). Nessa metodologia começa-se por descrever o estado atual do fluxo dos materiais de uma determinada família de produtos bem como os principais fluxos de informação usando um VSM. Depois projeta-se um VSM futuro e definem-se as ações necessárias para que esse estado desejado futuro seja atingido. Embora muito popular, o VSM, tem algumas limitações descritas em diversas publicações e apresentadas neste trabalho. Tem vindo a ser desenvolvido no Departamento de Produção e Sistemas da Universidade do Minho uma nova ferramenta, denominada Waste Identification Diagram (WID), para ultrapassar algumas das limitações do VSM. A originalidade do WID advém principalmente da sua forma visual, onde as dimensões dos seus símbolos representam informações relevantes sobre uma unidade de produção. O aspeto mais negativo do WID é a dificuldade de o construir uma vez que não existe uma ferramenta específica para o fazer. A ausência de um software como ferramenta facilitadora capaz de reproduzir esses diagramas, torna-se uma necessidade para que o modelo WID seja de fato uma ferramenta alternativa e muito mais eficaz do que as existentes no mercado, motivando esse trabalho. O objetivo desse trabalho é a criação de um sistema capaz de simplificar e automatizar algumas tarefas no processo de construção de Diagramas de Identificação de Desperdícios (WID). O sistema foi desenvolvido e permite ao utilizador construir rapidamente diagramas WID, permite imprimir e adaptar o WID a diferentes escalas, entre outras importantes funcionalidades.
In the context of continuous improvement a methodology based on Value Stream Mapping (VSM) is very well known. This methodology starts up by describing the current state of the flow of material of any given product family as well as key information flows using a VSM. Then a future VSM is created and a set of the necessary actions is generated so that desired future state is reached. Although very popular, VSM has some limitations described in several publications and presented in this work. The Production and Systems Department of the University of Minho has developed a tool, called Waste Identification Diagram (WID), a VSM competitor, to overcome some of the limitations of VSM. The originality of the WID is mainly coming from its visual form, where the dimensions of the symbols represent relevant information about a production unit. The most negative aspect of WID is that the diagrams are difficult to build because there is not a specific tool to do so. The absence of a software tool as a facilitator able to play these diagrams, it becomes a necessity for the WID model is indeed an alternative tool and more effective than the existing market, motivating this work. The aim of this work is to develop a computer application to build Waste Identification Diagrams (WID). The application was built and allows the user to quickly build WID diagrams, allows you to print and adapt the WID at different scales.
Pimentel, Pedro Henrique da Silva. "Proposta de implementação de práticas Lean Manufacturing num ambiente produtivo de fluxo intermitente: “Intervenções de manutenção em assistência em estrada”." Master's thesis, 2015. http://hdl.handle.net/10400.6/6477.
Full textThe Japanese company Toyota was pioneered in the application of a new form of management, through the development of the Toyota Production System (Toyota Production System, TPS). This system integrates principles of the "Lean Manufacturing” (LM) philosophy, using the methods "Just-in-time", "Kanban" and "Heijunka". These findings emphasize the differentiation verified in the competitive capacity of the enterprises, which is due to differences at the organizational level and proper adaptation of LM tools to the activity of the company. The LM may help the neediest companies organizationally, and considers that the difficulties in the application of Lean practices, are due mainly to three factors: lack of commitment, reduce of qualified employees and intermittent production environments. In this thesis, we intended to analyze the current state of the art in what concern to methods of LM. This literature review helped to start our proposal, which consists in the implementation of the Lean practices to rapid response cases in the assistance of vehicle maintenance in road by the T Company. To achieve our proposal, we have elaborated the approach to the problem, developing an implementation support tool LM, consisting of Pareto analysis, spaghetti diagram, VSM current state, VSM future state, product analysis, means to apply, and apply state future. The study was applied to a T Company vehicle involved in the assistance of vehicles in the road, and as a starting point we studied a more competitive product value. We also presented a proposal for the desired improvements using computer aided design technologies. Finally, this study intends to launch and initiate continuous improvement through kaizen events, in order to involve employees of the institution and benefit from the knowledge acquired and also to motivate the team to the expected constant improvement.