Verificaaao De Modelos
Mostrando 1-12 de 48 artigos, teses e dissertações.
-
1. PRECISE - Um processo de verificaÃÃo formal para modelos de caracterÃsticas de aplicaÃÃes mÃveis e sensÃveis ao contexto / PRECISE - A Formal Verification Process for Feature Models for Mobile and Context-Aware Applications
As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer ada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012
-
2. PADRÃES E TENDÃNCIAS DE MORBIMORTALIDADE E SOBREVIDA EM CRIANÃAS COM AIDS NO BRASIL / PATTERNS AND TRENDS OF MORTALITY AND SURVIVAL IN BRAZILIAN CHILDREN WITH AIDS
A infecÃÃo pelo HIV/aids em crianÃas vem sendo eliminada como problema de saÃde pÃblica em paÃses desenvolvidos, mas mantÃm elevada carga de morbimortalidade naqueles em desenvolvimento. O Brasil se destaca pela polÃtica consistente de controle, especialmente pela adoÃÃo universal/gratuita da HAART em 1996. Esta tese visa caracterizar padrÃes e te
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/03/2011
-
3. REMOVAL OF CHROMIUM AND ZINC BY Aspergillus niger / RemoÃÃo de Cromo e Zinco por Aspergillus niger
Os microrganismos tÃm sido amplamente estudados para remoÃÃo de diversos contaminantes em Ãguas residuÃrias, dentre eles os metais pesados. Este estudo tem como abordagem principal a remoÃÃo de metais tÃxicos pelo fungo filamentoso Aspergillus niger isolado do efluente de uma indÃstria petroquÃmica. A pesquisa foi dividida em duas partes: a primeir
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/03/2010
-
4. InfluÃncia do espaÃamento e da poda apical no tomateiro cultivado no sistema orgÃnico, em ambiente protegido / Influence of the plants spacing and tip pruning in the tomato environment
O presente trabalho teve como objetivo principal avaliar o efeito de quatro espaÃamentos entre plantas, associados a quatro sistemas de poda apical, na produtividade e qualidade dos frutos de tomateiro, no sistema de produÃÃo orgÃnica, sob cultivo protegido. O experimento foi conduzido em ambiente protegido, no Setor de Cultivo OrgÃnico da EstaÃÃo Exp
Publicado em: 2010
-
5. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009
-
6. A methodology for safety verifications and optimum design of pipelines with defects caused by corrosion / Uma metodologia para verificaÃÃo da seguranÃa e dimensionamento Ãtimo de dutos com defeitos causados por corrosÃo
O procedimento mais adequado para verificaÃÃo da seguranÃa de uma estrutura à quantificar a sua probabilidade de falha. A determinaÃÃo deste valor pode ser feita utilizando o mÃtodo de confiabilidade de primeira ordem (FORM), que recai em um problema de otimizaÃÃo para resolver o problema de confiabilidade estrutural. Outra alternativa à aplicar o
Publicado em: 2009
-
7. AvaliaÃÃo da eficÃcia de barreiras sanitÃrias em sistemas para aproveitamento de Ãguas de chuva no semi-Ãrido pernambucano
O uso de cisternas para abastecimento de Ãgua das famÃlias que moram em regiÃes de escassez de recursos hÃdricos constitui uma importante forma alternativa para os moradores dessas localidades, uma vez que se trata de um sistema de captaÃÃo e armazenamento eficiente que emprega dispositivos simples e de custo acessÃvel. Existindo um regime de chuvas q
Publicado em: 2009
-
8. AvaliaÃÃo de cruzamentos de ovinos das raÃas dorper, poll dorset, santa inÃs e somalis brasileira / Assessment of crosses of sheep breeds dorp, poll dorset, santa inÃs and somalis brazilian
O objetivo deste trabalho foi de analisar as caracterÃsticas de crescimento, reprodutivas e de habilidade materna de vÃrios grupos genÃticos compostos pelas raÃas Santa InÃs, Somalis Brasileira, Dorper, Poll Dorset, e seus cruzamentos, avaliando os diversos fatores genÃticos e nÃo genÃticos envolvidos. Foram utilizados registros de peso ao nascer (PN
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/04/2008
-
9. Uma abordagem modular para projeto de software orientado a aspectos
O projeto de software visa descrever os principais aspectos do sistema a ser construÃdo atravÃs de mecanismos que ajudam a raciocinar sobre a complexidade. Dentre as ativi- dades do projeto de software, destaca-se a elaboraÃÃo e documentaÃÃo da arquitetura, um dos principais mecanismos para raciocinar e lidar com essa complexidade. Uma das principais m
Publicado em: 2008
-
10. Anteprojeto de cÃlula robotizada de pintura para aplicaÃÃes aeronÃuticas.
Um progresso substancial tem sido feito no desenvolvimento de sistemas de pintura automatizados nos Ãltimos anos, particularmente na aplicaÃÃo de robÃs em linhas de pintura automotivas e outros ramos industriais. Embora seja estimulado pela necessidade de reduÃÃo de custos da pintura por item, estes sistemas robotizados de pintura tambÃm podem fornece
Publicado em: 2008
-
11. AdsorÃÃo de compostos fenÃlicos sobre carvÃo ativado / Adsorption of phenolic compounds on actived carbon
Neste estudo foi avaliada a capacidade de adsorÃÃo de fenÃis sobre carvÃo ativado. O carvÃo utilizado neste trabalho foi preparado quimicamente a partir do endocarpo de coco e apresentou Ãrea superficial de 1181 m2g-1. Foram realizados testes cinÃticos, de equilÃbrio e termodinÃmicos, alÃm de testes para verificar a influÃncia de parÃmetros fÃsi
Publicado em: 2008
-
12. MODELOG : model-oriented development with executable logical object generation
UML (Unified Modeling Language) transpÃs sua proposta inicial de servir como notaÃÃo visual para construir rascunhos de modelos de alto nÃvel para software orientado a objetos. Uma sÃrie de extensÃes para a linguagem e o escopo de suas aplicaÃÃes foram propostas com forte sinergia entre si, tais como OCL, XMI, ASL, MOF, perfis UML e diferentes propos
Publicado em: 2007