A method to model and analyze the hybrid systems is presented. The time to. be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN' s basic structure is a Petri net with predicated transition. All components of the net are expressed by anno...

The S100 family is a class of calcium-regulated proteins with EF-hand. They are widely distributed and are implicated in diverse intracellular and extracellular physiological processes. A study of the S100 family using computational biology methods such as multiple sequence alignment, structural ali...

Mechanical failure modes leading to cracks or breeches in proton exchange membrane fuel cells are driven by mechanical forces associated with swelling from water uptake and shrinkage from dehumidification. To determine the magnitude of compressive mechanical stress imposed by water swelling in a pro...

Since the simulation underwater acoustic signal is used in the semi-object simulation experiment of underwater weapons, it has great impression upon simulation fidelity. It is asked that whether simulation signals can replace the real signal effectually. Considering the randomness of signals, the in...

Traditional data envelopment analysis (DEA) theory assumes that decision variables are regarded as inputs or outputs, and no variable can play the roles of both an input and an output at the same time. In fact, there exist some variables that work as inputs and outputs simultaneously and are called ...