Este trabalho apresenta um framework para editores distribuídos de manipulação colaborativa de documentos diagramáticos (FreDoc). FreDoc fornece um conjunto de classes que propicia um ambiente distribuído para edição colaborativa de diagramas de duas dimensões. Ele é constituído de 4 pacotes de classes: 1) de controle de acesso; 2) de controle de edição; 3) formas geométricas básicas; e 4) editor distribuído. Além disso, é apresentado um estudo sobre mecanismos para construção de editores distribuídos. Editores distribuídos são ferramentas úteis no processo de criação de documentos em um ambiente colaborativo tal como a World Wide Web. O uso de editores distribuídos torna o processo de colaboração mais rápido, pois o colaborador participa ativamente do processo de construção através da inserção de anotações que. Estas anotações podem ser aceitas ou rejeitadas total ou parcialmente pelo ou coordenador. Por fim, é descrito um protótipo, o FreDocUML, desenvolvido para testar a aplicação do framewrok FreDoc, mostrando um processo colaborativo de edição de diagrama de classes na notação UML é descrito.

Sob a premissa de que a geometria do perfil deposicional das clinoformas pode conter informações sobre a composição textural dos sedimentos que as compõem, bem como sobre a energia da coluna d’água, foi desenvolvido um modelo computacional para a análise teórica dos fatores controladores do tipo de curvatura dos foresets das clinoformas, e, por extensão dos taludes submarinos. Um modelo análogo de suspensão dinâmica foi implementado experimentalmente com um programa em código Matlab, denominado MAXWELL, e é classificado como um modelo estratigráfico, bidimensional, analítico, determinístico, dinâmico, parcialmente dedutivo e parcialmente baseado em regras. Contém um modelo de escoamento de fluido em linhas de corrente, e trata indiretamente a tensão de cisalhamento no domínio de um sistema fechado bifásico líquido-vapor análogo, a partir a proposta de analogias entre os processos de evaporação e de suspensão de sedimentos. É uma abordagem baseada na competência de transporte do fluxo d’água, pois considera temperatura e velocidade de fluxo combinado onda-corrente como variáveis controladoras análogas da intensidade de transferência de energia. Os processos deposicionais marinhos são reduzidos a um fenômeno da superfície deposicional, que é considerada análoga a uma interface líquidovapor dentro de um sistema fechado. A equação de distribuição estatística de velocidades moleculares de Maxwell é usada para calcular a proporção de moléculas na fase líquida, considerada análoga à proporção de sedimentos depositados, bem como a proporção na fase vapor, tomada como análoga à proporção de sedimentos em suspensão. O estado energético do sistema é parametrizado por três potenciais: energia interna, como função do tamanho de grão (areia, silte ou argila); energia térmica do meio, como função da energia hidrodinâmica, e energia gravitacional, como função do declive topográfico As simulações indicam que os principais fatores controladores do perfil deposicional das clinoformas, e por extensão, dos taludes submarinos em geral, são a energia hidrodinâmica da coluna d’água e a granulometria (ou coesão) do sedimento, que podem ser consideradas dois parâmetros comutáveis, isto é, grãos grossos ou coesos podem produzir sobre a geometria das clinoformas o mesmo efeito da baixa energia hidrodinâmica, e vice-versa. Com base no fator de decaimento da energia hidrodinâmica com o aumento da batimetria, foram definidas três ordens de grandeza da intensidade da energia da coluna d’água: baixa energia (10–1), alta x energia (10-2) e muito alta energia (10-3). Com base nesse critério, foram caracterizados quatro tipos de perfis deposicionais de clinoformas: dois tipos sigmoidais e dois tipos exponenciais. Os tipos sigmoidais podem ser de alta energia ou de muito alta energia, e distinguem-se pela granulometria do sedimento e pela distribuição de declividades em relação à dimensão na direção horizontal. Os perfis de tipo exponencial podem ser tanto de baixa energia, quanto de alta energia. A subida relativa do nível do mar afeta o tipo geométrico do perfil deposicional apenas de forma indireta, a partir da retenção da fração grossa do influxo sedimentar na plataforma ou topset. Os principais fatores controladores do ângulo de declividade do perfil das clinoformas são a granulometria do sedimento, a energia hidrodinâmica, a profundidade d’água da bacia e o desvio lateral da corrente de fundo. A dedução da litofácies a partir da geometria das clinoformas parece promissora apenas para os tipos teóricos sigmoidais, que são distintos na forma e no conteúdo sedimentar.

A crescente necessidade de padronização, eficácia e gerenciamento de processos têm aumentado o interesse das mais diferentes organizações pela tecnologia de workflow. Entretanto, a rápida propagação da tecnologia de workflow, ocorrida na última década, fez com que muitos sistemas desenvolvidos nesta área fossem disponibilizados e difundidos sem uma padronização clara. Analisando-se especificamente a fase de construção do workflow, nota-se que há muitas divergências. Conceitualmente, ainda não há modelos nem metodologias de modelagem amplamente aceitos e consolidados. Quanto às implementações, ainda não existe uma especificação clara e detalhada das ferramentas de definição. A conseqüência deste panorama é a baixa interoperabilidade e a baixa padronização dos conceitos, funcionalidades e interações das ferramentas de definição. Contudo, muitos esforços estão sendo feitos para solucionar o problema da interoperabilidade e padronização. A área de workflow como um todo já começa a apontar fortes tendências de padronização dos conceitos, funcionalidades e interações de seus sistemas. Detectar e avaliar tais tendências são os focos de estudos desta dissertação. Mais precisamente, o objetivo desta dissertação é fornecer informações e métodos que possam ajudar desenvolvedores e usuários de ferramentas de definição a: compreender, descrever e avaliar os conceitos, funcionalidades e interações deste tipo de ferramenta. Para tanto, é mostrado um método de descrição de modelos conceituais de ferramentas de definição. O referido método é resultado de uma pesquisa sobre o modelo conceitual deste tipo de ferramenta. Com base nas informações pesquisadas, foi desenvolvido o modelo conceitual de uma ferramenta de definição chamada de Amaya Workflow (AW). Para mostrar a viabilidade de implementação do modelo conceitual AW e concretizar em um software os estudos desenvolvidos durante esta dissertação, foi implementado o protótipo Amaya Workflow. Por fim, é mostrado um panorama geral das funcionalidades, conceitos e interações das principais ferramentas de definição existentes. Com base neste panorama e nos estudos anteriores, é descrito um método de avaliação de modelos conceituais de ferramentas de definição.

Made available in DSpace on 2014-06-12T16:01:03Z (GMT). No. of bitstreams: 2 arquivo7149_1.pdf: 450097 bytes, checksum: 66f4c98834d738979f5d31da7764af6a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / O paradigma cliente-servidor tem sido usado na construção de aplicações para sistemas distribuídos. Adicionalmente, como os componentes implementados, usando-se de diferentes tecnologias, precisam interagir de forma colaborativa, isto torna os sistemas cliente-servidor heterogêneos; cabe então ao middleware prover, eficientemente, a interoperabilidade em tais sistemas. Este fato originou o surgimento de trabalhos de pesquisa na busca de uma modelagem matemática para analisar o comportamento de variáveis aleatórias presentes na comunicação cliente-servidor. Este trabalho apresenta, inicialmente, a análise estatística das variáveis RTT, T1 (tempo de processamento no stub) e T3 (tempo de processamento no skeleton). A seguir também é estudada a variável RTT utilizando o tipo primitivo char. Os resultados obtidos com o experimento mostraram que (i) o número de clientes e RTT são grandezas diretamente proporcionais, isto é, a medida que o número de clientes aumenta RTT também aumenta; (ii) a maior parte do tempo de processamento de RTT é gasto no tempo de processamento no stub. Constatou-se então que RTT e o tempo de processamento no stub são estatisticamente os mesmos; (iii) as variações do número de requisições (N) influenciam em RTT; (iv) RTT aumentou significativamente quando o tipo primitivo foi apenas char variando o tamanho da requisição

Made available in DSpace on 2014-06-12T16:01:15Z (GMT). No. of bitstreams: 2 arquivo7277_1.pdf: 2393933 bytes, checksum: b6c89eeb380fb4db0e2e71e2f83d4098 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O projeto consiste no estudo de diversos sistemas aplicados no processo de construção de modelos de estruturas terciárias de proteínas, considerando etapas de modelagem e avaliação da estrutura, assim como mecanismos para a modificação visando a melhora das conformações desenvolvidas. Ao longo desse estudo foi também desenvolvido um conjunto de interfaces que permite a comunicação entre os diversos tipos de programas utilizados nas etapas citadas acima. Além disso, um método para a alteração e melhora de pequenas regiões de um modelo da proteína foi implementado e adicionado no fluxo do processo de modelagem. Por fim, o algoritmo de construção de novas conformações foi avaliado em estruturas originadas da modelagem por homologia, criadas pela ferramenta MODELLER, sempre apresentado uma melhora nas regiões modificadas, enquanto elas apresentassem uma distância superior a 1,7 Å da estrutura nativa

Made available in DSpace on 2018-08-02T00:03:55Z (GMT). No. of bitstreams: 1 tese_9654_bernardo braga - modeling_stories_for_conceptual_model_validation_2016.pdf: 5891393 bytes, checksum: f8d44a244fb2fedab461a51470a8f2f1 (MD5) Previous issue date: 2016-03-21 / Modelagem Conceitual é uma atividade desafiadora e avaliar a qualidade de modelos conceituais produzidos é chave para garantir que possam ser usados efetivamente como base para compreensão, acordo e desenvolvimento de sistemas de informação. Modelos podem ser avaliados com relação a diferentes critérios de qualidade e neste trabalho focamos em sua acurácia em caracterizar as conceituações que visam representar. Validar a acurácia de um modelo envolve entender os mundos admissíveis que são implícitos a ele e sua adequação em representar as conceituações de domínio. Esforços anteriores para validação de modelos conceituais baseados em ontologia deram origem a um simulador de modelos que permite a modeladores ser confrontado com as consequências de suas decisões de modelagem. Esse simulador de modelos gera sequências de snapshots da instanciação de modelos, revelando a dinâmica da criação, mudança e destruição de objetos. Ainda que esses esforços contribuam para avaliação de modelos, eles podem ser difíceis de compreender e usar e este trabalho melhora a abordagem existente usando um misto de histórias formais e informais. Histórias sempre foram usadas como meio de comunicar ideias complexas e nós argumentamos que podem ser usadas efetivamente para avaliar modelos e revelar escolhas de modelagem. Esta dissertação propõe uma abordagem para avaliar modelos conceituais criando narrativas a respeito do domínio de discurso. Essas narrativas exemplificam como conceitos de um modelo conceitual são empregados em seu contexto real. Para usá-las no simulador de modelos existente, as narrativas em linguagem natural são formalizadas como histórias abstratas usando a linguagem de especificação que definimos e, então, usadas para restringir a simulação de modelos, guiando o simulador para que corresponda à narrativa, apoiando a validação do modelo conceitual. Contrastar simulações com as conceituações pretendidas é a base da avaliação de modelos nessa abordagem. A narrativa em linguagem natural permite um entendimento intuitivo do significado dos conceitos. Comparar essas narrativas a diagramas de objeto que mostram a instanciação do modelo formal permite compreender como os conceitos são formalizados.

Made available in DSpace on 2018-08-01T22:29:33Z (GMT). No. of bitstreams: 1 tese_4560_.pdf: 2091742 bytes, checksum: 931c6847c57cfdd1bcbb0142efeade42 (MD5) Previous issue date: 2010-11-12 / Existem muitas aplicações para uso de supercondutores onde é importante conhecer o comportamento da densidade de corrente crítica em função do campo magnético na amostra, para tanto foi desenvolvido e analisado um modelo para descrever tal comportamento em amostras supercondutoras policristalinas de alta temperatura crítica. A idéia foi capturar esse comportamento total ou parcialmente com a maior precisão possível. A teoria foi baseada nas hipóteses de que os grãos que formam amostras supercondutoras policristalinas são unidos por junções do tipo Josephson onde foram observados efeitos de interferência quântica macroscópica entre supercondutores separados por uma junção atravessada por uma corrente de tunelamento com uma dependência sobre o fluxo de campo magnético aplicado. Os pares de Cooper tunelam tais junções com um padrão de difração tipo Fraunhofer de maneira que a corrente crítica nas junções fracas é a primeira influenciada pela aplicação de campo magnético, dessa forma, em certo regime de campo e temperatura próximo à crítica, a corrente crítica na amostra é dada pela superposição de correntes Josephson influenciada pelo campo em cada junção. Por fim, o modelo foi ajustado com o auxílio de dados experimentais, da densidade de corrente crítica em função do campo magnético aplicado, obtidos a partir de amostras do supercondutor policristalino cerâmico HgRe-1223 com dopagem 5% de oxigênio.

Made available in DSpace on 2018-08-01T22:56:18Z (GMT). No. of bitstreams: 1 tese_10518_TeseHelderMendes2016.pdf: 19226190 bytes, checksum: e8a7d9105e382eeca3144d81527a120b (MD5) Previous issue date: 2016-12-19 / Neste trabalho, foi proposta uma ferramenta de calibração automática para o modelo Distributed Hydrology Soil Vegetation Model. O princípio básico do calibrador implementado é a utilização da meta-heurística Clustering Search (CS), que permite a obtenção, além da solução calibrada, de um conjunto de soluções sub-ótimas resultantes do processo. Essas soluções são utilizadas para a verificação da possibilidade de melhoria da calibração de uma sub-bacia por meio da aplicação das soluções obtidas para um conjunto de outras sub-bacias. A ferramenta e a metodologia de combinação proposta foram aplicadas na calibração de uma bacia hidrográfica da região sudeste do Brasil, formada por um conjunto de sub-bacias cujas vazões são monitoradas. Os resultados obtidos mostram que tanto a ferramenta quanto a metodologia de combinação propostas são eficientes, levando a uma melhoria considerável dos resultados da modelagem para a bacia. Palavras-chave: modelagem hidrológica. calibração. heurísticas.

Orientador: Francisco Maugeri Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Alimentos / Made available in DSpace on 2018-07-26T03:31:51Z (GMT). No. of bitstreams: 1 Atala_DanielIbraimPires_M.pdf: 26061202 bytes, checksum: 37a529d06d4c04223d192089da9fde38 (MD5) Previous issue date: 2000 / Resumo: o avanço tecnológico da indústria alcooleira no Brasil nas décadas de 70 e 80, foi fruto do programa "Proálcool", lançado pelo governo brasileiro com o objetivo de substituir a gasolina derivada do petróleo, consumida pelos veículos automotores, pelo etanol. O Brasil se tornou então o maior produtor mundial de etanol por via fermentativa. Apesar disto, os estudos encontrados na bibliografia têm como base um processo isotérmico. Em condições reais de operação encontradas nas usinas, isso nem sempre é observado, entretanto, o estudo do efeito da temperatura nos parâmetros cinéticos que quantificam a reprodução e morte celular, o consumo de substrato e a produção de etanol são informações importantes para a elaboração de estratégias de controles mais eficientes nas usinas. Diante destes fatos o objetivo deste trabalho foi a obtenção de um modelo cinético estudando o efeito da temperatura em fermentação alcoólica com alta densidade celular, com a convalidação dos parâmetros cinéticos e de conversão considerando o efeito inibitório exercido pela concentração de biomassa, substrato e de etanol no processo fermentativo. Os experimentos foram conduzidos em fermentação batelada e batelada alimentada estendida com Saccharomyces cerevisiae, nas temperaturas de 2SoC a 40°C. O acompanhamento analítico se deu através de análises de sacarose, glicose, ftutose e etanol por HPLC, de massa seca por gravimetria e de células viáveis por microscopia. Como resultado obteve-se um modelo matemático que descreveu satisfatoriamente o processo fermentativo nestas faixas de temperatura e de densidade celular. Foi possível realizar diversas simulações do processo para analisar o comportamento do processo em diversas condições. A otimização e simulação do processo mostraram que alto rendimento, conversão e produtividade são conseguidos quando se trabalha com temperaturas de 2SoCa 34°C e entre as taxas de diluições de 0.08a 0.13 h-I com rendimento, conversão e produtividade superiores a 90% 0.93 e 8.5 g/L/h, respectivamente. / Abstract: The technological progress of the alcohol industry in Brazil in the decades of 70 and 80 was the result of the "Próalcool" program, developed by the Brazilian government to substitute gasoline, derived ttom petroleum, by ethanol. Brazil has then become the largest ethanol world producer by fermentation. Because there is a great difficulty in maintaining a constant temperature during industrial alcoholic fermentation, the majority of the kinetic studies found in the literature, which are based on an isothermical process, can lead to errors when used to describe the dynamic behavior of an industrial planto This is why the study of the effect of the temperature in the kinetic parameters that describe cell growth and death, substrate consumption and ethanol production is important to the development of efficient control strategies in the alcohol industries. The objective of this work is to obtain a kinetic model considering the effect of the temperature in the alcoholic fermentation with high cellular density, besides authenticating kinetic and conversion parameters considering the inhibitory effect of biomass, substrate and ethanol in the fermentation process. Experiments were performed in batch and extended fed-batch mode using Saccharomyces cerevisiae in a temperature range ttom 28 to 40°C. Sucrose, glucose, ftuctose and ethanol concentrations were measured by HPLC, dry cell weight was measured by gravimetry and viability was measured by microscopy. The obtained kinetic model described the fermentation process well in the temperature and cellular density range considered. Simulations were performed to analyze the dynamic behavior of the process in many different conditions. Process simulation and optimization have shown that high yield, conversion and productivity were attained in temperatures from 28 to 34°C with dilution rates ttom 0.08 to 0.13h-1. Yield, conversion and productivity higher than 90%, 0.93 and 8.5 g/L1h, respectively, were attained. / Mestrado / Mestre em Engenharia de Alimentos

Orientador: Vivaldo Silveira Junior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Alimentos / Made available in DSpace on 2018-07-26T11:16:15Z (GMT). No. of bitstreams: 1 Berto_MariaIsabel_M.pdf: 23712708 bytes, checksum: a4617e78840c61e20e086070761c92a7 (MD5) Previous issue date: 2000 / Resumo: Os trocadores de calor de placas são amplamente utilizados na indústria de alimentos para diversos fins dentre os quais destacam-se os tratamentos térmicos como resfriamento, aquecimento, pasteurização e esterilização. A predição da temperatura dos fluidos alimentícios dependente das condições de operação para um tratamento térmico realizado em trocadores de calor é fundamental para a obtenção de um produto final de boa qualidade, com um tempo de prateleira adequado. Diante destes fatos, o presente trabalho consistiu na modelagem matemática e simulação dinâmica do resfriamento do fluido Newtoniano suco de laranja natural e do fluido não-Newtoniano, suco de laranja concentrado, realizado em um trocador de calor de placas. A simulação dinâmica teve como objetivo a predição das curvas de reação do processo de resfriamento representada pelo comportamento da temperatura destes produtos com o tempo, sob diversas condições de operação. A modelagem utilizada nesta simulação foi uma adaptação de vários modelos já propostos, codificada no programa Mat-Lab. Foi realizado um planejamento de ensaios, alterando as variáveis: vazões de produto e de refrigerante secundário, concentrações de sólidos solúveis e temperaturas iniciais dos fluidos de operação. Através das simulações obtidas, foi possível avaliar o grau de influência das variáveis perturbáveis sobre a temperatura do produto após o resfriamento. Através das curvas de reação do processo, que são subsídios para sintonia de controladores para automação deste tipo de equipamento, conc1triu-seque alterações nas características do fluido, nas configurações de escoamento ou das placas e das condições iniciais de operação afetam diretamente a temperatura final e a dinâmicado processo de resfriamento. / Abstract:The plate heat exchangers are widely used in the food industry for many processes that involve thermal treatments such as pasteurization, sterilization, cooling and heating of fluids. The prediction of the outlet fluid temperature transient behavior as a function of the of the operational conditions for a thermal treatment in heat exchangers, has fundamental importance in the obtainrnent of good quality products, with a adequate shelf life. The present work consisted of the mathematical modeling and dynamic simulation of the cooling process of the Newtotoniano fluid - natural orange juice, and the non-Newtonian fluid - concentrate orange juice, in a plate heat exchanger. The dynamic simulation has the purpose of predicting the cooling process reaction curves, represented by the temperature behavior with time, under several disturbances in the operational conditions. The modeling used in this simulation was an adaptation of several models already proposed in the literature and the code was accomplished in the program Mat-Lab. In the proposed experimental design, disturbances were made in the following variables: orange juices and remgerants mass fow rates, inlet tluid temperatures and orange juice soluble solid contents. Through the simulations obtained, it was possible to analyze the effects of these variables in the outlet orange juice temperature. The process reactions curves obtained, which are a new subsidy in tuning and controlling works, showed that changes in the fluid characteristics, in flows configurations, in the kind of plates and in the initial operational conditions affect directly the fluid outlet temperature and the dynamics of the cooling process. process. / Mestrado / Mestre em Engenharia de Alimentos