Stage evaluation of a state machine

申请公布号：US8214783(B2)

申请号：US201113106951

申请日期：2011.05.13

申请公布日期：2012.07.03

申请人：

RAGHAVAN VIJAY;MESTCHIAN EBRAHIM MEHRAN;THE MATHWORKS, INC.

发明人：RAGHAVAN VIJAY;MESTCHIAN EBRAHIM MEHRAN

分类号：G06F17/50;G06F9/455;G06F11/22

主分类号：G06F17/50

摘要：The present invention provides a method and system for stage evaluation of a state machine model. Two types of transitions are used: first-stage transitions and second-stage transitions for a two-stage evaluation. In one embodiment, top-down processing and bottom-up processing may be combined using a two-stage evaluation. First-stage transitions are used with top-down processing while second-stage transitions are used with bottom-up processing. Certain conditions are used to determine if a switch from one type of stage processing to another type of stage processing is needed.

Flange seal system with serrated middle ring - has sealing rings with thicker cross section middle parts

Appts. for wet treatment, esp. scouring, of textile goods - in which fabric passes upwardly through rollers against flow of treatment liquor

Rocket with pay load parachute and ejector - has retarder for pay load causing parachute to separate before opening

Foam producing nozzle for cosmetic products - giving uniform bubbles with varying air pressure having insert inside circular housing with grooves to distribute air

Decontamination of nuclear plant components in vacuum chamber - using deionised water sprayed at high pressure and pref. using continuous extraction system

Solar collector heat pipe - prepd. by evacuating, filling, operating and releasing impurities from condensation zone

Combined washing and drying assembly - has washing drum arranged vertically above drying drum with drums interlocked and provided with doors for transferring washing

Horizontal metal band saw - has electronic control to provide automatic advance, overload protection and machine loading

aq. alkaline detergent soln, contg. active chlorine, esp. hypochlorite - is used for cleaning photographic washing baths

Portable instrument for resistance to earth measurement - has voltage divider whose output voltage is rectified and compared with voltage derived from network

Mobile leaf and rubbish suction cleaner - has section in discharge pipe shredding leaves and diverting heavy waste

Bulk material loading machine for ships - has support for conveyor belt flaps formed by further belt

Multiple conveyor haulage belt - has components hinging together and connected by double chains

Plain thrust bearing with double tilting pads - uses enclosing chain for in situ handling of pads

Liquid storage system - with lighter liquid equalised in level with surrounding denser liquid

Long distance ski - with profiled running surface including tiers of holding grooves extending at right angles to running surface

Glass-free, flat, solar collector - is box-shaped with coated corrugated metal sheet on one side, and concrete, plastics-filled insulation on the other

Scarcely flammable thermoplastic bituminous melt compsn. - with wide plastic temp. range, is useful as hot melt adhesive and sealant (NL 18.6.79)

Bottle guarantee seal with perforation - comprises screw cap and ring with recesses for ramps on bottle neck

Rotating machine balance and phase parameters measurement - involves use of oscillator and computer with clocked intermediate input store