Graph Transformation
Mostrando 1-12 de 12 artigos, teses e dissertações.
-
1. Higher-order graph rewriting systems / Sistemas de reescrita de grafos de alta ordem
Programas sofrem diversas modificações ao longo das etapas de desenvolvimento, implantação e manutenção. A evolução de um software pode ter várias causas: correção de erros, inclusão de novas funcionalidades ou até mesmo, como é o caso de programas orientados a aspecto, transformações estruturais podem fazer parte da semântica do sistema. Ap
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012
-
2. Transactional graph transformation systems / Sistemas de transformação de grafos transacionais
Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos de especificação que possibilitam descrever a distribuição espacial dos estados, sistemas de transformação de grafos parecem
Publicado em: 2009
-
3. Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa
This 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
Publicado em: 2009
-
4. Combined application of continuous wavelet transform-zero crossing technique in the simultaneous spectrophotometric determination of perindopril and indapamid in tablets
Signal processing methods based on the combined use of the continuous wavelet transform (CWT) and zero-crossing technique were applied to the simultaneous spectrophotometric determination of perindopril (PER) and indapamide (IND) in tablets. These signal processing methods do not require any priory separation step. Initially, various wavelet families were te
Química Nova. Publicado em: 2009
-
5. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo / Generation of algebraic expressions for business processes using reductions on series-parallel digraphs
Modeling and execution control are complementary approaches of business process management that have been developed independently. On one hand, modeling is usually performed by business specialists and explores semantical aspects of the business process. On other hand, execution control studies consistent and efficient mechanisms for implementation. This wor
Publicado em: 2008
-
6. O PROCESSO ENSINO-APRENDIZAGEM DE CIÊNCIAS: DESAFIOS DOCENTES PARA A PRÁTICA PEDAGÓGICA
The present piece of research is an attempt to reflect on the challenges and perspectives found in the pedagogical practice of the teaching / learning science process, in a sense that it links theory and practice in dialogue with the knowledge that is historically produced and systematized on the school circuit. Twenty-three teachers of Science who work in s
Publicado em: 2007
-
7. Um Framework para Análise Seqüencial e em Paralelo de Sólidos Elásticos pelo Método dos Elementos Finitos
The objective of this work is the development of a C++ framework for finite element method (FEM) that provides sequential and parallel analysis of elastic solids. FEM is based on the discretization of the domain analyzed into a mesh, resulting on the transformation of the diferential equations that define elasticity into a linear equations system which for t
Publicado em: 2006
-
8. REFINERY SCHEDULING OPTIMIZATION USING GENETIC ALGORITHMS AND COOPERATIVE COEVOLUTION / OTIMIZAÇÃO DA PROGRAMAÇÃO DA PRODUÇÃO EM REFINARIAS DE PETRÓLEO UTILIZANDO ALGORITMOS GENÉTICOS E CO-EVOLUÇÃO COOPERATIVA
This work investigates the use of Genetic Algorithms and Cooperative Coevolution in refinery scheduling optimization. Oil refineries are one of the most important examples of multiproduct continuous plants, that is, a continuous processing system that generates a number of products simultaneously. A refinery processes various crude oil types and produces a w
Publicado em: 2004
-
9. Navegação e controle de robôs móveis cooperativos: uma abordagem baseada em conectividade de grafos
This thesis addresses the problem of motion planning and control of groups of autonomous mobile robots during cooperative tasks execution. A general framework that transforms several cooperative tasks into the same basic problem is developed thus providing a feasible solution for all of them. The approach enables using a single team of robots to perform nume
Publicado em: 2003
-
10. Determinação automatica de trajetorias otimas para um manipulador na presença deobstaculos
A method for automatically planning a path for a two link manipulator in the presence of fixed and known obstacles is presented. The transformation of the Cartesian workspace into the manipulator joint coordinates (configuration maps) simplify the colision detection. 80 the find-path problem is solved finding the shortest line which connects starting and fin
Publicado em: 1990
-
11. Clustering under the line graph transformation: application to reaction network
BioMed Central.
-
12. Systematic derivation of partition functions for ligand binding to two-dimensional lattices
The Ising problem consists in finding the analytical solution of the partition function of a lattice once the interaction geometry among its elements is specified. No general analytical solution is available for this problem, except for the one-dimensional case. Using site-specific thermodynamics, it is shown that the partition function for ligand bindi
The National Academy of Sciences of the USA.