2014, volume 18, №6

Jingfei Jiang¹, Rongdong Hu¹, Lujάn Mikel², Yong Dou¹

1Science and Technology on Parallel and Distributed Processing Laboratory, National University of Defense Technology, ChangSha, Hunan 410073, China

2University of Manchester, Manchester, M13 9PL, UK

Deep Belief Networks (DBNs) are state-of-art Machine Learning techniques and one of the most important unsupervised learning algorithms. Training DBNs is computationally intensive which naturally leads to investigate FPGA acceleration. Fixed-point arithmetic can be used when implementing DBNs in FPGAs to reduce execution time, but it is not clear the implications for accuracy. Previous studies have focused only on accelerators using some fixed bit-widths. A contribution of this paper is to demonstrate the bit-width effect on various configurations of DBNs in a comprehensive way by experimental evaluation. Explicit performance changing points are found using various bit-widths. The impact of sigmoid function approximation, required part of DBNs, is evaluated. A solution of mixed bit-widths DBN is proposed, fitting the bit-widths of FPGA primitives and gaining similar performance to the software implementation. Our results provide a guide to inform the design choices on bit-widths when implementing DBNs in FPGAs documenting clearly the trade-off in accuracy.

Huiyong Li, Yixiang Chen

Software Engineering Institute, East China Normal University, N. Zhongshan Rd. 3663, Shanghai, China

With the complex event processing technology has been widely used in processing the information of the internet of things, many scholars have proposed a lot of event query languages(EQL) for different scenarios. Early scholars generally study the operational semantics of EQL. Recently, many researchers begin to pay attention to the correctness of the operational semantics of the EQL. Some researchers have shown the correctness of the operational semantics by proven the equivalence between the denotational semantics and the operational semantics of EQL. The internet of vehicles is an important research branch of internet of things and it has a very wide range of applications. STeCEQL is a spatial and temporal constraint EQL for the internet of vehicles. In this paper, we focus on the correctness of the operational semantics of STeCEQL. We mainly establish the denotational semantics of STeCEQL. Finally, we prove the equivalence between the two semantics of STeCEQL. Therefore, the operational semantics of STeCEQL are correct.

Cuirong Zhao¹, Honghai Wang²

¹Anhui Wonder University of Information Engineering, Hefei, 231201, China

²The Department of Information and Communication Technology of Anhui Sanlian University, Hefei, 230601, China

This paper discusses discrete event system simulation output analysis method with fuzzy input parameter. For a classic discrete event model, which contains randomness, once stimulation running is only a sampling according to systematic behaviour, which could not represent all features of the system. Hence, there should be a systematic analysis method, under the guidance of which to apply multi-times stimulation of model and analyse output data of stimulation. This paper provides a solution and introduces random fuzzy theory at last to improve traditional output analysis method. Result of stimulation experiment proves that the method could improve the reliability of stimulation output analysis.

Weiliang Zhu

Qinggong College, Hebei United University, Tangshan, Hebei 063000, China

Rough set theory can effectively analyse and deal with incomplete information in simulation techniques. This paper studied the knowledge reduction problem and discrete continuous attributes and improved the BP neural network on the basis of rough set theory. Firstly, methods of attribute reduction of classical are analysis. This paper proposes a heuristic algorithm for reduction of knowledge based on information entropy. Subsequently, it studied the combination algorithm of rough set and neural network. Pre-treatment of sample data based on rough set in dealing with imprecision and uncertainty issues on the edge. The decision rules obtained after reduction in order to map to the training sample of neural network. Finally, the neuron number of hidden layer of neural network and hidden layer makes the neural network more logical. The simulation results show that the simulation technique of rough set and neural network has obvious complementary and reduce the time to train the neural network. It improved the training accuracy and generalization ability simulation techniques achieved satisfactory results.

Hong Li^{1, 2}, Xiaoping Ma¹, Zhenghua Xin²

¹School of Information and Electrical Engineering, China University of Mining and Technology, Xuzhou 221008, Jiangsu

²Laboratory of Intelligent Information processing, School of Information Engineering, Suzhou University, Suzhou 234000, Anhui

In order to provide the unified representation of granules under Granular Computing, this paper studied the granules’ basic meaning, descriptions and relationships between the features of granules, and described that the four elements of granules were closely related to granular features. Then the paper presented four-tuples formal representation on data levels based on granular features. The representation includes the object set, feature set, relationship sets and constraints set. Then the representations of several special granules were presented. They showed the unity and advantage of the representation. At last, this paper gave a specific example. By the example, the formal representation has important significance in methodology to solve the granular representation on data levels based on granular features well. And this method is conductive to solve problems and study of granular computing theory.

Weidong Tang^{1, 2, 3}, Jinzhao Wu^{2, 3}, Meiling Liu^{2, 4}

¹Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, China

²School of Information Science and Engineering, Guangxi University for Nationalities, Nanning 530006, China

³Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Nanning 530006, China

⁴Science Computing and Intelligent Information Processing of GuangXi higher education key laboratory，Nanning 530023, China

 An event structure acts as a denotational semantic model of concurrent systems. Action refinement is an essential operation in the design of concurrent systems. But there exists an important problem about preserving equivalence under action refinement. If two processes are equivalent with each other, we hope that they still can preserve equivalence after action refinement. In linear time equivalence and branching time equivalence spectrum, interleaving equivalences, which include interleaving trace equivalence and interleaving bisimulation equivalence are not preserved under action refinement. In this paper, we define a class of concurrent processes with specific properties and put forward the concept of clustered action transition, which ensures that interleaving equivalences are able to preserve under action refinement. 

Xiani Yang¹, Yaqin Lu², Cunzhi Tian¹

¹Economic Research Center, Kunming University of Science and Technology, 650093, Kunming, Yunnan, China

²Economic Research Institute, Yunnan University of Finance and Economics, 650221, Kunming, Yunnan, China

Based on the assumption of variable-investment, this paper introduces growth opportunity into the model of liquidity needs (Tirole, 2006). Through the establishment of mathematical optimization model, we analyse the influence of growth opportunities on liquidity needs and liquidity investment decisions. Both of mathematical derivation and numerical simulation show that, the entrepreneur tends to overinvest in illiquid assets if the growth opportunity is small; otherwise, he will overhoard of liquid assets. In addition, the agency costs due to information asymmetry may also affect the entrepreneur's decisions of liquid assets investment.

I Keshabyan-Ivanova

Departamento de Filología Inglesa, Universidad de Murcia, Facultad de Economía y Empresa Campus de Espinardo, 30100 Murcia. España (Spain)

The overall aim pursued in this work is to demonstrate how quantitative data and a range of different corpus-based analytical techniques can be used in assessing an author’s literary originality in relation to his texts’ structures and meanings. With this in mind, the present study provides a sample of quantitative analysis of the two literary texts –Shakespeare’s Hamlet [1685] and Sumarokov’s Gamlet [1787]. Prior research has explored Hamlet and Gamlet in terms of historical, philosophical, language-based, etc. approaches that have existed to date. Taking into consideration the aforementioned visions of both plays, a special perspective on Hamlet and Gamlet is adopted herein. Given the importance assigned to computer-assisted analysis of literary texts, the current study is based on the idea that the texts under examination contain a certain number of particular characters that are distributed in a special way within and among the acts and intervene with a particular frequency specified by the authors. To achieve this aim, the texts are closely read and, then, computational and quantitative resources are applied. In general, the relevant findings unveil substantial structural deviations of the presence and interventions of all main characters, leading to noticeable diversions in the role and weight assigned by the authors to them per different acts inter-plays.

Chunmei Huang¹, Chunmao Jiang¹, MingCheng Qu²

¹School of Computer Science Technology and Information Engineering, Harbin Normal University, Harbin, Heilongjiang 150025

²School of Computer Science and Technology, Harbin Institute of Technology 

This paper analyses the key issues confronted when SIHFT is implemented on the SPARC V8 platform, gives the algorithm to solve the problem and the corresponding technology solutions. Software error detection technology system was designed based on SPARC V8, and software signature control flow error detection technology was implemented, the system is based on the architecture of SPARC V8, uses software signature control flow error detection technology and copy instruction error detection technology as the prototype, it’s a software system which detects transient faults induced by space radiation and was developed through research, analysis and transformation, with availability, modifiability, portability, maintainability, readability, scalability and other features. The error detection coverage rate of software error detection technology suitable for target platform was tested through simulation experiments. The result data of experiments conducted in the emulator TSIM shows that on the basis of given average performance overhead, the system had high error detection coverage rate when brought in register injected fault and memory injection fault. This proved the SIHFT technology is feasible and effective.

Honghui Fan^{1, 2}, Hongjin Zhu^{1, 3}, Qingbang Han⁴

¹School of Computer Engineering, Jiangsu University of Technology, Changzhou 213001, Jiangsu, China

²Sichuan Province Key Laboratory of Bridge non-destructive testing and engineering computing, Zigong 643000, Sichuan, China

³Key Laboratory of Cloud Computing & Intelligent Information Processing of Changzhou City, Changzhou 213001, Jiangsu, China

⁴College of IOT Engineering, Hohai University, Jiangsu 213022, China

This research aims to recognize the defect of concrete materials using an ultrasonic computed tomography imaging technique. Filtered Backprojection method was used to reconstruct concrete images in this paper. Ultrasonic time of flight data was measured to reconstruct computer tomography images. 306 data paths were obtained in total by manual scanning for one computer tomography image. We examined the effect of the interpolation data as the density of time of flight data has a considerable effect on image quality. The feasibility of concrete reconstruction system and time of flight data interpolation were examined in detail using numerical and concrete phantoms.

Liang Jia, Nigang Sun

School of Information Science & Engineering, Chang Zhou University, 213164, China

Line segment detection is a typical image processing problem with constantly evolving solutions. Following the line segment detect (LSD) by Grompone von Gioi, two branches of algorithms merged. The first branch aimed to improve its speed at the cost of lower accuracy; the second applied in the opposite way. We investigated the philosophies of these methods, and attempt to develop a line segment detection algorithm based on statistical analyses of quantified directions (LSDSA) to achieve better accuracy and faster speed. We utilize a statistical approach estimating the distributions of pixels with direction values approximating the direction changes when traversing along the edges given by any edge detector. It efficiently reduces the dimension of the input data, and incurs limited increasing in computation time for validation process. The simulation results show that the proposed algorithm achieves better performance compared to the existing typical LSD algorithms. The experiment using industrial data in noisy cases also exhibits excellent performance.

Dajian Zhang, Minyan Lu, Nan Wu

School of Reliability and System Engineering, Beihang University, Beijing, P. R. China

As the massive damage caused by the failures of system control software becomes increasingly prominent, people pay more attention to the construction of assurance case to demonstrate the dependability level of system control software. In this paper, a new assurance case construction approach for system control software is proposed. Based on the metamodel of modular GSN, we give the basic procedure and tree structure deductive algorithm of the approach, and verify our work using Brake Control software used in an aircraft. The results show that the approach can develop assurance case effectively and efficiently.

Xiao-Yuan Qu

School of Information Engineering, Yulin University, 719000, Yulin, China

Noise estimation is one of the most important research topics in image processing. Aishy and Eric had proposed a variance estimation method used in Gaussian white-noise, in which, a measure was provided to determine the homogeneous blocks and an analyser was used in calculating the homogeneities. The approach should present two shortcomings corresponding to structures and textures. One is that the blocks with edge textures should be considered as intensity-homogeneous blocks that could have an effect on estimation accuracy. The other is that some special blocks with high variance but low homogeneity could result in over estimation. In order to avoid the two shortcomings, in this paper we have proposed an improved noise estimation approach by combining fast edge detection and block based methods. The blocks hold continuous points were firstly excluded rejected by using fast edge detection method. The experimental results indicated that our method can avoid over estimation effectively in special conditions and can obtain more accurate results than the Aishy and Eric’s method did.

Jianjun Chen

Yuanpei College of Shaoxing University, China

The deficiency of supervised discriminant information is the problem of Orthogonal Tensor Neighborhood Preserving Embedding (OTNPE) proposed recently for face recognition. So a dimension reduction algorithm called Supervised Orthogonal Tensor Neighborhood Preserving Embedding (SOTNPE) is proposed in the paper. On the basic of OTNPE, the algorithm achieves neighborhood reconstructions within the same class, preserving supervised class label information and neighborhood reconstruction information. Experiments on AR and YaleB face datasets show our proposed algorithm is efficient.

Jianjun Chen

Yuanpei College of Shaoxing University, China

Aiming at the deficiency of supervise information in the process of sparse reconstruction in Sparsity Preserving Projections (SPP), a semi-supervised dimensionality reduction method named Constraint-based Sparsity Preserving Projections (CSPP) is proposed. CSPP attempts to make use of supervision information of must-link constraints and cannot-link constraints to adjust the sparse reconstructive matrix in the process of SPP. On one hand, CSPP obtains the high discriminative ability from supervised pairwise constraint information. On the other hand, CSPP has the strong robustness performance, which is inherited from the sparse representation of data. Experimental results on UMIST, YALE and AR face datasets show, in contrast to unsupervised SPP and existing semi-supervised dimensionality reduction method on sparse representation, our algorithm achieves increase in recognition accuracy based on the nearest neighbour classifier and promotes the performance of dimensionality reduction classification.

Qinghui Wang, Wangyuan Huang

College of Information Engineering, Shenyang University of Chemical Technology, Shenyang, 110142, China

Aiming at the problem that Time of Advent-based wireless location is easily influenced by non-line-of-sight, a set of effective wireless ranging system for mitigating the influence of non-line-of-sight has been proposed in this paper. At first, the Kalman filter model has been established to eliminate the influence of non-line-of-sight, as well as the random interference. Secondly, it carries out the off-line filter simulation with test data to verify the effectiveness of the model. Finally, a set of ranging system has been designed by taking the ATmega1280 microprocessor as the controller and the nanoPAN5375 as the radio frequency chip, and it can carry out the real test on the improved ranging platform. According to the results, the designed system can accomplish the real-time dynamic filter, which can reduce the non-line-of-sight error with a high measurement precision, and it can also be applied in the location under non-line-of-sight environment directly.

Kai Song, Caihong Niu

Information Science and Engineering College, Shenyang Ligong University, Shenyang, China

The incomplete characters recognition in the license plate, characters can be divided into linear character and curve character. For the curve characters, used a method of statistic the number of character holes as the character characteristics for feature extraction, which extended seed filling algorithm in the Computer Graphics .For linear characters, we proposed a method of extracting a character conversion slope of the line feature by Hough transform, which had a good effect on linear character recognition.

Kunliang Liu¹, Jinming Huang²

¹School of Computer Science and Software Engineering, Tianjin Polytechnic University, Tianjin 300387, China

²Development and Research Center, China Geological Survey, Beijing 100037, China

3D Reconstruction often faces to a serial of 2D contour lines but not to volume data, which as we often processed, so study of 3D reconstruction based on multi-contours has important practical values. In the process of 3D-reconstruction based on multi-contours, contours correspondence, contours splicing, branch problem, and terminal contours closing are all its key technologies. In this paper we give the concrete solutions on every step of 3D construction of multi-contours. According to winding issue of contours we provide means of gauging sum of angles of contour’s edges adjacent to each other, which avoided error judging of winding of contours. As to branch issue of one contour corresponding to several contours, we give the way of splitting contour based on ratio in circumference of corresponding contours. We also give the mean of maximal field angle to reduce the calculation time on triangulating terminal contours. The solution we provided can give correct result of contours splicing under any kind of contours. It proves that every step of the solution is correct and effective. The solutions we designed are more general than other solutions.

You Lu, Xuefeng Xi, Ze Hua, Hongjie Wu, Ni Zhang

School of Electronic and Information Engineering, Suzhou University of Science and Technology, Suzhou, P.R. China

Detecting abnormal user behaviour is of great significance for a secured network, the traditional detection method, which is based on machine learning, usually needs to accumulate a large amount of abnormal behaviour data for training from different times or even different network environments, so the data gathered is not in line with practical data and thus affects accuracy, and that increases overhead for data labelling. In light of these disadvantages, this paper proposes the detection method based on collaborate learning, it uses under-sampling method based on distance and distribution to generate training sample from imbalanced data, and semi-supervised learning method combined by ensemble classifying method to reduce demand for labelled data, it also uses differentiated member classifiers based on mixed perturbation method for collaborate training and selectively build ensemble classifier according accuracy to detect abnormal user behaviour. Experiments based on data from simulation and real network showed that this method can effectively detect abnormal behaviour and outperform traditional methods in several evaluating indicators.

Xiaoxiong Wang

School of Architecture, Chang’an University, Xi’an, Shaanxi, 710075, China

Landscape designing CAD software are now mostly in two-dimensional draft stage in domestic, and three-dimensional visualization of designed landscape models and applications are still in the initial stage. The essay based on precise three dimensional solid modelling SketchUp software, introduces SketchUp software functions and features, and focuses on three aspects of garden design, hand-painted TIN terrain design, planting design and planning and design of garden objects. Through engineering examples to import the landscape of two-dimension vector data into SketchUp software, use SketchUp techniques flexibly to solve different details and avoid redundant and diverse work. After rendering and post processing, establishing a realistic visualization of three-dimensional entity model.

Jiansheng Peng^{1, 2}

¹National Key Laboratory of Communication, UEST of China Chengdu 610054, China

²Department of Physics and Mechanical & Electronic Engineering, Hechi University, Yizhou 546300, China

The robot path optimization solution is seek a collisionless path from starting point to end point to make the robot get the shortest route go along with planning path. Let robot path optimization problem map to mathematical model TSP (Traveling Salesman Problem) to resolve it, and make the corresponding algorithm realize robot path planning optimization was introduced in this paper. According to existent insufficiency of traditional artificial fish-swarm algorithm, using improved artificial fish-swarm algorithm optimizes the robot path planning, and stands out the superiority of improved artificial fish-swarm algorithm. The main improved aspect of artificial fish-swarm algorithm is increases examine link in foraging behaviour.

Hao-ran Shi^{1, 3}, Kejian Liu²

¹School of Energy and Environment, Xihua University, 610039, Chengdu, P.R.China

²School of Mathematics and Computer Engineering Xihua University, 610039 Chengdu, P.R.China

³School of Transportation and Logistics, Southwest Jiaotong University, 610031, Chengdu, P. R. China

In the two-stage supply chain, under the model of lead time reduction management cost shared by upstream and downstream based on Stackelberg Game, when suppliers have the priority of decision right rather than retailers, it is more advantageous to reduce the cost and the lead time and can reach the maximum profit for the whole supply chain.

Dashan Chen

School of Transportation Engineering, Huaiyin Institute of Technology, Huai’an, China

Active traffic management is method of increasing capacity and smoothing traffic flows. As one of the most important methods, speed guidance control could be used to improve operational efficiency and reduce accident rates. This paper aims to consider a variety of factors to determine the best traffic management services. Driver obedience for the speed guidance value affected the effect directly. The effect might also lose even play a negative role when the traffic demand reached a certain level. Simulation was carried out depending on different traffic demand and driver compliance rate through abstract urban expressway model. Six kinds of traffic demand under different obedience level were analysed comparatively. Speed guidance control has the positive effect about safety and efficiency when the traffic demand is low or medium. When the traffic demand is high, the effect on safety and efficiency both are negative, and different driver compliance rate affected the effect level to some extent.

Xueling Jiang^{1, 2}, Shuijie Qin¹

¹Laboratory for Photoelectric Technology and Application, Guizhou University, Guiyang, Guizhou, 550025, China

²College of Computer and Information Engineering, Guangxi Teachers Education University, Nanning, Guangxi, 530023, China

Crowd simulation has been widely applied in computer animation and graphics rendering technology. However, the social communication and emotional characteristics are often unrecognized in crowd simulation. In psychology, there are two kinds of emotional factors for humans: the internal one from the individual, and the external one from the neighbours. To this end, in this work, we propose simulate a crowd using affective computing with dynamic emotional transmission. Specifically, we use Hidden Markov Model (HMM) to model the emotions for individuals with consideration of personality, and to capture the internal emotion state transfer. Besides, we abstract a two-layer transmission process to quantify the impact from highly active neighbours. In addition, we conduct some simulation experiments to evaluate our proposed model.

Xiangyang Ren, Yu Ren, Qingmei Li

School of Economics and Management, Hebei University of Engineering, Guangming South Str.199, 056038 Handan, P.R.China

The paper sets up a single-cycle and two-level supply chain model of single rural cooperative and multiple retail enterprises, based on subsidies of option price to combined contract, with the profits maximization of the whole farming-enterprises' supply chain and each member as the goal. It gives the best order quantity and the profits of the whole supply chain and each member under two circumstances, centralized decision and decentralized decision. It also obtains conditions to achieve supply chain coordination. Finally, the paper verifies the model through an example.

Fei Shao^{1, 2}, BingHua Cheng²

¹Jiangsu Information Analysis Engineering Laboratory, Nanjing 211169, China

²School of Information Technology, Jinling Institute of Technology, Nanjing 211169, China

How does traffic processes in weighted networks impact on the dynamics of epidemic spreading have attracted increasing attention. It is of great importance to reduce the epidemic spreading velocity and increase the critical epidemic threshold of those real world networks. In this paper, the traffic driven epidemic spreading behaviour in BBV weighted networks is investigated. Formulas to describe the infected density and the epidemic threshold of weighted networks are derived and validated by simulations. The infected density and the epidemic threshold are found to undergo a corresponding change when packets are forwarded through different routes according to the different tuneable parameter. By simulations, the optimal route is explored which is better to control the epidemic spreading.

Guozhang Jiang¹, Chongwu Lei¹, Honghai Liu², Gongfa Li^{1, 2}

¹College of Machinery and Automation, Wuhan University of Science and Technology, Wuhan Postal 430081, Hubei, China

²Intelligent Systems and Biomedical Robotics Group, School of Creative Technologies, University of Portsmouth, PO1 2DJ, United Kingdom

According to the analysis of the characteristics of production process in iron and steel enterprise, production planning and scheduling model of multi-stage hybrid procedure and match of production scheduling mode and time were studied. Then the production planning model of production process in iron and steel enterprise was set up. Simulation analysis of production planning and scheduling was carried out using the production procedure of an iron and steel enterprise as an example. The good simulation results show that the established models are correspond to the actual conditions.

Gongfa Li^{1, 2}, Yikun Zhang¹, Guozhang Jiang¹, Honghai Liu², Jia Liu¹

¹College of Machinery and Automation, Wuhan University of Science and Technology, China

²Intelligent Systems and Biomedical Robotics Group, School of Creative Technologies, University of Portsmouth, PO1 2DJ, United Kingdom

Green manufacturing is an effective way of realizing the sustainable development strategy. From the view of evolution of production chain and goods value, energy-saving, cleaner production and green manufacturing of iron and steel industry is discussed and the importance of system optimization of steel manufacturing process is stressed. Connotation of green manufacturing for the iron and steel was explained, the function of steel production process for green manufacturing was discussed and the content system of implementation of green manufacturing for the iron and steel enterprise was established. Finally, the steel production process was optimized. The function of iron and steel manufacturing procedure are broaden-manufacturing function of steel product, function of energy conversion and function of waste recycling, which will enhance enterprise’s competitiveness and sustainability.

Houxing Tang

School of Business Administration, Nanchang Institute of Technology, Tianxiang Road 289, Nanchang, China

In order to measure the spatial effect of knowledge spillover on regional economic development, a spatial Durbin model, which contains the dependent variable GDP and independent variables Capital, Labour &Knowledge stock, was constructed based on C-D production function. And then an empirical study with 31 provinces of mainland China from year 2000 to 2011 was conducted. The results show that, firstly, the Capital, Labour and Knowledge-stock all have significant positive correlation with GDP. In other words, these three factors have an important impact on the local regional economic development, but the effect of Capital is the greatest and the Labour & Knowledge-stock follow suit. Secondly, the Capital and Labour have a negative spillover effect, but the Knowledge-stock has much more positive effect. Consequently, the governments of developing regions should make full use of the spatial effect of knowledge spillover from developed regions to promote the economic restructuring and great-leap-forward development, especially when they are lack of sufficient funds to support local R&D activities.

Xing Yu

Department of Mathematics & Applied Mathematics, Hunan university of humanities, science and technology, Loudi, 417000, P.R. China

Due to portfolio decision deals with future events and opportunities, the market information is uncertain. This paper aims to propose a fuzzy multi-period portfolio selection model to hedge against the uncertainty. A new transformation method based on qualitative possibility theory is developed to transfer the model to a crisp programming, which can be solved by an optimization technique. An example is used to illustrate our approach.

Chonghuan Xu

College of business Administration Zhejianggongshang University, Hangzhou, China

Center for Studies of Modern Business, Zhejiang Gongshang University, Hangzhou, China

Personalized service tends to be an emerging challenge in the field of interest mining on e-commerce platform, the issues of which include how to integrate the user's individual background factor, to hiddenly attain portal user interest behaviour, and to mine interest drift pattern. According to user interest drift problem of personalized service in network, this paper explains the user interest through an integration of individual background factor, user behaviour and interest. Meanwhile, it recommends the fuzzy logic thought to explain its impact factor weights comprehensively in order to reflect the level of the user interest on theme. And, it establishes the Hidden semi-Markov Model via user browsing path to detect whether the interest is drifted or not. Finally, the method is proved to be accurate through the experiment analysis.

Jing An, Bo Xu

School of Economics & Management, Changzhou Institute of Technology, Tongjiang South Road, No. 299, Changzhou, China

Evaluation system of C2C logistics customer satisfaction was mainly studied here. Firstly, three primary indexes and nine secondary indexes were constructed as the components of the evaluation system. Then the integrated use of AHP and FCE was carried on taobao.com as the empirical research. The result indicates that the overall logistics customer satisfaction of taobao.com is good. But there is still space for improvement. Through this study, logistics customer satisfaction of taobao.com is to improved. In addition, references are provided for other C2C enterprises and logistics companies. The common development of them is therefore promoted.

Bin Wang^{1, 2}, Dashe Li^{1, 2}, Shue Liu³

¹School of Computer Science and Technology, Shandong Institute of Business & Technology, Yantai, China

²Key Laboratory of Intelligent Information Processing in Universities of Shandong, Yantai, China

³School of Computer Science and Technology, Binzhou Medical University, Yantai 264003,

This paper has developed a set of management and experiment system for communication laboratories. Its development platform is Visual Basic 6.0, using access database, winsocket programming and multicast technology. Including several sets of software and using C/S architecture, the system can jointly work with data network configuration system so as to achieve the communication experiment of data network. It can conduct VLAN isolation and IP filter using right management switch, which can make multiple servers connect to the device simultaneously and completely control the numbers of computers entering the system at some point. By off-line configuration technology and shared online database technology, the system can make the device resources be assigned automatically to solve the basic problems of many people doing experiment at the same time.

Zhenfang He^{1, 2}

¹Cold and Arid Regions Environmental and Engineering Research Institute, Chinese Academy of Sciences, Lanzhou, China, 730000

²University of Chinese Academy of Sciences, Beijing, China, 100049

The objective of the present study is to build different models forecasting the daily mean relative humidity (MRH) values in China with the help of the meteorological parameters. A back-propagation artificial neural network (BPANN) models was employed to identify the relationship between meteorological factors and the relative humidity in China. Weather data 1-day lag was the input layer variables, including (1) the highest atmospheric pressure, (2) the lowest atmospheric pressure, (3) the average atmospheric pressure, (4) the average temperature, (5) the highest temperature, (6) the lowest temperature, (7) precipitation, (8) the average wind speed, (9) the maximum wind speed (the average wind speed over 10 minutes), (10) the utmost wind speed, (11) hours of sunlight, (12) the relative humidity. Experimental results: in the validation period for 1-day lead, the comparison of the prediction performance efficiency of the BPANN models indicated that the BPANN models with trainbr algorithm was superior to the remaining two ones (trainlm and traingdx) in forecasting the relative humidity time series in term of correlation coefficient (R). During the training and testing periods for 1-day lead, the best performance for the given problem was arid area, followed by semi-arid area, semi-humid area, and humid area respectively. The possible cause for the results was that the impact of these factors on the relative humidity in arid area was the largest, followed by semi-arid area, semi-humid area, and humid area, respectively. From the prediction results of MRHextrema, humid area was the first; semi-arid area was the second; semi-humid area was the third; and arid area was the fourth. From the prediction results of MRHextrema, trainbr algorithm was the best in arid area, semi-humid area, and humid area; but trainlm was the best in semi-arid area. So trainbr algorithm was further employed to predict MRH for 2, 3 or 4-day lead at Urumqi City. From the training and testing effects, 1-day lead was the best, followed by 2, 3 or 4-day lead respectively. In the prediction results of MRHextrema, the best was 2-day lead; the second was 3-day lead; the third was 1-day lead; and the fourth was 4-day lead. The BPANN model results will assist researchers determining meteorological parameters to forecast MRH.

Yulan Zhou

School of Economy & Management, Southwest Petroleum University, No.8, Xin Du Road, Chengdu, Sichuan, China

Dynamic pricing is concerned by business and academia as a pricing method, and has also made extensive research in this field. But the dynamic pricing theory with multi period is not mature considering monopolistic environment and after-sale service of manufacture. Because consumer not only pays attention to the product itself, but more emphasis on after-sale service of product with the changes of consumption concept and increasingly fierce market competition. Therefore good after-sale service is an important reason for consumers to purchase repetitively, which has become the key to the success of manufacture. This paper puts forward to the demand function with learning character, and constructs the multi-period dynamic pricing model on account of monopolistic manufacture and after-sale service level. Then it has important theoretical and practical significance when the conclusions are applied to the monopolistic manufacture. The research findings show the product price of manufacture fluctuates with oscillation both in the short and long term. But it is gradually reduced to a constant value for the magnitude or extent of the price oscillation with certain rate convergence in the long term. Finally, the price may tend to consumer's reservation price or unit operating cost of manufacture.

Jian Jin¹, Jianxiang Wang²

¹School of Economics, Hebei University, Baoding City, Hebei Province, China, 071002

²New Campus Administrative Commetee, Hebei University, Baoding City, Hebei Province, China, 071002

Based on the conventional C-D Production Function Model, this paper adopted Instrument Variable Model to measure the multifactor productivity growth of 223 cities at prefecture level and above in China, and probed into its relationship with local government public expenditure. It is shown that relationship between total public expenditure of local government and city multifactor productivity growth in China is significantly negative, which does not mean that local government public expenditure in China is inefficient, but because a considerable part of it is put into social security, health and medical care, and other public services. Further research by different productivity levels show that the faster productivity grows, the more deeply market-driven is the economics, the weaker is the negative correlation of local government public expenditure and productivity growth. Science & technology and educational expenditure of local government positively affect multifactor productivity growth in China cities significantly, however in varying degrees.

Qiuhong Zheng^{1, 2}, Liangrong Song¹

¹Business School, University of Shanghai for Science & Technology, Shanghai, China, 200093

²College of Computer Science and Information Technology, Zhejiang Wanli University, Ningbo, China, 315100

Based on the information asymmetry between enterprises and banks at the stage of loan application, a replicator dynamic model of bank-enterprise evolution at the pre-loan stage was established and analysed by using the evolutionary game theory (EGT) and the stability theory of nonlinear differential equation. A numerical simulation was also performed in details, which displayed intuitively how banks and enterprises achieved stable cooperation through long-term evolution. The results showed that, to effectively prevent pre-loan moral hazard, it was vitally important for commercial banks to improve their screening ability, increase disguised costs of enterprises, and formulate proper sanctions and appropriate amounts of penalty as per the local loan atmosphere also with the profit which the loan investment projects will make.

Yuhui Xu^{1, 2}, Qiuyue Luo^{1, 2}

¹Key Laboratory of New Technology for Construction of Cities in Mountain Area, Chongqing University, Chongqing, China, 40030

²Faculty of Architecture and Urban Planning, Chongqing University, Chongqing, China, 40030

It is difficult to take geological disasters defence into city planning, which can greatly prevent lands for construction from geological disasters and ensure the rationality, safety and high-efficiency of land-use. Based on the model of safe city planning and discussing from the angle of safe land arrangement, this paper proposes the system of the city planning for geological disasters defence. It focuses on the defence of mutant geological disasters and takes the geological hazards assessment as the foundation. It makes the detailed regulations of the “specific control and management”, which guarantees both the defence and the control of disasters from technology aspect. Besides, it puts forward methods with highly couple of different measures to defend different disasters in city planning system which can enhance the operability to answer the reality.

V Grekul, L Baydalina

National Research University Higher School of Economics, 20 Myasnitskaya Ulitsa, Moscow, 101000, Russia

Today, a data centre is the main instrument for providing flexible, scalable IT services to business on the basis of distributed or cloud computing technologies. Building a data centre is always expensive and resource-intensive project. Therefore, during the development of the concept of this project it is extremely important to estimate accurately its economic efficiency. This article represents the model for the analysis of the effectiveness of investment in the data centre construction. Our model comprises several regressions that show correlations between main characteristics of the project (capital and operational expenditures, Net Present Value) and parameters of the data centre under construction (data centre area and the number of racks). The model is based on the results of the analysis of the current state and trends in the data centre market in Russia.

Hongyan Li

School of Information Management, Hubei University of Economics, Wuhan, China

Energy consumption has increasingly become a serious problem in contemporary data centres. The electricity bill contributes a significant fraction of the Total Cost of Ownership (TCO), and it is predicted to increase at an even faster pace in the following years as extremely large volume of data are being generated on a daily basis which would necessitate corresponding storage capacity to hold them. As a profitable work-around step toward the energy problem within the cloud infrastructure, in this paper, we propose REST, an energy-efficient cloud storage, which is built upon a cluster-based object store similar to GFS. It achieves high energy-efficiency by cleverly exploiting the redundancy already present in the system without compromising the inherently well-established schemes for consistency, fault-tolerance, reliability, availability, etc., while maintaining a reasonable performance level. By modifying slightly the data-layout policy, REST can safely keep a large amount of the storage nodes in standby mode or even powered off entirely most of the time. Deploying a sophisticated monitor, it also provides the flexibility to power up sleeping or powered down nodes when necessary to accommodate to the variations in workloads. Trade-offs between energy efficiency and performance can be conveniently made by simply adjusting a trade-off metric in REST. The FileBench and real world workload experimental results demonstrate that power savings can reach 29% and 33%, respectively, while still providing comparable or even surprisingly better performance.

Zhijun Zhang^{1, 2, 3}, Hong Liu^{1, 2}

¹ School of Information Science and Engineering, Shandong Normal University, Jinan 250014, China

² Shandong Provincial Key Laboratory for Novel Distributed Computer Software, Jinan 250014, China

³ School of Computer Science and Technology, Shandong Jianzhu University, Jinan 250101, China

Proper understanding of textual data requires the exploitation and integration of unstructured and heterogeneous scientific literature, which are fundamental aspects in literature retrieval research. The traditional literature retrieval is based on keyword matching, and the retrieval results often deviating from the users' needs. In this paper from the perspective of ontology, we built shareable and relatively perfect medical enzyme ontology, which is the foundation of the study of domain ontology constructing method. The ontology-based full text retrieval algorithm is put forward, and a document retrieval system based on medical enzyme semantics is designed and implemented, which can not only implement intelligent literature retrieval, but also improve the recall significantly while keeping high precision. This system can employ in particular area moreover it can be used in different areas of the semantic retrieval, which can provide intelligent foundation for the expert systems in medical enzymes field, information retrieval and natural language understanding, etc. The experimental results on the public medical enzyme domain dataset show that our approach performs better than the state-of-the-art methods.

Gongfa Li^{1, 2}, Jia Liu¹, Guozhang Jiang¹, Honghai Liu², Wentao Xiao¹

1College of Machinery and Automation, Wuhan University of Science and Technology, Wuhan 430081 China

2Intelligent Systems and Biomedical Robotics Group, School of Creative Technologies, University of Portsmouth, PO1 2DJ, United Kingdom

Temperature is a key technical index in rotary kiln combustion process, which is so difficult to measure directly online. The offline analysis has large-time delay and poor precision. An intelligent prediction model of rotary kiln temperature based on case-based reasoning was developed, which consists of four modules: data collection and pre-treatment, prediction, online modification and effect estimate. The practical data of some rotary kiln were simulated. The industrial application results show that the prediction model can reflect the actual operation condition and meet the requirement of real-time control .Its effectiveness is proved evidently.

Chengbing He, Dongchao Chen

School of energy, power and mechanical engineering, North China Electric Power University, Beijing 102206, China

The series capacitor compensation technique can improve the transmission capability of transmission system; however, it may cause subsynchronous resonance (SSR) which will seriously influence the safe operation of large turbo-generator shafts. Aiming at a series capacitor compensation transmission system, the transient torques of SSR is simulated in different compensation degrees and unit load levels. Based on the modified segmentation Prony algorithm (MSPA) proposed in this paper, the characteristic frequencies and damping parameters are identified and analysed. The MSPA, complex Morlet wavelet and time-frequency contour map are integrated and used in analysis of transient torques of SSR in time-frequency field. The results of study show that the transient torques develop towards divergence direction and the frequencies of SSR (converted to the rotor side) in negative damping area move towards into low frequency area with the increasing of the compensation degree. With the increasing of the power output, the torque values of each shaft section will increase, but the dominant oscillation mode will not change. The increasing of power output can make the damping effect slightly change and the trend of the change develops towards the direction that is not conducive to restrain SSR.

Ming Lv, Xu Yan, Xin Nie, Huachen Pan, Haiqiang Liu

School of Mechanical Engineering, Hangzhou Dianzi University, 310018, Hangzhou, China

PIV experiments were carried out to study the mechanism and characteristics of a new artificial upwelling technology via differential heating named “Differential- Heating-Liquid-Upwelling” (DHLU). Results show that there is a small scaled area with high temperature around the modelling heat point source in DHLU system. The existence of this high temperature area is suggested as the power source of upwelling. Obvious upwelling flows upon the heating source were observed in DHLU system. The stream tube of upwelling for DHLU system is just like an upside-down cone. The max ascending velocity of horizontal layer increases firstly and decreases then as the height increases. A few of fluid masses with high ascend velocities were observed and the mechanism of the DHLU is revealed.

Shengli Liu, Xiang Gao, Pan Xu, Long Liu

State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou, 450002, China

According to the low accuracy and low stability of the single feature-based method for Trojan detection, a multi-feature fusion method based on SVM and DS evidence theory is proposed. First, three types of flow features such as session, upload data of session/download data of session, distribution of data packet size are extracted from the data stream. Then the SVM classification results of each single feature are used as evidences to construct the basic probability assigned (BPA). Finally, we use DS combination rule of evidence to achieve the decision fusion and give the final detection results by fusion results. The experimental results showed that the accuracy of multi-feature fusion method was 97.48% which has good performance on accuracy and stability compared with the single feature method in Trojan detection.

Yi Zhang, Xiuxia Yang, Weiwei Zhou

Department of Control Engineering, Naval Aeronautical and Astronautical University, Yantai, China

The study of autonomous planning of UAVs (Unmanned Aerial Vehicles) flyable on-line path to adapt unstructured environment and improve manoeuvring warfare capability has an important practical significance. A path planning algorithm on-line of UAV based on Pythagorean Hodograph (PH) curve is put forward, which can consider the kinematics and dynamic constraints. The effect of the key parameters on the trajectory generation are analysed, and the appropriate value range that satisfy the constrains are given. To overcome the blindness iteration, the method of improved estimation of distribution algorithm (EDA) is used to trajectory optimization. In the estimation of distribution algorithm, the probability selection mechanism of global elite individual based on interval selection is raised, which improve the speed and precision of the path generation. When the obstacle is detected by the UAV, only if the position and the direction of the interrupt point is given, the trajectory can be replaned online. Simulation results for UAV trajectory optimization generation prove the validity and practicability of the algorithm.

Juan Zhang, Hesong Jiang, Hong Jiang, Chunmei Chen

The Open Fund of Robot Technology Used for Special Environment Key Laboratory of Sichuan Province , School of Information Engineering, Southwest University of Science and Technology, Mianyang, China

Reliability is very important in digital radio point-to-point transmission system, especially for bulk data transfer in narrow band channel. Currently most applications are based on raw UDP service, which does not guarantee the reliability, and existing reliable UDP transfer protocols do not satisfy the performance expectations. The article presents R2UDP(Reduced Reliable UDP) over the air transfer suitable to radio system, SBACK (selective bundled ACK) and smart probe improves the transfer efficiency and saves the bandwidth, and also minimizes the impact of bulk data transfer to other traffic on the shared channel.

Wenqiang Chen

School of Economics and Management, Chang’ an University, the middle of South 2nd ring, Xi’an, Shannxi, China

The Vehicle Routing Problem of Logistics park distribution (VRPLPD) is an extension of the vehicle routing problem, which deals with simultaneous distribution of goods to customers. With the increasing importance of logistics activities, it is of great theoretical and practical significance to determine efficient and effective vehicle routes for simultaneous delivery activities. The study attempts to propose a genetic algorithm approach to tackle this problem. Numerical example is presented with parameter settings in order to demonstrate the applicability and feasibility of the proposed approach. The simulation is carried out in Simulink package of MATLAB. It is shown that Genetic Algorithms are highly effective in optimizing vehicle routing problem.

Wen-sheng Xiao¹, Zhong-yan Liu¹, Jian Liu¹, Han-chuan Wu²

¹College of Machinery and Electronic Engineering, China University of Petroleum, Qingdao, Shandong, China, 266555

²SJ Petroleum Machinery Co., Jingzhou, Hubei, China, 434024

Modal parameters of a structure are important for system identification. In order to identify modal parameters of a structure more accurately, this paper proposes a parameter identification method combined with stabilization diagram. Stochastic subspace identification (SSI) is a recently developed method for identifying a linear system. Combining SSI and the proposed method can easily confirm system order. However, the proposed method has difficulty in distinguishing spurious modals. Therefore, the proposed method must be revised to ensure that the spurious modal can be detected and the SSI can be used to improve identification accuracy. Finally, a simulation is conducted on a fracturing pump truck, when the damping ratio increases from 10% to 40%, those spurious modals disappear. The results indicate that this method performs precise identification.

Yunqi Tao^{1, 2}, Dong Liu^{2, 3}, Jie Cao³, Jiang Xu³

¹School of Energy Science and Engineering, Henan Polytechnic University, Jiaozuo, Henan Province, China

²Yongcheng Coal & Electricity Holding Group Co. Ltd., Yongcheng, Henan Province, China

³State Key Laboratory of Coal Mine Disaster Dynamics and Control, Chongqing University, Chongqing, China

The development and utilization of coal-bed methane, as an unconventional gas, is not only beneficial to the reduction of environmental pollution caused by fossil fuels, but also conducive to the prevention of disasters during coal mining. In this paper, a dynamic permeability model of coal body is established and discussed by means of experimental tests, which measure the deformation and gas permeability of coal-containing methane in the process of gas pressure reduction under different temperatures. The results show that, when gas pressure decreases, the strain of coal-containing methane increases linearly. With temperature increases, the variation of radial strain decreases. Under the same temperature, the permeability of coal decreases first and then increases again during gas pressure reduction. The changing point of gas pressure is approximately 1.2 MPa in the study. In the initial stage of gas pressure decrease, the radial strain of coal-containing gas has a significant effect on its permeability.

Ling Li

School of New Energy Science and Engineering of Xinyu University, Jiangxi, China, 338004

The insufficient utilization capacity of photovoltaic (PV) power has been considered as the bottleneck for the future development of PV power in China. Nowadays, the bundled transmission mode of PV power is regarded as the most advocated solution by many scholars. Under the current unsound fiscal taxation policies in China, however, participators cannot receive the corresponding policy incentives and financial compensation for the additional contributions in constraining the implementation of the bundled transmission mode of PV power. Based on the basic theory of the DEA (Data Envelopment Analysis) Game, the allocation model of excessive profit was established. The feasibility of the developed model was verified by means of an actual case study. Arguably, the paper provided a certain theoretical basis for the quantity and practical form of excessive income distribution concerning the bundled transmission mode of PV power, and offered a solution to the income distribution for the bundled transmission mode of PV power.

Zhiqiang Yin^{1, 2}, Lei Wang^{1, 2}, Haifeng Ma³

¹The Provincial Key Laboratory of mining effects and disasters preventing under deep mining in Anhui, Anhui University of Science and Technology, Huainan, Anhui, China, 232001

²School of Mineral and Safety, Anhui University of Science and Technology, Huainan, Anhui, China, 232001

³Faculty of Resources and Safety Engineering, China University of Mining and Technology, Beijing, China, 100083

This study developed an optical measuring system with a gray level distribution difference (GLDD) model, and applied the system to examine the displacement field of a Brazilian disk (BD) split under dynamic loading. The system consists of high-speed (HS) photography, a split-Hopkinson pressure bar (SHPB), a synchronization control system and operation of differential images. First, we captured differential images with a high speed camera (10 frames at a time resolution of 10μs). Next, we established the corresponding relationship between the dynamic fracturing evolution of the disc rock samples and the stress loading process with a synchronization controlling system. Changes in the surface displacement field were calculated with the differential image base method according to the joint probability distribution function of two images. This method takes the image correlation into account and can effectively eliminate the influence of background noise, identify surface displacement and capture cracks and expansion in dynamic Brazilian disk splitting experiments straightforwardly and accurately. Findings can be used for novel measurement of surface displacement fields in Brazilian disk splitting tests under dynamic loads.

Fei Cai^{1, 2, 3}, Wenjun Wang^{1, 2}

¹School of Computer Science and Technology, Tianjin University, Tianjin 300072, China

²Tianjin Key Laboratory of Cognitive Computing and Application, Tianjin 300072, China

³School of Civil Engineering, Shandong Jianzhu University, Jinan, 250101, China

 Statistics of colour value of each pixel in the image are output in traditional colour histograms. Therefore, though the two same images photographed in different illuminations are consistent in colour content, they have different colour distributions in the histograms. To solve the problem, this paper introduces an illumination invariance colour index algorithm based on colour ratio. According to the colour constancy theory, although colour values of its pixels will be changed once the image is subject to illumination, colour ratios remain unchanged. Colour ratio refers to the ratio between two contiguous pixels. As per colour ratios, colour ratio image may be obtained, which depicts obvious boundaries or margins of the image content so that we statistics of colour ratio histogram can be obtained as an index mechanism to remove illumination effect. Verified by lots of tests, this method can extract useful colour characteristics and remove illumination effect, so that it can be practically used in effective computer recognition of objects in traffic videos.

Debao Yuan, Xueqian Hong, Shiwei Yu, Liangjian Li, Yanbao Zhao

College of Geoscience and Surveying Engineering, CUMT, Beijing, 100083, China

CORS has been widely established in China and abroad, and can be used in geodetic measuring, coordinate system retaining and surveying and mapping of city. However, some issues (stability of base stations, influence of survey precision on horizontal and vertical extension, et al) are still unsolved in Surface Movement Deformation Monitoring in Mining Areas. Based on the CORS, a method and flow for data processing and stability analysis of deformation monitoring network was proposed. Using rank defect free network adjustment, a robust estimation with minimum of first order norm of displacement component was offered to determine displacement of relative stability. The strategy can resolve the confirmation of robust iterative weights and the effects of different reference models. Displacement significance was tested with the normality method. Finally, according to this method , datum of GPS deformation monitoring in Mining Areas in Datong were calculated and preliminarily proved that this method was feasible and effective, providing a new monitoring methodologies terrain monitoring in mining areas.

Jianjun Dong

Department of Civil Engineering College of Mining Engineering Liaoning Technical University, Huludao, China 125105

The strength and deformation behaviours of unsaturated soil can be approximately described by elasto-plastic constitutive model that was proved by abundance academic and test researches. The Barcelona elastic-plastic model is an excellent model that can simulate the strength and deformation of unsaturated soil. But their calculated result of shear strength is low. So an improved BBM model is settled by using drop-shaped shear yield surface and hardening theory of dual stress. The results show that the improved model can more accurately predict the strength and deformation behaviours of unsaturated soil under suction-controlled triaxial compression stress states.

Wenyu Lv^{1, 2}

¹School of Energy Engineering, Xi’an University of Science and Technology, Xi’an, 710054, China

²Technology Centre, Sichuan Coal Industry Group Co., Ltd., Chengdu, 610091, China

Using methods such as the transient electromagnetic method, rock mechanics testing, X-ray diffraction analysis, rock strength weakening experiment, borehole observation technology and grout mix design, etc. to study the mechanism of water trickling and roof falling of soft argillaceous roadways, via model analysis and numerical calculations, we reached many conclusions: Rock breakage is perpendicular to the axis of borehole; expansion of argillaceous swelling rock weakens the surrounding rock, the strength degradation of which occurs in 1h; performance of anchor agent also significantly decreased; uniaxial compressive strength, friction angle and cohesion of surrounding rock decreased by 40%, 16.5% and 11.1%, respectively; water trickling further exacerbated the risk of roof falling in the construction of roadway; according to calculation, the weak plane of the original 12 # I-beam became shear failure, and cannot meet the large initial deformation of roadways, floor heave is large with serious water logging. We presented the technology of “targeted drainage, deep-and-shallow hole grouting, advanced ductile, floor anchor rope, U29-shaped steel, and anchor net spray composite support”. Site monitoring on 1# railway cross-cut of Bofang Coal Mime displayed that the maximum amount of deformation was less than 125mm, working resistance of anchor bolt and cable were 72-91kN and 123.3kN, respectively. Water trickling and roof falling were controlled; water logging of floor heave was improved obviously. Numerical simulations show that plastic zone is greatly reduced, and support effects were fairly good.