Provador
Mostrando 1-12 de 26 artigos, teses e dissertações.
-
1. Comparação das metodologias da análise descritiva quantitativa e perfil livre para Análise sensorial de carne bovina maturada.
Este trabalho teve como objetivo comparar os resultados de análise sensorial de carne maturada obtidos pelas metodologias da Análise Descritiva Quantitativa (ADQ) e Perfil Livre. Foram utilizados dez animais, machos castrados, sendo cinco de cada um dos dois grupos genéticos: Angus x Nelore (AN) e Senepol x Nelore (SE). Os animais foram abatidos em estabe
SIMPÓSIO LATINO AMERICANO DE CIÊNCIA DE ALIMENTOS. Publicado em: 2011
-
2. Estudos preliminares para uso da técnica de choque de CO2 em manga 'Tommy Atkins' armazenada sob refrigeração.
Este trabalho teve como objetivo verificar a influência do tratamento com choque de CO2 na qualidade de manga 'Tommy Atkins', colhida no estádio 2 de maturação. Foram testadas três concentrações de CO2: 0% (controle), 15% e 20%, permanecendo os frutos, a exceção do controle, expostos ao gás por 64 horas, em câmaras herméticas. A aplicação do CO
JORNADA DE INICIAÇÃO CIENTÍFICA DA EMBRAPA SEMI-ÁRIDO. Publicado em: 2011
-
3. Análise experimental e avaliação das incertezas em medição de líquidos com referência tipo ball prover
Este estudo se dedica à medição referencial de vazão de líquidos com o propósito de se lidar com as características específicas do funcionamento de um medidor, que tem suma importância nos interesses envolvendo transações comerciais na indústria de petróleo. O processo de medição de vazão envolve diversas variáveis que contribuem para a ince
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/04/2010
-
4. Avaliação sensorial de pudins de chocolate com açúcar e dietéticos por perfil livre
Perfil Livre, uma técnica sensorial descritiva, foi utilizada na caracterização de três amostras de pudins com açúcar e cinco de pudins dietéticos comerciais. Quatorze provadores realizaram o levantamento de atributos pelo método Rede. Foram elaborados para cada provador, as listas de definições de atributos e as fichas de avaliação, empregando e
Ciência e Agrotecnologia. Publicado em: 2010-02
-
5. Desenvolvimento do produto de conveniência Quenelle de tilápia (Oreochromis niloticus) / Product development of convenience quenelle tilapia (Oreochromis niloticus)
Para o desenvolvimento de um novo produto, busca-se atender a necessidade da indústria, do mercado e do consumidor, nos parâmetros qualidade, conveniência e com valor nutritivo que remeta à boa saúde. Com o objetivo de desenvolver o coproduto Quenelle de tilápia iniciou-se a etapa criativa de elaboração e a seguir, estabeleceu-se o processo do estudo
Publicado em: 2010
-
6. Quadrados latinos balanceados para a vizinhança - planejamento e análise de dados sensoriais por meio da ADQ / Latin squares balanced for the neighborhood - planning and analysis of sensory data obtained by the QDA.
As avaliações sensoriais tomam cada vez mais sua posição de importância dentro dos centros produtores e vendedores de alimentos e de outros produtos. Nestes, o objetivo final dos trabalhos realizados nas áreas de desenvolvimento, produção e `marketinge o consumidor, cuja avaliação se baseia, principalmente, na aceitabilidade e custos dos produtos.
Publicado em: 2010
-
7. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
8. Avaliação sensorial de bebidas de goiaba adoçadas com diferentes agentes adoçantes
Devido à crescente procura por bebidas à base de frutas tropicais e à expansão do segmento de produtos com valores calóricos reduzidos, este trabalho objetivou avaliar o grau de doçura, sabor, impressão global e a intenção de compra das bebidas de goiaba adoçadas com diferentes agentes adoçantes através de frequência de notas, teste de médias e
Food Science and Technology. Publicado em: 2009-06
-
9. Sensorial and instrumental profile of wild honeys of bees africanized (Apis mellifera sp.) of the four micro regions of the State of Piauí. / Perfil sensorial e instrumental de méis silvestres de abelhas africanizadas (Apis mellífera sp.) das quatro mesorregiões do Estado do Piauí.
Este trabalho teve como objetivo avaliar através do perfil sensorial/instrumental, amostras de méis produzidos nas quatro mesorregiões do Estado do Piauí, permitindo conhecer as diferenças entre os atributos de qualidade dos mesmos. Os perfis foram desenvolvidos com 55 méis das quatro mesorregiões deste Estado (Norte, Centro-norte, Sudeste e Sudoeste)
Publicado em: 2009
-
10. Component assembly and theorem proving in constraint handling rules
Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada
Publicado em: 2009
-
11. "Um provador de teoremas multi-estratégia" / A Multi-Strategy Tableau Prover
Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teorema
Publicado em: 2007
-
12. Prova automática de satisfatibilidade módulo teoria aplicada ao método B
Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/E
Publicado em: 2007