O presente trabalho envolve a elaboração de um modelo matemático para um processo industrial de produção de cloro e soda a partir de salmoura, visando sua otimização em termos de eficiência de produção e dos custos dos consumos de energia elétrica e vapor. O estudo contemplou duas etapas do processo: eletrólise e concentração de licor de NaOH por evaporação. Para a unidade de eletrólise não foram encontrados na literatura modelos fenomenológicos adequados à simulação do processo. Por essa razão, foram desenvolvidos modelos empíricos baseados em redes neurais tipo ?feedforward? constituídas por três camadas, a partir de dados da operação industrial. Para a unidade de evaporação foi elaborado um balanço de energia adequado à estimativa do consumo de vapor. Porém, devido à falta de modelos para previsão das relações de equilíbrio para o sistema, o modelo fenomenológico foi substituído por um modelo de redes neurais tipo ?feedforward? de três camadas também para essa unidade. Para ajuste dos modelos, uma base de dados foi montada a partir de dados de operação do processo da Carbocloro S.A. Indústrias Químicas, localizada em Cubatão-SP, analisados por meio de técnicas estatísticas multivariadas, visando detectar e eliminar erros grosseiros e dados anômalos, além de identificar correlações entre variáveis e diferentes regimes operacionais da planta de produção de cloro e soda. Os modelos ajustados para os diferentes circuitos de células de eletrólise, bem como para a etapa de evaporação, apresentaram boa concordância com os dados operacionais. Isto possibilitou sua utilização para simular a operação das unidades de células eletrolíticas e evaporação no processo industrial de produção de cloro-soda, com células tipo diafragma. O modelo matemático baseado em redes neurais foi utilizado em estudos de otimização do processo, de modo a maximizar o ganho financeiro na unidade industrial, para uma dada condição de operação. / The present work consists on the development of a mathematical model on an industrial chlorine and sodium hydroxide production plant, aiming at the optimization of production efficiency and costs saving concerning electrical energy and vapor consumption. Two process steps were considered in the study: electrolysis and NaOH-liquor concentration by evaporation. Since there are no adequate models reported in the literature for simulating electrolysis-based processes like the one considered, empirical models for the different types of electrolysis cells were developed based on the fitting of neural networks to operational data from industrial operation. In this case, feedforward neural networks containing three neuron layers were fitted to the data. The raw data obtained from industrial operation at Carbocloro plant, in Cubatão ? SP, were first treated by means of multivariate statistical techniques, with the purpose of detecting and eliminating data containing gross errors and outliers, as well as to identify correlations among variables and different operational regimes of the industrial plant. Although material and energy balances for the evaporation step have been initially adopted, this approach could not be used in simulations due to the lack of valid models to predict liquid ? vapor equilibria for the specific system. Thus, a neural network model was also fitted to data from operation of the evaporation step. Fitting of the neural network models resulted in good agreement between model predictions and measured values of the model output variables, and this enabled their use in simulation studies for the electrolysis and evaporation process steps. The neural network-based mathematical model was utilized in process optimization studies aiming at the best financial gain under given operational conditions.

Uma vez que uma aplicação ou projeto tenha sido identificado como sujeito ao uso da simulação, decisões devem ser tomadas acerca de como conduzir os estudos. Embora não haja regras definitivas, alguns passos são geralmente recomendados, tais como: planejamento do estudo, definição do sistema, construção do modelo, execução dos experimentos, análise dos resultados e relatório final. E, a construção do modelo é uma das etapas mais demoradas e complexas. Na execução dos experimentos, e na análise dos resultados a Realidade Virtual (RV) é uma interface que pode fornecer um suporte importante para a tomada de decisões, pois a RV auxilia na criação de mundos virtuais semelhantes ao mundo real, que ajudam na compreensão do funcionamento dos sistemas. Este trabalho propõe um metamodelo para o desenvolvimento de sistemas de simulação de eventos discretos com interface de RV aplicados a ambientes ou estações de trabalho de manufatura. A proposta do metamodelo é composto por quatro módulos: i) de edição e validação de modelos, ii) de criação, edição e execução de ambientes virtuais, iii) de conexão para efetuar o elo entre os dois primeiros módulos e, iv) de controle para gerenciar a comunicação e controlar a simulação. Como resultado tem-se a simulação centralizada baseada no modelo descrito em Rede de Petris (RP) com interface de RV distribuída. O sistema computacional gerado pelo metamodelo auxiliará no aprendizado e compreensão do problema simulado, e ainda permitirá ao usuário o envolvimento através da iteração. / The VR aids in the creation of virtual worlds similar to the real world, helping in understanding how a system works. This research work is concerned with the development of a discrete-event system simulation based on Petri Nets, with Virtual Reality interface for manufacturing environment or workstations. The system is composed of four modules, the first is model editing and validation, the second module is a modeling tool for virtual objects and/or a library of virtual elements, the third module makes the link between the two previous modules, and finally, the fourth is a simulation and control module. The centralized simulation is based on models described by Petri Nets with distributed RV interface resulting in a flexible and consistent system. The system will help users in learning and understanding the simulation problem, and it will also allow the user\'s integration with the environment through the interaction, and through distributed interface.

Propõe-se uma estratégia de modelagem e de análise formal de políticas de segurança para sistemas baseados em fluxos de trabalho (workflows) e contendo regras que envolvam aspectos de lógica de negócios. Verifica-se com o auxílio de uma política de exemplo que a estratégia proposta resulta em modelos amplamente capazes de expressar restrições lógicas em função de parâmetros de negócio sem comprometer a viabilidade de suas análises. A modelagem baseia-se no uso de um metamodelo definido a partir da identificação das entidades que caracterizam o estado de proteção de um sistema e representado na forma de uma rede de Petri colorida. Por meio da escrita de predicados para consulta sobre o espaço de estados da rede de Petri, verifica-se o atendimento às regras de segurança no modelo formal. A tratabilidade da análise é garantida pela adoção de um paradigma diferenciado principalmente pela busca de ramos inseguros em vez de nós inseguros no espaço de estados e por explorar a natureza independente entre serviços de negócio distintos, expressa por restrições ao fluxo de informação no metamodelo. Tais restrições permitem que a análise seja fracionada evitando o problema da explosão de estados. O exemplo discutido de modelagem e análise de um sistema de serviços bancários online fornece evidências suficientes para atestar a aplicabilidade do método à validação de políticas de segurança para sistemas reais. / A strategy is proposed for the formal modeling and analysis of workflow- -based security policies having rules which involve aspects of business logic. Aided by an example of security policy, the proposed strategy is shown to lead to models widely capable of expressing logical restrictions as functions of business parameters without compromising the feasibility of its analyses. The modeling is based on the usage of a metamodel defined from the identification of the entities that characterize the protection state of a system, and represented as a colored Petri net. By writing predicates for querying the Petri net state-space, compliance with security rules at the formal model is verified. The feasibility of the analysis is ensured by the adoption of a paradigm distinguished mainly for the search for insecure branches rather than insecure nodes in the state-space, and for exploiting the independent nature among different business services, expressed by restrictions to the information flow within the metamodel. Such restrictions allow the analysis to be fractioned, avoiding the state explosion problem. The example provided of modeling and analysis of an online banking services system offers enough evidence to attest the applicability of the method to the validation of security policies for real-world systems.

A fase inicial de projeto de sistemas, baseada na elicitação, modelagem e análise dos requisitos é considerada a mais complexa e a mais estratégica para obtenção de bons resultados. Por conseguinte, erros precisam ser detectados durante esta fase inicial, antes de começar a implementação, evitando assim o desperdício de tempo e recursos. Este trabalho propõe um método formal de modelagem, análise e verificação de requisitos, partindo de uma representação semi-formal de requisitos em UML, e utilizando o formalismo das Redes de Petri para proceder à modelagem, análise e verificação. Propriedades das redes de Petri, tais como invariantes, são usadas para analisar os requisitos, permitindo uma validação antecipada dos requisitos no processo de design. O objetivo deste trabalho é estender a aplicação das redes de Petri como representação formal para a modelagem e análise de requisitos, endereçando assim a fase anterior às especificações. Pressupõe-se a existência de uma disciplina de projeto baseada em modelos (model driven) que abrange a fase inicial do projeto e se propaga para a modelagem e verificação de soluções. Assim, a abordagem proposta nesta tese se encaixa plenamente em um processo orientado a modelos que use a mesma linguagem: as redes de Petri. / The first stage of system design, which includes elicitation, modeling, and analysis of requirements is considered at the same time, very complex and very strategic to achieve proper results.Therefore it is important to detect mistakes both, conceptual and in requirements, before implementation begins, avoiding the waste of time and resources. This work proposes a formal method for modeling, analysis and verification of requirements, starting with a semi-formal representation of requirements in UML. Petri net and its properties such as invariants are used to analyze requirements, thereby allowing that requirements can be validated earlier. The main objective of this work is to extend the application of Petri Nets, as a formal representation, to requirements phase, addressing specification building. It is assumed that there is a model driven design approach that encompass the initial (requirements) phase and goes through the modeling and verification of solutions. Therefore the approach proposed in this work fits a model driven general approach which could use the same formal language: Petri Nets.

A segurança do espaço aéreo pode aumentar consideravelmente com o uso de operações de espaçamento e separação aerotransportados. Sob este paradigma, a tarefa de manter distância em relação a outras aeronaves é delegada aos pilotos, que contarão com o Sistema de Assistência de Separação Aerotransportado (ASAS). Com este sistema, ainda em fase experimental, os pilotos tornam-se cientes dos riscos do tráfego circundante com até 15 minutos de antecedência, sem necessitar de auxílio dos controladores de tráfego aéreo. Esta antecedência é muito maior que a do atual sistema anti-colisão (TCAS), que é de menos de 1 minuto. O sistema ASAS utiliza uma tecnologia de comunicação mais avançada que a tecnologia do transponder modo C, utilizado atualmente pelo sistema anti-colisão. O novo sistema ASAS está sendo desenvolvido intensivamente no Eurocontrol e em outras iniciativas nos Estados Unidos da América, e funcionará em conjunto com o atual sistema anti-colisão, proporcionando redundância, ou seja: se o antigo sistema falhar, o novo ainda pode emitir um alerta, ou vice-versa. O presente trabalho de pesquisa aborda a aplicação do ASAS para aumentar a precisão do espaçamento entre aeronaves que chegam sequencialmente a um determinado aeroporto, por meio de um formalismo matemático denominado \"Rede de Petri Estocástica e Dinamicamente Colorida\", com a obtenção de dados quantitativos sobre o risco de acidente. Esses dados indicam que o risco de acidente é significativamente menor com o uso do ASAS do que sem o uso do ASAS. / The safety in the airspace can considerably increase with the use of airborne spacing and separation operations. Under this paradigm, the task of maintaining a safe distance between aircraft is delegated to the pilots, which will be supported by the Airborne Separation Assistance System (ASAS). With this system, which is still in experimental phase, pilots become aware of the surrounding air traffic risks with up to 15 minutes in advance, without the help of air traffic controllers on the ground. This antecedence is much greater than the one provided by the current Traffic Collision Avoidance System (TCAS). ASAS uses a more advanced communication technology than Mode-C transponder, broadly used in the current civil aviation for collision avoidance purposes. The development of ASAS is being carried out intensively in Eurocontrol and in other initiatives in the United States of America, and this novel system is intended to work in parallel with the current collision avoidance systems, acting as safety nets. The present study approaches the ASAS application to improve the precision of spacing between aircraft that sequentially arrive at an airport, using the so called mathematical formalism \"Stochastically and Dynamically Coloured Petri Net\", for evaluating quantitative data about accident risk. These data indicate that the accident risk is significantly smaller when aircraft pairs use ASAS Spacing than when aircraft pairs do not use ASAS Spacing.

In this dissertation, a method for producing multinets from a net in P^3 is presented. Multinets play an important role in the study of resonance varieties of the complement of a complex hyperplane arrangement and very few examples are known. Implementing this method, numerous new and interesting examples of multinets are identified. These examples provide additional evidence supporting the conjecture of Pereira and Yuzvinsky that all multinets are degenerations of nets. Also, a complete description is given of proper weak multinets, a generalization of multinets.

Made available in DSpace on 2015-03-03T19:30:54Z (GMT). No. of bitstreams: 0 Previous issue date: 4 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O presente trabalho visa, através da utilização intensiva dos inventários post-mortem e demais fontes heterogêneas do município de Santa Maria da Boca do Monte, entre os anos de 1858 a 1889, analisar o grupo da elite regional de proprietários/criadores neste cenário rural de meados do século XIX. Baseados na contribuição teórica e metodológica da micro-história passamos a enxergar os inventários post-mortem como uma fonte que nos possibilitou perceber a sociedade estudada em movimento, ancorada pelos números. Assim, essa dissertação inclui-se na esteira das contribuições aportadas por esses estudos recentes e seus métodos. O objetivo deste trabalho é reconstituir as estratégias de uma família de proprietários/criadores, suas escolhas ao longo do tempo, abordando: a mobilidade espacial como estratégia famíliar, a formação do patrimônio, o processo de acumulação de capital, o acesso a propriedade da terra em um momento de expansão da fronteira agrária e a transmissão do patrimônio. Procuramos investigar os frag / The present work aims, through the intensive use of the post-death inventories and other heterogeneous sources from Santa Maria da Boca do Monte county, between the years from 1858 to 1889, analyze the group of the regional owners / creators elite in this rural scenery of century XIX middles. Based on the theoretical and methodological contribution of the micro-history, we start to see the post-death inventories like a source that made possible us to realize the studied moving society, anchored by numbers. Thus, this dissertation includes in line aportadas contributions by these recent studies and their methods. The this work is to rebuild the family strategies owners/creators, their choices over time, abordando: spatial mobility as famíliar strategy, training, heritage capital accumulation process, access to land ownership in a moment agrarian frontier expansion and the transmission of heritage. We try to investigate the fragments of Francisco José Pinto´s trajectory, owner of the biggest fortune of our lift

Made available in DSpace on 2015-03-05T18:38:00Z (GMT). No. of bitstreams: 0 Previous issue date: 22 / Nenhuma / As crescentes e rápidas mudanças que ocorrem no mundo empresarial fizeram com que o paradigma individualista tecnicista passasse a incorporar aspectos sociais e humanistas. Esses aspectos alavancaram a discussão sobre as competências que ainda é um assunto polêmico e complexo. Essa discussão passa pelo nível micro, que é o indivíduo, o nível macro, que é a organização, e emerge daí o aspecto coletivo das competências. Este estudo realizou uma pesquisa qualitativa, exploratória-descritiva em uma rede de cooperação, com o intuito de analisar como ocorre o processo de desenvolvimento das Competências Coletivas em um ambiente de redes. A rede estudada está no mercado de móveis desde 2005, e, apesar de pouco amadurecida, apresenta um desempenho notório em relação aos seus concorrentes. Os resultados apurados mostraram que suas Competências Coletivas são desenvolvidas a partir da combinação dos elementos: interação e inter-relação, sentido coletivo, base de conhecimento comum e articulação das competências individu / The growing and fast changes that happen in the business world did the technicist individualistic paradigm start incorporating humanist and social aspects. Those aspects instigate the discussion on the competences that it is still a controversial and complex subject. That discussion goes by the micro level, which is the individual, the macro level, which is the organizations, and it emerges the collective aspect of the competences from there. This study accomplished a descriptive exploratory qualitative research in a cooperation net, intending to analyze how it happens the process of development of the Collective Competences in a environment of nets. The studied net has been in the furniture market since 2005 and in spite of being little ripe it presents a remarkable performance in relation to its competitors. The results showed that its Collective Competences are developed from the combination of the elements: interaction and interrelation, collective sense, base of common knowledge and articulation of indiv

Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. / Microfiche copy available in Archives and Engineering. / Bibliography: p.173-174. / Ph.D.

Gene positioning changes with respect to the nuclear periphery correlate with their activation in a number of tissues during development. However, the determination of the function this serves or the mechanism through which this was achieved has been remarkably difficult to resolve. It may now be possible to address these questions due to the recent identification of a number of tissue-specific nuclear envelope transmembrane proteins (NETs) which are capable of promoting the repositioning of specific subsets of chromosomes and concomitantly inducing changes to gene expression (Zuleger et al,. 2013). In this thesis I describe the role of NETs in the positioning of genes to the nuclear envelope (NE) during muscle differentiation and the role this activity plays in the optimisation of myogenic gene expression in as myoblasts (MTs) differentiate to myotubes (MTs). To do this I identified four NETs with the capacity to reposition a chromosome to the periphery that are present specifically in the NEs of skeletal muscle. Using a combination of genome-wide gene expression analysis and DamID I determined that depletion of these NETs disrupted myogenic gene expression and, more significantly, prevented the targeting to and silencing of normally repressed genes at the NE. I also investigated an analogous role for the blood-specific NET TAPBPL in the regulation of the critical T-cell regulator interleukin 2 (IL-2) at the NE in T-cells. Depletion of this NET caused release of the IL2 locus from the periphery and promoted its inappropriate and long-term activation. Interestingly, depletion of TAPBPL also prevented IL2 silencing following the end of T-cell activation, suggesting this genome organisation activity is critical for the maintenance of normal T-cell function. Collectively, the results discussed herein describe a new role for NETs in the regulation of gene expression through the manipulation of spatial genome organisation and may serve as an additional layer of higher order tissue-specific gene regulation in higher organisms.