Applied Mechanics and Materials Vols. 635-637

Abstract: With the development of financial industry, the finance course calls for a new experiment teaching model to satisfy the social needs of the financial talents. By studying the environment and process of economic and financial activities, a financial virtual experiment teaching system based on MATLAB and data warehouse was put forward in this paper. The system was designed based on the J2EE component technology, used the methods of data warehouse to design the system database, and used the MATLAB numerical calculation to deal effectively with the financial experiment data. The system was cutting-edge, systematic, scalability, and good features, could well meet the financial professional experiment teaching needs.

Abstract: In recent years, Software-Defined Network (SDN) and its OpenFlow-based architecture have been proposed and attracted extensive attentions from academia and industry. SDN is a novel network paradigm that decouples the network control function from the data plane by using OpenFlow technology. SDN realizes the flexible control of the network traffic, and it provides a good platform for the innovation of the applications in the core network. Thus in this paper, after introducing the SDN architecture, we construct the SDN-level network environment and implement the routing function. We deploy one controller, seven OpenFlow switches and two hosts in our SDN environment. The controller and OpenFlow switches support OpenFlow-1.0 protocol. In this network environment, we successfully implement the packet transferring from one host to the other host, and make the corresponding analysis.

Abstract: CSP method is very effective for analyzing security protocol, find security attack. But because of the limitation of limited resources, only limited instance verification can be completed. To make up for the inadequacy of CSP protocol model, the CSP mode lis extended to solve the problem of limited detecting in this paper. And then it is proved that the correctness of the extended model based on the related definitions and propositions by using the method of theoretical proof, from several aspects, such as data type of the model, process of trusted agent, process of intruder, process of manager.

Abstract: With cloud computing robust operating platform, build effective sports training aids. In terms of its economic benefits, training effectiveness, data transmission and other processing for scientific and rational exercise training has an important role in promoting. Adverse conditions in the region can effectively improve the uneven development of sports resources and information obstruction. Cloud computing platform sports training aids including architecture, data acquisition, management and service platform, a team of experts in coordination aspects.

Abstract: Process algebra is an algebra method of concurrency theory. Based on the relevant theories of process algebra, it is set forth several class process algebras and the important role they played in the development history of research on process algebra according to two breakthrough of process algebra. Finally it is introduced the applications of algebra process in the protocol verification, workflow description and other areas.

Abstract: In this paper, Four-bar mechanism is included to analyze the typical motion characteristic of mechanic design. A model is developed using MS Excel, and three dynamic visualized algorithms are employed with simple and convenient function modules within the software. Emphasis is placed on the establishment of model and the comparison between different approaches to simulate.

Abstract: In this paper, we discuss the nonlinear wave equations with nonlinear damping and source terms. By using the potential well methods, we get a result for the global existence and blow-up of the solutions.

Abstract: In this paper, we construct Haar wavelet and apply it to investigate the numerical solution of the natural boundary integral equation of the Laplace equation in the concave angle domains. Haar wavelet has better stability and good explicit expression. Moreover, they are mutual orthogonal. We make full use of their mutual orthogonal to cope with the natural boundary integral equation. Taking advantage of Galerkin-wavelet method in discretizing the natural boundary integral equation. Finally, a numerical example is shown and the feasibility and validity of the method are proved.

Abstract: An intrusion detection model was designed based on the specific immune classification of human immune system. The intrusion detection module was divided into inherent detection module and adaptive detection module. The inherent detection module inherits currently available rules, and the adaptive detection module proposes an anomaly detection algorithm. The algorithm draws on the theory of fuzzy math, integrates fuzzy comprehensive evaluation with analytic hierarchy, and establishes multi-level fuzzy comprehensive detection model by introducing the concept of fuzzy evaluation tree to improve the accuracy of detection. The results show that the model can accurately detect known attacks and can better detect unknown attacks.

Abstract: Hospital network office automation system could make the hospital connected by a PC, terminal equipment, medical equipment and hospital networks to link up and connected to the Internet. In this paper, the star tree on the hospital's existing network structure transformation, using port aggregation technology upgrades to existing network data transmission and improve the operating efficiency of the entire hospital network, and the hospital server, computer workstation security configuration and remote management configuration, database and application development of all types of information systems are a good network support.