Search For:

Displaying 1-25 out of 25 total
Cover Set Problem in Directional Sensor Networks
Found in: Future Generation Communication and Networking
By Yanli Cai, Wei Lou, Minglu Li
Issue Date:December 2007
pp. 274-278
of directional sensors, which can switch to several directions to extend their sensing ability to cover the interested targets in a given area. Because a directional sensor has a smaller angle of sensing range or even does not cover any target when it is d...
Portlet-based Portal Design for Grid Systems
Found in: Grid and Cooperative Computing Workshops, International Conference on
By Yanli Cai, Jian Cao, Minglu Li, Lei Chen
Issue Date:October 2006
pp. 571-575
A Grid portal is a user?s access point to Grid systems. A disadvantage existing in current Grid Portals is that they are usually designed for specific applications and difficult to adapt to new applications. Portlets are Java based web components, which ma...
Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs
Found in: IEEE Transactions on Software Engineering
By Yan Cai,W.K. Chan
Issue Date:March 2014
pp. 266-281
We present Magiclock, a novel potential deadlock detection technique by analyzing execution traces (containing no deadlock occurrence) of large-scale multithreaded programs. Magiclock iteratively eliminates removable lock dependencies before potential dead...
ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs
Found in: IEEE Transactions on Parallel and Distributed Systems
By Yan Cai,Changjiang Jia,Shangru Wu,Ke Zhai,W.K. Chan
Issue Date:February 2014
pp. 1
Many large-scale multithreaded programs incur deadlock bugs. Existing deadlock warning detection techniques only report warning scenarios, which may or may not be real deadlocks. Each warning should be further verified on whether it may manifest into a rea...
Lock Trace Reduction for Multithreaded Programs
Found in: IEEE Transactions on Parallel and Distributed Systems
By Yan Cai,W.K. Chan
Issue Date:December 2013
pp. 2407-2417
Many happened-before-based detectors for debugging multithreaded programs implement vector clocks to incrementally track the casual relations among synchronization events produced by concurrent threads and generate trace logs. They update the vector clocks...
Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions
Found in: 2013 IEEE International Conference on Web Services (ICWS)
By Lijun Mei,Yan Cai,Changjiang Jia,Bo Jiang,W.K. Chan
Issue Date:June 2013
pp. 147-154
Many web services represent their artifacts in the semi-structural format. Such artifacts may or may not be structurally complex. Many existing test case prioritization techniques however treat test cases of different complexity generically. In this paper,...
Comparative Analysis of the Workflow Modeling
Found in: 2012 International Conference on Management of e-Commerce and e-Government (ICMeCG)
By Yan Cai
Issue Date:October 2012
pp. 226-229
The workflow modeling is the basis of workflow management technology, the correctness and performance of the workflow model is the key to determining the success or failure of the workflow management system, this article is based on the research and analys...
A Study of EMD Modal Identification Based on Laplace Wavelet Matching
Found in: Intelligent System Design and Engineering Application, International Conference on
By Jiang Qing,Li Ting,Yao Yan,Cai Jinhui
Issue Date:January 2012
pp. 101-104
This paper proposes a method of empirical mode decomposition (EMD) modal parameter identification based on Laplace wavelet matching, on the basis of synchronization test for pressure switch. Taking a pressure switch which is used in the air-conditioning of...
Petri-net-based Modeling of Online Shopping Workflow
Found in: Management of e-Commerce and e-Government, International Conference on
By Yan Cai
Issue Date:November 2011
pp. 137-140
Due to the complexity of modern e-Business systems is steadily increasing, the analysis and design of e-Business systems using workflow is of great interest. A model design with workflow allows optimization and flexibility of the implementation of the e-Bu...
LOFT: Redundant Synchronization Event Removal for Data Race Detection
Found in: Software Reliability Engineering, International Symposium on
By Yan Cai,W.K. Chan
Issue Date:December 2011
pp. 160-169
Many happens-before based techniques for multithreaded programs implement vector clocks to track incrementally the causal relations among the synchronization operations acting on threads and locks. In these detectors, every such operation results in a vect...
Study on Affecting Factors of Zeolite Biological Aerated Filter (ZBAF) in Micro-polluted Raw Water Treatment
Found in: Computer Distributed Control and Intelligent Environmental Monitoring, International Conference on
By Liu Jinxiang, Xie Shuibo, Lou Jinsheng, Zhu Yan, Cai Ting
Issue Date:February 2011
pp. 1327-1330
The removal of CODMn, NH4+-N from micro-polluted raw water were investigated by zeolite biological aerated filter process. Several selected test factors such as media height ofBAF£¬hydraulic retention time(HRT)£¬the air/water ratio and concentratio...
Torque Ripple Minimization Strategy for Direct Torque Control of Induction Motors
Found in: Intelligent Networks and Intelligent Systems, International Workshop on
By Sheng-wei Gao, Yan Cai
Issue Date:November 2010
pp. 148-151
In the traditional direct torque control (DTC) of induction motor, the low order harmonic component of stator current is very large when the motor is running at low speed. It leads to high torque ripple of motor in low speed. To solve this problem, a new c...
Multi-source Distributed Video Coding in Wireless Video Sensor Networks for Water Conservancy Engineering
Found in: Networks Security, Wireless Communications and Trusted Computing, International Conference on
By Zhang Mei-Yan, Cai Wen-Yu
Issue Date:April 2010
pp. 309-312
Distributed Source Coding (DSC) is one of the most promising collaborative information processing technologies for Wireless Video Sensor Networks (WVSN) because its low complexity video encoder is suitable for resource limited sensor nodes. Generic sensor ...
Design and Simulation of Rotor Resistance Observer for Induction Motors Using Artificial Neural Network
Found in: Measuring Technology and Mechatronics Automation, International Conference on
By Sheng-wei Gao, You-Hua Wang, Yan Cai, Chuang Zhang
Issue Date:March 2010
pp. 974-977
The performance of the vector control depends on the precise measurements of parameters in motor. The rotor resistance is one of the most important parameters. An adaptive scheme for on-line identification of the rotor resistance based on the artificial ne...
Swarm Intelligence: Ant-Based Robot Path Planning
Found in: Information Assurance and Security, International Symposium on
By Jing Zhou, Guan-Zhong Dai, De-Quan He, Jun Ma, Xiao-Yan Cai
Issue Date:August 2009
pp. 459-463
In this paper we proposed a novel algorithm Ant-based Robot Path Planning (ARPP) based on Ant Colony System (ACS) to mimic a swarm of ants to find the globally optimal path for autonomous mobile robots. Visibility graph was used as both the roadmap and con...
Energy Efficient Target-Oriented Scheduling in Directional Sensor Networks
Found in: IEEE Transactions on Computers
By Yanli Cai, Wei Lou, Minglu Li, Xiang-Yang Li
Issue Date:September 2009
pp. 1259-1274
Unlike convectional omnidirectional sensors that always have an omniangle of sensing range, directional sensors may have a limited angle of sensing range due to the technical constraints or cost considerations. A directional sensor network consists of a nu...
The Image Quality Analysis of Color Reproduction on Ink-jet Paper
Found in: Computer Science and Software Engineering, International Conference on
By Wang Qiang, Liu Xiaonao, Sheng-Yan Cai
Issue Date:December 2008
pp. 398-401
Printing line quality was tested based on the image analytical method for evaluating color reproduction quality of commercial ink-jet paper. The micro-properties of printing image could be quantificational found. A pair-comparison psychophysical experiment...
Nonlinear Modeling of Switched Reluctance Motor Based on BP Neural Network
Found in: International Conference on Natural Computation
By Yan Cai, Chao Gao
Issue Date:August 2007
pp. 232-236
Due to highly nonlinear characteristics of switched reluctance motor (SRM), an accurate nonlinear model is the key to minimize torque ripple by optimum phase current profiling. After static torque characteristics of SRM having been measured by DSP, the inv...
VoIP Capacity over Wireless Mesh Networks
Found in: Local Computer Networks, Annual IEEE Conference on
By Bin Hong Lee, Guan Yan Cai, Yu Ge, W.K.G. Seah
Issue Date:November 2006
pp. 551-552
This paper aims at performance study of wireless mesh networks (WMNs). It proposes a realistic approach for experiments and simulations on VoIP capacity in 802.11 chain and lattice mesh topologies. Further, it suggests using a relaxed requirement in order ...
A Subsumption Hierarchy of Test Case Prioritization for Composite Services
Found in: IEEE Transactions on Services Computing
By Lijun Mei,Yan Cai,Changjiang Jia,Bo Jiang,W.K. Chan,Zhenyu Zhang,T.H. Tse
Issue Date:June 2014
pp. 1
Many composite workflow services utilize non-imperative XML technologies such as WSDL, XPath, XML schema, and XML messages. Regression testing should assure the services against regression faults that appear in both the workflows and these artifacts. In th...
The Testing and Evaluating System for the Security Operating System Based on the Mechanism of Keyword-Driven
Found in: Information Assurance and Security, International Symposium on
By Liu Xing, Li Yan, Cai Mian, Guo Ying
Issue Date:August 2009
pp. 471-474
Comparing with the common operating system, the secure operating system can provide the user with amore safe and reliable operating platform of the computer system. The testing to the security functions of the secure operating system has become the importa...
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs
Found in: Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP '13)
By Ke Zhai, Shangru Wu, W.K. Chan, Yan Cai
Issue Date:February 2013
pp. 311-312
This paper presents the aim of TeamWork, our ongoing effort to develop a comprehensive dynamic deadlock confirmation tool for multithreaded programs. It also presents a refined object abstraction algorithm that refines the existing stack hash abstraction.
The Concentration Detector of Exhaust Emissions Based on Industrial Computer
Found in: Education Technology and Computer Science, International Workshop on
By Chen Hong-yan, Jiang Yan-cai
Issue Date:March 2010
pp. 438-440
We designed a system based on industrial computer to detect the concentrations of exhaust emissions. The paper illustrated the framework and work process of the system and introduced the software and commands designed for the system. The experiments indica...
RF Power Amplifier Linearization Method Based on Quadrature Nonlinear Model
Found in: Information Science and Engineering, International Conference on
By Peng Zhan, Kai-yu Qin, Chang-wei Cheng, Shun-yan Cai
Issue Date:December 2009
pp. 2711-2713
In the predistortion power amplifier linearization system, output of the power amplifier must be feedback to acquire the nonlinear distortion information. After quadrature demodulation, usually both the in-phase and quadrature part of the feedback complex ...
The Mediative Effect of Relationship Trust in the Influence of Switching Barriers on Customer Loyalty
Found in: Service Sciences, International Conference on
By Yan-cai Zhang
Issue Date:May 2010
pp. 341-345
With customer satisfaction's mediative effect on relationship between switching barriers and customer loyalty had been examined in a number of studies, relatively little is known about relational trust's mediative effect. To fill the gap, the paper constru...