Orientador: Hermann G. Rohrer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T22:08:05Z (GMT). No. of bitstreams: 1 Tachibana_VilmaMayumi_M.pdf: 2347668 bytes, checksum: bd2d9c9ca457253c59f00dc11f3da79f (MD5) Previous issue date: 1984 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Estatística

Orientador: Geraldo Nonato Telles / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-18T07:00:10Z (GMT). No. of bitstreams: 1 DuranAcevedo_OrlandoMauricio_M.pdf: 2972290 bytes, checksum: e224dbb051d5ad9a0e4c80dad34ea475 (MD5) Previous issue date: 1993 / Resumo: Nesta dissertação é especificado e implantado um prot6tipo de um sistema de simulação "Off-line" para um robô industrial do tipo SCARN (IBM 7535). Trata-se de um pacote de software composto de quatro m6dulos principais: Um interpretador da linguagem AMV, um gerenciador de objetos e "Lay-Outs", um simulador gráfico com seis possibilidades de visualização e um detetor automático de colisões baseado na construção de Mapas de Configuração. O simulador foi implantado num microcomputador sob o Sistema Operacional MS-DOS / Abstract: This dissertation presents the specification and implementation of a SCARA' type Industrial Robot Off-line Simulation System Prototype (mM 7535). The system is composed by foUf main modules: An AML2 language Interpreter, a lay-outs managment system, a graphic simulator with six options to watchibg the manipulator's actions and a Configuration Map-Based Automatic collisions detector. This system was implemented under the MS-DOS operating System / Mestrado / Materiais e Processos de Fabricação / Mestre em Engenharia Mecânica

Orientador: Mauricio Ferreira Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-19T03:46:57Z (GMT). No. of bitstreams: 1 Lima_HumbertoMaia_M.pdf: 6282762 bytes, checksum: 38c8a0eb30331b118dd48a4a19ad9b52 (MD5) Previous issue date: 1992 / Resumo: Este trabalho propõe a implementação de um ambiente de auxílio ao desenvolvimento de especificações de sistema que utilizam LOTOS como linguagem. Tal ambiente é formado de um conjunto integrado de ferramentas composto de um editor de texto, um analisador sintático e semântico e um simulador para LOTOS. Diferente de outras implementações descritas na literatura, é proposta a implementação do simulador LOTOS em uma linguagem orientada para objetos utilizando um mapeamento da semântica dos operadores LOTOS para classes C++ / Abstract: An environment for system design using LOTOS as specification language is proposed. The environment is composed by an editor, a syntax and semaoticchecker and a simulator all workingin an integrated from. Different from similar works described in the literature, the proposed implementation of the LOTOS simulator is based on an object orieoted language mappmg the semaotic of LOTOS operators to C++ classes / Mestrado / Mestre em Engenharia Elétrica

Orientador: Rogerio Drummond Burnier Pessoa de Mello Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-19T22:07:15Z (GMT). No. of bitstreams: 1 Teles_AlexandrePrado_M.pdf: 5491648 bytes, checksum: 14faed3acfe8b414f37a11a73429bab7 (MD5) Previous issue date: 1993 / Resumo: Cm é uma linguagem de programação em evolução. Ela surgiu em 1985, no DCCUnicamp, e vem se desenvolvendo desde então. Atualmente, Cm apresenta características comparáveis com de C++ para programação orientada a objetos e caminha para além disso, incorporando facilidades para programação concorrente e distribuída. Esta tese de mestrado descreve o estágio atual da linguagem de programação Cm e seu compilador, ressaltando as contribuições do autor em ambos. Inicialmente a tese incorporava o manual de referência da linguagem, mas, devido ao volume final, este foi removido e publicado em separado. Para uma referência completa de Cm, o leitor deve consultar também seu manual de referência (vi de referências na própria tese). Descrevendo brevemente, Cm é uma extensão de C com facilidades para programação modular e orientada a objetos. Ela preserva a flexibilidade e estrutura de comandos de C, adicionando uniformidade e verificação forte de tipos, encapsulamento de dados, polimorfismo paramétrico, herança múltipla, sobrecarga de operadores e funções e tratamento de exceções. As características de Cm são comparáveis às de C++, mas seus recursos inovadores foram introduzidos de forma mais clara e coerente, evitando ainda diversas inconveniências oriundas de C. Seu compilador analisa automaticamente as relações de dependência entre módulos necessárias ao processo de make, gerenciando projetos complexos sem necessidade de intervenção do programador / Abstract: Since its first definition (1985, Computer Science Department of Unicamp) the Cm programming language has experienced continuous evolution. Cm compares favorably with C++ about object-oriented features; it is also about to support concurrent and distributed programming. This thesis describes the current state of the Cm programming language and its compiler emphasizing the author's contribution on both. For a complete language understanding please refer to the Cm Reference Manual, inc1uded in the first edition os this work but now published separately due to its bulk. Cm is briefly described as an extension of C supporting modular and object-oriented programming. Cm preserves its ancestor's flexibility and command structure while adding uniformity and strong type checking, data encapsulation, parametric polymorphism, multiple inheritance, operator/function overloading and exception handling. Although somewhat similar to C++, Cm combines new features in a c1earer and more coherent approach while avoiding several C inconsistencies. Also, the Cm compiler automatically analyzes modules in a complex project, so the programmer does not need to study dependency relations or write a make file / Mestrado / Mestre em Ciência da Computação

Orientador: Alexandro José Baldassin / Banca: Orlando de Andrade Figueiredo / Banca: Rodolfo Jardim de Azevedo / Resumo: Omissão de lock é uma técnica onde operações de aquisição e liberação de lock são omitidas (especulação) de forma a permitir que regiões críticas compartilhando um mesmo lock possam executar concorrentemente, permitindo assim se explorar um nível maior de concorrência em programas que utilizam esse método popular de sincronização. Para se manter o princípio de atomicidade, as modificações no estado do programa realizadas pela região crítica são mantidas em um buffer interno e são efetivadas apenas ao fim da mesma. Em caso de inconsistências, diferentes políticas em como proceder são possíveis, o que diferencia as diversas abordagens de omissão de lock encontradas na literatura. Por exemplo, a abordagem original, Speculative Lock Elision (SLE), que é implementada no nível microarquitetural, recorre a adquirir o lock de forma tradicional quando uma especulação falha. Em algumas situações, esta política conservadora acaba por restringir o ganho em desempenho originalmente pretendido por impor um volume de sincronização desnecessário (lemming effect). Uma forma de superar tal limitação é o emprego de omissão de lock transacional (Transactional Lock Elision, em inglês), onde a especulação de regiões críticas se dá por meio de transações e o controle de execução é devolvido ao software em eventos de transações abortadas, o que permite que diferentes estratégias sejam empregadas com o objetivo de permitir execução concorrente mesmo em presença de falha de especulação. Neste contexto... / Abstract: Lock elision is a technique that omits acquire/release lock operations (speculation) so as to allow critical regions sharing the same lock to run concurrently, which yields a higher level of concurrency explored by programs that use such popular synchronization mechanism. In order to honor atomicity, modifications on the program's state made by the critical regions are kept in an internal buffer and only applied at the end of the speculation. If inconsistency is found, different policies on how to proceed are possible, which make up the several existing approaches found in the literature. As an example, the original one, namely Speculative Lock Elision (SLE), which is implemented at the level of microarchitecture, falls back to acquire the lock in a standard manner when there is speculation error. In some situations, such conservative policy ends up restricting the intended performance gains due to the unnecessary synchronization imposed (lemming effect). A way to address this issue is through Transactional Lock Elision (TLE) techniques, in which speculation of critical regions is done by means of transactions and execution control is passed back to software on abort events, which makes possible the use of different strategies to allow concurrent execution even in presence of speculation error. In this context, one possible approach is called Software-assisted Conflict Management (SCM), where an auxiliary lock is used to serialize aborted transactions and, as such, keep the original one free, so that others may proceed on their execution. The work presented in this document proposes an extension of SCM, called Fine-grained Software-assisted Conflict Management (FGSCM), where multiple auxiliary locks are applied in order to allow transactions aborted due to conflict on different regions of memory to be executed concurrently. The proposed algorithm was implemented by using ... / Mestre

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2012-10-16T09:11:35Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T19:49:38Z : No. of bitstreams: 1 101281.pdf: 3719026 bytes, checksum: e2e1d20b913d76c1101bc1a935275519 (MD5) / O problema de programação de projetos com restrição de recursos, é considerado um dos problemas mais desafiantes. A busca de soluções através de abordagens analíticas tem alcançado relativo sucesso somente em problemas de pequeno porte. Desta forma, esforços vem sendo realizados na procura de soluções mais robustas através de abordagens heurísticas. Este trabalho apresenta um modelo que utiliza os algoritmos genéticos como abordagem heurística para resolver o problema de alocação de recursos limitados em ambientes de múltiplos modos. Além disto, o conceito de nivelamento de recursos é incorporado ao procedimento como um mecanismo guia na busca de uma solução de mínima duração, com padrões de flutuação dos recursos utilizados de alguma forma reduzido.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2012-10-16T09:36:32Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T19:34:55Z : No. of bitstreams: 1 99808.pdf: 2319551 bytes, checksum: 3272013c96630e9eae96467aaab06838 (MD5)

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T08:10:53Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T00:43:22Z : No. of bitstreams: 1 143019.pdf: 2160119 bytes, checksum: 511d1dc89700ee50e9b160ac7d4072ba (MD5)

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 2011 / Made available in DSpace on 2012-10-25T20:22:46Z (GMT). No. of bitstreams: 1 297777.pdf: 26611089 bytes, checksum: 5c77891ed6aa3e2638cf0def1f8c5fee (MD5) / A utilização de robôs na indústria vem aumentado devido as exigências como qualidade do produto, custo, agilidade de produção, entre outros, provocado pela competitividade entre as empresa. As indústrias têm investido em robôs buscando satisfazer tais exigências e seu chão de fábrica é composto por inúmeros robôs, e dependendo da aplicação é interessante fazer com que esses robôs realizem tarefas de forma cooperativa. Um Sistema Robótico Cooperativo (SRC) é um sistema composto por vários robôs que auxiliam ou colaboram na realização de uma ou mais tarefas simultaneamente. A programação desses robôs para atuarem de forma cooperativa na realização de tarefas é complexa, pois existe uma relação de dependência entre eles. Neste trabalho é criada uma sistemática para a modelagem e programação cinemática de SRC. A sistemática é generalizada para trabalhar com um número arbitrário de robôs, sendo independente do número e tipo de juntas e focada na especificação das várias tarefas. Para implementar a sistemática foram definidos três ambientes para a programação robótica de SRC: a estrutura robótica, o ambiente da tarefa e a cinemática diferencial. Esses ambientes estabelecem os modelos dos objetos envolvidos: robôs e tarefas. Uma formalização matemática é apresentada demonstrando que o crescimento do SRC é estruturado, conforme são adicionados novos robôs ao sistema. Esta formalização matemática permite introduzir no SRC as características adicionais como o controle do erro de integração, evitamento de colisão e deslocamentos relativos das bases dos robôs com o sistema de coordenadas fixo. Por fim, são apresentados os casos de estudos analisando a sistemática desenvolvida para SRCs. Em um dos casos é destacada a programação de um SRC composto pelos robôs XR-4 e Scara da fabricante Rhino, nesse sistema são realizadas três abordagens diferentes para a execução da tarefa e os resultados das simulações são implementados nos robôs. Em um outro caso é apresentado o sistema composto por quatro robôs e especificadas as tarefas. A partir desse cenário são feitas alterações nos parâmetros e analisado o impacto que elas provocam no desempenho do sistema. Para mostrar a flexibilidade da sistemática da modelagem, é também realizada uma nova simulação em que um dos robôs tem a base móvel.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas / Made available in DSpace on 2012-10-26T03:38:44Z (GMT). No. of bitstreams: 1 299927.pdf: 1563289 bytes, checksum: effc9ee6d644477aa25428faf925ab76 (MD5) / O projeto e escalonamento em tempo real de compressores para operar poços de petróleo com o método de elevação por injeção contínua de gás, consiste em resolver um problema não-linear inteiro misto que pode ser visto como um problema de alocação de instalações. Esta dissertação apresenta uma formulação revisada que representa as restrições de pressão de descarga do compressor como uma familía de desigualdades lineares, mostrando-se mais efetiva que a formulação antecedente (CAMPONOGARA; CASTRO; PLUCENIO, 2007). Para a resolução do problema, aproximações lineares inteiras mistas da formulação revisada serão obtidas. Isto ocorrerá através da linearização por partes das funções não lineares presentes na formulação, usando variaveis binárias e um conjunto especialmente ordenado de variáveis de tipo II, SOS2. Serão propostas durante o decorrer do trabalho desigualdades válidas para a capacidade do compressor, buscando ganhos computacionais durante a resolução do problema. Este trabalho apresenta também experimentos computacionais comparando as formulações antiga e revisada, avaliações dos impactos ocasionados pela geração de planos de cortes no tempo de resolução e algortimos de linearização por partes de funções não lineares, baseados em programação dinâmica. / The design and real-time scheduling of lift-gas compressors in oil fields entails solving a mixed-integer nonlinear problem that generalizes the facility location problem. This work presents a revised formulation that represents the constraints on compressor discharge pressure as a family of linear inequalities, which is shown to be tighter than a previous formulation (CAMPONOGARA; CASTRO; PLUCENIO, 2007). The problem is approximates solved by piecewise-linearizing the nonlinear functions, using binary variables and specially ordered set of variables. Valid inequalities will be proposed during the course of the work for the compressor capacity, seeking computational gains on resolution of the problem. The work also presents computational experiments comparing the formulations, evaluating the impact of cutting-plane generation on solution speed and piecewise-linearization algorithms for nonlinear functions based on dynamic programming.