Zipeng Zhang

Learn More
Verifying the implementation of concurrent objects essentially proves the fine-grained implementation of object methods refines the corresponding abstract atomic operations. To simplify the specifications and proofs, we usually need auxiliary history and prophecy variables to record events occur historically and to predict the occurrence of certain events,(More)
In the analysis of MDLAP, this paper creatively combines the mathematical optimization model of cost-based multiple targets distribution location problem into a logistics location selection decision model with a multiple influencing factors, then put forward the method of data standardization processing, entropy weight, the method of principal component(More)