Shandong Provincial Key Laboratory of Computer Networks

Jinan, China

Shandong Provincial Key Laboratory of Computer Networks

Jinan, China
Time filter
Source Type

Wang J.,Shandong Computer Science Center | Wang J.,Shandong Provincial Key Laboratory of Computer Networks | Wang B.,University of Southern California
2016 1st IEEE International Conference on Computer Communication and the Internet, ICCCI 2016 | Year: 2016

PCM (Phase Change Memory) as next generation non-volatile storage media, has shown more better properties. However, there is no avoiding the fact that PCM has poor write performance and endurance, comparing with DRAM (Dynamic Random Access Memory). Another engine that drives this paper is the development of the cloud computing, which carries more and more virtual machine applications. Therefore, we proposed a hybrid main memory architecture built with DRAM and PCM. As an optimization techniques, we introduced data deduplication and designed a novel mapping structure to accommodate the main memory. We have implemented a simulator to evaluate the hybrid memory and the results show that the transaction latency is reduced about 84.02%. © 2016 IEEE.

Wu X.,Shandong University of Science and Technology | Wu X.,Shandong Computer Science Center National Supercomputer Center in Jinan | Wu X.,Shandong Provincial Key Laboratory of Computer Networks | Wang Y.,Shandong University of Science and Technology | And 4 more authors.
International Conference on Communication Technology Proceedings, ICCT | Year: 2015

Recent studies have shown that utilizing a mobile sink to harvest and carry data from wireless sensor network (WSN) can enhance network operations and balance the network energy consumption. Because of the sink mobility, the paths between the sensor nodes and the sink change frequently, and have profound influence on the lifetime of WSN. To find an efficient protocol that can maintain the routes between the mobile sink and nodes with few network resources are important. We propose a swarm intelligent algorithm based route maintaining protocol in this paper to resolve this issue. The protocol utilizes the concentric ring mechanism to guide the route researching direction, and the optimal routing selection to maintain the data delivery route. Using the immune based artificial bee colony (IABC) algorithm to optimize the forwarding path, the protocol could find an alternative path efficiently when sink moves. The results of our experiments demonstrate that the protocol could balance the network traffic load. © 2015 IEEE.

Chen C.,Shandong Computer Science Center National Supercomputer Center in Jinan | Chen C.,Beihang University | Jia Y.,Beihang University | Shu M.,Shandong Computer Science Center National Supercomputer Center in Jinan | And 3 more authors.
IEEE Transactions on Intelligent Transportation Systems | Year: 2015

This paper presents a hierarchical controller for an autonomous vehicle to track a reference path in the presence of uncertainties in both tire-road condition and external disturbance. The hierarchical control architecture consists of three layers: high, low, and intermediate levels. The upper-layer module deals with the vehicle motion control objective, which generates the desired longitudinal/lateral forces and yaw moment. The low-level module handles the braking control for each wheel based on the wheel slip dynamics. The intermediate-level controller generates the longitudinal slip reference for the low-level brake control module and the front-wheel steering angles. To cope with the unknown and nonuniform road condition parameters appearing in the actuator models, an adaptive law is designed for each wheel, and the convergence of the adaptive parameters is guaranteed under a certain persistency-of-excitation condition. The stability of the integrated control system is analyzed by utilizing a Lyapunov function approach. Simulation results are included to illustrate the proposed control scheme. © 2000-2011 IEEE.

Wei N.,Shandong Provincial Key Laboratory of Computer Networks | Wei N.,Shandong Computer Science Center | Shu M.-L.,Shandong Provincial Key Laboratory of Computer Networks | Shu M.-L.,Shandong Computer Science Center | And 5 more authors.
Proceedings - 2015 International Conference on Computational Intelligence and Communication Networks, CICN 2015 | Year: 2015

Cloud computing is Internet-based network, share computing resources through virtualization mode and provide dynamic computing storage or other services according to the user needs. The paper puts forward a new Intelligent health perception system based on cloud computing. The system will achieve scalable IntelliSense terminals and systems, and play an important role to prompt the technology of cloud health system. © 2015 IEEE.

Du T.,University of Jinan | Qu Z.,Shandong Computer Science Center | Qu Z.,Shandong Provincial Key Laboratory of Computer Networks | Guo Q.,University of Jinan | Qu S.,University of Jinan
International Journal of Distributed Sensor Networks | Year: 2015

Data aggregation is an important method of improving transmitting efficiency of WSNs, but existing researches have some disadvantages as follows: several periods delay will be generated when filtering messages; the reduplicated messages filtering ratio is low; complex calculations need to be executed; and extra hardware should be added to obtain high performance. To resolve these problems, this paper proposes a real time and high efficient data aggregation scheme (dynamical message list based data aggregation, DMLDA) based on clustering routing algorithm. DMLDA includes three procedures: activating nodes, clustering nodes, and filtering messages. In filtering procedure, a special data structure named dynamic list will be established in every filtering node; it is designed to store messages transmitted by filtering node, and, comparing current message with list's items, the message's redundancy can be judged without any delay. To improve the filtering efficiency, the message list can be adjusted dynamically. The three procedures of data aggregation are all introduced, and the filtering method is designed in detail in this paper. At last, a series of experiments are simulated to prove our scheme's performance, and the advantages are analyzed in theory. © 2015 Tao Du et al.

Wang M.,Shandong Computer Science Center National Supercomputer Center in Jinan | Wang M.,Shandong Provincial Key Laboratory of Computer Networks | Zhang Z.,Qufu Normal University
Journal of the Franklin Institute | Year: 2015

In this paper, the problem of globally stable adaptive fuzzy tracking control is addressed for a class of uncertain nonlinear systems in the canonical form. Instead of linearly parameterized fuzzy logic system (FLS), nonlinearly parameterized FLS is used to approximate the unknown nonlinear function. By combining the new parametrization of Gaussian membership function and the signal replacement approach, a novel adaptive fuzzy controller is designed. It is shown that all signals in the closed-loop system are globally bounded and that the tracking error converges to zero asymptotically. A simulation example is included to illustrate the effectiveness of the proposed approach. © 2015 The Franklin Institute. Published by Elsevier Ltd. All rights reserved.

Li X.-F.,Chinese Academy of Sciences | Zhang X.-C.,Shandong Academy of Sciences | Zhang X.-C.,Shandong Provincial Key Laboratory of Computer Networks | Yang M.-H.,Shandong Academy of Sciences | And 2 more authors.
Dianzi Yu Xinxi Xuebao/Journal of Electronics and Information Technology | Year: 2011

To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN-based modularized model checking method. The proposed method divides the original abstraction model into some modules, and verifies all the divided modules, instead of verifying the original model. In the dividing process, the semantic of original model can be completely included in the modules, and no semantic is added in the process. Consequently, the original model passes the verification of model checking if and only if all the modules pass the verification. The theoretical and experimental results show that the proposed method is valid.

Zhang X.,Shandong Provincial Key Laboratory of Computer Networks | Zhang X.,Shandong Computer Science Center | Yang M.,Shandong Provincial Key Laboratory of Computer Networks | Yang M.,Shandong Computer Science Center | And 3 more authors.
Communications in Computer and Information Science | Year: 2011

The state explosion is a well-known problem in the field of model checking, which confines the application of model checking to some extent. This paper proposes a partition-based model checking method, which can be employed to address the state explosion problem in some procedures of verifying complex communication protocols with SPIN. The proposed method partitions the design model of a communication protocol into different sub-models by a message-based way, and verifies the design model through validating the sub-models with relatively low resource consumption. © 2011 Springer-Verlag Berlin Heidelberg.

Fan M.-Q.,Southwest Jiaotong University | Wang H.-X.,Southwest Jiaotong University | Li H.-J.,Shandong Provincial Key Laboratory of Computer Networks
Multimedia Tools and Applications | Year: 2014

Recently, a major problem faced by digital data providers and owners is protecting data from malicious falsification and distribution. As a solution to this problem, digital fingerprinting technique is now attracting attention as new method for integrity protection. According to frequency domain statistical characteristic, an efficient fingerprint-based audio authentication scheme is proposed in this paper. Initially, the host audio signal is equally divided into non-overlapping frames, moreover, each audio frame is then equally split into non-overlapping segments, and the DFT (discrete Fourier transform) domain relation of each audio segment is computed. Then DFT domain relations of each audio frame are adopted to generate the corresponding binary pattern using non-uniform quantization. Finally, the fingerprint is obtained by performing XOR operation between the binary pattern and binary pseudo-random sequence. Simulation results demonstrate the effectiveness of our scheme in terms of inaudibility, detection reliability, robustness against some non-malicious signal processing operations and vulnerability against malicious falsification. © Springer Science+Business Media, LLC 2012.

Fan M.-Q.,Southwest Jiaotong University | Liu P.-P.,Chengdu University of Technology | Wang H.-X.,Southwest Jiaotong University | Li H.-J.,Shandong Provincial Key Laboratory of Computer Networks
International Journal of Computer Mathematics | Year: 2013

In this paper, a novel semi-fragile watermarking scheme for authenticating an audio signal based on dual-tree complex wavelet transform (DT-CWT) and discrete cosine transform (DCT) is proposed. Specifically, the watermark data are efficiently inserted into the coefficients of the low-frequency sub-band of DT-CWT taking advantages of both DCT and quantization index modulation (QIM). First, the original digital audio signal is segmented and then performed with DT-CWT. Second, based on the energy compression property, the low-frequency sub-band coefficients of the DT-CWT domain are performed with DCT, and the DC component is utilized to embed one distorted watermark bit by the QIM technique. Finally, inverse DCT and DT-CWT are orderly implemented on the watermarked coefficients of each audio segment to get a watermarked audio signal. Simulation results show that the hybrid embedding domain constructed by DT-CWT and DCT is effective, and the proposed watermarking scheme is not only inaudible, but also robust against content persistent non-malicious audio signal processing operations, such as MP3 compression, noise addition, re-sampling, re-quantization, etc. Furthermore, the proposed scheme can effectively authenticate the veracity and integrity of audio content and greatly expands the applicability of the audio watermarking scheme. © 2013 Taylor & Francis.

Loading Shandong Provincial Key Laboratory of Computer Networks collaborators
Loading Shandong Provincial Key Laboratory of Computer Networks collaborators