Diretrizes e critérios de cobertura de teste a partir de especificações UML

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

Extensão do framework geoframe para modelagem de processos de análise geográfica

As particularidades encontradas na modelagem de bancos de dados geográficos tornam necessário o desenvolvimento de modelos específicos. A totalidade dos modelos desenvolvidos oferece recursos para a modelagem de aspectos estáticos. Alguns dos modelos apresentam soluções parciais para a modelagem de aspectos dinâmicos. A possibilidade de executar processos de análise geográfica, que alteram o estado dos componentes do banco de dados geográficos é, de forma geral, a maior motivação para justificar os investimentos necessários para a sua construção. A formalização desses processos em um modelo conceitual, na fase de projeto, torna desnecessário o uso da terminologia específica que cada software de SIG emprega. A solução desenvolvida estende um framework conceitual (GeoFrame) com uma semântica que suporta a expressão de processos de análise geográfica, mantendo compatibilidade com a linguagem UML. Para utilizar de forma adequada os recursos do framework, uma metodologia para a elaboração do modelo do usuário é indicada. Nessa metodologia, os processos são identificados a partir da elaboração de diagramas de casos de uso e atividades, incorporados no diagrama de classes e detalhados através de diagramas de atividades contendo ações. Um levantamento sobre operações utilizadas em processos de análise geográfica abrangendo a visão conceitual, lógica e de implementação de vários autores levou à construção de um catálogo de operações geográficas. Essas operações foram modeladas utilizando os elementos de modelagem de comportamento da especificação da UML, versão 2.0. O conjunto de recursos oferecidos nesse trabalho proporciona ao projetista de bancos de dados geográficos o desenvolvimento de uma especificação em alto nível e abrangente, utilizando a linguagem UML, reconhecida como padrão em modelagem de sistemas.

Anomalia na densidade em um gás de rede com interações competitivas

Apesar de ser um líquido comum na natureza, muitas dúvidas ainda pairam sobre várias características da água. A existência de uma relação comum entre o tipo de potencial intermolecular, criticalidade e as várias formas de anomalia existentes nessa substância ainda é uma questão em aberto, apesar da intensa pesquisa que têm-se feito ao longo dos anos sobre esse assunto. Nesta dissertação, propomos a hipótese de que a anomalia na densidade esta correlacionada à presença de multicriticalidade e que ambos os fenômenos surgem de um potencial de duas escalas. Para dar suporte a esta hipótese, além de trabalhos anteriores, usamos e estudamos um gás de rede com interações que competem (primeiros vizinhos Vi atrativos e segundos vizinhos V2repulsivos). Construímos para este sistema um diagrama de fases J.lV8. T usando dois métodos: aproximação de campo médio e simulações. Encontramos na aproximação de campo médio duas linhas críticas, uma das quais encontra a linha de 1~ ordem separando duas fases líquidas, e um ponto tricrítico, dado que V2/V1 < -0.5. Se V2/V1 > -0.5, a transição líquido-líquido desaparece, dando lugar a apenas duas fases, uma líquido e uma gás, separadas por uma linha de coexistência terminada em um ponto crítico Com a aproximação de campo médio não encontramos anomalia na densidade. Os resultados obtidos com as simulações alteram qualitativamente o diagrama de fases. Tanto as linhas críticas quanto os pontos tricríticos tem suas posições modificadas com relação ao campo médio. Neste caso encontramos um comportamento anômalo na densidade se V2/Vl < -0.5. Concluímos que o potencial de duas escalas competitivas é um ingrediente necessário ao aparecimento de anomalia na densidade e coexistência entre duas fases líquidas. Ainda, mostramos que essa anomalia pode estar associada não apenas a dois pontos críticos, como se espera para a água, mas a uma multicriticalidade em geral, tal como linhas críticas.

Vínculos ao histórico de formação estelar da LMC

Apresentamos a fotometria de 6 campos estelares profundos distribuídos na Grande Nuvem de Magalhães obtidos com a Wide Field and Planetary Camera 2/Hubble Space Telescope em duas bandas fotométricas: F814W (~I) e F555W (~V). Foram selecionadas ao todo 15997 estrelas pela nossa amostra, que somadas às estrelas da amostra de Castro et aI. 2001 [9] contabilizaram 22239 estrelas, dentro de limites de magnitude típicos que estão no intervalo 18.5<-V <-26. Investigamos o comportamento do erro fotométrico através da tarefa PHOT/IRAF, bem como via medidas independentes de magnitude de um mesmo objeto obtidas com diferentes exposições. Implementamos um método de correção para a completeza fotométrica como função da posição no diagrama cor-magnitude, isto é, com função tanto da magnitude como da cor e analisamos a sensibilidade das funções de luminosidade obtidas para diferentes métodos de correção. Foram obtidos os diagramas cor-magnitude, com os quais ajustamos isócronas de Pádova com idades T ;S 16 Gano e metalicidades 0.001 < Z < 0.004 ou -1.3 < [Fe/H] < -0.7. A população mais velha (r~12 Gano) pode ser encontrada através do ponto de turn-off em V~22. Estrelas de idade intermediária (r~1 - 8 Gano) podem ser localizadas pela presença de um clump. Os campos próximos aos aglomerados jovens NGC1805 e NGC1818 são os campos mais populosos, apresentando estrelas com r~1 Gano. Construímos funções de luminosidade para 18.5<-V <-25, utilizando os dados das duas amostras; não foram encontradas diferenças significativas entre os campos Desenvolvemos um método para geração de diagramas cor-magnitude (CMDs) artificiais a partir de um modelo de histórico de formação estelar. Este método incorpora os efeitos de erros fotométricos, binarismo não resolvido, avermelhamento e permite o uso de formas variadas de função de massa inicial e do próprio histórico. Implementamos o Método dos Modelos Parciais para modelamento de CMDs, incluindo experimentos controlados para a comprovação da validade deste método na busca de vínculos ao histórico de formação estelar da Grande Nuvem de Magalhães em dife!entes regiões. Recuperamos SFHs confiáveis para cada um dos 6 campos da LMC. Observamos variações na formação estelar de um campo para outro. Em todos os campos encontramos uma lacuna na formação estelar com 7 rv 700 Mano. Os dois campos próximos à barra (NGC1805 e NGC1818) apresentam alguns pequenos surtos, tendo formado em sua maioria, estrelas velhas ou relativamente jovens. Já os campos próximos a NGC1831 e NGC1868 apresentam formação estelar que se aproxima de um histórico de formação estelar uniforme, com alguns pequenos surtos. Os campos NGC2209 e Hodge 11 apresentam três períodos de formação estelar muitos semelhantes.

Editor distribuído de manipulação colaborativa de documentos diagramáticos

Este trabalho apresenta um framework para editores distribuídos de manipulação colaborativa de documentos diagramáticos (FreDoc). FreDoc fornece um conjunto de classes que propicia um ambiente distribuído para edição colaborativa de diagramas de duas dimensões. Ele é constituído de 4 pacotes de classes: 1) de controle de acesso; 2) de controle de edição; 3) formas geométricas básicas; e 4) editor distribuído. Além disso, é apresentado um estudo sobre mecanismos para construção de editores distribuídos. Editores distribuídos são ferramentas úteis no processo de criação de documentos em um ambiente colaborativo tal como a World Wide Web. O uso de editores distribuídos torna o processo de colaboração mais rápido, pois o colaborador participa ativamente do processo de construção através da inserção de anotações que. Estas anotações podem ser aceitas ou rejeitadas total ou parcialmente pelo ou coordenador. Por fim, é descrito um protótipo, o FreDocUML, desenvolvido para testar a aplicação do framewrok FreDoc, mostrando um processo colaborativo de edição de diagrama de classes na notação UML é descrito.

A metodologia de análise de dados espaciais aplicada a plantas forrageiras

Dois experimentos e um levantamento por amostragem foram analisados no contexto de dados espaciais. Os experimentos foram delineados em blocos completos casualizados sendo que no experimento um (EXP 1) foram avaliados oito cultivares de trevo branco, sendo estudadas as variáveis Matéria Seca Total (MST) e Matéria Seca de Gramíneas (MSGRAM) e no experimento dois (EXP 2) 20 cultivares de espécies forrageiras, onde foi estudada a variável Percentagem de Implantação (%IMPL). As variáveis foram analisadas no contexto de modelos mistos, sendo modelada a variabilidade espacial através de semivariogramas exponencias, esféricos e gaussianos. Verificou-se uma diminuição em média de 19% e 14% do Coeficiente de Variação (CV) das medias dos cultivares, e uma diminuição em média de 24,6% e 33,3% nos erros padrões dos contrastes ortogonais propostos em MST e MSGRAM. No levantamento por amostragem, estudou-se a associação espacial em Aristida laevis (Nees) Kunth , Paspalum notatum Fl e Demodium incanum DC, amostrados em uma transecção fixa de quadros contiguos, a quatro tamanhos de unidades amostrais (0,1x0,1m; 0,1x0,3m; 0,1x0,5m; e 0,1x1,0m). Nas espécies Aristida laevis (Nees) Kunth e Paspalum notatum Fl, existiu um bom ajuste dos semivariogramas a tamanhos menores das unidades amostrais, diminuíndo quando a unidade amostral foi maior. Desmodium incanum DC apresentou comportamento contrario, ajustando melhor os semivariogramas a tamanhos maiores das unidades amostrais.

Categorização no modelo de Hopfield : efeitos de ruído sináptico e de diluição simétrica

Nesta tese estudamos os efeitos de diluição simétrica gradual das conexões entre neurônios e de ruído sináptico sobre a habilidade de categorização de padrões no modelo de Hopfield de redes neurais, mediante a teoria de campo médio com simetria de réplicas e simulações numéricas. Utilizamos generalizações da regra de aprendizagem de Hebb, para uma estrutura hierárquica de padrões correlacionados em dois níveis, representando os ancestrais (conceitos) e descendentes (exemplos dos conceitos). A categorização consiste no reconhecimento dos conceitos por uma rede treinada unicamente com exemplos dos conceitos. Para a rede completamente conexa, obtivemos os diagramas de fases e as curvas de categorização para vários níveis de ruído sináptico. Observamos dois comportamentos distintos dependendo do parâmetro de armazenamento. A habilidade de categorização é favorecida pelo ruído sináptico para um número finito de conceitos, enquanto que para um número macroscópico de conceitos este favorecimento não é observado. Entretanto a performance da rede permanece robusta contra o ruído sináptico. No problema de diluição simétrica consideramos apenas um número macroscópico de conceitos, cada um com um número finito de exemplos. Os diagramas de fases obtidos exibem fases de categorização, de vidro de spin e paramagnética, bem como a dependência dos parâmetros de ordem com o número de exemplos, a correlação entre exemplos e conceitos, os ruídos sináptico e estocástico, e a conectividade. A diluição favorece consideravelmente a categorização, particularmente no limite de diluição extrema.

Anomalia na densidade em um gás de rede com potencial repulsivo atenuado

Apesar de ser um líquido comum na natureza, muitas dúvidas ainda pairam sobre várias características da água. A existência de uma relação comum entre o tipo de potencial intermolecular, criticalidade e as várias formas de anomalia existentes nessa substância ainda é uma questão em aberto, apesar da intensa pesquisa que têm-se feito ao longo dos anos sobre esse assunto . Nesta dissertação, propomos a hipótese de que a anomalia na densidade está correlacionada à presença de multicriticalidade, e que ambos os fenômenos surgem de um potencial de duas escalas. Para dar suporte a esta hipótese, além de trabalhos anteriores, usamos e estudamos um gás de rede com interações que competem (primeiros vizinhos V1 repulsivos e segundos vizinhos V2 atrativos). Construímos para este sistema um diagrama de fases µ vs. T usando dois métodos: aproximação de campo médio e simulações. Encontramos na aproximação de campo médio duas linhas críticas, uma das quais encontra a linha de 1a ordem separando duas fases líquidas, e um ponto tricrític Com a aproximação de campo médio não encontramos anomalia na densidade. Os resultados obtidos com as simulações alteram qualitativamente o diagrama de fases. Tanto as linhas críticas quanto os pontos tricríticos tem suas posições modificadas com relação ao campo médio. Neste caso encontramos um comportamento anômalo na densidade. Concluímos que o potencial de duas escalas competitivas é um ingrediente necessário ao aparecimento de anomalia na densidade e coexistência entre duas fases líquidas. Ainda, mostramos que essa anomalia pode estar associada não apenas a dois pontos críticos, como se espera para a água, mas a uma multicriticalidade em geral, tal como linhas críticas.

Ciclos sedimentares em seqüências siliciclásticas : uma proposta de análise metodológica.

Este trabalho de estratigrafia quantitativa teve como objetivo o estudo de ciclos sedimentares em seqüências siliciclásticas. Para isso, utilizou-se ferramentas matemáticas e estatísticas, interpretando os resultados obtidos no contexto da estratigrafia de seqüências. Os padrões quase cíclicos de empilhamento sedimentar foram associados a padrões de ciclos de tempo conhecidos – os da banda de Milankovitch (Milankovitch, 1947). Para superar as dificuldades inerentes às medidas diretas em afloramentos e testemunhos, adotou-se o estudo das variações da distância entre marcas consecutivas, observadas na curva do perfil de raios gama de sondagens para petróleo ou carvão. Esta distância foi associada à espessura da camada sedimentar e a série de observações foi estudada pelos métodos de análise de séries temporais, empregando-se: estatísticas básicas, histogramas e distribuições de freqüência, diagramas de tempo (gráficos XY), gráficos de Fischer, autocorrelação e correlação cruzada e análise espectral. A abordagem do problema exigiu um tratamento matemático das observações estratigráficas, mantido de forma “orientada para a geologia”. Deu-se ênfase ao significado físico (geológico) dos resultados obtidos com as diversas análises. As variações nas espessuras das camadas permitiram reconhecer parasseqüências e suas geometrias internas, levando à identificação acurada dos ambientes deposicionais, das fácies e dos tratos de sistema, em um contexto de estratigrafia de seqüências. As razões entre os períodos encontrados nos ciclos sedimentares foram associadas com os ciclos astronômicos da banda de Milankovitch, produzindo estimativas do tempo de deposição e das taxas de acumulação e fornecendo a visão dos processos de preenchimento da bacia, das oscilações do nível do mar e do fluxo de sedimentos. O emprego desta metodologia de análise evidenciou seqüências de quinta e de quarta ordem (no sentido da Exxon) correlacionáveis, localmente. Em nível regional, mostrou ser possível a correlação de seqüências de terceira ordem, por distâncias consideráveis, permitindo correlações com a curva global de oscilações do nível do mar. Para ilustrar, foram discutidos exemplos de aplicação da metodologia, em seções do Permiano da Bacia do Paraná e do Andar Buracica (Barremiano), na Bacia do Recôncavo. A metodologia do trabalho foi desenvolvida pelo autor, junto aos participantes de pesquisas e de cursos do Laboratório de Análise de Bacias e Correlação Geológica (LABCG) da Faculdade de Geologia (FGEL) da UERJ - Universidade do Estado do Rio de Janeiro.

Caracterização de remanescentes de aglomerados abertos na galáxia

o presente trabalho busca ampliar o conhecimento das relações entre aglomerados abertos de estrelas e seus remanescentes. Do ponto de vista observacional, um remanescente pode ser definido como uma concentração pouco povoada de estrelas resultante da evolução dinâmica de um sistema inicialmente mais massivo. Apesar do avanços no conhecimento teórico a respeito desses objetos e, nos últimos anos, da busca pela identificação observacional dos mesmos ter aumep.tado, muitas questões permanecem em aberto. Assim, no presente estudo serão analisados 23 candidatos a remanescentes através de dados fotométricos, espectroscópicos e de movimentos próprios. Esses dados fornecem informações sobre os objetos e seus campos. Por meio destas, buscam-se estabelecer critérios de definição de remanescentes de aglomerados abertos, levando-se em conta incertezas observacionais. Os dados fotométricos no infravermelho oriundos do catálogo The Two Micron Ali sky Survey possibilitam, nesse estudo, (i) estudar as propriedades estruturais dos objetos por meio dos perfis de densidade radial de estrelas; (ii) testar a semelhanças entre objetos e campos através de um método estatístico de comparação entre distribuições de estrelas no plano do diagrama cor-magnitude e, (iii) obter idades, avermelhamentos e distâncias com o uso de diagramas cor-magnitude, além de distinguir os objetos em função de um índice de ajuste de isócronas. Os dados espectroscópicos obtidos através de observações óticas no Complejo Astronómico EI Leoncito (Argentina) fornecem para 12 objetos da amostra informações adicionais de avermelhamentos e idades. Os dados cinemáticos extraídos do The Second U. S. Naval Observatory CCD Astrograph Catalog permitem, por sua vez, uma comparação objetiva entre a distribuição de movimentos próprios dos objetos e campos próximos de grande ângulo sólido O emprego desses métodos complementares se mostra essencial no estudo em função da carência de dados completos para os candidatos a remanescentes. No que diz respeito à amostra, em geral não é possível afirmar individualmente qual objeto caracteriza-se de forma definitiva como um remanescente de aglomerado aberto devido à incompleteza dos dados, às incertezas observacionais e à baixa estatística. Entretanto, os métodos desenvolvidos permitem uma análise objetiva e sugerem a presença de remanescentes de aglomerados abertos na amostra. Além disso, há evidência da presença de binarismo, o que é esperado para sistemas evoluídos dinamicamente. Portanto, pode-se inferir sobre estágios evolutivos para remanescentes a partir das distribuições de movimento próprio de suas estrelas e de seu mapeamento no diagrama cor-magnitude.

Estudo da difusão translacional em um modelo para água

Apesar da água ser o líquido mais comum na natureza, suas características ainda não estão totalmente explicadas. A relação entre a forma do potencial intermolecular efetivo que representa as interações presentes na água, as várias anomalias existentes na água e a possível existência de dupla criticalidade ainda é uma questão em aberto. Recentemente descobriu-se que a água apresenta, além de anomalias termodinâmicas, anomalia na difusão translacional e rotacional. Mostrou-se que para um modelo SPC/E para água estas anomalias dinâmicas estão conectadas com a temperatura de máxima densidade (TMD) e que as anomalias dinâmicas ocupam uma região maior que a TMD no diagrama de fases p vs. T. Nesta dissertação investigamos a relação entre a anomalia na densidade e a anomalia na difusão translacional da água em um modelo onde as moléculas interagem através de um potencial que contém duas fontes de interação: uma isotrópica atrativa do tipo van der Waals, v, e uma direcional, u, que pode ser nula ou repulsiva. Reproduzimos o diagrama de fases pressão vs. temperatura aonde a anomalia na densidade e a dupla criticalidade se fazem presente. Mostramos que este sistema apresenta anomalia na difusão translacional e que esta se encontra na mesma região do diagrama de fases pressão vs. temperatura em que a TMD está presente. Diferentemente do que ocorre para água SPC/E, a região de anomalia na difusão translacional ocupa um espaço menor, encontrando-se na parte interna da TMD. Sugerimos que a discretização do potencial afeta mais fortemente a anomalia dinâmica do que a termodinâmica e que leva a um encolhimento na região de anomalia na difusão.

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.

Estágios iniciais de aglomerados estelares

Analisamos aglomeradosimersosem nuvens moleculares, os quais são fundamentais para a compreensão dos estágios evolutivos iniciais da formação estelar. Na presente tese exploramos principalmente objetos associados a nebulosas de reflexão. Os objetos que estão no foco central do nosso estudo são possíveis aglomerados presentes na direção de nebulosas de reflexãoou emissão,já apontados pelos trabalhos de Bica et aI. (2003b) e Dutra et alo (2003). No estudo desses sistemas utilizamos principalmente dados do Catálogo 2MASS. A análise fotométrica é baseada em diagramas cor-magnitude e cor-cor, juntamente com isócronas teóricas de pré-seqüência-principaI. A distribuição angular de densidade superficial de estrelas no aglomerado e no campo próximo é um outro método de análise utilizado. Através da análise fotométrica e espectroscópica obtivemos os parâmetros físicos fundamentais dos aglomerados. Com base na emissão de estrelas na banda Ks realizamos uma busca por novos aglomerados imersos. A busca foi orientada na direção central de 47 nebulosas no ótico selecionadas a partir do Catálogo de Dutra et aI. (2003), varrendo um raio angular de r = 10' para cada direção. A busca resultou na descoberta de um aglomerado imerso ainda não catalogado, e aqueles já catalogados foram redescobertos. Neste trabalho obtivemos parâmetros físicos para mais de 30 aglomerados imersos. O raio linear derivado para esses objetos situa-se na faixa de 0,3 a 0,9 pc e o número de estrelas membros detectadas fica geralmente na faixa de 20 a 50 A idade média derivada para a amostra indica uma população bastante jovem. A maior parte dos aglomerados possui uma idade de 1 a 2 milhões de anos. Em nossa amostra o objeto mais massivo encontrado possui uma massa estimada de ~ 200M<=).Entretanto, a maioria dos aglomerados possui massa estimada na faixa de ~ 20M<=)a ~ 60M<=).Os valores de massa total para cada aglomerado não possuem uma correlação aparente com o ambiente da nebulosa. Os aglomerados imersos associados a nebulosas em ambientes de complexo HII podem apresentar massas tão baixas quanto aqueles associados a nebulosas de reflexão. Estes sistemas estelares provavelmente não apresentam estrelas com massas superiores àquela de uma estrela com tipo espectral B. Finalmente, estudamos um aglomerado imerso contendo uma estrela OV, o aglomerado NGC 2264. Obtivemos uma função de massa inicial (FMI) para o aglomerado NGC 2264 a partir de 346 fontes de raio-X detectadas pelo CHANDRA com contrapartida no infra-vermelho. A FMI derivada inclui massas estelares acima de M = O,03M<=). Em comparação com a FMI da vizinhança solar existe uma deficiência de estrelas de baixa massa para M < O,3M<=). As massas estimadas para os objetos analisados indicam que eles são sistemas estelares não-ligados gravitacionalmente. A maioria dos aglomerados de nossa amostra possui massa inferior a 100M<=)e está associada a nebulosas de reflexão. A formação de estrelas do tipo O em aglomerados imersos não-ligados gravitacionalmente não parece ser freqüente, segundo nossos resultados.

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.