Data collected from truck payload management systems at various surface mines shows that the payload variance is significant and must be considered in analysing the mine productivity,energy consumption,greenhouse gas ...Data collected from truck payload management systems at various surface mines shows that the payload variance is significant and must be considered in analysing the mine productivity,energy consumption,greenhouse gas emissions and associated cost.Payload variance causes significant differences in gross vehicle weights.Heavily loaded trucks travel slower up ramps than lightly loaded trucks.Faster trucks are slowed by the presence of slower trucks,resulting in‘bunching’,production losses and increasing fuel consumptions.This paper simulates the truck bunching phenomena in large surface mines to improve truck and shovel systems’efficiency and minimise fuel consumption.The study concentrated on completing a practical simulation model based on a discrete event method which is most commonly used in this field of research in other industries.The simulation model has been validated by a dataset collected from a large surface mine in Arizona state,USA.The results have shown that there is a good agreement between the actual and estimated values of investigated parameters.展开更多
In this work, a survey of companies has been produc ed from a questionnaire and in-depth inter-views. The aimof the paper is to give a current view of the use of DES (Discrete- Event Simulation) in the indust ry. The ...In this work, a survey of companies has been produc ed from a questionnaire and in-depth inter-views. The aimof the paper is to give a current view of the use of DES (Discrete- Event Simulation) in the indust ry. The companies have been selected in a wide range in e.g. size, capital turno ver and employees. The survey was restricted to Sweden, although the results may be applicable to other countries with similar industrial structure. Some of the companies investigated are also multinational with branches around the world. T o illustrate the differences in production systems different sectors have be en investigated, e.g. the manufacturing industry and energy sector. The manufact uring systems generally differ in that the energy sector is more known for high reliability in their systems and the manufacturing sector tends to work more wit h lean production. Previous surveys of manufacturing efficiency illustrate different aspects. Accor ding to one survey, more than one-third (34%) of the disturbances in two countr ies (the U.S. and Finland) were mainly caused by design-based errors and flaws. The survey also showed the scope of safety problems experienced in the implemen tation and use of flexible manufacturing systems (Jrvinen et al., 1996). Another survey in Germany reports a gap between users and non-users of DES. Man y companies that are not familiar with simulation are not aware of its benefits. The study suggested integrating simulation into the planning processes as a reg ular tool. So far, DES is mostly used in system planning, resource planning and scheduling and production planning (Hirschberg & Heitmann, 1997). The disposition of the accomplished questionnaire had been multiple-choice ques tions in a strict order. The respondents gave their views on what the interviewe r considered relevant for the survey. The questionnaire was mailed to 220 person s in May 2001; a second round for unanswered surveys was dispatched in August 20 01. Replies came from 114 respondents; thus, the reply rate to all questionnaire s sent out was 52%. The replies came in from 80 different companies. Questionswere raised regarding what kinds of decisions are taken from a simulation projec t and questions were also asked regarding the tool itself. Some common problems encountered based on the authors’ knowledge were asked in the questionnaire. The questions were sent to those who had reasonable knowledge of how to work with D ES. Supplementary in-depth interviews were also accomplished. On the question if DES facilitates the decision-making process 79% of totally 3 8 answered to a very large or a large extent. Regarding the question if DES is a useful tool for measuring the availability of equipment for example system verification 73% of 33 responded to a very large or a large extent. A majority o f the respondents genuinely see an advantage with the use of simulation, which i s an important result from the study. The cost reduction aspect of the productio n is also an advantage of DES. On the question eight answered to a very large ex tent and 23 to a large extent of total 39 replies. The question demonstrates tha t the results of a simulation model are indeed used in the real world. Finally, in the question of DES is used for staffing it is indicated that it is not so co mmonly used as for other functions asked for. The staffing issue requires good k nowledge about time measurement of manual labor. The option, however, to include manual work in a simulation model is in many programs extensive and must be a v aluable option to evaluate work intensive parts of production lines and their im provement. To conclude, it could be mentioned that DES is a tool with potential. The use is increasing and 12 of 80 companies investigated in Sweden 2001 are using it, an increase compared to previous stud-ies. Of those 12 companies, four are using t he tool to a large extent. The main advantage according to the survey beside the visualization part is that the knowledge about a system is investigated and doc umented.展开更多
The goal of this paper is to provide an approach to investigate the variation of fiber quantity in a certain cross-section of the drafting zone. This model with discrete-event simulation( DES)method was presented to s...The goal of this paper is to provide an approach to investigate the variation of fiber quantity in a certain cross-section of the drafting zone. This model with discrete-event simulation( DES)method was presented to simulate the dynamic drafting process. This model described the behavior of individual fibers,which was divided into four phases and simulated by corresponding modules. Three sets of processing conditions in industry were simulated and demonstrated the applications of this model. The comparison between experiments and simulation results could also validate this model. This model could be used to simulate various drafting process with appropriate drafting settings.展开更多
In some practical applications modeled by discrete-event systems(DES),the observations of events may be no longer deterministic due to sensor faults/failures,packet loss,and/or measurement uncertainties.In this contex...In some practical applications modeled by discrete-event systems(DES),the observations of events may be no longer deterministic due to sensor faults/failures,packet loss,and/or measurement uncertainties.In this context,it is interesting to reconsider the infinite-step opacity(∞-SO)and K-step opacity(K-SO)of a DES under abnormal conditions as mentioned.In this paper,the authors extend the notions of∞-SO and K-SO defined in the standard setting to the framework of nondeterministic observations(i.e.,the event-observation mechanism is state-dependent and nondeterministic).Obviously,the extended notions of∞-SO and K-SO are more general than the previous standard ones.To effectively verify them,a matrix-based current state estimator in the context of this advanced framework is constructed using the Boolean semi-tensor product(BSTP)technique.Accordingly,the necessary and sufficient conditions for verifying these two extended versions of opacity are provided as well as their complexity analysis.Finally,several examples are given to illustrate the obtained theoretical results.展开更多
In this paper we provide a sufficient and necessary condition for the eigenvalueand eigenvector of a general reducible matrix in a discrete-event system described by the“max”algebra,analyse the steady periodical per...In this paper we provide a sufficient and necessary condition for the eigenvalueand eigenvector of a general reducible matrix in a discrete-event system described by the“max”algebra,analyse the steady periodical performance of the system,and obtain ananalytic solution of the dynamic equation.We propose the conception of“order-d-(?)-block-periodical matrix”and obtain its sufficient and necessary condition and provide an algorithmof (?) matrix.展开更多
The customer population of entities potentially requesting to join a queue for service often have identical structure, i.e., the same state set and isomorphic transitions. The state size of the automaton modeling a qu...The customer population of entities potentially requesting to join a queue for service often have identical structure, i.e., the same state set and isomorphic transitions. The state size of the automaton modeling a queue will grow rapidly with increase of the size of this population. However, by relabeling the queue arrival events and service events to the same symbols respectively, the automaton model of a queue will be converted to the structure of a buffer, which is proved to be independent of the total size of the customer population, as long as the queue size is held fixed. We propose the model of a dynamic buffer to embody order and shift of a queue. The result is applied to a manufacturing facility with a dynamic buffer to manage the repair of broken down machines.展开更多
Concurrency is a common feature in most industrial systems,where several components can execute different actions simultaneously.In this paper,we first introduce a new feasible nonblocking concurrent supervisory contr...Concurrency is a common feature in most industrial systems,where several components can execute different actions simultaneously.In this paper,we first introduce a new feasible nonblocking concurrent supervisory control map for a concurrent system,and subsequently,new concepts of concurrent controllability and concurrent observability.Then we present a sufficient and necessary condition for the existence of a feasible nonblocking concurrent supervisory controlmap to achieve a given concurrent language.After introducing a new concept of prefix-closed concurrent normality,we show that the supremal concurrently controllable and prefix-closed concurrently normal sublanguages exist and are computable.Our emphasis here is not to address the computational efficiency of solving concurrent supervisory control problems,which is still a technical challenge,but to show that the commonly used Ramadge–Wonham asynchronous control is simply a special case of our proposed concurrent control framework by providing an insightful treatment on compound events.展开更多
In the majority of the previous works on discrete-event stochastic systems,they have been assumed to have independent input processes.However,in many applications,these input processes can be highly correlated.Further...In the majority of the previous works on discrete-event stochastic systems,they have been assumed to have independent input processes.However,in many applications,these input processes can be highly correlated.Furthermore,the performance measures of the systems with correlated inputs can be significantly different from those with independent inputs.In this paper,we provide an overview on some commonly used methods for modeling correlated input processes,and we discuss the difficulties and possible future research topics in the study of discrete-event stochastic systems with correlated inputs.展开更多
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.展开更多
In shared-memory bus-based multiprocessors, when the number of processors grows, the processors spend an increasing amount of time waiting for access to the bus (and shared memory). This contention reduces the perform...In shared-memory bus-based multiprocessors, when the number of processors grows, the processors spend an increasing amount of time waiting for access to the bus (and shared memory). This contention reduces the performance of processors and imposes a limitation of the number of processors that can be used efficiently in bus-based systems. Since the multi-processor’s performance depends upon many parameters which affect the performance in different ways, timed Petri nets are used to model shared-memory bus-based multiprocessors at the instruction execution level, and the developed models are used to study how the performance of processors changes with the number of processors in the system. The results illustrate very well the restriction on the number of processors imposed by the shared bus. All performance characteristics presented in this paper are obtained by discrete-event simulation of Petri net models.展开更多
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.展开更多
The problem of maximizing the throughput of Semiconductor Wafer Fabrication Systems is addressed.We model the fabrication systems as a Stochastic Timed Automata and design a discrete-event simulation scheme.The simula...The problem of maximizing the throughput of Semiconductor Wafer Fabrication Systems is addressed.We model the fabrication systems as a Stochastic Timed Automata and design a discrete-event simulation scheme.The simulation scheme is explicit,fast and achieves high fidelity which captures the feature of reentrant process flow and is flexible to accommodate diversified wafer lot scheduling policies.A series of Marginal Machine Allocation Algorithms are proposed to sequentially allocate machines.Numerical experiments suggest the designed methods are efficient to find good allocation solutions.展开更多
Efficient staff rostering and patient scheduling to meet outpatient demand is a very complex and dynamic task. Due to fluctuations in demand and specialist availability, specialist allocation must be very flexible and...Efficient staff rostering and patient scheduling to meet outpatient demand is a very complex and dynamic task. Due to fluctuations in demand and specialist availability, specialist allocation must be very flexible and non-myopic. Medical specialists are typically restricted in sub-specialization, serve several patient groups and are the key resource in a chain of patient visits to the clinic and operating room (OR). To overcome a myopic view of once-off appointment scheduling, we address the patient flow through a chain of patient appointments when allocating key resources to different patient groups. We present a new, data-driven algorithmic approach to automatic allocation of specialists to roster activities and patient groups. By their very nature, simplified mathematical models cannot capture the complexity that is characteristic to the system being modeled. In our approach, the allocation of specialists to their day-to-day activities is flexible and responsive to past and present key resource availability, as well as to past resource allocation. Variability in roster activities is actively minimized, in order to enhance the supply chain flow. With discrete-event simulation of the application case using empirical data, we illustrate how our approach improves patient Service Level (SL, percentage of patients served on-time) as well as Wait Time (days), without change in resource capacity.展开更多
This paper describes efficient data structures, namely the Indexed P-tree, Block P-tree, and Indexed-Block P-tree (or/P-tree, BP-tree, and IBP-tree, respectively, for short), for maintaining future events in a gener...This paper describes efficient data structures, namely the Indexed P-tree, Block P-tree, and Indexed-Block P-tree (or/P-tree, BP-tree, and IBP-tree, respectively, for short), for maintaining future events in a general purpose discrete event simulation system, and studies the performance of their event set algorithms under the event horizon principle. For comparison reasons, some well-known event set algorithms have been selected and studied, that is, the Dynamic-heap and the P-tree algorithms. To gain insight into the performance of the proposed event set algorithms and allow comparisons with the other selected algorithms, they are tested under a wide variety of conditions in an experimental way. The time needed for the execution of the Hold operation is taken as the measure for estimating the average time complexity of the algorithms. The experimental results show that the BP-tree algorithm and the IBP-tree algorithm behave very well with the event set of all the sizes and their performance is almost independent of the stochastic distributions.展开更多
Air traffic flow management(ATFM) is a collaborative process between the airspace provider and the airspace users. The result of the collaboration should be an outcome that maximizes the utility of the system without ...Air traffic flow management(ATFM) is a collaborative process between the airspace provider and the airspace users. The result of the collaboration should be an outcome that maximizes the utility of the system without excessively penalizing any of the agents. This paper develops a discrete-event simulation model which consists of aggregate departure/arrival airports, flight routes, and sectors for evaluating the alternative collaborative route selection strategy. Given the different perspectives from air traffic control center(ACC) and airlines, eight performancemetrics and five alternative route selection strategies represent the past, current and proposed air traffic flow management operations that were evaluated. The Monte Carlo method combined with the Optimal Computing Budget Allocation(OCBA) simulation optimization technique is employed to assess the performance of different strategies. A case study of the upper air routes in central and southern China shows that the proposed model can be readily implemented to simulate different kinds of air traffic flow management strategies and predict the effect of changes on the airspace system. It also shows that the proposed alternative collaborative route selection strategy is an effective way in alleviating the en-route traffic congestion.展开更多
In this paper we provide a tutorial on the background of warehouse automation using robotic networks and survey relevant work in the literature.We present a new cyber-physical control method that achieves safe,deadloc...In this paper we provide a tutorial on the background of warehouse automation using robotic networks and survey relevant work in the literature.We present a new cyber-physical control method that achieves safe,deadlock-free,efficient,and adaptive behavior of multiple robots serving the goods-to-man logistic operations.A central piece of this method is the incremental supervisory control design algorithm,which is computationally scalable with respect to the number of robots.Finally,we provide a case study on 30 robots with changing conditions to demonstrate the effectiveness of the proposed method.展开更多
This paper presents a study on the performance of flexible manufacturing systems (FMSs), by using discrete event system (DES) models, considering resource losses modelled by a parameter entitled coverage factor. W...This paper presents a study on the performance of flexible manufacturing systems (FMSs), by using discrete event system (DES) models, considering resource losses modelled by a parameter entitled coverage factor. We conclude that the resources cell loss distribution between the tasks of a FSM is a real function that cannot be integrated, in order to calculate its primitive, in the classical sense of Riemann or Lebesgue, but only in the sense of Henstock-Kurzweil integral. Our result allows one to study more general processes where highly oscillatory functions occur. The method used to deduce the functi6n describing the resources cell loss distribution is compared with a classical method related in the literature, respectively rational interpolants. An example has been constructed to emphasize what we believe to be, new approaches.展开更多
Call centers have grown world-wide during the past decade. One of the most important aspects considered by call center managers is the optimization of its operators, which implies covering the highly variable demand a...Call centers have grown world-wide during the past decade. One of the most important aspects considered by call center managers is the optimization of its operators, which implies covering the highly variable demand and f'mding an efficient way to assign people to certain shifts in order to achieve a desirable service level and abandonment rate. Another challenge is determining which system setup is appropriate for the specific call center. Should we have a single-skill call center or multi-skill call center? If we do have the latter, how many multi-skill agents should we have on staff?. In this case study, we generate and analyze discrete-event systems simulation-optimization models to test the behavior of a real-world call center under the actual configuration and under different levels of cross-training. The model results help call center managers by: 1) determining the optimal number of operators needed for different staff configtmations in order to achieve the targets for service level and abandonment; 2) providing information about the trade-off between the key measurements in the call center; and 3) providing useful information about the number of operators needed and used for each hour of operation to estimate the number of four-hour shifts required to achieve the performance targets. Our experimental f'mdings from this case study suggest that a bi-skill call center is economically better in the long-rtm compared to a full-skill or single-skill call center. This case study augments the call center body of knowledge by providing additional managerial insights for the operations management community.展开更多
This paper presents a model for automatically parallelizing compiler based on C++ which consists of compile-time and run-time parallelizing facilities.The paper also describes a method for finding both intra-object an...This paper presents a model for automatically parallelizing compiler based on C++ which consists of compile-time and run-time parallelizing facilities.The paper also describes a method for finding both intra-object and inter-object parallelism. The parallelism detection is completely transparent to users.展开更多
In this paper, we consider the problem of automatic synthesis of decentralized supervisor for uncertain discrete event systems. In particular, we study the case when the uncontrolled plant is unknown a priori. To deal...In this paper, we consider the problem of automatic synthesis of decentralized supervisor for uncertain discrete event systems. In particular, we study the case when the uncontrolled plant is unknown a priori. To deal with the unknown plants, we first characterize the conormality of prefix-closed regular languages and propose formulas for computing the supremal conormal sublanguages; then sufficient conditions for the existence of decentralized supervisors are given in terms of language controllability and conormality and a learning-based algorithm to synthesize the supervisor automatically is proposed. Moreover, the paper also studies the on-line decentralized supervisory control of concurrent discrete event systems that are composed of multiple interacting unknown modules. We use the concept of modular controllability to characterize the necessary and sufficient conditions for the existence of the local supervisors, which consist of a set of local supervisor modules, one for each plant module and which determines its control actions based on the locally observed behaviors, and an on-line learning-based local synthesis algorithm is also presented. The correctness and convergence of the proposed algorithms are proved, and their implementation are illustrated through examples.展开更多
基金CRC MiningThe University of Queensland for their financial support for this study
文摘Data collected from truck payload management systems at various surface mines shows that the payload variance is significant and must be considered in analysing the mine productivity,energy consumption,greenhouse gas emissions and associated cost.Payload variance causes significant differences in gross vehicle weights.Heavily loaded trucks travel slower up ramps than lightly loaded trucks.Faster trucks are slowed by the presence of slower trucks,resulting in‘bunching’,production losses and increasing fuel consumptions.This paper simulates the truck bunching phenomena in large surface mines to improve truck and shovel systems’efficiency and minimise fuel consumption.The study concentrated on completing a practical simulation model based on a discrete event method which is most commonly used in this field of research in other industries.The simulation model has been validated by a dataset collected from a large surface mine in Arizona state,USA.The results have shown that there is a good agreement between the actual and estimated values of investigated parameters.
文摘In this work, a survey of companies has been produc ed from a questionnaire and in-depth inter-views. The aimof the paper is to give a current view of the use of DES (Discrete- Event Simulation) in the indust ry. The companies have been selected in a wide range in e.g. size, capital turno ver and employees. The survey was restricted to Sweden, although the results may be applicable to other countries with similar industrial structure. Some of the companies investigated are also multinational with branches around the world. T o illustrate the differences in production systems different sectors have be en investigated, e.g. the manufacturing industry and energy sector. The manufact uring systems generally differ in that the energy sector is more known for high reliability in their systems and the manufacturing sector tends to work more wit h lean production. Previous surveys of manufacturing efficiency illustrate different aspects. Accor ding to one survey, more than one-third (34%) of the disturbances in two countr ies (the U.S. and Finland) were mainly caused by design-based errors and flaws. The survey also showed the scope of safety problems experienced in the implemen tation and use of flexible manufacturing systems (Jrvinen et al., 1996). Another survey in Germany reports a gap between users and non-users of DES. Man y companies that are not familiar with simulation are not aware of its benefits. The study suggested integrating simulation into the planning processes as a reg ular tool. So far, DES is mostly used in system planning, resource planning and scheduling and production planning (Hirschberg & Heitmann, 1997). The disposition of the accomplished questionnaire had been multiple-choice ques tions in a strict order. The respondents gave their views on what the interviewe r considered relevant for the survey. The questionnaire was mailed to 220 person s in May 2001; a second round for unanswered surveys was dispatched in August 20 01. Replies came from 114 respondents; thus, the reply rate to all questionnaire s sent out was 52%. The replies came in from 80 different companies. Questionswere raised regarding what kinds of decisions are taken from a simulation projec t and questions were also asked regarding the tool itself. Some common problems encountered based on the authors’ knowledge were asked in the questionnaire. The questions were sent to those who had reasonable knowledge of how to work with D ES. Supplementary in-depth interviews were also accomplished. On the question if DES facilitates the decision-making process 79% of totally 3 8 answered to a very large or a large extent. Regarding the question if DES is a useful tool for measuring the availability of equipment for example system verification 73% of 33 responded to a very large or a large extent. A majority o f the respondents genuinely see an advantage with the use of simulation, which i s an important result from the study. The cost reduction aspect of the productio n is also an advantage of DES. On the question eight answered to a very large ex tent and 23 to a large extent of total 39 replies. The question demonstrates tha t the results of a simulation model are indeed used in the real world. Finally, in the question of DES is used for staffing it is indicated that it is not so co mmonly used as for other functions asked for. The staffing issue requires good k nowledge about time measurement of manual labor. The option, however, to include manual work in a simulation model is in many programs extensive and must be a v aluable option to evaluate work intensive parts of production lines and their im provement. To conclude, it could be mentioned that DES is a tool with potential. The use is increasing and 12 of 80 companies investigated in Sweden 2001 are using it, an increase compared to previous stud-ies. Of those 12 companies, four are using t he tool to a large extent. The main advantage according to the survey beside the visualization part is that the knowledge about a system is investigated and doc umented.
基金the Key Grant Project of Ministry of Education of the People’s Republic of China through Project,China(No.113027A)the Fundamental Research Funds for the Central Universities,China
文摘The goal of this paper is to provide an approach to investigate the variation of fiber quantity in a certain cross-section of the drafting zone. This model with discrete-event simulation( DES)method was presented to simulate the dynamic drafting process. This model described the behavior of individual fibers,which was divided into four phases and simulated by corresponding modules. Three sets of processing conditions in industry were simulated and demonstrated the applications of this model. The comparison between experiments and simulation results could also validate this model. This model could be used to simulate various drafting process with appropriate drafting settings.
基金supported by the National Natural Science Foundation of China under Grant Nos.61903274,61873342,61973175the Tianjin Natural Science Foundation of China under Grant No.18JCQNJC74000。
文摘In some practical applications modeled by discrete-event systems(DES),the observations of events may be no longer deterministic due to sensor faults/failures,packet loss,and/or measurement uncertainties.In this context,it is interesting to reconsider the infinite-step opacity(∞-SO)and K-step opacity(K-SO)of a DES under abnormal conditions as mentioned.In this paper,the authors extend the notions of∞-SO and K-SO defined in the standard setting to the framework of nondeterministic observations(i.e.,the event-observation mechanism is state-dependent and nondeterministic).Obviously,the extended notions of∞-SO and K-SO are more general than the previous standard ones.To effectively verify them,a matrix-based current state estimator in the context of this advanced framework is constructed using the Boolean semi-tensor product(BSTP)technique.Accordingly,the necessary and sufficient conditions for verifying these two extended versions of opacity are provided as well as their complexity analysis.Finally,several examples are given to illustrate the obtained theoretical results.
文摘In this paper we provide a sufficient and necessary condition for the eigenvalueand eigenvector of a general reducible matrix in a discrete-event system described by the“max”algebra,analyse the steady periodical performance of the system,and obtain ananalytic solution of the dynamic equation.We propose the conception of“order-d-(?)-block-periodical matrix”and obtain its sufficient and necessary condition and provide an algorithmof (?) matrix.
文摘The customer population of entities potentially requesting to join a queue for service often have identical structure, i.e., the same state set and isomorphic transitions. The state size of the automaton modeling a queue will grow rapidly with increase of the size of this population. However, by relabeling the queue arrival events and service events to the same symbols respectively, the automaton model of a queue will be converted to the structure of a buffer, which is proved to be independent of the total size of the customer population, as long as the queue size is held fixed. We propose the model of a dynamic buffer to embody order and shift of a queue. The result is applied to a manufacturing facility with a dynamic buffer to manage the repair of broken down machines.
基金The support from Singapore Ministry of Education Tier 1 Academic Research[grant number M4011221.040 RG84/13]is gratefully acknowledged.
文摘Concurrency is a common feature in most industrial systems,where several components can execute different actions simultaneously.In this paper,we first introduce a new feasible nonblocking concurrent supervisory control map for a concurrent system,and subsequently,new concepts of concurrent controllability and concurrent observability.Then we present a sufficient and necessary condition for the existence of a feasible nonblocking concurrent supervisory controlmap to achieve a given concurrent language.After introducing a new concept of prefix-closed concurrent normality,we show that the supremal concurrently controllable and prefix-closed concurrently normal sublanguages exist and are computable.Our emphasis here is not to address the computational efficiency of solving concurrent supervisory control problems,which is still a technical challenge,but to show that the commonly used Ramadge–Wonham asynchronous control is simply a special case of our proposed concurrent control framework by providing an insightful treatment on compound events.
基金This work is supported in part by the National Natural Science Foundation of China(Grant Nos.71720107003 and 72033003).
文摘In the majority of the previous works on discrete-event stochastic systems,they have been assumed to have independent input processes.However,in many applications,these input processes can be highly correlated.Furthermore,the performance measures of the systems with correlated inputs can be significantly different from those with independent inputs.In this paper,we provide an overview on some commonly used methods for modeling correlated input processes,and we discuss the difficulties and possible future research topics in the study of discrete-event stochastic systems with correlated inputs.
文摘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.
文摘In shared-memory bus-based multiprocessors, when the number of processors grows, the processors spend an increasing amount of time waiting for access to the bus (and shared memory). This contention reduces the performance of processors and imposes a limitation of the number of processors that can be used efficiently in bus-based systems. Since the multi-processor’s performance depends upon many parameters which affect the performance in different ways, timed Petri nets are used to model shared-memory bus-based multiprocessors at the instruction execution level, and the developed models are used to study how the performance of processors changes with the number of processors in the system. The results illustrate very well the restriction on the number of processors imposed by the shared bus. All performance characteristics presented in this paper are obtained by discrete-event simulation of Petri net models.
文摘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 in partial by the National Natural Science Foundation of China(NSFC)under Grant No.U2268209。
文摘The problem of maximizing the throughput of Semiconductor Wafer Fabrication Systems is addressed.We model the fabrication systems as a Stochastic Timed Automata and design a discrete-event simulation scheme.The simulation scheme is explicit,fast and achieves high fidelity which captures the feature of reentrant process flow and is flexible to accommodate diversified wafer lot scheduling policies.A series of Marginal Machine Allocation Algorithms are proposed to sequentially allocate machines.Numerical experiments suggest the designed methods are efficient to find good allocation solutions.
文摘Efficient staff rostering and patient scheduling to meet outpatient demand is a very complex and dynamic task. Due to fluctuations in demand and specialist availability, specialist allocation must be very flexible and non-myopic. Medical specialists are typically restricted in sub-specialization, serve several patient groups and are the key resource in a chain of patient visits to the clinic and operating room (OR). To overcome a myopic view of once-off appointment scheduling, we address the patient flow through a chain of patient appointments when allocating key resources to different patient groups. We present a new, data-driven algorithmic approach to automatic allocation of specialists to roster activities and patient groups. By their very nature, simplified mathematical models cannot capture the complexity that is characteristic to the system being modeled. In our approach, the allocation of specialists to their day-to-day activities is flexible and responsive to past and present key resource availability, as well as to past resource allocation. Variability in roster activities is actively minimized, in order to enhance the supply chain flow. With discrete-event simulation of the application case using empirical data, we illustrate how our approach improves patient Service Level (SL, percentage of patients served on-time) as well as Wait Time (days), without change in resource capacity.
文摘This paper describes efficient data structures, namely the Indexed P-tree, Block P-tree, and Indexed-Block P-tree (or/P-tree, BP-tree, and IBP-tree, respectively, for short), for maintaining future events in a general purpose discrete event simulation system, and studies the performance of their event set algorithms under the event horizon principle. For comparison reasons, some well-known event set algorithms have been selected and studied, that is, the Dynamic-heap and the P-tree algorithms. To gain insight into the performance of the proposed event set algorithms and allow comparisons with the other selected algorithms, they are tested under a wide variety of conditions in an experimental way. The time needed for the execution of the Hold operation is taken as the measure for estimating the average time complexity of the algorithms. The experimental results show that the BP-tree algorithm and the IBP-tree algorithm behave very well with the event set of all the sizes and their performance is almost independent of the stochastic distributions.
基金co-supported by the Natural Science Foundation of Jiangsu Province – China (No. BK20160798)the Fundamental Research Funds for the Central Universities – China (Nos. 3082015NJ20150031, 3082014NJ20140017 and 3082014NJ20140015)
文摘Air traffic flow management(ATFM) is a collaborative process between the airspace provider and the airspace users. The result of the collaboration should be an outcome that maximizes the utility of the system without excessively penalizing any of the agents. This paper develops a discrete-event simulation model which consists of aggregate departure/arrival airports, flight routes, and sectors for evaluating the alternative collaborative route selection strategy. Given the different perspectives from air traffic control center(ACC) and airlines, eight performancemetrics and five alternative route selection strategies represent the past, current and proposed air traffic flow management operations that were evaluated. The Monte Carlo method combined with the Optimal Computing Budget Allocation(OCBA) simulation optimization technique is employed to assess the performance of different strategies. A case study of the upper air routes in central and southern China shows that the proposed model can be readily implemented to simulate different kinds of air traffic flow management strategies and predict the effect of changes on the airspace system. It also shows that the proposed alternative collaborative route selection strategy is an effective way in alleviating the en-route traffic congestion.
基金Project supported by JSPS KAKENHI(No.JP16K18122)。
文摘In this paper we provide a tutorial on the background of warehouse automation using robotic networks and survey relevant work in the literature.We present a new cyber-physical control method that achieves safe,deadlock-free,efficient,and adaptive behavior of multiple robots serving the goods-to-man logistic operations.A central piece of this method is the incremental supervisory control design algorithm,which is computationally scalable with respect to the number of robots.Finally,we provide a case study on 30 robots with changing conditions to demonstrate the effectiveness of the proposed method.
基金supported by MEdC-ANCS,Research Contract CEEX 5954/18.09.2006
文摘This paper presents a study on the performance of flexible manufacturing systems (FMSs), by using discrete event system (DES) models, considering resource losses modelled by a parameter entitled coverage factor. We conclude that the resources cell loss distribution between the tasks of a FSM is a real function that cannot be integrated, in order to calculate its primitive, in the classical sense of Riemann or Lebesgue, but only in the sense of Henstock-Kurzweil integral. Our result allows one to study more general processes where highly oscillatory functions occur. The method used to deduce the functi6n describing the resources cell loss distribution is compared with a classical method related in the literature, respectively rational interpolants. An example has been constructed to emphasize what we believe to be, new approaches.
文摘Call centers have grown world-wide during the past decade. One of the most important aspects considered by call center managers is the optimization of its operators, which implies covering the highly variable demand and f'mding an efficient way to assign people to certain shifts in order to achieve a desirable service level and abandonment rate. Another challenge is determining which system setup is appropriate for the specific call center. Should we have a single-skill call center or multi-skill call center? If we do have the latter, how many multi-skill agents should we have on staff?. In this case study, we generate and analyze discrete-event systems simulation-optimization models to test the behavior of a real-world call center under the actual configuration and under different levels of cross-training. The model results help call center managers by: 1) determining the optimal number of operators needed for different staff configtmations in order to achieve the targets for service level and abandonment; 2) providing information about the trade-off between the key measurements in the call center; and 3) providing useful information about the number of operators needed and used for each hour of operation to estimate the number of four-hour shifts required to achieve the performance targets. Our experimental f'mdings from this case study suggest that a bi-skill call center is economically better in the long-rtm compared to a full-skill or single-skill call center. This case study augments the call center body of knowledge by providing additional managerial insights for the operations management community.
文摘This paper presents a model for automatically parallelizing compiler based on C++ which consists of compile-time and run-time parallelizing facilities.The paper also describes a method for finding both intra-object and inter-object parallelism. The parallelism detection is completely transparent to users.
基金supported by the National Science Foundation(Nos.NSF-CNS-1239222,NSF-EECS-1253488)
文摘In this paper, we consider the problem of automatic synthesis of decentralized supervisor for uncertain discrete event systems. In particular, we study the case when the uncontrolled plant is unknown a priori. To deal with the unknown plants, we first characterize the conormality of prefix-closed regular languages and propose formulas for computing the supremal conormal sublanguages; then sufficient conditions for the existence of decentralized supervisors are given in terms of language controllability and conormality and a learning-based algorithm to synthesize the supervisor automatically is proposed. Moreover, the paper also studies the on-line decentralized supervisory control of concurrent discrete event systems that are composed of multiple interacting unknown modules. We use the concept of modular controllability to characterize the necessary and sufficient conditions for the existence of the local supervisors, which consist of a set of local supervisor modules, one for each plant module and which determines its control actions based on the locally observed behaviors, and an on-line learning-based local synthesis algorithm is also presented. The correctness and convergence of the proposed algorithms are proved, and their implementation are illustrated through examples.