Search all articles

Formal software safety verification is an important issue for on-board ATP (Automation Train Protection) system. A SCADE-based model safety formal verification method is designed in this paper. The extracted safety properties of ATP are expressed by formal automaton machine, which is an unambiguous semantics...

In recent years Fuzzy Cognitive Maps (FCM) has be-come a useful Soft Computing technique for modeling and simulation. They are connectionist and recurrent structures involving concepts describing the system be-havior, and causal connections. This paper describes two abstract models based on Swarm Intelligence...

Content-based image retrieval(CBIR) has been an active research area for more than two decades. However, while almost all images are stored in compressed form, the vast majority of CBIR algorithms operate in the (uncompressed) pixel do-main. This not only leads to a computational overhead for feature...

Cloud computing is becoming increasingly popular. Many companies utilize cloud computing services to minimize IT infrastructure costs. The popularity of cloud computing has attracted the interest of cyber criminals. As the result, virtualized environments are a valid and attractive target for APT attacks....

There is a hypothesis that the raising of learner’s cultural awareness and infiltration of cultural contents in translation teaching may have a good effect. This paper describes a research done with this purpose. The findings of the research, which is about a questionnaire and its feedback from Business...

Moran's I statistic is the most popular test for spatial dependence. When spatial weights matrices are substantially varying over time, Moran's I test based on a time invariant spatial weights matrix may cause substantial bias. This paper first investigates Moran's I tests for spatial dependence in panel...

Bode diagram based rational function approximation method for fractional integral and differential operators are analyzed in detail. For the approximation rational function orders is the lowest under satisfying approximation accuracy in the approximation frequency interval, two steps are proposed: 1)...

Given that the centralized-servers-technology-based network communication software like QQ and MSN are high on cost and limited on users’ control right, this thesis presents a designing scheme of the distributed-servers-technology-based network communication software. The design follows consistently...

Because customer participation is inevitable, so customer participation can be influenced by enterprise, customer itself and the service employee. According to the service encounter theory, social interaction theory and “Stimulus-Organism-Response” model, service employee behavior will have an impact...

High-frequency financial data are characterized by unbalanced, non-linear and low signal-noise ratio, which often represents a challenge on the study of financial market microstructure. There has been little research on the de-noising method for high-frequency financial data, with the wavelet analysis...

Galvannealed coated sheet steels are extensively used in the automotive industry due to its good corrosion resistance, excellent spot weldability and paintability. However, galvannealed coated sheet steels generally present different forming behaviors, which mainly depend on the amount, orientation and...

Objective: Development of orthopedic 3D image computer aided diagnosis system can provide the help in the diagnosis of the orthopedic diseases. Methods: 150 patients from January 2014 to January 2016 were chosen as study samples. According to CT scan and X-ray image data, we got 3D reconstruction to...

Many non-accounting majors in China have set up accounting courses, but the satisfaction of non-accounting students to the "accounting" course is relatively low from the effect of teaching. This paper takes teaching of accounting course in non-accounting major of Shenyang Jianzhu University as the research...

The effects of reaction material ratio and feed order on the composition of the product are investigated by the reaction of zinc sulfate, bismuth nitrate and sodium hydroxide as raw materials in the ultrasonic system. The product is identified as by X-ray fluorescence and chemical titration, and the...

The ASP flooding area in daqing oilfield has injected slugs of prerequisite, main slug and the auxiliary slug. As the chemical solution's injected, the difference of effect of well group is obvious. This article comparative analyses the influence of stratum static parameters like effective thickness,...

The compressive strength, flexural strength and fatigue properties of foamed lightweight soil with different mix proportions were systematically analyzed through experiments in this paper. And the main factors influencing the mechanical and fatigue properties of foamed lightweight soil were studied....

The year 2016 is the second year after the proposal of Photovoltaic poverty alleviation project. From the beginning of the photovoltaic poverty alleviation to now, the whole country has been vigorously promoting the photovoltaic project, however, the effect is uneven, and many difficult problems have...

Education management of Islamic High School in pesantren(Islamic Boarding School) is a part of knowledge that empowers human resources in conducting the education of Islamic senior high school in pesantren. This management needs to have serious attention and be programmed, because pesantren is the older...

In this paper we study the acoustic scene classification using a large dataset. The spectrogram of the large acoustic samples are extracted and applied with texture feature classification method. First, the acoustic scene database is built including various acoustic events. Second the image texture features...

In order to make up the shortages of traditional hardware-in-the-loop simulation (HILS) for flight control system (FCS) evaluation and farther reduce the risks of flight tests, wind tunnel hardware-in-the-loop simulation (WT-HILS) should be used to evaluate the FCS after the HILS evaluation and before...

This research was conducted in the province of Bali which aims to determine the attraction factors as the main attraction of tourism Bali from perspective of European, and also to determine the factors that predominantly determine European travel to Bali. The research was designed by using research survey...

Estimation method of building damage level was introduced for the accurate and effective estimation of damage extent and relief goods demand according to long-distance image contrast. In order to obtain completion degree of building edge extracted from long-distance images before and after disaster,...

Efficient information sharing and exchanging are becoming increasingly important , but model heterogeneity hinder the communication and collaboration from different enterprises. To solve this problem, a semantic mapping method based on ontology structure graph is put forward in this paper. The requirement...

This study explores the physical and mechanical properties of concrete with circulated fluidized bed combustion (CFBC) fly ash, ground granulated blast furnace slag (GGBFS) and coal fly ash. Five different blended cements were prepared to cast concrete specimens and the slump, unit weight (density),...

Over the past few years, technical barriers to trade have been applied by EU countries for trade protection owing to their flexibility, variability, privacy and great variety. In China, export of agricultural products to Europe has been deeply impacted as well. After current situation that China’s export...

Triaxial creep test, was conducted on Yan'an Q2 loess under different moisture contents and confining stresses. The creep strain-time curves were obtained. Based on the test results, the stress levels, confining pressures, and moisture contents were all found to have great impact on the creep properties...

The high efficiency video coding (HEVC) standard was developed by JCT-VC in 2010 and was officially released in 2013. Compared to the previous video coding standard of H.264/AVC, HEVC can save about 50% bit-rate for equal perceptual video quality, but the computational complexity significantly increases....

Public bicycle social benefits are complex and difficult to quantitative expression, the model of social benefit is established, and the factors of public bicycle social benefits and composition is expounded, and the fuzzy comprehensive evaluation method is used to evaluate the model, obtained the quantitative...

This paper discussed an automotive collision avoidance and warning system based on millimeter-wave radar. With the theory and application research of proactive early-warning and avoidance control, we have established the avoidance control strategy and algorithm. This system can identify dangerous targets...

Paper presents some aspects regarding project management, starting with some definitions, history and principles of remarkable „fathers” of this activity. Taking into account the factors which define a project, there are some aspects about the budget, quality, participants’ expectations in a period of...

Barriers to Trade (TBT) is a system, mainly by the technical regulations, it can be divided to: standards and conformity assessment procedures; packaging and labeling requirements; commodity quarantine and inspection requirements; green barriers and IT system constitute barriers

In order to solve the problem that the different format data collected from sites are transferred among computer systems, the project finished the modularization for reading the data file brought from field acquisition and the drawing of image and curve, which will be exported to the specified file in...

Contemporary information technologies with multimedia and internet as representatives are changing people’s lifestyle and learning style at breakneck speed, which also lead to the networking-orientation, virtualization, internationalization and individuation of higher education in developed countries...

This paper analyzes the developmental trend of insurance actuarial system and the related influences on modern financial industry. The basic principle of insurance is to many premium to the underwriter, policy-holder, when the risk occurred shall be borne by the insurer. By paying a small amount of this...

In the field of speech signal processing, a pitch detection algorithm (PDA) is commonly used to estimate pitch or fundamental frequency. If the given speech signal is clean, the algorithm can achieve better detection result. However, in general, the speech signal would inevitably influenced by the background...

In order to understand the main problems of Chinese GDP Growth, the methods of factor analysis, multiple regressions and hierarchical clustering are used to analyze the influences of consumption, investment, export and import on GDP growth, based on the economic data of 31 provinces from 1998 to 2013....

The vertical search engine index classification method based on ontology, through the introduction of text classification in PubMed forum based on ontology semantic information is added into index, can effectively improve the vertical search engine retrieval recall and precision, improve the relevance...

The severe vibration of small branch pipes in nuclear power plants can induce fatigue destruction. Sometime fatigue destructions will result in unplanned shutdown, and even threaten the safe and stable operation of the nuclear power plant. In order to predict the remaining life and guarantee the safety...

Since most students currently feel neglected to do learning task seriously and honestly, lecturers of English should find strategies which might contribute to the process of learning. One alternative strategy is using intertextuality when communicating learning tasks. Therefore, this research investigated...

The common MCU (Microcontroller Unit) or PLC control method can not meet the linkage processing. 802Dsl numerical control system is adopted in this paper so that four axis and above linkage machining control can be realized in vertical ECM tool which has the advantages of complete functions, high reliability...

Based on the actual engineering requirements, this paper puts forward a robot weld position tracking based on laser sensor ranging technology, and the laser sensor is installed at the end of the robot welding gun. DTPS off-line programming software pre-programmed path, robot welding gun drives sensor...

Given the context of several social challenges, such as aging, old aging, sickness and disabilities, China has to focus on the reformation of institutional pension system. Compared with developed countries, China was involved in this "Silver Wave" before well developed. As one of the most important components...

With a rapidly growing number of the elderly in the population, the consumption level of the elderly continuously improves to afford travel. Consequently, the elderly tourism industry faces unprecedented opportunities. The aim of this study was to promote the healthy development of the elderly tourism...

The globalization of economy brings the new opportunities of development for enterprises. The importance of tax planning to the multinational enterprises is obvious. But how to enhance the abilities of tax planning for improving the competitive power and increasing the incomes is a significant issue...

Enhancement of uric acid levels (hyperuricemia) can cause disturbances in the human body as feeling weary in the joints and is often accompanied by the onset of extreme pain for the sufferer. In social charity programme research conducted by Faculty of Medicine and Health, University of Muhammadiyah...

This study aimed to examine the effect of low cost strategy and differentiation strategy on the manipulation of real activity. Sample selection was done by using purposive sampling at manufacturing companies listed in Indonesia Stock Exchange (BEI) in the period of 2012-2016 with analysis period 2014-2016...

This paper proposes an application of surface elasticity theory in the analysis of contact problem at nano-scale. The Fourier integral transform method is adopted to derive the fundamental solutions for contact problem with surface tension effects. As a special case, the deformation induced by normal...

Universal combinatorial coding derives from the combination principle and its core is ordinal calculation. The solution of ordinal is a process of computing permutation and combination values. But permutation and combination computing is very time-consuming. As a result, adopting optimized methods or...

The ministry of education vice-minister Lu Xin said in the end of March 2014, how to solve the structural contradiction of employment in China is the core of education reform. The breach of the education reform is the modern vocational education system, and training of talents is technical skilled talents....

In order to solve the problem of temperature drift for fiber optic gyroscope, the neural network is used to construct the temperature drift model. The neural network is easy to fall into local minimum, the convergence speed is slow, the genetic algorithm is used to optimize neural network. The genetic...