Applied Mechanics and Materials Vols. 58-60

Abstract: The work of Web Service verification mainly concentrated in testing service functional correctness, the non-functioning attribute description and verification is relatively rare. For the lack of non-functioning attribute service verification, the available time phrase of Web Service is added into the OWL-S model to describe time-attribute, establish the mapping rules and transformation method from OWL-S process model to ETPN, and the available time relation matrix is proposed to verify time constraints consistency based on the ETPN theory, it can help to remove the plan of service composition has time conflict and avoid the waste of Web Service resource.

Abstract: The GIF image files have high compression ratio, less disk space, fast transmission, etc., which are widely used in the Internet. However, some GIF images’ profile curves are not smooth, which will affect the integration with the background. So, it needs to be polished. In this paper, the major work is polishing the profile curve by using the finite element method. Firstly, it is to extract the profile curve of GIF image. Secondly, it is to establish the energy function of the profile curve and the corresponding minimum problem. Finally, it is to polish the profile curve by using the finite element method. The profile curve polishing algorithm in this paper do not required the curve expressed in explicit or implicit expression. It can make a good approximation of the original curve. Numerical experiments demonstrate that the algorithm is effective and efficient.

Abstract: To solving Chinese text categorization, a fast algorithm is proposed. The basic idea of the algorithm is: first constructs a weighted value of keywords dictionary which is constructed in key tree, then using the Hash function and the principle of giving priority for long term matching to mapping the strings in documentations to the dictionary. After that, calculate the sum of weights of the keywords which has been matched successfully. Finally take the maximum for the result of the classification. The algorithm can avoid the difficulty of Chinese word segmentation and its influence on accuracy of result. Theoretical analysis and experimental results indicate that the accuracy and the time efficiency of the algorithm is higher, whose comprehensive performance reaches to the level of current major technology.

Abstract: Echo data generated by Synthetic aperture radar (SAR) has the characteristics of high data rate and huge data quantity. However, the complex Chirp Scaling (CS) algorithm in SAR processing leads to excessive calculations. To solve this problem, this paper presents an implementation on a parallel structure real-time image processing board, which adopts principal-subordinate parallel processing structures. The principal FPGA board is responsible for the control of the entire image processing, data collection, distribution and interaction. Each subordinate FPGA, as an independent processing unit, is able to independently finish the FFT transformation and phase factor compensation. The performance of the high-performance parallel FFT processors is 4 times as efficient as that of a single butterfly processor.The phase factor generation and compensation is optimized through two steps, one is fast algorithm in phase factor generation and compensation; the other is the optimization among the processing procedures,The proposed architecture can process an image in size16384 × 65536 at 100MHZ operation frequency within 12.5s.

Abstract: Macao city located in the Pearl River delta, China, was chosen to study the effect of urban heat island and its time-series analysis of land surface temperature (LST) in spatial expansion. The LST was analyzed by a temperature separation method based on statistical results. In the case of urban area, it was composed by three parts: downtown and old built-up areas with high-density buildings and dwellings, new built-up areas and developing site. The trend of city development was studied that the developing site would become to be new built-up areas and the formerly new built-up areas would become to be the downtown and old built-up areas. These three parts stand for different stages of a city.

Abstract: A visualization car ABS simulation platform is presented with aid of the advanced computer technology. Based on the overall framework design of ABS virtual simulation platform, the implementation of ABS simulators and upper interface are analyzed in order to make the upper interface get the real-time wheel and speed signal and draw the ABS braking process animation. The simulation platform is applied to analyze the simulation animation process with or without ABS and promising results are omitted .It is proved that the simulation platform can intuitively see if the car is locked or deflected and reduce the ABS developing cycle greatly.

Abstract: A new method was proposed to solve multi-attribute group decision-making problems with natural language assessment information. In this method, firstly the linguistic assessment information given by each decision maker was aggregated by LWD and LOWA operators in order to obtain the group assessment information. Then, the preferred scheme is obtained from the result of aggregation. Finally, a simulation example was given to illustrate the validity of this approach.

Abstract: In this paper，a novel class of Cohen-Grossberg neural networks with inverse Hlder neuron activation functions is presented. By employing the Brouwer degree properties and linear matrix inequality techniques, the existence and uniqueness of equilibrium point for such Cohen-Grossberg neural networks are investigated. By constructing appropriate Lyapunov functions and using Lyapunov diagonally stable matrices, a sufficient condition which is used to checked the global exponential stability of a unique equilibrium point is established. A numerical example is given to demonstrate the effectiveness of the theoretical results.

Abstract: This paper considers parallel batch-processing machine problems with compatible job family, dynamic job arrivals, and non-identical job sizes to minimize total weighted tardiness. Given that the problem of interest is non-deterministic polynomial-time (NP) hard , we propose a hybrid genetic algorithm (HGA) that incorporates batching decision and batch scheduling. Moreover, HGA is compared with simulated annealing (SA) algorithms to assess the performance of the proposed algorithm. Computational results revealed that the proposed HGA outperformed in terms of the number of best solution found, and HGA is slightly better when comparing the average TWT value.

Abstract: A fast and simple calibration method based on vanishing point is carried out to overcome the disadvantage of low efficiency and operation problems which the traditional calibration methods based on standard calibration field has. Focal length and rotation matrix can be calculated by the information of two sets of parallel lines, then translation vector is obtained by the space length and image coordinates of a straight line derived from the origin. The results of experiment indicate the simplicity of this method. At the same time the efficiency is improved with satisfying calibration accuracy in practical application.