Time Machines
Mostrando 25-36 de 152 artigos, teses e dissertações.
-
25. DECISION SUPPORT SYSTEM FOR USE IN AGRIBUSINESS (SADA): TELEMETRY AND DATA PROCESSING PERFORMANCE OF MACHINE HARVEST / SISTEMA DE APOIO À DECISÃO PARA UTILIZAÇÃO NO AGRONEGÓCIO (SADA): TELEMETRIA E TRATAMENTO DE DADOS DE DESEMPENHO DE MÁQUINA DE COLHEITA
To obtain higher profitability in farms, it is essential to proper management of the operations performed, caused by concern over the operational cost of the machines used, which represents a high percentage compared to total costs of operation and can be up to forty percent. This cost can be reduced if the use of machinery is optimized, improving performanc
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/03/2011
-
26. Heuristic for flow shop sequencing with separated and sequence independent setup times
This paper deals with the permutation flow shop scheduling problem with separated and sequence-independent machine setup times. A heuristic method with the objective of minimizing the total time to complete the schedule is introduced. The proposed heuristic is based on a structural property of this scheduling problem, which provides an upper bound on the idl
Journal of the Brazilian Society of Mechanical Sciences and Engineering. Publicado em: 2011-03
-
27. Controle da velocidade e da direção entre dois veículos agrícolas / Speed and steering control between two agricultural vehicles
One problems of the mechanical harvest of sugar cane is the lack of synchronization between the harvester and field wagon. This problem can causes crop losses as well as reducing operational capacity. The first occurs when the machines are misaligned and part of the sugar cane is thrown out of the wagon. The operational capacity reduce occurring when the mac
Publicado em: 2011
-
28. Dynamic load-balancing : a new strategy for weather forecast models
Weather forecasting models are computationally intensive applications and traditionally they are executed in parallel machines. However, some issues prevent these models from fully exploiting the available computing power. One of such issues is load imbalance, i.e., the uneven distribution of load across the processors of the parallel machine. Since weather
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
29. The using of modeling and simulation for the performance comparative analysis between functional layout and distributed layout / Utilização da modelagem e simulação para fins de análise comparativa de desempenho entre o arranjo físico funcional e o arranjo físico distribuído
Recently researches related to new production systems have been proposed in the literature since traditional ones can not attend efficiently to the new profiles of market (especially characterized by higher variety and variability of demand). In the distributed layout, one of the proposed in the literature, machines are scattered on the floor to make possibl
Publicado em: 2010
-
30. Test case generation for space area systems using test criteria for finite state machines / Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
Test case generation based on Finite State Machines (FSM) has been addressed for quite some time. Model-Based Testing has drawn attention from researchers and practitioners in test area. Several test criteria have been proposed in the literature in order to validate systems built according to some modeling formal technique, for example, the FSM. Through MEF
Publicado em: 2010
-
31. Análise de geometrias com curvas fechadas no tempo / Analysis of Geometries with Closed Timelike Curves.
This work deals with the analysis of cylindrically symmetric and stationary space-times Ct with closed timelike curves. The equation of motion describing the evolution of a massive scalar field in a Ct space-time is obtained. A class of space-times with closed timelike curves describing cosmic strings and cylinders is studied in detail. In such space-times,
Publicado em: 2010
-
32. Flexible flow line with setup times: heuristic methods / Flexible flow line com tempos de setup: métodos heurísticos
This work addresses the job scheduling on a flexible flow line with separate setup times. According to the literature, this scheduling problem can be considered as a special case of the Flow Shop with multiple machines, where the jobs may skip stages. Two modeled problems have been studied. In the first scheduling problem the setup times are sequence indepen
Publicado em: 2010
-
33. Contribuição ao Estudo de Máquinas Rotativas na presença de Não-Linearidades / Contribution to the Study of Rotating Machines containing nonlinearities
Esta tese procura enfocar problemas relacionados a rotores inteligentes, ou seja, aqueles que são capazes de monitorar seu comportamento dinâmico, analisálo, propor soluções com certa autonomia e garantir seu funcionamento mesmo quando do aparecimento de falhas que podem comprometer seu comportamento seguro ou sua eficiência. Este trabalho, de maneira
Publicado em: 2010
-
34. An approach to incompletely specified finite state machine minimization / Uma estratégia para a minimização de máquinas de estados finitos parciais
Finite State Machines are largely used on Software Engineering to model systems specifications. In these models, designers may inadvertently include redundant states, i.e., states which exhibit the same input/output behavior. The absence of such states brings benefits to the modeling activities, reducing the complexity and taking less physical resources on i
Publicado em: 2009
-
35. Support vector machines and particle swarm optimization applied to reliability prediction
Reliability is a critical metric for organizations since it directly influences their performance in face of the market competition, as well as is essential in maintaining their production systems available. The prediction of such quantitaive metric is then of great interest, as it may anticipate the knowledge about system failures and let organizations avoi
Publicado em: 2009
-
36. A FRAMEWORK FOR TEST AUTOMATION WITH CONFIGURABLE SPECIFICATION LANGUAGES / UM FRAMEWORK PARA A AUTOMAÇÃO DE TESTES COM LINGUAGENS DE ESPECIFICAÇÃO CONFIGURÁVEIS
In this work we create a framework for automated testing according to test driven development practices that can be extended to support new specification languages, following ideas from behavior driven development. We expect that, by using this framework, software development teams will be able to specify tests in more proper languages for the application do
Publicado em: 2009