Solid-liquid phase change processes have two important features: the process is an approximately isothermal process and the heat of fusion of phase change mater
This paper presents a new level of description between behavioral and state descriptions of a finite-state machine (FSM). The description is termed behavioral p
A new tagging method is presented to build a Chinese semantic corpus. The method characterizes the sentence meaning as a linear sequence of dependency relations
Timing constraint Petri nets (TCPNs) can be used to model a real-time system specification and to verify the timing behavior of the system. This paper describes