Discrete Event Systems
Mostrando 1-12 de 35 artigos, teses e dissertações.
-
1. A COMBINATION OF DISCRETE EVENT SIMULATION AND MULTI-CRITERIA ANALYSIS TO CONFIGURE SUGARCANE DROP AND HOOK DELIVERY SYSTEMS
ABSTRACT This article explores decision analysis regarding Drop and Hook (D&H) transportation operations at sugarcane mills. By means of a case study, a combination of a discrete event simulation model and multi-attribute utility theory was used to evaluate different configurations for sugarcane delivery systems using internal, external, or no D&H systems. A
Eng. Agríc.. Publicado em: 25/04/2019
-
2. SIMULATION OPTIMIZATION FOR ANALYSIS OF SUSTAINABLE LOGISTICS SYSTEMS
ABSTRACT This work analyzed different logistics structures under a sustainable perspective. It wasdeveloped a discrete event simulation model associated with optimization algorithm to evaluate the best combinations of the model. Besides, the comparison between the simulation optimization and a multicriteria method was performed. The simulation software Urura
Pesqui. Oper.. Publicado em: 2017-01
-
3. Alternativas de tratamento da água de lastro em portos exportadores de minério de ferro. / Ballast water treatment alternatives in the iron ore ports exporting.
This thesis aims at making a technical and economic analysis of the ballast water treatment in Brazilian iron ore ports. Three distinct treatment alternatives were studied: (1) onshore ballast water treatment; (2) water desalination plant to ballast water treatment; (3) onboard ballast water treatment in shuttle tanker vessels operating in the mooring, where
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/03/2012
-
4. Sistemas dinâmicos de eventos discretos com aplicação ao fluxo geodésico em superfícies hiperbólicas / Discrete event dynamical systems with application to the geodesic flow on hyperbolic surfaces
Neste trabalho apresentamos um método de descrição combinatorial para o fluxo geodesico sobre uma região hiperbólica compacta, tendo como objetivo associar a seqüências de codificação, parâmetros topologicos oriundos destas superfícies. Isto permite conjugar conceitos topologicos e combinatoriais oriundos das superfícies estudadas com conceitos d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/12/2011
-
5. Proposta de um procedimento para a modelagem de sistemas de controle de edifícios inteligentes utilizando a rede de Petri colorida. / A procedure for modelling the control system in intelligent buildings based on colored Petri nets.
Technological advances in recent decades have motivated the development of intelligent buildings, aimed at creating environments more productive for the occupants, economically advantageous for the owners and environmentally correct. New ways of interaction between users and the buildings systems are emerging from these kinds of systems, which are not adequa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/08/2011
-
6. Controle supervisÃrio de sistemas a eventos discretos, usando redes de Petri coloridas / Supervisory control of discrete event systems using coloured Petri nets
Esse trabalho propÃe um novo mÃtodo para sÃntese de supervisores em sistemas a eventos discretos, utilizando redes de Petri coloridas, baseado no contexto da teoria de controle supervisÃrio. Como aspecto principal, tem-se a formalizaÃÃo teÃrica e a prova matemÃtica do mÃtodo para sÃntese desses supervisores, denominado RestriÃÃes de Controle sobr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2011
-
7. Metodologia para implementação de controle supervisório modular local em controladores lógicos programáveis / Methodology for implementation of supervisory control local modular in programmable logic control
Currently, manufacturing automation has assumed an increasingly important role within the industry and the problems of automated control systems have become increasingly complex. Thus, the traditional use of empirical methods heavily base on the experience of the programmer can lead to inappropriate or ineffective solutions. In this case, the Supervisory Con
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
8. Utilização dos conceitos de modelagem e de sistemas a eventos discretos em processos logísticos na indústria de máquinas /equipamentos / The use of the concepts of modeling and discrete event systems in logistics processes in industry machinery/equipment
O presente estudo apresenta a reorganização do projeto de trabalho de uma indústria produtora de equipamentos para compressão de GNV, apoiada pelo uso de sistemas a eventos discretos (SED). A empresa em questão, pioneira neste segmento na América Latina, viveu um súbito aumento na demanda de mercado que expôs fragilidades em seu sistema logístico. P
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/05/2011
-
9. Development of a discrete event simulation Kernel for manufacturing systems with 3D visualization / Desenvolvimento de um núcleo de simulador de eventos discretos para sistemas de manufatura com visualização 3D
The need of knowledge and control of the manufacturing environment is continuously growing. Over the last century and the beginning of this, several tools and procedures were designed in order meet those necessities. Among them, simulation is a decision support tool widely used, mainly in the manufacturing industry. Virtual reality can be used in those simul
Publicado em: 2010
-
10. Controle supervisÃrio da cadeia produtiva do biodiesel da mamona baseado em redes de Petri / Supervisory control of castor bean biodiesel suppy chain based on Petri nets
Nowadays many countries present critical problems related to energy demand-supply equilibrium. The reserves of petroleum-based products are unable to face future demand for the next decades. So, the search for alternative sources of energy has been strongly directed to biodiesel. Several fruit oils can be used as a source for biodiesel production and the cas
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/09/2009
-
11. Multiobjective optimization of availability and cost in repairable systems design via genetic algorithms and discrete event simulation
Esse artigo utiliza uma abordagem mais realista para a caracterização da confiabilidade de sistemas em problemas de alocação de redundâncias: são considerados sistemas série-paralelo formados por componentes sujeitos a ações de manutenção corretiva com ciclos de falha-reparo modelados por processos de renovação. É aplicada uma abordagem de otim
Pesquisa Operacional. Publicado em: 2009-04
-
12. Verificação formal de sistemas discretos distribuídos. / Formal verification of distribuited discrete systems.
This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the
Publicado em: 2009