X-ARM: um modelo de representação de artefatos de software

A great challenge of the Component Based Development is the creation of mechanisms to facilitate the finding of reusable assets that fulfill the requirements of a particular system under development. In this sense, some component repositories have been proposed in order to answer such a need. However, repositories need to represent the asset characteristics that can be taken into account by the consumers when choosing the more adequate assets for their needs. In such a context, the literature presents some models proposed to describe the asset characteristics, such as identification, classification, non-functional requirements, usage and deployment information and component interfaces. Nevertheless, the set of characteristics represented by those models is insufficient to describe information used before, during and after the asset acquisition. This information refers to negotiation, certification, change history, adopted development process, events, exceptions and so on. In order to overcome this gap, this work proposes an XML-based model to represent several characteristics, of different asset types, that may be employed in the component-based development. Besides representing metadata used by consumers, useful for asset discovering, acquisition and usage, this model, called X-ARM, also focus on helping asset developers activities. Since the proposed model represents an expressive amount of information, this work also presents a tool called X-Packager, developed with the goal of helping asset description with X-ARM

STREAM-AP: um processo para sistematizar a escolha de padrões arquiteturais baseado em requisitos não-funcionais

The importance of non-functional requirements for computer systems is increasing. Satisfying these requirements requires special attention to the software architecture, since an unsuitable architecture introduces greater complexity in addition to the intrinsic complexity of the system. Some studies have shown that, despite requirements engineering and software architecture activities act on different aspects of development, they must be performed iteratively and intertwined to produce satisfactory software systems. The STREAM process presents a systematic approach to reduce the gap between requirements and architecture development, emphasizing the functional requirements, but using the non-functional requirements in an ad hoc way. However, non-functional requirements typically influence the system as a whole. Thus, the STREAM uses Architectural Patterns to refine the software architecture. These patterns are chosen by using non-functional requirements in an ad hoc way. This master thesis presents a process to improve STREAM in making the choice of architectural patterns systematic by using non-functional requirements, in order to guide the refinement of a software architecture

Contribuição ao estudo de redes complexas: modelo de afinidade com métrica

Currently the interest in large-scale systems with a high degree of complexity has been much discussed in the scientific community in various areas of knowledge. As an example, the Internet, protein interaction, collaboration of film actors, among others. To better understand the behavior of interconnected systems, several models in the area of complex networks have been proposed. Barabási and Albert proposed a model in which the connection between the constituents of the system could dynamically and which favors older sites, reproducing a characteristic behavior in some real systems: connectivity distribution of scale invariant. However, this model neglects two factors, among others, observed in real systems: homophily and metrics. Given the importance of these two terms in the global behavior of networks, we propose in this dissertation study a dynamic model of preferential binding to three essential factors that are responsible for competition for links: (i) connectivity (the more connected sites are privileged in the choice of links) (ii) homophily (similar connections between sites are more attractive), (iii) metric (the link is favored by the proximity of the sites). Within this proposal, we analyze the behavior of the distribution of connectivity and dynamic evolution of the network are affected by the metric by A parameter that controls the importance of distance in the preferential binding) and homophily by (characteristic intrinsic site). We realized that the increased importance as the distance in the preferred connection, the connections between sites and become local connectivity distribution is characterized by a typical range. In parallel, we adjust the curves of connectivity distribution, for different values of A, the equation P(k) = P0e

Hipertensão arterial experimental e prenhez em ratas: uso do modelo Goldblatt I (1 rim - 1 clipe)

Objetivo: desenvolver o modelo experimental de hipertensão tipo Goldblatt I (1 rim - 1 clipe), em ratas, para estudar a interação entre hipertensão e prenhez. Métodos: o experimento foi dividido em 5 períodos: adaptação (2 semanas), cirúrgico (1 semana), desenvolvimento da hipertensão (6 semanas), acasalamento e estabilização da pressão arterial (6 semanas) e prenhez (3 semanas). Foram utilizadas 82 ratas virgens da raça Wistar, pesando entre 180-240 gramas e com idade entre 3 e 4 meses. As ratas foram sorteadas para compor os 4 grupos experimentais (controle, manipulação, nefrectomia e hipertensão) e estudadas em 15 momentos distintos (M1 a M15). A hipertensão foi induzida experimentalmente pela técnica de Goldblatt I (1 rim, 1 clipe), que consiste na constrição da artéria renal esquerda e nefrectomia contralateral. Posteriormente, foram realizadas medidas periódicas da pressão arterial pelo método da pletismografia de cauda (PAC). Resultados: os animais sem tratamento cirúrgico (controle) e com manipulação não apresentaram alterações na PAC durante o experimento. A nefrectomia determinou discreta elevação da PAC. Nos grupos de ratas prenhes, observou-se tendência a discreta diminuição da PAC, que se acentuou no final da prenhez. Conclusões: o modelo experimental foi adequado para o objetivo de nosso estudo, pois permitiu a obtenção de animais hipertensos.

Influência da informação à priori na escolha de modelos para avaliação genética de suínos

Programas de melhoramento são atividades que se desenvolvem durante anos e, por isso, devem ser flexíveis ao ajuste às novas situações criadas por mudanças nas tendências de mercado, na situação econômica e aquelas causadas por aumento do volume e qualidade dos dados e, também, por novas técnicas propostas pela comunidade científica. O ajuste a essas últimas deve ser feito, principalmente, por meio da substituição e escolha do modelo mais adequado para a descrição do fenômeno, em um determinado cenário. Os dados de ganho de peso médio diário, de um programa de melhoramento de suínos, envolvendo as raças Duroc, Landrace e Large White, foram analisados por meio da teoria bayesiana, por meio de dois modelos candidatos. Foram simulados três níveis de informação à priori: informativa, pouco informativa e não informativa. O comportamento das curvas das distribuições à posteriori e as respectivas estimativas associadas a cada nível de informação à priori foram analisadas e comparadas. Os resultados indicam que no modelo mais simples, as amostras das três raças são suficientes para produzir estimativas que não são alteradas pela informação à priori. Com relação ao mais parametrizado, as estimativas, para a raça Duroc, são alteradas pelo conhecimento prévio e, nesse caso, deve se buscar a melhor representação possível da distribuição à priori para obtenção de estimativas que são mais adequadas, dado o estado de conhecimento atual do melhorista.

Entre o formal e o real: representações acerca do modelo disciplinar da Fundação CASA de Araraquara

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Estudo da distribuição de espaçamentos de dubletos utilizando o modelo do bilhar anular

Pós-graduação em Física - IGCE

Contribuições ao conhecimento de cromossomos supernuméricos em peixes, utilizando como modelo Haplochromis obliquidens (Perciformes, Cichlidae)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Sobre a importância da deliberação e da escolha na ética a Nicômaco

Pós-graduação em Filosofia - FFC

Escolha dos níveis nutricionais na determinação do nível-ótimo e no ajuste de modelos estatísticos utilizados em ensaios dose-resposta

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Resolução de problemas no cenário da matemática discreta

Pós-graduação em Educação Matemática - IGCE

Áxions, májorons e neutrinos em extensões do modelo padrão

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Efeito da escala e do modelo de análise na avaliação genética de escores visuais: estudo de simulação

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Modelo cognitivo informacional de suporte a decisão aplicado à gestão de bacias urbanas

A pesquisa foi realizada a partir da escolha da área correspondente à bacia do igarapé Tucunduba, na zona urbana de Belém, capital do Estado do Pará, e é voltada para o desenvolvimento de uma estrutura cognitiva causal computacional capaz de identificar e qualificar os potenciais processos indicadores de conflitos gerados pelos usos múltiplos da água nesta bacia hidrográfica urbana, e com isto viabilizar decisões no âmbito das medidas estruturais e não estruturais. A utilização de um modelo qualitativo, utilizando metodologias informacionais, como o software Decision Explorer, na área de recursos hídricos, visa entender não somente os aspectos hidrológicos, mas também os aspectos sociais, indispensáveis na tomada de decisão diante de um cenário de conflitualidade quanto ao uso desses recursos. Este software é uma ferramenta para o desenvolvimento do mapeamento cognitivo, através do qual serão agrupados os conceitos unindo causas e efeitos representativos por meio de visualização codificada dos mesmos. A identificação e qualificação dos conflitos decorrentes dos usos múltiplos da água foram realizadas a partir de entrevistas com especialistas na área de gestão e saneamento, sendo posteriormente gerados os mapas cognitivos possibilitando assim a descrição do sistema escolhido e a identificação das possíveis soluções mediadoras para os conflitos ali identificados. O resultado obtido a partir das entrevistas foi agregado em um único mapa com o intuito de comprovar a hipótese formulada na pesquisa, por meio das ferramentas de análise, ou seja, auxiliar na identificação dos conflitos pelo uso múltiplo da água, a partir das medidas estruturais e não estruturais existentes (ou propostas), a fim de proporcionar ao gestor a tomador de decisão de forma mais eficaz na solução desses conflitos. Neste caso, poderíamos dizer que este grupo de construtos ilustra as principais medidas a serem observadas pelo tomador de decisão, a fim de solucionar os conflitos pelo uso múltiplo na bacia do Tucunduba, evidenciados pelos facilitadores através das entrevistas e mapas cognitivos individuais. As conclusões e recomendações estão contidas no capítulo final são obtidas não somente através dos resultados extraídos do software empregado, mas principalmente por maio da intervenção e interpretação dos dados pelo pesquisador, que obtém a partir dessas análises o entendimento do funcionamento do sistema, a identificação dos conflitos potenciais, suas causas e efeitos, assim como as medidas mitigadoras a serem sugeridas ao tomador de decisão. Estão incluídas neste capítulo sugestões visando o aprimoramento do modelo criado.

Um método para classificação de imagens de satélite usando Transformada Cosseno Discreta com detecção e remoção de nuvens e sombras

Apresenta-se nesta dissertação a proposta de um algoritmo supervisionado de classificação de imagens de sensoreamento remoto, composto de três etapas: remoção ou suavização de nuvens, segmentação e classificação.O método de remoção de nuvens usa filtragem homomórfica para tratar as obstruções causadas pela presença de nuvens suaves e o método Inpainting para remover ou suavizar a preseça de sombras e nuvens densas. Para as etapas de segmentação e classificação é proposto um método baseado na energia AC dos coeficientes da Transformada Cosseno Discreta (DCT). O modo de classificação adotado é do tipo supervisionado. Para avaliar o algioritmo foi usado um banco de 14 imagens captadas por vários sensores, das quais 12 possuem algum tipo de obstrução. Para avaliar a etapa de remoção ou suavização de nuvens e sombras são usados a razão sinal-ruído de pico (PSNR) e o coeficiente Kappa. Nessa fase, vários filtros passa-altas foram comparados para a escolha do mais eficiente. A segmentação das imagens é avaliada pelo método da coincidência entre bordas (EBC) e a classificação é avaliada pela medida da entropia relativa e do erro médio quadrático (MSE). Tão importante quanto as métricas, as imagens resultantes são apresentadas de forma a permitir a avaliação subjetiva por comparação visual. Os resultados mostram a eficiência do algoritmo proposto, principalmente quando comparado ao software Spring, distribuído pelo Instituto Nacional de Pesquisas Espaciais (INPE).