Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π

O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.

Objetos para ação

Objetos para ação investiga um conjunto de objetos criados especialmente para existirem associados ao movimento do corpo, distribuídos em quatro séries realizadas entre 2003 e 2004: Infláveis, Andadores, Trama e Ora bolas. A análise desses trabalhos identifica dois procedimentos distintos quanto à sua criação e execução, apropriação e confecção. Constata-se que os procedimentos confecção e apropriação são determinantes não apenas para as questões formais que constituem esses objetos, mas, também, para a escolha do tipo e a qualidade das ações corporais que são associadas a cada uma das quatro séries estudadas. A proposta de relacionar corpo e objeto exige uma delimitação e uma definição do tipo de ação que pode ser empregada nesse encontro de naturezas diversas (imobilidade do objeto com mobilidade do corpo), por esse motivo, desenvolve-se e explora-se a noção de tarefa. Esta pesquisa também analisa a performance e a fotografia como meios possíveis de apresentação ao público dos Objetos para ação.

Ocorrência, contagem e resistência antimicrobiana de Salmonella isoladas de carcaças de frangos resfriadas e pesquisa de Salmonella em galpões de frangos de corte.

A Salmonella permanece um importante problema na avicultura mundial e considerando os patógenos transmitidos por alimentos, a Salmonella aparece como um dos agentes principais em surtos de toxinfecções alimentares. Existem vários relatos de isolamento de Salmonella em frangos vivos e surtos alimentares, porém em carcaças de frangos e cortes a disponibilidade de dados é menor, assim como estudos de determinação do número de Salmonella presentes nas amostras, também são poucos. No presente estudo, foram analisadas 180 carcaças de frangos resfriadas, adquiridas em varejos, para determinação da ocorrência de contaminação por Salmonella pelo método de microbiologia convencional, ensaio imunoenzimático (ELISA) e determinação do número de células da bactéria pelo método do número mais provável (NMP) nos ágares para isolamento verde brilhante com novobiocina (BGN) e xilose-lisina tergitol 4 (XLT4). Neste mesmo estudo, foi determinado o perfil de resistência a antimicrobianos de 13 amostras de Salmonella isoladas das carcaças de frangos, e analisados 101 suabes de arrasto de camas aviárias, pelo método microbiológico convencional, para a presença do agente. Os resultados mostraram 15,8% de ocorrência de Salmonella nos suabes de arrasto e 12,2% de ocorrência nas carcaças de frangos resfriadas, pelo método de microbiologia convencional. O teste de ELISA detectou 11,3% de positividade para Salmonella nas carcaças de frangos resfriadas. A média de NMP de Salmonella por mL, na leitura pelo ágar XLT4 foi de 2,674 células e BGN foi de 1,282 células. As cepas de Salmonella apresentaram resistência aos antimicrobianos lincomicina, penicilina e estreptomicina (100%), josamicina e enrofloxacina (69,23%), amoxicilina (30,76%), clortetraciclina (23,07%), estreptomicina e estreptomicina + penicilina (15,83%) e 7,69% de resistência a doxiciclina e polimixina B. Os sorovares de Salmonella isolados no estudo foram Enteritidis, Agona, Risssen, Heidelberg e Livingstone, nas carcaças de frangos, e, Enteritidis, Agona, Ohio, Rissen, Tennessee, entérica O: 3,10 e entérica O: 6,71 nos suabes de arrasto. A análise dos resultados apresentou contaminação por Salmonella nas camas aviárias e presença de cepas de Salmonella, isoladas das carcaças, multiresistentes a antimicrobianos. Também demonstrou existir um número variável de células de Salmonella contaminando as carcaças de frango resfriadas que estão à venda ao consumidor.

Framework orientado a objetos para o desenvolvimento de aplicações de automação predial e residencial

O crescente aumento pela exigência de funcionalidades na implementação dos atuais sistemas de automação predial, vem provocando um aumento da complexidade de projeto e de gerenciamento desses sistemas. O grande desafio que se apresenta atualmente é como, a partir de dispositivos isolados e subsistemas, conseguir sistemas totalmente integrados, os quais permitam economia no investimento inicial, na operação e na manutenção dos sistemas de automação, garantindo um aumento no desempenho geral da edificação Acredita-se que uma etapa importante para avaliar a real necessidade da integração seja projetar o sistema de automação sem foco em uma tecnologia específica, o que não ocorre atualmente, uma vez que, pela carência de ferramentas de apoio ao projeto, as etapas de especificação e projeto geralmente já estão focadas em uma tecnologia disponível para implementação. Este trabalho busca preencher a lacuna deixada pela carência dessas ferramentas, tendo por finalidade a especificação de um framework orientado a objetos para o desenvolvimento de aplicações de automação predial e residencial que permita modelar estes sistemas de forma independente da tecnologia que ele irá utilizar, possibilitando o mapeamento posterior para a mais adequada ou disponível. Serviram como base para o framework proposto a análise de vários padrões abertos disponíveis para implementação de sistemas de automação predial e a especificação ISO/IEC10746, o modelo de referência para processamento distribuído aberto, usado como suporte a metodologia de projeto proposta. O trabalho também discute o mapeamento dos conceitos definidos para uma arquitetura alvo, apresentado um estudo de caso para validação da metodologia proposta.

O papel dos objetos no exercício de poder no espaço organizacional: o caso do objeto-fronteira “sistema de serviço ao cliente” na EMBRATEL

Como forma de reduzir os riscos, recentes aparatos tecnológicos promovem uma arquitetura funcional de maior controle tanto entre as diversas áreas das empresas quanto nas relações entre seus funcionários. Esses controles têm como uma de suas características o reforço do poder organizacional nas empresas por meio dos objetos-fronteira. O objetivo deste trabalho é a análise desta arquitetura funcional no tocante às práticas de produção de poder entre as várias áreas organizacionais da empresa Embratel, tendo como principal ponto de partida o seu Sistema de Serviço ao Cliente (SSC) caracterizado como objeto-fronteira. A pesquisa classifica-se, quantos aos seus fins, como exploratória e explicativa. No que se refere aos meios de coleta de dados, fez uso de dois instrumentos. O primeiro foi pesquisa de campo para busca de dados e informações na Embratel e foram desenvolvidas por meio de entrevistas cujo objetivo foi investigar a percepção dos indivíduos com relação ao objetofronteira. O segundo foi pesquisa documental, recurso a uso de materiais e documentos oficiais acessíveis internamente na Embratel. O método de pesquisa utilizado no estudo foi a análise de discurso. Entre as principais conclusões do trabalho, é possível destacar que os objetos-fronteira manifestam efeitos de poder por haver uma prática discursiva que os legitima, através de instrumentalidades racionais possibilitadas pelo contexto sócio–histórico. São efeitos de poder conjurados pelos objetos as seguintes categorias: classificar, controlar, selecionar, organizar, padronizar, disciplinar, normalizar, examinar, tornar visível, vigiar, acompanhar, registrar, ordenar, hierarquizar, objetivar as relações, tolher subjetividades, dominar acontecimento aleatório, reduzir a indeterminação envolvida, primar pela eficiência e naturalizar.

Detecção de movimento, acompanhamento e extração de informações de objetos móveis

O tráfego de veículos, principalmente nas vias públicas de regiões densamente povoadas, tem sido objeto de preocupação por diversos aspectos: segurança no trânsito, supervisão da frota, controle de poluição, prevenção, registro de irregularidades, etc. Sistemas eletrônicos tradicionais são apontados como limitados pelas dificuldades apresentadas na instalação dos sensores e poucos recursos para extração de informações. Este trabalho propõe um sistema baseado no processamento digital de imagens em vídeo para detectar, acompanhar e extrair informações de um veículo em movimento, tais como: posição, velocidade e dimensões. Embora técnicas de pré-processamento sejam empregadas para minimizar problemas iluminação e trepidação, informações obtidas nas etapas finais do processamento, tendem a distorcer em função destes fatores. Algoritmos baseados em análise probabilística no domínio espaço temporal de imagens 2-D são propostos para segmentar o objeto mesmo na presença destes fatores. A fim de tornar o acompanhamento mais robusto a oclusões e pixels espúrio s, é proposto um método que detecta e rejeita posições inconsistentes do objeto de acordo com a estimativa de sua próxima posição.

DEPAnalyzer: um modelo de análise estática de dependências para programas orientados a objetos

Este trabalho apresenta um modelo de análise estática de programas orientados a objetos, o qual se denomina DEPAnalyzer (DEPendencies Analyzer). O modelo realiza a análise das dependências entre as classes de um programa, ou seja, os relacionamentos estabelecidos entre estas. As classes representam as entidades estáticas, as quais em tempo de execução darão origem a conjuntos de objetos. Através da simulação do programa o modelo consegue obter as informações sobre quem se relaciona com quem e qual é a intensidade destes relacionamentos. Estas informações visam auxiliar no processo de escalonamento de um programa em uma arquitetura distribuída. Para expressar estes relacionamentos podem ser gerados dois grafos, o grafo de dependências e o grafo de invocações. A geração de um ou de ambos depende do propósito de utilização, ou seja, alocação inicial ou redistribuição dos objetos. O grafo de dependências apresenta uma versão resumida dos relacionamentos. Este adequa-se a auxiliar no processo de distribuição inicial por propiciar um panorama geral dos relacionamentos sem considerar a ordenação de ocorrência das ações. Por sua vez o grafo de invocações tem como propósito a discriminação da ordem de ocorrência das ações de uma aplicação. Viabilizando a utilização deste por parte do processo de redistribuição dos objetos.

Objetos inteligentes de aprendizagem : uma abordagem baseada em agentes para objetos de aprendizagem

Esta pesquisa propõe uma abordagem na qual objetos de aprendizagem são construídos com base no paradigma de agentes. A fundamentação tecnológica desta abordagem é constituída por uma integração entre tecnologias desenvolvidas para Objetos de Aprendizagem e para Sistemas Multiagentes. O conceito central apresentado é o de Objeto Inteligente de Aprendizagem, entidade que corresponde a um agente que é capaz de gerar experiências de aprendizagem reutilizáveis, no mesmo sentido que os objetos de aprendizagem. É apresentada uma sociedade multiagente concebida com a finalidade de dar suporte a abordagem proposta, bem como a modelagem do processo de comunicação entre os agentes desta sociedade. Como forma de validar as propostas feitas, são apresentados uma arquitetura de agentes que implementa os conceitos definidos e um conjunto de recursos para a construção de agentes compatíveis com esta arquitetura. Através destes recursos é possível a implementação das entidades propostas neste trabalho.

Recuperação de metadados de objetos de aprendizagem no AdaptWeb

Com a disseminação do uso de Ambientes de Aprendizagem na Web, muitos autores de conteúdo instrucional dedicam seu tempo e se esforçam para desenvolver material de qualidade. Para facilitar o reuso desses materiais, os mesmos estão sendo desenvolvidos como objetos de aprendizagem e são armazenados em repositórios na Web, de onde podem ser pesquisados e recuperados para reuso. Essa pesquisa e recuperação são baseadas nas características dos objetos, ou seja, em seus metadados. Dessa forma, é necessário que os Objetos de Aprendizagem possuam valores de metadados consistentes para que a pesquisa e recuperação sejam eficientes. O desenvolvimento de material instrucional de boa qualidade consome grande quantidade de recursos. A descrição completa destes materiais, ou seja, dos objetos de aprendizagem, não é uma atividade estimulante para os autores que informam apenas um mínimo de metadados. Esta falta de metadados torna muito difícil a recuperação e o reuso dos OA. O objetivo desse trabalho é definir técnicas que recuperem a maior quantidade possível de metadados a partir dos Objetos e Aprendizagem, com a mínima intervenção do usuário, resultando em uma indexação e recuperação eficientes dos Objetos de Aprendizagem Essas técnicas são definidas com base na estrutura e funcionamento do AdaptWeb, que é um ambiente de aprendizagem que disponibiliza material instrucional de forma estruturada e organizada. Assim, é possível fazer uso das informações disponíveis nesse ambiente para recuperar os metadados automaticamente. As técnicas transformam o conteúdo do AdaptWeb em objetos de aprendizagem, sendo capazes de recuperar uma quantidade considerável de metadados. Assim, têm-se Objetos de Aprendizagem devidamente catalogados e armazenados em um repositório, prontos para serem reusados.

Mecenato: atores, objetos e práticas

Esta pesquisa analisa o encontro de um grupo de pessoas empenhadas na organização do Museu de Arte de São Paulo, desde a sua inauguração no ano de 1947 até a primeira exposição internacional de parte do seu acervo em 1953 no Musée de l’Orangerie, em Paris. Convocamos os registros do idealizador do museu, Assis Chateaubriand, de seus diretores Pietro Maria Bardi e Lina Bo Bardi e dos mecenas que contribuíram financeiramente para a aquisição dos quadros, Geremia Lunardelli, Sinhá Junqueira, Drault Ernanny, Orozinho Roxo Loureiro, Yolanda Penteado e Jacques Pilon para encontrar possíveis motivações e justificativas que permitem compreender o empreendimento do MASP enquanto parte de um amplo projeto de modernidade encampado por agentes, empresas e governos nacionais e internacionais.

Ensaio em economia da saúde : análise da demanda no mercado de saúde suplementar utilizando um modelo econométrico de dados de contagem

Este ensaio apresenta um estudo sobre a demanda por serviço de saúde no mercado de saúde suplementar utilizando, através de uma análise econométrica, modelos de regressão de dados de contagem para verificar os fatores monetários e não monetários que podem influenciar a quantidade demandada por este serviço, e determinar se há risco moral na determinação desta demanda, no caso de um modelo de visitas médicas de especialidade.

Operações booleanas entre objetos delimitados por surfels usando constrained BSP-trees

As áreas de visualização e modelagem baseados em pontos têm sido pesquisadas ativamente na computação gráfica. Pontos com atributos (por exemplo, normais) são geralmente chamados de surfels e existem vários algoritmos para a manipulação e visualização eficiente deles. Um ponto chave para a eficiência de muitos métodos é o uso de estruturas de particionamento do espaço. Geralmente octrees e KD-trees, por utilizarem cortes alinhados com os eixos são preferidas em vez das BSP-trees, mais genéricas. Neste trabalho, apresenta-se uma estrutura chamada Constrained BSP-tree (CBSP-tree), que pode ser vista como uma estrutura intermediárias entre KD-trees e BSP-trees. A CBSP-tree se caracteriza por permitir cortes arbitrários desde que seja satisfeito um critério de validade dos cortes. Esse critério pode ser redefinido de acordo com a aplicação. Isso permite uma aproximação melhor de regões curvas. Apresentam-se algoritmos para construir CBSP-trees, valendo-se da flexibilidade que a estrutura oferece, e para realizar operações booleanas usando uma nova classificação de interior/exterior.

Primitivas para suporte à distribuição de objetos direcionados à pervasive computing

Renovados são os desa os trazidos à computação distribuída pelos recentes desenvolvimentos nas tecnologias de computação móvel. Tais avanços inspiram uma perspectiva na qual a computação tornar-se-á uma entidade ubíqua em um futuro próximo, estando presente nas mais simples atividades do dia-a-dia. Esta perspectiva é motivadora das pesquisas conduzidas no escopo do projeto ISAM, as quais investigam as questões relativas ao uso da computação em ambientes móveis de larga escala. Neste trabalho é apresentado o sistema PRIMOS (PRIMitives for Object Scheduling), o qual busca, pela complementação da plataforma Java, satisfazer as emergentes necessidades do ISAM. Especi camente, o PRIMOS constitui um conjunto de primitivas para instanciação remota e migração de objetos, comunicação e monitoração, direcionadas a um ambiente de computação distribuída de larga escala de características pervasivas. A primitiva de instanciação remota disponibilizada pelo PRIMOS aumenta a plataforma Java padrão com a possibilidade de criar e ativar objetos em nodos remotos do sistema. Por sua vez, a primitiva de migração faculta a relocação de objetos. A consecu- ção de tais semânticas tem como sub-produto a de nição de semânticas para ativação e desativação de objetos, assim como para captura e restauração de contexto de execução. Sob a perspectiva da comunicação, o PRIMOS de ne um esquema de endereçamento independente de protocolo de transporte, assim como uma interface neutra para acesso às facilidades de comunicação. A integração destas funcionalidades ao mecanismo de invocações remotas da plataforma Java, o RMI, permite a desvinculação deste da pilha TCP/IP. Por conseguinte, habilita a adoção de transportes otimizados ao hardware de comunicação disponibilizado pelo sistema. No que se refere à monitoração, o PRIMOS de ne um esquema exível e extensível baseado em sensores. A exibilidade vem principalmente da possibilidade dos sensores terem seus parâmetros de operação recon gurados a qualquer momento em resposta a novas necessidades do sistema. Por outro lado, o sistema é extensível pois o conjunto de sensores básicos, ditos nativos, pode ser aumentado por sensores providos pela aplicação. Com intuito de validar as idéias postuladas, um protótipo foi construído para o sistema. Sobre este, baterias de testes foram realizadas para cada uma das primitivas constituintes do PRIMOS.

Framework orientado a objetos para projeto de hardware e software embarcados para sistemas tempo-real

A crescente complexidade dos sistemas tempo-real embarcados demanda novas metodologias e ferramentas para gerenciar os problemas de projeto, análise, integração e validação de sistemas complexos. Este trabalho aborda o tema co-projeto de sistemas tempo-real embarcados, propondo estratégias para a integração das fases iniciais de modelagem de um sistema tempo-real embarcado com as fases subseqüentes do projeto, como a implementação do software e do hardware. É proposto um framework orientado a objetos que permite a criação de modelos orientados a objetos de sistemas tempo-real embarcados, utilizando conceitos temporais similares aos propostos em UML-RT (ou mais especificamente no UML Profile for Schedulability, Performance and Time). É proposta uma estratégia de mapeamento dos requisitos temporais dos diagramas UMLRT para uma interface de programação (API) baseada na “Especificação Tempo-Real para Java” (Real-Time Specification for Java ou RTSJ), a qual pode ser executada tanto em software – em programas RTSJ executando em máquinas virtuais Java (JVM) tempo-real – ou em hardware – em processadores Java Tempo-Real. Para permitir o mapeamento para hardware são propostas extensões tempo-real ao processador Java FemtoJava, desenvolvido no âmbito de dissertações de mestrado e projetos de pesquisa no PPGC, criando-se um novo processador tempo-real denominado de RT-FemtoJava. Dentre as extensões propostas ao processador FemtoJava destaca-se a inclusão de um relógio de tempo-real e o suporte a instruções para alocação e manipulação de objetos. Os conceitos propostos foram validados no âmbito de estudos de caso, sendo os resultados obtidos descritos na presente dissertação.

O ritual de desmaterialização dos objetos singularizados e a transformação da relação pessoa-objeto

A transformação da sociedade nos últimos anos faz contraponto ao desejo de posse e acumulação física dos consumidores. A realidade digital abre inúmeras possibilidades de consumo e tem modificado a relação dos indivíduos com os objetos físicos e as posses materializadas. Consequentemente, vários pesquisadores de consumo (BELK, 2013; BARDHI et al., 2012; MAGAUDDA, 2011, 2012) têm se dedicado ao estudo ​​da desmaterialização (o desaparecimento físico dos objetos). Embora estudos anteriores avancem na pesquisa sobre a singularização do objeto e sua re-commoditização (EPP; PRICE, 2010), contextos e processos em que indivíduos desmaterializam suas posses singularizadas carecem de mais pesquisas. A desmaterialização até aqui foi observada como sinônimo de digitalização (BELK, 2013) ou a transformação de objetos físicos em virtuais (MAGAUDDA, 2011). Em contraste, o presente trabalho analisa a desmaterialização como transcendendo o mundo digital. A desmaterialização é vista como o processo de ver as posses desaparecendo fisicamente da vida dos consumidores por meio de doação, venda, descarte ou digitalização. A desmaterialização pode ser uma forma de distanciamento físico, mantendo o valor imaterial, garantindo o acesso, salvaguardando a singularidade do objeto, e protegendo-o da comoditização. A contradição entre a materialização física e a liquidez na sociedade nos abre um promissor campo de estudo por elucidar como o processo de afastamento das posses influencia as transformações dos indivíduos (ROSTER, 2014; CHERRIER, 2010; MAGAUDDA, 2011, 2012; MOLESWORTH; DENEGRIT-KNOTT, 2012). Para compreensão do fenômeno, foram realizadas 11 entrevistas existencial-fenomenológicas com colecionadores de livros em diferentes fases do processo de desmaterialização. A Abordagem hermenêutica foi usada para compreender como as pressões da sociedade contemporânea modificam a forma como as pessoas interagem com os objetos singularizados. A análise revelou que a relação pessoa-objeto entre colecionadores e seus livros é permeada por sonhos e desejos. Ela existe em um espaço liminar entre o real e o imaginário. Este espaço liminar que o livro físico ocupa na mente dos proprietários é o elo que permite a desmaterialização. O valor do livro vem da sua capacidade de possuir e transferir o conhecimento imaterial. A relação que colecionadores tem com seus livros é essencialmente emocional, principalmente devido ao valor imaterial. Mas, por outro lado, a ligação física é o que torna difícil o ritual de desmaterialização. Quando colecionadores desmaterializam uma coleção de livros, eles enfrentam seus valores relativos à materialidade, ao apego e ao passado, e vivenciam a possibilidade de compartilhamento e transformação da relação com os objetos e outros seres humanos. Assim, a desmaterialização pode ser considerada como uma continuação do processo de autoconhecimento que começou com os rituais de materialização. Esta descoberta tem implicações significativas para a compreensão da natureza experiencial do consumo para os indivíduos. O presente trabalho aprofunda a compreensão da relação pessoa-objeto e a transformação das relações que os indivíduos estabelecem com outros objetos e o mundo ao seu redor.