Ambiente baseado em componentes para o desenvolvimento de sistemas computacionais microcontrolados distribuídos

A modelagem e desenvolvimento de sistemas embarcados ("embedded systems") de forma distribuída, tende a ser uma tarefa extremamente complexa, especialmente quando envolve sistemas heterogêneos e sincronização de tarefas. Com a utilização do modelo de componentes de software é possível descrever, de uma forma simplificada, todos os elementos de distribuição e de comunicação para este tipo de sistemas. Neste sentido, a especificação de uma ferramenta capaz de auxiliar na modelagem e no desenvolvimento deste tipo de aplicação, certamente irá tornar o trabalho mais simples. Esta dissertação inicia por uma análise comparativa entre as tecnologias passíveis de serem utilizadas na definição de sistemas distribuídos heterogêneos, focando-se principalmente nas metodologias de modelagem, e nos mecanismos e middlewares de comunicação. Dos conceitos formados a partir desta análise é descrita uma ferramenta, baseada em componentes de software. A ferramenta é uma extensão do projeto SIMOO-RT, onde foram adicionados os conceitos de componente de software, biblioteca de componentes e diagrama de implantação. Além disso, foram realizadas modificações no sistema de geração de código, para dar suporte aos novos conceitos da ferramenta. A dissertação termina com a descrição de alguns estudos de caso utilizados para validar a ferramenta.

Implementação de um sistema de síntese de alto nível baseado em modelos java

Este trabalho apresenta uma metodologia para a geração automática de ASICs, em VHDL, a partir da linguagem de entrada Java. Como linguagem de especificação adotou-se a Linguagem Java por esta possuir características desejáveis para especificação a nível de sistema, como: orientação a objetos, portabilidade e segurança. O sistema é especificamente projetado para suportar síntese de ASICs a partir dos modelos de computação Máquina de Estados Finita e Pipeline. Neste trabalho, adotou-se estes modelos de computação por serem mais usados em sistemas embarcados As principais características exploradas são a disponibilização da geração de ASICs para a ferramenta SASHIMI, o alto nível de abstração com que o projetista pode contar em seu projeto, as otimizações de escalonamento realizadas automaticamente, e o sistema ser capaz de abstrair diferentes modelos de computação para uma descrição em VHDL. Portanto, o ambiente permite a redução do tempo de projeto e, consequentemente, dos custos agregados, diminuindo a probabilidade de erros na elaboração do projeto, portabilidade e reuso de código – através da orientação a objetos de Java – podendo-se proteger os investimentos prévios em desenvolvimento de software. A validação desses conceitos foi realizada mediante estudos de casos, utilizando-se algumas aplicações e analisando os resultados obtidos com a geração dos ASICs.

Corpus ex machina : a ciborguização da enfermeira no contexto da terapia intensiva

A pesquisa busca analisar as tensões humano-máquina em materiais pedagógicos utilizados pela enfermagem em terapia intensiva e, entre esses materiais pedagógicos foram analisados os manuais e protocolos assistenciais. Para desenvolvê-la, apóio-me na teorização cultural e no trabalho de autores e autoras que têm problematizado a noção de corpo e de sujeito na pós-modernidade a partir dos pressupostos teóricos do pós-estruturalismo. Entre os/as autores /as utilizados, indico os estudos de Donna Haraway e seu entendimento de ciborgue – uma idéia produtiva que possibilita explorar a ciborguização da cultura contemporânea e suas implicações para a enfermagem em terapia intensiva. Utilizo a abordagem metodológica da análise cultural tal como esta vem sendo desenvolvida pelos Estudos Culturais que se aproximam do Pós-estruturalismo, para descrever e analisar, em três lições, alguns dos diferentes tipos de ciborguização que se materializam na prática da enfermagem em terapia intensiva. Para tal intento, selecionei alguns acontecimentos que sintetizam significados importantes da terapia intensiva na contemporaneidade, a saber: o atendimento avançado de reanimação cardiorrespiratória, a produção de imagens de corpos doentes através de um complexo sistema de monitoramento e o deslocamento das fronteiras entre a vida e a morte. Com base nessa análise, discuto no final, os desdobramentos dessas tensões no discurso da humanização da assistência na área da saúde.

Perfil de maturidade de dirigentes de empresas de Porto Alegre : estudo baseado no modelo de Chris Argyris

O estudo sobre maturidade gerencial desenvolveu-se com base no modelo de Chris Argyris e foi enriquecido com reflexões, proposições e indagações de outros autores que, direta ou indiretamente, estudaram o comportamento de dirigentes em organizações de aprendizagem e de empresas excelentes. O estudo foi realizado a partir das manifestações de dirigentes de empresas de pequeno, médio e grande porte, localizadas no Município de Porto Alegre. Das sete dimensões estudadas - desdobradas em atitudes e habilidades - verificou-se que os dirigentes consideram muito importantes, a iniciativa e a perspectivas de ação; importantes, em ordem decrescente de percentual de respostas, autonomia e autocontrole; seguidas, em igualdade de condições, pela flexibilidade e auto-estima, e finalmente pela dimensão interesse. Foram constatadas diferenças significativas de respostas apresentadas pelos dirigentes do sexo feminino em relação às respostas fornecidas pelos do sexo masculino, assim como das respostas fornecidas por dirigentes que há mais tempo estão na empresa ou no exercício da função em relação aos que têm menos tempo de exercício profissional. Também foram constatados resultados surpreendentes que confirmam a interferência de aspectos culturais e educacionais nas respostas dadas. As variáveis idade, tempo na organização e no exercício da função na empresa demonstraram também sua interferência. Os resultados da pesquisa permitiram igualmente divisar caminhos, onde existem elos importantes, sendo o principal o de considerar o homem como agente de sua história e de sua empresa, na medida em que ele se conhecer mais e intencionalmente realizar vivências que o levem a um desenvolvimento pessoal – alcançar sua maturidade na empresa. São feitas reflexões que requerem alternativas diferenciadas de intervenção para as Universidades e Escolas Técnicas, para as áreas de consultoria e de Recursos Humanos das Empresas. Também se confirmou a necessidade de serem realizados novos estudos para aprofundar a temática, tanto em nível empresarial, quanto acadêmico.

Renegociação de dívidas com múltiplos credores: um estudos de caso da experiência da Light - Serviços de Eletricidade

Esta dissertação analisa o caso prático do processo de renegociação da dívida da Light, durante o período de abril de 2003 até julho de 2005, estabelecendo um paralelo entre essa experiência e alguns modelos teóricos selecionados que discorrem acerca desse tema. Ao final propõe-se um modelo, baseado naqueles existentes, que visa explicar o processo decisório dos credores frente ao menu de contratos de dívidas renegociadas.

Um Modelo hierárquico baseado em políticas para o gerenciamento integrado de redes de computadores e grids computacionais

Como resultados constatou-se que o modelo de tradução de políticas proposto permite automatizar o gerenciamento da infra-estrutura de grid e rede. Além disso, a solução apresentada fornece novas facilidades de gerenciamento em comparação as soluções de gerenciamento de grid baseadas em políticas encontradas na literatura. A implementação do protótipo do modelo junto ao sistema QAME permitiu que o gerenciamento do grid e da rede fosse realizado de maneira integrada usando uma hierarquia de tradução de políticas.

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.

UUm Modelo Exploratório, Baseado nas Comunidades Linux, para Desenvolvimento da Tecnologia da Informação no Brasil

presente trabalho objetiva construir um Modelo Exploratório de desenvolvimento de tecnologia da informação, aplicável no Brasil, tendo como referência as formas de organização do trabalho e da produção das comunidades Linux. O Modelo deve ser aplicado em ambiente Internet, ou em outras redes de telecomunicação. Por essa razão, utiliza métodos e técnicas de aprendizado à distância e e-Iearning. A construção do Modelo apoia-se, como alicerce teórico fundamental, no conceito de convivialidade de Illich (1976), no entendimento de Inose e Pierce (1984) sobre comunidades de interesse e democratização da produção de software, nos estudos de Malone (1997, 1998) referentes a modelos de organização em rede, nos estudos de Weber (2000) sobre comunidades de interesse online, na metodologia de capacitação "Pensamento Digital" de Joia (1999-1, 1999-2) e na estratégia pedagógico-metodológica do Australian National Training Authority (T AFE/SA). No entanto, as pesquisas de Matesco (2000, 2001) tomaram exeqüível a idéia da construção do Modelo, tendo que vista que o Modelo Exploratório proposto aplica-se, preferencialmente, a países, regiões, empresas ou organizações dependentes tecnologicamente de seus parceiros negociais e com escassez de recursos para aplicar em pesquisa e desenvolvimento. O caminho metodológico para a construção do Modelo inicia-se com uma sucinta abordagem sobre o sistema operacional Linux, a descrição das formas de organização das comunidades Linux e a identificação das formas de organização do trabalho e da produção no Fordismo-Taylorismo e no pós-Fordismo. Situa o funcionamento das comunidades Linux em relação a essas formas de organização. Descreve o processo de formação do conhecimento no aprendizado à distância e no elearning. Aborda a experiência de outros países com o Linux e com as comunidades Linux. Principalmente, o sucesso obtido pelos países nórdicos em absorção de tecnologia. A seguir, fundamentando-se em duas pesquisas de Matesco (2000,2001), analisa a dependência tecnológica do Brasil e propõe o Modelo Exploratório, cujo objetivo é, prioritariamente, colaborar para a redução dessa dependência, por meio de um processo de formação de conhecimento, baseado no aprendizado à distância e e-Iearning do Linux e na propagação de comunidades Linux, empregando-se o modelo de organização em rede.

Análise do tratamento dado aos custos indiretos de fabricação (CIF) : um estudo de caso baseado no sistema de custeio ABC (activity based costing)

Apresenta as principais limitações dos Sitemas tradicionais de custos, as bases teóricas que fundamentam o Sistema de Custeio Baseado em Atividades - ABC Activity Based Costing, enuncia uma metodologia de aplicação do Sistema ABC para o cálculo da lucratividade de linhas diferentes de produtos e descreve a aplicação da metodologia enunciada em um estudo de caso, realizado em uma empresa do setor de bens de capital

Compostos nominais em língua alemã em medicina em tradução para o português

Este trabalho observa e descreve o processo de composição de termos em textos de Medicina em língua alemã e sua tradução para o português. Ao buscar o reconhecimento de padrões de construção da terminologia e da sua tradução, a pesquisa faz uma revisão da literatura que inclui o tratamento gramatical e lexicográfico dos compostos em alemão, de trabalhos que tratam da tradução de Komposita, além de revisar fundamentos teóricos de Terminologia e de Tradução e sua relação com a composição de termos. A perspectiva adotada pela pesquisa vincula Lingüística de Corpus e enfoques de perspectiva textual de Terminologia, além de relacionar padrões de tradução de compostos a uma maior ou menor inserção cultural do texto traduzido. O trabalho apresenta um levantamento quantitativo e qualitativo de ocorrências de compostos e de suas traduções em um corpus formado por textos didáticos de Medicina nas subáreas Fisiologia e Genética. O corpus alinhado alemão-português é composto por 99 parágrafos de texto. A diversidade de escolhas de tradução verificada e a concentração de escolhas no padrão substantivo+preposição+substantivo apontam uma baixa inserção cultural da tradução produzida para o português

Assédio moral no trabalho : a sistematização dos estudos sobre um campo em construção

Assédio moral no trabalho: a sistematização dos estudos sobre um campo em construção. São Paulo. EAESP - Fundação Getulio Vargas, 2007. 230 p. Dissertação de Mestrado em Administração de Empresas. Esta pesquisa investigou a maneira como a questão do assédio moral aparece nos estudos científicos, levando em consideração as contribuições teóricas e empíricas de pesquisadores de vários países do mundo. O estudo é baseado no mapeamento do cenário em que aparecem os primeiros estudos sobre este assunto, nas principais contribuições, no entendimento das causas e nos impactos deste tipo de violência no trabalho, além de algumas maneiras já testadas de como lidar com este problema. Pretende-se mapear também as principais contribuições de pesquisadores brasileiros, além de eventuais características específicas deste fenômeno no país. A metodologia escolhida foi a da revisão e produção bibliográfica, classificada de acordo com categorias descritivas e explicativas do fenômeno, de forma que a integração das diversas abordagens permita uma visão panorâmica da temática. Espera-se que os resultados contribuam para a melhor compreensão e caracterização deste fenômeno e que auxilie interessados no combate efetivo deste grave problema organizacional.

Análise dos comportamentos de curto prazo e longo prazo dos mercados acionários latino-americanos : um estudo baseado em correlações, análise de componentes principais e cointegração

Neste trabalho, através de estudos das correlações, análise de componentes principais e cointegração, é discutida a relação dos comportamentos de curto e longo prazos de índices de mercado de ações representativos de 7 países latino americanos e de suas relações com índices norte-americanos e com índices globais, no período entre Julho de 2001 e Outubro de 2006. Este período foi caracterizado por uma relativa tranqüilidade, se podemos assim classificar a menor volatilidade e tamanho dos retornos, quando comparado às freqüentes crises dos fins dos anos 90. Tanto a análise da matriz de correlação dos índices como dos Componentes Principais dos mesmos demonstra agrupamentos de alguns índices, indicando um comportamento similar de curto prazo destes índices ao longo do período estudado, com movimentos fortemente correlacionados. Contudo, os resultados obtidos neste estudo, dada a falta de cointegração de vários mercados acionários, sugerem que no longo prazo um investidor poderia ter mais proteção com a diversificação que inicialmente se poderia imaginar.

Construção de superfície de volatilidade para o mercado brasileiro de opções de dólar baseado no modelo de volatilidade estocástica de Heston

Nos últimos anos, o mercado brasileiro de opções apresentou um forte crescimento, principalmente com o aparecimento da figura dos High Frequency Traders (HFT) em busca de oportunidades de arbitragem, de modo que a escolha adequada do modelo de estimação de volatilidade pode tornar-se um diferencial competitivo entre esses participantes. Este trabalho apresenta as vantagens da adoção do modelo de volatilidade estocástica de Heston (1993) na construção de superfície de volatilidade para o mercado brasileiro de opções de dólar, bem como a facilidade e o ganho computacional da utilização da técnica da Transformada Rápida de Fourier na resolução das equações diferenciais do modelo. Além disso, a partir da calibração dos parâmetros do modelo com os dados de mercado, consegue-se trazer a propriedade de não-arbitragem para a superfície de volatilidade. Os resultados, portanto, são positivos e motivam estudos futuros sobre o tema.

Desenvolvimento de um sistema de expressão em Metarhizium anisopliae baseado no promotor homólogo do gene tef-1 α

Vetores de expressão são ferramentas moleculares úteis para investigar a função de genes tanto em sistemas procarióticos quanto eucarióticos. O fungo Metarhizium anisopliae, utilizado no controle biológico de artrópodes, é bem caracterizado em nível molecular. Genes candidatos a participar do processo de infecção de hospedeiros tem sido isolados utilizando estratégias em que o gene candidato é predefinido (enzimas hidrolíticas, por exemplo) ou estratégias mais globais como projetos de ESTs e a análise de bibliotecas de subtração. A superexpressão tem sido o método adotado para verificar a participação de genes isolados no processo de infecção. Esta estratégia tem sido baseada no promoter heterólogo PgpdA de Aspergillus nidulans. Neste trabalho, o gene que codifica o fator de alongamento de tradução tef-1 α de Metarhizium anisopliae foi clonado e a sua região promotora foi localizada e utilizada na construção de um vetor de expressão. Somente uma cópia do gene tef-1α está presente no genoma de M. anisopliae e o seu perfil de expressão foi analisado. Uma árvore filogenética foi construída baseada nos ortógos de tef-1 α e mostrou uma alta correlação com o fungo Cordyceps taii. A região de 639 pb à montante do codon de iniciação (ATG) foi utilizada com sucesso para a expressão do gene repórter sGFP e do gene bar, que confere resistência ao glifosinato de amônio, em M. anisopliae. Os transformantes construídos não apresentaram alteração na sua virulência em bioensaios com carrapatos, em relação a linhagem receptora. Além disso, demonstramos que o nível de expressão permite a detecção óptica da fluorescência de sGFP durante a infecção dos carrapatos. Desta forma, o vetor desenvolvido será uma ferramenta útil para a superexpressão em Metarhizium.

Um modelo baseado em agentes para a análise da governança regulamentar do sistema financeiro

As pesquisas sobre governança no sistema financeiro contribuem significativamente para a análise dos diversos elementos que influenciam a performance nesse setor. No entanto, estudos empíricos nessa área ainda são limitados. Um dos motivos é a complexidade inerente à noção de governança na área pública. Da mesma forma que os sistemas complexos, a governança pode ser descrita como um sistema que abrange um grande número de entidades interdependentes entre si, com diferentes graus de relacionamentos. Neste trabalho de pesquisa, o significado de governança regulamentar do SFN se insere nesse escopo de entendimento, isto é, a governança como um fenômeno que resulta das diversas interações existentes entre os atores que influenciam ou são influenciados pelas atividades de regulação do setor financeiro. Em função das especificidades dos sistemas complexos, desenvolve-se e implementa-se um modelo baseado em agentes para a análise da governança regulamentar do SFN mediante experimentos de simulação. Os modelos baseados em agentes possibilitam explicitar aspectos relativos às interações e comportamentos dos agentes (nível micro), ou seja, os comportamentos não-lineares do sistema, que são difíceis de serem capturados com outros formalismos matemáticos. O modelo baseado em agentes é integrado a um modelo econométrico que tem como função caracterizar o ambiente macro-econômico. O ambiente micro é modelado por intermédio de agentes computacionais, com o uso da arquitetura BDI (do inglês, beliefs-desires-intentions). Esses agentes interagem entre si e com o ambiente, possuem crenças sobre o meio onde atuam e desejos que querem satisfazer, levando-os a formar intenções para agir. O comportamento dos agentes foi modelado utilizando-se lógica difusa (fuzzy logic), com o uso de regras construídas por intermédio de pesquisa de análise de conteúdo, a partir de informações coletadas em notícias de jornais, e entrevistas semiestruturadas com especialistasda área financeira. Os resultados dos experimentos demonstram o potencial da simulação dos modelos baseados em agentes para a realização de estudos de ambientes complexos de governança regulamentar.