LABSQL: laboratório de ensino de SQL

Este trabalho apresenta uma nova abordagem para avaliação automática de consultas SQL. Essa abordagem propõe uma solução para o desafio de estimular o aprendiz a aperfeiçoar a sua solução: buscando, além de uma resposta que retorna o resultado correto, uma consulta com complexidade próxima da solução ótima. Essa proposta pode ser utilizada em ambientes de educação a distancia ou na educação presencial em atividades de laboratório, incluindo as avaliações. A solução proposta tem como vantagens: (1) o aprendiz recebe um feedback instantâneo durante a atividade prática de programação, o qual permite ao aprendiz refatorar a sua solução em direção a uma solução ótima; (2) completa integração entre o ensino de conceitos de programação com exemplo de fragmentos de programas executáveis on-line; (3) monitoramento das atividades do aprendiz (quantos exemplos foram executados; em cada exercício quantas tentativas de execução foram feitas, etc). Este trabalho é um primeiro passo na direção de construção de um ambiente totalmente assistido (por exemplo com avaliação automática) para ensino da linguagem de programação SQL, onde o professor é liberado do árduo trabalho de correção de comandos SQL podendo realizar tarefas pedagógicas mais relevantes. O método, fundamentado em estatística e métricas da Engenharia de Software, pode ser adaptado para outras linguagens tais como Java e Pascal. Além disso, o LabSQL serve com um laboratório para experimentação de duas novas técnicas, uma de avaliação e outra de acompanhamento, que estão sendo pesquisadas em trabalhos em paralelos: (a) avaliação automática de questões conceituais discursivas, além de permitir as tradicionais perguntas objetivas, (b) método de acompanhamento através de montagem de uma rubrica de avaliação.

Desenvolvimento de sistema para gerenciamento de dados de pesquisa

Pós-graduação em Pesquisa e Desenvolvimento (Biotecnologia Médica) - FMB

Reconfiguração de sistemas de distribuição utilizando metaheurísticas e critérios de confiabilidade

In an ever more competitive environment, power distribution companies must satisfy two conflicting objectives: minimizing investment costs and the satisfaction of reliability targets. The network reconfiguration of a distribution system is a technique that well adapts to this new deregulated environment for it allows improvement of reliability indices only opening and closing switches, without the onus involved in acquiring new equipment. Due to combinatorial explosion problem characteristic, in the solution are employed metaheuristics methods, which converge to optimal or quasi-optimal solutions, but with a high computational effort. As the main objective of this work is to find the best configuration(s) of the distribution system with the best levels of reliability, the objective function used in the metaheuristics is to minimize the LOLC - Loss Of Load Cost, which is associated with both, number and duration of electric power interruptions. Several metaheuristics techniques are tested, and the tabu search has proven to be most appropriate to solve the proposed problem. To characterize computationally the problem of the switches reconfiguring was developed a vector model (with integers) of the representation of the switches, where each normally open switch is associated with a group of normally closed switches. In this model simplifications have been introduced to reduce computational time and restrictions were made to exclude solutions that do not supply energy to any load point of the system. To check violation of the voltage and loading criteria a study of power flow for the ten best solutions is performed. Also for the ten best solutions a reliability evaluation using Monte Carlo sequential simulation is performed, where it is possible to obtain the probability distributions of the indices and thus calculate the risk of paying penalty due to not meeting the goals. Finally, the methodology is applied in a real Brazilian distribution network, and the results are discussed.

Estudo para a implementação de um sistema de desbaste de cobre para manufatura de placas de circuito impresso

This paper presents a study on the development of a manufacturing system of printed circuit boards through copper milling. An advantage of this system is the replacement of chemical processes by physical process presenting a sustainable solution. The paper uses programs that will generate G-code needed to establish the coordinates where the milling forms the tracks. After obtaining the code, it will be transformed into steps that will be sent through the serial port to the microcontroller and the serial communication control will be in software. After obtaining information the microcontroller will execute the movement of the stepper motors through their drivers, H-bridge, the microcontroller also drives the spindle motor responsible for rotating the grinding tool, using a driver with a optocoupler and TRIAC

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

Resolução do problema de carregamento e descarregamento de contêineres em terminais portuários via Beam Search

One problem that has been happening frequently in port terminals is the poor planning of the loading and unloading of containers. The reason of this problem is the lack of an efficient method that provides the best means of these operations. The main goal of this work is, to implement a method that provides the best ways to perform the loading and unloading of containers, at each port and thus bring a great saving for these terminals, since the number of moves is directly proportional to cost. To carry out this program was used the idea that the containers are placed in vertical stacks, where the access can be done only by the top of the stack, so the ship was treated as an matrix and to fill it, two rules were created for loading and two for unloading. To obtain the best sequence of rules was used Beam Search method, which is an enumeration type implicit method that analyzes only the best solution of the tree generated. Thus, the program developed in the Java language, provides the best way to perform the loading and unloading ports and the way as the ship leaves each port using a graphical interface

Atribuição de turmas para professores via Beam Search em Java

In the universities, before the start of each school year, is held the distribution of classes among available teachers. Therefore, it is necessary to consider the maximum workweek for each teacher and their preferences for each discipline, to prevent a teacher to give lessons in two separate locations at the same time and to avoid some teachers to become overloaded while others with large clearance. This process, manually performed, is time consuming and does not allow the visualization of other combinations of assignment of teachers to classes, besides being liable to error. This work aims to develop a decision support tool for the problem of assigning teachers to classes in college. The project encompasses the development of a computer program using the concepts of object orientation and a tree search algorithm of a combinatorial nature called Beam Search. The programming language used is Java and the program has a graphical interface for entering and manipulating data of the problem. Once obtained the schedule data of classes and teachers is possible, by means of the tool, perform various simulations and manual adjustments to achieve the final result. It is an efficient method of class scheduling, considering the speed of task execution and the fact that it generates only feasible results

CEDEM - Centro de documentação e Memória da UNESP

Não disponível

Aplicação de técnicas metaheurísticas para resolver o problema de coordenação de carregamento de veículos elétricos em sistemas de distribuição

Pós-graduação em Engenharia Elétrica - FEIS

Algoritmo tabu search especializado para o problema de planejamento da expansao de sistemas de transmissão

Pós-graduação em Engenharia Elétrica - FEIS

Desenvolvimento de uma aplicação para suporte ao t-learning

Pós-graduação em Televisão Digital: Informação e Conhecimento - FAAC

Verificação de pilares metálicos compostos constituídos por perfis formados a frio por meio de programa computacional

In this work, we discuss the procedures adopted for the design of built-up columns (laced and battened columns). Built-up columns are widely used in steel construction generally when the compression forces are relatively low and the column buckling lengths are large. They are commonly used in industrial buildings, for example, as posts for cladding, or as columns supporting a crane girder. Unlike columns with full section, in the case of built-up columns, it is necessary to evaluate the shear stiffness. In fact, the shear strength leads to a significant reduction of the critical load. In the context of this work, the components of the columns (chords, diagonals, posts, etc.) are formed by cold-formed members. In order to systematize and rationalize the verification of the built-up columns, this work aim to develop a computer program based on the standards NBR 14762, NBR 6355 and Eurocode 3, basically the considerations of the part EN 1993-1-1

Verificação de pilares metálicos compostos constituídos por perfis formados a frio por meio de programa computacional

In this work, we discuss the procedures adopted for the design of built-up columns (laced and battened columns). Built-up columns are widely used in steel construction generally when the compression forces are relatively low and the column buckling lengths are large. They are commonly used in industrial buildings, for example, as posts for cladding, or as columns supporting a crane girder. Unlike columns with full section, in the case of built-up columns, it is necessary to evaluate the shear stiffness. In fact, the shear strength leads to a significant reduction of the critical load. In the context of this work, the components of the columns (chords, diagonals, posts, etc.) are formed by cold-formed members. In order to systematize and rationalize the verification of the built-up columns, this work aim to develop a computer program based on the standards NBR 14762, NBR 6355 and Eurocode 3, basically the considerations of the part EN 1993-1-1

Wam based space efficient Prolog implementation in Lisp

This thesis proposes the implementation of a space efficient Prolog implementation based on the work of David H. D. Warren and Hassan Aït-Kaci. The Common Lisp is the framework used to the construction of the Prolog system, it was chosen both to provide a space efficient environment and a rich programming language in the sense that it supply the user with abstractions and new ways of thinking. The resulting system is a new syntax to the initial language that runs on top of the SBCL Common Lisp implementation and can abstract away or exploit the underlying system.

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.