APSEE-Reuse : um meta-modelo para apoiar a reutilização de processos de software

Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos tecnológicos e gerenciais do processo de desenvolvimento de software. Software tornou-se a base de sustentação de inúmeras organizações dos mais diversos ramos de atuação espalhados pelo planeta, consistindo de um elemento estratégico na diferenciação de produtos e serviços atuais. Atualmente, o software está embutido em sistemas relacionados a infindável lista de diferentes ciências e tecnologias. A Tecnologia de Processo de Software surgiu em meados da década de 1980 e representou um importante passo em direção à melhoria da qualidade de software através de mecanismos que proporcionam o gerenciamento automatizado do desenvolvimento de software. Diversas teorias, conceitos, formalismos, metodologias e ferramentas surgiram nesse contexto, enfatizando a descrição formal do modelo de processo de software, para que possa ser automatizado por um ambiente integrado de desenvolvimento de software. Os modelos de processos de software descrevem o conhecimento de uma organização e, portanto, modelos que descrevem experiências bem sucedidas devem ser continuamente disseminados para reutilização em diferentes projetos. Apesar da importância desse tópico, atualmente apenas uma pequena porção do conhecimento produzido durante o desenvolvimento de software é mantido para ser reutilizado em novos projetos. Embora, à primeira vista, o desafio de descrever modelos reutilizáveis para processos de software pareça ser equivalente ao problema tratado pela tradicional área de reutilização de produtos software, isso é apenas parcialmente verdade, visto que os processos envolvem elementos relacionados com aspectos sociais, organizacionais, tecnológicos e ambientais. A crescente complexidade da atual modelagem de processos vem influenciando a investigação de tecnologias de reutilização que sejam viáveis nesse campo específico. A investigação conduzida nesse trabalho culminou na especificação de um meta-modelo que tem como objetivo principal aumentar o nível de automação fornecido na reutilização de processos, apoiando a modelagem de processos abstratos que possam ser reutilizados em diferentes contextos. O meta-modelo proposto por esse trabalho - denominado APSEE-Reuse - fornece uma série de construtores sintáticos que permitem que os diferentes aspectos desse contexto sejam descritos segundo múltiplas perspectivas, complementares entre si, contribuindo para diminuir a complexidade do modelo geral. A solução proposta destaca-se por fornecer um formalismo para modelagem de processos, o qual é integrado à uma infraestrutura de automação de processos de software, permitindo que a reutilização esteja intimamente relacionada com as outras etapas do ciclo de vida de processos. Os diferentes componentes envolvidos na definição do modelo APSEE-Reuse proposto foram especificados algebricamente, constituindo uma base semântica de alto 15 nível de abstração que deu origem a um conjunto de protótipos implementados no ambiente PROSOFT-Java. O texto ainda discute os experimentos realizados com o meta-modelo proposto na especificação de diferentes estudos de casos desenvolvidos a partir de exemplos retirados na literatura especializada, e de processos que fornecem soluções em contextos e necessidades específicas de projetos desenvolvidos no PPGC-UFRGS. Finalmente, são apresentadas considerações acerca dos trabalhos relacionados, os elementos críticos que influenciam a aplicabilidade do modelo e as atividades adicionais vislumbradas a partir do trabalho proposto.

Os fatores críticos de sucesso do comércio varejista de flores e plantas ornamentais : as lojas de arte floral no município de Porto Alegre/RS

A principal finalidade desta pesquisa foi a de identificar os Fatores Críticos de Sucesso (FCS), sob a ótica dos proprietários, relacionados ao funcionamento das Lojas de Arte Floral (LAF), agente integrante do Comércio Varejista de Flores e Plantas ornamentais (CVFPO/RS) do Estado do Rio Grande do Sul. Buscou-se através da análise de informações sobre as suas peculiaridades, contribuir para uma melhor compreensão sobre o seu funcionamento e a sua articulação com os outros elos da cadeia. Para tanto, foi realizado um estudo exploratório em 35 empresas do CVFPO/RS, especificamente nas LAF localizadas no município de Porto Alegre, onde foi aplicado um instrumento de coleta de dados (questionário) diretamente aos proprietários das LAF. A CPFPO é composta pelos seguintes elos: Pesquisa e assistência técnica; Fornecimento de insumos e equipamentos; Produção agrícola; Atacado; Varejo e Consumidor Final. A ausência de um diagnóstico sobre o setor de flores acarreta, muitas vezes, uma ausência de políticas formais, uma incompreensão sobre a situação mercadológica e, também, uma ausência sobre o funcionamento de toda cadeia desse setor. Na presente pesquisa, o elo de Comercialização (varejo) foi o escolhido, devido à necessidade de uma melhor compreensão do CVFPO/RS, como também, pela inexistência de pesquisas acadêmicas e a disponibilidade escassa de dados e de informações relevantes para a sua análise no Estado. A partir da análise dos dados coletados, sob a ótica dos proprietários, os resultados da pesquisa apontaram para os seguintes FCS: atendimento de padrões de qualidade das flores; acompanhamento das necessidades do cliente; desenvolvimento dos Recursos Humanos atuantes nas LAF e, monitoramento da concorrência.

Estádios críticos para suplementação nitrogenada em cevada

A época de aplicação de N na cultura da cevada pode influenciar o rendimento de grãos pelo estímulo específico dado a seus componentes. Neste sentido, foi realizado o presente trabalho para determinar o período e os estádios fenológicos da cultura da cevada afetados pela aplicação de N. Foram conduzidos três experimentos a campo em Eldorado do Sul, Encruzilhada do Sul e e outro em Victor Graeff, no ano de 2000, e dois experimentos a campo, um em Eldorado do Sul e Victor Graeff, no ano de 2001. Os estádios de aplicação de N foram na emergência das plântulas; emissão da 2a ou 3ª folha; 4a ou 5ª folha; 6a ou 7ª folha; 8a ou 9ª folha e emborrachamento, e as doses de N foram 30 ou 40 e 60 ou 80 kg.ha-1. Foram analisados o rendimento de grãos e seus componentes (espigas área-1, grãos espiga-1 e massa de grão), a característica cervejeira dos grãos, o desenvolvimento de afilhos, a produção de massa seca e o acúmulo de N na parte aérea. As maiores respostas em rendimento de grãos foram observadas entre a emissão da 3a folha à emissão da 7a folha do colmo principal. A aplicação de N antecedendo o início do afilhamento beneficiou a formação de colmos área-1 e grãos espiga-1 e a aplicação no final do afilhamento consolidou o número de espigas área-1 e grãos espiga-1. A aplicação de N no final do afilhamento resultou na maior disponibilidade de N para dar aporte ao processo de acúmulo de massa seca e N, que é intensificado no período de alongamento dos entrenós O aporte de N a estes processos diminuiu a competição entre os colmos e as estruturas reprodutivas, reduzindo a mortalidade de colmos. Até o final do afilhamento, não houve incremento no teor de proteína dos grãos devido à maior produção de massa seca e ao aumento do número de grãos área-1, diluindo o N acumulado na parte aérea neste componente.

Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

Estrutura nuclear de estrelas compactas

Este trabalho tem como objetivo o estudo da matéria nuclear a altas densidades considerando-se as fases hadrônica e de quarks à temperatura nula e finita, com vistas a aplicações no estudo de propriedades estáticas globais de estrelas compactas. Parte dos cálculos apresentados nesta dissertação foram realizados por diferentes autores. Entretanto, em geral, estes trabalhos limitaram-se ao estudo da matéria nuclear em regiões de densidades e temperaturas específicas. Este estudo visa, por sua vez, o desenvolvimento de um tratamento amplo e consistente para estes sistemas, considerando-se diferentes regimes de densidade e temperatura para ambas as fases, hadrônica e de quarks. Buscamos com isso adquirir conhecimento suficiente que possibilite, não somente a ampliação do escopo dos modelos considerados, como também o desenvolvimento, no futuro, de um modelo mais apropriado à descrição de propriedades estáticas e dinâmicas de estrelas compactas. Ainda assim, este trabalho apresenta novos aspectos e resultados inéditos referentes ao estudo da matéria nuclear, como descrevemos a seguir. No estudo da matéria nuclear na fase hadrônica, consideramos os modelos da teoria quântica de campos nucleares desenvolvidos por J. D. Walecka, J. Zimanyi e S. A. Moszkowski, e por J. Boguta e A. R. Bodmer, e conhecidos, respectivamente, como Hadrodinâmica Quântica, ZM e Não-Linear. Nestes modelos a matéria nuclear é descrita a partir de uma formulação lagrangeana com os campos efetivos dos bárions acoplados aos campos dos mésons, responsáveis pela interação nuclear Neste estudo consideramos inicialmente a descrição de propriedades estáticas globais de sistemas nucleares de muitos corpos à temperatura nula, como por exemplo, a massa efetiva do núcleon na matéria nuclear simétrica e de nêutrons. A equação de estado da matéria de nêutrons possibilita a descrição de propriedades estáticas globais de estrelas compactas, como sua massa e raio, através da sua incorporação nas equações de Tolman, Oppenheimer e Volkoff (TOV). Os resultados obtidos nestes cálculos estão em plena concordância com os resultados apresentados por outros autores. Consideramos posteriormente o estudo da matéria nuclear com graus de liberdade de bárions e mésons à temperatura finita, com particular atenção na região de transição de fase. Para este estudo, incorporamos aos modelos considerados, o formalismo da mecânica estatística à temperatura finita. Os resultados obtidos, para as propriedades da matéria nuclear à temperatura finita, concordam também com os resultados obtidos por outros autores. Um aspecto inédito apresentado neste trabalho refere-se à incorporação de valores para os pontos críticos da transição de fase, ainda não determinados por outros autores. O comportamento do calor específico também é analisado de forma inédita nesta dissertação no tratamento utilizado com os modelos Não-Linear e ZM. Utilizamos a equação de estado da matéria de nêutrons à temperatura finita nas equações TOV, determinando propriedades globais de uma estrela protoneutrônica Observamos neste trabalho que ocorre um aumento da massa máxima da estrela com o aumento da temperatura, comportamento este já previsto por outros autores em diferentes modelos. Posteriormente incorporamos ao formalismo à temperatura finita, o equilíbrio químico, a presença de graus de liberdade leptônicos para elétrons e múons e a neutralidade de carga. Apresentamos nesta etapa do trabalho, uma forma alternativa para a incorporação destes ingredientes, baseada na determinação de uma fração relativa entre os potenciais químicos de prótons e nêutrons, à temperatura nula, extendendo este resultado à temperatura finita. Este procedimento permite a determinação da distribuição de núcleons e léptons no interior de uma estrela protoneutrônica, onde incluímos ainda a presença de neutrinos confinados. No estudo da matéria de quarks, consideramos o modelo de sacola do Massachussets Institute of Technology (MIT). Incorporando as equações TOV neste estudo, determinamos propriedades globais de estrelas de quarks, bem como a distribuição dos diferentes sabores de quarks no interior estelar. Como principal resultado, obtivemos uma equação de estado geral para a matéria hadrônica e de quarks, introduzida nas equações TOV, e analisamos a existência de estrelas híbridas. Os resultados obtidos nesta etapa do trabalho são totalmente coerentes com aqueles obtidos por outros autores.

Fatores críticos de sucesso de programas de educação a distância via Internet

Empresas e instituições de ensino têm realizado investimentos significativos na implementação de programas de educação a distância (EAD) que utilizam a Internet como principal tecnologia de informação e comunicação. O atual cenário econômico, cultural e tecnológico favorece a criação de um mercado eletrônico da aprendizagem, justificando tais investimentos. A educação a distância aparenta mover-se em direção da Internet, mas o caminho é difícil por causa das muitas incertezas. Estas incertezas, juntamente com o grande número de variáveis envolvidas nos programas de EAD via Internet, dificultam, para os gestores, que se mantenha o foco nos pontos mais essenciais. Assim, o objetivo deste trabalho é identificar os fatores críticos de sucesso dos programas de educação a distância via Internet. Procura-se ainda, identificar os pontos importantes e os problemas mais críticos na gestão destes programas. Para isso, foram realizadas 9 entrevistas em profundidade com especialistas do assunto no Brasil. Posteriormente, a partir dos resultados destas entrevistas, foram realizados dois estudos de caso, com o programa Iniciando um Pequeno Grande Negócio, do SEBRAE, e com o Núcleo de Aprendizagem Virtual da Escola de Administração da UFRGS. O resultados da pesquisa apontaram a existência de seis fatores críticos de sucesso, ligados à capacitação e à experiência da equipe dos programas de EAD, ao grau de envolvimento dos membros da organização com os programas de EAD, ao conhecimento e à preocupação com as características e comportamento do estudante, ao modelo pedagógico, à tecnologia – em especial a infra-estrutura tecnológica e os softwares utilizados - e à realização de parcerias.

Anomalia na densidade em um gás de rede com interações competitivas

Apesar de ser um líquido comum na natureza, muitas dúvidas ainda pairam sobre várias características da água. A existência de uma relação comum entre o tipo de potencial intermolecular, criticalidade e as várias formas de anomalia existentes nessa substância ainda é uma questão em aberto, apesar da intensa pesquisa que têm-se feito ao longo dos anos sobre esse assunto. Nesta dissertação, propomos a hipótese de que a anomalia na densidade esta correlacionada à presença de multicriticalidade e que ambos os fenômenos surgem de um potencial de duas escalas. Para dar suporte a esta hipótese, além de trabalhos anteriores, usamos e estudamos um gás de rede com interações que competem (primeiros vizinhos Vi atrativos e segundos vizinhos V2repulsivos). Construímos para este sistema um diagrama de fases J.lV8. T usando dois métodos: aproximação de campo médio e simulações. Encontramos na aproximação de campo médio duas linhas críticas, uma das quais encontra a linha de 1~ ordem separando duas fases líquidas, e um ponto tricrítico, dado que V2/V1 < -0.5. Se V2/V1 > -0.5, a transição líquido-líquido desaparece, dando lugar a apenas duas fases, uma líquido e uma gás, separadas por uma linha de coexistência terminada em um ponto crítico Com a aproximação de campo médio não encontramos anomalia na densidade. Os resultados obtidos com as simulações alteram qualitativamente o diagrama de fases. Tanto as linhas críticas quanto os pontos tricríticos tem suas posições modificadas com relação ao campo médio. Neste caso encontramos um comportamento anômalo na densidade se V2/Vl < -0.5. Concluímos que o potencial de duas escalas competitivas é um ingrediente necessário ao aparecimento de anomalia na densidade e coexistência entre duas fases líquidas. Ainda, mostramos que essa anomalia pode estar associada não apenas a dois pontos críticos, como se espera para a água, mas a uma multicriticalidade em geral, tal como linhas críticas.

Função materna e os fenômenos psicossomáticos : reflexões a partir da asma infantil

Na literatura psicanalítica, a gênese dos fenômenos psicossomáticos é situada na dinâmica estabelecida na primeira infância entre o bebê e sua mãe, em uma fase auto-erótica. É relevante para compreender estes fenômenos as formas de operar das funções materna e paterna. Ao estudar a doença asmática neste universo pré-simbólico, refletiu-se sobre a interação psicossomática estabelecida na infância primordial, identificando a asma como um fenômeno 'psicoasmático'. Trata-se de um estudo de cinco casos de díades com crianças asmáticas de até dois anos. O estudo revela que a angústia materna pode incidir de forma operante na díade, sendo a asma infantil compreendida como a própria angústia manifestada no corpo. As crianças asmáticas estão basicamente sob a ingerência materna. As mães parecem ser mais descritivas que interpretativas na leitura das manifestações de seus filhos. Identificou-se a relevância das vivências maternas infantis para a qualidade dos cuidados maternais, evidenciando que quanto menos condições simbólicas tiverem as mães, mais graves poderão ser as manifestações 'psicoasmáticas'. No que diz respeito à função paterna, se mostrou a relativa participação dos pais nos cuidados com seus filhos. Sobressaiu-se que o parceiro não possuía lugar de destaque no investimento libidinal materno. São discutidos os aspectos interatuantes da dinâmica 'psicoasmática'.

Anomalia na densidade em um gás de rede com potencial repulsivo atenuado

Apesar de ser um líquido comum na natureza, muitas dúvidas ainda pairam sobre várias características da água. A existência de uma relação comum entre o tipo de potencial intermolecular, criticalidade e as várias formas de anomalia existentes nessa substância ainda é uma questão em aberto, apesar da intensa pesquisa que têm-se feito ao longo dos anos sobre esse assunto . Nesta dissertação, propomos a hipótese de que a anomalia na densidade está correlacionada à presença de multicriticalidade, e que ambos os fenômenos surgem de um potencial de duas escalas. Para dar suporte a esta hipótese, além de trabalhos anteriores, usamos e estudamos um gás de rede com interações que competem (primeiros vizinhos V1 repulsivos e segundos vizinhos V2 atrativos). Construímos para este sistema um diagrama de fases µ vs. T usando dois métodos: aproximação de campo médio e simulações. Encontramos na aproximação de campo médio duas linhas críticas, uma das quais encontra a linha de 1a ordem separando duas fases líquidas, e um ponto tricrític Com a aproximação de campo médio não encontramos anomalia na densidade. Os resultados obtidos com as simulações alteram qualitativamente o diagrama de fases. Tanto as linhas críticas quanto os pontos tricríticos tem suas posições modificadas com relação ao campo médio. Neste caso encontramos um comportamento anômalo na densidade. Concluímos que o potencial de duas escalas competitivas é um ingrediente necessário ao aparecimento de anomalia na densidade e coexistência entre duas fases líquidas. Ainda, mostramos que essa anomalia pode estar associada não apenas a dois pontos críticos, como se espera para a água, mas a uma multicriticalidade em geral, tal como linhas críticas.

Enchentes, fenômenos cíclicos?

Este estudo foi realizado a partir da observação de uma sucessão de enchentes ocorridas entre os anos de 1936 a 1997, na cidade de Camaquã/RS. Diante da constatação da ocorrência destes fenômenos, fez-se necessário a realização de um estudo mais detalhado e de cunho científico das prováveis causas destas ocorrências. Aliado a isto, foi constatado que as providências adotadas pelas autoridades competentes, tanto da parte técnica quanto das ações políticas, não obtiveram resultados satisfatórios. Visando esclarecer a comunidade local à questão das enchentes do ponto de vista técnico, este estudo apresenta propostas de transformação futura dessa questão por meio de informação, do planejamento participativo, pela consolidação das organizações sociais e por uma nova mentalidade face à água. Partindo-se da experiência de casos similares, procurou-se caracterizar e avaliar os impactos causados pelas enchentes, tendo como objetivos: a elaboração de um mapa de riscos, a definição da cota máxima e mínima das inundações, propor ações mitigadoras frente aos desastres, fornecer subsídios para atualização do Plano Diretor Urbano e auxiliar a Defesa Civil na elaboração de um plano de ação para situações de calamidades públicas, assim como também demonstrar que a ocupação desordenada de áreas urbanas compõe parte das causas das inundações O processo de investigação foi desenvolvido de uma forma empírica, onde a metodologia foi sendo criada pela observação da ocorrência de cheias in loco, auxiliada por levantamentos fotográficos, entrevistas junto a comunidade e análise de documentação histórica que comprovasse tais fenômenos. O plano de pesquisa foi criado a partir da constatação da necessidade de haver um gerenciamento adequado para a questão das inundações dentro do perímetro urbano, através de respostas que fossem convincentes e tecnicamente corretas.Por meio da utilização de levantamentos planialtimétricos elaborou-se um mapa onde foram identificadas áreas de risco em diferentes bairros de Camaquã, fazendo-se também a simulação do avanço da lâmina d’água dentro do perímetro urbano. Os aspectos da hidrogeologia local, caracterizados pelas bacias de contribuição do Arroio Duro, tiveram importância decisiva no desenvolvimento deste estudo, assim como também a análise das questões ambientais, dos problemas de drenagem urbana e de infraestrutura. Apresenta-se um conjunto de propostas que visam minimizar os impactos causados pelas enchentes por meio de ações preventivas, definindo cotas mínimas de alagamentos e identificando áreas de risco dentro do perímetro urbano, assim como, também, alternativas de moradias em áreas alagadiças e um modelo de sinalização da altura da lâmina d’água. Evidenciou-se que as prováveis causas das enchentes não foram apenas influenciadas por vetores naturais, mas, também, pela interferência antrópica no ambiente natural.

Estudo de recapeamentos asfálticos de pavimentos através de ensaios acelerados

O objetivo deste estudo é avaliar o desempenho de recapeamentos asfálticos, aplicados sobre pavimentos severamente trincados, através do acompanhamento da degradação ocorrida em função do tráfego. Foram testados dois tipos de recapeamentos: uma camada de 5,6 cm de espessura, em concreto asfáltico convencional e um tratamento superficial duplo, modificado por polímero SBS. Os recapeamentos asfálticos foram aplicados sobre uma pista experimental já trafegada e realizou-se, artificialmente, um trincamento padronizado buscando reproduzir efeitos similares àqueles provocados pelo fenômeno de fadiga. Utilizou-se a técnica de ensaios acelerados de pavimentos através da utilização de um simulador linear de tráfego, com rodado duplo. A carga de semi-eixo de 50 kN adotada proporcionou a degradação do pavimento três meses de ensaio para cada recapeamento. O monitoramento do pavimento, em termos estruturais e funcionais, fez-se pelo levantamento periódico de deflexões, bacias deflectométricas, afundamentos de trilha de roda e o controle do surgimento de trincas na superfície. Para melhor quantificar e compreender os fenômenos de degradação estrutural, instrumentou-se a pista experimental com sensores (células de tensão total e strain gages) na interface entre pavimento trincado e recapeamentos, obtendo-se tensões e deformações nestes locais, considerados críticos no desempenho de pavimentos recapeados. Durante os períodos de ensaio, foram monitoradas as condições pluviométricas e temperaturas do ar e pavimento. A determinação dos módulos elásticos das camadas das estruturas testadas foi efetuada pela aproximação das bacias obtidas em campo com os dados gerados em uma simulação numérica, através do programa computacional FLAPS. Percebeu-se que, além do tráfego, o trincamento no recapeamento em tratamento superficial foi devido à condição estrutural inicial do pavimento existente, severidade do trincamento artificial incompatível com a espessura desse tipo de restauração e baixas temperaturas. Quanto ao recapeamento em concreto asfáltico, percebeu-se que o maior trincamento surgiu em áreas sem trincas artificiais subjacentes, partindo do fundo da camada asfáltica do pavimento existente, em função da pouca rigidez da camada granular.

Pythonissa: uma linguagem visual para elaboração da previsão do tempo

Uma das maiores dificuldades encontradas pelos técnicos envolvidos na elaboração da previsão do tempo é a falta de integração entre o software de visualização usado por eles e os programas usados para escrever os boletins. Os previsores necessitam de um meio rápido e fácil de gerar previsões com outras formas de apresentação, além do formato de texto em que ela normalmente é produzida. A partir do estudo dessas dificuldades, formulou-se a hipótese de que seria benéfico criar uma linguagem visual para a criação da previsão do tempo, que permitisse gerar tanto o texto de um boletim meteorológico quanto as imagens correspondentes. Este trabalho descreve a especificação dessa linguagem, à qual se deu o nome de Pythonissa. Ela foi definida usando o formalismo de grafos e se constitui de um modelo da estrutura de um boletim de previsão do tempo. Em Pythonissa, cada região geográfica para a qual é feita a previsão é representada por um vértice em um grafo. Os fenômenos presentes na região também são representados por vértices, de outros tipos, ligados à região por arestas que denotam sua presença. Cada tipo de vértice e aresta tem mapeamentos para representações gráficas e para elementos de controle em uma interface com o usuário. A partir da linguagem, foi implementado um protótipo preliminar, no qual é possível criar um boletim de por meio de uma interface visual e gerar o texto e a imagem correspondentes. Foi dado início, também, à construção de um framework para integração da linguagem a um ambiente de visualização de dados, de modo a produzir uma aplicação utilizável em um ambiente de trabalho real. Para isto foram usados o software de visualização Vis5D e a linguagem de scripts Python. A este framework, se deu o nome de Py5D.

Pontos críticos da conexão riemanniana em campos de vetores

Nesta tese nós estudamos e provamos diversos teoremas de existência, unicidade e caracterização, dos pontos e dos valores críticos da conexão riemanniana de uma variedade riemanniana compacta, orientável, agindo nos espaços dos campos diferenciáveis da variedade com norma L2 um e com norma pontual um.

Avaliação dos pontos críticos na armazenagem e transporte de produtos farmacêuticos em áreas de portos, aeroportos, fronteiras e recintos alfandegados

Este trabalho enfoca os aspectos críticos da fiscalização sanitária das cargas de produtos farmacêuticos nas áreas sob a jurisdição da Gerência de Portos, Aeroportos e Fronteiras (GGPAF) da Agência Nacional de Vigilância Sanitária (ANVISA), durante os processos de desembaraço, na importação ou exportação. Para o alcance dos resultados pretendidos, procedeu-se à análise da legislação sanitária vigente, reuniram-se os dados comerciais de importações e exportações, seguindo-se uma avaliação dos documentos da ANVISA e dos relatos fornecidos pelas Coordenações de diversas Unidades de PAF, sobre inspeções físicas das cargas, bem como dos locais de armazenagem das mesmas. A partir destes dados foi elaborado um roteiro de inspeção, validado através de sua aplicação in loco em Terminais Alfandegados. Obteve-se um diagnóstico dos riscos sanitários aos quais estavam submetidos os produtos farmacêuticos, particularmente nas etapas de transporte e armazenamento temporários em áreas aduaneiras, nas quais a responsabilidade sobre o produto não está bem definida. Este documento permitiu comparar os Regulamentos sanitários disponíveis com as práticas dos técnicos envolvidos na fiscalização dessas áreas, constatando-se altas discrepâncias. Diante disso, concluiu-se pela necessidade de harmonização das ações, dos saberes e das informações originadas de cada Unidade Administrativa de PAF. No intuito de colaborar com a consecução desse propósito, esta dissertação apresentou propostas de padronização dos procedimentos de controle sanitário, voltadas a orientar melhores práticas que conduzam à minimização dos riscos associados à atividade em foco.

Novo formalismo semi-empírico para cálculos químico-quânticos

Realizou-se a dedução de um formalismo básico, útil para o desenvolvimento de novas implementações semi-empíricas, partindo de primeiros princípios. A abordagem utilizada é inspirada nos métodos da família HAM, e visa possibilitar o desenvolvimento de uma implementação semi-empírica de última geração que não esteja sujeita às di culdades que ocorrem com métodos da família ZDO. São apresentadas as expressões para a energia total e para os elementos da matriz de Fock segundo este formalismo básico. O emprego de expoentes variáveis nas funções de base (orbitais atômicos) é proposto e modelado com esquemas tipo HAM/3, HAM/4 e polinomial, tomando-se como referência resultados obtidos por cálculo ab initio. Além disso, uma contribuição para produção de conjuntos de dados de referência por cálculo ab initio é fornecida. Esta contribuição permite que sejam produzidos resultados de alto nível para energias eletrônicas a um custo computacional moderado, por meio da extrapola- ção da energia de correlação eletrônica em cálculos com bases correlation consistent de Dunning.