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.

Coordenador: Antônio Joel Ramiro De Castro

Início: 01/07/2019 | Término: 31/07/2020

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.

Coordenador: Emanuel Ferreira Coutinho

Início: 01/09/2017 | Término: 31/05/2020

Mineração e Análise de dados: Uma Visão Sistêmica

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. 

Coordenador: Marcos Antônio de Oliveira

Início: 01/04/2019 | Término: 31/03/2020

Problemas em grafos: complexidade e métodos

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.

Coordenador: Paulo Henrique Macedo De Araujo

Início: 01/03/2017 | Término: 28/02/2020

Shelf Share: Identificando produtos utilizando Visão Computacional

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.

Coordenador: Cristiano Bacelar de Oliveira

Início: 01/07/2019 | Término: 01/01/2020

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.

Coordenadora: Tânia Saraiva de Melo Pinheiro

Início: 01/08/2018 |  Término: 31/12/2019

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.

Coordenador: Francisco Helder Candido dos Santos Filho

Início:03/08/2016 | Término: 20/12/2019

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.

Coordenador: André Ribeiro Braga

Início: 15/10/2018 | Término: 15/10/2019

Um resgate histórico-conceitual do espaço

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.

Coordenador: Paulo Victor Barbosa de Sousa

Início: 01/05/2017 | Término: 01/05/2019

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.

Coordenador: Alberto Sampaio Lima

Início: 02/03/2017 | Término: 28/02/2019

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.

Coordenador: Lívia Almada Cruz

Início: 23/02/2018 | Término: 22/02/2019

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.

Coordenador: Críston Pereira de Souza

Início: 01/06/2018 | Término: 30/11/2018

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.

Coordenador: Valdemir Pereira de Queiroz Neto

Início: 14/03/2015 | Término: 14/04/2018

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.

Coordenador: Rainara Maia Carvalho

Início: 17/03/2014 | Término: 30/03/2018

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.

Coordenador: André Ribeiro Braga

Início: 01/03/2012 | Término: 31/12/2017

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.

Coordenador: Márcio Espíndola Freire Maia

Início: 01/03/2017 | Término: 31/12/2017

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.

Coordenador: Arthur de Castro Callado

Início: 01/10/2016 | Término: 31/08/2017

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é.

Coordenador: Paulo Henrique Macedo De Araujo

Início: 01/04/2017 | Término: 31/08/2017

Melhoria de Cobertura em Monitoramento Aéreo

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.

Coordenador: Arthur de Castro Callado

Início: 01/09/2016 | Término: 31/08/2017

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.

Coordenadora: Maria Simone Mendes Nunes

Início: 02/03/2015 | Término: 18/11/2016

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