نتایج جستجو برای: مدل fsm

تعداد نتایج: 121357  

Journal: :The Journal of nutrition 2002
M Kano F Ishikawa S Matsubara H Kikuchi-Hayakawa Y Shimakawa

In this study we evaluated the effects of soy products on ethanol metabolism during periods of acute and chronic consumption in rats. Gastric ethanol content and blood ethanol and acetaldehyde concentrations were investigated after the oral administration of ethanol (34 mmol/kg) plus soy products such as soymilk (SM) or fermented soymilk (FSM). The gastric ethanol concentration of the FSM group...

2002
Roman Goot Ilya Levin Sergey Ostanin

In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the possible latency for an FSM, while the real latency relates to the certain implementation of the FSM. A method for investigation of latencies for online checking FSMs is described. This technique is based on selection of...

2005
Margus Kruus

It has been well-known that Finite State Machines (FSMs) are difficult to test. The problem of FSM testing can be regarded as an identification problem: to design input sequence (test) capable to distinguish a given (fault-free) FSM from all other (faulty) ones. Testing methods based on checking experiments theory [1,2] are not widely used in practical, because of the high upper bound of checki...

2002
Petros Drineas Yiorgos Makris

We propose a methodology for non-intrusive design of concurrently self-testable FSMs. The proposed method is similar to duplication, wherein a replica of the original FSM acts as a predictor that immediately detects potential faults by comparison to the original FSM. However, instead of duplicating the complete FSM, the proposed method replicates only a minimal portion adequate to detect all po...

Journal: :Journal of diabetes science and technology 2008
Ohad Cohen Sigal Shaklai Ephraim Gabis Michael A Pani

OBJECTIVE We assessed the accuracy of the FreeStyle Mini (FSM) meter for use in glycemic clamp and meal protocols in comparison with the HemoCue Glucose 201 DM Analyzer (HemoCue) and the YSI 2300 STAT Glucose Oxidase Analyzer (YSI). METHODS Seven volunteers with type 2 diabetes mellitus, 35-69 years old, underwent a frequently sampled meal test and a graded hyperglycemic test, on two separate...

2012
Peng Li David J. Lilja Weikang Qian Kia Bazargan Marc Riedel

Stochastic computational elements, which perform computation based on stochastic bit streams, have several advantages compared to deterministic computational elements, such as high fault-tolerance and low hardware cost. Additionally, researchers have shown that a linear Finite State Machine (FSM) can be used to compute some functions stochastically, such as the exponentiation and tanh functions...

Journal: :Annual review of biophysics and biomolecular structure 2006
Gaudenz Danuser Clare M Waterman-Storer

Fluorescent speckle microscopy (FSM) is a technology used to analyze the dynamics of macromolecular assemblies in vivo and in vitro. Speckle formation by random association of fluorophores with a macromolecular structure was originally discovered for microtubules. Since then FSM has been expanded to study other cytoskeleton and cytoskeleton-binding proteins. Specialized software has been develo...

2010
Carlos Monsalve Alain Abran Alain April

Functional size measurement (FSM) is an important component of a software project, as it provides information for estimating the effort required to develop the measured software. For planning purposes, FSM should be performed during the early stages of the project. Considering that a common use of business process models is to gather requirements from the early stages of the project, this raise...

2011
Diane M. Ste-Marie Kelly Vertes Amanda M. Rymal Rose Martini

The purpose of this research was to examine whether children would benefit from a feedforward self-modeling (FSM) video and to explore possible explanatory mechanisms for the potential benefits, using a self-regulation framework. To this end, children were involved in learning two five-skill trampoline routines. For one of the routines, a FSM video was provided during acquisition, whereas only ...

1998
Noppanunt Utamaphethai John Paul Shen

We validate speculative and out-of-order execution microarchitecture using an ATPG-like methodology. The validation methodology uses FSM models derived from microarchitecture speciications. Complete transition tours are generated from the FSM models to obtain a high-level test sequence. Small assembly sequences associated with each FSM transition are used to translate FSM testing sequences into...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید