Advanced Materials Research Vols. 616-618

Abstract: Knowledge is the most valuable asset of a manufacturing enterprise. Competition among manufacturers has been transformed into competition among knowledge. Their core competitiveness is improved only by strengthening the management of knowledge. Data mining is the most powerful tool which discovers knowledge from large amounts of data. This paper reviews applications of data mining in manufacturing including product design, manufacturing system, manufacturing process.

Abstract: At present, China is vigorously developing the smart grid, due to the immaturity of the intelligent circuit breaker, a totally new device is introduced in the process layer to ensure the realization of intellectualization of primary equipment in the intelligent substation: the. The intelligent terminal is an interface of primary equipment and secondary equipment in intelligent substation system realizing the intelligent transformation of the traditional primary equipment, which is also the optimal solution to the traditional switch and transformer interface problems of intelligent substation. The intelligent terminal devices of 126KVGIS are designed in this paper, the design process adopts the method of ARM+FPGA dual-CPU structure，which makes the intelligent terminal have an efficient and rapid processing capacity so as to satisfy the requirement of practical application. Starting from the modularization structure design, function of each module, circuit design and implementation method were introduced in detail. A hardware platform was established according to the design. Finally, the article confirmed the correctness of the hardware platform primarily through experimental method.

Abstract: Traditional supply chain is established on mass production while supply chain under mass customization is established on mass customization. In the paper, Definition of Supply Chain Management is introduced; Comparison between Traditional Supply Chain and Supply Chain under Mass Customization, State of the field are all illustrated. Under mass customization, in order to adapt to customer driving manufacturing and the demands of enterprise alliance, manufacturers and major enterprises will directly contact with customers to weaken or even eliminate the function of distributors and retail dealers, which will lead to the transformation of the supply chain structure to open network structures made up of suppliers, manufacturers, core enterprises and customers.

Abstract: IP Multimedia Subsystem IMS is the core technology of next generation networks can provide real-time IP multimedia services and VoIP services through IMS, but IMS is not perfect, of which there are still some problems. IMS in real-time business a higher demand for mobility support, voice and video data usually use real-time transport protocol RTP to transfer user data protocol over UDP, requiring low transmission delay, seamless switching, as well as higher bandwidth utilization. In this paper, the IMS-related issues, the IMS network protocol.The SIP protocol simulation. Simulation results show that more of the nodes, the network send and receive packets faster, the results of this paper is the study of the IMS network, the actual reference value

Abstract: Formal method is a means to verify the reliability and safety of concurrent systems. Formal verification of model which automatically extracted from concurrent system built from high level language is a hot research topic in the field of model checking technology. With the focus on potential run time problems (deadlocks, memory leaks, the boundary data loss and other run-time errors) result from abnormal socket function call sequence, we analyze the sequence structure of the socket program and construct the Promela model of socket functions through the description of message data structures and channels, as well as define mapping rules of socket function to Promela. The socket function call sequence extraction algorithm and target Promela model generation algorithm are proposed by using linear temporal logic (LTL) to describe the property the socket function call sequence. A socket communication program analysis system has been constructed. The experiment result shows that the system can detect the potential run time problems of socket program effectively.

Abstract: By using the Floquet’s theorem and the comparison theorem of impulsive and differential equation we give sufficient conditions for the globally stability of the a impulsive prey–predator harvesting model with Beddington-DeAngelis response functional.

Abstract: To solve the primary problems in genetic algorithms, such as slow convergence speed, poor local searching capability and easy prematurity, the immune mechanism is introduced into the genetic algorithm, and thus population diversity is maintained better, and the phenomena of premature convergence and oscillation are reduced. In order to compensate the defects of immune genetic algorithm, the Hénon chaotic map, which is introduced on the above basis, makes the generated initial population uniformly distributed in the solution space, eventually, the defect of data redundancy is reduced and the quality of evolution is improved. The proposed chaotic immune genetic algorithm is used to optimize the complex functions, and there is an analysis compared with the genetic algorithm and the immune genetic algorithm, the feasibility and effectiveness of the proposed algorithm are proved from the perspective of simulation experiments.

Abstract: By elaborating the basic idea of eliminating zero drift with software, derives the algorithm to eliminate three zero drift, and deals with the zero drift sampled signal using MATLAB software program after analyzing the internal features of baseline of zero drift, the slope of the zero drift and step zero drift.

Abstract: The principle, ideas, procedures and optimization problems of the filtering algorithm were presented in the article. First, the filtering algorithm procedures of aerial image based on stochastic resonance theory was introduced, then the curve of noise strength and peak signal to noise ratio (PSNR) was analyzed, a golden-section fast search algorithm was proposed and discussed as well to find out the maximum point of PSNR in the process of filtering. Experimental results indicate that the filtering method in this article is superior to other methods on high noise strength aerial image, and the stability and robustness are better than other methods . The multiples of filtering image’s PSNR is 1.2~1.4 times than other methods.

Abstract: Particle morphology which affects the packed state of particles is a factor that cannot be ignored in the study of gradation model. Floating beads, as the most commonly lightweight additive used in cement slurry, are always regarded as ideal spherical particles, thus the effects of its circular degree on close packing are overlooked. In order to quantitatively characterize the circularity of floating beads , based on image processing methods of powder particles, combined with image processing software(Photoshop and MATLAB), replaced the watershed segmentation method with removing linking particles, the calculating method of the circularity of powder particles was put forward, and finally the average circularity of floating beads was obtained (about 0.929＜1). Although floating beads have high spherical degree, they still aren’t ideal spherical particles, so their morphology feature should not be ignored in the study of particle size distribution.