Algebraic Complexity
Mostrando 1-12 de 15 artigos, teses e dissertações.
-
1. A METHODOLOGY TO OBTAIN ANALYTICAL MODELS THAT REDUCE THE COMPUTATIONAL COMPLEXITY FACED IN REAL TIME IMPLEMENTATION OF NMPC CONTROLLERS
Abstract Model Predictive Control, MPC and NMPC, and real-time optimization, RTO and D-RTO, are known to help plant operability through the mitigation of impacts caused by external disturbances. However, the usage of these tools in industry requires overcoming some challenges, for instance: accurate models of the process, particularly in regard to nonlineari
Braz. J. Chem. Eng.. Publicado em: 09/12/2019
-
2. Desarrollo del Razonamiento Algebraico Elemental mediante Tareas de Recuento con Patrones
Abstract The counting tasks with patterns are a privileged context for the development of algebraic reasoning. The onto-semiotic complexity of tasks allows the identification of study processes to improve performance in successive algebrization levels, from purely arithmetic manipulation to a practice with a consolidated algebraic level. The objective is two
Bolema. Publicado em: 2019-04
-
3. Optimizing similarity queries in metric spaces meeting user\ s expectation / Otimização de operações de busca por similaridade em espaços métricos
The complexity of data stored in large databases has increased at very fast paces. Hence, operations more elaborated than traditional queries are essential in order to extract all required information from the database. Therefore, the interest of the database community in similarity search has increased significantly. Two of the well-known types of similarit
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/10/2012
-
4. Diferenciação automática de matrizes Hessianas / Automatic differentiation of hessian matrices
In the context of nonlinear programming, many algorithms boil down to the application of Newton s method to the system constituted by the first order Lagrangian conditions. The calculation of Hessian matrices is necessary in this class of solvers. Our focus is on the exact calculation, within machine precision, of Hessian matrices through automatic different
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/04/2011
-
5. Automated formal specification generation and refinement from requirement documents
The automatic generation of formal specifications from requirements suppresses the complexity of formal models manual creation and reveals the immediate benefits of its usage, such as the possibility to carry out refinements, and property verification, which contributes to project cost reduction and quality improvement. This paper proposes a Controlled Natur
Journal of the Brazilian Computer Society. Publicado em: 2008-03
-
6. Comparação algebrica de genomas : o caso da distancia de reversão / Algebraic genome comparison : the case of reversal distance
In the last decades we have seen a great progress in molecular biology. That lead to a large volume of data on molecules, DNA and proteins, essential for life.The current stage of research lies in the pursuit of tools to extract information with biological relevance from this data. In this context, comparison of genomes is an important tool and genome rearra
Publicado em: 2007
-
7. Algebraic analysis of genome rearrangement problems : algorithms and complexity / Analise algebrica de problemas de rearranjo em genomas : algoritmos e complexidade
O sucesso na obtenção de cadeias completas de DNA de alguns organismos tem incentivado a busca de novas técnicas computacionais capazes de analisar esse montante de informação para aplicá-lo na descoberta de novos remédios, aumento da produção de alimentos e investigação do processo de evolução dos seres vivos, entre outras aplicações. A compa
Publicado em: 2007
-
8. Uma contribuiÃÃo ao estudo da sedimentaÃÃo gravitacional em batelada
Thickeners are equipments that uses the gravitational force as separating agent of suspended solid particle in liquid chains of industrial processes. The frequent use of the settlers in chemical industries is the reason of the interest on the development of studies on the subject. The batch sedimentation is the starting point for the project of continuous in
Publicado em: 2007
-
9. Otimização para o posicionamento dos equipamentos do circuito de massa na fabricação de papel Tissue
The main area of an industrial layout is without no doubt the company, defining and integrating the productive elements. The main question is related to the right the place and arrangement of departments, cells or machines in a plant or clerical soil. Because of the geometrical and combinatorid aspects of the problem, it is a kind of question that solution c
Publicado em: 2004
-
10. COMPLEXIDADE EM GEOMETRIA EUCLIDIANA PLANA / COMPLEXITY IN EUCLIDEAN PLANE GEOMETRY
Consideramos duas formas de complexidade em geometria euclidiana plana.Na primeira, problemas são descritos algebricamente, e a complexidade é cotada essencialmente pelo grau de um polinômio. Como consequência, mostramos que vários resultados gerais e familiares em geometria podem ser demonstrados a partir da simples verificação de dois ou três casos
Publicado em: 2002
-
11. Algoritmos de busca em codificadores ACELP
This work presents a review of the code-excited linear predictive (CELP) voice coding scheme, and a detailed and structured study of the search algorithms for algebraic multipulse codebooks (ACELP). In addition to the study of the current algorithms, this work also proposes a new search method, named as position-sequential search. Throughout this work the se
Publicado em: 2002
-
12. Um sistema FH-CDMA com cancelamento de interferencia e codigos corretores de erro
This work presents a study of interference cancellation for a FH-CDMA system. At first, the performances of two interference cancellation algorithms proposed by Timor and Fiebig are compared for a channel with noise and frequency selective fading. Timor s algorithm, which makes use of the algebraic structure of the users addresses, showed a better tradeoff b
Publicado em: 1999