BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Um modelo de interconexão de componentes para ambientes mulitmídia distribuídos

Multimedia systems must incorporate middleware concepts in order to abstract hardware and operational systems issues. Applications in those systems may be executed in different kinds of platforms, and their components need to communicate with each other. In this context, it is needed the definition of specific communication mechanisms for the transmission of information flow. This work presents a interconnection component model for distributed multimedia environments, and its implementation details. The model offers specific communication mechanisms for transmission of information flow between software components considering the Cosmos framework requirements in order to support component dynamic reconfiguration

Comitês de Classificadores para o Reconhecimento Multibiométrico em Dados Biométricos Revogáveis

This work discusses the application of techniques of ensembles in multimodal recognition systems development in revocable biometrics. Biometric systems are the future identification techniques and user access control and a proof of this is the constant increases of such systems in current society. However, there is still much advancement to be developed, mainly with regard to the accuracy, security and processing time of such systems. In the search for developing more efficient techniques, the multimodal systems and the use of revocable biometrics are promising, and can model many of the problems involved in traditional biometric recognition. A multimodal system is characterized by combining different techniques of biometric security and overcome many limitations, how: failures in the extraction or processing the dataset. Among the various possibilities to develop a multimodal system, the use of ensembles is a subject quite promising, motivated by performance and flexibility that they are demonstrating over the years, in its many applications. Givin emphasis in relation to safety, one of the biggest problems found is that the biometrics is permanently related with the user and the fact of cannot be changed if compromised. However, this problem has been solved by techniques known as revocable biometrics, which consists of applying a transformation on the biometric data in order to protect the unique characteristics, making its cancellation and replacement. In order to contribute to this important subject, this work compares the performance of individual classifiers methods, as well as the set of classifiers, in the context of the original data and the biometric space transformed by different functions. Another factor to be highlighted is the use of Genetic Algorithms (GA) in different parts of the systems, seeking to further maximize their eficiency. One of the motivations of this development is to evaluate the gain that maximized ensembles systems by different GA can bring to the data in the transformed space. Another relevant factor is to generate revocable systems even more eficient by combining two or more functions of transformations, demonstrating that is possible to extract information of a similar standard through applying different transformation functions. With all this, it is clear the importance of revocable biometrics, ensembles and GA in the development of more eficient biometric systems, something that is increasingly important in the present day

Carcaças e componentes não-carcaça de cordeiros terminados em pasto de azevém recebendo suplementação concentrada

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Características de carcaças e dos componentes não-carcaça de bezerros holandeses alimentados após o desaleitamento com silagem de grãos úmidos ou grãos secos de milho ou sorgo

Avaliaram-se as características de carcaças e dos componentes não-carcaça de bezerros alimentados após desaleitamento até o abate com silagem de grãos úmidos ou grãos secos de milho ou sorgo para a produção de vitelos de carne rosa. Trinta bezerros holandeses foram distribuídos em delineamento em blocos casualizados, com cinco blocos e seis tratamentos, e alimentados com seis rações com teores similares de proteína (18,5% PB) e de energia (3,2 Mcal EM/kg de MS), formuladas com: milho seco moído (MM); silagem de grãos úmidos de milho (SGUM); sorgo seco com tanino moído, (SCTM); silagem de grãos úmidos inteiros de sorgo com tanino (SGUISCT); sorgo seco sem tanino moído (SSTM); e silagem de grãos úmidos inteiros de sorgo sem tanino (SGUISST). Os animais foram recriados em piquetes coletivos até atingirem o peso pré-estabelecido para o abate (170 ± 10 kg PV). Não houve efeito da composição das rações concentradas sobre os pesos de carcaça, de cortes e dos componentes não-carcaça nem sobre os rendimentos de carcaça quente e fria, de traseiro e dos outros cortes. Identificou-se efeito das rações concentradas apenas sobre o rendimento de dianteiro, que foi maior nos animais alimentados com SGUISST em comparação àqueles alimentados com MSM e SCTM. Todos os alimentos avaliados podem ser usados em rações concentradas para bezerros após o aleitamento, pois não comprometem as características de carcaça e dos componentes não-carcaça e conferem resultados similares.

Características da carcaça e dos não-componentes da carcaça de ovelhas de descarte abatidas em diferentes estágios fisiológicos

Um experimento foi conduzido no intuito de avaliar ovelhas de descarte abatidas em diferentes estágios fisiológicos e terminadas em confinamento, quanto aos rendimentos de carcaça e seus cortes, assim como os percentuais de cada não-componente da carcaça. Utilizaram-se 21 ovelhas da raça Santa Inês com idade média de 6 anos, distribuídas nos tratamentos: OL = ovelhas mantidas por 60 dias em lactação com seus cordeiros e abatidas um dia após o desmame dos mesmos; OSC = ovelhas mantidas por 60 dias em lactação com seus cordeiros e mais um período de aproximadamente 30 dias sem os cordeiros, no intuito de recuperar o peso corporal perdido na amamentação, e posteriormente abatidas; e ONP = ovelhas mantidas por 60 dias em confinamento e que não pariram durante o ano. As ovelhas que permaneceram por 60 dias em confinamento e que não pariram durante o ano apresentaram maiores rendimentos de carcaça quente 45,00 e fria 44,73% em comparação àquelas mantidas por 60 dias em lactação com seus cordeiros e abatidas um dia após o desmame: 40,80 e 40,66%. Os rendimentos dos cortes da carcaça (perna, lombo, paleta, costelas e pescoço) foram similares entre todas as ovelhas abatidas nos distintos estágios fisiológicos. Os rendimentos dos não-componentes da carcaça, com exceção dos valores do fígado, do sangue, do úbere e da gordura interna, foram similares entre as ovelhas.

Heterogeneidade dos componentes de variância na produção de leite e seus efeitos nas estimativas de herdabilidade e repetibilidade

It was evaluated the heterogeneity of components of phenotypic variance and its effects on the heritability and repeatability estimates for milk yield in Holstein cattle. The herds were grouped according to their level of production (low, medium and high) and evaluated in the non-transformed, square-root and logarithmic scale. Variance components were estimated using a restricted maximum likelihood method based on an animal model that included fixed effects of herd-year-season, and as covariates the linear effect of lactation duration and the linear and quadratic effects of cow's age at calving and the random direct additive genetic, permanent environment and residual effects. In the non-transformed scale all the variance components were heterogeneous. on this scale, residual and phenotypic variance components were associated positively with the level of production while in logarithmic scale that association was negative. Estimates of heritability were more affected than the repeatability for the phenotypic variance heterogeneity and their components. The of selection process efficiency for milk production could be affected by the level of production which was considered for genetic parameters estimation.

NÍVEIS DE MAGNÉSIO em SOLUÇÃO NUTRITIVA E O DESENVOLVIMENTO do FEIJOEIRO (Phaseolus vulgaris L. cv Carioca): AVALIAÇÃO DE PARÂMETROS BIOMÉTRICOS

O presente estudo teve como objetivo avaliar a influência dos níveis de magnésio sobre a altura, número de folhas e frutos e área foliar do feijoeiro (Phaseolus vulgaris L. cv Carioca), que constituem seus parâmetros biométricos. Empregou-se a solução nutritiva nº 2 de Hoagland & Arnon, modificada pela variação da concentração desse mineral, que estabeleceu a diferença entre os tratamentos. em cada vaso, com capacidade para 6 litros, foram cultivadas 3 plantas. O experimento foi inteiramente casualizado, com 3 repetições, em esquema fatorial, com 5 níveis de magnésio e 5 colheitas, realizadas a intervalos de 14 dias. As plantas apresentaram aumento do número de folhas e da área foliar, na 3ª e 4ª colheitas, quando nutridas com 2,4 ppm de magnésio e aumento de altura e número de folhas, na 3ª colheita, naquelas submetidas a 24,3 ppm. Aumento do número de folhas, na 3ª colheita, foi observado em plantas nutridas com 72,9 ppm e na 3ª e 5ª colheitas naquelas submetidas a 97,2 ppm. Estes resultados sugerem que, nas condições do experimento, 2,4 ppm de Mg foram suficientes para manter o desenvolvimento adequado dos feijoeiros e que o nível ideal deste mineral para crescimento e desenvolvimento das plantas estaria entre 2,4 e 24,3 ppm.

Níveis de alumínio e o desenvolvimento de porta-enxertos cítricos em cultivo hidropônico: I. Parâmetros biométricos

O presente trabalho teve como objetivo avaliar a influência de diferentes níveis de alumínio nos parâmetros biométricos dos porta-enxertos cítricos limoeiro Cravo e citrumeleiro Swingle em cultivo hidropônico. O experimento foi instalado em casa de vegetação em Botucatu, SP. Os tratamentos seguiram o delineamento estatístico inteiramente casualizado, com 3 repetições, em parcelas subdivididas. Os níveis de alumínio utilizados foram: 0; 7,5; 15; 22,5 e 30 mg L-1, na forma de AlCl3 6.H2O em solução nutritiva. Foram avaliados os parâmetros biométricos altura, número de folhas, diâmetro do caule, área foliar, comprimento e volume de raízes. de acordo com os resultados obtidos, conclui-se que o citrumeleiro Swingle apresentou-se mais sensível ao alumínio, sendo que, a partir de 7,5 mg L-1 houve redução nos valores destes parâmetros, enquanto que o limoeiro Cravo mostrou-se mais tolerante aos níveis de alumínio.

Componentes de (co)variância e parâmetros genéticos de características de crescimento da raça Simental no Brasil

Informações de genealogia e produção, cedidas pela Associação Brasileira de Criadores da Raça Simental (ABCRS), relativas aos pesos desde o nascimento até um ano de idade, foram utilizadas para estimar, sob modelos alternativos, os componentes de variância e os parâmetros genéticos em animais da raça Simental no Brasil. A matriz de parentesco incluiu 25.812 animais dos quais 7587 com dados de produção. O modelo 1 contém, além do erro, o efeito genético direto. Os modelos seguintes contêm os componentes do modelo 1, mais o efeito permanente de ambiente materno (modelo 2), ou o componente genético materno (modelo 3), ambos os componentes (modelo 5), os componentes do modelo 3 mais a covariância entre os efeitos genéticos direto e materno (modelo 4) e todos os componentes citados (modelo 6). Os modelos foram comparados pelo teste de razão de verossimilhança pelo chi² (P<0,01). Os componentes de variância e os valores de herdabilidades, estimados para os efeitos direto e materno, foram decrescentes, desde o modelo 1 até o modelo 6, na razão direta em que o modelo incorpora mais efeitos aleatórios. Para a fase de aleitamento foi encontrada variância genética nula, entretanto, alto valor para a variância de ambiente permanente. Os efeitos maternos, genético e de ambiente permanente são importantes para a raça Simental no Brasil e devem ser considerados em programas de seleção. Entretanto, os valores mais elevados de herdabilidade materna, encontrados com modelos sem efeito de ambiente permanente, sugerem que o método utilizado não discrimina apropriadamente esses efeitos, oriundos de mesma fonte de variação.

Características de carcaça e de não componentes da carcaça de cordeiros suplementados com sal forrageiro de Gliricidia sepium (Jacq.) Walq

O presente experimento foi conduzido com o objetivo de avaliar a porcentagem de inclusão da espécie forrageira Gliricidia sepium (Jacq.) Walq na confecção do sal forrageiro de gliricídia, por meio de características de carcaça e de não componentes da carcaça de cordeiros. Foram utilizados 30 cordeiros mestiços da raça Santa Inês, não castrados, com aproximadamente 180 dias de idade, peso vivo médio de 25kg, confinados, num delineamento experimental inteiramente ao acaso, com cinco tratamentos e seis repetições, em que os tratamentos foram constituídos de zero (100% de NaCl), 93, 95, 97 e 99% de inclusão de feno de gliricídia (7, 5, 3 e 1% de NaCl na formulação do sal forrageiro, respectivamente). A suplementação com sal forrageiro de gliricídia não afetou (P>0,05) o peso vivo ao abate em jejum (28,39kg), peso de carcaça quente (9,76kg), rendimento de carcaça quente (34,12%), o peso de carcaça fria (9,42kg), o rendimento de carcaça fria (32,95%), as perdas de peso por resfriamento (3,40%), assim como o peso de vísceras brancas (2,19kg) e o peso de vísceras vermelhas (1,29kg). Porcentagem de inclusão de até 99% de gliricídia na confecção de sal forrageiro não altera (P>0,05) as características de carcaça e de não componentes da carcaça de cordeiros.

População de plantas e espaçamento entre linhas do feijoeiro irrigado. II: rendimento de grãos e componentes do rendimento

O objetivo deste experimento foi avaliar o efeito de diferentes populações de plantas e espaçamentos entre linhas de cultivo na produção de massa seca, rendimento de grãos e componentes do rendimento da cultura do feijoeiro irrigado. O experimento foi conduzido no ano agrícola 1997/1998, em área do Departamento de Engenharia Rural da Universidade Federal de Santa Maria (UFSM), RS. A cultivar de feijão preto BR-FEPAGRO 44 - Guapo brilhante, habito de crescimento indeterminado (tipo II), foi submetida a três populações de plantas (175, 250 e 325 mil plantas há-1) e três espaçamentos entre linhas de cultivo (35, 50 e 65cm). Utilizou-se o delineamento experimental inteiramente casualizado, bifatorial, com quatro repetições. Irrigações por aspersão foram aplicadas quando a evapotranspiração máxima da cultura, estimada a partir da evaporação do tanque classe A, indicava um valor acumulado de 25mm. Os resultados demonstraram que as diferentes populações de plantas e espaçamentos entre linhas de cultivo não ocasionaram alterações no rendimento de grãos e massa de mil sementes. No entanto, o número de sementes por vagem e de vagens por planta aumentaram com a redução na população de plantas. Na fase do enchimento de grãos, a redução do espaçamento entre linhas de cultivo aumentou a massa seca da parte aérea das plantas. A cultivar de feijoeiro, BR-FEPAGRO 44 - Guapo brilhante, apresenta elevada plasticidade dos componentes do rendimento, havendo compensação no rendimento de grãos nas menores populações de plantas com aumento da produção por planta.

EXCESSO HÍDRICO SOBRE OS COMPONENTES do RENDIMENTO da CULTURA da SOJA

O cultivo da soja em solos hidromórficos do Estado do Rio Grande do Sul vem sendo utilizado como opção em rotação com arroz e pastagens. O presente trabalho teve como objetivos determinar o comportamento dos componentes do rendimento de quatro cultivares de soja, para as condições dos solos hidromórficos, e verificar as variações de comportamento em função do estádio de desenvolvimento em que ocorre o estresse por excesso hídrico. O experimento foi conduzido em uma estrutura com cobertura plástica, em vasos de PVC, no ano agrícola de 1995/96, no Departamento de Fitotecnia da UFSM, em Santa Maria, RS. O solo utilizado foi um planossolo pertencente à unidade de mapeamento Vacacaí. O delineamento experimental utilizado foi o de blocos ao acaso, fatorial (4 x 5) com três repetições. As cultivares Ocepar 14, FT Saray, IAS 5 e CEP 16 foram submetidas a tratamentos de saturação hídrica do solo por um período de 15 dias a partir dos estádios de desenvolvimento V2 e V6; e por um período de 10 dias a partir dos estádios R2, R3 e R4. Os resultados indicaram que as quatro cultivares de soja utilizadas apresentaram boa tolerância à saturação hídrica no solo e que, em termos de duração desse estresse, a tolerância à saturação hídrica no solo é maior no subperíodo vegetativo do que no subperíodo reprodutivo.