Proceedings of 2013 International Conference on Information Science and Computer Applications

Session: Computer Science

24 articles
Proceedings Article

Data Mining in Cloud Computing

Xia Geng, Zhi Yang
Mining is a process of extracting potentially useful information from raw Data, so as to improve the quality of the information service. With the rapid development of the Internet, the size of the data has increased from KB level to TB even PB level; The object of data mining is also more and more complicated,...
Proceedings Article

Corridor Lamp Control System Based on Solar and LED Lighting

Xiangrong Ding, Ping Jia
Porch lamp control system is a very important part of the smart home system. The traditional light source control system is unable to control and adjust the color temperature of the light source. This design uses LED and solar porch lamp as the light source with STC15 Series MCU intelligent control unit...
Proceedings Article

Chinese Question Classify Model Based on Interrogative Semantic Unit

Yue Hu, Bo Liu, Shouwei Zhang
The concept of interrogative semantic unit was proposed, recognition algorithm for interrogative semantic unit was provided on the basis of this concept, and question classification was carried out by combining interrogative semantic unit with HowNet. The test shows that this method obtains good classification...
Proceedings Article

Fault Injection for SCADE Models

Xiaolin Shen, Shaoyin Wang, Daqing Wang, Xiaoping Xue
A fault injection method based on SCADE was designed in this paper, which can simulate hardware failure in the form of software fault. Injecting faults into SCADE models brings forward fault tolerance testing to development phase avoiding the cost of changing fault-tolerant design by modifying the code....
Proceedings Article

Research on Formal Modeling and Verification of on-board ATP System

Caiyun Chen, Qing Luo, Fang Zhang, Daqing Wang, Xiaoping Xue
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...
Proceedings Article

Research on Automatic Diagnosis Based on ANN Well Conditions Fault

ZhengJia Wu, ShaoXiong Huang, YueSheng Luo
This thesis combines the extraction of geometric characteristics and the neural network, which supplies a method that can define the operating conditions relatively accurately through the diagram feature parameter of the rod pumping system pump and avoids setting up and solving complex nonlinear dynamic...
Proceedings Article

The Development and Prospect of New Technology in Modern distance education

Yunguang Chen, Xue Dong
Modern distance education is a new way of education derived from the extensive application of new technologies. With the development of new technology & media, distance education is also developing. This paper goes as follows: firstly, introduce the concept of distance education and the importance to...
Proceedings Article

Research on methods of technical support equipment maintainability verification based on Stratified random sampling

Dong Zhang, Aihua Xu, Yanmei Lv, Yanlong Ni
This paper introduced a type of maintainability verification method based on stratified random sampling, which improve the representativeness of the sample and the accuracy of final conclusions. Then deduced the method for determining samples quantity and test conclusions. Finally, take a certain type...
Proceedings Article

Region-based Image Segmentation Using Shape-Varying Agents

Xu Qi
Image segmentation is an important problem in image processing. Existing methods have not solved this problem in some aspects. Alife is a new natural computing method with much good performance. We induce it into image segmentation and propose a novel Alife model Shape-Varying Agent (SVA). The new method...
Proceedings Article

Application of ID3 Algorithm in the Analysis of Satellite Telemetry Data

Fan Yu, Qin Yan
In order to deeply exploit the knowledge hidden in the telemetry data and find out the correlation between the data, ID3 algorithm was used in the article to analyze the telemetry data of solar panel substrate. The information gain value of parameter was calculated and the maximum gain value is the split...
Proceedings Article

Application of Network Program Technique in Software Development and Management

Yanlin Tao, Limei Cui
This paper analyses the Network Program Technique from the perspective of its principle and procedures of implementation as well as its merits and demerits, with the aim to solve the problem of overtime and overspend in software development, and provide the incumbent software developer with reference...
Proceedings Article

WordNet-Based Suffix Tree Clustering Algorithm

Qiuyue Dang, Jiwei Zhang, Yueming Lu, Kuo Zhang
High space cost and ignoring synonyms in STC (Suffix Tree Clustering algorithm) are challenges for search results clustering. Aiming at these challenges, this paper proposes a WordNet-based suffix tree clustering algorithm (WNSTC). WNSTC can construct a suffix tree containing WordNet synsets. When constructing...
Proceedings Article

Real-Time Risk Assessment of Network Security Based on Attack Graphs

Xiaochuan Yin, Yan Fang, Yibo Liu
Facing hackers’ intelligent attacks and multi-source information from various security equipments, evaluating real-time risk of the network becomes more and more complicated to handle. This paper proposes a new attack graphs model(NAG)-based analysis method in order to assess the impact on the network...
Proceedings Article

An Integration of Extreme Learning Machine for Classification of Big Data

Guanwu Zhou, Yulong Zhao, Wenju Xu
Classification is an important task in data mining field. As the time of big data is coming, the traditional methods of classification cannot satisfy the requirements of real-time processing and storage for big data. This study firstly applies a machine learning technique called extreme learning machine...
Proceedings Article

Simulation and Application of Urban intersection traffic flow model

Yubin Li, Bingmou Cui, Siyu Hao, Yan Wei
Based on the theory of computer simulation and the theory of traffic flow, the urban intersection traffic microscopic simulation model is established. Besides, the simulation system is realized on the basis of this model and the object-oriented design. This system is implemented in the integrated development...
Proceedings Article

An improved routing protocol Ad-AODV Based on AODV

Zuhong Feng, Long Wang, Xiujuan Gao
In Ad Hoc network, AODV routing protocol is an on-demand routing protocol of relative maturity and extensive application. Due to the fact that AODV routing protocol doesn’t consider the residual energy and the load situation of the nodes when choosing routes, its efficiency declines sharply in the case...
Proceedings Article

Design and Realization of MiniPLC Programming System

QingChao Wei, QiZhong Cai, CongSe Xie, ShaoMing Pan
According to the independent research small Programmable Logic Controller based on ARM and FPGA, a miniPLC programming system is designed. LPC2478 and C/OS-II system are adopted as the platform’s core. Instruction List is adopted as the programming language. A new instruction system and its encodes are...
Proceedings Article

University Teachers' Professional Title Evaluation Prediction Mode Based on LVQ Neural Network

Jigang Zhang, Na Liang
At present, university teachers’ professional title evaluation is still mainly based on the qualitative analysis in our country, having their limitation, for example low efficiency, tedious process, complex operation and so on. On the basis of the Learning vector quantization neural network(LVQ), a new...
Proceedings Article

Research on HD video transmission of Smart Home based on Linux System

Shanhui Yin, Chunhai Zhang, Hao Liu, Yanxiu Sheng, Xi Wang, Zhiqiang Wei
With the rapid development of computer network technology and multimedia technology, in the intelligent home field, digitalization, network, multimedia and intelligent will become the inevitable trend of development. In the context of convergence of three networks, intelligent household demand for video...
Proceedings Article

Design and Implementation of Push Notification System Based on the MQTT Protocol

Konglong Tang, Yong Wang, Hao Liu, Yanxiu Sheng, Xi Wang, Zhiqiang Wei
MQTT (Message Queuing Telemetry Transport) is a broker-based publishing/subscribing, instant messaging protocol. It’s designed to be open, simple, lightweight and easy to implement. This paper described a method of pushing notification system based on the MQTT protocol. It can be used to solve the problem...
Proceedings Article

Design and implementation of wellsite data transmission system based on C/S

Baolei Ma, Yanmei Zhang
The paper introduces the data transmission system in the Petroleum Industry with the help of programming systematically. The wellsite data could be available for the usage of other Petroleum Service Departments by using this system. The perfection of Internet technology enables network programming to...
Proceedings Article

Research on Internet-based Teaching of English Newspaper Reading

Xueai Zhao, Yingcong Zhao
In order to develop Chinese student’s ability in reading English newspaper, the authors innovatively designed an internet-based teaching model for English newspaper reading course based on constructivism. Through a comparative study, the authors concluded that the new teaching pattern of English newspaper...
Proceedings Article

Name Origin Recognition in Chinese Texts Based on Conditional Random Fields

Jing Zhang, Jian Xu, Yujie Zhang
Name origin recognition is to identify the origin of a name. In natural language processing, information of name origin is an important feature for name entity translation and question answering. Language identification of the origins of names can help to know what language-specific transliteration approaches...
Proceedings Article

Use OWC Control to Achieve Lamp Energy Consumption Comparison

De-yan Wang
When develop a B/S management system for the LED lamp company, there are many data need analysis on WEB Page. How to directly display lamp energy consumption, we use OWC control to draw the picture. The experimental results prove that the method is simple, effective.