Applied Mechanics and Materials Vols. 411-414

Abstract: The construction model of the innovative pioneering service platform for undergraduates based on big data is posed through combining innovative education notion and the advantages of big data. The dynamic variation rules between the factors are found through seeking the interrelation between all the indexes of the innovative college studies and other factors thoroughly and thus the valuable information are provided timely and accurately. In this thesis, FP-Growth algorithm is applied to analyze the data in the innovative pioneering service platform for undergraduates so as to find out the useful models and rules in the data.

Abstract: The existing storage schemes cannot provide the secure mechanism to ensure the trust data integrity in distributed environments. Based on a bilinear mapping, a certificateless signature scheme was proposed and implemented in this paper, and it was introduced into trust management system to realize the distributed secure trust data storage, solving such problems as destruction of trust integrity, failure to get trust information, and failure of trust updating, due to the offline of local storage nodes. Performance analysis shows that the new distributed trust storage scheme effectively achieves secure trust storage with relatively low overhead.

Abstract: Data mapping is used in data integration involves matching between the data sources and the targets, it plays an very important role in the development of ETL. In this paper, a metadata driven data mapping tool is proposed to help developers design and implement data mappings. Data Mapper eliminates the need for the intricate, time consuming and error-prone process of manually writing thousands of lines of data mapping code.

Abstract: As a social network, microblog has obtained great attention and gotten wide application. Applications of microblog need to retrieve quickly information with the support of real-time search technology in order to implement information sharing. A query classification algorithm of microblog for real-time search was put forward. Based on question classification mechanism, the algorithm divides queries into two categories: the candidate queries and the popular queries, and takes separate storage strategy. Test results show that the classification algorithm can reduce real-time search time and improve the efficiency of retrieval.

Abstract: In this paper, combining with the current development situation of software industry, using reasonable and applicable research methods and advanced and scientific data collection and analysis methods, based on research on the development rule of software industry, the experience of domestic and foreign development model, and the development status of software industry, it is studied to the evaluation system of software industry from different angles in accord with different factors. Based on drawing lessons from other countries successful experience, combining with China's characteristics and development train of thought, it designs evaluation factors of software industry and forms the evaluation system of software industry which has guiding significance and assessed value.

Abstract: With the popular of smart phone, mobile APPs have been developed largely. This paper, firstly introduces business model and market mechanism, then in terms of development technology, portal model, device set, platform integration, analyses mobile OS as well as influence on mobile APPs, at last gives a trend of mobile APP development.

Abstract: The existence of the polymorphism brings many changes on the executable paths of the object-oriented program, which makes it difficult to test the internal communication of the system and the interaction between the objects. This paper analyzes the structure feature of the Java program and builds an inheritance tree using the technique of reflection in Java, which guarantees the accuracy of the analysis data. This paper proposes an algorithm to determine the uniqueness based on the full analysis of the Java polymorphic calling states and the Liskov substitution principle. And the algorithm uses the asynchronous mode of high concurrency to increase the efficiency. The result shows the algorithm can determine the uniqueness of polymorphism efficiently and accurately. It can play an important role in the Java program comprehension and the system maintenance.

Abstract: With the emergence of cloud computing, it is significant to establish a unified, open and flexible education resource platform for sharing resources and narrowing the gap between education information. Based on the analysis of problems of educational resources construction and the advantages brought by cloud computing technology, this paper proposes a kind of Cloud-Based Education Resource Operation and Open Platform. Then the basic architecture and function of the platform are discussed and a kind of educational resource management and organization model introduced. This paper gives specific directions for education cloud application. Cloud computing technology makes people study at any given time or place with any available device.

Abstract: Software requirements validation is one of the hot problems of software engineering field, for the formal verification of software acceptability, this paper presents a formal verification software acceptability method. This method uses the 4-variable model to character the software system requirements and the software behavior, and gives a formal description of the 4-variable model based on the generic model of Tabular expression, and converts the Tabular expression into predicate logic knowledge base to verify the software acceptability. The analysis shows that the proposed method is effective, and the software acceptability can be verified.

Abstract: Meteorology Geographic Information System (MeteoGIS) is a professional meteorological GIS platform with completely independent intelligent properties. It fully utilizes the national innovative GIS technologies in the meteorological scenario; MeteoGIS supports multiple databases, browsers and a variety of development environments, has a good cross-platform capability. It also has a massive vector and raster data management and distribution capacity. MeteoGIS extends the meteorological data models and data sets, and is able to produce meteorological thematic maps, layout and printing. It has integrated algorithms for meteorological applications and special-use analysis. The platform is comprised of development kits, data engine, desktop software, and Web development platforms.