Desenvolvimento de um middleware para comunicação via web services e sua aplicação em sistemas de aquisição de dados industriais

The control of industrial processes has become increasingly complex due to variety of factory devices, quality requirement and market competition. Such complexity requires a large amount of data to be treated by the three levels of process control: field devices, control systems and management softwares. To use data effectively in each one of these levels is extremely important to industry. Many of today s industrial computer systems consist of distributed software systems written in a wide variety of programming languages and developed for specific platforms, so, even more companies apply a significant investment to maintain or even re-write their systems for different platforms. Furthermore, it is rare that a software system works in complete isolation. In industrial automation is common that, software had to interact with other systems on different machines and even written in different languages. Thus, interoperability is not just a long-term challenge, but also a current context requirement of industrial software production. This work aims to propose a middleware solution for communication over web service and presents an user case applying the solution developed to an integrated system for industrial data capture , allowing such data to be available simplified and platformindependent across the network

Efeitos da reposição hidroeletrolítica sobre parâmetros cardiorrespiratórios em exercício e recuperação

INTRODUÇÃO: a necessidade de reposição ao máximo das perdas hídricas tornou-se estabelecida e difundida nos consensos internacionais. Entretanto, permanece pouco compreendida a influência da reposição quando administrada, igualmente, durante e após o exercício sobre parâmetros cardiorrespiratórios. OBJETIVO: analisar os efeitos da reposição hidroeletrolítica na frequência cardíaca (FC), pressão arterial sistólica (PAS), pressão arterial diastólica (PAD), saturação parcial de oxigênio (SpO2) e frequência respiratória (f) de jovens durante e após um exercício de longa duração. MÉTODOS: 31 jovens (21,55 ± 1,89 anos) realizaram três visitas ao laboratório (intervalo de 48 horas entre elas), sendo na primeira aplicado um teste incremental, para determinação da carga utilizada nas visitas seguintes, e nas duas últimas, denominadas protocolo controle (PC) e protocolo experimental (PE), os sujeitos foram submetidos a 10 min de repouso supino, 90 min de exercício em esteira ergométrica (60% do VO2pico) e 60 min de repouso supino. No PC não houve hidratação e no PE houve ingestão de solução isotônica. Os parâmetros FC, PAS, PAD, SpO2 e f foram mensurados no final do repouso; nos minutos 30, 60 e 90 do exercício, com exceção da f; e nos minutos 1, 3, 5, 7, 10, 20, 30, 40, 50 e 60 pós-exercício. Foi aplicado o teste t de Student ou teste de Mann-Whitney e ANOVA para medidas repetidas ou teste de Friedman seguidos de testes post hoc, com p < 0,05. RESULTADOS: a solução hidroeletrolítica proporcionou manutenção da PAS e da PAD, e menor incremento da FC durante o exercício; e promoveu retorno mais rápido da FC e conservou PAD, SpO2, PAS (a partir do 5º min) e f (a partir do 30º min) no período de recuperação. CONCLUSÃO: o protocolo de hidratação influenciou parâmetros cardiorrespiratórios de jovens durante e após a realização de atividade física submáxima de intensidade constante e longa duração.

Control charts for individual observations of a bivariate Poisson process

In this paper, three single-control charts are proposed to monitor individual observations of a bivariate Poisson process. The specified false-alarm risk, their control limits, and ARLs were determined to compare their performances for different types and sizes of shifts. In most of the cases, the single charts presented better performance rather than two separate control charts ( one for each quality characteristic). A numerical example illustrates the proposed control charts.

Mitigation of symmetry condition in positive realness for adaptive control

Feasibility of nonlinear and adaptive control methodologies in multivariable linear time-invariant systems with state-space realization (A, B, C) is apparently limited by the standard strictly positive realness conditions that imply that the product CB must be positive definite symmetric. This paper expands the applicability of the strictly positive realness conditions used for the proofs of stability of adaptive control or control with uncertainty by showing that the not necessarily symmetric CB is only required to have a diagonal Jordan form and positive eigenvalues. The paper also shows that under the new condition any minimum-phase systems can be made strictly positive real via constant output feedback. The paper illustrates the usefulness of these extended properties with an adaptive control example. (C) 2006 Elsevier Ltd. All rights reserved.

Sistema de tração elétrica flexível baseado em veículos trólebus para alimentação com redes CC e ou CA

Este artigo apresenta os principais resultados e o detalhamento da metodologia e equações de controle de um retificador monofásico pré-regulador de 150kW para sistema trólebus. A estrutura proposta possibilita a Correção ativa do Fator de Potência (CFP) com baixos níveis de Distorção Harmônica Total (DHT) na corrente, em conformidade com a norma internacional IEC 61000-3-4. Fruto de um projeto de Pesquisa, Desenvolvimento e Inovação (P) junto à empresa AES Eletropaulo Metropolitana de São Paulo, em parceria com a empresa de transporte Himalaia S.A., o projeto possui como principais objetivos estimular o interesse para a expansão das linhas de trólebus a partir de uma plataforma de alimentação de menor custo de instalação e manutenção, sem a necessidade de subestações retificadoras, e, com vistas a promover a melhoria da qualidade de vida nos grandes centros urbanos. Nessa nova modalidade proposta para o sistema de alimentação, o trólebus pode ser alimentado tanto pelas redes convencionais em corrente contínua (CC) quanto pelas redes de distribuição em corrente alternada (CA), mantendo-se a disposição a dois fios dos sistemas CC, sendo as mudanças de rede de alimentação (CC ou CA) monitoradas e controladas digitalmente. Todo o sistema de gerenciamento e controle do conversor é realizado digitalmente por FPGA XC3S200. Na evolução do sistema proposto, os autores pretendem inclusive eliminar as linhas aéreas de alimentação, através da utilização de postos de alimentação em CA, especialmente desenvolvidos para os pontos de embarque/desembarque de passageiros para este veículo de transporte coletivo, eliminando-se os aspectos visuais negativos das redes de alimentação deste modal, e, reduzindo-se as falhas de operação do sistema.

Metodologia para rastreamento com modificação dos zeros e rejeição de distúrbio aplicada a sistemas incertos

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

Robust state-derivative pole placement LMI-based designs for linear systems

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

Bifurcation of limit cycles from an n-dimensional linear center inside a class of piecewise linear differential systems

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

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

O efeito da autocorrelação no desempenho do gráfico T2 de hotelling: caso bivariado

The chart of control of Hotelling T2 has been the main statistical device used in monitoring multivariate processes. Currently the technological development of control systems and automation enabled a high rate of collection of information of the production systems in very short time intervals, causing a dependency between the results of observations. This phenomenon known as auto correlation causes in the statistical control of the multivariate processes a high rate of false alarms, prejudicing in the chart performance. This entails the violation of the assumption of independence and normality of the distribution. In this thesis we considered not only the correlation between two variables, but also the dependence between observations of the same variable, that is, auto correlation. It was studied by simulation, the bi variate case and the effect of auto correlation on the performance of the T2 chart of Hotelling.

Melatonin reduces LH, 17 beta-estradiol and induces differential regulation of sex steroid receptors in reproductive tissues during rat ovulation

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

Haptic Stabilization of Posture in Adults With Intellectual Disabilities Using a Nonrigid Tool

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

Microshear Bond Strength of Self-etching Bonding Systems to Ultrasound Diamond Bur-prepared Dentin

Purpose: The aim of this study was to evaluate the influence of dentin abrasion on the microshear bond strength of two self-etching adhesive systems, using either an ultrasound diamond bur or a high-speed diamond bur.Materials and Methods: Twenty noncarious human third molars were sectioned mesiodistally into halves. The enamel was ground to expose a flat dentin surface on both sections. The dentinal surfaces were randomly assigned to two groups, depending on the method of smear layer preparation: ultrasound diamond bur (UB) or conventional diamond bur (CB). The prepared dentin surfaces received one of two self-etching systems: Clearfil SE Bond (CF) and One-Up Bond F (OB). A composite cylinder with a 0.95-mm diameter was bonded to each specimen and the microshear bond test was performed. The results were expressed in MPa and were subjected to two-way analysis of variance (ANOVA) and Tukey's test (alpha = 0.05).Results: There was no significant difference in dentin bond strength when comparing the conventional and ultrasonic abrasion methods. When the adhesive systems were compared, Clearfil SE Bond achieved higher bond strength means than did One-Up Bond F.Conclusion: The dentin surface preparation method did not influence the microshear bond strength and the Clearfil SE Bond adhesive system, independent of bur type used, Clearfil SE Bond showed higher bond strengths than did the One-Up Bond F adhesive system.

LARGE ATOMIC and NUCLEAR THREE-BODY SYSTEMS: SCATTERING and BINDING

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