KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

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

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

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.

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.

Rendimentos dos cortes e não-componentes das carcaças de cordeiros terminados com dietas contendo diferentes fontes de óleo vegetal

Objetivou-se avaliar os rendimentos dos cortes e dos não-componentes das carcaças de cordeiros Santa Inês puros e ½ Dorset ½ Santa Inês, alimentados com dietas contendo diferentes fontes de óleo vegetal (óleo de soja, óleo de canola e óleo de linhaça) e uma dieta controle (sem adição de óleo vegetal). Após o abate, foram coletados sangue, pele, aparelho gastrintestinal cheio (esôfago + estômagos + intestinos delgado e grosso com seus conteúdos), aparelho gastrintestinal vazio (esôfago + estômagos + intestinos delgado e grosso, previamente esvaziados e limpos), aparelho reprodutor + bexiga, baço, fígado, coração, aparelho respiratório, rins com gordura perirrenal, cabeça, patas e cauda, que foram pesados para determinação do rendimento em relação ao peso vivo ao abate. Após resfriamento por 24 horas em câmara fria, pesou-se a carcaça e, posteriormente, dividiu-se longitudinalmente, sendo a metade esquerda seccionada em sete regiões anatômicas: perna, lombo, paleta, costelas flutuantes, costelas verdadeiras, baixos e pescoço. O estudo dos não-componentes da carcaça destacou a representabilidade dos pesos da pele (8,74%) e do conteúdo gastrintestinal (10,65%) na determinação do rendimento. As porcentagens dos cortes não apresentaram diferenças (p>0,05) em relação às dietas e grupos genéticos estudados.