A new method of collision-free path plan integrated in virtual processing is developed to improve the efficiency of laser surface hardening on dies. The path plan is based on the premise of no collision and the optimi...A new method of collision-free path plan integrated in virtual processing is developed to improve the efficiency of laser surface hardening on dies. The path plan is based on the premise of no collision and the optimization object is the shortest path. The optimization model of collision-free path is built from traveling salesman problem (TSP). Collision-free path between two machining points is calculated in configuration space (C-Space). Ant colony optimization (ACO) algorithm is applied to TSP of all the machining points to find the shortest path, which is simulated in virtual environment set up by IGRIP software. Virtual machining time, no-collision report, etc, are put out atter the simulation. An example on autobody die is processed in the virtual platform, the simulation results display that ACO has perfect optimization effect, and the method of virtual processing with integration of collision-free optimal path is practical.展开更多
Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principle...Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.展开更多
Based on the log-linear virtual age process, an imperfect preventive maintenance policy for numerical control(NC)machine tools with random maintenance quality is proposed. The proposed model is a combination of the Ki...Based on the log-linear virtual age process, an imperfect preventive maintenance policy for numerical control(NC)machine tools with random maintenance quality is proposed. The proposed model is a combination of the Kijima type virtual age model and the failure intensity adjustment model. Maintenance intervals of the proposed hybrid model are derived when the failure intensity increase factor and the restoration factor are both random variables with uniform distribution. The optimal maintenance policy in infinite time horizon is presented. A numerical example is given when the failures of NC machine tools are described by the log-linear process. Finally, a discussion is presented to show how the optimal results depend on the different cost parameters.展开更多
This paper proposes reliability and maintenance models for systems suffering random shocks arriving according to a non-homogeneous Poisson process.The system degradation process include two stages:from the installatio...This paper proposes reliability and maintenance models for systems suffering random shocks arriving according to a non-homogeneous Poisson process.The system degradation process include two stages:from the installation of a new system to an initial point of a defect(normal stage),and then from that point to failure(defective stage),following the delay time concept.By employing the virtual age method,the impact of external shocks on the system degradation process is characterized by random virtual age increment in the two stages,resulting in the corresponding two-stage virtual age process.When operating in the defective state,the system becomes more susceptible to fatigue and suffers from a greater aging rate.Replacement is carried out either on failure or on the detection of a defective state at periodic or opportunistic inspections.This paper evaluates system reliability performance and investigates the optimal opportunistic maintenance policy.A case study on a cooling system is given to verify the obtained results.展开更多
This paper discusses an organizational model to be used for both conventional and virtual organizations. The model deals with variable relationships within an organization and provides a framework for overall organiza...This paper discusses an organizational model to be used for both conventional and virtual organizations. The model deals with variable relationships within an organization and provides a framework for overall organizational design that may include relationship among different design variables and external relationship with environment. Based on the researches of virtual organization, this paper also illustrates the new model of organization in the real world such as Beijing 2008 Olympic games and Dongfeng Automobile group.展开更多
Virtual testability demonstration test has many advantages,such as low cost,high efficiency,low risk and few restrictions.It brings new requirements to the fault sample generation.A fault sample simulation approach fo...Virtual testability demonstration test has many advantages,such as low cost,high efficiency,low risk and few restrictions.It brings new requirements to the fault sample generation.A fault sample simulation approach for virtual testability demonstration test based on stochastic process theory is proposed.First,the similarities and differences of fault sample generation between physical testability demonstration test and virtual testability demonstration test are discussed.Second,it is pointed out that the fault occurrence process subject to perfect repair is renewal process.Third,the interarrival time distribution function of the next fault event is given.Steps and flowcharts of fault sample generation are introduced.The number of faults and their occurrence time are obtained by statistical simulation.Finally,experiments are carried out on a stable tracking platform.Because a variety of types of life distributions and maintenance modes are considered and some assumptions are removed,the sample size and structure of fault sample simulation results are more similar to the actual results and more reasonable.The proposed method can effectively guide the fault injection in virtual testability demonstration test.展开更多
Malicious software programs usually bypass the detection of anti-virus software by hiding themselves among apparently legitimate programs.In this work,we propose Windows Virtual Machine Introspection(WVMI)to accurat...Malicious software programs usually bypass the detection of anti-virus software by hiding themselves among apparently legitimate programs.In this work,we propose Windows Virtual Machine Introspection(WVMI)to accurately detect those hidden processes by analyzing memory data.WVMI dumps in-memory data of the target Windows operating systems from hypervisor and retrieves EPROCESS structures’address of process linked list first,and then generates Data Type Confidence Table(DTCT).Next,it traverses the memory and identifies the similarities between the nodes in process linked list and the corresponding segments in the memory by utilizing DTCT.Finally,it locates the segments of Windows’EPROCESS and identifies the hidden processes by further comparison.Through extensive experiments,our experiment shows that the WVMI detects the hidden process with high identification rate,and it is independent of different versions of Windows operating system.展开更多
基金This project is supported by Great Device Development Project of Chinese Academy of Sciences, China(No.[1997]167)Knowledge Innovation Great Project of Chinese Academy of Sciences, China, in 2000-2003(No. KGCX1-11).
文摘A new method of collision-free path plan integrated in virtual processing is developed to improve the efficiency of laser surface hardening on dies. The path plan is based on the premise of no collision and the optimization object is the shortest path. The optimization model of collision-free path is built from traveling salesman problem (TSP). Collision-free path between two machining points is calculated in configuration space (C-Space). Ant colony optimization (ACO) algorithm is applied to TSP of all the machining points to find the shortest path, which is simulated in virtual environment set up by IGRIP software. Virtual machining time, no-collision report, etc, are put out atter the simulation. An example on autobody die is processed in the virtual platform, the simulation results display that ACO has perfect optimization effect, and the method of virtual processing with integration of collision-free optimal path is practical.
文摘Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.
基金Project(51465034)supported by the National Natural Science Foundation of China
文摘Based on the log-linear virtual age process, an imperfect preventive maintenance policy for numerical control(NC)machine tools with random maintenance quality is proposed. The proposed model is a combination of the Kijima type virtual age model and the failure intensity adjustment model. Maintenance intervals of the proposed hybrid model are derived when the failure intensity increase factor and the restoration factor are both random variables with uniform distribution. The optimal maintenance policy in infinite time horizon is presented. A numerical example is given when the failures of NC machine tools are described by the log-linear process. Finally, a discussion is presented to show how the optimal results depend on the different cost parameters.
基金supported by the National Natural Science Foundation of China(72001026).
文摘This paper proposes reliability and maintenance models for systems suffering random shocks arriving according to a non-homogeneous Poisson process.The system degradation process include two stages:from the installation of a new system to an initial point of a defect(normal stage),and then from that point to failure(defective stage),following the delay time concept.By employing the virtual age method,the impact of external shocks on the system degradation process is characterized by random virtual age increment in the two stages,resulting in the corresponding two-stage virtual age process.When operating in the defective state,the system becomes more susceptible to fatigue and suffers from a greater aging rate.Replacement is carried out either on failure or on the detection of a defective state at periodic or opportunistic inspections.This paper evaluates system reliability performance and investigates the optimal opportunistic maintenance policy.A case study on a cooling system is given to verify the obtained results.
文摘This paper discusses an organizational model to be used for both conventional and virtual organizations. The model deals with variable relationships within an organization and provides a framework for overall organizational design that may include relationship among different design variables and external relationship with environment. Based on the researches of virtual organization, this paper also illustrates the new model of organization in the real world such as Beijing 2008 Olympic games and Dongfeng Automobile group.
基金National Natural Science Foundation of China(51105369)
文摘Virtual testability demonstration test has many advantages,such as low cost,high efficiency,low risk and few restrictions.It brings new requirements to the fault sample generation.A fault sample simulation approach for virtual testability demonstration test based on stochastic process theory is proposed.First,the similarities and differences of fault sample generation between physical testability demonstration test and virtual testability demonstration test are discussed.Second,it is pointed out that the fault occurrence process subject to perfect repair is renewal process.Third,the interarrival time distribution function of the next fault event is given.Steps and flowcharts of fault sample generation are introduced.The number of faults and their occurrence time are obtained by statistical simulation.Finally,experiments are carried out on a stable tracking platform.Because a variety of types of life distributions and maintenance modes are considered and some assumptions are removed,the sample size and structure of fault sample simulation results are more similar to the actual results and more reasonable.The proposed method can effectively guide the fault injection in virtual testability demonstration test.
基金Supported by the National Natural Science Foundation of China(61170026)
文摘Malicious software programs usually bypass the detection of anti-virus software by hiding themselves among apparently legitimate programs.In this work,we propose Windows Virtual Machine Introspection(WVMI)to accurately detect those hidden processes by analyzing memory data.WVMI dumps in-memory data of the target Windows operating systems from hypervisor and retrieves EPROCESS structures’address of process linked list first,and then generates Data Type Confidence Table(DTCT).Next,it traverses the memory and identifies the similarities between the nodes in process linked list and the corresponding segments in the memory by utilizing DTCT.Finally,it locates the segments of Windows’EPROCESS and identifies the hidden processes by further comparison.Through extensive experiments,our experiment shows that the WVMI detects the hidden process with high identification rate,and it is independent of different versions of Windows operating system.