Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satel...Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satellite propulsion system.An extended object-oriented Petri net(EOOPN)method was proposed to facilitate the reliability modelling of satellite propulsion system in the paper.The proposed method was specified for modelling of phased mission system,and it could be implemented by generating combination of Petri net(PN)principles and object-oriented(OO)programming.The effectiveness of the proposed method was demonstrated through the reliability modelling of a satellite propulsion system with EOOPN.The major advantage of the proposed method is that the dimension of net model can be reduced significantly,and phased mission system at system,phase,or component levels can be respectively depicted.Furthermore,the state-space explosion problem is solved by the proposed EOOPN model efficiently.展开更多
Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch ...Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software.展开更多
Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transi...Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.展开更多
The production and energy coupling system is used to mainly present energy flow, material flow, information flow, and their coupling interaction. Through the modeling and simulation of this system, the performance of ...The production and energy coupling system is used to mainly present energy flow, material flow, information flow, and their coupling interaction. Through the modeling and simulation of this system, the performance of energy flow can be analyzed and optimized in the process industry. In order to study this system, the component based hybrid Petri net methodology (CpnHPN) is proposed, synthesizing a number of extended Petri net methods and using the concept of energy place, material place, and information place. Through the interface place in CpnHPN, the component based encapsulation is established, which enables the production and energy coupling system to be built, analyzed, and optimized on the multi-level framework. Considering the block and brief simulation for hybrid system, the CpnHPN model is simulated with Simulink/Stateflow. To illustrate the use of the proposed methodology, the application of CpnHPN in the energy optimization of chlorine balance system is provided.展开更多
Object-oriented world-view provides a natural and powerful paradignl for expressing system elements and their dynamic behaviour for discrete-event simulation. Simulation gives the critical ability to study the dynamic...Object-oriented world-view provides a natural and powerful paradignl for expressing system elements and their dynamic behaviour for discrete-event simulation. Simulation gives the critical ability to study the dynamic behaviour of the models that are defined with object-voriented means. This paper first examines the ways of applying the object-oriented world-view to three major discrete simulation modelling approaches, then considers the process and merits of object-oriented simulation modelling.展开更多
With the continuous progress of manufacturing industry,automatic assembly line has become a very mature production mode in modern factories,and the quality of assembly line design has become an important issue related...With the continuous progress of manufacturing industry,automatic assembly line has become a very mature production mode in modern factories,and the quality of assembly line design has become an important issue related to the development of manufacturing enterprises.In this paper,a graphical model based on Petri Net is established for the first full load time of the assembly line.The accessibility of the P/T system and the production rhythm of the assembly line are calculated by computer simulation.Finally,according to the simulation model,an experimental platform is built to verify the rationality of the model.Experimental results show that the model can accurately express the equipment allocation process of assembly line.展开更多
In order to model effectively hybrid systems,a new modeling method of extended Petri nets,which is called extended object-orient hybrid Petri net （EOHPN）,is proposed.To deal with the complexity of hybrid systems, ob...In order to model effectively hybrid systems,a new modeling method of extended Petri nets,which is called extended object-orient hybrid Petri net （EOHPN）,is proposed.To deal with the complexity of hybrid systems, object-oriented abstraction mechanisms such as encapsulation and classifications are merged into EOHPN models.To combine the continuous part and discrete part of hybrid systems and to reduce the complexity of hybrid systems,a hybrid Petri net is introduced and extended with object-oriented modeling technology.Development of object models is suggested on the basis of the defined EOHPN.Finally, an application-oriented case is presented to illustrate that how the proposed EOHPN is used to model hybrid systems.The resulting model validates that the EOHPNs can deal with the modeling complexity of hybrid systems.展开更多
Object-Oriented Simulation (OOS) has been widely developed in recent. years. However most efforts are made in simulation modeling by using Object-Oriented Programming Languages (OOPLs). We have proposed a world view f...Object-Oriented Simulation (OOS) has been widely developed in recent. years. However most efforts are made in simulation modeling by using Object-Oriented Programming Languages (OOPLs). We have proposed a world view for object-oriented simulation based on system theory, object-oriented paradigm and DEVS formalism. The infrastructure, the simulation mechanism, and the basic modeling framework and control framework of the world view are presented. Simulation structures of traditional world views are also analyzed. Future works and research directions are presented.展开更多
The simulation-based decision support system (SBDSS) is designed to achieve a highlevel of performance, flexibility and adaptability, in response to meet the special needs of productionand logistics management during ...The simulation-based decision support system (SBDSS) is designed to achieve a highlevel of performance, flexibility and adaptability, in response to meet the special needs of productionand logistics management during the economic system reform era in China. It consists two subsys-tems: the object library modeler (OLM) and the simulation engine and its manager (SEM). UsingSBDSS the decision makers can work out their optimal production choice under certain circumstancesthrough scenario simulations. And they can test a set of virtual organizations reflecting systems re-form before a real reorganization has been taken, as well as perform a virtual manufacturing processfor a new product design (Copyright @ 1998 IFAC).展开更多
The consistency of the CIMS multi-view model is a complicated problem which plays an important role inthe CIMS life cycle. Based on the function-oriented multi-view modeling approach, an object-oriented integratedmult...The consistency of the CIMS multi-view model is a complicated problem which plays an important role inthe CIMS life cycle. Based on the function-oriented multi-view modeling approach, an object-oriented integratedmulti-view modeling approach was further provided.CIM system is composed of several objects where each objecthas a multi-view description.The four most important view-points: function, information, resource and dynamic viewpoint were chosen to provide conceptual model of the object-oriented integrated multi-view modeling in CIMS using a system integration approach展开更多
The evacuation efficiency of building plans is of obvious importance to the public safety. The complexity of building plans, however, makes it difficult for the efficiency evaluation. This paper presents a computation...The evacuation efficiency of building plans is of obvious importance to the public safety. The complexity of building plans, however, makes it difficult for the efficiency evaluation. This paper presents a computational model AutoEscape, which can simulate the evacuation process for any given occupant distribution in buildings. Designed as an extensible multi-level structure, the model constructs the geometry level and occupant level and establishes the interactions between levels. The GIS-based environmental analysis is realized to automatically generate the geometric representation and formulate the cognition of agents. The multi-agent based technology is employed to simulate the crowd behaviors with autonomously acting individuals. A visualization component, which provides 3D free observations for the simulation process, is developed on the platform of OGRE and integrated into the system interface in form of ActiveX control. Finally, a case study has been conducted and the results have been compared with the results of an existing model to show the reliability and capacity of AutoEscape simulation.展开更多
文摘Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satellite propulsion system.An extended object-oriented Petri net(EOOPN)method was proposed to facilitate the reliability modelling of satellite propulsion system in the paper.The proposed method was specified for modelling of phased mission system,and it could be implemented by generating combination of Petri net(PN)principles and object-oriented(OO)programming.The effectiveness of the proposed method was demonstrated through the reliability modelling of a satellite propulsion system with EOOPN.The major advantage of the proposed method is that the dimension of net model can be reduced significantly,and phased mission system at system,phase,or component levels can be respectively depicted.Furthermore,the state-space explosion problem is solved by the proposed EOOPN model efficiently.
基金supported by National Natural Science Foundation of China (Grant No. 60873003)
文摘Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software.
基金This project is supported by National Natural Science Foundation of China (No.50085003).
文摘Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.
基金Shanghai Municipal Science & Technology Projects, China (No. 09DZ1203300, No. 10JC1415200)
文摘The production and energy coupling system is used to mainly present energy flow, material flow, information flow, and their coupling interaction. Through the modeling and simulation of this system, the performance of energy flow can be analyzed and optimized in the process industry. In order to study this system, the component based hybrid Petri net methodology (CpnHPN) is proposed, synthesizing a number of extended Petri net methods and using the concept of energy place, material place, and information place. Through the interface place in CpnHPN, the component based encapsulation is established, which enables the production and energy coupling system to be built, analyzed, and optimized on the multi-level framework. Considering the block and brief simulation for hybrid system, the CpnHPN model is simulated with Simulink/Stateflow. To illustrate the use of the proposed methodology, the application of CpnHPN in the energy optimization of chlorine balance system is provided.
文摘Object-oriented world-view provides a natural and powerful paradignl for expressing system elements and their dynamic behaviour for discrete-event simulation. Simulation gives the critical ability to study the dynamic behaviour of the models that are defined with object-voriented means. This paper first examines the ways of applying the object-oriented world-view to three major discrete simulation modelling approaches, then considers the process and merits of object-oriented simulation modelling.
文摘With the continuous progress of manufacturing industry,automatic assembly line has become a very mature production mode in modern factories,and the quality of assembly line design has become an important issue related to the development of manufacturing enterprises.In this paper,a graphical model based on Petri Net is established for the first full load time of the assembly line.The accessibility of the P/T system and the production rhythm of the assembly line are calculated by computer simulation.Finally,according to the simulation model,an experimental platform is built to verify the rationality of the model.Experimental results show that the model can accurately express the equipment allocation process of assembly line.
基金The National Key Laboratory Program ( No.51458060104JW0316)the National High Technology Research and De-velopment Program of China (863 Program) (No.2003AA414120).
文摘In order to model effectively hybrid systems,a new modeling method of extended Petri nets,which is called extended object-orient hybrid Petri net （EOHPN）,is proposed.To deal with the complexity of hybrid systems, object-oriented abstraction mechanisms such as encapsulation and classifications are merged into EOHPN models.To combine the continuous part and discrete part of hybrid systems and to reduce the complexity of hybrid systems,a hybrid Petri net is introduced and extended with object-oriented modeling technology.Development of object models is suggested on the basis of the defined EOHPN.Finally, an application-oriented case is presented to illustrate that how the proposed EOHPN is used to model hybrid systems.The resulting model validates that the EOHPNs can deal with the modeling complexity of hybrid systems.
文摘Object-Oriented Simulation (OOS) has been widely developed in recent. years. However most efforts are made in simulation modeling by using Object-Oriented Programming Languages (OOPLs). We have proposed a world view for object-oriented simulation based on system theory, object-oriented paradigm and DEVS formalism. The infrastructure, the simulation mechanism, and the basic modeling framework and control framework of the world view are presented. Simulation structures of traditional world views are also analyzed. Future works and research directions are presented.
文摘The simulation-based decision support system (SBDSS) is designed to achieve a highlevel of performance, flexibility and adaptability, in response to meet the special needs of productionand logistics management during the economic system reform era in China. It consists two subsys-tems: the object library modeler (OLM) and the simulation engine and its manager (SEM). UsingSBDSS the decision makers can work out their optimal production choice under certain circumstancesthrough scenario simulations. And they can test a set of virtual organizations reflecting systems re-form before a real reorganization has been taken, as well as perform a virtual manufacturing processfor a new product design (Copyright @ 1998 IFAC).
文摘The consistency of the CIMS multi-view model is a complicated problem which plays an important role inthe CIMS life cycle. Based on the function-oriented multi-view modeling approach, an object-oriented integratedmulti-view modeling approach was further provided.CIM system is composed of several objects where each objecthas a multi-view description.The four most important view-points: function, information, resource and dynamic viewpoint were chosen to provide conceptual model of the object-oriented integrated multi-view modeling in CIMS using a system integration approach
基金the National Eleventh Five-Year Science and Technology Development Plan (No. 2006BAK01A02)
文摘The evacuation efficiency of building plans is of obvious importance to the public safety. The complexity of building plans, however, makes it difficult for the efficiency evaluation. This paper presents a computational model AutoEscape, which can simulate the evacuation process for any given occupant distribution in buildings. Designed as an extensible multi-level structure, the model constructs the geometry level and occupant level and establishes the interactions between levels. The GIS-based environmental analysis is realized to automatically generate the geometric representation and formulate the cognition of agents. The multi-agent based technology is employed to simulate the crowd behaviors with autonomously acting individuals. A visualization component, which provides 3D free observations for the simulation process, is developed on the platform of OGRE and integrated into the system interface in form of ActiveX control. Finally, a case study has been conducted and the results have been compared with the results of an existing model to show the reliability and capacity of AutoEscape simulation.
