Advanced Materials Research Vols. 753-755

Abstract: The paper focuses on improved ant colony algorithm using in design of the internet of things storage and mailbox system. The improved ant colony algorithm solves the problems of the location of the storage mailbox mounting and user selection of optimal delivery.

Abstract: The paper is devoted to studying the solution for boundary value problem of composite Hermit equations. Based on the obtained solution with similar structural formula, a new method which is called as Similar Constructive Method (shortened as SCM) was put forward for solving this type of boundary value problem. The SCM is a simply and practical method, which provides convenience for solving boundary value problems of composite differential equations.

Abstract: It is because of many reasons the trajectory calculated from the theoretical model and the actual trajectory have some error, so the experimental results on the theoretical trajectory must be corrected. In this paper, two degrees of freedom of particle trajectory equations are used to determine the ballistic coefficient. And a SVM Neural Network which has a great learning ability and generalization ability of the extremely small sample is used to adaptive learning the solver deviation of the fit between the trajectory and measured trajectory and amend the ballistic coefficient and modified theoretical trajectory solver results. The test shows that this method has a good precision and stability, and the algorithm can be simple programmed. And it has some value in engineering.

Abstract: Systems composing of dynamical units are ubiquitous in nature, ranging from physical to technological, and to biological field. These systems can be naturally described by networks, knowledge of its Laplacian eigenvalues is central to understanding its structure and dynamics for a network. In this paper, we study the Laplacian spectra of a family with scale-free and small-world properties. Based on the obtained recurrence relations, we determine explicitly the product of all nonzero Laplacian eigenvalues, as well as the sum of the reciprocals of these eigenvalues. Then, using these results, we further evaluate the number of spanning trees, Kirchhoff index.

Abstract: With the rapid growth of mobile terminal diversity and versatility, manual generation and maintenance of different versions of a manga image are currently required in mobile phone animation industry to achieve best display effect on various terminal configurations. This paper does researches on the real-time retargeting technique for manga images. By generating the importance map and analyzing the redundancy of feature lines in the manga image, combined with a retargeting algorithm, the solution proposed in this paper can solve the real-time retargeting of manga images on mobile terminals. For most of manga images, this solution can automatically generate a good resizing image with its key object outstanding based on screen resolution and size of the target terminal in real time.

Abstract: Starting from six indicators like the ratio of the real estate investment growth and GDP growth etc., this article analyses the coordination degree of real estate investment and national economy with principal component analysis, and obtains the coordination index. Using 3σ method, the authors calculate the mean and standard deviation of the principal component indicator data, and then establish an early warning interval for real estate market . The results show that the real estate investment is a little excessive in recent years but the coordination degree between the real estate industry and the national economy is generally stable in China. Further investigations indicate that the change of the coordination index of the commercial housing sub-market is consistent with the whole commercial building market, but the one of the non-residential building is opposite to the total CB's.

Abstract: There is huge amount of data with complex uncertainty in the stock market. Meanwhile, efficient stock prediction is important in financial investment. This paper puts forward a classified and predicted model based on least squares support vector machine (LS-SVM) in the background of stock investment. This model preprocesses the input vector of stock indexes using the method of Wilcoxon symbols test and factor analysis, and determines the parameter of LS-SVM based on the genetic algorithm, after that classifies the stocks based on growth rate, then is trained using the stock sample. At last this paper verifies the model with the samples. It also presents a demo to predict the increasing trend of the stock. The result shows that this model owns favorable predicted ability with high correct classification rate.

Abstract: Due to the guitar operates inconveniently, and most of the electronic products take the approach of recording and playback but not helped much, in order to make the guitar more widespread, this text proposes a solution which in the way of matrix keyboard to play the guitar, and explains the design of electronic flat guitar based on LabVIEW [ to realize the function of electronic flat guitar by seting frequencies of the sound , as well as commonly used controls in LabVIEW.

Abstract: Mixed exponential distribution is a very important statistical model in life data analysis. In this paper, we give Bayesian estimations of mixed exponential distribution with Type-Ⅰ censored data by using conjugate prior distribution based on square loss function. And we prove that the Bayesian estimations are admissible.

Abstract: The biggest problem in model checking is state space explosion. Using predicate abstraction, state space of colored Petri net models were abstracted, and an algorithm was proposed to obtain the abstracted state space of a colored Petri net model without its original state space generated. A method to verify safety properties of Web service composition by abstracted state space was proposed. The problem of state space explosion is solved to some extend in this way. Finally an application of the method is illustrated with an example, which its efficiency shown.