Time filter

Source Type

Dalian, China

Zhang Q.,Dalian Shipping College
Journal of Information Processing Systems | Year: 2014

One-dimensional arrays with subscripts formed by induction variables in real programs appear quite frequently. For most famous data dependence testing methods, checking if integer-valued solutions exist for one-dimensional arrays with references created by induction variable is very difficult. The I test, which is a refined combination of the GCD and Banerjee tests, is an efficient and precise data dependence testing technique to compute if integer-valued solutions exist for one-dimensional arrays with constant bounds and single increments. In this paper, the non-continuous I test, which is an extension of the I test, is proposed to figure out whether there are integer-valued solutions for one-dimensional arrays with constant bounds and non-sing ularincrements or not. Experiments with the benchmarks that have been cited from Livermore and Vector Loop, reveal that there are definitive results for 67 pairs of one- dimensional arrays that were tested.

Su S.,Dalian Maritime University | Liu B.,Dalian Shipping College | Wang H.,Dalian Shipbuilding Industry Offshore Co.
Open Automation and Control Systems Journal | Year: 2014

A mathematical model for dynamic fleet planning with multi routes and multi ship, which took the maximum total operation profits as its objective function was built up according to the characteristics of the shipping company. The model had the following characteristics: Firstly in the model, the long-term fleet planning and short-term scheduling were combined. Secondly the economic and technology indexes were changed with ship’s age, which fully reflects the dynamic fleet planning. At the same time, because of a large scale, discrete, multi-dimensional and multi-stage optimization problem has become very difficult to solve. An improved discrete particle swarm optimal (IDPSO) algorithm was used to solute the model. According to the characteristics of the traditional discrete particle swarm optimization algorithm, some methods including coding strategy, iterative formula, initialization, dimension mutation operator to avoid precocious etc for discrete particle swarm algorithm were used to improve the method, which can be more suitable for fleet planning’s mathematical model and to avoid premature phenomenon. Finally an example was given to show that the improved method was effective. © Su et al.

Su S.J.,Dalian Maritime University | Su S.J.,Wuhan University of Technology | Hu Y.,Wuhan University of Technology | Wang C.F.,Wuhan University of Technology | Liu B.,Dalian Shipping College
Applied Mechanics and Materials | Year: 2013

Research device structure upon suppressing impress and wrinkling about three-dimensional numerical control bending machine.3D ship curved-surface outside plate automatic forming process is always the difficult part in the field of domestic and international shipbuilding. Analyzing the problems in existing processing methods,for example, line heating technology has the defects of poor production conditions, large labor intensity, not environmental friendly and cold bending forming method may result in indentation, wrinkling or rebound phenomenon.Presents the forming process of a ship hull plate "based on square head adjustable die curved surface forming device". By setting the non pressure and a plurality of planar head to replace the traditional integral die method, the paper will illustrate the composition and working principles of the process at the same time try to implement effective control of indentation and wrinkle phenomenon followed by verification through experiments. © (2013) Trans Tech Publications, Switzerland.

Discover hidden collaborations