A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to...A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.展开更多
The kinetic model of the four-post-frame lifting mechanical system was established. The stiffness and damping matrices of differential equations of motion were obtained by using Lagrange’s equations. And the dynamic ...The kinetic model of the four-post-frame lifting mechanical system was established. The stiffness and damping matrices of differential equations of motion were obtained by using Lagrange’s equations. And the dynamic characteristics of system were analyzed by modal analysis method. Based upon this, the modifications of structural parameters which can improve dynamic performance were discussed. The low-level high-speed palletizer MDJ1200L was taken as a real case in the paper.展开更多
Weighted priority queueing is a modification of priority queueing that eliminates the possibility of blocking lower priority traffic. The weights assigned to priority classes determine the fractions of the bandwith th...Weighted priority queueing is a modification of priority queueing that eliminates the possibility of blocking lower priority traffic. The weights assigned to priority classes determine the fractions of the bandwith that are guaranteed for individual traffic classes, similarly as in weighted fair queueing. The paper describes a timed Petri net model of weighted priority queueing and uses discrete-event simulation of this model to obtain performance characteristics of simple queueing systems. The model is also used to analyze the effects of finite queue capacity on the performance of queueing systems.展开更多
Considering that there are some limitations in analyzing the anti-sliding seismic stability of dam-foundation systems with the traditional pseudo-static method and response spectrum method, the dynamic strength reduct...Considering that there are some limitations in analyzing the anti-sliding seismic stability of dam-foundation systems with the traditional pseudo-static method and response spectrum method, the dynamic strength reduction method was used to study the deep anti-sliding stability of a high gravity dam with a complex dam foundation in response to strong earthquake-induced ground action. Based on static anti-sliding stability analysis of the dam foundation undertaken by decreasing the shear strength parameters of the rock mass in equal proportion, the seismic time history analysis was carried out. The proposed instability criterion for the dynamic strength reduction method was that the peak values of dynamic displacements and plastic strain energy change suddenly with the increase of the strength reduction factor. The elasto-plastic behavior of the dam foundation was idealized using the Drucker-Prager yield criterion based on the associated flow rule assumption. The result of elasto-plastic time history analysis of an overflow dam monolith based on the dynamic strength reduction method was compared with that of the dynamic linear elastic analysis, and the reliability of elasto-plastic time history analysis was confirmed. The results also show that the safety factors of the dam-foundation system in the static and dynamic cases are 3.25 and 3.0, respectively, and that the F2 fault has a significant influence on the anti-sliding stability of the high gravity dam. It is also concluded that the proposed instability criterion for the dynamic strength reduction method is feasible.展开更多
In the present study, finite element dynamic analysis or time history analysis of two-span beams subjected to asynchronous multi-support motions is carried out by using the moving support finite element. The elemental...In the present study, finite element dynamic analysis or time history analysis of two-span beams subjected to asynchronous multi-support motions is carried out by using the moving support finite element. The elemental equation of the element is based on total displacements and is derived under the concept of the quasi-static displacement decomposition. The use of moving support element shows that the element is very simple and convenient to represent continuous beam moving, deforming and vibrating simultaneously due to support motions. The comparison between the numerical results and analytical solutions indicates that the FE result agrees with the analytical solution.展开更多
文摘A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.
文摘The kinetic model of the four-post-frame lifting mechanical system was established. The stiffness and damping matrices of differential equations of motion were obtained by using Lagrange’s equations. And the dynamic characteristics of system were analyzed by modal analysis method. Based upon this, the modifications of structural parameters which can improve dynamic performance were discussed. The low-level high-speed palletizer MDJ1200L was taken as a real case in the paper.
文摘Weighted priority queueing is a modification of priority queueing that eliminates the possibility of blocking lower priority traffic. The weights assigned to priority classes determine the fractions of the bandwith that are guaranteed for individual traffic classes, similarly as in weighted fair queueing. The paper describes a timed Petri net model of weighted priority queueing and uses discrete-event simulation of this model to obtain performance characteristics of simple queueing systems. The model is also used to analyze the effects of finite queue capacity on the performance of queueing systems.
基金supported by the National Basic Research Program of China (973 Program,Grant No.2007CB714104)the National Natural Science Foundation of China (Grant No. 50779011)the Innovative Project for Graduate Students of Jiangsu Province (Grant No. CX09B_155Z)
文摘Considering that there are some limitations in analyzing the anti-sliding seismic stability of dam-foundation systems with the traditional pseudo-static method and response spectrum method, the dynamic strength reduction method was used to study the deep anti-sliding stability of a high gravity dam with a complex dam foundation in response to strong earthquake-induced ground action. Based on static anti-sliding stability analysis of the dam foundation undertaken by decreasing the shear strength parameters of the rock mass in equal proportion, the seismic time history analysis was carried out. The proposed instability criterion for the dynamic strength reduction method was that the peak values of dynamic displacements and plastic strain energy change suddenly with the increase of the strength reduction factor. The elasto-plastic behavior of the dam foundation was idealized using the Drucker-Prager yield criterion based on the associated flow rule assumption. The result of elasto-plastic time history analysis of an overflow dam monolith based on the dynamic strength reduction method was compared with that of the dynamic linear elastic analysis, and the reliability of elasto-plastic time history analysis was confirmed. The results also show that the safety factors of the dam-foundation system in the static and dynamic cases are 3.25 and 3.0, respectively, and that the F2 fault has a significant influence on the anti-sliding stability of the high gravity dam. It is also concluded that the proposed instability criterion for the dynamic strength reduction method is feasible.
文摘In the present study, finite element dynamic analysis or time history analysis of two-span beams subjected to asynchronous multi-support motions is carried out by using the moving support finite element. The elemental equation of the element is based on total displacements and is derived under the concept of the quasi-static displacement decomposition. The use of moving support element shows that the element is very simple and convenient to represent continuous beam moving, deforming and vibrating simultaneously due to support motions. The comparison between the numerical results and analytical solutions indicates that the FE result agrees with the analytical solution.