344 registros encontrados - programa Mestrado em Informática Aplicada
Dissertação - Inglês
CDU e Cutter: 65.012.122
Publicação: Fortaleza, 2011.
Assunto: Programação linear
Contudo, o bom uso dos contêineres involve novos e especializados processos logísticos, uma grande quantidade de tecnologias além de sistemas automatizados para manipular uma elevada quantidade de contêineres e ainda maior volume de carga. Para atender a estes requisitos, computação aparece como uma importante ferramenta. O cenário descrito tem sido tratado na literatura acadêmica como o Problema de Carregamento de Contêiner (CLP, do inglês Container Loading Problem), com algumas variantes.
é também necessário considerar requisitos práticos como, por exemplo, a estabilidade da carga ou distribuição do peso. Este último de vital importância uma vez que o centro de gravidade da carga afeta a estabilidade durante seu transporte. Se descosiderado, pode-se danificar tanto a carga como o veículo. Durante nossa pesquisa, nós estivemos especialmente interessados neste requisito. E a fim de comparar a qualidade dos resultados obtidos, propusemos uma maneira de mensurar a distribuição do peso.
Portanto, dado o problema descrito, especificamente o 3D Knapsack Loading Problem, este trabalho apresenta um algoritmo que não apenas maximiza o volume total carregado mas também otimiza a distribuição do peso da carga, sua grande contribuição. Principalmente se considerarmos que a carga é composta de itens com diferentes valores de densidade, o que torna o problema ainda mais difícil.
A metodologia consiste em duas fases com objetivos diferentes. A primeira fase ocupa-se em maximizar o volume carregado por combinar um algoritmo de busca, o backtracking, com heurísticas que resolvem modelos de programação linear inteira. A segunda fase executa um algoritmo genético para maximizar a distribuição do peso da carga previamente colocada. Apresentamos também uma justificativa do porque algoritmo genéticos foram usados em nossa metodologia.
Uma aplicação adicional foi feita para resolver problemas de corte. Esta classe de problemas ocorre em vários processos industriais, quando é necessário cortar diferentes tipos de materiais, como vidro, madeira ou papel, com um mínimo de desperdício.
A fim de comparação, usamos bibliotecas de teste bem conhecidas na literatura e um estudo de caso usando informações reais de uma fábrica de fogões e geladeiras no Brasil. São apresentados resultados promissores alcançados em tempo reduzido.
Palavras-chave: Problema de Carregamento de Contêiner, Knapsack Loading Problem, Distribuição do Peso, Programação Linear Inteira, Backtracking, Algoritmos Genéticos.
Dissertação - Português
CDU e Cutter: 681.3:004.414.22
Publicação: Fortaleza, 2011.
Assunto: Engenharia de requisitos
exigindo das organizações de software investimento na qualidade dos... Ver mais
exigindo das organizações de software investimento na qualidade dos seus
processos de software.A Engenharia de Requisitos é uma das disciplinas que
podem ajudar as organizações de software a lidar com este cenário, especialmente
definindo iniciativas que possam melhorar as atividades de elicitação e análise de
requisitos. Para colaborar corn este contexto e considerando a relevância dos
recursos humanos para o desenvolvimento de software, foi realizada uma pesquisa
para identificar e priorizar as habilidades pessoai necessárias para os Analistas de
Requisitos realizarem suas tarefas de forma eficaz e avaliá-los. Além disso,
pesquisas para obtenção do nível de dificuldade de desenvolvimento de tais
habilidades e avaliação do nível dos profissionais em relação às habilidades obtidas.
Os respondentes dos questionários foram Gerentes de Projetos, que avaliaram trinta
e três habilidades pessoais captadas a partir da literatura. Realizamos uma
comparação dos resultados obtidos na pesquisa com a literatura. Para aprofundar o
trabalho foi realizada uma pesquisa qualitativa, utilizando entrevistas semi-estruturadas com gerentes de projeto. A análise qualitativa baseou-se nos
procedimentos do método Grounded Theory. O resultado deste trabalho pode ser
usado como um guia que oriente o recrutamento, seleção e avaliações de
desempenho dos Analistas de Requisitos.
Dissertação - Inglês
CDU e Cutter: 519.237
Publicação: Fortaleza, 2009.
Assunto: Análise multivariada
Palavras-chave: DecisãoMulticritério, Classificação, ELECTRE IV, Algoritmo Genético, Doença de Alzheimer.
Abordagem para análise e resolução de causas de problemas aplicando multicritério [Digital]
Goncalves, Francisca Marcia Gomes Sampaio
Dissertação - Português
CDU e Cutter: 65.012.4
Publicação: Fortaleza, 2008.
Assunto: Tomada de decisão
Palavras-chave: Análise de Causas, Tomada de Decisão, Problemas Complexos, Multicritério, PDCA, MCDA, MACBETH.
Abstração de provas para explicação na web [Digital]
Dissertação - Português
CDU e Cutter: 681.3:004.822
Publicação: Fortaleza, 2008.
Assunto: Web semântica
Palavras-chave: Inteligência Artificial, Web Semântica, Representação de Conhecimento, Abstração, Explicação.
Active OWL - uma arquitetura para integrar serviços web e ontologias [Digital]
Dissertação - Português
CDU e Cutter: 681.3:004.738.5:111
Publicação: Fortaleza, 2007.
Assunto: Internet e ontologia
AdeQuaS: ferramenta fuzzy para avaliação de qualidade de software [Digital]
Dissertação - Português
CDU e Cutter: 681.3:004.41
Publicação: Fortaleza, 2002.
Assunto: Engenharia de software
Agregação e predição de dados no processamento de consultas em redes de sensores sem fio [Digital]
Matos, Raimundo Tales Benigno Rocha
Dissertação - Português
CDU e Cutter: 681.3.06:061.68
Publicação: Fortaleza, 2008.
Assunto: Banco de dados
Palavras-chave: Banco de Dados, Agregação, Predição de Dados, Redes de Sensores Sem Fio
Ajax: an adaptive join algorithm for extreme restrictions [Digital]
Araujo, Eriko Werbet de Oliveira
Dissertação - Inglês
CDU e Cutter: 681.3.06:061.68
Publicação: Fortaleza, 2008.
Assunto: Banco de dados
Uma Comunidade de Bancos de Dados Móveis (MDBC) representa uma coleção de bancos de dados móveis e autônomos. Em tal contexto, cada usuário de um... Ver mais
Uma Comunidade de Bancos de Dados Móveis (MDBC) representa uma coleção de bancos de dados móveis e autônomos. Em tal contexto, cada usuário de um sistema de banco de dados participante da comunidade pode acessar os outros bancos de dados através de uma infra-estrutura de comunicação sem fio. A utilização de técnicas tradicionais para processamento de consultas no acesso à banco de dados em uma MDBC tem se mostrado ineficiente devido à imprevisibilidade na taxa de acesso a bancos de dados da comunidade e a limitação de memória disponível nos dispositivos móveis para a execução de certos operadores, como a junção, por exemplo. A imprevisibilidade é provocada por quedas constantes na comunicação entre os membros de uma MDBC (cenário comum em redes sem fio) e limitação de processamento de certas unidades móveis, atrasando a entrega de tuplas. Para reagir a estes eventos, é apresentado neste trabalho um operador de junção para processamento de consultas em bancos de dados móveis, denominado AJAX. O operador proposto garante as seguintes propriedades: (i) produção incremental de resultados à medida que os dados são disponibilizados; (ii) continuidade no processamento da consulta mesmo que a entrega dos dados esteja bloqueada, e; (iii) reação a situações de limitação de memória durante a execução do operador.
Palavras-chave: processamento adaptativo de consultas, operadores adaptativos, bancos de dados móveis, sistemas distribuídos.
Algoritmos para identificacão de dados frios em banco de dados em memória [Digital]
Dissertação - Português
CDU e Cutter: 681.3.06:061.68
Publicação: Fortaleza, 2022.
Assunto: Banco de dados
O crescimento da capacidade de armazenamento dos dispositivos de... Ver mais
O crescimento da capacidade de armazenamento dos dispositivos de mem´oria principal impulsionou
o desenvolvimento de sistemas de gerenciamento de bancos de dados que buscam armazenar todo o volume
de dados por eles gerenciados neste meio de armazenamento, ao inv´es dos tradicionais dispositivos
de armazenamento secund´ario, como os discos r´¿gidos. Por este motivo, tais sistemas ficaram conhecidos
como Bancos de Dados em Mem´oria (em ingl¿es, in-memory databases ou IMDB). Neste contexto,
muitos bancos de dados transacionais passaram a ser armazenados inteiramente na mem´oria principal.
No entanto, uma caracter´¿stica dos sistemas transacionais ´e o crescimento cont´¿nuo dos dados. Logo,
surge o desafio de lidar com o transbordamento de dados, o que ocorre quando o volume dos dados
ultrapassa a capacidade de armazenamento da mem´oria principal. Todavia, as cargas de trabalho dos
sistemas de bancos de dados transacionais geralmente exibem padr¿oes de acesso onde alguns registros
s¿ao quentes (acessados com frequ¿encia), enquanto muitos registros s¿ao frios (raramente ou nunca acessados).
Desta forma, ´e mais econ¿omico armazenar os registros frios em dispositivos de armazenamento
secund´ario. Recentemente, muitos trabalhos de pesquisa abordaram o problema de transbordamento de
dados, desenvolvendo abordagens para identificar dados quentes/frios. Nesta dissertac¸ ¿ao, apresentamos
dois novos algoritmos chamados 2QCold e ARCold, que adaptam os algoritmos cl´assicos de gerenciamento
de cache 2Q e ARC para identificar dados frios. Implementamos nossos algoritmos usando o
Seal-DB e os comparamos com os algoritmos cl´assicos LRU, Forward e Belady. O benchmark TPC-C
foi usado nos experimentos. Os resultados mostram que tanto o 2QCold quanto o ARCold reduzem o
tempo de resposta e aumentam a taxa de acerto superando os trabalhos relacionados.
Palavras-chave: Bancos de Dados em Mem´oria, IMDB, Transbordamento de Dados, Dados Quentes,
Dados Frios, LRU, 2Q, ARC.
Algoritmos rápidos de detecção de colisão broad phase utilizando KD-trees [Digital]
Dissertação - Português
CDU e Cutter: 681.3.06:510.5
Publicação: Fortaleza, 2010.
Assunto: Algoritmos
quais utilizam a estrutura de particionamento espacial conhecida... Ver mais
quais utilizam a estrutura de particionamento espacial conhecida como KD-Tree, foram pro-
postos e implementados: KDTreeSpace, DynamicKDTreeSpace e StatelessKDTreeSpace. Estes
algoritmos foram integrados à biblioteca Open Dynamics Engine (ODE), responsável pelo cálculo do movimento dos objetos dinâmicos, como possíveis alternativas aos algoritmos de broad phase disponíveis nesta biblioteca. Os algoritmos dos métodos de broad phase no ODE também são apresentados e seus desempenhos comparados aos algoritmos que utilizam KD-Tree. Os resultados mostram que o KDTreeSpace apresenta melhor desempenho do que o QuadTreeSpace, o qual, em geral, representa a melhor alternativa dentre os algoritmos disponíveis no ODE. Além disso, para cenários sem limites bem definidos ou com restrição de memória, os resultados indicam que o DynamicKDTreeSpace representa uma alternativa satisfatória, pois é capaz de adaptar rapidamente seus planos de corte ao arranjo dos objetos em cena.. Finalmente, o StatelessKDTreeSpace apresenta o melhor desempenho para cenários com baixo grau de coerência temporal.
Palavras-chave: Detecção de Colisão, Broad Phase, Estruturas de Particionamento Espacial, KD-Tree.
AMDB - An Approach for Sharing Mobile Databases [Digital]
Dissertação - Inglês
CDU e Cutter: 681.3.06:061.68
Publicação: Fortaleza, 2003.
Assunto: Banco de dados
An embedded system testing processes supported by knowledge management [Digital]
Oliveira, Gabriel Habib Medeiros
Dissertação - Português
CDU e Cutter: 681.3:004.031.6
Publicação: Fortaleza, 2019.
Assunto: Sistemas embarcados
Palavras-chave: Sistemas Embarcados. Teste de produtos. Gestão do conhecimento. Teste Dinâmico. Metodologia de Teste. Engenharia de software. Gerência de Desenvolvimento. Gerência de produto. Inserção de Novos Produtos. Desenvolvimento.
Dissertação - Português
CDU e Cutter: 681.3:519.6
Publicação: Fortaleza, 2012.
Assunto: Meta-heurísticas
Palavras-chave: Meta-heurísticas Bioinspiradas. Visualização da Informação. Mineração Visual de Dados. Mapas Auto-Organizáveis. Mapas de Kohonen. Diagramas de Voronoi.
Análise da acessibilidade geográfica para pessoas hipertensas na cidade de Fortaleza-CE [Digital]
Borges, Joao Manoel da Silva Lins
Dissertação - Português
CDU e Cutter: 52
Publicação: Fortaleza, 2024.
Assunto: Pesquisa espacial
Keywords: Spatial Analysis. Data Science. Hypertension. Public Health.
Análise de alternativas de projeto de interação aplicando análise verbal de decisões [Digital]
Carvalho, Ana Lisse Assunção de
Dissertação - Português
CDU e Cutter: 681.3:004.5
Publicação: Fortaleza, 2008.
Assunto: Interface homem-máquina
de interação, estruturada na Análise Verbal de Decisões.... Ver mais
de interação, estruturada na Análise Verbal de Decisões. Projetar múltiplas soluções tem sido
considerado uma forma de obter interfaces criativas e inovadoras, entretanto a análise dessas
soluções é geralmente realizada de forma quantitativa. Autores de diversos trabalhos
reconhecem a dificuldade em avaliar qualitativamente aspectos subjetivos das experiências
dos usuários e suas preferências. Essa dissertação propõe a aplicação da Análise Verbal de
Decisão, que compreende métodos de multicritério que apóiam a tomada de decisão
fundamentada em questões subjetivas, para auxiliar o projetista na análise de alternativas de
projeto de interação. O resultado dessa estratégia é um conjunto de alternativas e critérios
ordenados conforme as preferências dos usuários. Os designers utilizam essas informações
para compreender as experiências dos usuários e conceber projetos de interação que
despertem o interesse dos usuários. O estudo de caso foi aplicado em protótipos que simulam
um Portal de Acesso à Televisão Digital Móvel. Considerações finais e sugestões de trabalhos
futuros são apresentadas ao final do trabalho.
Palavras-chave: Interface homem máquina, análise multicritério, tomada de decisão, televisão digital móvel.
Análise de aspectos motivacionais que influenciam os atores no processo de software [Digital]
Dissertação - Português
CDU e Cutter: 681.3
Publicação: Fortaleza, 2006.
Assunto: Informática
Análise de correferência em textos via comitês de programas genéticos [Digital]
Dissertação - Português
CDU e Cutter: 681.3:004.53
Publicação: Fortaleza, 2013.
Assunto: Linguagem natural
objetivo de um sistema de resolução de correferências... Ver mais
objetivo de um sistema de resolução de correferências (RC). O presente trabalho relata um
estudo experimental sistemático acerca do uso de uma abordagem baseada em programação genética (PG) para a resolução automática dessa proeminente tarefa de processamento de linguagem natural (PLN). Apesar da existência na literatura de vários métodos destinados à identificação de menções e ao agrupamento de menções, dentre os quais aqueles baseados em aprendizado de máquina (AM), bem como à avaliação dos resultados gerados por sistemas de RC mediante o uso de métricas customizadas, o fato é que os resultados alcançados até o presente ainda estão aquém do esperado. Nesse contexto, passou-se a investigar o potencial de se adotar uma abordagem evolucionária baseada em PG, tendo em vista que a classe de algoritmos evolucionários vem obtendo êxito na resolução de vários problemas complexos de aprendizado de máquina e mineração de textos. Neste estudo, em particular, investigou-se o impacto de se adotar diferentes métricas de avaliação (MUC, B³, CEAFe e BLANC) atuando como função de aptidão dos indivíduos (classificadores) gerados pela PG. Ademais, investigou-se o desempenho de diferentes esquemas de combinação de programas genéticos em comitês de máquinas, almejando-se um incremento no desempenho.
Para fins de validação da metodologia proposta, foi conduzido um estudo empírico
abrangente sobre o corpus de língua inglesa utilizado em recentes competições
internacionais organizadas pela CoNLL (Conferência Computacional de Aprendizado em Linguagem Natural), que é a principal conferência acerca do tema "AM + PLN". Os resultados de desempenho obtidos pelos comitês de programas genéticos gerados foram em geral satisfatórios, não alcançando, porém, aqueles obtidos pelos sistemas de RC mais bem ranqueados nas competições do CoNLL. Por outro lado, o estudo comparativo acerca do efeito
das métricas de avaliação como função de aptidão da PG evidenciou que há sim
um impacto dessa escolha sobre o desempenho exibido pelos programas genéticos
gerados. Além disso, há fortes correlações entre os perfis de desempenho
gerados por algumas das métricas, sendo que a sensibilidade de discriminação
das soluções exibida pela métrica BLANC é a que mais se assemelha à daquela exibida
pela métrica efetivamente utilizada nas competições do CoNLL.
Palavras-chave: Análise de correferência, resolução de correferência, programação genética, comitês de programas genéticos.
Análise de decisão multicritério aplicada ao sensoriamento de sistemas de refrigeração [Digital]
Sousa, Torricelli Evangelista Cavalcante de
Dissertação - Português
CDU e Cutter: 621.56
Publicação: Fortaleza, 2023.
Assunto: Refrigeração
Palavras-chave: Análise de Decisão Multicritério; Sensoriamento; Sistemas de Refrigeração por Compressão de Vapor; M-Macbeth.
Dissertação - Português
CDU e Cutter: 681.3.02:007.52
Publicação: Fortaleza, 2017.
Assunto: Inteligência artificial
uma subárea da ciência da computação, inteligência artificial e da... Ver mais
uma subárea da ciência da computação, inteligência artificial e da linguística. O foco
da implicação textual é a verificação direcional da relação de similaridade entre dois
fragmentos de texto que podem incluir aspectos sintáticos e semânticos. Muitos métodos
automatizados para a tarefa de reconhecimento tem avançado em virtude das pesquisas e
competições realizadas pela comunidade com o intuito de fomentar o avanço qualitativo
de RTE (Recognizing Textual Entailment). Os desafios têm se tornado cada vez mais
complexos em virtude das aplicações em que a implicação textual é usada como Resposta
a Perguntas, Extração de Informação, Sumarização, Avaliação de Tradução por Máquina
etc. Esta dissertação explora uma faixa de abordagens aplicada à tarefa de RTE, iniciando
com as metodologias recentes utilizadas nas competições para a tarefa, assim como
propõe um framework com abordagem híbrida para introduzir conhecimento semântico
baseado em similaridade semântica textual, ou seja, aplicação de métricas de similaridade
semântica entre os termos, gerando componentes semânticos - features - como entrada
para um processo de aprendizagem automática. Além do framework, este trabalho analisa
a sobreposição dos termos em dois corpus, ASSIN e SNLI, evidenciando o impacto da
sobreposição na tarefa de RTE.
Palavras-chave: Linguística Computacional. Inteligência Artificial. Processamento de
Linguagem Natural. Implicação Textual. Tarefa de Reconhecimento de Implicação Textual.
Língua Portuguesa.
Análise de pontos por função fuzzy [Digital]
Dissertação - Português
CDU e Cutter: 681.3:004.41
Publicação: Fortaleza, 2002.
Assunto: Engenharia de software
Gomes, Matheus Linhares Ferreira
Dissertação - Português
CDU e Cutter: 616-036.21"20"Covid19
Publicação: Fortaleza, 2024.
Assunto: Covid-19 (Pandemia)
Palavras-chave: Redes Complexas. Grafos. Sistema Único de Saúde. Pandemia. COVID19
Dissertação - Português
CDU e Cutter: 681.3:004.423.4
Publicação: Fortaleza, 2016.
Assunto: Semântica de programação
Palavras-chave: Computação forense, FrameNet, processamento de linguagem natural, dispositivos móveis.
Aplicação da avaliação heurística por profissionais de TI não especialistas em usabilidade [Digital]
Ribeiro, Samira e Silva Amaral
Dissertação - Português
CDU e Cutter: 681.3.06
Publicação: Fortaleza, 2015.
Assunto: Usabilidade de Software
Descritores: Avaliação Heurística, Aplicações para celulares e Usabilidade