The NP-hard scheduling problems of semiconductor manufacturing systems(SMSs) are further complicated by stochastic uncertainties. Reactive scheduling is a common dynamic scheduling approach where the scheduling scheme...The NP-hard scheduling problems of semiconductor manufacturing systems(SMSs) are further complicated by stochastic uncertainties. Reactive scheduling is a common dynamic scheduling approach where the scheduling scheme is refreshed in response to real-time uncertainties. The scheduling scheme is overly sensitive to the emergence of uncertainties because the optimization of performance(such as minimum make-span) and the system robustness cannot be achieved simultaneously by conventional reactive scheduling methods. To improve the robustness of the scheduling scheme, we propose a novel slack-based robust scheduling rule(SR) based on the analysis of robustness measurement for SMS with uncertain processing time. The decision in the SR is made in real time given the robustness. The proposed SR is verified under different scenarios, and the results are compared with the existing heuristic rules. Simulation results show that the proposed SR can effectively improve the robustness of the scheduling scheme with a slight performance loss.展开更多
In order to guarantee the safety service and life-span of long-span cable-stayed bridges, the uncertain type of analytic hierarchy process （AHP） method is adopted to access the bridge condition. The correlative theo...In order to guarantee the safety service and life-span of long-span cable-stayed bridges, the uncertain type of analytic hierarchy process （AHP） method is adopted to access the bridge condition. The correlative theory and applied objects of uncertain type of AHP are introduced, and then the optimal transitive matrix method is chosen to calculate the interval number judgment matrix, which makes the weights of indices more reliable and accurate. Finally, with Harbin Songhua River Cable-Stayed Bridge as an example, an index system and an assessment model are proposed for the condition assessment of this bridge, and by using uncertain type of AHP, the weights of assessment indices are fixed and the final assessment results of the bridge are calculated, which proves the feasibility and practicability of this method. The application of this assessment method can provide the scientific basis for maintenance and management of long-span cable-stayed bridges.展开更多
This paper addresses the state estimation problem for linear systems with additive uncertainties in both the state and output equations using a moving horizon approach. Based on the full information estimation setting...This paper addresses the state estimation problem for linear systems with additive uncertainties in both the state and output equations using a moving horizon approach. Based on the full information estimation setting and the game-theoretic approach to the H∞filtering, a new optimization-based estimation scheme for uncertain linear systems is proposed, namely the H∞-full information estimator, H∞-FIE in short. In this formulation, the set of processed data grows with time as more measurements are received preventing recursive formulations as in Kalman filtering. To overcome the latter problem, a moving horizon approximation to the H∞-FIE is also presented, the H∞-MHE in short. This moving horizon approximation is achieved since the arrival cost is suitably defined for the proposed scheme. Sufficient conditions for the stability of the H∞-MHE are derived. Simulation results show the benefits of the proposed scheme when compared with two H∞filters and the well-known Kalman filter.展开更多
This paper introduces uncertainty theory to deal with non-deterministic factors in ranking alternatives. The uncertain variable method (UVM) and the definition of consistency for uncertainty comparison matrices are pr...This paper introduces uncertainty theory to deal with non-deterministic factors in ranking alternatives. The uncertain variable method (UVM) and the definition of consistency for uncertainty comparison matrices are proposed. A simple yet pragmatic approach for testing whether or not an uncertainty comparison matrix is consistent is put forward. In cases where an uncertainty comparison matrix is inconsistent, an algorithm is used to generate consistent matrix. And then the consistent uncertainty comparison matrix can derive the uncertainty weights. The final ranking is given by uncertainty weighs if they are acceptable;otherwise we rely on the ranks of expected values of uncertainty weights instead. Three numerical examples including a hierarchical (AHP) decision problem are examined to illustrate the validity and practicality of the proposed methods.展开更多
As one of the commonly used queries in modern databases, skyline query has received extensive attention from database research community. The uncertainty of the data in wireless sensor networks makes the corresponding...As one of the commonly used queries in modern databases, skyline query has received extensive attention from database research community. The uncertainty of the data in wireless sensor networks makes the corresponding skyline uncertain and not unique. This paper investigates the Pr-Skyline problem, i.e., how to compute the skyline with the highest existence probability in a computational and energy-efficient way. We formulate the problem and prove that it is NP-Complete and cannot be approximated in a given expression. However, the proposed algorithm SKY-SEARCH with pruning techniques can guarantee the computational efficiency given relatively large input size, while the filter-based distributed optimization strategy significantly reduces the transmission cost and the required storage space of the sensor nodes. Extensive experiments verify the efficiency and scalability of SKY-SEARCH and the distributed optimizing strategy.展开更多
This paper is concerned with a class of uncertain backward stochastic differential equations （UBSDEs） driven by both an m-dimensional Brownian motion and a d-dimensional canonical process with uniform Lipschitzian c...This paper is concerned with a class of uncertain backward stochastic differential equations （UBSDEs） driven by both an m-dimensional Brownian motion and a d-dimensional canonical process with uniform Lipschitzian coefficients. Such equations can be useful in mod- elling hybrid systems, where the phenomena are simultaneously subjected to two kinds of un- certainties： randomness and uncertainty. The solutions of UBSDEs are the uncertain stochastic processes. Thus, the existence and uniqueness of solutions to UBSDEs with Lipschitzian coeffi- cients are proved.展开更多
基金funded by the National Natural Science Foundation of China(Grant NO:71690234)
文摘The NP-hard scheduling problems of semiconductor manufacturing systems(SMSs) are further complicated by stochastic uncertainties. Reactive scheduling is a common dynamic scheduling approach where the scheduling scheme is refreshed in response to real-time uncertainties. The scheduling scheme is overly sensitive to the emergence of uncertainties because the optimization of performance(such as minimum make-span) and the system robustness cannot be achieved simultaneously by conventional reactive scheduling methods. To improve the robustness of the scheduling scheme, we propose a novel slack-based robust scheduling rule(SR) based on the analysis of robustness measurement for SMS with uncertain processing time. The decision in the SR is made in real time given the robustness. The proposed SR is verified under different scenarios, and the results are compared with the existing heuristic rules. Simulation results show that the proposed SR can effectively improve the robustness of the scheduling scheme with a slight performance loss.
基金Specialized Research Fund for the Doctoral Programof Higher Education (No20050213008)the Scientific and TechnicalPlan Item of Communications Department of Heilongjiang Province ofChina (2004)
文摘In order to guarantee the safety service and life-span of long-span cable-stayed bridges, the uncertain type of analytic hierarchy process （AHP） method is adopted to access the bridge condition. The correlative theory and applied objects of uncertain type of AHP are introduced, and then the optimal transitive matrix method is chosen to calculate the interval number judgment matrix, which makes the weights of indices more reliable and accurate. Finally, with Harbin Songhua River Cable-Stayed Bridge as an example, an index system and an assessment model are proposed for the condition assessment of this bridge, and by using uncertain type of AHP, the weights of assessment indices are fixed and the final assessment results of the bridge are calculated, which proves the feasibility and practicability of this method. The application of this assessment method can provide the scientific basis for maintenance and management of long-span cable-stayed bridges.
基金supported by the European Community s Seventh Framework Programme FP7/2007-2013(No.223854)COLCIENCIAS-Departamento Administrativo de Ciencia,Tecnologíae Innovacin de Colombia
文摘This paper addresses the state estimation problem for linear systems with additive uncertainties in both the state and output equations using a moving horizon approach. Based on the full information estimation setting and the game-theoretic approach to the H∞filtering, a new optimization-based estimation scheme for uncertain linear systems is proposed, namely the H∞-full information estimator, H∞-FIE in short. In this formulation, the set of processed data grows with time as more measurements are received preventing recursive formulations as in Kalman filtering. To overcome the latter problem, a moving horizon approximation to the H∞-FIE is also presented, the H∞-MHE in short. This moving horizon approximation is achieved since the arrival cost is suitably defined for the proposed scheme. Sufficient conditions for the stability of the H∞-MHE are derived. Simulation results show the benefits of the proposed scheme when compared with two H∞filters and the well-known Kalman filter.
文摘This paper introduces uncertainty theory to deal with non-deterministic factors in ranking alternatives. The uncertain variable method (UVM) and the definition of consistency for uncertainty comparison matrices are proposed. A simple yet pragmatic approach for testing whether or not an uncertainty comparison matrix is consistent is put forward. In cases where an uncertainty comparison matrix is inconsistent, an algorithm is used to generate consistent matrix. And then the consistent uncertainty comparison matrix can derive the uncertainty weights. The final ranking is given by uncertainty weighs if they are acceptable;otherwise we rely on the ranks of expected values of uncertainty weights instead. Three numerical examples including a hierarchical (AHP) decision problem are examined to illustrate the validity and practicality of the proposed methods.
文摘As one of the commonly used queries in modern databases, skyline query has received extensive attention from database research community. The uncertainty of the data in wireless sensor networks makes the corresponding skyline uncertain and not unique. This paper investigates the Pr-Skyline problem, i.e., how to compute the skyline with the highest existence probability in a computational and energy-efficient way. We formulate the problem and prove that it is NP-Complete and cannot be approximated in a given expression. However, the proposed algorithm SKY-SEARCH with pruning techniques can guarantee the computational efficiency given relatively large input size, while the filter-based distributed optimization strategy significantly reduces the transmission cost and the required storage space of the sensor nodes. Extensive experiments verify the efficiency and scalability of SKY-SEARCH and the distributed optimizing strategy.
基金Supported by National Natural Science Foundation of China(71171003,71210107026)Anhui Natural Science Foundation(10040606003)Anhui Natural Science Foundation of Universities(KJ2012B019,KJ2013B023)
文摘This paper is concerned with a class of uncertain backward stochastic differential equations （UBSDEs） driven by both an m-dimensional Brownian motion and a d-dimensional canonical process with uniform Lipschitzian coefficients. Such equations can be useful in mod- elling hybrid systems, where the phenomena are simultaneously subjected to two kinds of un- certainties： randomness and uncertainty. The solutions of UBSDEs are the uncertain stochastic processes. Thus, the existence and uniqueness of solutions to UBSDEs with Lipschitzian coeffi- cients are proved.
