ChatMath: ferramenta de comunicação síncrona para troca de formalismos matemáticos através da web

A comunicação é essencial para a vida em grupo, e se dá através da linguagem. Existem diversas formas de linguagem, porém a linguagem matemática vai além das demais, pois é universal. O advento dos aparelhos eletrônicos e, em especial, do computador, tornou possível o desenvolvimento de padrões e aplicativos que pudessem manipular símbolos matemáticos eletronicamente. A Web trouxe consigo a linguagem HTML para visualização de textos e, mais atualmente, o padrão de linguagem de marcação XML e seus aplicativos, que têm características melhores que o HTML quanto à estruturação, armazenamento e indexação de dados. Uma das aplicações advindas do XML foi a linguagem de marcação matemática MathML, que contribui para a manipulação e visualização de formalismos matemáticos na Web, e vem se tornando um padrão no meio acadêmico, educacional e comercial. As diversas aplicações matemáticas (editores, ambientes matemáticos) desenvolvidas para o computador geralmente não permitem a discussão em linguagem matemática de forma síncrona pela rede de computadores. Sabe-se que na Internet a conexão de pessoas num mesmo momento através de ferramentas síncronas é muito difundida, como é o caso de aplicativos do tipo bate-papo; no entanto, esses aplicativos não possuem funcionalidades que permitam a troca de textos matemáticos. Há, portanto, uma limitação em relação a ferramentas de comunicação síncrona para matemática na Web. Este trabalho quer oferecer uma alternativa ao público que deseje trocar formalismos matemáticos de forma síncrona pela Web, a fim de verificar se esse tipo de ferramenta é efetivamente usável para discussões matemáticas. Para isso, foi desenvolvido um protótipo que reúne as características de uma ferramenta típica de bate-papo com as vantagens advindas das linguagens de marcação: o ChatMath. O trabalho também aponta características de aplicativos matemáticos e de ferramentas síncronas textuais e descreve as linguagens de marcação matemática. Para fins de avaliação do protótipo desenvolvido, fez-se uma pesquisa a fim de verificar sua efetiva utilidade para troca de formalismos matemáticos, dentro do contexto educacional. Os resultados dessa pesquisa confirmam a hipótese levantada, embora identifiquem modificações funcionais e de uso da ferramenta, havendo necessidade de reaplicação da avaliação, para se obter resultados mais detalhados.

Uma ferramenta para geração de filtros FIR paralelos otimizados com coeficientes constantes

Esta dissertação trata da elaboração de uma ferrramenta para a geração de filtros FIR otimizados paralelos com coeficientes constantes. A ferramenta desenvolvida é capaz de gerar uma descrição VHDL de um filtro FIR paralelo com coeficientes constantes a partir das especificações do filtro. São exploradas técnicas de otimização de coeficientes e de otimização arquitetural. As técnicas empregadas são baseadas no uso de representações ternárias e redução do número de digitos não-zero dos coeficientes, uso de fatores de escala e eliminação de sub-expressões comuns. No texto, uma breve introdução sobre os filtros digitais é apresentada seguida por uma série de trabalhos encontrados na literatura relacionados às técnicas mencionadas e que são apresentados como base para o desenvolvimento da ferramenta implementada nesta dissertação. O funcionamento da ferramenta é detalhado tanto nos seus aspectos de algoritmo quanto em nível de implementação. São apresentados resultados de síntese em alguns de filtros hipotéticos projetados utilizando a ferramenta desenvolvida. Uma análise detalhada dos resultados obtidos é realizada. Os apêndices deste trabalho apresentam o código fonte da ferramenta de síntese de filtros desenvolvida.

Indicadores como ferramenta para gestão de serviços de informação tecnológica

Pesquisa o uso de indicadores para avaliação do desempenho de serviços de informação tecnológica, sob a ótica da abordagem centrada no usuário. Tem por objetivo principal propor um conjunto de indicadores de desempenho que sejam aplicáveis à mensuração e à gestão dos serviços brasileiros de informação tecnológica, com foco no cliente-usuário. O referencial teórico engloba aspectos referentes à informação tecnológica, serviços de informação, gestão da qualidade, avaliação de serviços, métrica e indicadores. Faz uma análise de documentos sobre indicadores de desempenho aplicados à Sociedade do Conhecimento, Ciência e Tecnologia, Inovação Tecnológica, Tomada de Decisão e Unidades de Informação. Define a Norma Internacional ISO 11620 e o EQUINOX como os documentos base para a seleção dos indicadores de desempenho propostos à análise de especialistas. Utiliza, para o levantamento dos dados, a técnica Delphi, tendo como instrumento o questionário. O questionário é aplicado em duas ocasiões, em dez (10) especialistas, que avaliam cada questão proposta. As questões, em número de vinte e cinco (25), referem-se aos indicadores de desempenho selecionados pela pesquisadora. Estes indicadores são analisados pelos especialistas sob os aspectos pertinência, relevância e viabilidade, a partir de uma escala de atitude, os quais justificam suas escolhas. A cada rodada, o painel de especialistas recebe, como feedback, os aportes da rodada anterior. Esta interação permite um reposicionamento de cada um dos participantes, reposicionamento este que se reflete nas respostas da rodada seguinte. Como produto final da pesquisa , gera-se uma relação de vinte e dois (22) indicadores considerados pela maioria dos especialistas como os mais pertinentes e relevantes. Conclui com a análise dos aportes dos especialistas e da técnica metodológica utilizada. Recomenda o uso de indicadores de desempenho pelos serviços de informação tecnológica; a promoção de ações que visem sensibilizar órgãos de pesquisa e organismos governamentais quanto à sua utilização; o incentivo à implementação, junto aos cursos de Ciência da Informação, de conteúdos sobre avaliação por indicadores. Completamenta com a relação de outros indicadores propostos pelo painel de especialistas. Sugere novos temas de estudo, relacionados ao desenvolvido.

O emprego do desdobramento da função qualidade - QFD, como ferramenta para o desenvolvimento de veículos destinados ao transporte coletivo de passageiros

Essa dissertação apresenta a aplicação em um estudo de caso,da metodologia Quality Function Deployment - QFD - Desdobramento da Função Qualidade, para o desenvolvimento e planejamento da qualidade de veículos destinados ao transporte coletivo de passageiros. Para identificar as necessidades dos clientes, realizou-se uma Pesquisa de Marketing, do tipo qualitativa, com questionário de perguntas abertas, utilizando-se entrevistas em profundidade e grupos focados. O desdobramento das qualidades demandadas pelos clientes,foi realizado utilizando-se um modelo conceitual para o produto, através de oito matrizes, sendo a primeira, a matriz da qualidade, e a última, a matriz dos custos relativos aos processos de montagem. Através das conversões e considerações sobre importâncias, dificuldades de atuação, tempo necessário para adequações, custos para melhorias e outros critérios, foram identificados os itens a serem priorizaos quanto ao planejamento da qualidade. A partir dessas priorizações foram estabelecidos planos de melhoria da qualidade para as características de qualidade, componentes do produto, processos de montagem, recursos humanos e recursos de infra-estrutura, definidos nas matrizes de QFD.

Coordenação de projeto de obra de edificação : proposta de ferramenta computacional para programação e controle do fluxo de informações com uso de sistema colaborativo

A elaboração de um projeto de obra de edificação é fruto da interação entre profissionais de diversas disciplinas desenvolvendo, simultaneamente, suas opções e decisões com relação ao mesmo. É necessário considerar a qualidade do processo de elaboração do projeto dependente de uma efetiva comunicação entre os membros da equipe. A indústria da construção civil está sendo beneficiada pelos recursos oferecidos pela tecnologia da informação como, por exemplo, os sistemas colaborativos (extranets de projeto). Estes sistemas corroboram na integração e comunicação entre os membros de um projeto. O objetivo da presente pesquisa foi a apresentação do desenvolvimento de modelo validado de ferramenta computacional projetada para complementar um sistema colaborativo pré-existente. Esta ferramenta foi denominada Sistema de Programação e Controle do Processo de Projeto (SIPROCON/PP). A finalidade do SIPROCON/PP é auxiliar no processo de tomada de decisão dos coordenadores através do monitoramento do cronograma e do fluxo do intercâmbio de informações das atividades geradoras de informações neste processo. O processo de desenvolvimento da ferramenta foi delineado em harmonia com a organização da pesquisa. Neste sentido, é assinalado o uso da prototipação e da simulação como estratégias de pesquisa, utilizados respectivamente na construção e validação do modelo da ferramenta. Ante a necessidade do experimento, foi criada uma atividade lúdica através da qual foi reproduzido o intercâmbio de informações de um processo de projeto denominada Sistemática de Simulação do Processo de Projeto (SS/PP) para validação do modelo da ferramenta. Logo, por meio do uso das simulações foram obtidos os dados correspondentes a validação da modelagem e aplicação do SIPROCON/PP e, ao mesmo tempo, necessários à conclusão da pesquisa. Diante disso, a partir da análise dos dados coletados é apontada a melhoria na qualidade do processo de elaboração do projeto considerando a formação de uma equipe equilibrada de projeto. Isso, fruto do conhecimento mais acurado do coordenador sobre o desempenho de cada projetista.

Desenvolvimento de uma ferramenta para obtenção de modelos empíricos

O objetivo deste trabalho é o desenvolvimento de uma ferramenta de regressão multivariável apropriada para abordar o problema da modelagem de propriedades relacionadas à qualidade final de produtos em processos industriais. No caso geral, dados provenientes de sistemas físicos e químicos típicos do meio industrial são caracterizados pela presença de relação não linear entre as variáveis, podendo, ainda, apresentar outros problemas que dificultam o processo de modelagem empírica, como baixa disponibilidade de observações experimentais, presença de ruído excessivo nas medidas e a presença de colinearidade entre os termos explicativos. Foi feita uma revisão de diferentes métodos de regressão multivariável tais como regressão linear múltipla (MLR), regressão não linear baseada em transformações das variáveis explicativas e métodos de redução de dimensionalidade (PCA, PLS, QPLS e BTPLS). Também foram propostas novas metodologias para a abordagem das questões da seleção de variáveis e estimação das incertezas dos modelos. Posteriormente, utilizando as metodologias revisadas e propostas, foi sugerida uma sistemática para o tratamento da questão da modelagem empírica de dados industriais, que constitui a base para a implementação da ferramenta desejada. A aplicabilidade da ferramenta desenvolvida foi ilustrada através de alguns estudos de caso retirados da literatura, onde modelos para a predição de propriedades relativas à qualidade de produtos produzidos em quatro tipos de processos industriais diferentes são obtidos.

"Echo Offline" : uma ferramenta para medidas ecocardiográficas pós-exame

Este trabalho apresenta o desenvolvimento de uma ferramenta computacional de apoio ao diagnóstico através de imagens ecocardiográficas, denominada de “Echo Offline”. O “Echo Offline” foi projetado para mensuração de grandezas lineares em imagens ecocardiográficas digitais, possibilitando a realização de diagnósticos pós-exame e a integração dos dados colhidos no banco de dados da instituição médica. Um estudo transversal contemporâneo e aleatório foi realizado com uma população de quarenta e nove pacientes submetidos a exames ecocardiográficos, as imagens resultantes deste exame foram digitalizadas e um médico especialista mensurou um conjunto de variáveis pré-definidas utilizando o método convencional, ou seja, usando as facilidades oferecidas pelo equipamento de ultra-som comercial. Um segundo médico especialista produziu outros dois conjuntos de dados utilizando o “Echo offline” e desta forma foi possível avaliar a exatidão e a repetibilidade das medidas realizadas pela ferramenta “Echo offline”. O “Echo offline” apresentou uma elevada concordância com o método convencional e apresentou significativa redução no tempo de realização das medidas.

FrameworkDoc : ferramenta de documentação e geração de artefatos de software

Atualmente, um dos grandes desafios para qualquer desenvolvedor de software é projetar um sistema que reutilize ao máximo elementos de código e de projeto existentes, visando diminuir o tempo e o esforço exigidos na produção do software. Entre as inúmeras formas de possibilitar reuso no contexto do desenvolvimento segundo o paradigma da orientação a objetos, destaca-se a abordagem de frameworks. A grande importância da documentação de software utilizada no processo de desenvolvimento aliada às características de frameworks serviram como motivação para este trabalho. A documentação dentro do processo de desenvolvimento de software não faz parte de uma fase definida, mas ocorre durante toda sua existência, em paralelo com outras fases do ciclo de vida. A abordagem de frameworks dentro deste contexto enfoca o tratamento de templates e definições das características dos artefatos de software (incluindo não somente código mas também produtos de análise, projeto, frameworks, componentes, diagramas, entre outros), facilitando e acelerando o processo de documentação. Um framework, devido a suas características peculiares que serão examinadas e explicitadas no trabalho, contém uma série de informações que podem, além de apoiar a documentação, ser úteis para produção de outros artefatos (por exemplo, planejamentos de teste, scripts de bancos de dados, padrões de codificação, entre outros) do processo de desenvolvimento. Assim, em um processo de desenvolvimento evolutivo, que utiliza a geração de artefatos como recurso, a manutenção pode ser integralmente realizada somente na especificação e não diluída nos artefatos gerados. O objetivo deste trabalho é investigar, propor e desenvolver uma ferramenta de documentação e geração de artefatos de software, denominado FrameworkDoc. O termo documentação de software aqui utilizado se refere a documentação de desenvolvimento de software, incluindo artefatos, arquiteturas, ferramentas entre outros. Serão abordados dois principais aspectos: primeiramente, a geração automática de documentação dentro do processo de desenvolvimento de software e depois a geração de outros artefatos deste processo, a partir das definições de alto nível disponíveis através do framework. Exemplos de aplicações do FrameworkDoc em projetos reais são apresentados. No entanto, os documentos e artefatos de software considerados foram definidos de forma suficientemente genérica para serem aproveitados em outros contextos.

Microcrédito como ferramenta de combate à pobreza e incentivo à inclusão social: o caso do fundo ver-o-sol de Belén do Pará.

Tendo como base a experiência do Fundo Municipal de Geração de Emprego e Renda Ver-o-Sol- Fundo Ver-o-Sol, um dos principais programas da Prefeitura de Belém para combater a exclusão, a pobreza e o desemprego no município, esta pesquisa tem por objetivo investigar o impacto do microcrédito na qualidade de vida da população de baixa renda no município de Belém, como ferramenta de combate a pobreza e inclusão social. O Fundo possui como principais objetivos a geração de emprego e renda, a democratização do acesso ao crédito e o incentivo à criação de formas cooperativas, associativas e solidárias visando à implementação de uma economia auto-sustentável. Como resultado da pesquisa, constatamos a eficácia do programa como instrumento de políticas públicas de combate a pobreza e inclusão social especificamente pela utilização do microcrédito que permitiu melhoria das condições sócio-econômicas das famílias beneficiadas.

O e-legislativo como ferramenta de transparência na administração pública brasileira

o trabalho tem como base uma revisão de literatura sobre o tema Governo Eletrônico, estando seu foco voltado para a sua utilização nas 27 assembléias legislativas estaduais do Brasil, no que diz respeito a sua utilização como ferramenta de transparência pública. Mais especificamente, a presente dissertação buscou mensurar o nível de transparência nos portais eletrônicos dessas assembléias legislativas. Para tal desiderato, foi necessário realizar uma pesquisa bibliográfica sobre o tema, que serviu de suporte literário para o devido embasamento das formulações e conclusões que foram apresentadas no decorrer do estudo. A mensuração do grau de transparência dos portais eletrônicos dos legislativos estaduais foi realizada a partir da aplicação de um método de mensuração de transparência eletrônica, com as devidas adaptações, a qual é utilizada pela organização não governamental, Monitor Legislativo, para a monitoração dos portais eletrônicos do legislativo do México, tendo como base a lei de transparência pública e acesso a informações públicas governamentais, hoje em vigor naquele país. Assim, o modelo levou em consideração a disponibilização de informações sobre: função administrativa; controle interno; trabalho legislativo; trabalho das comissões; concessões, permissões e contratos; arquivo histórico e serviços bibliotecários; e controles externos. A mensuração foi feita item a item, já apresentando um quadro da transparência por item. Não obstante, no final do trabalho foi apresentado um ranking geral da transparência eletrônica, no qual foram dispostas todas as assembléias legislativas estaduais com suas respectivas notas e nível de transparência correspondente. Por fim, os resultados da pesquisa foram correlacionados a outras variáveis, com o intuito de verificar se havia algum grau de relação entre as variáveis analisadas e a transparência eletrônica.

Microcrédito como ferramenta de combate à pobreza e inclusão social: o caso do Projeto Amazônia Florescer

O tema central desta dissertação esta voltada para a importância do microcrédito como uma ferramenta de combate a pobreza e inclusão social, e geradora de emprego e renda direcionada a pessoas de baixa. Primeiramente, foram expostos os temas como pobreza, desenvolvimento econômico embasado na teoria de Schumpeter, crédito e os conceitos de microfinanças e microcrédito. Além disso, alguns exemplos de instituições mundiais e locais da cidade de Belém. A pesquisa foi realizada no Amazônia Florescer, um programa de crédito produtivo e orientado na cidade de Belém e no interior do estado do Pará, criado com o apoio do Banco da Amazônia, para atender o micro e pequeno empreendedor. Os levantamentos dos dados sobre a pesquisa foram feitos a partir do banco de dados em carteira ativa do banco. Assim foram tabulados os dados levando em conta o perfil, ocupação, sexo, idade, renda, atividade. Por fim, o resultado demonstrou que o microcrédito em Belém é uma política publica que colabora para o desenvolvimento social e econômico da população de baixa renda da cidade.

A logística como ferramenta eficaz no transporte urbano de passageiros: o caso da empresa de transporte metropolitano Belém Rio

Este estudo trata a questão da Logística na operacionalização do transporte público por ônibus da Região Metropolitana de Belém - RMB, particularmente, da concessionária Empresa Belém Rio, que atua na Capital do Pará. O foco principal foi perceber se existem indicadores de desempenho eficaz na operacionalização mais racional e equilibrada desse modal de transporte. A pesquisa foi conduzida por uma revisão bibliográfica de estudos da Logística e suas operações, como também da utilização dessa ferramenta de gestão no transporte, seguido de uma apresentação do enfoque evolutivo da RMB, com especial atenção a questão do transporte de passageiros. A metodologia foi preparada para atender à pesquisa de campo e ao estudo descritivo. Consistiu basicamente na determinação de variáveis extraídas de indicadores que tiveram por base o conceito de Logística. O questionário foi estruturado com base nessas vertentes e aplicados à uma população de 44 sujeitos, funcionários da referida empresa. Além desse procedimento foi realizada uma entrevista com a gerência executiva, na intenção não de tratamento, mas de buscar informações que pudessem subsidiar a análise. Os dados coletados no instrumento metodológico foram tratados e sistematizados em gráficos e tabelas por ferramentas estatísticas. Na análise dos dados quantificados, foi utilizada a literatura para cruzamento de informações, além do que o uso de algumas falas de respondentes. Dentro dos resultados obtidos, encontram-se observações que podem subsidiar algumas tomadas de decisão para a melhoria de desempenho da citada empresa. Além do que, disponibilizadas percepções que poderão ser utilizadas por outros estudos.

CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria matemática demonstram sua utilidade na pesquisa computacional. Dentre essas características podemos citar independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de formalismos, notação gráfica e, sobretudo, expressividade das construções categoriais. Sua expressividade é explicitamente destacada pelo MEC nas Diretrizes Curriculares de Cursos da Área de Computação e Informática, onde afirma-se que “Teoria das Categorias possui construções cujo poder de expressão não possui, em geral, paralelo em outras teorias”. Entretanto, Teoria das Categorias tem encontrado obstáculos para ser efetivamente aplicada na Ciência da Computação. A baixa oferta de bibliografia - predominantemente de língua inglesa - e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação: a baixa oferta de cursos com enfoque em Teoria das Categorias. A fim de transpor essas dificuldades, Fábio Victor Pfeiff desenvolveu o CaTLeT, um aplicativo de interface visual que tinha como objetivo facilitar o acesso aos conceitos introdutórios de Teoria das Categorias Com inspiração fortemente educacional, CaTLeT somente é capaz de representar objetos e morfismos atômicos, o que o limita a servir somente aos conceitos iniciais. Em 2003, o CaTLeT foi ampliado e os objetos e morfismos, antes atômicos, passaram a representar conjuntos e relações, respectivamente. Este projeto consiste em uma ampliação tanto do CaTLeT quanto dos objetivos que justificaram sua criação. Esta dissertação trata de um projeto de simulador categorial e de sua respectiva implementação as quais visam fornecer suporte computacional a fim de facilitar o acesso a conceitos intermediários de Teoria das Categorias e servir como suporte à pesquisa na área. A construção desse simulador possui três critérios de avaliação como parâmetro: boa acessibilidade, alta relevância das estruturas implementadas e alta cobertura. A nova ferramenta - denominada CaTReS - deve manter a acessibilidade a usuários leigos que sua predecessora possui e ampliar significativamente as estruturas suportadas, além de incluir tratamento à conceitos funtoriais. Dessa maneira, este projeto vem para auxiliar na superação dos obstáculos anteriormente mencionados.

"Empresasaúde-RS" - estudo de caso - : o painel de pilotagem para a utilização do Balanced Scorecard como ferramenta de efetiva implantação da estratégia empresarial

O Planejamento Estratégico é peça da maior importância em uma Organização. Normalmente, após exaustivas reuniões e custos significativos em sua elaboração, ele é engavetado ou passa a ser uma peça decorativa. Esta dissertação apresenta a construção do Painel de Pilotagem para a utilização do Balanced Scorecard em empresa de autogestão, sem fins lucrativos, que atua na área de saúde. Para atingir os objetivos da pesquisa, o método foi o de pesquisa-ação. O Balanced Scorecard é uma ferramenta para a implantação da Estratégia Empresarial. A discussão, os debates da Estratégia, a sua demonstração e aplicação e acompanhamento via Painel de Pilotagem são um diferencial significativo para o acompanhamento da gestão. O alinhamento obtido nos dez meses de reuniões para a construção do Painel de Pilotagem, na empresa pesquisada, demonstra o interesse da organização em efetivar a implantação de seu Planejamento Estratégico. Com a implantação do BSC, a determinação dos rumos do negócio deixará de apoiar-se basicamente em análise de dados do passado, para demonstrar o desempenho do que foi feito na Empresasaúde RS, mas possibilitará, também, uma melhor projeção e visualização do futuro, para demonstrar o que deverá ser feito, o caminho a ser percorrido.

Sistemas de informações gerenciais: uma ferramenta no auxílio à gestão pública : o caso da Controladoria do Município do Rio de Janeiro

O que nos move!!! Nos dias de hoje, é fundamental que as organizações públicas se posicionem na vanguarda da tecnologia para enfrentarem a exigência, cada vez mais crescente, da população. O ambiente em que vivemos se caracteriza por ser altamente dinâmico. A cada dia, os constantes processos de mudança nos apresentam novos problemas, novas responsabilidades. Este trabalho tem como proposta explorar um tema delicado para as organizações públicas: as informações gerenciais. Um dos problemas da administração pública é justamente a imensa quantidade de informações que se podem fazer disponíveis a um administrador. A grande questão é como selecionar e organizar, dentro dessa disponibilidade, aquelas informações realmente úteis. o assunto "Processo Decisório" é muito abrangente e, o enfoque da necessidade de informações também já foi amplamente discutido. Entretanto, esta dissertação pretende observar as informações gerenciais e os sistemas de informações por um outro prisma, que será o da inserção destas ferramentas dentro das esferas governamentais, como apoio à tomada de decisão e a transparência da gestão pública. Este enfoque ressalta a importância e demonstra a viabilidade de se implantar sistemas de informações gerenciais. O tema teve como objeto de análise, o Sistema de Informações Gerenciais da Controladoria Geral do Município do Rio de Janeiro.