A Coordenadoria de Pesquisa visa supervisionar, orientar, gerir e fomentar melhoria da qualidade de pesquisa e formular discussões acerca de novas produções e competências, bem como a possível divulgação e partilha desses avanços com empresas e comunidades científicas.
Coordenador de Pesquisa no Campus da UFC em Quixadá: professora Carla Ilane.
Grupos de Pesquisa
LEST – Laboratory for Embedded Systems and Telecommunications – grupo de pesquisa do Campus da UFC em Quixadá e relacionado ao ligado ao Programa de Pós-graduação em Computação do Campus da UFC em Quixadá. Liderado pelos professores Arthur Callado e Elvis Stancanelli;
Marmota Factory – Grupo de pesquisa do Campus e ligado ao Programa de Pós-graduação em Computação do Campus da UFC em Quixadá. Liderado pelos professores Paulyne Jucá e Arthur Callado;
LOCOMÔ – Grupo de Pesquisa em Tecnologias Digitais e Espacialidade, do Campus da UFC em Quixadá. Liderado pelo docente Paulo Victor Barbosa;
LICCA – Laboratório de Investigação em Corpo, Comunicação e Arte. É do Instituto de Cultura e Arte da UFC, mas o vice-líder é o professor João Vilnei;
Ibituruna – Grupo de pesquisa do Instituto UFC Virtual e ligado ao Programa de Pós-graduação em Computação do Campus da UFC em Quixadá. É liderado por Gabriel Antoine Louis Paillard e pelo Emanuel Coutinho.
Projetos de Pesquisa
Em andamento
Síntese hidrotermal e caracterização de (nano)estruturas inorgânicas à base de Zn, Mn, Fe, Bi, Ti, Mo, W, entre outros
Projeto de pesquisa submetido ao Edital FUNCAP Nº 02/2020: Programa de Bolsas de Produtividade em Pesquisa, estímulo à interiorização e inovação tecnológica-BPI. O projeto tem como objetivo a síntese, caracterização e estudo das propriedades físico-químicas dos (nano)materiais obtidos pelo método hidrotermal e reações do estado sólido. Em seguida estes materiais serão utilizados para realização de testes catalíticos na reforma do metano e glicerol, bem como serão feitos testes de adsorção química visando à remoção de poluentes. Estudaremos as propriedades estruturais e vibracionais por meio das técnicas de XRD, espectroscopia Raman e FTIR em condições normais de temperatura e pressão, bem como os estudos destas propriedades frente à variação destas variáveis termodinâmicas. Finalmente realizaremos um estudo das propriedades eletrônicas e vibracionais em condições ambientes através de cálculos computacionais.
AI-CID: Identificação de Dano Induzido pelo Cliente via Inteligência Artificial 2022
Centros de reparo de hardware tem a inspeção manual como parte fundamental dos processos de composição de inventário e recebimento de equipamentos em seus centros de reparo. Por ser um processo totalmente dependente de avaliação humana, há riscos de má identificação e classificação na triagem por cansaço, dificuldade em encontrar defeitos difíceis de serem vistos a olho nu, repetição de decisão de classificação conforme um padrão incorreto, etc. Todos esses riscos podem gerar custos adicionais no processo de reparo, além da insatisfação de clientes pelo motivo da máquina voltar com defeito. Atualmente, não há uma solução comercial que possibilite a inspeção de computadores de forma automática. Uma solução automática baseada utilizadas técnicas do estado da arte de temas como inteligência artificial e visão computacional pode resultar em redução de erros nas identificações de defeitos e no aumento da agilidade no processo de inspeção, visto que será possível executar mais inspeções em um mesmo tempo e reduzir o nível de especialização necessários para um inspetor. Esse projeto tem como objetivo desenvolver uma ferramenta para dispositivos móveis capaz de identificar defeitos em equipamentos, de maneira automática, a partir de imagens capturadas por meio desses dispositivos. Estas imagens serão analisadas com a utilização de técnicas de inteligência artificial, como redes profundas (deep learning). Fonte de financiamento: Lenovo Tecnologia Brasil LTDA.
CLUSTERS ECONÔMICOS DE INOVAÇÃO – Tecnologia da Informação e Comunicação (TIC) – Sertão Central
Esse projeto faz parte de um projeto maior, denominado “ECOSSISTEMA DE INOVAÇÃO E O DESENVOLVIMENTO ECONÔMICO DO ESTADO DO CEARÁ” que está dentro do programa Cientista-Chefe na área de Inovação. O projeto objetiva fomentar o desenvolvimento de soluções inovadoras endereçadas a problemas que afetam a produtividade, a competitividade, a geração de renda e a atração de talentos nos setores de Saúde e Tecnologia da Informação e Comunicação da Região do Sertão Central do Estado do Ceará. Dentro da dimensão da Tecnologia de Informação e Comunicação (TIC), inicialmente foram levantadas problemáticas a serem exploradas no projeto. Por meio de uma metodologia de árvore de problemas, foi elencada uma problemática presente na realidade de empresas de TIC de todas as partes do mundo, inclusive as do Sertão Central: Impactos negativos da rotatividade dos times de TI na qualidade do desenvolvimento de software. A rotatividade de pessoal (turnover) em equipes tem se acentuado ainda mais devido à crescente demanda por software dos últimos anos, sobretudo com a pandemia de COVID-19 (que impulsionou ainda mais a necessidade por software e de negócios online). Uma busca rápida no linkedin aponta mais de 3 milhões de vagas na área de TI ao redor do mundo. Parte destas vagas será suprida por profissionais que atuam em outras empresas. A saída de um profissional costuma ter impacto na produtividade do time, pode gerar atrasos nas entregas e aumentar o risco de descontinuidade do projeto. Diante destes desafios, os objetivos principais do projeto se concentram em buscar soluções inovadoras e escaláveis dentro da região do cluster do Sertão Central, contribuindo assim para o desenvolvimento regional.
Fomentar o desenvolvimento de soluções inovadoras endereçadas a problemas que afetam a produtividade, a competitividade, a geração de renda e a atração de talentos em setores priorizados em cada Região de Planejamento do Estado.
CLUSTERS ECONÔMICOS DE INOVAÇÃO – SAÚDE no Sertão Central
Fomentar o desenvolvimento de soluções inovadoras endereçadas a problemas que afetam a produtividade, a competitividade, a geração de renda e a atração de talentos em setores priorizados em cada Região de Planejamento do Estado.
O objetivo geral do projeto é realizar pesquisas científicas e tecnológicas visando o desenvolvimento de soluções para a construção de uma plataforma de governo digital para permitir o desenvolvimento de serviços digitais de forma ágil, transparente, eficiente, sustentável, fácil de usar e alinhada com os princípios do serviço público que atenda às necessidades dos cidadãos e dos servidores públicos.
Desenvolvimento e Pesquisa Aplicada para Melhoria da Aplicação SPMD da Dell Technologies
A Dell gerencia as peças de reposição de seus produtos através da aplicação SPMD (Spare Parts Master Database), que mantém a lista de todos os produtos, peças e suas relações de compatibilidade, a fim de fornecer substituição automática de componentes defeituosos. A aplicação é utilizada por diversas equipes da Dell e conta com repositório de produtos e peças, guias de resolução de problemas (i.e., troubleshooting), um sistema de feedback que pode ser utilizado para reportar informações incorretas, incompletas ou desatualizadas, além de APIs que podem ser acessadas por outros sistemas Dell. Quando o produto de um cliente apresenta algum problema, o técnico em atendimento cria uma OS – Ordem de Serviço (do inglês WO – work order) no CRM utilizado pela Dell, que chama a SPMD, através de parâmetros passados pelo técnico, após identificar o problema do cliente por meio dos guias de resolução de problemas. O serviço da SPMD chamado retorna, de forma automática, peças/componentes compatíveis com o produto informado na consulta e que podem ser utilizadas para substituir as peças defeituosas. Atualmente, a aplicação tem alguns problemas, tais como interfaces de usuário que não foram projetadas seguindo as boas práticas de UX – User Experience, tornando-a pouco intuitiva e difícil de usar pelos usuários da aplicação. Além disso, aproximadamente 25% dos incidentes de TI para a aplicação SPMD estão relacionados à falta de informações (ou erro) nos guias de resolução de problemas ou à demora para obter respostas do suporte. À medida que a SPMD oferece suporte a mais produtos e plataformas, o número de técnicos que utilizam a aplicação também cresce e, por conseguinte, mais crítico torna-se o controle sobre as mudanças das informações mantidas pela aplicação. No projeto anterior, de nome “Pesquisa e Desenvolvimento de Tecnologia para Gerenciamento Automático de Peças da Dell Technologies”, realizado através da parceria entre DELL, UFC e ASTEF, foi proposta uma nova arquitetura para a aplicação SPMD, que passou por diversas modificações de interface, principalmente em sua tela inicial, e agora conta um módulo básico de auditoria e com um assistente inteligente baseado em Inteligência Artificial (IA) para ajudar os usuários na resolução de problemas. Além disso, também foi desenvolvida uma prova de conceito de um módulo que faz pré-calculo do mapeamento de produtos e peças compatíveis. A aplicação SPMD conta com inúmeras funcionalidades que não estavam no escopo do projeto anterior e alguns problemas que foram parcialmente resolvidos, como é o caso da auditoria. Nesse contexto, para resolver os problemas apresentados, o presente projeto visa evoluir a aplicação SPMD para (i) aprimorar as interfaces do sistema, de forma a garantir uma boa experiência de usuário e eficiência; (ii) permitir a gestão eficiente de trilhas de auditoria, garantindo um maior controle de segurança para as alterações feitas nas informações mantidas na SPMD; e (iii) refinar e/ou propor novos modelos de IA para otimizar a criação e análise de feedbacks a partir de novas bases de conhecimento, incluindo aquelas geradas a partir da utilização da versão da aplicação SPMD desenvolvida no projeto anterior.
Pesquisa e desenvolvimento de nova versão da aplicação App Talk/LISA e expansão
A aplicação em questão tem o objetivo de auxiliar funcionários surdos da DELL em suas rotinas de trabalho relacionadas a RH e departamento pessoal, por meio de um agente virtual que se comunica em Libras.
Pesquisa e o desenvolvimento de solução para gestão sobre as áreas de cobertura de serviços da DELL por meio de múltiplos serviços de provimento de mapas – SERVICE COVERAGE
Este projeto têm por objetivo avançar na incorporação de mapas e informações geográficas na solução já existente da DELL para gerenciamento das áreas de cobertura de serviço por parceiros da empresa. De modo mais específico, o sistema GSCV será estendido e avançar na integração de novos provedores de mapas para melhorar a visualização das áreas de cobertura, além de projetar e implementar um fluxo para permitir que parceiros da DELL possam gerenciar informações das áreas de cobertura de seus serviços mediante validação posterior da equipe de negócios da DELL.
Pesquisa e Desenvolvimento de uma Ferramenta de Gerenciamento e Visualização de Fluxos de Resolução de Problemas – Guided Troubleshooting Tool.
Na Dell existe uma ferramenta para resolução de problemas baseada na plataforma Boomi e integrada ao CRM, onde os usuários podem seguir fluxos de resolução de problemas compostos por perguntas, imagens e vídeos explicativos. Tal solução carece de diversas novas funcionalidades, assim como melhorias, para facilitar o gerenciamento e visualização dos fluxos e permitir funcionalidades tais como: importação e exportação de fluxos, internacionalização dos guias de resolução de problemas, auditoria e controle de acesso, envio de logs para o CRM, bem como integrações com outros sistemas/aplicações. Diante disso, a ferramenta proposta neste projeto visa permitir o gerenciamento e a visualização de fluxos por agentes de Tech Support e clientes Dell. Esse gerenciamento de fluxos consiste em uma interface de usuário capaz de reproduzir diferentes fluxos operacionais para resolução/diagnóstico de problemas, onde cada fluxo contém as fases que o cliente ou agente deve seguir para a resolução de um problema. Assim, novas possibilidades surgem a partir da reprodução desses fluxos, integrações com diferentes serviços (como o CRM), a modelagem de novos caminhos, o mapeamento de equipamentos com as devidas soluções, possibilidade de internacionalização dos fluxos, prover recursos de auditoria e controle de acesso, onde o fluxo pode tomar caminhos diferentes de acordo com o perfil do usuário. O desenvolvimento desta solução irá ajudar nos processos de pós-venda da Dell, uma vez que os clientes poderão realizar um autoatendimento ou serão atendidos por agentes de Tech Support que conseguirão guiar os clientes, de forma assertiva, através dos passos necessários para identificar e acelerar a resolução de problemas. Se a ferramenta for simples de usar e rápida, todo o processo de troubleshooting será feito mais rápido, melhorando a satisfação do usuário. Deste modo, este sistema visa agregar valor ao setor, ao proporcionar informações mais precisas para os usuários. Dentre um leque de possibilidades, surge também a oportunidade de explorar, no âmbito da pesquisa e estudos, técnicas capazes de melhorar a experiência de usuário (UX) ao construir e visualizar os fluxos, bem como investigar as melhores técnicas para armazenar, indexar, buscar e versionar os fluxos de resolução de problemas. É possível ainda pensar em métodos para analisar em conjunto os fluxos e os registros de manuseio/auditoria da ferramenta a fim de identificar fragilidades e necessidades de re-elaboração dos fluxos de resolução de problemas. O objetivo geral deste projeto é conduzir pesquisa aplicada e desenvolver uma ferramenta de gerenciamento de fluxos para que agentes de Tech Support e clientes Dell possam resolver os problemas dos clientes de forma rápida e correta. A solução proposta deve prover uma maneira simples, rápida e auditável para construir e gerenciar fluxos de resolução de problemas.
A Dell gerencia as peças de reposição de seus produtos através da aplicação SPMD (Spare Parts Master Database), que mantém a lista de todos os produtos, peças e suas relações de compatibilidade, a fim de fornecer substituição automática de componentes defeituosos. A aplicação é utilizada por diversas equipes da Dell e conta com repositório de produtos e peças, guias de resolução de problemas (i.e., troubleshooting), um sistema de feedback que pode ser utilizado para reportar informações incorretas, incompletas ou desatualizadas, além de APIs que podem ser acessadas por outros sistemas Dell. Quando o produto de um cliente apresenta algum problema, o técnico em atendimento cria uma OS – Ordem de Serviço (do inglês WO – work order) no CRM utilizado pela Dell, que chama a SPMD, através de parâmetros passados pelo técnico, após identificar o problema do cliente por meio dos guias de resolução de problemas. O serviço da SPMD chamado retorna, de forma automática, peças/componentes compatíveis com o produto informado na consulta e que podem ser utilizadas para substituir as peças defeituosas. Atualmente, a aplicação tem alguns problemas, tais como interfaces de usuário que não foram projetadas seguindo as boas práticas de UX – User Experience, tornando-a pouco intuitiva e difícil de usar pelos usuários da aplicação. Além disso, aproximadamente 25% dos incidentes de TI para a aplicação SPMD estão relacionados à falta de informações (ou erro) nos guias de resolução de problemas ou à demora para obter respostas do suporte. À medida que a SPMD oferece suporte a mais produtos e plataformas, o número de técnicos que utilizam a aplicação também cresce e, por conseguinte, mais crítico torna-se o controle sobre as mudanças das informações mantidas pela aplicação. No projeto anterior, de nome “Pesquisa e Desenvolvimento de Tecnologia para Gerenciamento Automático de Peças da Dell Technologies”, realizado através da parceria entre DELL, UFC e ASTEF, foi proposta uma nova arquitetura para a aplicação SPMD, que passou por diversas modificações de interface, principalmente em sua tela inicial, e agora conta um módulo básico de auditoria e com um assistente inteligente baseado em Inteligência Artificial (IA) para ajudar os usuários na resolução de problemas. Além disso, também foi desenvolvida uma prova de conceito de um módulo que faz pré-calculo do mapeamento de produtos e peças compatíveis. A aplicação SPMD conta com inúmeras funcionalidades que não estavam no escopo do projeto anterior e alguns problemas que foram parcialmente resolvidos, como é o caso da auditoria. Nesse contexto, para resolver os problemas apresentados, o presente projeto visa evoluir a aplicação SPMD para (i) aprimorar as interfaces do sistema, de forma a garantir uma boa experiência de usuário e eficiência; (ii) permitir a gestão eficiente de trilhas de auditoria, garantindo um maior controle de segurança para as alterações feitas nas informações mantidas na SPMD; e (iii) refinar e/ou propor novos modelos de IA para otimizar a criação e análise de feedbacks a partir de novas bases de conhecimento, incluindo aquelas geradas a partir da utilização da versão da aplicação SPMD desenvolvida no projeto anterior.
Na Dell existe uma ferramenta para resolução de problemas baseada na plataforma Boomi e integrada ao CRM, onde os usuários podem seguir fluxos de resolução de problemas compostos por perguntas, imagens e vídeos explicativos. Tal solução carece de diversas novas funcionalidades, assim como melhorias, para facilitar o gerenciamento e visualização dos fluxos e permitir funcionalidades tais como: importação e exportação de fluxos, internacionalização dos guias de resolução de problemas, auditoria e controle de acesso, envio de logs para o CRM, bem como integrações com outros sistemas/aplicações. Diante disso, a ferramenta proposta neste projeto visa permitir o gerenciamento e a visualização de fluxos por agentes de Tech Support e clientes Dell. Esse gerenciamento de fluxos consiste em uma interface de usuário capaz de reproduzir diferentes fluxos operacionais para resolução/diagnóstico de problemas, onde cada fluxo contém as fases que o cliente ou agente deve seguir para a resolução de um problema. Assim, novas possibilidades surgem a partir da reprodução desses fluxos, integrações com diferentes serviços (como o CRM), a modelagem de novos caminhos, o mapeamento de equipamentos com as devidas soluções, possibilidade de internacionalização dos fluxos, prover recursos de auditoria e controle de acesso, onde o fluxo pode tomar caminhos diferentes de acordo com o perfil do usuário. O desenvolvimento desta solução irá ajudar nos processos de pós-venda da Dell, uma vez que os clientes poderão realizar um autoatendimento ou serão atendidos por agentes de Tech Support que conseguirão guiar os clientes, de forma assertiva, através dos passos necessários para identificar e acelerar a resolução de problemas. Se a ferramenta for simples de usar e rápida, todo o processo de troubleshooting será feito mais rápido, melhorando a satisfação do usuário.
OSP Manager – Software de gerenciamento de equipamentos de uma rede óptica passiva GPOC – PARTE II (RENOVAÇÃO)
O projeto “OSP Manager – Software de gerenciamento de equipamentos de uma rede óptica passiva GPON – PARTE II”, utilizando-se de benefícios da Lei de Informática (Lei 10.176/2001), foi proposto pela FURUKAWA como ação de Pesquisa, Desenvolvimento Científico, Tecnológico e Inovação (P&D&I), com envolvimento da seguinte instituição credenciada para execução de Pesquisa e Desenvolvimento, pelo Comitê da Área de Tecnologia da Informação – CATI/MCTI: INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO CEARÁ (IFCE) utilizando como interveniente a FUNDAÇÃO DE CULTURA E APOIO AO ENSINO, PESQUISA E EXTENSÃO (FUNCEPE).
Sinesp Big Data de Inteligência Artificial para Segurança Pública
O projeto “Sinesp Big Data de Inteligência Artificial para Segurança Pública” foi proposto pela Secretaria Nacional de Segurança Pública como ação de Pesquisa e Desenvolvimento (P&D), com envolvimento do Departamento de Computação da Universidade Federal do Ceará (DC-UFC).
Quest – Plataforma de Qualidade para Avaliação e Melhoria de Requisitos e Testes
O objetivo deste projeto é propor o desenvolvimento de uma plataforma para avaliação e melhoria da qualidade de produtos e processos de software com foco em requisitos e testes, denominada de Quest. A plataforma proposta visa a captura automática de medidas relacionadas às fases de escopo, requisitos, testes e implementação (etapa essencial do desenvolvimento e integrada aos requisitos e testes). A partir das medidas coletadas, estratégias para a melhoria contínua dos processos serão definidas, pois sem dados concretos sobre a situação atual não há como avaliar o valor da melhoria de processos. As áreas de processo consideradas prioritárias neste projeto serão: Engenharia de Requisitos e Testes de Software. O intuito é proporcionar a melhoria contínua nestes processos.
Utilizando Inteligência Artificial para apoio ao sistema de arrecadação da SEFAZ-CE
Este documento apresenta o plano de trabalho para o desenvolvimento de Pesquisa em Inteligência Artificial junto a Análise de Dados da Secretaria da Fazenda (SEFAZ) do Estado do Ceará. Este trabalho é proposto e financiado pela empresa ELOGROUP, a ser desenvolvido em parceria entre o campus de Quixadá e Fortaleza da Universidade Federal do Ceará (UFC), com apoio da Fundação ASTEF (FASTEF) e conforme o ACORDO DE PARCERIA PD&I estabelecido entre as partes. O projeto busca aprimorar o Sistema de Arrecadação do estado do Ceará. O desenvolvimento proposto por este projeto irá gerar impacto no emprego de técnicas de Inteligência Artificial e Ciência de Dados a ser realizado pelo ELOGROUP nos dados da SEFAZ – CE, bem como fomentar a pesquisa e colaborações entre os campus de Quixadá e Fortaleza.
A agenda 2030 das Nações Unidas define 17 objetivos para o Desenvolvimento Sustentável (ODS) para orientar governos, sociedade civil, setor privado e outras partes interessadas em seus esforços para erradicar a pobreza e promover um mundo melhor para todos. Dentre esses objetivos, esta agenda ressalta a disseminação das Tecnologias da Informação e Comunicação (TICs) e a interconexão global como tendo grande potencial para acelerar o progresso humano, reduzir a brecha digital e desenvolver sociedades do conhecimento. Os governos de todo o mundo estão cientes do poder das TICs e do governo digital para o avanço e a transformação de instituições públicas, e o cenário do setor público de maneira mais ampla, e suas capacidades de prestação de serviços. O governo digital pode desempenhar um papel na criação de instituições mais eficazes, acessíveis e equitativas. Diante deste cenário, este projeto visa realizar o acompanhamento científico e tecnológico, além da governança, de dois projetos estruturantes intitulados “Governo Digital do Estado do Ceará” e “Big Data Ceará”, ambos financiados pela FUNCAP.
CEIAS (Centro de Inteligência Artificial Samsung)/CRIA HEALTH&WELL-BEING
O Ecossistema de Inteligência Artificial da Samsung visa explorar a tecnologia de Inteligência Artificial (IA) através da geração de novos algoritmos e métodos que utilizem IA nas áreas de saúde & bem-estar, segurança da informação ou internet das coisas, a fim de produzir produtos e serviços para uma melhor qualidade de vida da sociedade. Este projeto faz parte desse ecossistema no qual se tem como meta avançar o estado da arte em Inteligência Artificial aplicando tecnologias promotoras de saúde & bem-estar, em especial às que incluem dispositivos móveis tais como smartphones e vestíveis, aprimorando e melhorando seu funcionamento, seja incluindo novas características ou habilitando novos serviços associados à qualidade de vida das pessoas através de IA. No contexto de saúde & bem-estar foram traçados três macro desafios que devem ser atacados por diferentes linhas de pesquisa desenvolvidas em parceria pela Samsung Eletrônica da Amazônia Ltda e Instituições de Ciência e Tecnologia (ICTs), são estes: (1) Monitoramento continuo da saúde e bem-estar de indivíduos utilizando dispositivos móveis e vestíveis; (2) Criação de novos métodos e algoritmos de saúde a serem embarcados em dispositivos móveis e vestíveis; (3) Criação de novos serviços em saúde e bem-estar baseados em tecnologias móveis e vestíveis. O projeto endereça esses macro-desafios através de 4 linhas de pesquisa a serem executados pela UFC: (1) Gestão de Modelos de Aprendizagem de Máquina, (2) Detecção de Anomalias em Dados Biomédicos e Feedback dos Usuários, (3) Monitoramento da Saúde de Usuários Através de Dispositivos Vestíveis e Móveis, e (4) Computação de I.A. na Ponta para Dispositivos Vestíveis.
Projeto de Doutorado – Sobre as conjecturas de Tuza e Bondy
Projeto de doutorado para o processo de afastamento total e tem como foco duas conjecturas em teoria grafos, a de Tuza [1] e a de Bondy [2] (Small Circuit Double Cover Conjecture). A conjectura de Tuza foi proposta em 1981, Tuza conjecturou que se um grafo G não contém mais do que k triângulos aresta-disjuntos, então existe um conjunto com no máximo 2k arestas que interceptam todos os triângulos de G. Por sua vez, a conjectura de Bondy, lançada em 1990, diz que se um grafo G com n vértices não tem aresta de corte, então existe uma 2-ciclo-cobertura de no máximo n − 1 circuitos em G. [1] TUZA , Z. Conjecture, finite and infinite sets, Eger, Hungary 1981. Proc. Colloq. Math. Soc. J. Bolyai Vol. 37 (1981), p. 888. In: Hajnal, A. and Lovász, L. and Sós, V.T. North-Holland, Amsterdam (1984). [2] B ONDY , J. Small cycle double covers of graphs. Cycles and rays (1990), 21–40.
Ideação suicida e Automutilação nas Redes Sociais: a Crise do Homem-Máquina
Partindo de uma análise sócio-cultural da relação das novas tecnologias com o humano, investigamos pontos de inadequação do indivíduo em responder aos imperativos de felicidade e interatividade do mundo contemporâneo. Observamos as diferentes violências subjetivas e objetivas oriundas deste contexto, e direcionamos nosso exame, especificamente, aos fenômenos de ideação suicida e automutilação nas redes sociais, buscando maior compreensão sobre essas manifestações e essas práticas com significativo impacto para a saúde mental.
Assurance Case Development and Requirements Engineering
Certificação de sistemas críticos de segurança (SCSs) exige documentação que demonstre por que um sistema pode ser considerado seguro. O desenvolvimento de casos de garantia (do inglês, ACD – Assurance Case Development) é uma abordagem para discutir, analisar e avaliar as propriedades críticas dos sistemas. Os requisitos de software de um SCS são informação essencial incluída nos casos de garantia (do inglês, AC – Assurance Case), juntamente com as informações do projeto do sistema e a análise de segurança. A falta de uma análise integrada de requisitos e aspectos de segurança pode levar a problemas de segurança no desenvolvimento de sistemas críticos. Na literatura, não há abordagens que promovam uma gestão integrada de requisitos e informações de garantia de segurança diretamente nas ferramentas de gestão de projetos. Esta pesquisa propõe um framework para integrar ACD e o engenharia de requisitos no desenvolvimento ágil de SCSs. Esse framework permitirá o gerenciamento integrado de informações de garantia de segurança diretamente em ferramentas de gestão de projetos, dispensando manutenção de modelos ou artefatos externos. Esse framework também dará suporte para verificação de consistência e geração automática de ACs.
Transformação digital: pesquisa, desenvolvimento e experimentação de nova versão da aplicação Opi, para possibilitar um ambiente completo de aprendizagem e interação entre estudantes, professores e responsáveis
O presente projeto trata-se da continuidade do projeto anterior, entitulado “Concepção de novos modelos de interação homem-computador para suportar o processo de transformação digital”, do qual eu participei entre os meses de julho de 2020 a fevereiro de 2021. Este projeto resultou no desenvolvimento e avaliação de um aplicativo educacional chamado Opi. Para 2021, o projeto tem o objetivo de lançar o aplicativo para uso geral nas lojas de aplicativos, além de desenvolver uma plataforma de autoria em que professores da educação básica poderão criar conteúdos para serem consumidos no aplicativo. Minha participação em 2020 e em 2021 concentra-se na coordenação de pesquisas de campo e avaliações de IHC, além do acompanhamento das equipes de design e desenvolvimento do projeto. Além de mim, participa do projeto um aluno de Design Digital, como estagiário de pesquisa. Ainda em relação à minha participação no projeto em 2020, estamos trabalhando em dois artigos científicos, um em fase de revisão final e o segundo ainda em fase de coleta de dados. Para o ciclo de 2021, também estão previstos dois artigos.
AI-CID: Identificação de Dano Induzido pelo Cliente via Inteligência Artificial
Centros de reparo de hardware tem a inspeção manual como parte fundamental dos processos de composição de inventário e recebimento de equipamentos em seus centros de reparo. Por ser um processo totalmente dependente de avaliação humana, há riscos de má identificação e classificação na triagem por cansaço, dificuldade em encontrar defeitos difíceis de serem vistos a olho nu, repetição de decisão de classificação conforme um padrão incorreto, etc. Todos esses riscos podem gerar custos adicionais no processo de reparo, além da insatisfação de clientes pelo motivo da máquina voltar com defeito. Atualmente, não há uma solução comercial que possibilite a inspeção de computadores de forma automática. Uma solução automática baseada utilizadas técnicas do estado da arte de temas como inteligência artificial e visão computacional pode resultar em redução de erros nas identificações de defeitos e no aumento da agilidade no processo de inspeção, visto que será possível executar mais inspeções em um mesmo tempo e reduzir o nível de especialização necessários para um inspetor. Esse projeto tem como objetivo desenvolver uma ferramenta para dispositivos móveis capaz de identificar defeitos em equipamentos, de maneira automática, a partir de imagens capturadas por meio desses dispositivos. Estas imagens serão analisadas com a utilização de técnicas de inteligência artificial, como redes profundas (deep learning). Fonte de financiamento: Lenovo Tecnologia Brasil LTDA
Pesquisa e Desenvolvimento de Tecnologia para Gerenciamento Automático de Peças da Dell Technologies
A comunidade científica da Ciência da Computação, mais precisamente a de Inteligência Artificial, vem ao longo do tempo investigando e construindo um corpo de conhecimento sobre como estabelecer uma forma sistemática para o desafio de emular o raciocínio (“inteligência”) humano através do computador. Assim, várias abordagens e métodos surgiram ao longo de décadas de pesquisas. Essas técnicas remetem a modelos lógicos, algorítmicos e matemáticos. Em particular, a difusão das técnicas de Processamento de Linguagem Natural e de Aprendizagem de Máquina tornou possível a criação de sistemas inteligentes modernos (e.g., chat bots e sistemas de recomendação) capazes de interagir de forma natural com seres humanos a fim de ajudá-los nas suas atividades cotidianas. Esses sistemas inteligentes são dependentes de bases de conhecimento para que possam extrair o conhecimento necessário para aprender a realizar suas tarefas e aprender de forma contínua. Neste projeto, será construído um assistente inteligente que seja capaz de fazer recomendações a partir de informações fornecidas pelos usuários do SPMD, utilizando como base de conhecimento as respostas dadas pela equipe de suporte de TI. Sendo assim, podemos apontar dentro da problemática científico-tecnológica três aspectos desafiadores: (i) determinação dos atributos textuais e/ou estruturados que serão utilizados para caracterizar as informações enviadas por usuários do SPMD; (ii) construção do sistema de recomendação de respostas ou ações corretivas; (iii) empacotamento da solução de IA de forma a garantir bom desempenho e satisfação do cliente. Outra problemática a ser tratada neste projeto diz respeito às trilhas de auditoria, que são registros manuais ou eletrônicos que catalogam eventos cronologicamente para fornecer o histórico que é usado para autenticar ações operacionais e de segurança. Vários setores usam auditoria para fornecer um registro histórico com base em uma sequência de eventos. Esses registros fornecem prova de conformidade e integridade operacional e também são utilizados para identificar áreas de não conformidade e fornecer informações para investigações de auditoria. Sistemas de auditoria e logging têm sido amplamente investigados na literatura de desenvolvimento de sistemas de software e também na área de Segurança da Informação. Neste projeto, será desenvolvida uma estratégia de auditoria segura e confiável para auditar as modificações feitas nos guias de resolução de problemas e, assim, possibilitar responder: quem alterou; o que foi alterado; quando foi alterado; como foi alterado. Dentro da problemática científico-tecnológica, duas perguntas são relevantes: (i) Qual arquitetura e ferramentas de auditoria podem ser utilizadas? Como garantir a segurança e a confiabilidade das informações do sistema?
CLUSTERS ECONÔMICOS DE INOVAÇÃO – TIC Sertão Central
Esse projeto faz parte de um projeto maior, denominado “ECOSSISTEMA DE INOVAÇÃO E O DESENVOLVIMENTO ECONÔMICO DO ESTADO DO CEARÁ” que está dentro do programa Cientista-Chefe na área de Inovação. O projeto objetiva fomentar o desenvolvimento de soluções inovadoras endereçadas a problemas que afetam a produtividade, a competitividade, a geração de renda e a atração de talentos em setores priorizados em cada Região de Planejamento do Estado.
Objetivo Geral: Fomentar o desenvolvimento de soluções inovadoras endereçadas a problemas que afetam a produtividade, a competitividade, a geração de renda e a atração de talentos em setores priorizados em cada Região de Planejamento do Estado. Objetivos Específicos: – Selecionar Pesquisadores regionais que possam atuar nos Clusters Econômicos de Inovação distribuídos pelas macrorregiões do Estado; – Promover a transferência de conhecimento entre os ICTs (Instituições de Ciência e Tecnologia) do Estado e os seus setores produtivos; – Promover a construção empreendedora de soluções tecnológicas inovadoras que beneficie setores produtivos do estado; – Realizar pesquisa de análise da evolução dos negócios inovadores e sua relação com setores produtivos tradicionais do Estado e o impacto no ecossistema de inovação; – Promover a realização de projetos que possam contribuir com o desenvolvimento desses programas e seu impacto sobre a CT&I.
Pesquisa e Desenvolvimento de Aplicação Administrativa para Apoio a Vendas em Loja Física
Este projeto almeja a construção de um sistema administrativo dentro da plataforma da VTEX para gestão das lojas físicas atendidas pelo inStore. O projeto envolve o entendimento do problema e a proposta da solução com base em etapas do estado da arte de design digital. Além disso, o desenvolvimento do sistema será feito com base nos conceitos de Engenharia de Software.
Este projeto terá foco na execução de atividades de formação de recursos humanos com foco em tecnologias de ponta de Inteligência Artificial (IA) e será aberto à comunidade acadêmica e portanto poderá abranger alunos de nível superior de outras instituições de ensino da região em que a instituição executora se localiza com o objetivo de formar futuros profissionais certificados em HCIA-AI. Todas as aulas de treinamento serão presenciais em laboratórios equipados. Serão diversas turmas, totalizando pelo menos 90 alunos capacitados ao final do projeto.
Decomposições Tensoriais Aplicadas à Gerência de Interferência
A popularização dos smartphones e a evolução dos sistemas de comunicações móveis juntamente com o acesso à Internet em alta velocidade têm gerado uma quantidade de dados massiva. Os dados nesse caso têm variavelmente mais de um eixo de dependência e, portanto, podem ser representados por meio de tensores. Diante desse contexto, as representações tensoriais são particularmente atrativas para representar, analisar e processar essa quantidade massiva de dados multidimensionais. As representações matemáticas avançadas propostas nesse projeto têm aplicações diversas em processamento de sinais aplicado aos sistemas de comunicação.
Uma proposta de modelagem computacional para correção de transientes temporais em amplificadores ópticos
Simular o ganho de controle em amplificadores ópticos utilizando modelagem computacional. Além dissso, controlar características na resposta simulada e transitória de amplificadores ópticos EDFA utilizando um microcontrolador NXP/Freescale KL25Z para o problema de ganho automático em supressão de efeitos temporais aplicados a redes WDM.
Estudo das propriedades estruturais e vibracionais de materiais inorgânicos sob diversas condições termodinâmicas
O presente projeto consiste na síntese e caracterização de cristais e nanoestruturas cristalinas utilizando como modelo os materiais molibidatos e tungstatos. O plano de trabalho também consiste em realizar um estudo experimental das propriedades vibracionais e estruturais dos cristais de molibidatos e tungstatos e das nanoestruturas sobre a influência da temperatura e pressão. Além disso, aplicar a técnica de análise de componentes principais para visualizar o pontos de transição de fase a partir da mudança de intensidade.
Explorando hardware e software livres: arte e tecnologia em Quixadá
Com 6 cursos na área de TI, Quixadá é o único campus temático da Universidade Federal do Ceará (UFC) no interior do Estado. Um desses cursos, Design Digital, propõe uma formação multidisciplinar fundamentada em quatro eixos – tecnologia, design, comunicação e artes. Com essas características, o curso é único no Brasil. Essa polivalência na formação abre diversas possibilidades de percurso para os estudantes. Fazendo uso da capacidade técnica e criativa deles, o objetivo desta pesquisa é dar continuidade ao trabalho desenvolvido em 2018 e 2019 pelo projeto “Explorando o Arduino – Arte e Tecnologia no Campus da UFC em Quixadá”, apoiado pela Secretaria de Cultura e Arte/UFC, a partir do desenvolvimento de ações que articulem arte e tecnologia, explorando as potencialidades dos softwares e hardwares livres. Em 2018, fez-se uso somente do Arduino, hardware open source e plataforma microcontroladora de desenvolvimento. Em 2019, a pesquisa foi ampliada e foram desenvolvidas ações com hardware, produção de imagem digital 2D e 3D para projetos com realidade aumentada, desenvolvimento de jogos, produção de animações 2D e projetos de interação com vídeo e áudio ao vivo. Para os próximos 36 meses, o objetivo é ampliar o desenvolvimento de projetos com o hardware e software livres integrados a uma pesquisa em criação artística contemporânea, como plataforma de interseção entre as novas tecnologias e a arte, a partir da realização de práticas de diferentes tipos, como o desenvolvimento de instalações audiovisuais e sistemas interativos, passando por hipermídia, realidade virtual, conceitos de rede e ciberespaço, e que surjam concomitantemente ao aprofundamento teórico e técnico, com estudos bibliográficos, reuniões de estudo e discussão, promoção de oficinas de formação, visitas de estudo e participação em eventos científicos, tirando partido de uma natureza teórico-prática de pesquisa que faz uso de procedimentos de investigação de diferentes tipos e construído coletivamente, de maneira que se atenda às demandas metodológicas geradas no processo sem que seja negligenciado o seu rigor científico.
Implementação de assinaturas digitais pós-quânticas baseadas em prova de conhecimento zero
Algoritmos simétricos têm sido usados na construção de assinaturas digitais desde os anos 70 com as assinaturas únicas de Lamport; no entanto, esse tipo de esquema foi deixado de lado por conta do tamanho e da eficiência da assinatura não serem aceitáveis quando comparados aos esquemas baseados no problema do logaritmo discreto e na fatoração de números inteiros grandes. Em 1994, Shor publicou um algoritmo quântico de tempo polinomial para fatorar números inteiros grandes e calcular o logaritmo discreto. Esse algoritmo, em um computador quântico suficientemente poderoso, pode quebrar quase toda criptografia assimétrica usada na prática atualmente. Entre os esquemas de assinaturas digitais baseadas em primitivas simétricas, alguns esquemas usam uma prova de conhecimento zero não interativa construída a partir de primitivas simétricas, esses esquemas são recentes quando comparados a outros esquemas pós-quânticos e existe um vasto potencial a ser feito para melhorar sua eficiência. Nesse contexto, este trabalho pretende projetar implementações de software para processadores Intel/Arm e otimizar esquemas criptográficos de assinaturas digitais pós-quânticas baseadas em prova de conhecimento zero não interativas construídas a partir de primitivas simétricas.
Avantte: Investigação e Utilização de métodos de avaliação de experiência de usuário e de aprendizagem de máquina na Automatização de Tarefas e Processos em Sistemas Web e Aplicativos Móveis e desenvolvimento de Softwares Embarcados
O objetivo deste projeto é realizar pesquisa, desenvolvimento científico, tecnológico e inovação relacionados ao desenvolvimento de software para a automatização de tarefas e processos e melhoria na usabilidade e na experiência do usuário no processo de testes amostrais de monitores.
Concepção de novos modelos de interação homem-computador para suportar o processo de transformação digital
Pesquisa de novas soluções tecnológicas, baseadas em novos modelos de interação homem-computador, que suportem as instituições na realização de transformações digitais, aceleradas em função da pandemia gerada pelo COVID-19.
Plataforma Multibiométrica e Monitoramento Inteligente
O objetivo geral do projeto é desenvolver tecnologias para: (i) solução IoT para monitoramento e uso eficiente do consumo de energia em campus/edifício inteligente. (ii) Implantação de uma plataforma de computação em nuvem que facilite a integração entre os nós IoT e as aplicações de gerência do campus/edifício. Este projeto é relevante para o Campus de Quixadá, uma vez que permitirá que alunos e professores se engajem na pesquisa e tenham como resultados publicações científicas além de um protótipo que ajudará na gestão do consumo eficiente de energia. O projeto também prevê duas bolsas de pesquisa para alunos do Campus de Quixadá.
XPMQuality : Through the quality improvement cross-platform mobile apps [Doutorado]
During last ten years, the number of smartphones and mobile applications has been constantly growing. Android, iOS and Windows Mobile are three mobile platforms that cover almost all smartphones in the world in 2017. Developing a mobile app involves first to choose the platforms the app will run, and then to develop specific solutions (i.e., native apps) for each chosen platform using platform-related toolkits such as Android SDK. A cross-platform mobile application is an app that runs on two or more mobile platforms. Several frameworks have been proposed to simplify the development of cross-platform mobile applications and to reduce development and maintenance costs. They are called cross-platform mobile app development frameworks. However, to our knowledge, the life-cycle and the quality of cross-platforms mobile applications built using those frameworks have not been studied in depth. Our main goal is to first study the processes of development and maintenance of mobile applications built using cross-platform mobile app development frameworks, focusing particularly on the bug-fixing activity. Then, we aim at defining tools for automated repairing bugs from cross-platform mobile applications.
SÍNTESE, CARACTERIZAÇÃO E ESTUDO DAS PROPRIEDADES VIBRACIONAIS DE CRISTAIS/NANOCRISTAIS DE MOLIBDATOS DE BISMUTO EM CONDIÇÕES EXTREMAS
Projeto de Pesquisa de iniciação científica: Este estudo consiste de uma pesquisa teórica e experimental em espectroscopia vibracional de cristais de molibdatos de bismuto. Os cálculos dinâmicos de rede baseados na teoria densidade-funcional (DFT) serão utilizados para atribuir os modos Raman, de modo a comparar com os dados obtidos experimentalmente. Este trabalho fará um estudo Raman em condições extremas dependentes da temperatura e da pressão, aplicadas nos cristais de molibdatos de bismuto preparados em diferentes metodologias (coprecitação, estado sólido e solvotérmico). Espera-se obter informações sobre as mudanças estruturais induzidas pela evolução da temperatura ou da pressão.
CrOSSiNg: Avaliação da Qualidade de Nuvens Computacionais Apoiadas por Redes Definidas por Software e Virtualização de Funções de Rede
CHAMADA UNIVERSAL – MCTI/CNPq Nº 01/2016 Computação em Nuvem (Cloud Computing ? CC) é um paradigma que propõe a integração de diferentes modelos tecnológicos no provimento de infraestruturas de hardware, plataformas de desenvolvimento e aplicações como serviços sob demanda baseadas em um modelo ?pay-as-you-go? [1]. Neste paradigma, atualmente bem consolidado, de provisionamento de recursos, os clientes renunciam a administração da infraestrutura, ou terceirizam. Adicionalmente, provedores de Computação em Nuvem oferecem serviços como terceiros, delegando responsabilidades e assumindo custos estritamente proporcionais à quantidade de recursos utilizados [2]. A Internet levou à criação de uma sociedade digital, em que (quase) tudo está conectado e é acessível em qualquer lugar [3]. No entanto, apesar da sua adoção generalizada, as redes IP tradicionais são complexas e difíceis de se gerenciar. Ao mesmo tempo que é difícil de configurar a rede de acordo com políticas pré-definidas, também é difícil reconfigurá-la para atender a diferentes cargas de trabalho e mudanças, e responder a falhas. Para tornar tais situações ainda mais difíceis, as redes atuais também estão integradas verticalmente: o controle e planos de dados são agrupados. Redes Definidas por Software (Software-Defined Networking – SDN) é um paradigma emergente que promete mudar o estado das situações previamente descritas, por quebrar a integração vertical, separando a lógica de controle da rede dos roteadores e switches subjacentes, promovendo a centralização (lógica) de controle de rede, e introduzindo a capacidade de programação da rede. A separação de interesses ou conceitos, introduzidos entre a definição de políticas de rede, a sua implementação em hardware de comutação, e o encaminhamento de tráfego, é a chave para a flexibilidade desejada: por quebrar o problema de controle de rede em peças manejáveis, o SDN torna mais fácil criar e introduzir novas abstrações em rede, simplificando a gestão da rede e facilitando sua evolução. Virtualização de Funções de Rede (Network Functions Virtualization ? NFV) chamou a atenção significativa na indústria e na academia como uma importante mudança na provisão de serviços de telecomunicações [4]. Ao desvincular as Funções de Rede (Network Functions – NF) a partir dos dispositivos físicos em que são executados, o NFV tem o potencial de levar a reduções significativas nas despesas operacionais (Operating Expenses – OPEX) e despesas de capital (Capital Expenses – CAPEX). Além disso, promove a implementação de novos serviços com maior agilidade e maior retorno. O paradigma NFV ainda está em estágios iniciais e há um amplo espectro de oportunidades para a comunidade de investigação para desenvolver novas arquiteturas, sistemas e aplicações, e avaliar alternativas e relação de custo e benefício no desenvolvimento de tecnologias para a sua implantação bem-sucedida. Diante de tais tecnologias e desafios naturais para sua utilização, surge a necessidade de integrá-las. E juntamente com essa integração, também surge a necessidade de avaliar esses ambientes. Nesse contexto, a construção de framework conceitual que possibilite a avaliação da qualidade de um ambiente composto por essas três tecnologias (CC, SDN e NFV) seria de grande contribuição para a comunidade científica. Para o atendimento dessa necessidade, este projeto propõe o CrOSSiNg. CrOSSiNg é uma combinação dos termos tecnológicos ?COmputational + cloudS + Sdn + Nfv?. Sendo assim, o objetivo desse projeto é propor um framework conceitual denominado CrOSSiNg que possibilite a avaliação da qualidade de nuvens computacionais apoiadas por Redes Definidas por Software e Virtualização de Funções de Rede.
Este projeto tem por objetivo desenvolver métodos de análise e mineração de dados e ferramentas computacionais que, a partir de uma visão integrada dos dados estaduais, permitam compreender problemas críticos e impactantes ao desenvolvimento do Estado bem como permitem identificar oportunidades de promoção do bem-estar social. Espera-se gerar um ambiente capaz de apoiar a tomada de decisão a partir de dados que indiquem o estado do desenvolvimento econômico e social do Estado. A metodologia básica para que isso seja atingido consiste primeiramente na criação de um repositório integrado de dados e depois numa plataforma de software capaz de explorar os dados de forma transversal e multi-disciplinar.
O tema central deste projeto é a resolução computacional eficiente de problemas de otimização combinatória, envolvendo teoria, algoritmos e implementações sequenciais e paralelas, com aplicações. Nesse sentido, as atividades do projeto seguem os três eixos complementares do ParGO que são paralelismo, grafos e otimização. Os problemas investigados nesta proposta são classificados entre os mais difíceis computacionalmente considerando o critério de complexidade de tempo. Com isto, é necessário o estudo estrutural sobre o problema para a obtenção de algoritmos eficientes para instâncias de médio ou grande porte. Uma técnica que pode se mostrar eficiente é o estudo teórico de descrições matemáticas distintas, porém equivalentes para o problema. Tais descrições matemáticas são analisadas, com o objetivo de determinar propriedades estruturais que possam ser, posteriormente, exploradas de forma adequada usando métodos algorítmicos. No âmbito desta proposta, as descrições dos problemas utilizam principalmente Teoria dos Grafos, Teoria Poliédrica e Programação Linear Inteira. Junto com o estudo teórico, realizamos a resolução computacional dos problemas propostos. Dados a dificuldade de resolver tais problemas computacionalmente, utilizamos algumas técnicas para facilitar a obtenção de resultados para instâncias de médio a grande porte. As principais técnicas empregadas são decomposições, relaxações, planos de corte e paralelismo.
O projeto busca a criação de modelo computacional que faça a medição de gôndolas por reconhecimento de imagens feitas por uma aplicação móvel. A base de dados será fornecida pela empresa Linked By, bem como a infraestrutura necessária para o desenvolvimento e a execução do modelo.
A Prática do Design Interdisciplinar no Ensino Superior
O projeto A Prática do Design Interdisciplinar no Ensino Superior, em andamento desde o início de 2017, tem o objetivo de sistematizar estratégias didáticas que possibilitem o desenvolvimento de projetos integrados interdisciplinares. […]. A metodologia de pesquisa segue princípios da pesquisa-ação, na qual o pesquisador conhece a realidade do ambiente e propõe soluções para resolver os problemas que emergem do campo. A experiência adquirida já começa a ser disseminada para outros cursos do Campus, na forma de modificações do projeto pedagógico ou na orientação a professores tentando, ainda sem sucesso satisfatório, realizar projetos interdisciplinares não curriculares com colegas que lecionam em suas mesmas turmas.
Uma Arquitetura de Comunicação Machine-To-Machine para Sistemas IoT Multiplataforma
Comunicação M2M é a sinalização entre nós da rede (alguns objetos ou dispositivos) com recursos de computação/comunicação sem intervenção humana. As comunicações existentes Humano-a-Humano estão se expandindo para as comunicações Homem-a-Máquina ou Máquina-a-Máquina. A comunicação M2M usa máquinas para monitorar/atuar determinados eventos com sensores e para instruir a atuação. Os eventos capturados são retransmitidos através de redes cabeada ou sem fio para servidores, que extraem e processam as informações coletadas e controlam e tomam decisões automaticamente sobre essas máquinas. As características das redes M2M são bastante diferentes das redes convencionais cabeadas ou sem fio. As redes IoT são compostas por um grande número de nós, onde o principal elemento participante da comunicação M2M é um dispositivo ou objeto. A quantidade de objetos (milhões ou bilhões) que irá se comunicar é enorme, então o custo e a comunicação entre esses elementos devem ser baixos. Como a maioria das máquinas funciona com bateria, a eficiência energética é o aspecto mais importante. Embora a comunicação M2M possa ocorrer sem intervenção humana, a estabilidade operacional e a sustentabilidade também são necessárias.
Instrumentação e Controle em Plataformas Embarcadas
A crescente evolução na capacidade dos sistemas computacionais embarcados possibilitou, de maneira destacada, um considerável avanço nas possibilidades de aplicação em cenários cada vez mais complexos. Para simplificar o entendimento do problema de maneira mais genérica possı́vel, podemos definir uma plataforma robótica como a junção de sensores e atuadores de modo que duas principais tarefas devem ser executadas de maneira harmônica: Percepção: quando o ambiente externo ou a própria condição da plataforma são observados através da coleta de medidas sensoriais de modo que, uma vez devidamente tratadas (ou processadas), alguma informação útil possa ser extraída. Atuação: baseado nessa percepção situacional, alguma ação pode ou deve ser tomada de maneira autônoma através dos sistemas de ação existentes.
Esta pesquisa, de caráter teórico, tem por objetivo realizar um resgate histórico do conceito de espaço. A ideia da espacialidade passa por redefinições epistemológicas, especialmente quando pensamos as formas contemporâneas como as tecnologias digitais dialogam com o espaço em torno dela. Longe de ser um dado a priori, o espaço pode ser entendido como uma construção social contínua. Mas é precisamente o caminho conceitual que essa ideia percorreu até aqui que está na base das inquietações dessa investigação.
Um Modelo Baseado em Dinâmica de Sistemas para Suporte ao Gerenciamento de Capacidade dos Serviços de Computação em Nuvem
Computação em nuvem é uma tendência recente de tecnologia cujo objetivo é proporcionar serviços sob demanda com pagamento baseado no uso. Nesse ambiente, as empresas podem alugar capacidade de processamento e armazenamento, reduzindo seus custos. Em alguns casos onde não existem condições técnicas ou humanas para que o serviço de nuvem possa se autoconfigurar ou as máquinas físicas que hospedam a solução estejam com sua capacidade comprometida, os gestores dependem muitas vezes de sua experiência para dimensionar adequadamente os recursos de TI necessários para atender às novas necessidades do negócio. Essa é uma decisão típica relacionada ao gerenciamento de capacidade. Os provedores de serviços de nuvem necessitam modelar e resolver os problemas relacionados ao gerenciamento de capacidade de serviços de computação em nuvem. Como nos serviços de computação em nuvem a proposta é que os mesmos possam atender às necessidades dos clientes de forma transparente e autônoma, se faz necessário o apoio de soluções que possam ajudar o gestor de capacidade a desempenhar efetivamente as suas atividades. Quando avaliando resultados de cada serviço na nuvem, os gerentes de capacidade necessitam saber o quanto os ajustes nos recursos de TI irão impactar no negócio e como manter o alinhamento entre os serviços de TI e os objetivos de negócio ao nível estratégico. Pela característica peculiar da computação em nuvem, que envolve o compartilhamento de máquinas e outros recursos de TI, essa atividade apresenta dificuldades para ser realizada. A principal contribuição desta pesquisa deverá ser o modelo para simulação de cenários reais de decisão no gerenciamento da capacidade de serviços de computação em nuvem, com base na dinâmica de sistemas. Existe a possibilidade de se realizar simulações para a avaliação de um cenário real de computação em nuvem, considerando a demanda de trabalho gerada para os serviços de nuvem. As informações geradas deverão ser úteis para os gestores avaliarem e ajustarem a capacidade de atendimento e suporte da nuvem às demandas reais dos clientes.
Padrões de Mobilidade Baseados em Perfis de Tráfego
Aplicações relacionadas à mobilidade são chave para ajudar pessoas, empresas e órgãos governamentais no gerenciamento da mobilidade de indivíduos no dia-a-dia. Tais aplicações utilizam uma rede de rodovias subjacente em conjunto com informações sobre o tráfego na rede. As informações de tráfego podem ser estimadas a partir de dados de trajetórias de objetos móveis, coletados por dispositivos como GPS. A trajetória de um objeto móvel é caracterizada por um sequência de posições juntamente com o instante de tempo em que foram coletadas. A popularização dos serviços baseados em localização (como Google Maps e Waze, por exemplo) possibilitou o crescimento do volume de dados de trajetórias de objetos móveis, o que trouxe novas oportunidades para descobrir padrões de tráfego e entender a evolução do tráfego na rede a partir desses dados. Incerteza, por outro lado, é inerente aos dados de trajetória. Seja pela própria natureza dinâmica do tráfego, pelo diferentes perfis de motorista ou por conta das limitações de precisão dos dispositivos que coletam essas informações. Dessa forma, este projeto de pesquisa visa propor soluções eficientes para descoberta, atualização e análise da evolução de padrões de tráfego considerando a incerteza inerente ao tráfego.
A classification model for handbags images via Deep Learning
The goal of the parties is to provide a classification model to categorize handbags images given as input by an user on a mobile application. If the model incorrectly classifies the images, the user must be able to provide the correct class and the classification model should learn from those additions. The proposed model should initially be able to detect the handbag by brands/seasons. It is assumed that OSF will provide the database and the necessary infrastructure for the project.
O Homem-Máquina na Cibercultura: uma Análise Teórico-Crítica dos Signos de Esportividade
Este projeto tem por preocupação central contribuir com a Psicologia Social no debate contemporâneo acerca das relações interpessoais virtualizadas, considerando a experiência de esportividade dos sujeitos no uso do seu tempo livre, o consumo como um dos modos preponderantes de ocupação do mesmo e uma adequação do esporte como operacionalizador de subjetividades massificadas. A partir da interatividade encontrada na cibercultura, refletimos sobre as novas configurações da Indústria Cultural (Adorno, 2002), aqui representada pela indústria do esporte, da beleza e da saúde, enquanto instância simbólica e fonte produtora de novas formas de expressão humana voltadas a mensuração, classificação e diferenciação. Parte-se do referencial teórico da Escola de Frankfurt (Adorno, Horkheimer e Marcuse), além de autores como Baudrillard, Veblen, Rosa, Lasch, Severiano, Ehremberg Sibilia, Santaella dentre outros, evidenciando as noções de “Culto da Performance”, em vista de uma reprodução da lógica do consumo na esfera “hipermidiática” das relações interpessoais e de “Cultura do Consumo”, na qual a “lógica mercantil” se utiliza predominantemente da lógica da realização dos desejos para subjugá-la a fins mercadológicos. Tem-se por objetivo articular e refletir acerca da ascensão do consumo de signos de esportividade enquanto uma prática de utilização do tempo livre, relacionado com a competitividade do neoliberalismo, o ócio conspicuo, o sucesso profissional, a aceleração tecnológica, a psicologia do esporte e os ideais de humanidade cada vez mais modelada a semelhança das propriedades das máquinas como a velocidade. Nossa hipótese é a de que o atual modelo onipresente de máquina como acelerador do desenvolvimento tecnológico e incremento do humano tende a subversão da humanidade na medida em que os produtos midiáticos e tecnológicos representam uma nova mitologia promotora de encanto e a esportividade pode representar um signo facilitador desta dominação subjetiva. Metodologicamente, trata-se de uma pesquisa teórico-empírica, de natureza qualitativa, cuja estratégia propõe-se a coleta e análise de produções e mensagens midiáticas do ciberespaço em categorias construídas a partir dos levantamentos teóricos e da realidade empírica observada. A interpretação deste material dar-se-á a partir de uma análise teórico-crítica em articulação com o referencial teórico escolhido. É considerado relevante para o saber psicológico refletir criticamente sobre o processo de mercantilização das interações humanas modelando-as segundo uma racionalidade instrumentalizada para o cálculo, a quantificação e a competitividade trasvestido de atributo e virtude de esportividade. O aprofundamento destas questões representa uma contribuição significativa para um maior entendimento das subjetividades contemporâneas.
Lidando com Conflitos entre Requisitos Não-Funcionais em Aplicações Ubíquas e da Internet das Coisas
Requisitos não-funcionais (RNFs) são aqueles que descrevem quão bem um sistema executa suas funções. Eles podem descrever características de qualidade (e.g., Disponibilidade, Segurança e Confiabilidade), restrições ou interfaces externas. O foco do trabalho de doutorado é em RNFs que são características de qualidade. Isso porque eles representam a maior porção dos RNFs existentes. Esse tipo de RNF pode afetar a escolha de recursos de hardware, do projeto de arquitetura e outros. Assim, é essencial e necessário elicitar e analisar informações desse tipo de RNF desde o início do desenvolvimento do software. Algumas combinações de RNFs tem conflitos inevitáveis, o que significa que alcançar um requisito pode impactar o alcance de outro. Assim, durante os estágios de análise e projeto de software, os conflitos que podem ocorrer devem ser identificados e tratados. A literatura tem vários catálogos de conflitos entre RNFs, os quais se concentram em requisitos genéricos para qualquer sistema. No entanto, cada domínio de software tem características de qualidade que são de particular importância e podem merecer mais atenção no desenvolvimento. Por exemplo, os sistemas para Internet exigem, especificamente, disponibilidade e segurança. Além disso, novos RNFs surgiram com o advento de outros paradigmas computacionais, que é o caso da Computação Ubíqua (UbiComp) e atualmente da Internet de Coisas (do inglês Internet of Things – IoT). Um exemplo de novo RNF presente na UbiComp e de interesse para tornar a IoT uma realidade é a Sensibilidade ao Contexto, que é a capacidade do sistema de monitorar informações contextuais sobre o usuário, o sistema e o meio ambiente para fornecer serviços relevantes. Outro RNF de particular importância para esses paradigmas é Mobilidade, que se refere à capacidade do sistema para fornecer aos usuários acesso contínuo aos recursos de informação, independentemente da sua localização dentro dos limites do sistema. Portanto, as aplicações dos ambientes UbiComp e IoT podem ter RNFs diferentes dos existentes, o que, por sua vez, pode entrar em conflito. As soluções existentes para identificação e resolução de conflitos entre RNFs não consideram RNFs específicos para aplicações UbiComp e IoT. Portanto, o objetivo da tese de doutorado é propor um catálogo de conflitos entre RNFs das aplicações UbiComp e IoT. Esse catálogo deve considerar as diversas estratégias utilizadas para o alcance do RNF em um sistema IoT. Dessa forma, ele será útil para ajudar os desenvolvedores a tomar decisões sobre como implementar os RNFs nessas aplicações.
Inference and Identification for Jump Markov Systems
Este trabalho tem como principal objetivo o desenvolvimento e a avaliação de técnicas de métodos computacionais para estimação de espaço de estados que apresentam componentes lineares e não-lineares assim como a identificação de parâmetros desconhecidos no modelo estruturado. Tais modelos apresentam uma característica peculiar de modo que podem operar em diferentes regimes discretos, chamados modos de operação. A mudança entre regimes é ditada por uma cadeia de Markov através de uma matriz de probabilidade de transição de modos. Com isso os modelos estudados são também chamados híbridos, por apresentarem estados contínuos (espaço de estados) e discretos (modos), ou modelos de salto markoviano. Este trabalho utiliza métodos de Monte Carlo sequenciais, também conhecidos como filtro de partículas, para a estimação das variáveis dinâmicas e avalia diferentes estratégias para a identificação conjunta de variáveis estáticas. Outra peculiaridade apresentada neste trabalho é a avaliação de tais algoritmos em um cenário onde as observações encontram-se dispersas fisicamente, sendo necessárias técnicas de processamento distribuído levando em consideração a existência apenas de comunicação local entre os sensores próximos. Também está previsto com estudo a avaliação de limites teóricos para a estimação dos estados contínuos em sistemas de salto markoviano.
Tools & CAS: Desenvolvimento e evolução de Aplicativos Móveis e Sistemas Web
O objetivo deste projeto é desenvolver aplicativos móveis para celulares, integrados a plataformas web, e desenvolvimento e evolução de ferramentas de melhoria e automação de processos bem como a melhoria dos processos de desenvolvimento internos e da qualidade dos produtos desenvolvidos. Os resultados esperados ao final das atividades são o desenvolvimento de novos aplicativos móveis e ferramentas bem como a evolução dos sistemas já desenvolvidos.
Uma Avaliação da Importância da Governança em Universidades Públicas sob a Ótica das Recomendações das Boas Práticas – Estudo de Caso com Gestores da Universidade Federal do Ceará
Projeto de pesquisa apresentado ao Programa de Mestrado Profissional em Políticas Públicas e Gestão da Educação Superior – POLEDUC, da Universidade Federal do Ceará, como requisito parcial para a obtenção do Título de Mestre. Orientador: Prof. Dr. Alberto Sampaio Lima
Coordenador: Antonio Jones Bezerra de Almeida
Início: 04/04/2016 | Término: 29/12/2017
Conhecer para permanecer: uma análise do perfil e das expectativas dos alunos ingressantes do campus da UFC em Quixadá
Conhecer o perfil do estudante envolve o estudo do processo de interação entre as características do estudante e do ambiente universitário, bem como das mudanças produzidas por essa experiência em ambos, demandando integração, ajustamento e adaptação. Indo ao encontro dessa ideia, este estudo visa compreender o perfil dos alunos ingressantes dos seis cursos do campus da UFC em Quixadá, bem como seus interesses e expectativas em relação à formação acadêmica e ao futuro profissional. Os fundamentos teóricos que o estruturam levam em conta os aspectos relacionados ao ingresso do aluno na educação superior, tais como: o processo de socialização e integração acadêmica e a motivação para o ingresso e permanência no curso. Como referência metodológica optou-se por elaborar um instrumento de pesquisa capaz de fornecer os dados necessários ao delineamento do perfil dos estudantes; suas características pessoais, socioeconômicos, escolares, seus julgamentos, expectativas e motivações sobre aspectos do curso de graduação escolhido; buscando indicadores que pudessem fundamentar a definição de políticas sociais para os estudantes. Assim, aplicou-se um questionário via forma eletrônica (ferramenta Google Docs) aos alunos ingressantes de cada um dos seis cursos oferecidos no campus da UFC em Quixadá, totalizando o preenchimento de 236 questionários, em 2015 e 237, em 2016. O questionário foi composto por 39 questões: 36 fechadas e 4 abertas. As questões investigaram aspectos referentes a quatro eixos: 1. Identificação pessoal; 2. Motivações para o ingresso no curso; 3. Experiências escolar e profissional; e 4. Expectativas em relação à conclusão do curso e à inserção no mercado de trabalho. Espera-se que, em posse deste conhecimento sobre o perfil do ingressante, possam ser possam desenvolvidas políticas, programas, estratégias e ações capazes de prevenir a má adaptação e a evasão.
Coordenadora: Luiza Eridan Elmiro Martins De Sousa
Início: 29/11/2016 | Término: 29/11/2017
Algoritmos de Previsão de Acidentes Aéreos
O projeto de Atualização da Monitoração Aeronáutica e Auto-Sustentabilidade, iniciado em 2011, pretende atualizar o parque tecnológico dos pequenos aeroportos no país e assim prover mais um nível de informação e segurança para os seus sistemas. Tal atualização se dará através da implantação do sistema ADS-B (Automatic Dependent Surveillance – Broadcast) em pequenos aeroportos e nos controles de aproximação. Este projeto buscou soluções inovadoras para baratear o custo do sistema total, através da definição de uma plataforma enxuta (sistema embarcado) e da implementação de software embarcado de código aberto nesse sistema para recepção, tratamento e atualização dos dados. Atualmente, o sistema de rastreamento aeronáutico ADS-B já iniciou o processo de adoção pelo Brasil. Entretanto, por questão de custo, limitações técnicas (aeronaves clandestinas e militares tipicamente não usam o ADS-B em sua totalidade) e pelo controle militar do sistema de vigilância aeronáutica, o ADS-B está sendo considerado somente como uma pequena extensão ao modelo de radares aeronáuticos atuais para aviação civil. Nos quatro primeiros anos deste projeto foram desenvolvidos: um protótipo para a realização da decodificação e tratamento das mensagens do sistema ADS-B (2012-2013), soluções para sua persistência e tratamento em bancos de dados (2013-2014), um protocolo para recepção dos dados de múltiplas antenas (2014-2015) e uma implementação do coletor para sistemas embarcados Android (2015-2016). Os objetivos principais a serem atingidos durante o quinto ano do projeto (2016-20176) são (a) a formação de recursos humanos capacitados a trabalhar algoritmos em sistemas de tempo-real, e (b) o provimento de uma solução de software voltada à detecção de colisões iminentes entre aeronaves. Após a execução do projeto, será possível utilizar o sistema Radar Livre para emitir alertas de colisão iminente entre aeronaves, automatizando parte do trabalho de um controlador de voo.
Programação Matemática para Problemas de Classificação Contínua e Combinatória
Uma questão de notória relevância prática na sociedade da informação em que vivemos é a determinação automática de padrões em um conjunto de dados conhecidos com o objetivo de gerar informações sobre o comportamento de dados não conhecidos, área conhecida por Data Mining. Tratando-se de uma área de conhecimento em progressiva efervescência, há atualmente uma multitude de estratégias adotadas com sucesso, cada qual mais adaptada a um contexto particular. Esta proposta é organizada em torno de um problema oriundo da estratégia conhecida pelo termo de classificação supervisionada. O objeto de estudo neste projeto é o uso de formulações de programação linear inteira para a resolução do problema de classificação em casos em que existem um padrão subjacente ao conjunto de amostras que pode ser expresso a partir de alguma noção de conjuntos convexos. Concentramos nossa atenção em dois casos particulares: convexidade euclidiana em um espaço multidimensional (a qual é usada em todos os trabalhos encontrados na literatura) e convexidade geodésica em grafos (que não foi estudado na literatura). O presente projeto de pesquisa faz parte do plano de trabalho geral de doutorado do candidato. Este projeto será executado na forma de um doutorado sanduíche no Département d’Informatique de Université Libre de Bruxelles sob a orientação da Profa. Dra. Martine Labbé.
O projeto anterior de Atualização da Monitoração Aeronáutica e Auto-Sustentabilidade, iniciado em 2011, pretende atualizar o parque tecnológico dos pequenos aeroportos no país e prover mais um nível de informação e segurança para os seus sistemas. Tal atualização se dará através da implantação do sistema ADS-B (Automatic Dependent Surveillance – Broadcast) em pequenos aeroportos e nos controles de aproximação. Este projeto buscou soluções inovadoras para baratear o custo do sistema total, através da definição de uma plataforma enxuta (sistema embarcado) e da implementação de software embarcado de código aberto nesse sistema para recepção, tratamento e atualização dos dados. Atualmente, o sistema de rastreamento aeronáutico ADS-B já iniciou o processo de adoção pelo Brasil. Entretanto, por questão de custo, limitações técnicas (aeronaves clandestinas e militares tipicamente não usam o ADS-B em sua totalidade) e pelo controle militar do sistema de vigilância aeronáutica, o ADS-B está sendo considerado somente como uma pequena extensão ao modelo de radares aeronáuticos atuais para aviação civil. Nos quatro primeiros anos deste projeto de pesquisa foram desenvolvidos: um protótipo para decodificação e tratamento de mensagens ADS-B (2012-2013), soluções para sua persistência e tratamento em BD (2013-2014), um protocolo para recepção dos dados de múltiplas antenas (2014-2015) e uma implementação do coletor para sistemas embarcados Android (2015-2016). Com este projeto de desenvolvimento tecnológico e inovação, os objetivos principais no período 2016-2017 são (a) a formação de recursos humanos capacitados a trabalhar em soluções de melhoria de cobertura de antena, (b) o provimento de uma solução de hardware voltada à melhoria de cobertura de antenas que requerem visada e (c) a submissão de uma patente com tais melhorias. Após a execução do projeto, será possível fazer a instalação de uma antena com melhoria de visada para aeronaves passantes em relação ao estado-da-arte atual.
A Inserção dos Egressos dos Cursos de Graduação na Área de Tecnologia da Informação dos Campi de Interior da UFC no Mercado Regional
A qualificação profissional é uma exigência atual do mercado de trabalho, pois, para se manter ativo em uma profissão, é necessário a atualização constante de acordo com as tendências econômicas, as novas tecnologias e as demandas do mundo laboral. Tais pressupostos formativos têm por objetivo a inserção ou a permanência do profissional no mercado de trabalho. O objetivo maior desta pesquisa foi investigar como se deu a inserção laboral dos alunos oriundos de turmas de graduação na área de Tecnologia da Informação dos campi da Universidade Federal do Ceará – UFC em Quixadá e em Sobral e sua relação com o mercado de trabalho da região onde esses egressos concluíram a formação. A avaliação deste quadro permitiu identificar quais as facilidades e dificuldades que os egressos encontraram ante o mundo do trabalho, permitindo assim trazer indicativos para a melhoria da qualificação que vem sendo ofertada nestas instituições de ensino superior. Desse modo, essa pesquisa buscou contribuir com as discussões sobre a Avaliação de Políticas Públicas de Ensino Superior, por meio da análise da estreita relação entre universidade, qualificação profissional, mercado de trabalho e desenvolvimento regional. A metodologia utilizada contou com pesquisa exploratória e descritiva. O instrumento de coletas de dados utilizado foi o questionário composto de perguntas abertas e fechadas que foram analisadas tanto na perspectiva quantitativa quanto qualitativa. A coleta de dados foi feita de forma censitária, aplicada aos 148 egressos dos cursos em estudo, até o primeiro semestre de 2015, sendo que 102 egressos responderam ao questionário. Foi utilizado o coeficiente Alfa de Cronbach para verificação da consistência interna do instrumento. Os resultados apontaram questões como: significativo fluxo de egressos trabalhando em grandes centros urbanos, escassez de vagas no mercado de trabalho das regiões onde os egressos se formaram e necessidade de incentivo ao crescimento e fortalecimento das economias regionais.
Inteligência Científica e Tecnológica na Segurança Pública
De acordo com David H Bayley, a manutenção da ordem é a função essencial de um governo, não apenas a própria legitimidade do governo é em grande parte determinada por sua capacidade de manter a ordem, mas também a ordem funciona como critério para se determinar se existe de fato algum governo. Em consonância com essa visão, o Estado do Ceará tem investido intensamente em segurança pública, apesar dos crescentes índices de violência. Tendo em vista um melhor aproveitamento desses investimentos, este projeto tem o objetivo de desenvolver estudos científicos com intuito de aplicar soluções tecnológicas de identificação humana, identificação veicular, monitoramento de pessoas e veículos através dos órgãos de segurança pública (SSPDS-CE e PRF). As soluções desenvolvidas permitirão a otimização do patrulhamento ostensivo e comunitário, bem como o aperfeiçoamento dos sistemas de informação existentes nas pastas, através da aplicação de técnicas de ciência de dados e aprendizado de máquina para integrar as informações em um portal analítico, que auxiliará o gestor na tomada de decisões.
Coordenador: Paulo Antonio Leal Rego
Início: 01/02/2018 | Término: 31/01/2020
Avaliação da maturidade dos processos de safety na engenharia de requisitos
Contexto: Safety-Critical Systems (SCS) requerem abordagens de engenharia de requisitos (RE) mais sofisticadas, uma vez que requisitos inadequados, incompletos ou mal interpretados foram reconhecidos como uma das principais causas em muitos acidentes e catástrofes relacionadas à segurança (safety). Objetivo: A fim de lidar com a complexidade de integrar as preocupações de segurança no processo de RE, o objetivo deste projeto é avaliar a maturidade dos processos de segurança das empresas na fase de RE. Método: a metodologia design science foi utilizada e para resolver este problema prático, será proposto um módulo de segurança (safety), que consistirá em um aprimoramento do Modelo de Maturidade Universal do Processo de Engenharia de Requisitos (Uni-REPM). Resultados: o módulo de segurança, atualmente, possui sete processos principais, 14 subprocessos e 149 ações que descrevem princípios e práticas que constituem a base da maturidade dos processos de segurança. Conclusões: como instrumento de avaliação, espera-se que o módulo de segurança seja uma solução simples para os profissionais identificar o status de seus processos de segurança em RE. Como ferramenta de orientação, espera-se que o módulo possa ajudar as organizações na avaliação de suas práticas de segurança atuais no processo de RE, além de oferecer uma estratégia de melhoria gradual para atingir uma maior maturidade.
Coordenadora: Jessyka Flavyanne Ferreira Vilela
Início: 16/03/2015 | Término: 28/02/2019
Outros projetos de pesquisa:
Motivação e condicionantes para a gestão institucional em dois grupos distintos de servidores docentes e técnico-administrativos – Um estudo de caso no campus da UFC em Quixadá – Roberta Dutra
Análise em Big data via Mineração de Dados – Ticiana Linhares
Perfil de um aluno balanceado na UFC – Quixadá por análise multiobjetivo –Críston Pereira e outros
Controle Computacional para Otimização da irrigação – Carlos Diego
Aprendizagem baseada na resolução de problemas – um estudo em cursos de graduação nas áreas de educação e computação –Alberto Sampaio
SeDAn – Segurança em dispositivos Android – Relatório de vulnerabilidade e testes de segurança automáticos – Bruno Gois e Márcio Espíndola
Uma Infraestrutura para Descoberta de Perfis de Usuários de SmartPhones em Larga Escala (Big Data) –Régis Pires
Mobile & Tools – Desenvolvimento, verificação e validação de software para celulares e desenvolvimento de ferramentas para automação de testes – 2014
Sistemas de Comunicações móveis sem fio de quinta geração 5G – 2014
Discovering Frequent Mobility Patterns on Trajectory Data – 2014
Desenvolvimento de Conteúdo Didático Digital para Pessoas com Deficiência –2014
Gerência de Recursos de rádio, sistemas mimo de larga escala e alinhamento de interferência para otimização de sistemas de comunicação sem fio – 2014
Auto-Avaliação continuada de cursos de graduação por meio da gestão do conhecimento – 2014
Nuvem Computacional Baseada em Componentes para Aplicações de Computação de Alto Desempenho – 2014
Axiomatização da Teoria Tonal – 2014
Deliberation Dialogues for Belief-Based Group Decisions – 2014
Exploring Equivalence between Logic Programming Semantics and Argumentation Semantics – 2014
UbiStructure – Uma infraestrutura de desenvolvimento e execução de aplicações ubíquas – 2014
MaxIMUm: Uma Abordagem baseada em Medições para Avaliação da Qualidade Interação Humano-Computador de Sistemas Ubíquos –2014
Testes Sensíveis ao Contexto para Sistemas Ubíquos (Context-Awareness Testing for Ubiquitous Systems) – 2014
Uma abordagem de avaliação de qualidade baseada em medições para modelos de features de Linhas de Produtos de Software Dinâmicas – 2014
Automação da Dinâmica entre a TI e o Negócio nas atividades de oferta e suporte de serviços – 2014
FITS (Future Internet Testbed with Security) em parceria com o GTA/UFRJ –2014
Últimas Publicações
BENTO, LUCAS RAIMUNDO ; CASTRO, ANTÔNIO JOEL RAMIRO ; MOREIRA, ALTAIR BENEDITO ; FERREIRA, ODAIR PASTOR ; BISINOTI, MÁRCIA CRISTINA ; MELO, CAMILA ALMEIDA . Release of nutrients and organic carbon in different soil types from hydrochar obtained using sugarcane bagasse and vinasse. GEODERMA, v. 334, p. 24-32, 2019.
COELHO DA SILVA, T. L. ; MAGALHÃES, REGIS PIRES ; MACÊDO, J. A. F. ; ARAUJO, D. ; ARAUJO, N. ; MELO, V. ; OLIMPIO, P. ; REGO, P. ; LIRA NETO, A. V. . Improving Named Entity Recognition using Deep Learning with Human in the Loop. In: EDBT – International Conference on Extending Database Technology, 2019, Lisboa. Proceedings of the 22nd EDBT – International Conference on Extending Database Technology, 2019.
GOMES, D. F. ; OLIVEIRA FILHO, J. V. ; MONTEIRO, I. T. . Ddpositório: Repositório Digital do curso de Design Digital. In: 5º Seminário de Artes Digitais, 2019, Belo Horizonte. Anais do 5º 5º Seminário de Artes Digitais, 2019.
MIRANDA, J.R.S. ; DE CASTRO, A.J.R. ; DA SILVA FILHO, J.G. ; FREIRE, P.T.C. ; Pinheiro, G.S. ; MOREIRA, S.G.C. ; Saraiva, G.D. ; de Sousa, F.F. . Phase transformation in the C form of myristic-acid crystals and DFT calculations. SPECTROCHIMICA ACTA PART A-MOLECULAR AND BIOMOLECULAR SPECTROSCOPY, v. 208, p. 97-108, 2019.
NASCIMENTO, T. ; COUTINHO, Emanuel Ferreira ; BEZERRA, CARLA I. M. ; SOUZA, J. N. . A Metric for Resource Usage Evaluation in Cloud Computing Environments. In: 7th International Workshop on ADVANCEs in ICT Infrastructures and Services, 2019, Praia – Capa Verde. 7th International Workshop on ADVANCEs in ICT Infrastructures and Services, 2019.
SÁ, SAMY; Alcântara, João . Interpretations and models for assumption-based argumentation. In: the 34th ACM/SIGAPP Symposium, 2019, Limassol. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing – SAC ’19. New York: ACM Press, 2019. p. 1139-1146.
SERAFIM, J. M. ; BEZERRA, CARLA I. M. ; UCHOA, A. G. . Analyzing the Impact of Inter-smell Relations on Software Maintainability: An Empirical Study with Software Product Lines. In: Simpósio Brasileiro de Sistemas de Informação, 2019, Aracaju. 15 Simpósio Brasileiro de Sistemas de Informação (SBSI), 2019.
SERAFIM, P. ; MEDEIROS, A. ; REGO, P. A. L. ; MAIA, G. ; TRINTA, F. A. M. ; Maia, Marcio E.F. ; MACEDO, J. ; LIRA, A. . A Method based on Convolutional Neural Networks for Fingerprint Segmentation. In: International Joint Conference on Neural Networks (IJCNN), 2019, Budapeste. 2019 International Joint Conference on Neural Networks (IJCNN), 2019.
SOUZA FILHO, J. C. ; MONTEIRO, I. T. ; JUCÁ, P. M. . Game for PLAYability Heuristic Evaluation (G4H-PLAY): Adapting G4H Gamification to Allow the Use of Playability Heuristics. In: 8th International Conference on Design, User Experience and Usability (DUXU), held as part of HCI International, 2019, Orlando. Proceedings of the 8th International Conference on Design, User Experience and Usability (DUXU 2019), 2019.
ALCANTARA, J. ; SÁ, Samy . On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks. In: International Workshop on Logical and Semantic Frameworks with Applications, 2018, Fortaleza. Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018. v. 1. p. 15-28.
Alcântara, João ; SÁ, Samy . An Infinite-Valued Grounded Labelling for Abstract Argumentation Frameworks. In: 33th Annual ACM Symposium on Applied Computing (SAC 2018), 2018, Pau. Proceedings of the 33th Annual ACM Symposium on Applied Computing, 2018.
ALVES, M. ; FREITAS, R. ; SOUZA, P. M. S. ; RICARDO, P. ; BEZERRA, CARLA I. M. . Um Relato de Experiência: Ensinando Robótica por meio de Microcontroladores em uma Escola Profissional de Ensino Médio. In: 26º Workshop sobre Educação em Computação (WEI), 2018, Natal. 26º Workshop sobre Educação em Computação (WEI), 2018.
ARAGAO JUNIOR, B. R. ; NOGUEIRA, T. P. ; Maia, Marcio E.F. ; ANDRADE, R. M. C. . Framework de Suporte ao Desenvolvimento e Evolução de Aplicações Auto-Adaptativas em IoT. In: 10º Simpósio Brasileiro de Computação Ubíqua e Pervasiva, 2018, Natal. Anais do 10º Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP 2018), 2018. p. 99-108.
ARAGAO JUNIOR, BELMONDO RODRIGUES ; ANDRADE, ROSSANA MARIA DE CASTRO ; MAIA, MARCIO ESPINDOLA FREIRE ; NOGUEIRA, TALES PAIVA . SUCCEEd: Support Mechanism for Creating and Executing Workflows for Decoupled SAS in IoT. In: 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 2018, Tokyo. 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 2018. p. 738.
BARBOSA, JEFFERSON ; ANDRADE, ROSSANA M. C. ; FILHO, JOÃO BOSCO F. ; BEZERRA, CARLA I. M. ; BARRETO, ISAAC ; CAPILLA, RAFAEL . Cloning in Customization Classes. In: the VII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the VII Brazilian Symposium on Software Components, Architectures, and Reuse – SBCARS ’18, 2018. p. 43.
BARBOSA, R. A. ; REGO, P. A. L. ; STANCANELLI, E. M. G. ; Maia, Marcio E.F. ; SOUZA, J. N. . Uma ferramenta baseada em containers Docker para experimentação em Mobile Cloud Computing. In: Salão de Ferramentas do Simpósio Brasileiro de Redes de Computadores, 2018, Campos do Jordão. XXXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos: Salão de Ferramentas, 2018.
BEZERRA, CARLA I. M.; ANDRADE, ROSSANA M. C. ; MONTEIRO, JOSÉ M. S. ; CEDRAZ, DAVI . Aggregating Measures using Fuzzy Logic for Evaluating Feature Models. In: the 12th International Workshop, 2018, Madrid. Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems – VAMOS 2018, 2018. p. 35.
CAVALCANTE, F. N. ; JUCÁ, P. M. ; ALENCAR, J. M. ; CALLADO, Arthur de Castro . Remote Access with Wake on LAN. In: Euro American Conference on Telematics and Information Systems (EATIS), 2018, Fortaleza. Euro American Conference on Telematics and Information Systems (EATIS), 2018.
COELHO DA SILVA, T. L. ; MAGALHÃES, REGIS PIRES ; BRILHANTE, I. R. ; MACÊDO, J. A. F. ; ARAUJO, D. ; REGO, P. ; LIRA NETO, A. V. . Big Data Analytics Technologies and Platforms: A Brief Review. In: LADaS@VLDB 2018, 2018, Rio de Janeiro. Proceedings of the Latin America Data Science Workshop co-located with 44th International Conference on Very Large Data Bases (VLDB 2018), 2018.
COSTA, J. R. F. ; DIAS, F. C. S. ; TAVARES, W. A. . Um Algoritmo VNS para o Problema da Máxima Interseção de k Subconjuntos. In: 50º SBPO ? Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro – RJ. 50º SBPO ? Simpósio Brasileiro de Pesquisa Operacional, 2018.
COUTINHO, Emanuel ; BEZERRA, JAGNI ; BEZERRA, Carla Ilane Moreira ; MOREIRA, LEONARDO OLIVEIRA . Uma Análise da Evasão em Cursos de Graduação Apoiado por Métricas e Visualização de Dados. In: XXIV Workshop de Informática na Escola, 2018, Fortaleza. org.crossref.xschema._1.Title@3efa2d1, 2018. p. 31.
COUTINHO, Emanuel ; SANTOS, ITALO ; MOREIRA, LEONARDO OLIVEIRA ; BEZERRA, Carla Ilane Moreira . Um Estudo Preliminar de Ecossistemas de Software na Disciplina Engenharia de Software. In: XXIV Workshop de Informática na Escola, 2018, Fortaleza. org.crossref.xschema._1.Title@54378610, 2018. p. 21.
COUTINHO, Emanuel Ferreira ; MOREIRA NETO, M. ; A.SALES, W. ; BEZERRA, CARLA I. M. ; SOUSA, J. N. . Research Opportunities in Quality Assessment of Internet of Things, Software Defined Networks and Network Function Virtualization Environments. In: 6th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE’2018), 2018, Santiago. 6th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE’2018), 2018.
COUTINHO, Emanuel Ferreira ; MOREIRA NETO, M. ; MOREIRA, L. O. ; BEZERRA, CARLA I. M. ; SOUSA, J. N. . IoT Research Opportunities in SOLAR E-learning Software Ecosystem. In: 6th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE’2018), 2018. 6th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE’2018), 2018.
DE CARVALHO SILVA, JEFFERSON; DE OLIVEIRA DANTAS, ALLBERSON BRUNO ; HERON DE CARVALHO JUNIOR, FRANCISCO . A Scientific Workflow Management System for Orchestration of Parallel Components in a Cloud of Large-Scale Parallel Processing Services. SCIENCE OF COMPUTER PROGRAMMING, v. 1, p. 1, 2018.
DE SOUZA VIANA, THÁRSIS SALATHIEL ; de Oliveira, Marcos ; DA SILVA, TICIANA LINHARES COELHO ; FALC AO, MÁRIO SÉRGIO RODRIGUES ; GONÇALVES, ENYO JOSÉ TAVARES . A message classifier based on multinomial Naive Bayes for online social contexts. Journal of Management Analytics, v. 5, p. 1-17, 2018.
Dias, Fábio C. S.; TAVARES, W. A. ; COSTA, J. R. F. . Um Algoritmo VNS para o Problema da Máxima Interseção de k Subconjuntos. In: L Simpósio Brasileiro de Pesquisa Operacional – SBPO, 2018, Rio de Janeiro – RJ. Proceedings of the Brazilian Symposium on Operations Research. Rio de Janeiro – Brazil: SOBRAPO, 2018.
FEITOSA, A. G. E. S. ; JUCÁ, P. M. ; MAIA, Márcio Espindola Freire ; CASTRO, Miguel Franklin ; CALLADO, Arthur de Castro . Low-cost ADS-B Collectors for Distributed Aircraft Surveillance. In: Euro American Conference on Telematics and Information Systems (EATIS), 2018, Fortaleza. Euro American Conference on Telematics and Information Systems (EATIS), 2018.
FELIPE, D. A. ; PINHEIRO, Tânia S. M. . Seleção de tecnologias digitais para a gerência de projetos em disciplinas de projeto integrado. Tear: Revista de Educação, Ciência e Tecnologia, v. 7, p. 1-21, 2018.
FERREIRA, M. S. ; MENEZES, M. V. ; LELIANE N. DE BARROS . Plan Existence Verification as Symbolic Model Checking. In: Encontro Nacional de Inteligência Artificial e Computacional, 2018, São Paulo. Anais do Encontro Nacional de Inteligência Artificial e Computacional, 2018. p. 116-127.
GOMES, F. G. S. ; COSTA, L. F. ; SAMPAIO, L. ; VIANA, G. V. R. ; Dias, Fábio C. S. . Algorithms for BPRN Coloring of a Digraph. In: ISCC Symposium on Computers and Communications, 2018, Natal. Proceedings of the ISCC Symposium on Computers and Communications, 2018., 2018.
GONÇALVES, E. J. T. ; DE OLIVEIRA, M. ; MONTEIRO, I. ; CASTRO, J. ; ARAUJO, J. . Understanding what is important in iStar extension proposals: the viewpoint of researchers. REQUIREMENTS ENGINEERING, p. 1, 2018.
GONÇALVES, ENYO ; DE OLIVEIRA, MARCOS ANTÔNIO ; MONTEIRO, INGRID ; CASTRO, JAELSON ; ARAÚJO, JOÃO . Understanding what is important in iStar extension proposals: the viewpoint of researchers. REQUIREMENTS ENGINEERING, v. online, p. 1-30, 2018.
LIMA, R. A. ; GUERRA, Paulo T. . An Analysis of the Sentiment Classification of Short Messages Using Wod2Vec. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2018, São Paulo, SP. Anais do XV Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2018), 2018. p. 425-436.
OLIVEIRA, F. N. ; MONTEIRO, I. T. ; SOUZA, F. F. . Proposta de Aplicativo Personalizável para Auxiliar no Desenvolvimento da Comunicação de Pessoas Autistas. In: XXIII Conferência Internacional sobre Informática na Educação, 2018, Brasília. Anais da XXIII Conferência Internacional sobre Informática na Educação, 2018. v. 14. p. 219-227.
PINHEIRO, Tânia S. M.; MONTEIRO, Ingrid T. ; FELIPE, D. A. ; SAMPAIO, A. L. . O Processo de Design Digital: endereçando o desafio da multidisciplinaridade. In: HCI Education Workshop ? Brazilian Symposium on Human Factors in Computing System, 2018, Belém. HCI Education Workshop ? Brazilian Symposium on Human Factors in Computing System, 2018.
Saraiva, G.D. ; LIMA, J.A. ; de Sousa, F.F. ; DA SILVA, J.H. ; SOUSA NETO, V.O. ; RAMIRO DE CASTRO, A.J. ; MENDES FILHO, J. . Pressure dependent Raman studies in the K 2 Mo 2 O 7 ·H 2 O crystal. VIBRATIONAL SPECTROSCOPY, v. 94, p. 89-94, 2018.
SEVERIANO, M. F. V. ; QUEIROZ, T. A. ; QUEIROZ NETO, V. P. ; Figueiredo, D. F. . O. In: Aluísio Ferreira de Lima; Idilva Maria Pires Germano; Iratan Bezerra de Sabóia; José Célio Freire. (Org.). Sujeito e Subjetividades Contemporâneas. 1ed.Fortaleza: Edições UFC/ Imprensa Universitária, 2018, v. 1, p. 171-202.
SILVA, João. Marcos. E. ; CALLADO, Arthur de Castro ; JUCÁ, P. M. . Representing Sentiment Using Colors and Particles to Provide Accessibility for Deaf and Hard of Hearing Players. In: XVII Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGAMES), 2018, Foz do Iguaçu. XVII Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGAMES), 2018.
STANCANELLI, E. M. G.; S. JUNIOR, V. A. . Simulação Computacional. In: F. Rodrigo P. Cavalcanti; Tarcisio F. Maciel; Walter C. Freitas Jr; Yuri C. B. Silva. (Org.). Comunicação móvel celular. 1ed.: Elsevier, 2018, v. 1, p. 311-348.
VASCONCELOS, DANILO ; SEVERINO, VALDENIR ; NEUMAN, JOSE ; ANDRADE, ROSSANA ; MAIA, MARCIO . Bio-Inspired Model for Data Distribution in Fog and Mist Computing. In: 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 2018, Tokyo. 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 2018. p. 777.
