Ferramentas para a integração de redes de Petri e VHDL na síntese de sistemas digitais

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Comparação de técnicas de redes de Petri na descrição de um pipeline

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Dança de salão, funções executivas e memória em idosos institucionalizados

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desenvolvimento de uma arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Identificando tipos de personalidade na dança de salão

Many studies have shown a variety of benefits that the practice of Ballroom Dancing can bring, such as leisure and entertainment, the release of tension from a stressful routine, improving relationships, expanding social contacts. The rationale of this study is by the need to evaluate a different sphere of life of people involving the structure that is the personality. The man is humanized in contact with other men and the culture it is almost impossible to grow it in isolation, that is, are the social relationships that allow men to become human and her personality structure. The relationship brought about by the ballroom dancing can benefit the development of personality or simply put individuals in situations that provide a greater understanding of yourself, as this activity has characteristics that greatly facilitate social contact between people who practice it as the relationship between gentleman and lady for a dance, the contact with people in different classes, social events where it is practiced and even the music that is danced. This work aimed to be able to identify the type or types, the most common personalities exist in one group of participants in a course of Ballroom, based on the technique of Enneagram developed and disseminated by Gurdjieff, whose characteristic is to divide into nine different personality types. Participants were 42 students of the extent to ballroom dancing. We administered a questionnaire to identify the personality of each participant and then there was a second observation time the behavior of six participants in the class for confirmation of your psychological type to issofoi used a checklist developed by the author. Was also investigated whether there are differences of gender and psychological types who seek more such activity. The conclusions are that there are a large number of persons type 9, more than 42% and are predominantly male, since... (Complete abstract click electronic access below)

Efeitos de uma partida sobre o pico de torque funcional e convencional nos músculos isquiotibiais e quadríceps de jogadores de futebol de salão com e sem desequilíbrio muscular

Introdução – Uma das causas mais prováveis de lesões esportivas está relacionada aos desequilíbrios musculares e a fadiga muscular, que é evidenciada no decorrer de um jogo de futebol, principalmente no final do jogo. Esta pode ser avaliada através da comparação da força de contração máxima antes e após o exercício. A fadiga produzida durante o jogo diminui a força muscular concêntrica e excêntrica de flexores e extensores do joelho podendo aumentar a incidência de lesões. Objetivo - Avaliar o efeito de uma partida sobre o pico de torque funcional e convencional nos músculos isquiotibiais e quadríceps de jogadores de futebol de salão com e sem desequilíbrio muscular. Método – Oito jogadores de futebol de salão do gênero masculino, com idade entre 18 e 24 anos, fizeram três visitas ao laboratório: 1ª foram realizadas a antropometria e adaptação aos equipamentos; 2ª teste máximo no dinamômetro isocinético para determinar a razão do pico de torque funcional e convencional nos músculos isquiotibiais e quadríceps; 3ª idem ao 2ª, após a partida de futebol de salão. Análise estatística – através das médias ± DP dos dados obtidos foi utilizado o teste t para amostras dependentes e o Mann Whitney para comparação do pico de torque antes e após a partida de futebol de salão e para comparação da relação flexor/extensor pré e pós- esforço, respectivamente. Em ambos os testes foram adotado um nível de significância de p < 0,05. Resultados - Não foram encontradas diferenças significantes entre os grupos de atletas com desequilíbrio muscular na perna dominante (GD) e grupo equilíbrio (GE) e para os extensores e flexores do GD e GE nas condições Con60. Através do Mann Whitney foram encontradas diferenças...(Resumo completo, clicar acesso eletrônico abaixo)

Dança de salão: história e evolução

A dança surgiu desde os primórdios da humanidade, quando os povos mais antigos dançavam, para a chuva e para o sol, para seus Deuses e para as pessoas mortas ou pelo simples fato de se comunicar. A partir do século XV, ela passou a ser executada nos grandes salões dos palácios, e algumas dessas danças são a valsa, o minueto e a quadrilha. Surgiu, então, a Dança de Salão, sendo que, cada região tinha suas danças características. No início do século XX começam as primeiras competições de dança e uma organização e padronização delas, buscando sua inserção nos Jogos Olímpicos. A dança de salão chegou ao Brasil com a Família Real, e após sua popularização, sofreu influência da cultura africana, que deu origem a novas danças, como o maxixe, o samba, o choro, a lambada, o forró entre outros. A dança como esporte chegou ao Brasil há pouco tempo, com a criação da Confederação Brasileira de Dança de Salão. Com essa profissionalização da Dança de Salão e mesmo pelo seu caráter lúdico, hoje, existem muitos praticantes. Este estudo teve a finalidade de fazer um levantamento histórico, que possa contribuir e enriquecer a quantidade de estudos nesta área, além de possibilitar àqueles que buscam a obtenção de informações relevantes sobre a dança de salão.

Dança de salão: perspectivas de satisfação e motivos de adesão

The need to practice physical activity of any kind grows day by day. People look for studios, clubs, parks, either to practice some kind of sport, gymnastics classes, workout or a good walk. Over the last few years, another option has arived arose, which is a little different from what we are used to see. We are talking about Ballroom Dance, a new alternative for thoses who wants or needs to practice some physical activity but is looking for a different environment. Ballroom Dance is growing, thanks to the media, it has been an effective option for whom seeks to fill her free time and gains benefits such as leisure, satisfaction, health and quality of live, etc. Therefore, the objectives of this study were: investigating the reasons that lead the people to look for classes like Ballroom Dance and identify the degree of satisfaction of these students regarding Ballroom Dance classes. Thirty eight students participated in this study: some came from a dance studio from Rio Claro (SP), some from a gym academy with Ballroom Dance classes from Campo Grande (MS) and some from a Ballroom Dance Program of Unesp, Rio Claro in the community. The participants of both genders, ageing between 18 to 60 years, were enpaped on Ballroom program for at least one month. They answered a questionnaire related to the issue. After analyzing the data it was confirmed that people seeks for Ballroom Dance because they like to dance, they feel pleasure to dance, besides feeling relaxed in the activity and because dancing brought them fun. Regarding the Degree of satisfaction, all of them stated being satisfied with Ballroom Dance.

Optimizing urban traffic flow using genetic algorithm with petri net analysis as fitness function

This paper describes a new methodology adopted for urban traffic stream optimization. By using Petri net analysis as fitness function of a Genetic Algorithm, an entire urban road network is controlled in real time. With the advent of new technologies that have been published, particularly focusing on communications among vehicles and roads infrastructures, we consider that vehicles can provide their positions and their destinations to a central server so that it is able to calculate the best route for one of them. Our tests concentrate on comparisons between the proposed approach and other algorithms that are currently used for the same purpose, being possible to conclude that our algorithm optimizes traffic in a relevant manner.

Algoritmo para la simulación paralela de redes de petri temporizadas

[ES] Se propone un algoritmo para para paralelizar la simulación de un modelo realizado mediante una red de Petri temporizada con el objeto de disminuir su tiempo de ejecución.

Una semantica distribuita per il Multi-CCS utilizzando reti di Petri

Questa tesi descrive e approfondisce l'algebra di processo Multi-CCS, le fornisce una semantica basata sulle reti di Petri non limitate - a correzione e miglioramento della precedente - e una dimostrazione dettagliata della sua correttezza, ovvero della bisimilitudine tra la marcatura ottenuta dalla uova semantica e da un generico processo Multi-CCS e lo stesso processo nella semantica di default definita sugli LTS

Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.