Intelligent process planning(PP)is one of the most important components in an intelligent manufacturing system and acts as a bridge between product designing and practical manufacturing.PP is a nondeterministic polyno...Intelligent process planning(PP)is one of the most important components in an intelligent manufacturing system and acts as a bridge between product designing and practical manufacturing.PP is a nondeterministic polynomial-time(NP)-hard problem and,as existing mathematical models are not formulated in linear forms,they cannot be solved well to achieve exact solutions for PP problems.This paper proposes a novel mixed-integer linear programming(MILP)mathematical model by considering the network topology structure and the OR nodes that represent a type of OR logic inside the network.Precedence relationships between operations are discussed by raising three types of precedence relationship matrices.Furthermore,the proposed model can be programmed in commonly-used mathematical programming solvers,such as CPLEX,Gurobi,and so forth,to search for optimal solutions for most open problems.To verify the effectiveness and generality of the proposed model,five groups of numerical experiments are conducted on well-known benchmarks.The results show that the proposed model can solve PP problems effectively and can obtain better solutions than those obtained by the state-ofthe-art algorithms.展开更多
A target is assumed to move according to a Brownian motion on the real line. The searcher starts from the origin and moves in the two directions from the starting point. The object is to detect the target. The purpose...A target is assumed to move according to a Brownian motion on the real line. The searcher starts from the origin and moves in the two directions from the starting point. The object is to detect the target. The purpose of this paper is to find the conditions under which the expected value of the first meeting time of the searcher and the target is finite, and to show the existence of a search plan which made this expected value minimum.展开更多
基金supported in part by the National Natural Science Foundation of China(51825502,51775216)in part by the Program for Huazhong University of Science and Technology(HUST)Academic Frontier Youth Team(2017QYTD04).
文摘Intelligent process planning(PP)is one of the most important components in an intelligent manufacturing system and acts as a bridge between product designing and practical manufacturing.PP is a nondeterministic polynomial-time(NP)-hard problem and,as existing mathematical models are not formulated in linear forms,they cannot be solved well to achieve exact solutions for PP problems.This paper proposes a novel mixed-integer linear programming(MILP)mathematical model by considering the network topology structure and the OR nodes that represent a type of OR logic inside the network.Precedence relationships between operations are discussed by raising three types of precedence relationship matrices.Furthermore,the proposed model can be programmed in commonly-used mathematical programming solvers,such as CPLEX,Gurobi,and so forth,to search for optimal solutions for most open problems.To verify the effectiveness and generality of the proposed model,five groups of numerical experiments are conducted on well-known benchmarks.The results show that the proposed model can solve PP problems effectively and can obtain better solutions than those obtained by the state-ofthe-art algorithms.
文摘A target is assumed to move according to a Brownian motion on the real line. The searcher starts from the origin and moves in the two directions from the starting point. The object is to detect the target. The purpose of this paper is to find the conditions under which the expected value of the first meeting time of the searcher and the target is finite, and to show the existence of a search plan which made this expected value minimum.