Programming Mathematics
Mostrando 13-24 de 42 artigos, teses e dissertações.
-
13. Analysis of feasibility to use cabotage for transporting new cars in Brazil: a case study / Análise da viabilidade da utilização do transporte por cabotagem para a movimentação de automóveis novos no Brasil: um estudo de caso
This study aims to examine the feasibility of costal shipping of new cars by cabotage in Brazil, searching for an alternative system, since, currently, this transport is performed solely by road transportation. The use of cabotage as cargo transportation has increased since the enactment of the Modernization of Ports Law (Act 8630) in 1993. Since then, autom
Publicado em: 2010
-
14. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
15. Linguagens de domínio específico e sensores baseados em modelos biológicos de computação
A Domain Specific Language is a specification language dedicated to a particular domain, representation technique, or solution searching method. On the other hand, a general-purpose programming language is a language designed with the goal of emulating Lambda Calculus or Turing Machine. Since general-purpose languages must accept any algorithm that can be ex
Publicado em: 2010
-
16. Um metodo do tipo lagrangiano aumentado com região de confiança / On augmented lagrangian methods with trust-region
Ao resolver problemas de programação não linear usando métodos do tipo Lagrangiano Aumentado, um fenômeno chamado voracidade pode ocorrer. Quando este fenômeno ocorre, o método busca pontos muito infactíveis com valor de função objetivo muito pequeno. Tais fatos ocorrem, em geral, na primeiras iterações e então, o parâmetro de penalidade precis
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/06/2009
-
17. Modelos de decisÃo para alocaÃÃo de recursos humanos em projetos de sistemas de informaÃÃo
This work aims at propose two models of mathematical programming, based on dynamic programming and linear programming, in order to support the managers of IS projects in the allocation of human resources. Each model takes into account a specific feature. The first one, based on dynamic programming, considers the complexity of each project and aims at minimiz
Publicado em: 2009
-
18. DIRECT, analise intervalar e otimização global irrestrita / DIRECT, interval analysis and unconstrained global optimization
In this work we analyze two unconstrained global optimization methods: DIRECT, a branch-and-select method, based on Lipschitzian optimization, with a special selection criterion that balances the emphasis between local and global search; and a branch-and-bound method incorporating the state of art interval analysis techniques, with back-boxing and local sear
Publicado em: 2009
-
19. Realimentação de saida robusta a partir de controladores dependentes de parametros para sistemas lineares incertos discretos no tempo / Robust output feedback starting from parameter-dependent controllers for discrete-time uncertain linear systems
Esta dissertação trata de um dos mais importantes problemas em aberto na teoria de controle, o projeto de controladores por realimentação estática de saída. A principal contribuição é propor um método para computar controladores robustos estáticos por realimentação de saída para sistemas lineares incertos discretos no tempo, usando um controlad
Publicado em: 2009
-
20. D-MaPs - DNA-microarray projects: web-based software for multi-platform microarray analysis
The web application D-Maps provides a user-friendly interface to researchers performing studies based on microarrays. The program was developed to manage and process one- or two-color microarray data obtained from several platforms (currently, GeneTAC, ScanArray, CodeLink, NimbleGen and Affymetrix). Despite the availability of many algorithms and many softwa
Genetics and Molecular Biology. Publicado em: 2009
-
21. Metodo de pontos interiores não-linear para otimização deterministica a usinas individualizadas do planejamento da operação energetica do sistema interligado nacional com restrições de intercambio entre subsistemas / Nonlinear interior-point method for optimal hydrothermal scheduling in the brazilian power system with power exchange constraints
A otimização determinística da operação de médio prazo de sistemas hidrotérmicos de potência é um problema não-linear de grande porte. Neste trabalho, ele é resolvido com a devida consideração das restrições de fluxo de intercâmbio energético entre os subsistemas em um único modelo. Para tanto, fez-se necessária a representação explícit
Publicado em: 2009
-
22. The mathematics in the project Science in the School : the seacrch for the autonomy of students / A matematica no projeto Ciencia na Escola : a busca da autonomia dos alunos
This present research was developed of public elementary school in the period between 1997 and 2004, work was mediated by the group of teachers and students in collaborative action, based on the principles of the project "Ciência na Escola" The actions occurred in two moments, which marked significantly the practice of the classroom. The qualitative researc
Publicado em: 2008
-
23. Layout optimization in chemical plants using the problem of quadratic assignment / Otimização de layout de plantas quimicas utilizando o problema de designação quadratica
O Layout de uma indústria é de grande preocupação no seu desenvolvimento e, por este motivo, engenheiros e pesquisadores vêm cada vez mais se aprofundando no assunto. A escolha de um bom Layout tem influência nos custos, na segurança, operação e manutenção que são fatores de grande importância para o projeto de planta industrial. Este trabalho t
Publicado em: 2008
-
24. Packing cylinders using trust-region algorithms : a comparative study / Desempenho de algoritmos de região de confiança para problemas de empacotamneto de cilindros
Este trabalho encaminha a investigação de questões relacionadas ao desempenho de algoritmos de região de confiança para problemas de otimização irrestrita de grande porte. O algoritmo clássico de Moré e Sorensen, baseado em fatorações de Cholesky, é comparado com a abordagem de Rojas, Santos e Sorensen (algoritmo RSS). Do ponto de vista teórico
Publicado em: 2007