A transition diagram is used to describe the behavior of systems. Birth-death equations were derived from transition diagram depicting the state of the birth-death processes. Queue models and characteristics of queue ...A transition diagram is used to describe the behavior of systems. Birth-death equations were derived from transition diagram depicting the state of the birth-death processes. Queue models and characteristics of queue models are also derivable from birth-death processes. These queue models consist of mathematical formulas and relationships that can be used to determine the operating characteristics （performance measures） for a waiting line. Schematic and transition diagrams of different single server queue models were shown. Relationships between birth-death processes, waiting lines （queues） and transition diagrams were given. While M/M/I/K queue model states was limited by K customers and had （K＋I） states, M/M/1/1 queue model had only two states. M/G/1/∝/∝ and M/M/1/∝/∝ shared similar characteristics. Many ideal queuing situations employ M/M/1 queueing model.展开更多
This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no unive...This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no universal criterion for deriving behavior from component to construct the model. UML is a widely used modeling standard, yet it is very difficult to apply it to system verification and testing directly for its imprecise semantics. After analyzing the expression ability of the two models, several transforma- tion rules are defined and each step of transformation is described in detail, after that, the approach is illustrated with an example. The paper provides a method for acquiring interface automata and lays the foundation for related research.展开更多
The paper deals with impulse switching function which are used as exciting functions of one- and multidimensional state-space models of power electronic converters. Obviously, these functions are harmonic but using po...The paper deals with impulse switching function which are used as exciting functions of one- and multidimensional state-space models of power electronic converters. Obviously, these functions are harmonic but using power converters they can be strongly non-harmonic, sometimes piecewise constants with zero spaces between them. Then, one deals with power series of time pulses. The impulse switching functions which are orthogonal ones can be derived from these series. The new impulse switching functions are created using Z-transform, inverse Z-transform and numerical series/sequences. The impulse switching functions created this way can be used for both steady- and transient state investigation of converters.展开更多
文摘A transition diagram is used to describe the behavior of systems. Birth-death equations were derived from transition diagram depicting the state of the birth-death processes. Queue models and characteristics of queue models are also derivable from birth-death processes. These queue models consist of mathematical formulas and relationships that can be used to determine the operating characteristics （performance measures） for a waiting line. Schematic and transition diagrams of different single server queue models were shown. Relationships between birth-death processes, waiting lines （queues） and transition diagrams were given. While M/M/I/K queue model states was limited by K customers and had （K＋I） states, M/M/1/1 queue model had only two states. M/G/1/∝/∝ and M/M/1/∝/∝ shared similar characteristics. Many ideal queuing situations employ M/M/1 queueing model.
文摘This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no universal criterion for deriving behavior from component to construct the model. UML is a widely used modeling standard, yet it is very difficult to apply it to system verification and testing directly for its imprecise semantics. After analyzing the expression ability of the two models, several transforma- tion rules are defined and each step of transformation is described in detail, after that, the approach is illustrated with an example. The paper provides a method for acquiring interface automata and lays the foundation for related research.
文摘The paper deals with impulse switching function which are used as exciting functions of one- and multidimensional state-space models of power electronic converters. Obviously, these functions are harmonic but using power converters they can be strongly non-harmonic, sometimes piecewise constants with zero spaces between them. Then, one deals with power series of time pulses. The impulse switching functions which are orthogonal ones can be derived from these series. The new impulse switching functions are created using Z-transform, inverse Z-transform and numerical series/sequences. The impulse switching functions created this way can be used for both steady- and transient state investigation of converters.
