Advanced Materials Research Vols. 989-994

Abstract: The storage of the massive data puts forward higher requirements in quantity and quality of hardware so that the cost of hardware rises. We have to use software for weakening the requirements of hardware. HDFS is just born for solving the massive data storage. Through the analysis of the files of the organization, storage mode, storage technology etc. this paper presents the optimization of data storage strategy of HDFS and the description of the optimization algorithm.

Abstract: The storage and management of the huge data is solved by the cloud storage. The users can access the data whenever and wherever possibly in the cloud. The cloud storage provides convenient services for users. The problem of data security has been paid more and more attention at the same time. Based on the problems of the big data and the high repetition rate, this paper presents the improvement of the existing mainstream encryption algorithm. The algorithm can encrypt the same data, storied in different locations, into different ciphertexts, to make sure the data security in the case of the trusted cloud.

Abstract: With the advent of the era of big data, data visualization display faces great challenges. Big data, especially in industries such as telecommunications, finance, almost to the point of "data is the business itself". At this time, in order to let more people understand, use and analyze the data better, we proposed the method to display the big data in the field of finance and the notion of the Zoom financial data visualization (ZFDV). By providing a consistent set of the preliminary design of ZFDV and the interaction of ZFDV techniques, ZFDV makes it possible for users to browse through very large data sets. These techniques use the structure of the displayed data to guide the human-interaction and provide a way to improve interactive navigation in the financial.

Abstract: This paper studies the iterative threshold algorithm (ITA) for solving the Robust Principal Component Analysis (RPCA) problems, which is to recover a low-rank matrix with a fraction of its entries being arbitrarily corrupted. By utilizing the primal-dual method, we analyze the ITA in a new way and prove that the ITA is essentially equivalent to gradient method applying to a dual problem. In the original ITA, it is hard to choose the parameters and hence it converges very slowly. Now, based on the new insight, existing techniques of the gradient method can be used to accelerate the ITA. We combine the theoretical derivation with the numerical simulation experiments to give an empirical guidance to set the parameters. As illustration, background modeling problem is solved by the ITA with optimal parameters.

Abstract: With the development of science, the scope of application of robot is more and more extensive. The path planning problem of mobile robot ,has been always an important research content of intelligent robot .In this paper , firstly we can construct feasible work space mode , through the random grid method to given the starting point ,end point and each obstacle .Then we can use the improved AFSA for path optimization .In the algorithm ,we ignore the congestion factor ,it is based on the preying behavior ,supplemented by the following behavior and swarm behavior .

Abstract: Traffic rule is set to enable the safety and efficiency of the traffic. This paper takes the keep-right-except-to-pass rule as the research object. A three-lane cellular automaton model is proposed to simulate traffic flow. Through computer simulating, we analyze the relationships among traffic flow, overtaking ratio, average speed and density. The result shows that the rule although can increase the traffic flow and the average speed, the effect is not very evident, while this rule instead can increase driving safety in a large scale.

Abstract: In probabilistic model checking, use discrete time Markov chain (DTMCs) to represent the model and use a branch of the temporal logic called probabilistic computation tree(PCTL) to represent the properties of the model. In this paper, we presents several counterexample generation algorithms for DTMCs violating a PCTL formula, presented as follows: first, according to the transitive closure to reduce the model size against the specific properties of the model, second, using the minimal connected components to generate the equivalent acyclic graph, third, we use the algorithm of the operational research to obtain a shortest path between two points. Experimental results show that our algorithm greatly simplifies the model size and generate more reasonable counterexamples with least states and paths.

Abstract: We describe how to compute volumes of solids surrounded by a quadric surface and a plane. First, we use coordinate transformations to change an equation of a quadric surface into a standard equation, then apply integration techniques to find formulae of computing volumes. A MATLAB procedure is programmed that can be used to evaluate volumes bounded by a quadric surface and a plane.

Abstract: Aiming at the degeneration phenomenon of images taken in mist, according to features of the drop quality image, this paper proposed a novel defogging algorithm based on improved atmospheric scattering model. The problem of fog-degraded images defogging restoration is transformed into the problem of optimization estimation for original un-degraded image by maximizing the global contrast object function, in this way, the proposed algorithm can restore the object image as completely as possible in probability sense. The experimental results show that the method can effectively improve the fog degeneration phenomenon and improve image clarity, significantly improving drop quality image visual effect.

Abstract: For the problems that the street running state and information was difficult to feedback and reasonable control, we apply the topology model to the street lighting management system, and complete the optimization control in this paper. Using the fuzzy control theory to handle the road signals, the intelligent lighting region controller integrates the thyristor chopper with the autotransformer technology, carries out the soft start and slow slope control to the street light, and realizes automatic voltage and energy saving. At finally, the system can realize the energy-saving control and intelligent, networked management of city street lamp.