MECATRÔNICA MODELAGEM, CONTROLE E DECISÃO

Tamanho: px
Começar a partir da página:

Download "MECATRÔNICA MODELAGEM, CONTROLE E DECISÃO"

Transcrição

1 MECATRÔNICA MODELAGEM, CONTROLE E DECISÃO Membros: Prof.Dr. Paulo E. Miyagi Prof.Dr. Fabio G. Cozman Prof.Dr. José Reinaldo Silva Prof.Dr. Marcos de S.G. Tsuzuki Prof.Dr. Jun Okamoto Jr. Prof.Dr. Newton Maruyama Prof.Dr. Alexandre Kawano Colaboradores: Prof.Dr. Diolino J. Santos Fo., USP e CUFSA Prof.Dr. Emilia Villani, ITA Prof.Dr. Luis A.M. Riascos,UFABC Prof.Dr. Amauri Hassui,UNICAMP Prof.Dr. Fabio K. Takase, Mind ltda. Prof. Dr. Flavio Tonidandel, FEI Contato: Paulo E. Miyagi telefone: (11) Link para o Diretório do CNPq: esq.jsp?pesq= Link para o Depto: Sobre o Grupo (descrição geral): As atividades de pesquisa e desenvolvimento deste Grupo envolvem as seguintes linhas de pesquisa: Integração de sistemas Modelagem, design e análise de produtos e sistemas Sistemas inteligentes Sistemas de controle Sistemas de tomada de decisão O Grupo está organizado em laboratórios que conduzem os projetos de pesquisa dentro das linhas acima listadas. Palavras-chave: sistema mecatrônico, modelagem e design de sistema, sistema inteligente, tomada de decisão, integração de sistemas, sistema de controle. Repercussões dos trabalhos do grupo Modelagem, design, controle e decisão em engenharia mecatrônica são técnicas e tecnologias fundamentais para a concepção e implementação de sistemas. Assim, as atividades de pesquisa e desenvolvimento deste Grupo envolvem não somente os sistemas de produção industriais como os sistemas de automação, sistemas de manufatura e de processos contínuos, mas também sistemas de transporte, sistemas de saúde pública, sistemas de negócios, edifícios inteligentes, etc. No nível de graduação, o grupo é co-responsável na implantação do curso de Engenharia Mecatrônica (Automação e Sistemas) da Escola Politécnica da USP, que é um sucesso e continua gerando novos cursos similares no país. Textos e materiais para laboratórios didáticos continuam sendo elaborados, assim como novas disciplinas continuam sendo introduzidas nas áreas de modelagem e design de sistemas, técnicas de controle e decisão, sistemas inteligentes e sistemas CAD/CAE/CAM. No nível de pós-graduação, novos procedimentos e abordagens para a modelagem e design de sistemas, técnicas de controle e decisão têm sido implementadas e, Excluído: e Formatados: Marcadores e numeração

2 a formação de pesquisadores tem sido fundamental para a implantação de grupos similares em outras instituições do país. O mérito técnico-científico do Grupo tem sido reconhecido pela comunidade e com isso, os projetos de pesquisa têm sido apoiados por entidades nacionais e estrangeiras como o MONBUSHO (Japão), JICA (Japão), ECLA, e Alfa (União Européia), ICI (Espanha), JNICT (Portugal). O Grupo mantém diversas atividades cooperativas com instituições no Brasil e estrangeiras (por exemplo: TITech (Japão), Tokyo Univ. (Japão), UNL e Univ. do Minho (Portugal), Univ. of Toronto (Canadá), IAI (Espanha), IPK (Alemanha), CMU (USA), LAAS (França), etc.). Na área de prestação de serviços à comunidade, o Grupo tem organizado e participado ativamente de diversos eventos ligados à área de Engenharia Mecatrônica e Engenharia de Automação. Indicadores de Desempenho Periódico 7 8 Livro 1 1 Capítulo de 3 3 Livro Orientações 7 9 Outras publicações Principais Laboratórios de Pesquisa do Grupo: LSA - Laboratório de Sistemas de Automação Coordenador: Paulo E. Miyagi A pesquisa do LSA envolve o estudo e aplicação de técnicas analíticas e de modelagem, suportada por ferramentas computacionais, para a análise do desempenho de sistemas, e no refinamento e avaliação de novos conceitos de projeto de sistemas concebidos e construídos pelo homem (man made systems). Desta forma, o LSA tem atuado junto com engenheiros e especialistas de diferentes áreas em trabalhos que envolvem considerações econômicas, ambientais, humanas e técnicas específicas. As atividades de pesquisa e de desenvolvimento envolvem não somente a automação de sistemas de produção industriais (com processos de manufatura e processos contínuos), mas também de sistemas de transporte, sistemas de comunicação, sistemas militares, edifícios inteligentes, etc. Mais detalhes sobre estes tópicos de pesquisa estão disponíveis no web site Laboratório de Tomada de Decisão Coordenador: Fábio G. Cozman O laboratório foca em técnicas de tomada de decisão automática, envolvendo teoria de probabilidades e generalizações da teoria de probabilidades. Também está interessado em robótica e sistemas autônomos, particularmente no uso de robôs para melhorar a qualidade de vida humana. O laboratório é mantido por financiamentos de várias instituições, incluindo parceiros corporativos. Mais detalhes sobre estes tópicos de pesquisa estão disponíveis no web site DesignLab - Laboratório de Design de Sistemas Coordenador: J. Reinaldo Silva O DesignLab trabalha com métodos de design de sistemas, particularmente os métodos formais aplicados a sistemas complexos, encaixando-se aí a maioria dos sistemas automatizados de grande e médio porte. Para estes sistemas a fase inicial de projeto, especialmente a Engenharia de Requisitos é um dos temas centrais de estudo. Outra ênfase está no tratamento de sistemas discretos ou em aproximações discretas para a modelagem e verificação de sistemas simples ou de tempo real.. Há ainda o interesse pelos processos e métodos de planejamento e inteligência de máquina, tratados como sistemas dinâmicos, isto é, com rede de Petri, e na combinação destes métodos com métodos de Inteligência Artifical. Uma aplicação particular desta combinação é nos sistemas colaborativos abertos que mapeiam o processo de design de sistemas complexos desde a fase inicial (requisitos) até o design detalhado. Mais Excluído: ECLA Excluído: Waterloo Excluído: O foco Excluído: híbridos, reduzindo os métodos formais de interesse àqueles descritos em grafos, Redes de Petri, vector adiction Excluído: ou através de métodos orientados a objeto

3 detalhes sobre estes tópicos de pesquisa estão disponíveis no web site Laboratório de Geometria Computacional Coordenador: Marcos de S.G. Tsuzuki O laboratório desenvolve pesquisas com o objetivo de aplicar tecnologias de geometria computacional em problemas de engenharia. A tecnologia de geometria computacional utilizada envolve: computação gráfica, modelagem de sólidos, modelagem geométrica, diagrama de Voronoi, dentre vários. As principais aplicações são no desenvolvimento de sistemas CAD/CAE/ CAM, mas tem-se também novas aplicações em visualização médica e processamento de imagem. O principal conceito explorado é que informações geométricas podem ser processadas de modo consistente e robusto, e para este fim consideram-se técnicas como aritmética intervalar, simulated annealling, dentre outras. 1. Projetos de Pesquisa: 1.1. Sistemas de Automação Balanceada e Inteligente Coordenador: Paulo E. Miyagi O foco aqui é a sistematização de técnicas necessárias para a concepção e implementação de sistemas de controle para automação balanceada, isto é, desenvolvimento de uma metodologia para a especificação do controle de sistemas a eventos discretos (sistemas com estados discretos e eventos instantâneos) e/ou híbridos (sistemas onde co-existem estados discretos, eventos instantâneos e variáveis continuas) dentro do contexto de sistemas antropocêntricos (humam centered systems) e balanceados (balanced automation systems). A seguir lista-se alguns dos trabalhos em desenvolvimento: Sistemas supervisórios híbridos Este tema visa o estudo e desenvolvimento de metodologias de modelagem, análise e especificação de sistemas supervisórios híbridos. O enfoque é baseado nas ferramentas de modelagem e análise de sistemas a eventos discretos como as redes de Petri estendidas para tratamento das variáveis contínuas. Sistemas flexíveis (inteligentes) de produção Este tema visa o desenvolvimento de metodologias e sistemas de apoio para a concepção, análise e controle de sistemas de fabricação e montagem. Considera-se que estes sistemas podem ser estudados sob o enfoque de sistemas a eventos discretos e assim, investiga-se a efetividade de técnicas baseadas em redes de Petri e suas extensões como o PFS/MFG (Production Flow Schema/ Mark Flow Graph). Os pontos investigados são o gerenciamento remoto de sistemas automatizados e o processo de detecção e tratamento de falhas. Integração de sistemas e atividades em edifícios inteligentes Este tópico visa a caracterização e desenvolvimento de um sistema integrado e modular para a gestão, controle e monitoração de edifícios inteligentes, com infra-estrutura sensorial assistida por computador. Considera-se que os edifícios inteligentes podem ser tratados como um sistema a eventos discretos onde o conceito de sistemas abertos de automação tem papel fundamental. Palavras-chave: sistema produtivo discreto, controle supervisório, sistema híbrido. Fomentos: CNPq, FAPESP, FINEP, CYTED 1.2. Automação de Tomada de Decisão Coordenador: Fábio G. Cozman Este projeto foca no desenvolvimento de técnicas de tomada de decisão automática, envolvendo teoria de probabilidades e generalizações da teoria de probabilidades. As aplicações consideradas envolvem robótica e sistemas autônomos, em especial no uso de robôs para melhorar a qualidade de vida do homem. A seguir tem-se um exemplo dos trabalhos em desenvolvimento:

4 Modelos gráficos para raciocínio probabilístico Onde o foco está nas Redes Bayesianas em vários domínios: sistemas embarcados, sistemas de suporte à decisão médica; desenvolvimento de algoritmos para raciocínio probabilístico exato e aproximado. Indeterminação e imprecisão em valores de probabilidade Modelos que representam indeterminação e imprecisão em valores de probabilidade (por exemplo, a probabilidade de chuva está entre 40% e 50% ). O foco está no estudo de conceitos de independência e em algoritmos para inferência e decisão. Sistemas robóticos Sistemas robóticos para auxílio a pessoas com deficiências e para suporte a atividades educacionais. Palavras-chave: tomada de decisão, inteligência artificial, rede Bayesiana, robótica. Fomentos: FAPESP, HP Laboratories 1.4. Design de Sistemas Complexos Coordenador: J. Reinaldo Silva Propõe aqui uma abordagem formal para o design de sistemas complexos, envolvendo a rede de Petri e suas extensões e técnicas de Inteligência Artificial. A seguir lista-se alguns dos trabalhos em desenvolvimento: GHENeSys - General Hierarchical Enhanced Net System Desenvolvimento de um sistema computacional para modelagem de rede de Petri estendida orientada a objetos onde, são endereçadas aplicações em workfow e sistemas supervisórios. Envolve a síntese de programas de controladores diretamente das extensões da rede e aplicações em sistemas de automação. itsimple - Integrated Tools and Software Interface for Modeling Planning Environments Desenvolvimento de uma ferramenta para modelagem e análise de requisitos em geral e especialmente para os problemas reais de planejamento, isto é, problemas complexos que necessitam dos métodos de planejamento e inteligência de máquina como elevadores inteligentes e sistemas de satélite. SMITI - Sistema de Manufatura Informada e Tecnologia da Informação Estudo do fluxo de informação em sistemas de manufatura e serviços, baseado em sistemas de informação e na distribuição de blocos informacionais que são extraídos de sensores ou armazenados em tags de RFID. O projeto visa o estabelecimento de métodos de design e distribuição da informação e análise de workflow, e o desenvolvimento de sistemas middleware. Palavras-chave: sistema distribuído de informação, RFID, workflow, design inteligente. Fomentos: CAPES, FAPESP 1.5. Visualizador de Imagens Médicas Coordenador: Marcos de S. G. Tsuzuki O objetivo deste projeto de pesquisa é processar as imagens obtidas por um tomógrafo de ressonância magnética e obter uma representação em modelagem sólida associada ao objeto observado. Por meio de processamento de imagem serão determinados valores de threshold que separam a imagem em volumes fechados. Será analisado um volume por vez, pela binarização das imagens obtidas pelo tomógrafo. A partir desta imagem binarizada será obtido o modelo sólido por uma variação do algoritmo cubos marchantes. Para armazenar o modelo sólido será utilizado o Modelador de Sólidos USPDesigner desenvolvido em nosso laboratório. A partir do modelo sólido será possível obter uma sequência de strip de triângulos para acelerar a etapa de renderização utilizando o acelerador gráfico tridimensional OpenGl. A vantagem em criar um modelo sólido é que posteriormente é possível definir algum algoritmo de decimação que reduzirá o número de polígonos sem reduzir a qualidade Excluído: reais Excluído: no mundo dos problemas reais de modelagem e design Excluído: ViCTOr (Virtual Collaborative Transaction Organizer) Excluído: Sistematização das transações entre agentes do processo de design, em especial de sistemas mecatrônicos, de modo a armazenar rationales, documentar a evolução do projeto e permitir que o projeto acabado seja referência para reutilização. Excluído: redes por objetos, sistemas supervisórios, automação predial, análise de dominios, transações, Excluído: FINEP Excluído: CNPq, Excluído: de

5 do modelo. Com o modelo sólido obtido, será possível também exportar para algum software de CAE para realização de análises. Palavras-chave: processamento de imagem, modelagem de sólidos, visualização por computador. Fomentos: FAPESP 1.3. Aplicações da Teoria de Problemas Inversos em Engenharia Mecatrônica Coordenador: Alexandre Kawano Em um problema inverso, dada uma determinada situação de um sistema, desejase inferir quais foram as condições iniciais, as condições de contorno, ou até mesmo, qual é a equação que rege o comportamento do sistema. O objetivo principal deste projeto envolve pesquisas sobre a teoria matemática dos problemas inversos quanto aos aspectos como teoria de probabilidades e estatística, análise funcional e teoria das equações diferenciais parciais, visando a aplicação em Engenharia Mecatrônica relacionados com a reconstrução de imagens e de ensaios não destrutivos. Palavras-chave: problema inverso, análise funcional, ensaio não destrutivo. Fomentos: FAPESP 2. Publicações Relevantes (amostra ) 2.1 Publicações em Periódicos Campos, C.P. de; Cozman, F.G. Computing lower and upper expectations using epistemic independence. International Journal of Approximate Reasoning, v.44, p , Cordaro, P.D.; Kawano, A. A uniqueness result for the recovery of a coefficient of the heat conduction equation. Inverse Problems, v.23, p , Parikh, S.P; Grassi Jr, V.; Kumas, V.; Okamoto Jr, J. Integrating Human Inputs with autonomous behaviors on an intelligent wheelchair platform. IEEE Intelligent Systems, v.22, p.33-41, Riascos, L.A.M.; Simões, M.G.; Miyagi, P.E. A bayesian network fault diagnostic system for proton exchange membrane fuel cells. Journal of Power Sources, v.165, p , Silva, J.R.; Villafruela, L.; Pina, I.B.; Gomis, O.; Sudria, A. Modelling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. International Journal of Advanced Manufacturing Technology, v.25, p.90-97, Souza, E.C. de; Maruyama, N. Inteligent UUV's: some issues on ROV dynamic positioning. IEEE Transactions on Aerospace and Electronic Systems, v.43, p , Tsuzuki, M.S.G.; Takase, F.K.; Martins, T.C.; Garcia, M.A.S. Converting CSG models into meshed B-Rep models using Euler operators and propagation based marching cubes. Journal of the Brazilian Society of Mechanical Sciences and Engineering, v.29, p , Zaffalon, M.; Cozman, F.G. Notes on conditional previsions. International Journal of Approximate Reasoning, v.44, p , Berleant, D.; Cozman, F. G.; Kosheleva, O.; Kreinovich, V. Dealing with imprecise probabilities. Reliable Computing, v.12, p , Grassi Jr, V.; Okamoto Jr, J. Development of an omnidirectional vision system. Journal of the Brazilian Society of Mechanical Sciences and Engineering, v.28, n.1, p.58-68, Miyagi, P.E.; Riascos, L.A.M. Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets. Control Engineering Practice, v.14, n.4, p , Silva, J. R.; Drira, K.; Rosário, J.M. A proposal to model collaborative work: the case study of a research network. WSEAS Transactions on Information Science and Applications, v.3, p.29-34, 2006.

6 Tonidandel, F.; Vaquero, T.S.; Silva, J.R. Reading PDDL, writing an object oriented model.. Lecture Notes in Computer Science, v.4140, p , Villani, E.; Kaneshiro, P.I.; Miyagi, P.E. Hybrid stochastic approach for the modelling and analysis of fire safety systems. Nonlinear Analysis. Theory, Methods and Applications, v.65, n.6, p , Villani, E.; Miyagi, P.E.; Valette, R. Landing system validation based on Petri nets and a hybrid approach. IEEE Transactions on Aerospace and Electronic Systems, v.42, p , Livros Villani, E.; Miyagi, P.E.; Valette, R. Modeling and Analysys of Hybrid Supervisory Systems. London: Springer Verlag, p. Aguirre, L.A.; Bruciapaglia, A.H.; Miyagi, P.E.; Takahashi, R.H.C. (Org.) Enciclopédia de Automática: Controle & Automação - Volume 1. São Paulo: Editora Blucher, p. Miyagi, P.E. (Org.); Villani, E. (Org.); Horikawa, O. (Org.). ABCM Symposium Series in Mechatronics, Vol. 2. Rio de Janeiro: ABCM, p. 2.3 Capítulos de Livros Castro, E.G. de; Tsuzuki, M.S.G. Simulation Optimization Using Swarm Intelligence as Tool for Cooperation Strategy Design in 3D Predator Prey Game. In: Felix T. S.; Chan; Manoj Kumar Tiwari. (Org.). Swarm Intelligence: Focus on Ant and Particle Swarm Optimization. Viena: I-Tech Education and Publishing, 2007, p Montevechi, J.A.B.; Morandin Jr, O.; Miyagi, P.E. Sistemas de Manufatura. In: Luis A. Aguirre; Augusto H. Bruciapaglia; Paulo E. Miyagi; Ricardo H.C. Takahashi. (Org.). Enciclopédia de Automática: Controle & Automação. São Paulo: Editora Blucher, 2007, v.1, p Cozman, F.G.; Miyagi, P.E. et al. Formação em Controle e Automação no Brasil. In: Luis A. Aguirre; Augusto H. Bruciapaglia; Paulo E. Miyagi; Ricardo H.C. Takahashi. (Org.). Enciclopédia de Automática: Controle & Automação. São Paulo: Editora Blucher, 2007, v.1, p Cozman, F.G.; Cohen, I. Risks of semisupervised learning. In: Chapelle, O.; Scholkopf, B.; Zien, A. (Org.). Semi- Supervised Learning. Cambridge, MA: MIT Press, 2006, p Outras Publicações Relevantes Campos, C.P. de; Cozman, F.G. Inference in credal networks through integer programming. In: 5 th Intern. Symp. on Imprecise Probability: Theories and Applications, Praga, p Castro, E.G. de; Tsuzuki, M.S.G. Designing cooperation strategy in a 3D hunting game using swarm intelligence. In: 7 th Intern. Conf. on Intelligent Systems Design and Applications. Los Alamitos: IEEE Computer Society Press, p Kaneshiro, P.J.I.; Garcia-Melo, J.I.; Miyagi, P.E.; Cugnasca, C.E. Modeling of collision resolution algorithm in lonworks networks. In: IMECE 07 ASME Intern. Mechanical Engineering Congr., Seattle, Martins, T.C.; Tsuzuki, M.S.G. Irregular rotational placement of shapes over nonconvex containers with fixed dimensions. In: IMS2007 IFAC Workshop on Intelligent Manufaturing Systems, Alicante CD- ROM. Martins, T.C.; Tsuzuki, M. S. G. Solving irregular rotational knapsack problems. In: 7 th Intern. Conf. on Intelligent Systems Design and Applications, Los Alamitos: IEEE Computer Society Press, p Morales, R.A.G.; Garcia-Melo, J.I.; Miyagi, P.E. Diagnosis and treatment of faults in productive systems based on Bayesian networks and Petri net. In: 3rd Annual IEEE Conf. on Automation Science and Excluído:.. Excluído: : ASME Excluído: v. Excluído:,.

7 Engineering,. Scottsdale,, v.1. p Shirota Fo, R.; Cozman, F.G.; Trevizan, F.W; Campos, C.P.; Barros, L.N. Multilinear and integer programming for Markov decision processes with imprecise probabilities. In: 5 th Intern. Symp. on Imprecise Probability: Theories and Applications, Praga., p Tavarez, J.J.P.Z.S.; Silva, J.R. Improving auto-id value generation with informed process based on Petri nets. In: ICPR 19 th Intern. Conf. on Production Research, Valparaíso, Trevizan, F.W; Cozman, F.G.; Barros, L.N. Planning under risk and Knightian uncertainty. In: IJCAI Intern. Joint Conf. on Artificial Intelligence, Hydebarad, p Vaquero, T.S.; Romero, V.M.C.; Sette, F.; Tonidandel, F.; Silva, J.R. itsimple2.0 : An integrated tool for designing planning domains. In: ICKEPS Competition on Knowledge Engineering for Planning and Scheduling, Providence, Amtonucci, A.; Zaffalon, M.; Cozman, F.G.; Ide, J.S. Binarization algorithms for approximate updating in credal nets. In: STAIRS Starting Artificial Intelligence Researcher Symposium, Trentino: IOS Press, p Arata, W.M.; Miyagi, P.E. Computational representation, heterogeneity and integration of productive system models. In: BASYS 06 7th IFIP Intern. Conf. on Information Technology for Balanced Automation Systems in Manufacturing and Services, 2006, Niagara Falls. Springer, v.220. p Colla, E.C.; Ide, J.S.; Cozman, F.G. Bayesian network classifiers for country risk forecasting. In: ECML/PKDD Workshop on Practical Data Mining: Applications, Experiences and Challenges, Berlin, p Junqueira, F.; Miyagi, P.E. A new method for the hierarchical modeling of productive systems. In: BASYS 06 7 th IFIP Intern. Conf. on Information Technology for Balanced Automation Systems in Manufacturing and Services, 2006, Niagara Falls. Springer, v.220. p Martins, T.C.; Tsuzuki, M.S.G. Simulated annealing applied to the rotational polygon packing. In: INCOM 12 th IFAC/IFIP/IFORS /IEEE/IMS Symp. Information Control Problems in Manufacturing, Saint-Etienne, v.3. p Riascos, L.A.M.; Cozman, F.G.; Miyagi, P.E.; Simões, M.G. Bayesian network supervision on fault tolerant fuel cells. In: IEEE Industry Applications Conf. 41st IAS Annual Meeting, 2006, Tampa, v.2. p Tsuzuki, M.S.G.; Martins, T.C.; Takase, F.K. Robot path planning using simulated annealing. In: INCOM 12 th IFAC/IFIP/ IFORS/IEEE/IMS Symp. on Information Control Problems in Manufacturing, Saint- Etienne, v.1. p Vaquero, T. S.; Tonidandel, F.; Barros, L.N.B.; Silva, J.R. On the use of UML.P for modeling a real planning problem. In: 16 th Intern. Conf. on Automated Planning and Scheduling, London, Villani, E.; Miyagi, P.E. A hybrid approach for safety analysis of aircraft systems. In: ADHS 06 IFAC Conf. on Analysis and Design of Hybrid Systems, Alghero, p Orientações: Teses & Dissertações A. Karlstroem. Estimação de posição e quantificação de erro utilizando geometria epipolar entre imagens Dissertação (Mestrado) - USP. Orientador: F.K. Takase. H.H. Federico. Aplicação de técnicas de planejamento experimental em otimizadores baseados em algoritmos genéticos Dissertação (Mestrado) - USP, CAPES. Orientador: A. Kawano. I.B. de Magalhães. Avaliação de redes bayesianas para imputação em variáveis qualitativas e quantitativas Tese Excluído: AZ: IEEE Excluído: de. Excluído:, 2007 Excluído: : IEEE Excluído: IFAC Excluído: : IFAC

8 (Doutorado) - USP. Orientador: F.G. Cozman. M.F. Polido. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais Tese (Doutorado) - USP. Orientador: N. Maruyama. M.A.P. Franco. Gestão de projetos e engenharia de requisitos Dissertação (Mestrado) USP. Orientador: J.R. Silva. N.O. Soares. Contribuições ao modelamento de superfícies fresadas Dissertação (Mestrado) - USP. Orientador: A. Hassui. R.A.A. Queiroz. Eliciação e comunicação de requisitos de domínios disjuntos: estudo de caso para a área médica Dissertação (Mestrado) - USP, CNPq. Orientador: J.R. Silva. R.C. Chen. Automação informada baseada em redes de Petri e RFID: estudo de caso para um sistema de bibliotecas de acervos Dissertação (Mestrado) - USP. Orientador: J.R. Silva. R. Mafalda. Resolução de problemas de tangências por inversões e aplicações à engenharia Tese (Doutorado) - USP. Orientador: A. Kawano. T.C. Martins. Estudo do recozimento simulado e do polígono de obstrução aplicados ao problema de empacotamento rotacional de polígonos irregulares nãoconvexos em recipientes fechados Tese (Doutorado) - USP. Orientador: M.S.G. Tsuzuki. T.S. Vaquero. itsimple: ambiente integrado de modelagem e análise de domínios de planejamento automático Dissertação (Mestrado) - USP, CAPES. Orientador: J.R. Silva. C.S. Oliveira. Classificadores baseados em vetores de suporte gerados a partir de dados rotulados e não-rotulados Dissertação (Mestrado) - USP, FAPESP. Orientador: F.G. Cozman. D.L. Nunez. Deteção de falhas em sistemas flexíveis de montagem através de redes de Petri Dissertação (Mestrado) - USP, FAPESP. Orientador: P.E. Miyagi. F. Junqueira. Modelagem e simulação distribuída de sistemas produtivos Tese (Doutorado) - USP, CNPq. Orientador: P.E. Miyagi. J.V. Torres. Representações compactas para processos de decisão de Markov e sua aplicação na administração de impressoras Dissertação (Mestrado) - USP, Instituto de Pesquisas Eldorado. Orientador: F.G. Cozman. M.A. Rodrigues. Investigação sobre o fresamento da liga a base de níquel - INCONEL depositada em forma de revestimento metálico Dissertação (Mestrado) - USP. Orientador: A. Hassui. M.A.S. Garcia. Algoritmo para converter sólidos CSG em sólidos B-Rep Dissertação (Mestrado) - USP. Orientador: M.S.G. Tsuzuki. P.J.I. Kaneshiro. Modelagem de sistemas de proteção técnica contra incêndios em edifícios inteligentes através de redes de Petri Dissertação (Mestrado) - USP, CAPES. Orientador: P.E. Miyagi. 4. Prêmios Best PhD Thesis 1 o lugar de 2006, Sociedade Brasileira de Computação. Best software aplication for planning and KE 2007, ICKEPS Competition on Knowledge Engineering for Planning and Scheduling, Providence, USA Best Paper Award (Prêmio José Negrete) no IBERAMIA/SBIA 2006 Brazilian Symposium on Artificial Intelligence, Sociedade Brasileira de Computação. Best Paper Award - 3rd Position, no BASYS th IFIP Intern. Conf. on Information Technology for Balanced Automation Systems in Manufacturing and Services

Fatores de Impacto para alguns Periódicos Base JCR-2003 /ISI 1

Fatores de Impacto para alguns Periódicos Base JCR-2003 /ISI 1 Fatores de Impacto para alguns Periódicos Base JCR-2003 /ISI 1 O Journal Citation Reports (JCR) publica anualmente o índice conhecido por fator de impacto de um periódico para medir a freqüência com que

Leia mais

RELATÓRIO DE ACTIVIDADES / CONTAS

RELATÓRIO DE ACTIVIDADES / CONTAS RELATÓRIO DE ACTIVIDADES / CONTAS 2003 De acordo com o Plano de Actividades elaborado pela Comissão Directiva do CEEM para o ano de 2003, foram definidas quatro áreas estratégicas de intervenção: - Investigação

Leia mais

8 Bibliografia. ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534.

8 Bibliografia. ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534. Bibliografia 88 8 Bibliografia ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534. AMBRIOLA, V.; TORTORA, G. Advances in Software

Leia mais

DAS6607 - Inteligência Artificial Aplicada à Controle de Processos e Automação Industrial

DAS6607 - Inteligência Artificial Aplicada à Controle de Processos e Automação Industrial DAS6607 - Inteligência Artificial Aplicada à Controle de Processos e Automação Industrial Aluno: André Faria Ruaro Professores: Jomi F. Hubner e Ricardo J. Rabelo 29/11/2013 1. Introdução e Motivação 2.

Leia mais

PROPOSTA DE MODELAGEM DE UM SISTEMA FLEXÍVEL DE MANUFATURA CENTRADO EM ROBÔ UTILIZANDO REDES DE PETRI

PROPOSTA DE MODELAGEM DE UM SISTEMA FLEXÍVEL DE MANUFATURA CENTRADO EM ROBÔ UTILIZANDO REDES DE PETRI PROPOSTA DE MODELAGEM DE UM SISTEMA FLEXÍVEL DE MANUFATURA CENTRADO EM ROBÔ UTILIZANDO REDES DE PETRI FLAVIO PIECHNICKI (PUC) fpiechnicki@gmail.com Os avanços tecnológicos e o aumento da complexidade dos

Leia mais

Ambientes Computacionais para o Desenvolvimento e Aplicação de Sistemas de Documentação Ativa

Ambientes Computacionais para o Desenvolvimento e Aplicação de Sistemas de Documentação Ativa Plano de Trabalho Ambientes Computacionais para o Desenvolvimento e Aplicação de Sistemas de Documentação Ativa Professores Ana Cristina Garcia Bicharra 1 e Flávio Miguel Varejão 2 1 Laboratório de Documentação

Leia mais

MODELAGEM DE SISTEMAS DE ELEVADORES NO CONTEXTO DE EDIFÍCIOS INTELIGENTES ATRAVÉS DE REDES DE PETRI INTERPRETADAS

MODELAGEM DE SISTEMAS DE ELEVADORES NO CONTEXTO DE EDIFÍCIOS INTELIGENTES ATRAVÉS DE REDES DE PETRI INTERPRETADAS MODELAGEM DE SISTEMAS DE ELEVADORES NO CONTEXTO DE EDIFÍCIOS INTELIGENTES ATRAVÉS DE REDES DE PETRI INTERPRETADAS Gladys D. Bastidas Gustin Paulo E. Miyagi Newton Maruyama Diolino J. Santos Filho E-mail:

Leia mais

Busca Estocástica Baseada em Planejamento para Maximizar Metas em Jogos de RTS

Busca Estocástica Baseada em Planejamento para Maximizar Metas em Jogos de RTS Busca Estocástica Baseada em Planejamento para Maximizar Metas em Jogos de RTS Autor:Thiago França Naves 1, Orientador: Carlos Roberto Lopes 1 1 Programa de Pós-Graduação em Ciência da Computação Universidade

Leia mais

Inteligência Computacional [2COP229]

Inteligência Computacional [2COP229] Inteligência Computacional [2COP229] Mestrado em Ciência da Computação Sylvio Barbon Jr barbon@uel.br (2/24) Tema Aula 1 Introdução ao Reconhecimento de Padrões 1 Introdução 2 Componentes clássicos da

Leia mais

Otimização Aplicada à Engenharia de Processos

Otimização Aplicada à Engenharia de Processos Otimização Aplicada à Engenharia de Processos Aula 1: Introdução Felipe Campelo http://www.cpdee.ufmg.br/~fcampelo Programa de Pós-Graduação em Engenharia Elétrica Belo Horizonte Março de 2013 Antes de

Leia mais

Amilcar Soares Junior Curriculum Vitae

Amilcar Soares Junior Curriculum Vitae Amilcar Soares Junior Curriculum Vitae Contact Information Name Amilcar Soares Junior Birthday 19/05/1986 - João Pessoa/PB Brazil Email amilcarsj@gmail.com Address Rua Sebastião Azevedo Bastos, nº 714,

Leia mais

de Bordas em Imagens Digitais

de Bordas em Imagens Digitais Anais do CNMAC v.2 ISSN 1984-820X Avaliação Quantitativa de um Método Automático de Extração de Bordas em Imagens Digitais Inês A. Gasparotto Boaventura Departamento de Ciências de Computação e Estatística,

Leia mais

Pós-Graduação em Engenharia Elétrica Inteligência Artificial

Pós-Graduação em Engenharia Elétrica Inteligência Artificial Pós-Graduação em Engenharia Elétrica Inteligência Artificial João Marques Salomão Rodrigo Varejão Andreão Inteligência Artificial Definição (Fonte: AAAI ): "the scientific understanding of the mechanisms

Leia mais

Classificação: Determinístico

Classificação: Determinístico Prof. Lorí Viali, Dr. viali@pucrs.br http://www.pucrs.br/famat/viali/ Da mesma forma que sistemas os modelos de simulação podem ser classificados de várias formas. O mais usual é classificar os modelos

Leia mais

PLANO DE ENSINO. ATIVIDADE SEG TER QUA QUI SEX Aulas 10-12 10-12 Atendimento 13-16 13-16 Preparação de aula 14-16 14-16

PLANO DE ENSINO. ATIVIDADE SEG TER QUA QUI SEX Aulas 10-12 10-12 Atendimento 13-16 13-16 Preparação de aula 14-16 14-16 PLANO DE ENSINO 1. IDENTIFICAÇÃO Disciplina: Introdução a Otimização Combinatória Código: ICC500 Turma: CB01 URL: http://ioc-ufam.weebly.com Nº de Créditos: 4.4.0 Ano: 2015 Semestre: 1 Carga horária: 60h

Leia mais

REDE BAYESIANA PARA ESTIMAÇÃO DE FALHAS INCIPIENTES EM TRANSFORMADORES DE POTÊNCIA UTILIZANDO DETECÇÃO DE DESCARGAS PARCIAIS POR EMISSÃO ACÚSTICA

REDE BAYESIANA PARA ESTIMAÇÃO DE FALHAS INCIPIENTES EM TRANSFORMADORES DE POTÊNCIA UTILIZANDO DETECÇÃO DE DESCARGAS PARCIAIS POR EMISSÃO ACÚSTICA REDE BAYESIANA PARA ESTIMAÇÃO DE FALHAS INCIPIENTES EM TRANSFORMADORES DE POTÊNCIA UTILIZANDO DETECÇÃO DE DESCARGAS PARCIAIS POR EMISSÃO ACÚSTICA Pedro Henrique da S. PALHARES 1, Leonardo da C. BRITO 1,

Leia mais

Ferramenta para instanciação de processos de software que permite o gerenciamento de projetos de desenvolvimento distribuído

Ferramenta para instanciação de processos de software que permite o gerenciamento de projetos de desenvolvimento distribuído Ferramenta para instanciação de processos de software que permite o gerenciamento de projetos de desenvolvimento distribuído Ana Paula Chaves 1, Jocimara Segantini Ferranti 1, Alexandre L Erário 1, Rogério

Leia mais

Palavras-chave: Sistema neuro-fuzzy, Sistemas de avaliação, Sistemas Adaptativos.

Palavras-chave: Sistema neuro-fuzzy, Sistemas de avaliação, Sistemas Adaptativos. ANÁLISE DO CURSO DE ENGENHARIA ELÉTRICA NA UERJ A PARTIR DE INDICADORES CONSTRUÍDOS BASEADOS NO EXAME NACIONAL DE CURSOS: UM SISTEMA NEBULOSO DE AVALIAÇÃO Maria Luiza F. Velloso mlfv@centroin.com.br Universidade

Leia mais

USO DOS CONCEITOS DE INTERAÇÃO HUMANO-COMPUTADOR NO DESENVOLVIMENTO WEB PARA EDUCAÇÃO A DISTÂNCIA

USO DOS CONCEITOS DE INTERAÇÃO HUMANO-COMPUTADOR NO DESENVOLVIMENTO WEB PARA EDUCAÇÃO A DISTÂNCIA Discutindo a visibilidade da EaD Pública no Brasil USO DOS CONCEITOS DE INTERAÇÃO HUMANO-COMPUTADOR NO DESENVOLVIMENTO WEB PARA EDUCAÇÃO A DISTÂNCIA Priscilla Márcia Scarpelli Bastos 1, Diogo Marcos de

Leia mais

Análise qualitativa do processo de workflow da ouvidoria do IFMG campus Bambuí: um estudo de caso

Análise qualitativa do processo de workflow da ouvidoria do IFMG campus Bambuí: um estudo de caso Análise qualitativa do processo de workflow da ouvidoria do IFMG campus Bambuí: um estudo de caso Estefânia Paula da SILVA¹; Lígia Maria SOARES PASSOS² ¹ Aluna do curso de Engenharia de Produção do IFMG

Leia mais

Campo Grande - MS. Endereço: Sala C110 Bloco C - UCDB Fone: 0xx67 312-3502 Web Sit e: www.gp ec.ucdb.b r

Campo Grande - MS. Endereço: Sala C110 Bloco C - UCDB Fone: 0xx67 312-3502 Web Sit e: www.gp ec.ucdb.b r GPEC - Grupo de Pesquisa em Engenharia e Computação Prof. Dr. Hemerson Pistori Junho/2004 Campo Grande - MS SUMÁRIO Introdução Equipe Linhas de Pesquisa Projetos Parcerias Estrutura Publicações Conclusões

Leia mais

Rubens L. Cirino Instituto Politécnico IPRJ Nova Friburgo. Diego C. Knupp Agência Nacional de Transportes Terrestres ANTT

Rubens L. Cirino Instituto Politécnico IPRJ Nova Friburgo. Diego C. Knupp Agência Nacional de Transportes Terrestres ANTT APLICAÇÃO DO ALGORITMO DOS VAGALUMES NA IDENTIFICAÇÃO SIMULTÂNEA DA ESPESSURA ÓPTICA E ALBEDO COM VARIAÇÃO ESPACIAL EM UM PROBLEMA INVERSO DE TRANSFERÊNCIA RADIATIVA Rubens L. Cirino Instituto Politécnico

Leia mais

COMISSIONAMENTO VIRTUAL

COMISSIONAMENTO VIRTUAL COMISSIONAMENTO VIRTUAL Tales Gustavo Vieira tales@ita.br Diego Vedolin diego.vedolin@siemens.com Instituto Tecnológico de Aeronáutica ITA Centro de Competência em Manufatura CCM Siemens Instituto Tecnológico

Leia mais

IN0997 - Redes Neurais

IN0997 - Redes Neurais IN0997 - Redes Neurais Aluizio Fausto Ribeiro Araújo Universidade Federal de Pernambuco Centro de Informática - CIn Departamento de Sistemas da Computação aluizioa@cin.ufpe.br Conteúdo Objetivos Ementa

Leia mais

Dimensionamento e Engenharia de Tráfego: Optimização de Redes de Telecomunicações

Dimensionamento e Engenharia de Tráfego: Optimização de Redes de Telecomunicações Dimensionamento e Engenharia de Tráfego: Optimização de Redes de Telecomunicações Prof. Amaro F. de Sousa asou@ua.pt, DETI-UA, gab.325 23 de Abril de 2008 Objectivos Desenvolvimento e implementação de

Leia mais

ESTUDO DA CONDUTIVIDADE TÉRMICA VARIÁVEL EM CILINDROS VAZADOS COM CONDIÇÕES DE CONTORNO DUPLAMENTE CONVECTIVAS

ESTUDO DA CONDUTIVIDADE TÉRMICA VARIÁVEL EM CILINDROS VAZADOS COM CONDIÇÕES DE CONTORNO DUPLAMENTE CONVECTIVAS Proceedings of the 11 th Brazilian Congress of Thermal Sciences and Engineering -- ENCIT 006 Braz. Soc. of Mechanical Sciences and Engineering -- ABCM, Curitiba, Brazil, Dec. 5-8, 006 Paper CIT06-0346

Leia mais

Computação Sensível ao Contexto

Computação Sensível ao Contexto Computação Sensível ao Contexto Percepção de Contexto em Ambientes Domiciliares Modelagem de Contexto Modelagem de Contexto + Modelagem de Usuário Fabrício J. Barth novembro de 2004 Sumário O que já foi

Leia mais

Table 1. Dados do trabalho

Table 1. Dados do trabalho Título: Desenvolvimento de geradores de aplicação configuráveis por linguagens de padrões Aluno: Edison Kicho Shimabukuro Junior Orientador: Prof. Dr. Paulo Cesar Masiero Co-Orientadora: Prof a. Dr. Rosana

Leia mais

DESENVOLVIMENTO DE SIMULADOR VIRTUAL INTEGRADO APLICADO AO TREINAMENTO OPERACIONAL DE PROCESSOS QUÍMICOS INDUSTRIAIS

DESENVOLVIMENTO DE SIMULADOR VIRTUAL INTEGRADO APLICADO AO TREINAMENTO OPERACIONAL DE PROCESSOS QUÍMICOS INDUSTRIAIS DESENVOLVIMENTO DE SIMULADOR VIRTUAL INTEGRADO APLICADO AO TREINAMENTO OPERACIONAL DE PROCESSOS QUÍMICOS INDUSTRIAIS D. Z. G. MAZZALI e F. V. DA SILVA. Faculdade de Engenharia Química, Departamento de

Leia mais

Problema de alocação de salas de aulas: uma abordagem via algoritmos genéticos

Problema de alocação de salas de aulas: uma abordagem via algoritmos genéticos III Encontro de Modelagem Computacional Problema de alocação de salas de aulas: uma abordagem via algoritmos genéticos Marco Aurélio Buono Carone- thecoreh@gmail.com Vinícius Tinti de Paula Oliveira- viniciustinti@gmail.com

Leia mais

M O D E L O E U R O P E U D E

M O D E L O E U R O P E U D E M O D E L O E U R O P E U D E C U R R I C U L U M V I T A E INFORMAÇÃO PESSOAL Nome Morada MANUEL DIAS FERREIRA LIMA, RUI 50, Rua José Maria Rodrigues, 4710-080 BRAGA, Gualtar, PORTUGAL Telefone +351 939741239

Leia mais

SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE INFORMÁTICA DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO

SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE INFORMÁTICA DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE INFORMÁTICA DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO CONCURSO PÚBLICO PARA DOCENTES DO MAGISTÉRIO SUPERIOR Edital nº 1, de 1 de março de

Leia mais

DISCIPLINA: Métodos Heurísticos

DISCIPLINA: Métodos Heurísticos DISCIPLINA: Métodos Heurísticos CURSO(S): Licenciatura em Engenharia e Gestão Industrial Licenciatura em Engenharia de Sistemas e Informática Licenciatura em Matemática Aplicada Licenciatura em Matemática

Leia mais

UNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Departamento de Economia, Gestão e Ciências Sociais

UNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Departamento de Economia, Gestão e Ciências Sociais UNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Departamento de Economia, Gestão e Ciências Sociais UNIDADE CURRICULAR Qualidade Total e Gestão das Operações MESTRADO Gestão Negócios ANO E

Leia mais

tipos de métodos, técnicas de inteligência artificial e técnicas de otimização. Por fim, concluise com as considerações finais.

tipos de métodos, técnicas de inteligência artificial e técnicas de otimização. Por fim, concluise com as considerações finais. 1. Introdução A previsão de vendas é fundamental para as organizações uma vez que permite melhorar o planejamento e a tomada de decisão sobre o futuro da empresa. Contudo toda previsão carrega consigo

Leia mais

ANÁLISE DE PRÉ-PROCESSAMENTO NO DESEMPENHO DE PREVISÃO DE SÉRIES TEMPORAIS FINANCEIRAS

ANÁLISE DE PRÉ-PROCESSAMENTO NO DESEMPENHO DE PREVISÃO DE SÉRIES TEMPORAIS FINANCEIRAS Universidade Federal de Pernambuco Centro de Informática Graduação em Ciência da Computação ANÁLISE DE PRÉ-PROCESSAMENTO NO DESEMPENHO DE PREVISÃO DE SÉRIES TEMPORAIS FINANCEIRAS PROPOSTA DE TRABALHO DE

Leia mais

8º CONGRESSO IBEROAMERICANO DE ENGENHARIA MECANICA Cusco, 23 a 25 de Outubro de 2007

8º CONGRESSO IBEROAMERICANO DE ENGENHARIA MECANICA Cusco, 23 a 25 de Outubro de 2007 8º CONGRESSO IBEROAMERICANO DE ENGENHARIA MECANICA Cusco, 23 a 25 de Outubro de 2007 RESUMO ABORDAGEM HÍBRIDA PARA MODELAGEM DE SISTEMAS DE AR CONDICIONADO USANDO REDE DE PETRI Antonio Gabriel S. Almeida*,

Leia mais

Utilizando Lógica Fuzzy para Avaliar a Qualidade de uma Compra Via Internet

Utilizando Lógica Fuzzy para Avaliar a Qualidade de uma Compra Via Internet Utilizando Lógica Fuzzy para Avaliar a Qualidade de uma Compra Via Internet Leonardo Martins Rodrigues 1 e Graçaliz Pereira Dimuro 1 1 Programa de Pós-Graduação em Modelagem Computacional Universidade

Leia mais

MODELAGEM E ANÁLISE DO SISTEMA DE ENSINO BASEADA EM REDE DE PETRI INTERPRETADA AVALIAÇÃO DO EMPENHO DE PROFESSORES

MODELAGEM E ANÁLISE DO SISTEMA DE ENSINO BASEADA EM REDE DE PETRI INTERPRETADA AVALIAÇÃO DO EMPENHO DE PROFESSORES MODELAGEM E ANÁLISE DO SISTEMA DE ENSINO BASEADA EM REDE DE PETRI INTERPRETADA AVALIAÇÃO DO EMPENHO DE PROFESSORES Francisco L. G. Dos Santos¹, Francisco J. A. de Aquino 2 ¹Departamento de Telemática,

Leia mais

Abstract. R. F. Brito 1, S. R. de Carvalho 2, S. M. M. de L. e Silva 3

Abstract. R. F. Brito 1, S. R. de Carvalho 2, S. M. M. de L. e Silva 3 Estimativa Do Fluxo De Calor Em Uma Ferramenta De Corte Durante Um Processo De Usinagem Com O Uso Do Software COMSOL Multiphysics E De Técnicas De Problemas Inversos R. F. Brito 1, S. R. de Carvalho 2,

Leia mais

UTILIZAÇÃO DO SIMULADOR EMSO NO ENSINO DE MODELAGEM E SIMULAÇÃO DE PROCESSOS

UTILIZAÇÃO DO SIMULADOR EMSO NO ENSINO DE MODELAGEM E SIMULAÇÃO DE PROCESSOS UTILIZAÇÃO DO SIMULADOR EMSO NO ENSINO DE MODELAGEM E SIMULAÇÃO DE PROCESSOS Bianca Capucho 1, Domenico Andreatta 1, Mariana Kuster Moro 1, Rayane Bimbato 1, George Simonelli 2 1. Discentes do curso de

Leia mais

MÉTODOS COMPUTACIONAIS PARA OTIMIZAÇÃO DE PROCESSOS METALÚRGICOS (1)

MÉTODOS COMPUTACIONAIS PARA OTIMIZAÇÃO DE PROCESSOS METALÚRGICOS (1) MÉTODOS COMPUTACIONAIS PARA OTIMIZAÇÃO DE PROCESSOS METALÚRGICOS (1) Carlos Eduardo Gurgel Paiola (2) Ricardo Caruso Vieira (3) Resumo: O objetivo deste trabalho é descrever e estudar uma metodologia de

Leia mais

Desenvolvimento de um Sistema Híbrido para Rastreamento

Desenvolvimento de um Sistema Híbrido para Rastreamento Desenvolvimento de um Sistema Híbrido para Rastreamento de Objetos aplicado ao Futebol de Robôs Eduardo W. Basso 1, Diego M. Pereira 2, Paulo Schreiner 2 1 Laboratório de Robótica Inteligente Instituto

Leia mais

UMA HEURÍSTICA GRASP PARA O PROBLEMA ESTENDIDO DE SEQUENCIAMENTO DE CARROS

UMA HEURÍSTICA GRASP PARA O PROBLEMA ESTENDIDO DE SEQUENCIAMENTO DE CARROS UMA HEURÍSTICA GRASP PARA O PROBLEMA ESTENDIDO DE SEQUENCIAMENTO DE CARROS Lucas Middeldorf Rizzo Universidade Federal de Minas Gerais Av. Antônio Carlos, 6627 - Pampulha - Belo Horizonte - MG CEP 31270-901

Leia mais

A experiência do TECPAR

A experiência do TECPAR Inteligência Artificial em aplicações industriais A experiência do TECPAR Dr. Eng. Milton Pires Ramos Centro de Engenharia de Sistemas Inteligentes Empresa pública vinculada à Secretaria de Estado da Ciência,

Leia mais

Projeto Pedagógico do Bacharelado em Ciência da Computação. Comissão de Curso e NDE do BCC

Projeto Pedagógico do Bacharelado em Ciência da Computação. Comissão de Curso e NDE do BCC Projeto Pedagógico do Bacharelado em Ciência da Computação Comissão de Curso e NDE do BCC Fevereiro de 2015 Situação Legal do Curso Criação: Resolução CONSU no. 43, de 04/07/2007. Autorização: Portaria

Leia mais

UFCG Universidade Federal de Campina Grande. A cooperação entre Universidades e Empresas estimulada pela Lei de Informática: Resultados

UFCG Universidade Federal de Campina Grande. A cooperação entre Universidades e Empresas estimulada pela Lei de Informática: Resultados UFCG Universidade Federal de Campina Grande A cooperação entre Universidades e Empresas estimulada pela Lei de Informática: Resultados Brasília, 03 de dezembro de 2003 Sumário Apresentação Estrutura Parceiros

Leia mais

SISTEMA DE MONTAGEM E DESMONTAGEM BASEADO EM PNRD GUILHERME P. SILVA, JOSÉ J. P. Z. S. TAVARES

SISTEMA DE MONTAGEM E DESMONTAGEM BASEADO EM PNRD GUILHERME P. SILVA, JOSÉ J. P. Z. S. TAVARES Anais do XIX Congresso Brasileiro de Automática, CBA 2012. SISTEMA DE MONTAGEM E DESMONTAGEM BASEADO EM PNRD GUILHERME P. SILVA, JOSÉ J. P. Z. S. TAVARES MAPL,Universidade Federal de Uberlândia Av. João

Leia mais

16 Congresso de Iniciação Científica DESENVOLVIMENTO DO SISTEMA PARA MONITORAMENTO DE DADOS EM HSM (HIGH SPEED MACHINING)

16 Congresso de Iniciação Científica DESENVOLVIMENTO DO SISTEMA PARA MONITORAMENTO DE DADOS EM HSM (HIGH SPEED MACHINING) 16 Congresso de Iniciação Científica DESENVOLVIMENTO DO SISTEMA PARA MONITORAMENTO DE DADOS EM HSM (HIGH SPEED MACHINING) Autor(es) OLIVEIRO LEUTWILER NETO Orientador(es) KLAUS SCHüTZER Apoio Financeiro

Leia mais

Descoberta de Domínio Conceitual de Páginas Web

Descoberta de Domínio Conceitual de Páginas Web paper:25 Descoberta de Domínio Conceitual de Páginas Web Aluno: Gleidson Antônio Cardoso da Silva gleidson.silva@posgrad.ufsc.br Orientadora: Carina Friedrich Dorneles dorneles@inf.ufsc.br Nível: Mestrado

Leia mais

Engenharia de Software no Curso de Ciência da Computação

Engenharia de Software no Curso de Ciência da Computação Engenharia de Software no Curso de Ciência da Vera Maria B. Werneck; Rosa Maria E. M. da Costa; Maria Clicia Stelling de Castro; Alexandre Sztajnberg; Paulo Eustáquio D. Pinto; Roseli S.Wedemann Departamento

Leia mais

Engenharia de Controle e Automação Mecânica. Doutorado em Engenharia Mecânica

Engenharia de Controle e Automação Mecânica. Doutorado em Engenharia Mecânica Resumo 1 - IDENTIFICAÇÃO Projeto de Pesquisa: Sigla: Grande área de concentração: Nome do Coordenador do Projeto: Modelagem do Controle Sistema Produtivo para evitar Deadlock utilizando Maquina Ferramenta

Leia mais

SIMULAÇÃO APLICADA EM PROJETOS DE LINHAS DE MONTAGEM COM PALLETS RETORNÁVEIS 1

SIMULAÇÃO APLICADA EM PROJETOS DE LINHAS DE MONTAGEM COM PALLETS RETORNÁVEIS 1 SIMULAÇÃO APLICADA EM PROJETOS DE LINHAS DE MONTAGEM COM PALLETS RETORNÁVEIS 1 Leonardo Chwif Sinopse Simulate Tecnologia de Simulação Ltda Travessa R, n o 400, sala 19, Prédio Cietec 05508-900, São Paulo,

Leia mais

Modelagem Gr áfica e Visualiza ção na Forma ção do Engenheiro Naval e OffShore

Modelagem Gr áfica e Visualiza ção na Forma ção do Engenheiro Naval e OffShore Modelagem Gr áfica e Visualiza ção na Forma ção do Engenheiro Naval e OffShore Carl H. Albrecht, Prof. Assistente, DEG/EE/UFRJ e-mail: carl@deg.ee.ufrj.br Rosane M. Alves, Prof. Adjunto, DEG/EE/UFRJ e-mail:

Leia mais

INTEGRAÇÃO DE PLANEJAMENTO AUTOMÁTICO E SISTEMAS REAIS BASEADOS EM CLP

INTEGRAÇÃO DE PLANEJAMENTO AUTOMÁTICO E SISTEMAS REAIS BASEADOS EM CLP INTEGRAÇÃO DE PLANEJAMENTO AUTOMÁTICO E SISTEMAS REAIS BASEADOS EM CLP JOSÉ J. P. Z. S. TAVARES 1, JOÃO P. S. FONSECA 1, TIAGO S. VAQUERO 2, JOSÉ R. SILVA 2. 1. Mechatronics Automated Planning Lab, Faculdade

Leia mais

SIMULAÇÃO DISCRETA E REDES DE PETRI PARA ANÁLISE DE SISTEMAS DE SAÚDE

SIMULAÇÃO DISCRETA E REDES DE PETRI PARA ANÁLISE DE SISTEMAS DE SAÚDE SIMULAÇÃO DISCRETA E REDES DE PETRI PARA ANÁLISE DE SISTEMAS DE SAÚDE Marisa M. Miyagi* *Faculdade de Saúde Pública da USP, São Paulo, SP E-mail: mmmiyagi@usp.br Paulo E. Miyagi** **Escola Politécnica

Leia mais

Representando Características Autonômicas nos Processos de Negócio

Representando Características Autonômicas nos Processos de Negócio Representando Características Autonômicas nos Processos de Negócio Karolyne Oliveira, Tarcísio Pereira, Emanuel Santos, Jaelson Castro Universidade Federal de Pernambuco UFPE, Recife, PE 50 740-560, Brazil

Leia mais

Uma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações

Uma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações Adolfo Guilherme Silva Correia Uma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações Dissertação de Mestrado Dissertação apresentada

Leia mais

UNIVERSIDADE FEDERAL DE PERNAMBUCO - PRÓ-REITORIA PARA ASSUNTOS ACADÊMICOS CURRÍCULO DO CURSO DE GRADUAÇÃO EM ENGENHARIA DA COMPUTAÇÃO PERFIL

UNIVERSIDADE FEDERAL DE PERNAMBUCO - PRÓ-REITORIA PARA ASSUNTOS ACADÊMICOS CURRÍCULO DO CURSO DE GRADUAÇÃO EM ENGENHARIA DA COMPUTAÇÃO PERFIL PERFIL 3001 - Válido para os alunos ingressos a partir de 2002.1 Disciplinas Obrigatórias Ciclo Geral Prát IF668 Introdução à Computação 1 2 2 45 MA530 Cálculo para Computação 5 0 5 75 MA531 Álgebra Vetorial

Leia mais

MODELOS COMPORTAMENTAIS NA COMPREENSÃO DA PROBLEMÁTICA DO SISTEMA DE TRANSPORTE INTERURBANO DE PASSAGEIROS DO CEARÁ

MODELOS COMPORTAMENTAIS NA COMPREENSÃO DA PROBLEMÁTICA DO SISTEMA DE TRANSPORTE INTERURBANO DE PASSAGEIROS DO CEARÁ MODELOS COMPORTAMENTAIS NA COMPREENSÃO DA PROBLEMÁTICA DO SISTEMA DE TRANSPORTE INTERURBANO DE PASSAGEIROS DO CEARÁ Hélio Henrique Holanda de Souza Carlos Felipe Grangeiro Loureiro MODELOS COMPORTAMENTAIS

Leia mais

45 mm MECATRÔNICA UMA ABORDAGEM VOLTADA À AUTOMAÇÃO INDUSTRIAL

45 mm MECATRÔNICA UMA ABORDAGEM VOLTADA À AUTOMAÇÃO INDUSTRIAL 45 mm MECATRÔNICA UMA ABORDAGEM VOLTADA À AUTOMAÇÃO INDUSTRIAL Julio Cezar Adamowski jcadamow@usp.br Universidade de São Paulo, Escola Politécnica, Departamento de Engenharia Mecatrônica e de Sistemas

Leia mais

Os manipuladores robotizados

Os manipuladores robotizados 1 Design de robôs Design de robôs A prototipagem e o comissionamento virtual estão a provocar o desenvolvimento dos manipuladores robotizados e dos sistemas de automação O produto industrial e o design

Leia mais

Sumário. TI Industrial Mercado Empresas Perfil do profissional Disciplinas Conclusão

Sumário. TI Industrial Mercado Empresas Perfil do profissional Disciplinas Conclusão Prof. Ricardo Lüders (DAINF/CPGEI) Prof. Flávio Neves Jr (DAELN/CPGEI) Sumário TI Industrial Mercado Empresas Perfil do profissional Disciplinas Conclusão Vídeo: STUXNET http://www.youtube.com/watch?feature=player_detailpage&v=dbmlkomu3au

Leia mais

Desenvolvimento de uma Plataforma Gráfica para a Descrição de Modelos de Sistemas Ambientais

Desenvolvimento de uma Plataforma Gráfica para a Descrição de Modelos de Sistemas Ambientais Desenvolvimento de uma Plataforma Gráfica para a Descrição de Modelos de Sistemas Ambientais Tiago F. M. Lima 1,2, Tiago G. S. Carneiro 2, Sérgio D. Faria 3 1 Programa de Pós-Graduação em Análise e Modelagem

Leia mais

EXTRACÇÃO DE SOMBRA A PARTIR DE IMAGENS DE SATÉLITE DE ALTA RESOLUÇÃO

EXTRACÇÃO DE SOMBRA A PARTIR DE IMAGENS DE SATÉLITE DE ALTA RESOLUÇÃO EXTRACÇÃO DE SOMBRA A PARTIR DE IMAGENS DE SATÉLITE DE ALTA RESOLUÇÃO Classificação Não Supervisionada, Reclassificação de Imagem e Classificação Orientada a Segmento Morna Nandaia Ricardo Silva SUMÁRIO

Leia mais

10 th International Conference on Network and Service Management

10 th International Conference on Network and Service Management 1. Descrição do Evento A International Conference on (CNSM) é um evento internacional anual, sem fins lucrativos, organizado pela IFIP, IEEE Communications Society, IEEE Computer Society e ACM SIGCOMM

Leia mais

Europass Curriculum Vitae

Europass Curriculum Vitae Europass Curriculum Vitae Personal information Surname(s) / First name(s) Address(es) Custódio, Jorge Filipe Telephone(s) +351 919687707 Email(s) Personal website(s) Nationality(-ies) Rua Francisco Pereira

Leia mais

Um modelo de TRI para dados do vestibular 2011.2 da Universidade Federal de Uberlândia

Um modelo de TRI para dados do vestibular 2011.2 da Universidade Federal de Uberlândia Um modelo de TRI para dados do vestibular 20.2 da Universidade Federal de Uberlândia Luana Amâncio Terra 2 José Waldemar da Silva 2 Lúcio Borges de Araújo 2 Maria Imaculada de Sousa Silva 2 Introdução

Leia mais

UNIVERSIDADE F EDERAL DE P ERNAMBUCO ANÁLISE DE UM MÉTODO PARA DETECÇÃO DE PEDESTRES EM IMAGENS PROPOSTA DE TRABALHO DE GRADUAÇÃO

UNIVERSIDADE F EDERAL DE P ERNAMBUCO ANÁLISE DE UM MÉTODO PARA DETECÇÃO DE PEDESTRES EM IMAGENS PROPOSTA DE TRABALHO DE GRADUAÇÃO UNIVERSIDADE F EDERAL DE P ERNAMBUCO GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA 2010.2 ANÁLISE DE UM MÉTODO PARA DETECÇÃO DE PEDESTRES EM IMAGENS PROPOSTA DE TRABALHO DE GRADUAÇÃO Aluno!

Leia mais

COMPUTADOR DE BORDO PARA AGRICULTURA DE PRECISÃO

COMPUTADOR DE BORDO PARA AGRICULTURA DE PRECISÃO COMPUTADOR DE BORDO PARA AGRICULTURA DE PRECISÃO FELIPE AUGUSTO DA SILVA 1 PAULO RICARDO CECHELERO VILLA 2 VALTER TOFFOLO 3 FLÁVIO STEFFENS DE CASTRO 4 EDUARDO AUGUSTO BEZERRA 5 RESUMO: Este artigo descreve

Leia mais

Integração de Sistemas Industriais com a Suíte GE Proficy

Integração de Sistemas Industriais com a Suíte GE Proficy Integração de Sistemas Industriais com a Suíte GE Proficy Ricardo Caruso Vieira Aquarius Software Revista Cadware Ed.22 versão online 1. Introdução Há mais de duas décadas, a indústria investe intensamente

Leia mais

Universidade Federal do Ma Pós-Graduação em Eng. Elétrica

Universidade Federal do Ma Pós-Graduação em Eng. Elétrica Universidade Federal do Ma Pós-Graduação em Eng. Elétrica Computação Gráfica II Sistemas de Informação Geográfica Prof. Anselmo C. de Paiva Depto de Informática Introdução aos Sistemas de Informação Geografica

Leia mais

Exploração de Ambientes Não- Estruturados com Terreno Acidentado por Robôs Móveis

Exploração de Ambientes Não- Estruturados com Terreno Acidentado por Robôs Móveis Exploração de Ambientes Não- Estruturados com Terreno Acidentado por Robôs Móveis Pedro Eduardo Gonzales Panta PUC-Rio pedro.gonzales@gmail.com Resumo: A exploração de ambientes não estruturados, como

Leia mais

Geração automática de suíte de teste para GUI a partir de Rede de Petri

Geração automática de suíte de teste para GUI a partir de Rede de Petri Raquel Jauffret Guilhon Geração automática de suíte de teste para GUI a partir de Rede de Petri Dissertação de Mestrado Dissertação apresentada como requisito parcial para obtenção do grau de Mestre pelo

Leia mais

MODELAGEM DE REDES DE CONTROLE LONWORKS EM EDIFICIOS INTELIGENTES

MODELAGEM DE REDES DE CONTROLE LONWORKS EM EDIFICIOS INTELIGENTES MODELAGEM DE REDES DE CONTROLE LONWORKS EM EDIFICIOS INTELIGENTES Igei P.J., Garcia J.I., Miyagi P.E., Cugnasca C.E. Escola Politécnica da Universidade de São Paulo CEP 05508-030 São Paulo SP Brasil E-mails:

Leia mais

INTELIGÊNCIA COMPUTACIONAL

INTELIGÊNCIA COMPUTACIONAL INTELIGÊNCIA COMPUTACIONAL Engenharia de Computação Professor: Rosalvo Ferreira de Oliveira Neto Dados pessoais Rosalvo Ferreira de Oliveira Neto MSc. em ciência da computação (UFPE) rosalvo.oliveira@univasf.edu.br

Leia mais

Projeto: Estudo da arquitetura de navegação autônoma para robôs móveis SFX. Orientando: Julian Alberto Piovesan Ruiz Diaz Orientador: Adriana Postal

Projeto: Estudo da arquitetura de navegação autônoma para robôs móveis SFX. Orientando: Julian Alberto Piovesan Ruiz Diaz Orientador: Adriana Postal Projeto: Estudo da arquitetura de navegação autônoma para robôs móveis SFX. Orientando: Julian Alberto Piovesan Ruiz Diaz Orientador: Adriana Postal RELATO SOBRE O PROJETO: Este projeto tem como objetivo

Leia mais

ELABORAÇÃO DE UM PROGRAMA DE AUTO-ESTUDO PARA O SOFTWARE CATIA. Jeferson Cadete Dias 1 IC Luís Gonzaga Trabasso 2 PQ

ELABORAÇÃO DE UM PROGRAMA DE AUTO-ESTUDO PARA O SOFTWARE CATIA. Jeferson Cadete Dias 1 IC Luís Gonzaga Trabasso 2 PQ ELABORAÇÃO DE UM PROGRAMA DE AUTO-ESTUDO PARA O SOFTWARE CATIA Jeferson Cadete Dias 1 IC Luís Gonzaga Trabasso 2 PQ 1 3º ano de Engenharia Mecânica-Aeronáutica, Instituto Tecnológico de Aeronáutica, CTA

Leia mais

Integração de Sistemas Industriais com a Suíte GE Proficy

Integração de Sistemas Industriais com a Suíte GE Proficy Integração de Sistemas Industriais com a Suíte GE Proficy Ricardo Caruso Vieira Aquarius Software 1. Introdução Há mais de duas décadas, a indústria investe intensamente em sistemas ERP (Enterprise Resource

Leia mais

Um modelo para construção de materiais didáticos para o ensino de Matemática baseado em Tecnologias de Informação

Um modelo para construção de materiais didáticos para o ensino de Matemática baseado em Tecnologias de Informação Um modelo para construção de materiais didáticos para o ensino de Matemática baseado em Ednilson Luiz Silva Vaz Universidade Estadual Paulista Julio de Mesquita Filho, UNESP Brasil ednilson_vaz@hotmail.com

Leia mais

INTRODUÇÃO À ROBÓTICA MÓVEL

INTRODUÇÃO À ROBÓTICA MÓVEL INTRODUÇÃO À ROBÓTICA MÓVEL Aula 15 Edson Prestes Departamento de Informática Teórica http://www.inf.ufrgs.br/~prestes prestes@inf.ufrgs.br REPRESENTAÇÃO DO AMBIENTE Decomposição Aproximada - Occupancy

Leia mais

19 Congresso de Iniciação Científica CAPACITAÇÃO EM SISTEMA CAD DE GRANDE PORTE E EM SISTEMA PDM

19 Congresso de Iniciação Científica CAPACITAÇÃO EM SISTEMA CAD DE GRANDE PORTE E EM SISTEMA PDM 19 Congresso de Iniciação Científica CAPACITAÇÃO EM SISTEMA CAD DE GRANDE PORTE E EM SISTEMA PDM Autor(es) ANDRE BERTIE PIVETTA Orientador(es) KLAUS SCHÜTZER Apoio Financeiro PIBITI/CNPQ 1. Introdução

Leia mais

Uma Ferramenta para Recuperação de Modelos de Processo de Software Reutilizáveis

Uma Ferramenta para Recuperação de Modelos de Processo de Software Reutilizáveis Uma Ferramenta para Recuperação de Modelos de Processo de Software Reutilizáveis Ernani de O. Sales #, Salomão F. de Freitas #, *, Rodrigo Quites Reis #, * # Laboratório de Engenharia de Software *Programa

Leia mais

Musert: Um Museu Virtual em 3D com Recomendação Personalizada de Conteúdo

Musert: Um Museu Virtual em 3D com Recomendação Personalizada de Conteúdo Musert: Um Museu Virtual em 3D com Recomendação Personalizada de Conteúdo Íthalo Bruno Grigório de Moura 1,2, João de Deus Lima 1, Francisco Milton Mendes Neto 1,2, Paulo Sérgio Sousa Maia 2 1 Programa

Leia mais

Projeto de Pesquisa. Uma Agenda de Pesquisa para a Engenharia de Software Baseada em Buscas Heurísticas

Projeto de Pesquisa. Uma Agenda de Pesquisa para a Engenharia de Software Baseada em Buscas Heurísticas Projeto de Pesquisa Área de Conhecimento: Ciências Exatas e da Terra Sub-área de Conhecimento: Ciência da Computação Especialidade: Metodologia e Técnicas da Computação Engenharia de Software Uma Agenda

Leia mais

Programa de Pós-Graduação em Engenharia de Sistemas e Automação Departamento de Engenharia - Universidade Federal de Lavras

Programa de Pós-Graduação em Engenharia de Sistemas e Automação Departamento de Engenharia - Universidade Federal de Lavras Programa de Pós-Graduação em Engenharia de Sistemas e Automação Histórico Início 2007 com foco em modelagem biológica (Engenharias IV Capes) e característica multidisciplinar com professores da área de

Leia mais

ESPECIFICAÇÃO DO AMBIENTE EXPSEE SEGUNDO O MÉTODO CATALYSIS

ESPECIFICAÇÃO DO AMBIENTE EXPSEE SEGUNDO O MÉTODO CATALYSIS ESPECIFICAÇÃO DO AMBIENTE EXPSEE SEGUNDO O MÉTODO CATALYSIS RESUMO Este artigo apresenta a especificação de um sistema gerenciador de workflow, o ExPSEE, de acordo com a abordagem de desenvolvimento baseado

Leia mais

Visão computacional no reconhecimento de formas e objetos

Visão computacional no reconhecimento de formas e objetos Visão computacional no reconhecimento de formas e objetos Paula Rayane Mota Costa Pereira*, Josemar Rodrigues de Souza**, Resumo * Bolsista de Iniciação Científica da Faculdade de Tecnologia SENAI CIMATEC,

Leia mais

CURRICULUM - VITAE FERNANDO WAGNER SERPA VIEIRA DA SILVA

CURRICULUM - VITAE FERNANDO WAGNER SERPA VIEIRA DA SILVA CURRICULUM - VITAE FERNANDO WAGNER SERPA VIEIRA DA SILVA DADOS PESSOAIS Fernando Wagner Serpa Vieira da Silva Nascimento: 1 de novembro de 1972 Filiação: Luiz Fernando Coda Vieira da Silva e Leila Maria

Leia mais

OInstituto de Ciências Matemáticas de São Carlos (ICMSC), da

OInstituto de Ciências Matemáticas de São Carlos (ICMSC), da Instituto de Ciências Matemáticas de São Carlos HILDELBRANDO MUNHOZ OInstituto de Ciências Matemáticas de São Carlos (ICMSC), da Universidade de São Paulo, teve sua origem como Departamento de Matemática

Leia mais

Integração entre SIG e Modelos Inferenciais Bayesianos

Integração entre SIG e Modelos Inferenciais Bayesianos Integração entre SIG e Modelos Inferenciais Bayesianos Ilka Afonso Reis 1,2 1 Programa de Pós-graduação - Instituto Nacional de Pesquisas Espaciais (INPE) Av. dos Astronautas,1.758 - CEP 12227-010 São

Leia mais

APLICAÇÃO DE TÉCNICAS DE SIMULAÇÃO E OTIMIZAÇÃO A SISTEMAS MULTICORPOS REPRESENTANDO O COMPORTAMENTO DINÂMICO DE VEÍCULOS COM ESTUDO DE CASO

APLICAÇÃO DE TÉCNICAS DE SIMULAÇÃO E OTIMIZAÇÃO A SISTEMAS MULTICORPOS REPRESENTANDO O COMPORTAMENTO DINÂMICO DE VEÍCULOS COM ESTUDO DE CASO 15º POSMEC - Simpósio do Programa de Pós-Graduação em Engenharia Mecânica Universidade Federal de Uberlândia Faculdade de Engenharia Mecânica APLICAÇÃO DE TÉCNICAS DE SIMULAÇÃO E OTIMIZAÇÃO A SISTEMAS

Leia mais

Uma Arquitetura de Controle Distribuída para um Sistema de Visão Computacional Propositada.

Uma Arquitetura de Controle Distribuída para um Sistema de Visão Computacional Propositada. Uma Arquitetura de Controle Distribuída para um Sistema de Visão Computacional Propositada. Reinaldo A. C. Bianchi 1 Anna H. R. C. Rillo 2 1 Divisão de Automação e Inteligência Artificial - Laboratório

Leia mais

Uma Arquitetura de Linha de Produto Baseada em Componentes para Sistemas de Gerenciamento de Workflow

Uma Arquitetura de Linha de Produto Baseada em Componentes para Sistemas de Gerenciamento de Workflow Uma Arquitetura de Linha de Produto Baseada em Componentes para Sistemas de Gerenciamento de Workflow Itana M. S. Gimenes 1 itana@din.uem.br Fabrício R. Lazilha 2 fabricio@cesumar.br Edson A. O. Junior

Leia mais

LINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS

LINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS LINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS Fabiana Fraga Ferreira Bacharelanda em Sistemas de Informação Bolsista de Iniciação Científica

Leia mais

METODOLOGIA PARA PROJETO DE INTERFACES E EQUIPAMENTOS NUCLEARES COM ABORDAGEM CENTRADA NOS USUÁRIOS E NA SUA ATIVIDADE

METODOLOGIA PARA PROJETO DE INTERFACES E EQUIPAMENTOS NUCLEARES COM ABORDAGEM CENTRADA NOS USUÁRIOS E NA SUA ATIVIDADE 6 Disponibilizado no endereço http://www.acaoergonomica.ergonomia.ufrj.br Ação Ergonômica vol 3 nº. 1 (2007) pp. 01-06 METODOLOGIA PARA PROJETO DE INTERFACES E EQUIPAMENTOS NUCLEARES COM ABORDAGEM CENTRADA

Leia mais

ANÁLISE TRIDIMENSIONAL DA VELOCIDADE E PRESSÃO ESTATÍSCA DO AR EM SILO DE AERAÇÃO USANDO ELEMENTOS FINITOS RESUMO ABSTRACT 1.

ANÁLISE TRIDIMENSIONAL DA VELOCIDADE E PRESSÃO ESTATÍSCA DO AR EM SILO DE AERAÇÃO USANDO ELEMENTOS FINITOS RESUMO ABSTRACT 1. ANÁLISE TRIDIMENSIONAL DA VELOCIDADE E PRESSÃO ESTATÍSCA DO AR EM SILO DE AERAÇÃO USANDO ELEMENTOS FINITOS RESUMO EDUARDO VICENTE DO PRADO 1 DANIEL MARÇAL DE QUEIROZ O método de análise por elementos finitos

Leia mais

SIMULAÇÃO NO PROCESSO DE ENSINO E APRENDIZAGEM UTILIZANDO TÉCNICAS DE CAMINHO CRÍTICO (REDES P.E.R.T.) E O SOFTWARE MS-PROJECT EM ENGENHARIA

SIMULAÇÃO NO PROCESSO DE ENSINO E APRENDIZAGEM UTILIZANDO TÉCNICAS DE CAMINHO CRÍTICO (REDES P.E.R.T.) E O SOFTWARE MS-PROJECT EM ENGENHARIA SIMULAÇÃO NO PROCESSO DE ENSINO E APRENDIZAGEM UTILIZANDO TÉCNICAS DE CAMINHO CRÍTICO (REDES P.E.R.T.) E O SOFTWARE MS-PROJECT EM ENGENHARIA Giancarlo de França Aguiar giancarl@unicenp.edu.br Centro Universitário

Leia mais

Aspectos semânticos em um sistema de integração de informações na Web 1 1 Centro de Informática Universidade Federal de Pernambuco (UFPE)

Aspectos semânticos em um sistema de integração de informações na Web 1 1 Centro de Informática Universidade Federal de Pernambuco (UFPE) Aspectos semânticos em um sistema de integração de informações na Web 1 Rosalie Barreto Belian, Ana Carolina Salgado 1 Centro de Informática Universidade Federal de Pernambuco (UFPE) e-mail: {rbb, acs}@cin.ufpe.br

Leia mais

Aplicação de um Metamodelo de Contexto a uma Tarefa de Investigação Policial

Aplicação de um Metamodelo de Contexto a uma Tarefa de Investigação Policial Aplicação de um Metamodelo de Contexto a uma Tarefa de Investigação Policial Lucas A. de Oliveira, Rui A. R. B. Figueira, Expedito C. Lopes Mestrado em Sistemas e Computação Universidade de Salvador (UNIFACS)

Leia mais