22 resultados para Lógica formal


Relevância:

20.00% 20.00%

Publicador:

Resumo:

O objetivo deste trabalho é avaliar os riscos de ocorrências de intrusos em um sistema de computação em nuvem para sistemas distribuídos utilizando lógica nebulosa. A computação em nuvem é um tema que vem sendo bastante abordado e vem alavancando discussões calorosas, tanto na comunidade acadêmica quanto em palestras profissionais. Embora essa tecnologia esteja ganhando mercado, alguns estudiosos encontram-se céticos afirmando que ainda é cedo para se tirar conclusões. Isto se deve principalmente por causa de um fator crítico, que é a segurança dos dados armazenados na nuvem. Para esta dissertação, foi elaborado um sistema distribuído escrito em Java com a finalidade de controlar um processo de desenvolvimento colaborativo de software na nuvem, o qual serviu de estudo de caso para avaliar a abordagem de detecção de intrusos proposta. Este ambiente foi construído com cinco máquinas (sendo quatro máquinas virtuais e uma máquina real). Foram criados dois sistemas de inferência nebulosos, para análise de problemas na rede de segurança implementados em Java, no ambiente distribuído. Foram realizados diversos testes com o intuito de verificar o funcionamento da aplicação, apresentando um resultado satisfatório dentro dessa metodologia.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Os testes são uma atividade crucial no desenvolvimento de sistemas, pois uma boa execução dos testes podem expor anomalias do software e estas podem ser corrigidas ainda no processo de desenvolvimento, reduzindo custos. Esta dissertação apresenta uma ferramenta de testes chamada SIT (Sistema de Testes) que auxiliará no teste de Sistemas de Informações Geográficas (SIG). Os SIG são caracterizados pelo uso de informações espaciais georreferenciadas, que podem gerar um grande número de casos de teste complexos. As técnicas tradicionais de teste são divididas em funcionais e estruturais. Neste trabalho, o SIT abordará os testes funcionais, focado em algumas técnicas clássicas como o particionamento de equivalência e análise do Valor Limite. O SIT também propõe o uso de Lógica Nebulosa como uma ferramenta que irá sugerir um conjunto mínimo de testes a executar nos SIG, ilustrando os benefícios da ferramenta.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho propõe-se a descrever uma metodologia para avaliação do sistema de educação fundamental do Estado do Rio de Janeiro, que utiliza a teoria dos conjuntos nebulosos como base, no processo de inferência para geração do Indicador Avaliação do Sistema Educacional (IASE). A base de dados utilizada para criação do indicador IASE foi extraída de dados obtidos do Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira (INEP). Em seguida, os resultados obtidos são apresentados em um Sistema de informação Geográfica (SIG) possibilitando compreender a correlação de valores alfanuméricos e espacial das informações geradas no sistema nebuloso, de modo apoiar a tomada de decisão das ações governamentais no setor.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Esta tese tem por objetivo analisar as transformações socioeconômicas, com ênfase na dinâmica do mercado de trabalho, que ocorreram no município de Macaé, principalmente após a promulgação da Lei n 9.478, de 06/08/1997. Esta lei acabou com o monopólio da petrobras no que concerne a prospecção de petróleo atraindo para a região inúmeras empresas multinacionais. A importância do estudo deste municípío se deve ao fato de Macaé exercer um importante papel economico na retomada do crescimento da economia do Estado do Rio de Janeiro em funçaõ da indústria petrolífera e seus impactos estarem além de suas fronteiras, repercurtindo em toda a região norte fluminense e municípios da baixada litorãnea. Outro aspecto abordado é a forma como a região norte fluminense sempre esteve ligada aos projetos de desenvolvimento de nosso país, principalmente no que diz respeito a políticas energéticas, como o proálcool e o petróleo. Macaé tornou-se um pólo econômico muito forte para o capital porém, as contradições do sistema capítalista caminham na mesma proporção que o dinheiro do petróleo, logo as desigualdades sociais despontam de maneira muito forte e o mercado de trabalho local reflete esta contradição.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A pesquisa busca analisar a operacionalização das diretrizes pedagógicas não formais oferecidas por uma Organização do Terceiro Setor, de base internacional, com comitês locais em vários municípios do Brasil. A investigação pretende, também, abordar a contribuição das programações ofertadas para o desenvolvimento de uma nova relação com o saber segundo Bernard Charlot, de acordo com avaliação dos seus membros, no sentido de interculturalidade. A escolha da organização, objeto de estudo, se justifica por ter surgido após a Segunda Guerra Mundial, em 1948, fundada por estudantes de sete países europeus (Noruega, Dinamarca, França, Suécia, Finlândia, Bélgica e Países Baixos), com o propósito de contribuir para a integração entre diferentes culturas, promovendo o entendimento e a cooperação entre seus países membros, através do intercâmbio de técnicas administrativas e de recursos humanos (AIESEC, 2014). Trata-se de um estudo de caso no qual o referencial teórico destaca os autores Maria da Glória Gohn, Jaime Trilla, José Carlos Libâneo e Simone Park por caracterizarem a educação não formal. Os conceitos relacionados ao Terceiro Setor são trabalhados à luz das concepções dos autores Leilah Landin, Sérgio Haddad e Carlos Montaño. Para o conceito de competências são usadas, principalmente, as abordagens de Acácia Kuenzer e Neise Deluiz e, finalmente, Vera Candau e Maria Aneas, para a abordagem da interculturalidade. A metodologia da pesquisa com abordagem qualitativa se utiliza de métodos diferenciados como: observação não participante, entrevista semipadronizada com quatro intercambistas, pesquisa documental e análise de documentos na internet. Os dados revelam que as práticas pedagógicas de Educação Não Formal apresentam uma dicotomia entre seus valores de paz e os seus fazeres convergentes com a lógica do mercado globalizado. A pesquisa aponta que as ações educativas deveriam ultrapassar a concepção de multiculturalismo, para a de interculturalismo, instaurando o diálogo com as diferenças.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A presente dissertação busca analisar os aspectos subjacentes à emergência de um novo paradigma no que tange à inovação: open innovation (ou inovação aberta). Tendo em vista que o estudo comporta a necessidade de conceituação, importa observar que atualmente o conhecimento se mostra difundido entre inúmeras fontes. Sendo assim, a ideia de uma estrutura totalmente vertical e autossuficiente de pesquisa e desenvolvimento, inerente aos modelos fulcrados no paradigma anterior (closed innovation ou inovação fechada), vem dando lugar à crença de que ideias valiosas podem surgir tanto internamente quanto externamente, da mesma maneira que as inovações resultantes das atividades empresariais podem chegar ao mercado por caminhos internos e externos. Essa abordagem atribui grande relevância ao intercâmbio de conhecimento e à perspectiva colaborativa, destacando como principal vantagem a diminuição dos custos com pesquisa e desenvolvimento. Dentre os vários pontos de distinção entre os referidos paradigmas encontra-se a função a ser desempenhada pela propriedade intelectual. Por conseguinte, o objetivo desta dissertação consiste em investigar como a propriedade intelectual funciona dentro da lógica pela qual se orienta a inovação aberta, isto é, se ela impede o fluxo de conhecimento entre os diversos agentes do mercado envolvendo tecnologia ou, ao contrário, se a proteção formal desses ativos intangíveis é o elemento que permite tal intercâmbio. Nesses termos, busca-se demonstrar que as sociedades empresárias adotantes desse modelo aberto abordam a questão da titularidade de direitos de propriedade intelectual como ponto crucial à consecução de práticas baseadas em inovação aberta, as quais se instrumentalizam a partir de contratos formais. Importa observar que, através de uma metodologia científica de análise de conteúdo, toda a investigação em curso se perfaz tendo em conta a empresa enquanto conceito dinâmico dentro do contexto da manifestação do mercado como um fenômeno poliédrico, o qual, em se tratando de temas como propriedade intelectual, será orientado para a inovação. Desta feita, a conclusão da pesquisa indica que os direitos da propriedade intelectual são importantes ativos em uma lógica de open innovation, pois esta não advoga a extinção da propriedade intelectual, mas a flexibilização de sua exploração.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A partir de 2011, ocorreram e ainda ocorrerão eventos de grande repercussão para a cidade do Rio de Janeiro, como a conferência Rio+20 das Nações Unidas e eventos esportivos de grande importância mundial (Copa do Mundo de Futebol, Olimpíadas e Paraolimpíadas). Estes acontecimentos possibilitam a atração de recursos financeiros para a cidade, assim como a geração de empregos, melhorias de infraestrutura e valorização imobiliária, tanto territorial quanto predial. Ao optar por um imóvel residencial em determinado bairro, não se avalia apenas o imóvel, mas também as facilidades urbanas disponíveis na localidade. Neste contexto, foi possível definir uma interpretação qualitativa linguística inerente aos bairros da cidade do Rio de Janeiro, integrando-se três técnicas de Inteligência Computacional para a avaliação de benefícios: Lógica Fuzzy, Máquina de Vetores Suporte e Algoritmos Genéticos. A base de dados foi construída com informações da web e institutos governamentais, evidenciando o custo de imóveis residenciais, benefícios e fragilidades dos bairros da cidade. Implementou-se inicialmente a Lógica Fuzzy como um modelo não supervisionado de agrupamento através das Regras Elipsoidais pelo Princípio de Extensão com o uso da Distância de Mahalanobis, configurando-se de forma inferencial os grupos de designação linguística (Bom, Regular e Ruim) de acordo com doze características urbanas. A partir desta discriminação, foi tangível o uso da Máquina de Vetores Suporte integrado aos Algoritmos Genéticos como um método supervisionado, com o fim de buscar/selecionar o menor subconjunto das variáveis presentes no agrupamento que melhor classifique os bairros (Princípio da Parcimônia). A análise das taxas de erro possibilitou a escolha do melhor modelo de classificação com redução do espaço de variáveis, resultando em um subconjunto que contém informações sobre: IDH, quantidade de linhas de ônibus, instituições de ensino, valor m médio, espaços ao ar livre, locais de entretenimento e crimes. A modelagem que combinou as três técnicas de Inteligência Computacional hierarquizou os bairros do Rio de Janeiro com taxas de erros aceitáveis, colaborando na tomada de decisão para a compra e venda de imóveis residenciais. Quando se trata de transporte público na cidade em questão, foi possível perceber que a malha rodoviária ainda é a prioritária