958 resultados para Minimização de funcionais


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este trabalho tem como objetivo desenvolver e empregar técnicas e estruturas de dados agrupadas visando paralelizar os métodos do subespaço de Krylov, fazendo-se uso de diversas ferramentas e abordagens. A partir dos resultados é feita uma análise comparativa de desemvpenho destas ferramentas e abordagens. As paralelizações aqui desenvolvidas foram projetadas para serem executadas em um arquitetura formada por um agregado de máquinas indepentes e multiprocessadas (Cluster), ou seja , são considerados o paralelismo e intra-nodos. Para auxiliar a programação paralela em clusters foram, e estão sendo, desenvolvidas diferentes ferramentas (bibliotecas) que visam a exploração dos dois níveis de paralelismo existentes neste tipo de arquitetura. Neste trabalho emprega-se diferentes bibliotecas de troca de mensagens e de criação de threads para a exploração do paralelismo inter-nodos e intra-nodos. As bibliotecas adotadas são o DECK e o MPICH e a Pthread. Um dos itens a serem analisados nestes trabalho é acomparação do desempenho obtido com essas bibliotecas.O outro item é a análise da influência no desemepnho quando quando tulizadas múltiplas threads no paralelismo em clusters multiprocessados. Os métodos paralelizados nesse trabalho são o Gradiente Conjugação (GC) e o Resíduo Mínmo Generalizado (GMRES), quepodem ser adotados, respectivamente, para solução de sistemas de equações lineares sintéticos positivos e definidos e não simétricas. Tais sistemas surgem da discretização, por exemplo, dos modelos da hidrodinâmica e do transporte de massa que estão sendo desenvolvidos no GMCPAD. A utilização desses métodos é justificada pelo fato de serem métodos iterativos, o que os torna adequados à solução de sistemas de equações esparsas e de grande porte. Na solução desses sistemas através desses métodos iterativos paralelizados faz-se necessário o particionamento do domínio do problema, o qual deve ser feito visando um bom balanceamento de carga e minimização das fronteiras entre os sub-domínios. A estrutura de dados desenvolvida para os métodos paralelizados nesse trabalho permite que eles sejam adotados para solução de sistemas de equações gerados a partir de qualquer tipo de particionamento, pois o formato de armazenamento de dados adotado supre qualquer tipo de dependência de dados. Além disso, nesse trabalho são adotadas duas estratégias de ordenação para as comunicações, estratégias essas que podem ser importantes quando se considera a portabilidade das paralelizações para máquinas interligadas por redes de interconexão com buffer de tamanho insuficiente para evitar a ocorrência de dealock. Os resultados obtidos nessa dissertação contribuem nos trabalhos do GMCPAD, pois as paralelizações são adotadas em aplicações que estão sendo desenvolvidas no grupo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O sucesso da Internet como plataforma de distribuição de sistemas de informação encoraja organizações a disponibilizar serviços presentes em seus sistemas legados nesse ambiente. Uma parte desses sistemas foi desenvolvida na fase inicial do desenvolvimento das aplicações cliente/servidor para banco de dados, usando ambientes visuais com interfaces gráficas tipo WIMP, implementadas sob o paradigma procedimental/estruturado, baseado em objetos e eventos. Como conseqüência, produziu-se sistemas legados difíceis de manter, evoluir e adaptar a novas tecnologias e arquiteturas, pois os projetos desenvolvidos não seguiam, na maioria das vezes, os bons preceitos e práticas modernas defendidas na Engenharia de Software. O objetivo deste trabalho é propor uma metodologia para migrar sistemas legados com as características citadas acima para a plataforma Web. O processo de migração proposto destaca duas estratégias: a elaboração de modelos de classes conceituais da aplicação e o tratamento dado à interface do usuário, para serem utilizados na reconstrução de uma nova aplicação. O processo é baseado em técnicas e métodos de engenharia reversa, que visa obter abstrações por meio de análise estática e dinâmica da aplicação. Na análise dinâmica, destaca-se o mecanismo para recuperar aspectos dos requisitos funcionais do sistema legado e representá-los na ferramenta denominada UC/Re (Use Case para Reengenharia). Todos os artefatos gerados durante o processo podem ser armazenados em um repositório, representando os metamodelos construídos na metodologia. Para delimitar e exemplificar o processo, escolheu-se como domínio de linguagem de programação do software legado, o ambiente Delphi (sob a linguagem Object Pascal). É proposto também um ambiente CASE, no qual é descrito o funcionamento de um protótipo que automatiza grande parte das funcionalidades discutidas nas etapas do processo. Algumas ferramentas desenvolvidas por terceiros são empregadas na redocumentação do sistema legado e na elaboração dos modelos UML do novo sistema. Um estudo de caso, apresentando uma funcionalidade específica de um sistema desenvolvido em Delphi, no paradigma procedimental, é usado para demonstrar o protótipo e serve de exemplo para a validação do processo. Como resultado do processo usando o protótipo, obtém-se o modelo de classes conceituais da nova aplicação no formato XMI (formato padrão para exportação de modelos UML), e gabaritos de páginas em HTML, representando os componentes visuais da interface original na plataforma Web.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este trabalho tem como objetivo estudar a influência do tratamento superficial, através da técnica de nitretação a plasma, no processo de fresamento com fresas de aço rápido AISI M2. Foram investigados os efeitos deste tratamento superficial no processo de corte, variando-se a forma de refrigeração/lubrificação das fresas com fluído de corte convencional (emulsão) em abundância, com minimização e sem fluído (lubrificação a seco). Na nitretação, a composição da mistura de gases utilizada nos experimentos foi de 5% N2 e 95% H2 em volume, a uma pressão de tratamento de 5 mbar (3,8 Torr). A temperatura utilizada foi de 440oC, durante um tempo de tratamento de 30 minutos, resultando em uma camada nitretada com uma zona de difusão com aproximadamente 8µm de profundidade. As ferramentas empregadas no processo de fresamento foram investigadas através de medição de forças de usinagem, medições de desgaste na superfície de incidência (flanco) e na superfície de saída (face), sendo as camadas nitretadas caracterizadas por metalografia óptica e microdureza. Foi observado um desempenho superior das fresas nitretadas apenas para as condições de corte a seco.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O esporte e, principalmente, o futebol, como negócio, tem evoluído muito nos últimos tempos. A indústria do esporte movimenta, anualmente, US$ 250 bilhões no mundo. No Brasil, o negócio do esporte está em fase de grande crescimento: somente o futebol movimenta US$ 2 bilhões anuais, representando 0,01% do PIB. Portanto, este campo de atividade vem estabelecendo fortes ligações com a atividade empresarial. A consulta à literatura, porém, mostra que, até agora, pouco está sendo realizado em direção à empresarização* do futebol e à conseqüente transformação dos clubes em empresa. Este estudo pretende compreender e interpretar a realidade e as ações, assim como verificar a natureza holística. Para tanto, utiliza o paradigma interpretativo que, segundo ARNAL, DEL RINCÓN & LATORRE (1994), objetiva ter imagens multifacetadas do fenômeno que se estuda, tal como este se manifesta nas distintas situações e contextos implicados. Pretende colaborar na interpretação dos processos de profissionalização do futebol, alargando, assim, as fronteiras da teoria nessa área do conhecimento. Trata-se, portanto, de situar as estratégias de transformação das estruturas amadoras e gestão dos clubes de futebol em empresas. Além disso, caminhando um pouco mais, apresenta-se uma visão desse novo contexto sob a ótica das estratégias de negócio. A partir disso, os objetivos do estudo são os de identificar as estratégias utilizadas na transição e formação do clube como empresa e a descrição das estratégias de negócio utilizadas por esse na organização como tal. A fim de cumprilos, discutem-se as estratégias de negócio sob o prisma das dimensões de mercado, nível de investimentos, habilidades e estratégias funcionais e parte-se para a busca de elementos práticos que sustentem a teoria. Para tanto, através de um estudo de casos reais, pesquisaram-se os impulsos adotados nas estratégias de negócio desses clubes. Como resultados, podemos dizer que o rumo a ser seguido nos clubes de futebol no que tange a estratégias de negócio, na sua transição de clube social esportivo para uma estrutura empresarial, abrange: a sinergia com parceiros que possibilitem a criação de vantagem competitiva sustentável pela associação de habilidades; a diferenciação da forma de administrar esses clubes e o conseqüente estabelecimento de vantagem competitiva pela transparência e eficiência na sua relação com os parceiros; a formação de jogadores nas suas categorias de base, como forma de criar um foco central sustentável e de baixo custo para os seus negócios; e a utilização, como estratégia, do poder da marca na criação de vantagem competitiva sustentável, como base nas relações de negócio do clube.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A reciclagem de resíduos sólidos industriais tem-se tornado uma prática indispensável na preservação de recursos naturais, minimização de custos e redução de impacto ambiental. Dentro deste contexto destaca-se a indústria da construção civil, com enorme potencial de reciclagem, tendo em vista o grande volume de materiais consumidos. A utilização de materiais alternativos neste setor é uma prática economicamente atraente e ambientalmente correta. Sendo assim, o emprego de escórias como matéria-prima em estradas, aterro, concreto e cimento já é uma prática corrente, onde o destino mais nobre destes materiais recicláveis depende da existência de características adequadas ao uso proposto. A escória granulada de fundição (EGF) é um resíduo gerado no processo de fusão de sucatas de ferro fundido via forno cubilô. Ensaios realizados mostram que esta escória, quando finamente moída, apresenta propriedades pozolânicas. Além disso, sua estrutura amorfa, resultante do processo de geração através de resfriamento brusco e composição química adequada podem permitir uma aplicação nobre deste resíduo, como substituição ao cimento. Este trabalho tem como objetivo estudar a viabilidade da utilização de escória granulada de fundição como substituição de parte do cimento em concreto, através da avaliação de suas propriedades mecânicas. Para tanto foram moldados corpos-de-prova de concreto com diferentes combinações de teores de substituição de cimento por escória granulada de fundição (10%, 30% e 50%), em volume, e relações água/aglomerante (0,40; 0,55 e 0,70), comparando-se com o concreto referência. Para cada idade do concreto (7, 28 e 91 dias) realizaram-se ensaios mecânicos, tais como, resistência à compressão uniaxial, resistência à tração por compressão diametral e resistência à tração na flexão. Além disso, foram realizadas avaliação da microestrutura e caracterização ambiental de concretos com EGF, comparativamente ao concreto referência. Os resultados mostram que o teor de 10% de substituição de cimento por escória granulada de fundição, em volume, apresentou desempenho mecânico similar ao concreto referência. A caracterização ambiental dos concretos com EGF mostra que este material é considerado inerte (NBR 10004).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O carrapato Boophilus microplus é um dos mais importantes ectoparasitas dos rebanhos bovinos, estando em todas as áreas tropicais e subtropicais entre o paralelo 32 °N e 32 °S, abrangendo regiões que se dedicam à pecuária na América, África, Ásia e Oceania. O controle do carrapato B. microplus é realizado principalmente com o uso de acaricidas, entretanto devido a crescente preocupação com os problemas criados pela poluição química do ambiente, ao alto custo e toxicidade das drogas e ao aparecimento de carrapatos resistentes aos acaricidas, alternativas para o controle do B. microplus devem ser encontradas. A sobrevivência dos carrapatos depende grandemente da sua capacidade de evadir o sistema imunológico dos hospedeiros, portanto antígenos da glândula salivar poderiam ser alvos para intervenção imunoprofilática. Neste trabalho foram isolados cDNAs não previamente descritos correspondentes a antígenos presentes na glândula salivar. cDNAs que codificam para proteínas similares a paramiosina e calreticulina foram seqüenciados, expressos em Escherichia coli e as proteínas recombinantes purificadas, tendo sido produzidos soros policlonais contra as proteínas recombinantes em coelhos. As seqüências foram caracterizadas e alinhamentos múltiplos com outras seqüências foram determinados. O gene da calreticulina mostrou ser expresso em todos os estágios e tecidos testados, tanto em experimentos de RT-PCR quanto de Western blot, tendo sido demonstrado também a sua secreção pela saliva. Análise filogenética indica o agrupamento do gene de B. microplus com seqüências de outros artrópodos. Soros de bovinos infestados não reconhecem a calreticulina recombinante, apesar dela ser reconhecida pelo soro de cães infestados pelo carrapato Rhippicephalus sanguineus. A paramiosina mostrou-se, em ensaios de Western blot, também estar presente em todos os estágios testados, porém não na saliva. A paramiosina recombinante foi capaz de ligar colágeno e IgGs. Ambas as proteínas correspondem a proteínas multi-funcionais possivelmente envolvidas na imunomodulação do hospedeiro, tendo sido sugeridas como imunógenos protetores contra outros parasitas.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A partir da metade da década de 1980, no Brasil, aconteceram uma série de mudanças, entre elas o ressurgimento da sociedade civil, a retomada da democracia, a aplicação de políticas neoliberais com a conseqüente minimização do Estado, a descentralização das políticas públicas e o surgimento da questão ambiental. Ao mesmo tempo em que o Estado perdeu poder no âmbito econômico, conservou boa parte da sua capacidade reguladora, convertendo-se num Estado “atuante”. Neste contexto de mudanças, se implementaram no Brasil projetos centrados no manejo e conservação dos recursos naturais, financiados, executados e avaliados pela articulação entre o Banco Mundial e os governos estaduais e federal. Entre eles, dois projetos destacam-se por terem alcançado as suas metas programadas, o “Paraná Rural” e o “Microbacias” implementados respectivamente nos Estados do Paraná (1989-1997) e Santa Catarina (1991-1999). Estes começaram como projetos “agronômicos”, característicos dos anos setenta e oitenta, mas se transformaram em projetos tipicamente sócio-ambientais com a idéia de sustentabilidade em seu cerne operativo, incorporando a microbacia hidrográfica como unidade operacional. Além disso, se destacaram pela “descentralização” das ações, deslocando responsabilidades aos diferentes atores, estimulando uma crescente “participação” dos beneficiários e incorporam a dimensão ambiental nos seus componentes Este trabalho analisa comparativamente as características originais dos projetos, a sua evolução experimentada, os principais resultados, as mudanças introduzidas, os limites encontrados e o aprendizado de sua implementação. Além disso, se examinam aspectos como o papel da sociedade civil, descentralização, políticas de redes e capital social, noções teóricas que ajudam à interpretação das políticas públicas atuais. Finalmente, se analisa a influência da discussão em relação à questão ambiental e à utilização da noção de microbacia hidrográfica como unidade de planejamento e ação. Nas avaliações constatou-se que os projetos lograram superar suas metas programadas, mesmo com diferentes graus nas distintas regiões, obtendo-se um adequado controle da erosão dos solos, aumento da produtividade, diminuição da poluição das águas e melhoramento da infra-estrutura de estradas, entre outros. Ao mesmo tempo, geraram-se condições, em virtude da dinâmica ocorrida, que criaram situações novas de cooperação social e que ampliaram as possibilidades de construir novas iniciativas econômicas e sociais Além disso constatou-se um alto envolvimento das entidades públicas e privadas e dos agentes locais na participação dos projetos, maior participação da assistência técnica, e um significativo comprometimento das prefeituras. Os resultados alcançados estiveram relacionados com as estratégias operacionais implementadas, que tinham os pressupostos básicos das políticas de redes. Os trabalhos nas microbacias hidrográficas foram pautados em arranjos ou acordos institucionais que permitiram a descentralização das decisões e das ações, e, junto à participação dos beneficiários, permitiram congregar e estimular o capital social comunitário.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Recentes avanços nas tecnologias e métodos de produção e seu impacto sobre a competitividade das empresas têm atraído a atenção daqueles ligados às atividades empresarial e acadêmica. Aumentam as alternativas e as implicações quando tomam-se decisões que influenciam a maneira com que empresas competem no mercado. É necessário coerência entre as atividades das diversas áreas funcionais de forma a propiciar ações coordenadas e alinhadas aos objetivos das organizações. Este estudo aborda, a partir da perspectiva de produção, a relação entre produção e marketing. Analisa-se informações coletadas em duas empresas confrontado-as com uma revisão bibliográfica realizada sobre o assunto. Diferentes realidades foram encontradas nas empresas estudadas. Em uma delas tem-se a integração entre as áreas, enquanto na outra ocorrem conflitos com impactos negativos sobre seu desempenho. Através do entendimento das áreas de produção e marketing, evidencia-se a importância de seu bom relacionamento. Verificam-se pontos de conflito e suas causas, mecanismos que proporcionam integração e as implicações para as empresas. Finalmente, conclui-se que, apesar da grande importância da relação entre produção e marketing, o assunto não é dominado. Faltam conceitos, raciocínio e linguagem desenvolvidos. Além disto, em ambos os casos, a área de produção tende a se concentrar em aspectos operacionais.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A ultra-sonografia obstétrica é um método diagnóstico tradicionalmente utilizado na rotina do atendimento pré-natal, tendo sido estudados de forma ampla suas vantagens e limitações. O advento do diagnóstico intra-uterino de cardiopatias congênitas e de arritmias através da ecocardiografia fetal modificou completamente o prognóstico perinatal dessas afecções, por permitir planejar o adequado manejo cardiológico no período neonatal imediato e, em algumas situações, o tratamento e sua resolução in utero. Sendo muito elevada a prevalência de cardiopatias congênitas durante a vida fetal, sua detecção torna-se fundamental. Considerando a inviabilidade operacional de realizar rotineiramente ecocardiografia fetal em todas as gestações, levando-se em conta as condições locais do sistema de saúde, o encaminhamento para exame por especialista passa a ser otimizado com a possibilidade da suspeita de alterações estruturais ou funcionais do coração e do sistema circulatório durante o exame ultra-sonográfico obstétrico de rotina. Não são conhecidos, em nosso meio, dados que avaliem de forma sistemática a acurácia da ultra-sonografia obstétrica no que se refere à suspeita pré-natal de cardiopatias. A partir deste questionamento, este trabalho foi delineado com o objetivo de avaliar o papel da ultra-sonografia obstétrica de rotina na suspeita pré-natal de cardiopatias congênitas ou arritmias graves e os fatores envolvidos na sua efetividade. A amostra foi constituída de 77 neonatos ou lactentes internados no Instituto de Cardiologia do Rio Grande do Sul / Fundação Universitária de Cardiologia (IC/FUC) no período de maio a outubro de 2000, com diagnóstico pós-natal confirmado de cardiopatia estrutural ou arritmia grave, que tenham sido submetidos, durante a vida fetal, a pelo menos uma ultra-sonografia obstétrica após a 18a semana de gestação. Para a coleta de dados, foi utilizado um questionário padronizado, respondido pelos pais ou responsáveis, após consentimento informado. As variáveis categóricas foram comparadas pelo teste do qui-quadrado ou pelo teste de Fisher, com um alfa crítico de 0,05. Um modelo de regressão logística foi utilizado para determinar variáveis independentes eventualmente envolvidas na suspeita pré-natal de cardiopatia. Em 19 pacientes (24,7%), a ultra-sonografia obstétrica foi capaz de levantar suspeita de anormalidades estruturais ou de arritmias. Ao serem consideradas apenas as cardiopatias congênitas, esta prevalência foi de 19,2% (14/73). Em 73,7% destes, as cardiopatias suspeitadas eram acessíveis ao corte de 4-câmaras isolado. Observou-se que 26,3% das crianças com suspeita pré-natal de cardiopatia apresentaram arritmias durante o estudo ecográfico, enquanto apenas 3,4% dos pacientes sem suspeita pré-natal apresentaram alterações do ritmo (P=0,009). Constituiram-se em fatores comparativos significantes entre o grupo com suspeita pré-natal e o sem suspeita a paridade (P=0,029), o parto cesáreo (P=0,006), a internação em unidade de tratamento intensivo (P=0,046) e a escolaridade paterna (P=0,014). Não se mostraram significativos o número de gestações, a história de abortos prévios, o estado civil, o sexo dos pacientes, o tipo de serviço e a localidade em que foram realizados o pré-natal e a ultra-sonografia obstétrica, a indicação da ecografia, o número de ultra-sonografias realizadas, a renda familiar e a escolaridade materna. À análise multivariada, apenas a presença de alteração do ritmo cardíaco durante a ultra-sonografia obstétrica mostrou-se como variável independente associada à suspeita pré-natal de anormalidade cardíaca. Este trabalho demonstra que a ultra-sonografia obstétrica de rotina ainda tem sido subutilizada no rastreamento pré-natal de cardiopatias congênitas, levantando a suspeita de anormalidades estruturais em apenas um quinto dos casos. Considerando a importância prognóstica do diagnóstico intra-uterino de cardiopatias congênitas e arritmias graves, todos os esforços devem ser mobilizados no sentido de aumentar a eficácia da ecografia obstétrica de rotina para a suspeita de anormalidades cardíacas fetais. O treinamento dirigido dos ultra-sonografistas e a conscientização do meio obstétrico e da própria população são instrumentos para esta ação.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Esta dissertação apresenta a Modelagem Estocástica de Sistemas Hierárquicos de Estoques (SHEs) como um instrumento de uso gerencial, orientado para a maximização do nível de serviço oferecido aos consumidores finais e a minimização do nível global de estoques em uma cadeia de abastecimento. Tal modelagem envolve otimização de sistemas não-lineares com integrais indefinidas, normalmente tratados através de simulação, dada a impossibilidade de estabelecer uma solução analítica para o problema. Neste trabalho, diferentemente, a solução é obtida através da otimização do sistema, a partir de uma modelagem que estabelece os níveis de estoque-alvo, os pontos de reposição de estoques, os níveis de serviço oferecidos aos consumidores finais e o nível ótimo global de estoques. A sua operacionalização utiliza um aplicativo computacional, projetado e desenvolvido especificamente para este fim. Estruturas hierárquicas, quando otimizadas localmente, em cada um de seus níveis, podem apresentar resultados subótimos em nível global. Assim, não é suficiente identificar os ótimos locais para compor uma solução otimizadora para o sistema. Para resolver esse problema, a maior parte dos pesquisadores utiliza simulação. A qualidade das soluções assim obtidas geralmente é inferior à qualidade da solução obtida mediante otimização global do sistema A presente modelagem tem como objetivo gerar soluções mais qualificadas para o problema da otimização de SHEs. Nesta dissertação, as principais abordagens para otimização de SHEs são apresentadas e analisadas, com destaque para o trabalho de Rosenbaum (1981), cujos resultados, obtidos através de simulação, são comparados com os resultados deste trabalho.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Esta dissertação trata dos critérios para a elaboração de projetos para edificações escolares, em especial destinadas para a educação infantil e ensino fundamental, considerando a sua inserção no contexto ambiental, constituindo, assim, uma concepção arquitetônica bioclimática. Nessa perspectiva a implantação, a geometria, a organização espacial e os parâmetros construtivos do edifício contribuem na materialização de espaços adequados aos requisitos didático-pedagógicos e funcionais e, em especial, às exigências de conforto ambiental dos usuários, de maneira que a escola, na sua configuração física, se constitua em um elemento promotor do desenvolvimento intelectual, social e afetivo da criança. A partir da concepção global baseada nos princípios da bioclimatologia, o trabalho estabelece as necessidades para condicionamento ambiental determinadas pela caracterização climática de Passo Fundo – RS (clima subtropical úmido de altitude), explorando as estratégias solares passivas que utilizam a própria envoltória da edificação na seleção daqueles elementos ambientais externos favoráveis ao aquecimento, resfriamento, ventilação, proteção à radiação solar e iluminação, a fim de agregar aos critérios funcionais de projeto para escolas a maximização do uso desses fatores naturais e a racionalização do uso de energias não-renováveis, tendo como objetivo contribuir para um gradual desenvolvimento sustentável O trabalho aborda a legislação existente pertinente às edificações escolares, bem como apresenta exemplos de escolas solares passivas, com a aplicação de estratégias válidas para as condições locais, confrontadas com estudo de caso simplificado, a fim de que a implementação das sugestões apontadas demostre a sua viabilidade de aplicação.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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 científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados nesta são propagados para as fases posteriores. Quanto mais avançado estiver o desenvolvimento, mais caro custa reparar um erro introduzido nas fases iniciais, pois isto envolve reconsiderar vários estágios do desenvolvimento. A prototipação permite que os requisitos do software sejam validados logo no início do desenvolvimento, evitando assim a propagação de erros. Paralelamente, a utilização de métodos formais visa revelar inconsistências, ambigüidades e falhas na especificação do software, que podem caso contrário, não serem detectadas. Usar a prototipação de software juntamente com uma notação formal enfatiza a especificação do problema e expõe o usuário a um sistema “operante” o mais rápido possível, de modo que usuários e desenvolvedores possam executar e validar as especificações dos requisitos funcionais. O objetivo principal deste trabalho é instanciar uma técnica da área de Prototipação de Software que capacite o engenheiro de software gerar automaticamente protótipos executáveis a partir de especificações formais de tipos abstratos de dados, na notação PROSOFT-algébrico, visando a validação dos requisitos funcionais logo no início do desenvolvimento do software. Para tanto foi proposto um mapeamento da linguagem PROSOFT-algébrico para OBJ. Como OBJ possui um eficiente sistema de reescrita de termos implementado, a utilização deste propicia a prototipação de tipos abstratos de dados, especificados em PROSOFT-algébrico. Os componentes envolvidos na definição deste trabalho, assim como o mapeamento entre as linguagens, foram especificados algebricamente e implementados no ambiente de desenvolvimento de software PROSOFT. A implementação serviu para validar o mapeamento proposto através de dois estudos de caso. Por fim, são apresentadas as conclusões alcançadas e as atividades adicionais vislumbradas a partir do trabalho proposto.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

No presente trabalho foram caracterizadas as frações de substâncias húmicas resultantes do processo de extração alcalina da turfa, utilizando hidróxido de potássio, tendo em vista sua utilização na composição de um fertilizante organo-mineral. As substâncias húmicas foram fracionadas em humina, substância húmica (humato e fulvato de potássio), ácido fúlvico, ácido húmico e ácido húmico purificado, não sendo possível realizar a purificação do ácido fúlvico. Foram avaliadas a presença e distribuição do potássio nestas frações, verificando-se que após a extração, 78% do potássio ficou agregado na fração substância húmica e 22% na fração humina. Após a separação da fração substância húmica em ácido húmico e ácido fúlvico observou-se que 7% e 93% do potássio, respectivamente, ficaram distribuídos nessas frações. Comparando-se a diferença de teores de potássio entre as frações de ácido húmico purificado e não purificado, e a quantidade de potássio encontrado na água da diálise verificou-se a eficiência da utilização do processo de diálise para a purificação das substâncias húmicas, bem como a adequabilidade da metodologia para a análise de potássio. Também foram determinadas nas frações a análise elementar; razão E4/E6, a qual confirmou a maior condensação aromática da fração ácido húmico; presença de grupos funcionais na estrutura das substâncias húmicas, verificado qualitativamente através de espectroscopia no infravermelho, e quantitativamente grupos carboxílicos, OH-fenólico e carbonila, responsáveis pela acidez dessas substâncias. Os resultados obtidos quanto à presença de grupos funcionais e razão E4/E6, confirmaram a existência do ácido húmico no extrato da turfa, porém ficou evidenciada ausência de ácido fúlvico ou sua presença em pequena quantidade no material extraído.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Partindo de ciclopentadieno, ciclohexadieno, p-benzoquinona e 2,5-dibromo-pbenzoquinona, os adutos 1, 5, 30 e 31 foram sintetizados. Os adutos 1, 5 e 30 foram utilizados como produtos de partida para a síntese de 13 (treze) novos compostos, em sua maioria com potenciais características para apresentarem atividade biológica inibidora de glicosidases e reguladora da liberação de Insulina no sangue. O aduto 31 é inédito na literatura até o momento. Cinco novas propostas de mecanismos são apresentadas. Os álcoois racêmicos 6 e 29 foram submetidos a reações de transesterificação catalisadas por lipase de Pseudomonas cepacia em diferentes preparações e seus enantiômeros separados com enantiosseletividade (E) maior que 100 em todos os casos. Este processo resultou, também, na obtenção dos respectivos acetatos 43 e 44 enantiomericamente puros e com excelentes rendimentos químicos. Os compostos 6, 29 e 34 depois de terem suas estruturas moleculares resolvidas através dos métodos espectroscópicos de rotina, tiveram suas estruturas moleculares calculadas pelo método ab initio e por Funcionais de Densidade. As geometrias otimizadas foram submetidas ao método GIAO para o cálculo dos tensores de blindagem magnética isotrópica. Estes cálculos mostraram-se eficazes na descrição dos deslocamentos químicos da maioria dos átomos, incluindo os dos anéis ciclopropanos presentes nas estruturas moleculares de cada composto. Algumas dificuldades foram encontradas para a descrição do sistema vinílico halogenado dos álcoois 6 e 29. Foram utilizadas moléculas modelo para verificar a extensão de tais dificuldades.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Substâncias carcinogênicas são diariamente lançadas no meio ambiente, tanto na atmosfera quanto em corpos hídricos. Estas são capazes de ligar-se a proteínas constituintes de tecidos vivos produzindo um carcinoma, cuja probabilidade de formação depende da afinidade do poluente com os grupos funcionais presentes nos substratos protéicos. Contudo, os mecanismos pelos quais ocorre a formação do carcinoma não estão totalmente esclarecidos. Alguns modelos baseados em propriedades moleculares foram formulados na tentativa de prever quais serão os mecanismos, compostos intermediários e produtos finais de reação. Porém, esses modelos apresentam sérias limitações por não levarem em conta a dinâmica do processo reativo. Para que se possa estimar os mecanismos, é preciso detectar a formação ou ruptura de ligações ao longo do tempo, o que torna necessário utilizar modelos transientes. O presente trabalho apresenta um modelo que resolve a equação de Schrödinger dependente do tempo para verificar qual o mecanismo de reação entre uma substância carcinogênica e um aminoácido. A simulação do cenário transiente proposto requer um baixo tempo de processamento e possibilita uma fácil interpretação dos resultados obtidos.