This paper aims to introduce the novel concept of neutrosophic crisp soft set(NCSS),including various types of neutrosophic crisp soft sets(NCSSs)and their fundamental operations.We define NCS-mapping and its inverse ...This paper aims to introduce the novel concept of neutrosophic crisp soft set(NCSS),including various types of neutrosophic crisp soft sets(NCSSs)and their fundamental operations.We define NCS-mapping and its inverse NCS-mapping between two NCS-classes.We develop a robust mathematical modeling with the help of NCS-mapping to analyze the emerging trends in social networking systems(SNSs)for our various generations.We investigate the advantages,disadvantages,and natural aspects of SNSs for five generations.With the changing of the generations,it is analyzed that emerging trends and the benefits of SNSs are increasing day by day.The suggested modeling with NCS-mapping is applicable in solving various decision-making problems.展开更多
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 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 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.展开更多
With the advance of new computational technology,stochastic systems simulation and optimization has become increasingly a popular subject in both academic research and industrial applications.This paper presents some ...With the advance of new computational technology,stochastic systems simulation and optimization has become increasingly a popular subject in both academic research and industrial applications.This paper presents some of recent developments about the problem of optimizing a performance function from a simulation model.We begin by classifying different types of problems and then provide an overview of the major approaches,followed by a more in-depth presentation of two specific areas:optimal computing budget allocation and the nested partitions method.展开更多
Welding operation of metals, gives rise to high temperature that results in melting of mating parts. The final composition of the joints formed in terms of its microstructure and properties at the fusion zone depends ...Welding operation of metals, gives rise to high temperature that results in melting of mating parts. The final composition of the joints formed in terms of its microstructure and properties at the fusion zone depends greatly on the degree of dilution of the weld. With an expert prediction technique, it may be possible to predict even before weld, the integrity of weld joint from the proposed process parameter. The aim of this study is to predict the percentage dilution (%D) of TIG mild steel welds using fuzzy logic. In this study, the weld specimen was produced using the TIG welding process guided by the central composite experimental design and thereafter percentage dilution (%D) was measured and fed to the fuzzy logic software. The process parameters include the voltage, current, gas flow rate and welding speed. The results obtained showed that the fuzzy logic tool is a good predictive tool and the model developed has proven to be very efficient in handling works of this nature, thereby saving time, energy and money wasted in pre-welding procedures. It would be encouraging to compare other quality parameters with process parameters to see how it can further help in quality improvement.展开更多
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.展开更多
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.展开更多
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.展开更多
We review Discrete-Event system Specification(DEVS)in the context of Model-based Systems Engineering(MBSE)and discuss an application of DEVS methodology to MBSE.We outline support for an envisioned MBSE development cy...We review Discrete-Event system Specification(DEVS)in the context of Model-based Systems Engineering(MBSE)and discuss an application of DEVS methodology to MBSE.We outline support for an envisioned MBSE development cycle of DEVS top-to-bottom MBSE capability and offer an example of mapping UML activity diagrams into executable activity-based DEVS models.We close with conclusions and future research directions.展开更多
基金the Deanship of Scientific Research at King Khalid University for funding this work through General Research Project under Grant No.R.G.P.2/181/44.
文摘This paper aims to introduce the novel concept of neutrosophic crisp soft set(NCSS),including various types of neutrosophic crisp soft sets(NCSSs)and their fundamental operations.We define NCS-mapping and its inverse NCS-mapping between two NCS-classes.We develop a robust mathematical modeling with the help of NCS-mapping to analyze the emerging trends in social networking systems(SNSs)for our various generations.We investigate the advantages,disadvantages,and natural aspects of SNSs for five generations.With the changing of the generations,it is analyzed that emerging trends and the benefits of SNSs are increasing day by day.The suggested modeling with NCS-mapping is applicable in solving various decision-making problems.
文摘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 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.
基金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.
基金Some of this material was presented at the 2008 INFORMS Annual Meeting and 2008 Winter Simulation Conference[56,57]This work was supported in part by Department of Energy under Award DE-SC0002223NIH under Grant 1R21DK088368-01.
文摘With the advance of new computational technology,stochastic systems simulation and optimization has become increasingly a popular subject in both academic research and industrial applications.This paper presents some of recent developments about the problem of optimizing a performance function from a simulation model.We begin by classifying different types of problems and then provide an overview of the major approaches,followed by a more in-depth presentation of two specific areas:optimal computing budget allocation and the nested partitions method.
文摘Welding operation of metals, gives rise to high temperature that results in melting of mating parts. The final composition of the joints formed in terms of its microstructure and properties at the fusion zone depends greatly on the degree of dilution of the weld. With an expert prediction technique, it may be possible to predict even before weld, the integrity of weld joint from the proposed process parameter. The aim of this study is to predict the percentage dilution (%D) of TIG mild steel welds using fuzzy logic. In this study, the weld specimen was produced using the TIG welding process guided by the central composite experimental design and thereafter percentage dilution (%D) was measured and fed to the fuzzy logic software. The process parameters include the voltage, current, gas flow rate and welding speed. The results obtained showed that the fuzzy logic tool is a good predictive tool and the model developed has proven to be very efficient in handling works of this nature, thereby saving time, energy and money wasted in pre-welding procedures. It would be encouraging to compare other quality parameters with process parameters to see how it can further help in quality improvement.
基金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.
基金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.
文摘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.
文摘We review Discrete-Event system Specification(DEVS)in the context of Model-based Systems Engineering(MBSE)and discuss an application of DEVS methodology to MBSE.We outline support for an envisioned MBSE development cycle of DEVS top-to-bottom MBSE capability and offer an example of mapping UML activity diagrams into executable activity-based DEVS models.We close with conclusions and future research directions.