Advanced Materials Research Vols. 915-916

Abstract: The CSP method has been extremely effective in checking for, and finding, attacks on security protocol. On the other hand, it has been limited to showing that a given small instance, usually restricted by the finiteness of some set of resources, is free of attacks. In order to resolve this problem, the data independence has been developed by Roscoe. This paper first introduce the new process to expand the CSP model on the base of data independence, and present the whole CSP model of Yahalom and its formalization description. At last, the checking is accomplished by writing in script language CSP_M.

Abstract: With the development of technology and enterprise information resources utilization improving system reliability requirements, cloud computing is becoming more and more widely used. To improve the tobacco resource utilization of a lot of information and increase reliability of resource platform, this article is based on cloud computing technology, to research the use of virtualization technology on tobacco cloud computing platform architecture carried on the system design, and studies the tobacco cloud management platform, based on effective control of tobacco information resource utilization and energy consumption, to improve the reliability of the resource platform, having the vital significance to the development of the tobacco industry.

Abstract: With the continuous development of petroleum exploration technology and exploitation business, the data types involved in the petroleum field are getting more complicated and richer, so a lot of heterogeneous data types emerged, data interchange can not be achieved directly among them. In this paper, the integration middle framework of heterogeneous data types is built based on XML, to realize the transition and integration of relational data and XML data, and to provide support for the data sharing and application among data model. Foundation item .The project of youth fund of Northeast Petroleum University (The research of XML heterogeneous data management technology applied in oilfield management)

Abstract: Deficiency of traditional lifting equipment selection among Multi-Rope mining friction hoist mainly displays in: the existence of larger theoretical and practical deviation of skip load. Key components do not match lifting machine. In consistency between design and actual situation, significantly affected the accuracy of the lifting equipment type selection.Therefore according to the working conditions, it has set up some different multiple mathematical models by the stepwise regression method, nonlinear regression modeling method, method of weighted coefficient and other different modeling methods. Design and select the optimal model for user interface screen by using Matlab GUI and access to calculation data and describe the graphic curve for various model result. Calculate the model results and the average error of the standard load and obtain the optimal model. Finally, design out the lifting equipment selection software of different situations such as economic speed, cycle time, single and double skip, which reduce the selection error, tedious calculation, low efficiency. At the same time, it is convenient for user to use and can constantly expand other functions.

Abstract: Value stream mapping (VSM) was initially developed to use of the suite of tools to help researcher or practitioner to identify waste in individual value streams and find an appropriate method to its removal. The process itself is simple and straightforward is used to identify waste using lean manufacturing technique, determined causes of the waste through the value stream mapping method and to propose solution to improve workplace environment. In this project is made an attempt to computerize the process though the application of VSM. Computerize value stream system is basically a method which is an internet networking system combining traditional concept of value stream mapping method to be used at manufacturing company to reduce wastes. This paper summarizes the way to develop an internet, online and network based of an efficient computerize value stream system to improve operation value of the manufacturing company. This paper reviews the design of package that will replace the manual method of doing VSM. This package will be applied in a real shop floor environment.

Abstract: Material science is an interdisciplinary field applying the properties of matter to various areas of science and engineering. Frames have become the focus of active research field, both in the-ory and in applications. In the article, the binary minimum-energy wavelet frames and frame multi-resolution resolution are introduced. A precise existence criterion for minimum-energy frames in terms of an ineqity condition on the Laurent poly-nomial symbols of the filter functions is provided. An explicit formula for designing minimum-energy frames is also established. The sufficient condi tion for the existence of tight wavelet frames is obtained by virtue of a generalized multiresolution analysis.

Abstract: With the extensive application and continuous growth of big data, new challenges are imposed into network design. Without enough consideration of big data in traditional design, bottleneck problems will occur frequently in such IT infrastructure. SDN (Software Defined Network) is one of the solutions to conquer such problems. However, most current SDN applications are limited to pure SDN structure or internal data centers. Differently, we focus on the traffic transmission between data centers in this paper. We construct the WAN links between data centers through VPN based on SDN architecture and traditional network. Both theoretical analysis and experiment results show that SDN had advantage over traditional network. Our work also suggested SDN architecture and traditional network could coexist in the real condition.

Abstract: In this paper, the existing transmission network message transfer protocol and conducted in-depth analysis to identify which existing security measures and the presence of hidden proposed secure data transmission scheme. The program takes into account the feasibility of the existing network to transmit messages that programs load capacity, on the other hand give full consideration to the needs of users, providing different levels of security services for different users.

Abstract: Based on the characteristics of the car-following model and analyzing from the angle of traffic engineering, this paper classifies car following models into four categories, that is, the stimulus-response model, the safe-distance model, the psychology-physiology model and the artificial intelligence model. In addition, it expounds the modeling ideas, the model structures as well as the advantages and disadvantages of these models. Finally it points out the development tendency and the direction of study method of modeling of car-following model to show direction and provide important reference for establishing car-following models suitable for Chinese traffic characteristics.

Abstract: The increase of the intensive power proportion in distribution network brings new challenges to load dispatch of power plant, and intelligent distribution would be a key issue in the future power integrated system. The paper combined the strength Pareto evolutionary algorithm with the parallel genetic algorithm (PGA) ,namely the Pseudo-parallel SPEA2 Algorithm for solving the dynamic economic load dispatch problem. This problem is formulated as a nonlinear constrained multi-objective optimization problem, meanwhile, synthetically considers dynamic constraints handling, the minimum of fuel cost and the pollution emission. Besides, the paper analyzed the feasibility and validity of this algorithm in the load dispatch of power system.