Uma máquina de redução de grafos para serviços web

Web services are software accessible via the Internet that provide functionality to be used by applications. Today, it is natural to reuse third-party services to compose new services. This process of composition can occur in two styles, called orchestration and choreography. A choreography represents a collaboration between services which know their partners in the composition, to achieve the service s desired functionality. On the other hand, an orchestration have a central process (the orchestrator) that coordinates all application operations. Our work is placed in this latter context, by proposing an abstract model for running service orchestrations. For this purpose, a graph reduction machine will be defined for the implementation of service orchestrations specified in a variant of the PEWS composition language. Moreover, a prototype of this machine (in Java) is built as a proof of concept

Detecção e recuperação de falhas para a máquina de redução de grafos PEWS-AM

Web services are software units that allow access to one or more resources, supporting the deployment of business processes in the Web. They use well-defined interfaces, using web standard protocols, making possible the communication between entities implemented on different platforms. Due to these features, Web services can be integrated as services compositions to form more robust loose coupling applications. Web services are subject to failures, unwanted situations that may compromise the business process partially or completely. Failures can occur both in the design of compositions as in the execution of compositions. As a result, it is essential to create mechanisms to make the implementation of service compositions more robust and to treat failures. Specifically, we propose the support for fault recovery in service compositions described in PEWS language and executed on PEWS-AM, an graph reduction machine. To support recovery failure on PEWS-AM, we extend the PEWS language specification and adapted the rules of translation and reduction of graphs for this machine. These contributions were made both in the model of abstract machine as at the implementation level

Recurso de interface captcha: segurança e usabilidade na distinção entre humano e máquina

Com o intuito de impedir que computadores enviem mensagens automáticas se passando por usuários reais, desenvolvedores tem utilizado o recurso de interface CAPTCHA para distinguir o preenchimento de dados e submissões realizadas por humanos e por máquinas. Este trabalho apresenta as principais modalidades de CAPTCHAs e discute as implicações na usabilidade. Para tanto, foram aplicados questionários e realizados testes de usabilidade em três modalidades de CAPTCHA. Verificou-se que, embora os usuários tenham consciência da importância do uso do CAPTCHA como ferramenta de segurança, percebeu-se que tal recurso compromete a usabilidade, gerando insatisfação e em alguns casos, a desistência da realização da tarefa

Modelagem de máquina pneumática recolhedora de frutos de café em terreiro usando análise por elementos finitos

Teve-se o objetivo de desenvolver um modelo matemático por meio de análise de elementos finitos, utilizando o programa computacional ANSYS®, versão 5.7, para otimizar o projeto de máquina recolhedora de frutos de café no terreiro. A modelagem da máquina foi realizada com base no levantamento das características aerodinâmicas dos frutos de café e da vazão de ar necessária para o transporte pneumático dos frutos. Foram obtidas, experimentalmente, as pressões estáticas nos dutos da máquina, sendo esses valores comparados com os resultados determinados pelo programa ANSYS, no intuito de validar o modelo. Com base nos resultados numéricos obtidos, concluiu-se que a modelagem desenvolvida apresentou resultados próximos aos determinados experimentalmente, obtendo erro relativo médio nos valores simulados de pressão de 9,2%. Por meio da modelagem, identificaram-se faixas de pressão que dificultariam o transporte pneumático dos frutos de café em alguns pontos da máquina. Esses problemas foram corrigidos e, com isso, o fluxo de ar proporcionado pelo ventilador foi suficiente para succionar os frutos de café no terreiro e transportá-los para dentro do reservatório da máquina. A modelagem desenvolvida atendeu às necessidades propostas no trabalho para o recolhimento dos frutos de café utilizando transporte pneumático eficientemente.

Aprendizado de máquina simbólico e técnicas fractais para caracterizar rejeição em biópsia miocárdica

This work combines symbolic machine learning and multiscale fractal techniques to generate models that characterize cellular rejection in myocardial biopsies and that can base a diagnosis support system. The models express the knowledge by the features threshold, fractal dimension, lacunarity, number of clusters, spatial percolation and percolation probability, all obtained with myocardial biopsies processing. Models were evaluated and the most significant was the one generated by the C4.5 algorithm for the features spatial percolation and number of clusters. The result is relevant and contributes to the specialized literature since it determines a standard diagnosis protocol. © 2013 Springer.

Um novo sistema de refrigeração com controle de temperatura, compressor aberto, máquina de indução trifásica com velocidade variável e correção ativa do fator de potência do estágio de entrada

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

Análise da máquina de indução trifásica através das grandezas de Buchholz-Goodhue aplicando os vetores espaciais instantâneos nas condições de desequilíbrio e distorção conforme a IEEE 1459-2000

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

A máquina e o tempo: dialética das forças produtivas e do tempo de trabalho em Marx

Pós-graduação em Ciências Sociais - FFC

Estimativa da radiação solar ultravioleta em Botucatu/SP Brasil utilizando técnicas de aprendizado de máquina

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Proposta de uma máquina para processo de abrasão baseado na combinação de algumas características da lapidação e retificação

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

Desenvolvimento de um sistema de navegação baseado em máquina de vetores de suporte para dirigibilidade de um robô móvel por caminhos em plantações

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

Método de detecção e classificação de lesões de pele em imagens digitais a partir do modelo Chan-Vese e máquina de vetor de suporte

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

Alegorias da totalidade: as relações entre ciência e poesia em A máquina do mundo repensada, de Haroldo de Campos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)