Fsm
Mostrando 25-36 de 51 artigos, teses e dissertações.
-
25. Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto / Generating test suites for reactive and real-time systems, with context transformations
O objetivo deste trabalho é prover métodos eficientes de geração de casos de teste para sistemas reativos críticos. Sistemas dessa natureza compreendem sistemas de tempo real e com transformações de contexto. Uma das técnicas mais usadas na geração de conjuntos de teste tem sido a abordagem baseada em modelos formais. Neste caso, os formalismos for
Publicado em: 2009
-
26. An approach to incompletely specified finite state machine minimization / Uma estratégia para a minimização de máquinas de estados finitos parciais
Finite State Machines are largely used on Software Engineering to model systems specifications. In these models, designers may inadvertently include redundant states, i.e., states which exhibit the same input/output behavior. The absence of such states brings benefits to the modeling activities, reducing the complexity and taking less physical resources on i
Publicado em: 2009
-
27. Localization and partial characterization of thermostable glucoamylase produced by newly isolated Thermomyces lanuginosus TO3 in submerged fermentation
O fungo termofílico Thermomyces lanuginosus TO3 foi isolado a partir de amostras de material de pilhas de compostagem, com base em sua capacidade de crescer em meio líquido contendo amido como única fonte de carbono, a 45 ºC, e produzir considerável quantidade de glucoamilase. A produção da enzima por fermentação submersa FSm foi alta, com um máxim
Brazilian Archives of Biology and Technology. Publicado em: 2008-08
-
28. Efeitos antidiabÃtico, antioxidante, analgÃsico e antiinflamatÃrio da fraÃÃo solÃvel em metanol e tiramina isolados de Cissus Verticillata / Effect antidiabetic, antioxidant, antiinflammatory, analgesic of the methanol soluble fraction and tiramine isolated from Cissus verticillata
IntroduÃÃo: A Cissus verticillata à uma planta, utilizada popularmente como antidiabÃtica e antiinflamatÃria, Objetivos: Investigar as atividades antidiabÃtica, analgÃsica, antiinflamatÃria e antioxidante da FraÃÃo SolÃvel em Metanol (FSM), FraÃÃo Rica em Tiramina (FRT) e tiramina (TIR) isolados de Cissus verticillata. Material e MÃtodos: Ratos
Publicado em: 2008
-
29. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste
- The objective of tests in software is to detect faults before it can be released. Methods exist to generate test cases as long as the software behavior is represented as a Finite State Machine (FSM), for example: T, UIO, D e Switch Cover. Due to some limitations in FSM, it is necessary to investigate specification techniques that enable explicit representa
Publicado em: 2008
-
30. Entre o local e o global : a rede do Forum Social Mundial / Between local and global : World Social Forum´s network
Observando o Fórum Social Mundial (FSM) como um sujeito político que se utiliza da lógica das redes sociais para se organizar, a presente pesquisa procurou analisar sua rede lançando mão das ferramentas de Análise de Redes Sociais, de modo a melhor perceber os entraves à relação entre o local e o global intrínseco ao FSM, procurando respostas sobre
Publicado em: 2008
-
31. Utilização de Pochonia chlamydosporia e farinha de sementes de mamão para o controle de Meloidogyne javanica / Use of Pochonia chlamydosporia and papaw seeds flour for the control of Meloidogyne javanica
Besides increasing production fees, the indiscriminate used of nematicidal chemicals may threaten farmers and consumers health, as well as contaminate the environment. Consequently, alternative methods for management of nematodes are preferred, such as the use of nematophagous fungi allied to organic matter incorporation to the soil. The objectives of this w
Publicado em: 2008
-
32. Estigma social: um estudo sobre portadores de Hanseníase do Município de Cajazeiras-PB / Stigma: a study of leprosy patients in the city of Cajazeiras - PB
Antes da descoberta da Poliquimioterapia PQT, o tratamento adotado pra combater a hanseníase era o modelo isolacionista. Durante muito tempo famílias foram separadas e pessoas retiradas do seu convívio social, colocadas em leprosários ou colônias longe das cidades. Esse modelo de tratamento ajudou o desenvolvimento do estigma social relacionado à doen�
Publicado em: 2008
-
33. ProduÃÃo de enzimas fÃngicas por fermentaÃÃo em estado sÃlido das sojas orgÃnica, transgÃnica e convencional / Production of fungal enzymes by solid state fermentation of organic, transgenic and conventional soybeans
Dado o potencial regional do Oeste do Paranà para a produÃÃo de soja convencional, assim como a expansÃo das sojas orgÃnica e transgÃnica e tambÃm a ampla disponibilidade de componentes bioquÃmicos como proteÃnas, polissacarÃdeos, lipÃdios, carboidratos, minerais, vitaminas, fibras, lecitina, dentre outros, presentes no grÃo, torna-se interessant
Publicado em: 2008
-
34. Análise comparativa da assembléia de aves em dois remanescentes florestais no interior do Estado de São Paulo, Brasil
Realizou-se o levantamento quantitativo e qualitativo da comunidade de aves de dois fragmentos de floresta estacional semidecídua no interior do estado de São Paulo de julho de 2004 a julho de 2005. Para o estudo quantitativo utilizou-se da metodologia de Pontos de Escuta. Foram analisados os índices de diversidade e de freqüência de ocorrência dessa c
Revista Brasileira de Zoologia. Publicado em: 2007-06
-
35. Fórum Social Mundial : um espetáculo da sociedade e outro da mídia
Esta dissertação aborda o Fórum Social Mundial (FSM) como um fenômeno de comunicação que produz para a sociedade duas representações de um mesmo acontecimento: uma da própria sociedade civil organizada, outra da mídia de massa. A primeira foi construída através da união de forças dos movimentos sociais, que utilizando a Internet formaram uma re
Publicado em: 2007
-
36. Análise numérica do comportamento estrutural e da resistência de terças de aço restringidas pelas telhas / Numerical analysis of cold-formed purlin-sheeting systems focused on the structural behavior and strength
The structural behavior of purlin-sheeting system is complex and the complete analysis should consider the physical and geometrical nonlinearity, as well as the influence of the purlin-sheeting contact and connection. The brazilian code NBR 14762:2001 provides a design procedure to consider the interaction between a purlin or girt connected to the sheeting (
Publicado em: 2007