Desenvolvimento de extens��es para um sistema de carregamento e descarregamento de navios

One of the reasons that influences the efficience of a port terminal that is especialized in movement of containers is in the process of their loading and unloading. The fundamental idea is to determine a plan, to each port in order to decrease the number of total movement of loading and unloading that are necessary during the ship route to every port so that they save time and consequently reduce costs. The goal of this research was to present improvement in the program, written in language C, used to solve to problem of loading and unloading of ships, a NP-complete problem, through the meta-heuristics Simulated Annealing. With the improvement made, an average of 50% reduction of necessary time was gotten to solve the problem in 45 analised instances and in a specific group of these instances the average reduction reached 77 and in 10 instances there was even an improvement in the solution

Programa para gerenciamento de rebanho leiteiro

With the advent of technology, many repetitive processes before now was be simplified with the support of a simple computer. Therefore programming has been developed and new softwares appear every day. For the development of this project was used the Microsoft Visual Studio 2010, and with it the program was made in C # Windows Form mode. This work aims to develop a program that can read, send and receive data via the Universal Serial Bus (USB) to the computer, and thereby perform the processing. Thus the milk producer will possess the knowledge of the amount of milk produced by the animal. With the processing of data it is possible to generate graphs of herd production or a specific animal and you can also generate the required report date

Desenvolvimento de software para exibi����o de exames de eletrocardiograma

The main objective is to create a software, using C++ language, for reading and exhibiting in a graphic an Electrocardiogram (ECG) wave. The data is recorded as a FM modulated signal and compressed using Adaptive Differential Pulse Code Modulation (ADPCM). The signal have this characteristics because it was acquired using an experimental equipment, this equipment is the result of research made by the professor who supervised this work. FM demodulation techniques in discrete time, discrete filters and digital signal processing are some of the topics that can be found in this essay. Some concepts about the human heart and about ECG waves are also briefly introduced. These concepts are necessary for understanding the final evaluation of the software performance. The development is partly made using MATLAB. Most of the functions that are used on the software are first tested and designed in MATLAB environment. In the end, an evaluation is done comparing the results that are expected with the ones that MATLAB presents and the ones that the developed software presents

Aperfei��oamento do m��todo clause-column table para a gera����o eficiente de implicantes primos

P��s-gradua����o em Engenharia El��trica - FEIS

Paraleliza����o autom��tica de la��os

Identify opportunities for software parallelism is a task that takes a lot of human time, but once some code patterns for parallelism are identified, a software could quickly accomplish this task. Thus, automating this process brings many benefits such as saving time and reducing errors caused by the programmer [1]. This work aims at developing a software environment that identifies opportunities for parallelism in a source code written in C language, and generates a program with the same behavior, but with higher degree of parallelism, compatible with a graphics processor compatible with CUDA architecture.

Estudo de materiais supercondutores em forma de SQUID com uma constri����o usando m��todos de paraleliza����o computacional

P��s-gradua����o em Ci��ncia e Tecnologia de Materiais - FC

Reconfigura����o de sistemas de distribui����o de energia el��trica utilizando uma metodologia multipartida

Coordena����o de Aperfei��oamento de Pessoal de N��vel Superior (CAPES)

Algoritmo neurogen��tico com vistas para o planejamento de rotas de rob��s m��veis aut��nomos

P��s-gradua����o em Ci��ncia da Computa����o - IBILCE

Avalia����o de incertezas na calibra����o autom��tica do modelo SWMM

Este trabalho �� referente ao desenvolvimento de um calibrador multiobjetivo autom��tico do modelo SWMM (Storm Water Management Model), e avalia����o de algumas fontes de incertezas presentes no processo de calibra����o, visando �� representa����o satisfat��ria da transforma����o chuva-vaz��o. O c��digo foi escrito em linguagem C, e aplica os conceitos do m��todo de otimiza����o multiobjetivo NSGAII (Non Dominated Sorting Genetic Algorithm) com elitismo controlado, al��m de utilizar o c��digo fonte do modelo SWMM para a determina����o das vaz��es simuladas. Paralelamente, tamb��m foi criada uma interface visual, para melhorar a facilidade de utiliza����o do calibrador. Os testes do calibrador foram aplicados a tr��s sistemas diferentes: um sistema hipot��tico disponibilizado no pacote de instala����o do SWMM; um sistema real de pequenas dimens��es, denominado La Terraza, localizado no munic��pio de Sierra Vista, Arizona (EUA); e um sistema de maiores dimens��es, a bacia hidrogr��fica do C��rrego do Greg��rio, localizada no munic��pio de S��o Carlos (SP). Os resultados indicam que o calibrador constru��do apresenta, em geral, efici��ncia satisfat��ria, por��m �� bastante dependente da qualidade dos dados observados em campo e dos par��metros de entrada escolhidos pelo usu��rio. Foi demonstrada a import��ncia da escolha dos eventos utilizados na calibra����o, do estabelecimento de limites adequados nos valores das vari��veis de decis��o, da escolha das fun����es objetivo e, principalmente, da qualidade e representatividade dos dados de monitoramento pluvio e fluviom��trico. Conclui-se que estes testes desenvolvidos contribuem para o entendimento mais aprofundado dos processos envolvidos na modelagem e calibra����o, possibilitando avan��os na confiabilidade dos resultados da modelagem.

Planejamento de sistemas de distribui����o de energia el��trica considerando quest��es de confiabilidade e risco

O problema de Planejamento da Expans��o de Sistemas de Distribui����o (PESD) visa determinar diretrizes para a expans��o da rede considerando a crescente demanda dos consumidores. Nesse contexto, as empresas distribuidoras de energia el��trica t��m o papel de propor a����es no sistema de distribui����o com o intuito de adequar o fornecimento da energia aos padr��es exigidos pelos ��rg��os reguladores. Tradicionalmente considera-se apenas a minimiza����o do custo global de investimento de planos de expans��o, negligenciando-se quest��es de confiabilidade e robustez do sistema. Como consequ��ncia, os planos de expans��o obtidos levam o sistema de distribui����o a configura����es que s��o vulner��veis a elevados cortes de carga na ocorr��ncia de conting��ncias na rede. Este trabalho busca a elabora����o de uma metodologia para inserir quest��es de confiabilidade e risco ao problema PESD tradicional, com o intuito de escolher planos de expans��o que maximizem a robustez da rede e, consequentemente, atenuar os danos causados pelas conting��ncias no sistema. Formulou-se um modelo multiobjetivo do problema PESD em que se minimizam dois objetivos: o custo global (que incorpora custo de investimento, custo de manuten����o, custo de opera����o e custo de produ����o de energia) e o risco de implanta����o de planos de expans��o. Para ambos os objetivos, s��o formulados modelos lineares inteiros mistos que s��o resolvidos utilizando o solver CPLEX atrav��s do software GAMS. Para administrar a busca por solu����es ��timas, optou-se por programar em linguagem C++ dois Algoritmos Evolutivos: Non-dominated Sorting Genetic Algorithm-2 (NSGA2) e Strength Pareto Evolutionary Algorithm-2 (SPEA2). Esses algoritmos mostraram-se eficazes nessa busca, o que foi constatado atrav��s de simula����es do planejamento da expans��o de dois sistemas testes adaptados da literatura. O conjunto de solu����es encontradas nas simula����es cont��m planos de expans��o com diferentes n��veis de custo global e de risco de implanta����o, destacando a diversidade das solu����es propostas. Algumas dessas topologias s��o ilustradas para se evidenciar suas diferen��as.

Modelo num��rico mecanobiol��gico para a obten����o da matriz de rigidez estrutural e da densidade mineral na remodelagem ��ssea

Neste trabalho �� proposto um modelo mecanobiol��gico de remodelagem ��ssea para a estimativa de varia����es, provocadas por perturba����es mec��nicas ou biol��gicas, na matriz de rigidez estrutural da escala macrosc��pica e na densidade mineral em uma regi��o do osso. Na coopera����o entre as ��reas da sa��de e da engenharia, como nos estudos estruturais de biomec��nica no sistema esquel��tico, as propriedades mec��nicas dos materiais devem ser conhecidas, entretanto os ossos possuem uma constitui����o material altamente complexa, din��mica e variante entre indiv��duos. Sua din��mica decorre dos ciclos de absor����o e deposi����o de matriz ��ssea na remodelagem ��ssea, a qual ocorre para manter a integridade estrutural do esqueleto e adapt��-lo aos est��mulos do ambiente, sejam eles biol��gicos, qu��micos ou mec��nicos. Como a remodelagem ��ssea pode provocar altera����es no material do osso, espera-se que suas propriedades mec��nicas tamb��m sejam alteradas. Na literatura cient��fica h�� modelos matem��ticos que preveem a varia����o da matriz de rigidez estrutural a partir do est��mulo mec��nico, por��m somente os modelos mais recentes inclu��ram explicitamente processos biol��gicos e qu��micos da remodelagem ��ssea. A densidade mineral ��ssea �� um importante par��metro utilizado no diagn��stico de doen��as ��sseas na ��rea m��dica. Desse modo, para a obten����o da varia����o da rigidez estrutural e da densidade mineral ��ssea, prop��e-se um modelo num��rico mecanobiol��gico composto por cinco submodelos: da din��mica da popula����o de c��lulas ��sseas, da resposta das c��lulas ao est��mulo mec��nico, da porosidade ��ssea, da densidade mineral ��ssea e, baseado na Lei de Voigt para materiais comp��sitos, da rigidez estrutural. Os valores das constantes das equa����es dos submodelos foram obtidos de literatura. Para a solu����o das equa����es do modelo, prop��e-se uma implementa����o num��rica e computacional escrita em linguagem C. O m��todo de Runge-Kutta-Dorman-Prince, cuja vantagem consiste no uso de um passo de solu����o vari��vel, �� utilizado no modelo para controlar o erro num��rico do resultado do sistema de equa����es diferenciais. Foi realizada uma avalia����o comparativa entre os resultados obtidos com o modelo proposto e os da literatura dos modelos de remodelagem ��ssea recentes. Conclui-se que o modelo e a implementa����o propostos s��o capazes de obter varia����es da matriz de rigidez estrutural macrosc��pica e da densidade mineral ��ssea decorrentes da perturba����o nos par��metros mec��nicos ou biol��gicos do processo de remodelagem ��ssea.

Adapta����o do paradigma orientado a notifica����es para desenvolvimento de sistemas fuzzy

This work proposes to adjust the Notification Oriented Paradigm (NOP) so that it provides support to fuzzy concepts. NOP is inspired by elements of imperative and declarative paradigms, seeking to solve some of the drawbacks of both. By decomposing an application into a network of smaller computational entities that are executed only when necessary, NOP eliminates the need to perform unnecessary computations and helps to achieve better logical-causal uncoupling, facilitating code reuse and application distribution over multiple processors or machines. In addition, NOP allows to express the logical-causal knowledge at a high level of abstraction, through rules in IF-THEN format. Fuzzy systems, in turn, perform logical inferences on causal knowledge bases (IF-THEN rules) that can deal with problems involving uncertainty. Since PON uses IF-THEN rules in an alternative way, reducing redundant evaluations and providing better decoupling, this research has been carried out to identify, propose and evaluate the necessary changes to be made on NOP allowing to be used in the development of fuzzy systems. After that, two fully usable materializations were created: a C++ framework, and a complete programming language (LingPONFuzzy) that provide support to fuzzy inference systems. From there study cases have been created and several tests cases were conducted, in order to validate the proposed solution. The test results have shown a significant reduction in the number of rules evaluated in comparison to a fuzzy system developed using conventional tools (frameworks), which could represent an improvement in performance of the applications.

O comprimento descritivo m��nimo na amostragem por transectos lineares

Apresenta��se um breve resumo hist��rico da evolu����o da amostragem por transectos lineares e desenvolve��se a sua teoria. Descrevemos a teoria de amostragem por transectos lineares, proposta por Buckland (1992), sendo apresentados os pontos mais relevantes, no que diz respeito �� modela����o da fun����o de detec����o. Apresentamos uma descri����o do princ��pio CDM (Rissanen, 1978) e a sua aplica����o �� estima����o de uma fun����o densidade por um histograma (Kontkanen e Myllym��ki, 2006), procedendo �� aplica����o de um exemplo pr��tico, recorrendo a uma mistura de densidades. Procedemos �� sua aplica����o ao c��lculo do estimador da probabilidade de detec����o, no caso dos transectos lineares e desta forma estimar a densidade populacional de animais. Analisamos dois casos pr��ticos, cl��ssicos na amostragem por dist��ncias, comparando os resultados obtidos. De forma a avaliar a metodologia, simul��mos v��rios conjuntos de observa����es, tendo como base o exemplo das estacas, recorrendo ��s fun����es de detec����o semi-normal, taxa de risco, exponencial e uniforme com um cosseno. Os resultados foram obtidos com o programa DISTANCE (Thomas et al., in press) e um algoritmo escrito em linguagem C, cedido pelo Professor Doutor Petri Kontkanen (Departamento de Ci��ncias da Computa����o, Universidade de Hels��nquia). Foram desenvolvidos programas de forma a calcular intervalos de confian��a recorrendo �� t��cnica bootstrap (Efron, 1978). S��o discutidos os resultados finais e apresentadas sugest��es de desenvolvimentos futuros. ABSTRACT; We present a brief historical note on the evolution of line transect sampling and its theoretical developments. We describe line transect sampling theory as proposed by Buckland (1992), and present the most relevant issues about modeling the detection function. We present a description of the CDM principle (Rissanen, 1978) and its application to histogram density estimation (Kontkanen and Myllym��ki, 2006), with a practical example, using a mixture of densities. We proceed with the application and estimate probability of detection and animal population density in the context of line transect sampling. Two classical examples from the literature are analyzed and compared. ln order to evaluate the proposed methodology, we carry out a simulation study based on a wooden stakes example, and using as detection functions half normal, hazard rate, exponential and uniform with a cosine term. The results were obtained using program DISTANCE (Thomas et al., in press), and an algorithm written in C language, kindly offered by Professor Petri Kontkanen (Department of Computer Science, University of Helsinki). We develop some programs in order to estimate confidence intervals using the bootstrap technique (Efron, 1978). Finally, the results are presented and discussed with suggestions for future developments.

Algoritmo para mapeamento de ��reas de produ����o agropecu��ria com subdivis��es.

��reas de produ����o agropecu��ria podem ser mapeadas com o uso de receptores GPS, pela medida da posi����o geogr��fica de pontos. A coleta de pontos a campo geralmente n��o segue uma ordem que permita o tra��ado direto das ��reas. O trabalho descreve um algoritmo desenvolvido para ordenar os pontos medidos, usando apenas a identifica����o da ��rea e setor a qual cada ponto pertence, permitindo criar um mapa das ��reas de produ����o e suas subdivis��es (setores de produ����o cont��guos). O algoritmo foi implementado na forma de um programa em linguagem C, sendo testado e validado em mais de 600 propriedades vit��colas.

Minha filha aprende a falar: percurso de aquisi����o da linguagem de uma crian��a brasileira nos tempos actuais

RESUMO: A linguagem �� o tra��o distintivo do ser humano. �� por meio dela que nos comunicamos, formamos todos os nossos conceitos, temos uma est��ria e cultura. A capacidade humana para adquirir um sistema de regras t��o complexo como �� a linguagem verbal, em um espa��o de tempo relativamente curto, tem despertado o interesse de estudiosos ao longo do tempo. Conforme a literatura consultada, a linguagem, de car��ter inato, �� adquirida em um meio de falantes, seguindo etapas universais de desenvolvimento. Interrogamo-nos ent��o se, nos tempos atuais, marcados pela globaliza����o, esse processo mantem-se igual ou pode sofrer modifica����es. Esta disserta����o resulta de um estudo feito durante os anos 2007/2009, com uma crian��a brasileira, e teve como objetivo principal descrever o percurso de aquisi����o da linguagem nos tempos atuais, utilizando a metodologia do estudo de caso. Os dados coletados foram analisados sob os cinco componentes da linguagem: Fonologia, Morfologia, Sintaxe, Sem��ntica e Pragm��tica, e comparados ao referencial te��rico, no intuito de identificar semelhan��as e/ou diferen��as entre ambos. ABSTRACT: The language is the human���s differential trace. It is whereby that we communicate, we form all our concepts, we have a story and culture. The human capacity to acquire a rules system such complex as the verbal language, in a relatively short time space, has been awaking the interest of studious along time. According to the consulted literature, the languae, of innate character, is acquired in a way of speakers, following universal stages of development. So, we asked us if, in the current times, marked by globalization, this process keep equal or can suffer modifications. This dissertation results from a study reayized during years 2007/2008, with a Brazilian child, and it had as main goal to describe the language acquisition route in the current times, using the case study as methodology. The collected data were analyzed under the five language components: Phonology, Morphology, Syntax, Semantic and Pragmatic, and compared to theory, intending identifying similarities and/or differences between both.