next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Template Declaration BinaryActuator Up: No Title Previous: Template Declaration RangeActuator

   
Template Declaration Dimmer

INTENTION

This class provides all definitions to describe the dimmer of a dimmable ceiling light group. This class is derived from the description class RangeActuator. The following specific parameters of a dimmer are instantiated:

If a dimmer is set to $p\%$ this means that a ceiling light group emits $p\%$ of its possible maximal light illuminance.

The function modifyReaction has still to be provided by the domain expert.

Postreferences:lsref DimmableCeilingLightGroup : dimmer

BASE CLASSES

Class   RangeActuator(ENV_DOMAIN  =  PERCENT, ADJUSTED_DOMAIN  =  PERCENT)

Intention

: All definitions of description class RangeActuator are inherited using the values 0 to 100 (PERCENT) as the possible values of the phenomenon existing in the real world and using the values 0 to 100 (PERCENT) as the possible values that can be adjusted by the machine.

DOMAIN KNOWLEDGE

Property  D_D1 
Formal : (  noMalAct. reactionTime = 10 )
NL : The reaction time of a dimmer is 10 milliseconds.
Prereferences : akref Table2


next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Template Declaration BinaryActuator Up: No Title Previous: Template Declaration RangeActuator
Forest-System
2000-09-06