Modelagem e simulação distribuída de sistema produtivo baseados em rede de Petri

Em função da capacidade computacional instalada e da estrutura dispersa de alguns sistemas produtivos, existe interesse em soluções de modelagem e simulação distribuída destes sistemas. Isso é considerado como um recurso fundamental para o projeto, implementação e melhoria de desempenho desses sistemas produtivos. A idéia é que por meio de simulações com o uso de computadores fisicamente dispersos, mas integrados através de uma rede de comunicação, pode-se avaliar o comportamento de sistemas em concepção e melhorar resultados de plantas existentes. Este trabalho propõe assim, um procedimento para a modelagem de sistemas produtivos em ambientes distribuídos. Esse procedimento foi aplicado com sucesso a alguns estudos de caso onde sua eficácia foi confirmada. Este trabalho envolve ainda a proposta de um algoritmo para o gerenciamento da simulação distribuída. Com o método de modelagem e o algoritmo de gerenciamento tem-se os principais elementos para a implementação prática de um simulador de sistemas produtivos dispersos.Based on the existing computational capability and disperse infrastructure of some productive systems, there are interest for distributed modeling and simulation of these systems. These techniques are considered fundamental for design, implementation and performance improvement of productive systems. The approach is the simulation through the use of computers physically dispersed but integrated via a communication network to evaluate the behavior of systems still in conception level and also to improve the performance of existing plants. This work proposes a procedure for modeling of productive systems in distributed environment. This procedure was applied to case studies to confirm it effectiveness. The work includes an algorithm for the management of the distributed simulation. With the modeling method and the management algorithm we have the main elements for the practical implementation of the disperse productive system simulator.CNPqCoordenacao de Aperfeicoamento de Pessoal de Nivel Superior (CAPES)FAPES

Evolução de Coronavírus aviário (AvCoV) em células BHK-21 e VERO

Avian coronavirus (AvCoV) infects a range of tissues in chickens and several other avian species. Although the virus can be isolated in chicken embryos, only a few strains of the 6 genotypes/33 lineages can grow in cell lines, with the Beaudette strain (GI-1 lineage) being the most used for in vitro studies. Considering the differences between cell lines and chicken embryos as habitats for AvCoV, this study aimed to assess the diversity of the genes coding for the nonstructural protein 3 (nsp3) and spike envelope protein (S) after serial passages in BHK-21 and Vero cells. After 14 passages of an embryo-adapted Beaudette strain, the virus loads fluctuated in both cell lines, with the highest loads being 8.72 log genome copies/µL for Vero and 6.36 log genome copies/µL for BHK-21 cells. No polymorphisms were found for nsp3; regarding S, not only aa substitutions (Vero: 8th passage A150S, and 14th S150A; BHK-21: 4th S53F, 8th F53Y, and 8th S95R), but also minor variants could be detected on chromatograms with fluctuating intensities. As the regions of these aa substitutions are within the receptor-binding domain of S, it can be speculated that differences in cell receptors between Vero and BHK-21 cells and the speed of cell death led to the selection of different dominant strains, while the stability of nsp3 supports its function as a protease involved in AvCoV replication. In conclusion, AvCoV quasispecies evolution is influenced by the biological model under consideration, and a gradual transition is seen for minor and major variants.O Coronavírus aviário AvCoV infecta uma variedade de tecidos de galinhas e de outras espécies aviárias. Apesar de este vírus poder ser isolado em ovos embrionados de galinha, apenas alguns dos 6 genótipos / 33 linhagens podem crescer em cultivo celular, sendo a cepa Beuadette (linhagem GI-11) a mais utilizada para estudos in vitro. Considerando as diferentes linhagens celulares e ovos embrionados como habitats para o AvCoV, este estudo teve por objetivo estudar a diversidade de genes que codificam para a proteína não-estrutural 3 (nsp3) e espícula (S) após passagens seriadas em células BHK-21 e VERO. Após 14 passagens, de uma amostra Beuadette adaptada a ovos embrionados, os títulos virais variaram em ambas as células, com os maiores títulos sendo de 8,72 log cópias genômicas/µL para Vero e 6,36 cópias genômicas/µL para BHK-21. Nenhum polimorfismo foi encontrando para nsp3. Considerando a proteína S, não somente foram encontradas substituições de aminoácidos (Vero: 8a passagem A150S e 14a passagem S150A; BHK-21: 4a passagem S53F, 8a passagem F53Y e S95R), mas também, variantes subconsensuais foram detectadas pelos cromatogramas com intensidades flutuantes. Uma vez que as regiões destes aa se encontram no domínio de ligação de receptor de S, pode-se especular que diferenças em receptores celulares entre Vero e BHK-21, além da velocidade da morte celular, levaram à seleção de diferentes cepas dominantes, enquanto que a estabilidade de nsp3 concorda com sua função como protease com papel na replicação de AvCoV. Como conclusão, a evolução de quase-espécies de AvCoV é influenciada pelo modelo biológico sob consideração e uma transição gradual é vista para variantes dominantes e subdominantes.&nbsp

Safety in Supervisory Control for Critical Systems

Part 10: Control and DecisionInternational audienceRecent studies show the designs of automated systems are becoming increasingly complex to meet the global competitive market. Additionally, organizations have focused on policies to achieve people’s safety and health, environmental management system, and controlling of risks, based on standards. In this context, any industrial system in the event of a fault that is not diagnosed and treated correctly could be considered to pose a serious risk to people’s health, to the environment and to the industrial equipment. According to experts, the concept of Safety Instrumented Systems (SIS) is a practical solution to these types of issues. They strongly recommend layers for risk reduction based on control systems organized hierarchically in order to manage risks, preventing or mitigating faults, or to bringing the process to a safe state. Additionally, the concept of Risk and Hazard Control can be applied to accomplish the required functionalities. It is based on problem solving components and considers a cooperative way to find a control solution. In this context, the software architecture can be based on a service-oriented architecture (SOA) approach. This paper initially proposes a new architecture for design of safety control systems for critical systems, based on Safety Supervisory Control Architecture, in accordance with standards IEC 61508 and IEC 61511. Furthermore, a method is also proposed for design the control layer of risk prevention within Safety Supervisory Control Architecture

Comparison of the femoral head height/neck length ratio between the unaffected hip of patients with a unilateral slipped femoral head and the hips of individuals without a slipped femoral head

OBJECTIVE: To compare the head/neck ratio on the contralateral side of patients with a unilateral slipped capital femoral epiphysis (SCFE) with control individuals. METHODS: Seventeen patients who were followed up at the Department of Orthopedics and Traumatology, Federal University of São Paulo, Brazil, between 1985 and 2007, were assessed. The control group consisted of 34 individuals from the same place who were matched for gender and age, with a history of trauma that necessitated pelvic radiography. The femoral head height and femoral neck measurements were made using simple pelvic radiography in accordance with the criteria of Bleck (1983), on both sides in the control group and on the contralateral hip in the patients. Nonparametric statistics were used, with a p-value < 0.05. RESULTS: There was no difference in the distribution of age, gender, body mass index and bone age between the groups. The head/neck ratio on the right and left side in the controls did not differ (p = 0.64). However, the head/neck ratio from the contralateral hip of the patients with SCFE was significantly lower than that of the control group (p = 0.00). CONCLUSION: The significantly lower head/neck ratio in the patients with epiphysiolysis could be indicative of a risk of SCFE.OBJETIVO: Comparar a razão cabeça/colo do lado contralateral em pacientes com epifisiólise proximal do fêmur unilateral com indivíduos controles. MÉTODOS: Foram estudados 17 pacientes com diagnóstico de epifisiólise proximal do fêmur unilateral no período de 1985 a 2007, acompanhados no Departamento de Ortopedia e Traumatologia da UNIFESP. O grupo controle consistiu de 34 indivíduos do mesmo local, pareados por idade e gênero, com história de trauma que necessitou de radiografia da bacia. A mensuração do comprimento da altura da cabeça e do colo do fêmur foi realizada na radiografia simples da bacia, segundo os critérios de Bleck, em ambos os lados no grupo controle, e no quadril contralateral dos pacientes. Foi utilizada estatística não paramétrica, com valor de p < 0,05. RESULTADOS: A distribuição das idades, gênero, IMC e idade óssea não diferiram entre os grupos. A razão cabeça/colo do lado direito e esquerdo não diferiram entre si no grupo controle (p = 0,64). Entretanto, a razão cabeça/colo do lado contralateral dos pacientes com epifisiólise proximal do fêmur foi significativamente menor que a encontrada no grupo controle (p = 0,00). CONCLUSÃO: A diminuição significativa da razão cabeça/colo nos pacientes com epifisiólise pode ser indicativa de risco de epifisiólise proximal do fêmur.Universidade Federal de São Paulo (UNIFESP) Departamento de Ortopedia e TraumatologiaUNIFESP, Depto. de Ortopedia e TraumatologiaSciEL

Modelagem e simulação de rupturas de cadeias de suprimentos baseados em rede de Petri

Atualmente, as suas empresas precisam avaliar sua exposição aos riscos devido à crescente dependência dela com operações globais de fornecedores, clientes e outros parceiros e, por esse motivo, existe grande interesse no desenvolvimento de métodos de avaliação dos riscos operacionais e planos de continuidade de negócios. Neste contexto, o artigo introduz um método para modelagem e simulação das cadeias de suprimentos globais focado na análise de rupturas e práticas resilientes. O métodoconsidera as cadeias de suprimentos como sistemas a eventos discretos e a rede de Petri como técnica formal gráfica e matemática para modelagem e simulação da cadeia de suprimento. O artigo apresenta uma cadeia de suprimentos hipotética para explicar a aplicação do método e assume a negociação com fornecedores substitutos como prática resiliente.CNPQCAPESFAPES

Morpho-physiological responses of Bos indicus, Bos taurus and crossbred weaned heifers to seasonal variations

Animals kept in extensive production systems are constantly exposed to the effects of climatic aspects, which could favour thermal discomfort, decreasing productive and reproductive performances. Utilisation of Bos taurus crosses with Bos indicus animals is increasing in the tropics aimed at improving production and it is now well known how these animals respond in such environment. The objective was to characterize the morpho-physiological thermoregulation responses of weaned heifers from four different genetic groups to infer regarding the different degrees of adaptation to heat under tropical conditions Forty-eight, pasture-kept, 6-month-old, weaned heifers from four distinct genetic groups: (1) Nellore; (2) Senepol; (3) Angus x Nellore; and, (4) ¼ Brahman x ¼ Nellore x ½ Senepol (Tri-cross) were evaluated. Skin, hair coat and rectal temperatures; sweating rate; respiratory and heart rates; visual analysis of hair and hair coat colour; hair coat temperature and thickness; and length, diameter, density and number of hairs were evaluated. In addition, the temperature-humidity index, black-globe temperature and humidity index, and radiant thermal load were determined. Angus x Nellore animals presented the lowest (P=0.008) respiratory rate. Rectal temperature did differ (P=0.001) between seasons. Angus x Nellore heifers showed the greatest (P=0.001) values for the morphological measures in the evaluated months, coinciding with thermal comfort indexes above those considered comfortable for cattle.  Nellore (Bos indicus), Brahman x Nellore x Senepol, and Senepol (B. taurus) present the best adaptive traits in savanna. The utilisation of B. indicus animals or adapted breed confers desirable morphological characteristics for the tropical environment. Beef cattle kept in extensive systems are constantly exposed to the effects of the climate. In tropical and intertropical regions, the reproductive management of Bos taurus animals with B. indicus animals is an alternative for zootechnical improvement. The objective was to evaluate morphophysiological characteristics of heat adaptation of beef heifers on pasture. For this, fifty-four animals from four distinct genetic groups: (1) Nellore, (2) Senepol, (3) Angus x Nellore and (4) ¼ Brahman x ¼ Nellore x ½ Senepol (Tri-cross), with six months-old, were evaluated during the summer and autumn seasons of 2016. The morphological characteristics of the coat (length, diameter, thickness, density and number of hairs and coat color) and physiological (skin, hair and rectal temperature; sweat rate; respiratory and heart rate) were evaluated. The environment was evaluated using the temperature and humidity index, black globe temperature, humidity index and radiation thermal load. We observed that the production environment presented thermal discomfort for the animals. Thus, the animals’ rectal temperature differed between seasons. All groups studied showed some adaptive characteristic to the tropical environment. Angus x Nellore heifers had the highest values for the morphological measures in the months evaluated, coinciding with thermal comfort indexes above those considered comfortable for cattle and the lowest value of respiratory rate when compared between the crossing. In conclusion, all genetic groups have at least three adaptive characteristics to the tropical environment when analyzing the physiological responses

Design of automatic control system based on unified timed hybrid Petri net

A practical problem in automation systems modeling is the choice between a fully hybrid approach and the fluidization of some parts conserving the general discrete event approach. This paper explores the approach based on specific hybrid parts into a discrete event system using a unified Petri nets environment called GHENeSys (General Hierarchical Enhanced Net System), which follows the ISO/IEC 15909 standard and includes extensions such as hierarchy and time concepts. Then, a design method based on GHENeSys Timed Hybrid Petri Net (GTHPN) technique is proposed to model these hybrid parts. GHENeSys subnets are associated with macro-places and help to control combinatorial explosion and has extended arcs to guarantee the GTHPN applicability to practical cases. All resulting models of the approach proposed could also benefit from an easier conversion to PLC programs in IEC 61131 representation. A case study is presented for producing constructive blocks showing the advantages of the current proposition.Un problema práctico en sistemas automatizados es la selección entre el enfoque totalmente híbrido o la fluidización de algunas partes conservando el enfoque general de eventos discretos. Este articulo trata el enfoque basado en partes hibridas en un modelo discreto usando el ambiente unificado de Redes de Petri llamado GHENeSys (Sistema de Red Extendida Jerárquica General), compatible con la norma ISO/IEC 15909 incluyendo los conceptos de jerarquía y tiempo. Por tanto, se propone un método de diseño y una técnica GTHPN (Redes de Petri Temporizadas Hibridas GHENeSys) para modelar estas partes híbridas. Las subredes en macro-lugares controlan la explosión de estados y controlar transiciones mediante arcos extendidos de GHENeSys garantiza la efectividad de GTHPN para casos prácticos. Además, todo modelo resultante permite una fácil conversión a programas de PLCs en lenguajes IEC61131. Se presenta un caso de estudio para producción de bloques de construcción demostrando estas ventajas mencionadas

Método para projeto de sistema de controle supervisório considerando flexibilidade de reconfiguração

Os atuais sistemas de controle supervisório da produção necessitam ter uma estrutura distribuída\ud implementando diferentes dominios com características de inteligência, agilidade, e tolerância a falhas, a fim de\ud considerar a flexibilidade de reconfiguração. A técnica de sistema de controle holônico (SCH) é adequada para\ud integrar as tecnologias heterogêneas desses domínios, pois propõe o desenvolvimento de entidades de controle\ud com autonomia, reatividade, proatividade, cooperação, interface social, recursos de aprendizagem e, além disso,\ud disponibiliza plataformas de sistema multi-agente para facilitar a implementação. No entanto, existe necessidade\ud de métodos formais para garantir que as especificações de projeto sejam efetivamente implementadas. Portanto,\ud este trabalho apresenta um método para projeto deste supervisório combinando as técnicas de SCH com rede\ud de Petri. Um estudo de caso de sistema de manufatura é considerado para mostrar a viabilidade da proposta e exemplificar a análise dos resultados alcançados.CNPQCAPESFAPES

Identification Of Anln As Etv6 Partner Gene In Recurrent T(7;12)(p15;p13): A Possible Role Of Deregulated Anln Expression In Leukemogenesis.

The ETV6 gene encodes an ETS family transcription factor that is involved in a myriad of chromosomal rearrangements found in hematological malignancies and other neoplasms. A recurrent ETV6 translocation, previously described in patients with acute myeloid leukemia (AML) (Genes Chromosomes Cancer 51:328-337,2012, Leuk Res 35:e212-214, 2011), whose partner has not been identified is t(7;12)(p15;p13). We herein report that the t(7;12)(p15;p13) fuses ETV6 to ANLN, a gene not previously implicated in the pathogenesis of hematological malignancies, and we demonstrate that this translocation leads to high expression of the fusion transcript in the myeloid and lymphoid lineages.1419