For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturi...For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are presented as tools for modelling, efficiency structure analysis, control, and investigation of the FMSs when different policies can be implemented for the deadlock prevention. We are to show an effective deadlock prevention policy of a special class of Petri nets namely elementary siphons. As well, both structural analysis and reachability graph analysis and simulation are used for analysis and control of Petri nets. This work is successfully applied Petri nets to deadlock analysis using the concept of elementary siphons, for design of supervisors of some supervisory control problems of FMS and simulation of Petri net tool with MATLAB.展开更多
Of the various kinds of research on the Virtual Reality and GIS, stereo-view is one of the key technologies . The following two aspects are covered in this paper. (1)Physiological fundamental of the natural binocular ...Of the various kinds of research on the Virtual Reality and GIS, stereo-view is one of the key technologies . The following two aspects are covered in this paper. (1)Physiological fundamental of the natural binocular stereo-vision, theory of 3D color TV and the stereo-view on the CRT screen are presented, especially the theory of widely adopted Time-Division System is introduced. (2) The preliminary practice for using the sterecrview technology on the screen to the terrain visual simulation is described, and the paper shows how to use 3DS to construct a movable real stereo terrain perspective by taking DTM data as the first hand information for the purpose of terrain visual simulation.展开更多
文摘For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are presented as tools for modelling, efficiency structure analysis, control, and investigation of the FMSs when different policies can be implemented for the deadlock prevention. We are to show an effective deadlock prevention policy of a special class of Petri nets namely elementary siphons. As well, both structural analysis and reachability graph analysis and simulation are used for analysis and control of Petri nets. This work is successfully applied Petri nets to deadlock analysis using the concept of elementary siphons, for design of supervisors of some supervisory control problems of FMS and simulation of Petri net tool with MATLAB.
文摘Of the various kinds of research on the Virtual Reality and GIS, stereo-view is one of the key technologies . The following two aspects are covered in this paper. (1)Physiological fundamental of the natural binocular stereo-vision, theory of 3D color TV and the stereo-view on the CRT screen are presented, especially the theory of widely adopted Time-Division System is introduced. (2) The preliminary practice for using the sterecrview technology on the screen to the terrain visual simulation is described, and the paper shows how to use 3DS to construct a movable real stereo terrain perspective by taking DTM data as the first hand information for the purpose of terrain visual simulation.
