Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

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.

Organizational modeling with a semantic wiki: formalization of content and automatic diagram generation

A key to maintain Enterprises competitiveness is the ability to describe, standardize, and adapt the way it reacts to certain types of business events, and how it interacts with suppliers, partners, competitors, and customers. In this context the field of organization modeling has emerged with the aim to create models that help to create a state of self-awareness in the organization. This project's context is the use of Semantic Web in the Organizational modeling area. The Semantic Web technology advantages can be used to improve the way of modeling organizations. This was accomplished using a Semantic wiki to model organizations. Our research and implementation had two main purposes: formalization of textual content in semantic wiki pages; and automatic generation of diagrams from organization data stored in the semantic wiki pages.

Draft Genome Sequence of the Nitrogen-Fixing Symbiotic Bacterium Bradyrhizobium elkanii 587

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

Effect of sequence of insemination after simultaneous thawing of multiple semen straws on conception rate to timed AI in suckled multiparous Nelore cows

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

Carbohydrate Composition and Water-Stable Aggregation of an Oxisol as Affected by Crop Sequence under No-Till

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

Distinctively variable sequence-based nuclear DNA markers for multilocus phylogeography of the soybean- and rice-infecting fungal pathogen Rhizoctonia solani AG-1 IA

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

The Genome Sequence of Taurine Cattle: A Window to Ruminant Biology and Evolution

To understand the biology and evolution of ruminants, the cattle genome was sequenced to about sevenfold coverage. The cattle genome contains a minimum of 22,000 genes, with a core set of 14,345 orthologs shared among seven mammalian species of which 1217 are absent or undetected in noneutherian (marsupial or monotreme) genomes. Cattle-specific evolutionary breakpoint regions in chromosomes have a higher density of segmental duplications, enrichment of repetitive elements, and species-specific variations in genes associated with lactation and immune responsiveness. Genes involved in metabolism are generally highly conserved, although five metabolic genes are deleted or extensively diverged from their human orthologs. The cattle genome sequence thus provides a resource for understanding mammalian evolution and accelerating livestock genetic improvement for milk and meat production.

The contribution of 700,000 ORF sequence tags to the definition of the human transcriptome

open reading frame expressed sequences tags (ORESTES) differ from conventional ESTs by providing sequence data from the central protein coding portion of transcripts. We generated a total of 696,745 ORESTES sequences from 24 human tissues and used a subset of the data that correspond to a set of 15,095 full-length mRNAs as a means of assessing the efficiency of the strategy and its potential contribution to the definition of the human transcriptome. We estimate that ORESTES sampled over 80% of all highly and moderately expressed, and between 40% and 50% of rarely expressed, human genes. In our most thoroughly sequenced tissue, the breast, the 130,000 ORESTES generated are derived from transcripts from an estimated 70% of all genes expressed in that tissue, with an equally efficient representation of both highly and poorly expressed genes. In this respect, we find that the capacity of the ORESTES strategy both for gene discovery and shotgun transcript sequence generation significantly exceeds that of conventional ESTs. The distribution of ORESTES is such that many human transcripts are now represented by a scaffold of partial sequences distributed along the length of each gene product. The experimental joining of the scaffold components, by reverse transcription-PCR, represents a direct route to transcript finishing that may represent a useful alternative to full-length cDNA cloning.

Interação estrela planeta: sobre o magnetismo de planetas gigantes gasosos

In this thesis we analyze the effects that the presence of a near gas giant planet can cause in its host star. It has been argued that the star planet interaction can cause changes in the coronal and chromospheric stellar activity. With this in mind, we analyze a sample of 53 extrasolar planets orbiting F, G and K main sequence stars, among them three super-Earths. In this analysis, we look for evidence of changes in the chromospheric activity due to the proximity of the giant planet. We show that, so far, there is not enough evidence to support such a hypothesis. Making use of the same sample and also taking in account available data for the Solar System, we revisit the so-called magnetic Bode s law. This law proposes the existence of a direct relationship between magnetism and rotation. By using estimations for the stellar and planetary magnetic momentM and the angular momentumL, we construct a Blackett s diagram (logL 􀀀logM). In this diagram is evident that the magnetic Bode s law is valid for both the Solar System and the new planetary systems

Aglomerado estelar M67: processos de diluição e a evolução do Momentum Angular

Galactic stellar clusters have a great variety of physical properties that make valuable probes of stellar and galactic chemical evolution. Current studies show a discrepancy between the standard evolutionary models and observations, mainly considering the level of mixing and convective dilution of light elements, as well as to the evolution of the angular momentum. In order to better settle some of these properties, we present a detailed spectroscopic analysis of 28 evolved stars, from the turn-off to the RGB, belonging to the stellar open cluster M67. The observations were performed using UVES+FLAMES at VLT/UT2. We determined stellar parameters and metallicity from LTE analysis of Fe I and Fe II lines between 420 1100 nm. The Li abundance was obtained using the line at 6707.78 ˚A, for the whole sample of stars. The Li abundances of evolved stars of M67 present a gradual decreasing when decreasing the effective temperature. The Li dilution factor for giant stars of M67 with Teff ∼ 4350K is at least 2300 times greater than that predicted by standard theory for single field giant stars. The Li abundance as a function of rotation exhibits a good correlation for evolved stars of M67, with a much smaller dispersion than the field evolved stars. The mass and the age seem to be some of the parameters that influence this connection. We discovered a Li-rich subgiant star in M67 (S1242). It is member of a spectroscopic binary system with a high eccentricity. Its Li abundance is 2.7, the highest Li content ever measured for an evolved star in M67. Two possibilities could explain this anomalous Li content: (i) preservation of the Li at the post turn off stage due to tidal effects, or (ii) an efficient dredge-up of Li, hidden below the convective zone by atomic diffusion occurring in the post turn off stage. We also study the evolution of the angular momentum for the evolved stars in M67. The results are in agreement with previous studies dedicated to evolved stars of this cluster, where stars in the same region of the CM-diagram have quite similar rotations, but with values that indicate an extra breaking along the main sequence. Finally, we analize the distributions of the average rotational velocity and of the average Li abundance as a function of age. With relation to the average Li abundances, stars in clusters and field stars present the same type of exponencial decay law t−β. Such decay is observed for ages lesser than 2 Gyr. From this age, is observed that the average Li abundance remain constant, differently of the one observed in the rotation age connection, where the average rotational velocity decreases slowly with age

Development of a methodology for cost determination of wastewater treatment based on functional diagram

This work describes a methodology developed for determination of costs associated to products generated in a small wastewater treatment station for sanitary wastewater from a university campus. This methodology begins with plant component units identification, relating their fluid and thermodynamics features for each point marked in its process diagram. Following, its functional diagram is developed and its formulation is elaborated, in exergetic base, describing all equations for these points, which are the constraints for exergetic production cost problem and are used in equations to determine the costs associated to products generated in SWTS. This methodology was applied to a hypothetical system based on SWTS former parts and presented consistent results when compared to expected values based on previous exergetic expertise. (C) 2008 Elsevier Ltd. All rights reserved.

Analysis and functional annotation of an expressed sequence tag collection for tropical crop sugarcane

To contribute to our understanding of the genome complexity of sugarcane, we undertook a large-scale expressed sequence tag (EST),program. More than 260,000 cDNA clones were partially sequenced from 26 standard cDNA libraries generated from different sugarcane tissues. After the processing of the sequences, 237,954 high-quality ESTs were identified. These ESTs were assembled into 43,141 putative transcripts. of the assembled sequences, 35.6% presented no matches with existing sequences in public databases. A global analysis of the whole SUCEST data set indicated that 14,409 assembled sequences (33% of the total) contained at least one cDNA clone with a full-length insert. Annotation of the 43,141 assembled sequences associated almost 50% of the putative identified sugarcane genes with protein metabolism, cellular communication/signal transduction, bioenergetics, and stress responses. Inspection of the translated assembled sequences for conserved protein domains revealed 40,821 amino acid sequences with 1415 Pfam domains. Reassembling the consensus sequences of the 43,141 transcripts revealed a 22% redundancy in the first assembling. This indicated that possibly 33,620 unique genes had been identified and indicated that >90% of the sugarcane expressed genes were tagged.