Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

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

Interação gestual em ambiente residencial: estudo, concepção e desenvolvimento

Control and automation of residential environments domotics is emerging area of computing application. The development of computational systems for domotics is complex, due to the diversity of potential users, and because it is immerse in a context of emotional relationships and familiar construction. Currently, the focus of the development of this kind of system is directed, mainly, to physical and technological aspects. Due to the fact, gestural interaction in the present research is investigated under the view of Human-Computer Interaction (HCI). First, we approach the subject through the construction of a conceptual framework for discussion of challenges from the area, integrated to the dimensions: people, interaction mode and domotics. A further analysis of the domain is accomplished using the theoretical-methodological referential of Organizational Semiotics. After, we define recommendations to the diversity that base/inspire the inclusive design, guided by physical, perceptual and cognitive abilities, which aim to better represent the concerned diversity. Although developers have the support of gestural recognition technologies that help a faster development, these professionals face another difficulty by not restricting the gestural commands of the application to the standard gestures provided by development frameworks. Therefore, an abstraction of the gestural interaction was idealized through a formalization, described syntactically by construction blocks that originates a grammar of the gestural interaction and, semantically, approached under the view of the residential system. So, we define a set of metrics grounded in the recommendations that are described with information from the preestablished grammar, and still, we conceive and implement in Java, under the foundation of this grammar, a residential system based on gestural interaction for usage with Microsoft Kinect. Lastly, we accomplish an experiment with potential end users of the system, aiming to better analyze the research results

Estudo geofísico de vazamento controlado de álcool combustível em escala laboratorial

O etanol é utilizado de forma extensiva como combustível para veículos automotores no Brasil, devido tanto a características como ao clima favorável ao cultivo de cana-de-açúcar em uma cadeia produtiva bastante desenvolvida quanto à eficiência energética e ao teor quase inexistente de poluentes emitidos emsua combustão. A ampla rede de distribuição para atendimento ao consumidor final representa um risco constante de vazamentos e contaminação de rios, solo e água subterrânea. Este trabalho discute os resultados do monitoramento geofísico num experimento em escala de laboratório, resultante do vazamento controlado de etanol em sedimentos parcialmente saturados em água. A extensa aplicação de métodos elétricos em estudos ambientais e alterações significativas em termos de resistividade elétrica, provocada no ambiente geológico pela presença de compostos exógenos, justifica a seleção do método. Houve um aumento dos valores no início do experimento até o máximo em torno de 52h, seguido por queda acentuada até 342h e sucedido por crescimento lento e constante dos valores até 2.742h, quando comparados a valores prévios sem adição de etanol. Os dados sugerem uma relação temporal entre variações de resistividade elétrica e o comportamento geoquímico do etanolno ambiente geológico.

Perfil nutricional e cardiovascular de ratos normotensos e hipertensos sob dieta hiperlipídica

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

Balanço energético em galpão de frangos de corte

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

Simulation of the energy performance of maize production integrated to pig farming

Foi avaliado o desempenho energético da suinocultura integrada à produção de milho em grão em sistema de plantio direto mecanizado. Nesta concepção de integração proposta, os dejetos suínos são utilizados como fertilizantes na produção de milho. O sistema foi delimitado envolvendo as atividades associadas ao manejo dos suínos e de produção do milho (manejo do solo, cultivo e colheita). O período de análise considerado foi de um ano, o que possibilita a produção de três lotes de suínos e duas safras de milho. Para avaliar o desempenho energético, foram criados três indicadores: eficiência energética, eficiência de uso de fontes não renováveis e o custo de energia não renovável para a produção de proteína. As entradas energéticas são compostas pelos insumos e pela infraestrutura, utilizados na criação dos suínos e na produção de milho, e pela radiação solar incidente no agrossistema. Já as saídas são representadas pelos seus produtos (suínos terminados e o milho). Os resultados obtidos nas simulações apontam que a integração melhora o desempenho energético das granjas suinícolas, aumentando a eficiência energética (186%) e a eficiência não renovável (352%), além de reduzir o custo de energia não renovável para a produção de proteína (‑58%).

Balanço energético na produção de feno de alfafa em sistema intensivo de produção de leite

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

Avaliação da silagem de diferentes híbridos de milho (Zea mays, L.) por meio do desempenho de bezerros confinados em fase de crescimento

Objetivou-se avaliar, por meio do desempenho animal, silagens de três híbridos de milho (Zea mays, L.): Agroceres AG-5011, Braskalb XL-344 e Cargill C-806. Foram utilizados 27 machos, não-castrados, mestiços Nelore x Charolês, com idade média de 10 meses e peso médio inicial de 252 kg, confinados durante 84 dias, subdivididos em quatro períodos de 21 dias. As silagens dos híbridos testados corresponderam a 70% da matéria seca ofertada. Não houve interação do híbrido de milho testado com o período de avaliação em confinamento, para os parâmetros estudados. A dieta que incluiu a silagem do híbrido AG-5011 resultou em maior consumo voluntário médio diário de matéria seca, expresso por 100 kg de peso vivo e tamanho metabólico, e maior consumo médio diário de fibra em detergente ácido, expresso nas diferentes formas, em relação aos híbridos XL-344 e C-806, que, por sua vez, foram semelhantes entre si. As dietas que incluíram silagens dos híbridos AG-5011, XL-344 e C-806 apresentaram semelhanças quanto ao consumo voluntário de matéria seca, expresso em kg/animal/dia (6,73; 6,05; e 6,19), consumo médio diário de FDN, em kg/dia (3,054; 2,837; e 2,836), e energia digestível, expressa nas diferentes formas, ganho de peso médio diário, em kg/dia (1,283; 1,219; e 1,249), ganho em estado corporal, conversão alimentar (5,26; 4,98; e 4,97) e eficiência energética (14,02; 13,68; e 13,21). Os três híbridos são indicados como materiais genéticos de muito boa qualidade para produção de silagem, promovendo ganhos de peso diário superior a 1,2 kg/animal/dia, quando utilizados em dietas com relação volumoso:concentrado de 70:30.

Residual feed intake and relationships with performance of Nellore cattle selected for post weaning weight

Objetivou-se com este trabalho avaliar desempenho, parâmetros de eficiência e correlações fenotípicas entre medidas de eficiência energética de animais Nelore selecionados para peso pós-desmame e classificados quanto ao consumo alimentar residual, calculado pela diferença entre o consumo observado e o predito, com base no peso vivo médio metabólico e no ganho médio diário. Assim, os animais foram classificados em três grupos: alto (> média + 0,5 desvio-padrão; menos eficientes); médio (± 0,5 desvio-padrão da média); e baixo (< média - 0,5 desvio padrão; mais eficientes) consumo alimentar residual. Não foram observadas diferenças nos pesos vivos inicial e final, no ganho médio diário e no consumo de matéria seca entre os grupos. Animais com baixo consumo alimentar residual mostraram-se também com melhor eficiência alimentar, conversão alimentar e eficiência parcial de crescimento e não apresentaram diferenças em relação aos outros grupos quanto à taxa de crescimento relativo e taxa Kleiber. O consumo alimentar residual apresentou correlação significativa com eficiência alimentar (_0,25), conversão alimentar (0,25), eficiência parcial de crescimento (_0,37) e consumo de MS (0,16) e não apresentou correlação significativa com peso vivo (0,04), ganho médio diário (_0,02), taxa de crescimento relativo (_0,03) e taxa de Kleiber (_0,05). Foram encontradas correlações significativas entre conversão alimentar e peso vivo inicial (0,34) e ganho médio diário (_0,46). Eficiência parcial de crescimento apresentou correlação significativa comtodos os outros parâmetros de eficiência analisados. O consumo alimentar residual, em comparação às demais medidas de eficiência energética, apresenta grande potencial na eficiência produtiva, sendo independente de crescimento e tamanho dos animais.

Monitoramento de hosts em redes tcp/ip sobre base georreferenciada com métricas de qualidade

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

Retificador boost entrelaçado com elevado fator de potência e sem ponte de diodos

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

Controlador de demanda e fator de potência de baixo custo para unidades consumidoras de energia elétrica

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

Temas sociocientíficos: análise dos processos argumentativos no contexto escolar

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

Caracterização do consumo alimentar residual e relações com desempenho e características de carcaça de bovinos nelore

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