Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010

Made available in DSpace on 2014-06-12T15:57:28Z (GMT). No. of bitstreams: 2 arquivo3199_1.pdf: 729356 bytes, checksum: 6c269a282f3e408a30566d12c64fac0e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Os contratos (modelos que descrevem mais detalhadamente a arquitetura e os componentes) podem ser utilizados para a construção de softwares corretos. Esta construção pode ser realizada através do (1) cálculo de refinamento, (2) refinamento da estratégia e (3) fazendo a geração automática de código. Embora (1) e (2) são soluções corretamente comprovadas, eles requerem bastante esforço. Por outro lado, (3) é uma solução mais simples para derivação do código. No entanto, esta solução não pode fornecer um código confiável em relação aos seus contratos (ao menos que se comprove que o gerador de código é correto). Este trabalho propõe uma estratégia de testes baseados em modelos para verificar se determinado gerador de código é correto. A estratégia inicia-se com JML (linguagem baseada em contrato utilizada no Java) usando como estudo de caso o JavaCard, JMLe (um gerador de código baseado em JML) e o Jartege (gerador de testes baseados em modelos). Além disso, através deste trabalho é realizado um experimento onde é investigado o número de erros encontrados no jmle variando os valores do parâmetros do Jartege no nosso estudo de caso

Made available in DSpace on 2014-06-12T17:42:04Z (GMT). No. of bitstreams: 2 arquivo7382_1.pdf: 4232394 bytes, checksum: d41937ffc8389394f197037ee29012cb (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Em todo o mundo a preocupação com a preservação do patrimônio histórico é evidente, visto que surge como uma opção para o turismo cultural, dinamizando a economia, gerando novos negócios, em áreas históricas ociosas e agregando novos valores. Os Centros Históricos em todo o mundo que passaram por processos de Revitalização, tiveram suas edificações adaptadas para comportar novos usos, necessários para promover a dinamização social e econômica destas áreas. Com os novos usos, materiais de acabamentos, sistemas construtivos e equipamentos associados ao desenvolvimento das atividades, introduziram-se riscos de incêndio que anteriormente não existiam nas edificações surgindo então a necessidade de gerenciá-los. Neste quadro se insere a preocupação com a segurança contra incêndio no Bairro do Recife dada a sua importância cultural, visto que resume em seu perímetro mais de quatro séculos de formação de uma cidade, além de sua importância para a economia do Estado de Pernambuco na geração de novos negócios. O presente trabalho apresenta um mapeamento da percepção do risco de incêndios e seus impactos associados pelos usuários do Bairro do Recife. A percepção do risco de incêndios e o comportamento de resposta humano em incêndios são analisados numa visão de desempenho. Esta abordagem sobre a segurança contra incêndios em Espaços Urbanos Históricos objetiva facilitar o entendimento dos riscos implícitos nestas áreas apresentando uma metodologia para o gerenciamento de riscos de incêndios em Espaços Urbanos Históricos

Construção de software com qualidade tem motivado diversas pesquisas na área de Engenharia de Software. Problemas como a grande complexidade requerida pelas aplicações atuais e a necessidade de gerenciamento de um número cada vez maior de pessoas envolvidas em projetos são obstáculos para serem transpostos. Trabalhos relacionados a tecnologia de processos de software aparecem como uma proposta para se obter maior controle das atividades realizadas com o intuito de se obter maior qualidade. A simulação de processos de software, através da representação dos passos definidos em um modelo, tem sido utilizada no auxílio a gerentes de projetos de sistemas para fornecer-lhes informações preciosas sobre o desenvolvimento de um sistema especificado. A representação de conhecimento a respeito das características relacionadas a um ambiente de desenvolvimento ajuda na obtenção de simulações mais realísticas. A partir do modelo, o simulador obtém uma descrição do ambiente em que deve atuar, baseado no conhecimento que se tem a respeito do ambiente. Esse trabalho apresenta um modelo de simulação de processos de software baseado em conhecimento para ser inserido em um ambiente de engenharia de processos de software. A função do modelo é simular um processo de software instanciado, procurando detectar inconsistências no mesmo que possam gerar problemas durante a sua execução, como aumento de custos e comprometimento da qualidade do(s) produto(s) obtido(s). Após a simulação o projetista pode constatar a necessidade de se refazer o modelo, ajustar parâmetros ou executar o processo de software. O objetivo da simulação, nesse trabalho, é auxiliar as pessoas responsáveis por um ambiente de desenvolvimento a obter modelos de processos validados. O modelo de simulação foi definido para ser utilizado no ambiente PROSOFT, que é um ambiente de desenvolvimento que permite a integração de novas ferramentas para desenvolvimento de software. O ambiente PROSOFT vem recebendo propostas de extensão que tem contribuído para o seu aprimoramento, fornecendo para seus usuários uma quantidade cada vez maior de ferramentas de auxílio a construção de artefatos de software. As propostas mais recentes foram um modelo para construção de sistemas especialistas, a definição de um ambiente cooperativo e um gerenciador de processos de software. ATOs algébricos (construções do PROSOFT) são utilizados para especificar formalmente o modelo de simulação definido neste trabalho. A validação é realizada através de um modelo em UML (Unified Method Language) que foi utilizado como base para a construção de um programa implementado usando a linguagem Java. Isso ocorre porque a ferramenta do PROSOFT (implementada em Java) que seria utilizada para validar as especificações algébricas ainda não está finalizada.

Construção de software com qualidade tem motivado diversas pesquisas na área de Engenharia de Software. Problemas como a grande complexidade requerida pelas aplicações atuais e a necessidade de gerenciamento de um número cada vez maior de pessoas envolvidas em projetos são obstáculos para serem transpostos. Trabalhos relacionados a tecnologia de processos de software aparecem como uma proposta para se obter maior controle das atividades realizadas com o intuito de se obter maior qualidade. A simulação de processos de software, através da representação dos passos definidos em um modelo, tem sido utilizada no auxílio a gerentes de projetos de sistemas para fornecer-lhes informações preciosas sobre o desenvolvimento de um sistema especificado. A representação de conhecimento a respeito das características relacionadas a um ambiente de desenvolvimento ajuda na obtenção de simulações mais realísticas. A partir do modelo, o simulador obtém uma descrição do ambiente em que deve atuar, baseado no conhecimento que se tem a respeito do ambiente. Esse trabalho apresenta um modelo de simulação de processos de software baseado em conhecimento para ser inserido em um ambiente de engenharia de processos de software. A função do modelo é simular um processo de software instanciado, procurando detectar inconsistências no mesmo que possam gerar problemas durante a sua execução, como aumento de custos e comprometimento da qualidade do(s) produto(s) obtido(s). Após a simulação o projetista pode constatar a necessidade de se refazer o modelo, ajustar parâmetros ou executar o processo de software. O objetivo da simulação, nesse trabalho, é auxiliar as pessoas responsáveis por um ambiente de desenvolvimento a obter modelos de processos validados. O modelo de simulação foi definido para ser utilizado no ambiente PROSOFT, que é um ambiente de desenvolvimento que permite a integração de novas ferramentas para desenvolvimento de software. O ambiente PROSOFT vem recebendo propostas de extensão que tem contribuído para o seu aprimoramento, fornecendo para seus usuários uma quantidade cada vez maior de ferramentas de auxílio a construção de artefatos de software. As propostas mais recentes foram um modelo para construção de sistemas especialistas, a definição de um ambiente cooperativo e um gerenciador de processos de software. ATOs algébricos (construções do PROSOFT) são utilizados para especificar formalmente o modelo de simulação definido neste trabalho. A validação é realizada através de um modelo em UML (Unified Method Language) que foi utilizado como base para a construção de um programa implementado usando a linguagem Java. Isso ocorre porque a ferramenta do PROSOFT (implementada em Java) que seria utilizada para validar as especificações algébricas ainda não está finalizada.

Construção de software com qualidade tem motivado diversas pesquisas na área de Engenharia de Software. Problemas como a grande complexidade requerida pelas aplicações atuais e a necessidade de gerenciamento de um número cada vez maior de pessoas envolvidas em projetos são obstáculos para serem transpostos. Trabalhos relacionados a tecnologia de processos de software aparecem como uma proposta para se obter maior controle das atividades realizadas com o intuito de se obter maior qualidade. A simulação de processos de software, através da representação dos passos definidos em um modelo, tem sido utilizada no auxílio a gerentes de projetos de sistemas para fornecer-lhes informações preciosas sobre o desenvolvimento de um sistema especificado. A representação de conhecimento a respeito das características relacionadas a um ambiente de desenvolvimento ajuda na obtenção de simulações mais realísticas. A partir do modelo, o simulador obtém uma descrição do ambiente em que deve atuar, baseado no conhecimento que se tem a respeito do ambiente. Esse trabalho apresenta um modelo de simulação de processos de software baseado em conhecimento para ser inserido em um ambiente de engenharia de processos de software. A função do modelo é simular um processo de software instanciado, procurando detectar inconsistências no mesmo que possam gerar problemas durante a sua execução, como aumento de custos e comprometimento da qualidade do(s) produto(s) obtido(s). Após a simulação o projetista pode constatar a necessidade de se refazer o modelo, ajustar parâmetros ou executar o processo de software. O objetivo da simulação, nesse trabalho, é auxiliar as pessoas responsáveis por um ambiente de desenvolvimento a obter modelos de processos validados. O modelo de simulação foi definido para ser utilizado no ambiente PROSOFT, que é um ambiente de desenvolvimento que permite a integração de novas ferramentas para desenvolvimento de software. O ambiente PROSOFT vem recebendo propostas de extensão que tem contribuído para o seu aprimoramento, fornecendo para seus usuários uma quantidade cada vez maior de ferramentas de auxílio a construção de artefatos de software. As propostas mais recentes foram um modelo para construção de sistemas especialistas, a definição de um ambiente cooperativo e um gerenciador de processos de software. ATOs algébricos (construções do PROSOFT) são utilizados para especificar formalmente o modelo de simulação definido neste trabalho. A validação é realizada através de um modelo em UML (Unified Method Language) que foi utilizado como base para a construção de um programa implementado usando a linguagem Java. Isso ocorre porque a ferramenta do PROSOFT (implementada em Java) que seria utilizada para validar as especificações algébricas ainda não está finalizada.

Made available in DSpace on 2014-06-12T16:01:23Z (GMT). No. of bitstreams: 2 arquivo8462_1.pdf: 2861956 bytes, checksum: 0611c320f3222e4b832dbdee91844faa (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 1998 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O crescimento e desenvolvimento da World Wide Web fez surgir desde sites de presença institucional - sites que disponibilizam informações corporativas para clientes e/ou parceiros - até complexos sistemas de informação, que usam os navegadores como plataforma básica para os clientes e realizam transações com bancos de dados, permitindo não só consultas às informações cadastradas, mas também inserção e alteração de dados pela Web. Porém, apesar do crescimento da rede, os sistemas de informação baseados na Web ainda não contam com ferramentas, métodos e técnicas bem estabelecidos para o seu desenvolvimento. Com relação ao processo de desenvolvimento, em particular, várias questões podem ser levantadas: é possível utilizar as características da própria Web para facilitar e acelerar o desenvolvimento? Os métodos e técnicas tradicionais de Engenharia de Software adequam-se bem à implementação desses sistemas? Qual o melhor ciclo de vida a adotar? Como a área é muito recente e a tecnologia envolvida ainda instável, poucos são os estudos de caso nesse sentido. Neste trabalho, estudamos o processo de desenvolvimento de uma classe específica de sistemas de informação baseados na Web, concentrando-nos na questão de que modelo de ciclo de vida utilizar no desenvolvimento desses sistemas. Para tanto, discutimos uma adaptação do modelo de ciclo de vida espiral e apresentamos a sua aplicação no desenvolvimento do CNCT Cadastro Nacional de Competência em Ciência e Tecnologia um sistema de informação sobre a produção científica e tecnológica brasileira. Os problemas e características inerentes ao desenvolvimento do CNCT fornecem os subsídios necessários para uma abordagem pragmática das questões citadas acima. A adaptação ao modelo espiral, principal resultado deste trabalho, é descrita detalhadamente, permitindo a descrição, ou prescrição, adequada das fases, atividades e principais milestones envolvidos no desenvolvimento de sistemas baseados na Web

O presente trabalho discute a necessidade da representação e manipulação de incertezas na resolução de problemas por sistemas baseados em conhecimento, e como isto pode ser realizado utilizando redes de crenças. Este tipo de representação do conhecimento combina a teoria das probabilidades e teoria da decisão, para representar incertezas, com a teoria dos grafos, esta última apropriada para representar as relações de dependência entre as variáveis do modelo. Os diagramas de inferência - redes de crenças que permitem representar incertezas, decisões e preferências do usuário - são discutidos e adotados neste trabalho para desenvolver um sistema normativo de apoio à decisão. A problemática da explicação em sistemas bayesianos, relativamente nova quando comparada com a dos sistemas baseados em regras, é abordada. Neste contexto dois mecanismos de explicação para diagramas de influência são propostos: análise de sensibilidade e as redes probabilísticas qualitativas. Estes mecanismos são usados para gerar conclusões genéricas bem como para entender qualitativamente as relações entre as ações e eventos que fazem parte do modelo. Uma ferramenta gráfica de apoio à decisão baseada em diagramas de influências foi implementada na linguagem Smalltalk. Este aplicativo não só permite representar e avaliar o problema do usuário como também incorpora as facilidades de explicação acima descritas. A possibilidade de observar graficamente o que acontece com o modelo quando os valores das variáveis são modificados - análise de sensibilidade - permite compreender melhor o problema descobrindo quais as variáveis que influenciam as decisões e auxilia a refinar os valores das variáveis envolvidas. Por outro lado às redes probabilísticas qualitativas permitem realizar abstrações e simplificações apropriadas do modelo, i.e., obter as relações qualitativas do modelo a partir de seu nível quantitativo. As conclusões genéricas obtidas servem tanto para limitar o espaço da estratégia ótima quanto para entender qualitativamente as relações entre as ações e eventos que fazem parte do modelo. / This work discusses the knowledge representation and uncertainty handling of knowledge based systems that use belief networks for this purpose. These sorts of networks combine the theory of probability and decision theory to represent uncertainty- with graph theory to represent the dependence relations between the model parameters. Systems that use belief networks as knowledge representation are named Bayesian or normative systems. This work investigates and adopts influence diagrams -belief networks that represent uncertainty, decisions and preferences- to develop a normative decision support system. Comprehensible explanations for probabilistic reasoning systems are a prerequisite for wider acceptance of Bayesian methods. Two schemes for explaining influence diagrams are proposed: sensitivity analysis and qualitative probabilistic networks, aiming to find general conclusions and to qualitatively understand the relations between the actions and events of the model. A graphical decision support system that represents the user problem as influence diagrams has been implemented in Smalltalk. This system allows to represent and evaluate decision problems and incorporates the explanation facilities mentioned above. The possibility to observe graphically the model as the variables change -sensitivity analysis- permits a better understanding of the problem by finding the significant variables. This process also helps to adjust the variables values. Furthermore, the qualitative probabilistic networks allow to realize model abstractions and simplifications, i.e., to obtain the qualitative relations from the quantitative level. These general conclusions limit the optimal strategy space and allow to qualitatively understanding the relations between actions and events in the model.

A detecção de objetos, pertencentes a uma determinada classe, em vídeos é de uma atividade amplamente estudada devido às aplicações potenciais que ela implica. Por exemplo, para vídeos obtidos por uma câmera estacionária, temos aplicações como segurança ou vigilância do tráfego, e por uma câmera dinâmica, para assistência ao condutor, entre outros. Na literatura, há diferentes métodos para tratar indistintamente cada um dos casos mencionados, e que consideram só imagens obtidas por um único tipo de câmera para treinar os detectores. Isto pode levar a uma baixa performance quando se aplica a técnica em vídeos de diferentes tipos de câmeras. O estado da arte na detecção de objetos de apenas uma classe, mostra uma tendência pelo uso de histogramas, treinamento supervisionado e, basicamente, seguem a seguinte estrutura: construção do modelo da classe de objeto, detecção de candidatos em uma imagem/quadro, e aplicação de uma medida sobre esses candidatos. Outra desvantagem observada é o uso de diferentes modelos para cada linha de visada de um objeto, gerando muitos modelos e, em alguns casos, um classificador para cada linha de visada. Nesta dissertação, abordamos o problema de detecção de objetos, usando um modelo da classe do objeto criada com um conjunto de dados de imagens estáticas e posteriormente usamos o modelo para detectar objetos na seqüência de imagens (vídeos) que foram coletadas a partir de câmeras estacionárias e dinâmicas, ou seja, num cenário totalmente diferente do usado para o treinamento. A criação do modelo é feita em uma fase de aprendizagem off-line, utilizando o conjunto de imagens PASCAL 2007. O modelo baseia-se em uma mistura de modelos baseados em partes deformáveis (MDPM), originalmente proposto por Felzenszwalb et al. (2010b) no âmbito da detecção de objetos em imagens. Não limitamos o modelo para uma determinada linha de visada. Foi elaborado um conjunto de experimentos que exploram o melhor número de componentes da mistura e o número de partes do modelo. Além disso, foi realizado um estudo comparativo de MDPMs simétricas e assimétricas. Testamos esse método para detectar objetos como pessoas e carros em vídeos obtidos por câmera estacionária e dinâmica. Nossos resultados não mostram apenas o bom desempenho da MDPM e melhores resultados que o estado da arte na detecção de objetos em vídeos obtidos por câmeras estacionárias ou dinâmicas, mas também mostram o melhor número de componentes da mistura e as partes para o modelo criado. Finalmente, os resultados mostram algumas diferenças entre as MDPMs simétricas e assimétricas na detecção de objetos em diferentes vídeos. / The problem of detecting objects that belong to a specific class of objects, in videos is a widely studied activity due to its potential applications. For example, for videos that have been taken from a stationary camera, we can mention applications such as security and traffic surveillance; when the video have been taken from a dynamic camera, a possible application is autonomous driving. The literature, presents several different approaches to treat indiscriminately with each of the cases mentioned, and only consider images obtained from a stationary or dynamic camera to train the detectors. These approaches can lead to poor performaces when the tecniques are used in sequences of images from different types of camera. The state of the art in the detection of objects that belong to a specific class shows a tendency to the use of histograms, supervised training and basically follows the structure: object class model construction, detection of candidates in the image/frame, and application of a distance measure to those candidates. Another disadvantage is that some approaches use several models for each point of view of the car, generating a lot of models and, in some cases, one classifier for each point of view. In this work, we approach the problem of object detection, using a model of the object class created with a dataset of static images and we use the model to detect objects in videos (sequence of images) that were collected from static and dynamic cameras, i.e., in a totally different setting than used for training. The creation of the model is done by an off-line learning phase, using an image database of cars in several points of view, PASCAL 2007. The model is based on a mixture of deformable part models (MDPM), originally proposed by Felzenszwalb et al. (2010b) for detection in static images. We do not limit the model for any specific viewpoint. A set of experiments was elaborated to explore the best number of components of the integration, as well as the number of parts of the model. In addition, we performed a comparative study of symmetric and asymmetric MDPMs. We evaluated the proposed method to detect people and cars in videos obtained by a static or a dynamic camera. Our results not only show good performance of MDPM and better results than the state of the art approches in object detection on videos obtained from a stationary, or dynamic, camera, but also show the best number of components of the integration and parts or the created object. Finally, results show differences between symmetric and asymmetric MDPMs in the detection of objects in different videos.

Técnicas modernas de preparo de amostra têm sido utilizadas na determinação de diferentes classes de compostos em diversos tipos de matrizes. Essas técnicas podem ser divididas em dois grandes grupos, as baseadas em solvente e as baseadas sorvente, foco do trabalho. Dentre os materiais sorventes mais estudados atualmente, os derivados de grafeno têm se destacado devido a suas propriedades físico-químicas favoráveis para realizar sorção com uma grande variedade de compostos de interesse. Por isso, no presente trabalho são apresentadas possibilidades de utilização de materiais baseados em grafeno nas seguintes técnicas de preparo de amostras: microextração por sorvente empacotado (MEPS), extração \"\"on-line\"\" e extração sortiva em barra de agitação (SBSE). Para a técnica MEPS, foi realizado a síntese de óxido de grafeno e grafeno suportados por ligação covalente em aminopripil sílica. Esses materiais foram empregados como sorventes para determinação de parabenos em amostras de água. O método desenvolvido apresentou limites de quantificação (LOQ) que variaram de <a name=\"_Hlk498351551\">0,2 a 0,3 &mu;g/L, coeficientes de variação (CV) &lt; 19,2% e exatidão de 82,3 a 119,2%. Os materiais utilizados na técnica MEPS também foram utilizados para empacotar colunas de extração \"on-line\" e realizar uma comparação entre as fases sintetizadas. O método de extração \"on-line\" apresentou LOQ de 0,5 &mu;g/L, exatidão de 88,2 à 107,2 e CV &lt; 16%. A comparação entre as colunas de extração empacotadas com o grafeno e seu óxido suportados na aminopropil sílica mostrou que o grafeno suportado na sílica apresenta maior retenção para os parabenos mais apolares. Com relação ao desenvolvimento de barras de SBSE revestidas com grafeno, o método desenvolvido empregando as barras de SBSE apresentou valores de LOQ que variaram de 2 à 8 &mu;g/L, exatidão de 81,9 à 126,3% e CV &lt; 30%. Além disso, avaliou-se o uso do grafeno e óxido de grafeno ligado a sílica com grupamentos amino variando algumas condições de síntese e testando esses materiais para analitos das classes das triazinas, sulfonamidas e anti-inflamatórios não esteroidais. Também são apresentados testes iniciais realizados para um novo modo de extração proposto, similar a técnica SBSE, avaliando a extração de parabenos e anti-inflamatórios não esteroidais. / Modern sample preparation techniques have been applied to the determination of different compounds class in several matrices. These techniques might be divided into two groups, solvent and sorbent based, the last being the goal of this work. Nowadays, among the most studied materials the graphene based ones has been highlighted due to its physical chemical properties favorable to sorption process of a variety of interested compounds. The present work shows possibilities to employ graphene based materials in the follow sample preparation techniques: microextraction by packed sorbent (MEPS), \"on-line\" extraction, and stir bar sorptive extraction (SBSE). For MEPS, the materials graphene oxide and graphene supported on aminopropyl silica through covalent bounds were synthesized. These materials were employed as sorbent to determine parabens in water samples. The developed method showed limits of quantification (LOQ) ranging from 0,2 a 0,3 &mu;g/L, coefficients of variation (CV) &lt; 19,2% and accuracy ranging from 82,3 à 119,2%. The synthetized materials used in MEPS were also used and compared to an \"on-line\" method employing an extraction column packed with them. The \"on-line\" method showed LOQ of 0,5 &mu;g/L, accuracy ranging from 88,2 to 107,2 and CV &lt; 16%. The comparison between packed column with graphene and graphene oxide supported on aminopropyl silica showed that graphene had a higher retention for parabens with high Log Kow. The method developed with SBSE bars coated with graphene showed LOQ ranging from 2 to 8 &mu;g/L, accuracy ranging from 81,9 to 126,3% and CV &lt; 30%. Moreover, the employment of graphene oxide and graphene synthetized by changing some synthesis conditions and testing these materials to extract triazines, sulfonamides, and non-steroidal anti-inflammatory drugs was also evaluated. In addition, are presented the preliminary tests regarding to a new extraction mode, similar to SBSE. These tests were done for parabens and non-steroidal anti-inflammatory drugs.