Advanced Materials Research Vols. 756-759

Abstract: Pattern is a highly sophisticated solution. The purpose of combining pattern and software testability together is to propose the assisted testing methoda pattern methodto solve the repeated software problems which are not defects but always appear during testing, the method involves many patterns. The ways to obtain the method are researching many testing processes, then analyze and summarize. The method could overcome shortcomings of other testability design and measurement methods. Using steps of the method is illustrated in this paper. Simple and rapid are the advantages of the operation process of the method which could be proved in the case study; whats more, it solved the problems that related to the pattern effectively. It can greatly assist with testing process and improve software testability. Its a practical and effective method.

Abstract: A book positioning system is designed based on WI-FI and RFID technology, and the regional search program is proposed. Readers or administrators can locate the desired books by the terminal equipments such as mobile phones, ipad and so on. The system displays the positioning information in the form of picture on the terminal equipment, so that user can find the book quickly. It improves the efficiency of the call, and completely solves the problem that if one book is misplaced, hundreds of people cannot find it.

Abstract: In order to solve the green energy saving problem with the wireless routing technology, a new energy-efficient survivable routing protocol, called Energy-efficient Survivable AODV (ES-AODV) for unicast demand in green Wireless Mesh Networks (WMNs), is proposed in this paper. The routing protocol uses the hop penalty strategy and flooding delaying strategy to improve the performances of traditional AODV routing protocol. This paper uses QualNet to simulate and verify the performances of proposed ES-AODV. The simulation results show that, compared with the traditional AODV, the energy utilization of ES-AODV is more efficient than AODV by 13%. At the same time, ES-AODV is more load-balancing to reduce the number of energy depletion nodes and postpone the appearance of the first energy depletion node, and thus it effectively improves the network survivability.

Abstract: Since real-time and communication amount is crucial for the wireless sensor network target tracking, the performance of target tracking in the wireless sensor network is critically depended on real-time and communication amount reduction. This paper presents a target tracking method based on distributed adaptive particle filtering in binary wireless sensor network. Based on dynamic clustering, the adaptive particle filter receives the observations from children nodes and formulates the local estimate with the cluster head as the processing center. Simulation results show that the method can effectively improve the real-time tracking and reduce communication amount.

Abstract: Smart grid has become one hot topic at home and abroad in recent years. Wireless Sensor Networks (WSNs) has applied to lots of fields of smart grid, such as monitoring and controlling. We should ensure that there are enough active sensors to satisfy the service request. But, the sensor nodes have limited battery energy, so, how to reduce energy consumption in WSNs is a key challenging. Based on this problem, we propose a sleeping scheduling model. In this model, firstly, the sensor nodes round robin is used to let as little as possible active nodes while all the targets in the power grid are monitored; Secondly, for removing the redundant active nodes, the sensor nodes round robin is further optimized. Simulation result indicates that this sleep mechanism can save the energy consumption of every sensor node.

Abstract: The synchronization of moving agent networks with linear coupling in a two dimensional space is investigated. Base on the Lyapunov stability theory, a criterion for the synchronization is achieved via designed decentralized controllers. And, an example of typical moving agent network, having the Rössler system at each node, has been used to demonstrate and verify the design proposed. And, the numerical simulation results show the effectiveness of proposed synchronization approaches.

Abstract: proposed a Limit-1 polling system model with simplified service process (SL-1), which was analyzed by the theory of imbedded Markov chain and the method of multidimensional probability generating function. The related characteristic of system was obtained based on the analysis of polling mechanism. The contrast of numerical curve and simulation experiment between SL-1 service and Limit-1 service showed that the SL-1 service polling model performed better in queuing performance and stability.

Abstract: In recent years, algebraic semantics and its verification are increasingly important in software engineering. In this paper, firstly, the algebraic semantics of software evolution process description language (AS-EPDL) at activity level is explored. The algebraic semantics of activity level in EPDL provide an accurate framework for defining the semantics. In addition, the hierarchy-consistency and sufficient-completeness properties of the AS-EPDL at activity level are verified.

Abstract: The algebraic semantics has been applied to describe and verify semantics for a long period of time. In this paper, the algebraic semantics of EPDL of task level is studied. The paper is divided into two parts. In the first part, the initial algebraic semantics of EPDL (AS-EPDL) of task level is given. As a consequence of the practical purpose, we give the expansion type, which can help the modularization of programming. However, there are two key problems we should concern about when the expansion type is built - hierarchy-consistency and sufficient-completeness. Therefore, we give the verification of these two properties in the second part of the paper.

Abstract: In the deployment of a wireless sensor network, a portable device can be used on protocol analysis or in-situ network diagnose, which is more convenient than the traditional gateway solution. In this paper, based on the Android devolvement board and TelosB mote, the Android terminal was built to collect data from a wireless sensor network composed of TelosB motes. The middleware was implemented on this Android terminal to parse the sensor data and store the data into databases. The evaluation process verified the deign feasibility.