Jingbo Shao

  • Citations Per Year
Learn More
Mobile nodes in Ad hoc network are typically powered by batteries. Normally some nodes stop working when run out of energy, which influences the integral performance of the Ad hoc network, and will split the network in severe situation. Therefore it is extremely important to conserve the energy. The existing route protocol based on Dynamic Source Routing(More)
This paper provides an introduction of the Swarm Intelligence with a special emphasis on Particle Swarm Optimization and Ant Colony Optimization at first. The basic data clustering terminologies are explained. Some of the past and ongoing works based on swarm intelligence techniques are discussed. Afterwards this paper describes the use of the Swarm(More)
The increasing complexity of chip design has posed great challenge for low power SoC test. Test vector reordering technique can lower circuit power dissipation. This paper proposes a new approach to low power SoC test based on ant colony optimization to find the optimal orders for test vector application. Experimental results on benchmark ITC'02 demonstrate(More)
Test scheduling is crucially important for optimal SoC test automation to allocate the limited available test resources. The minimized test application time can be achieved by test pipelining. However the test power consumption incurred during test procedure must be controlled in order not to offend the allowed maximal power dissipation thus avoiding(More)
The Dynamic Source routing protocol is basically ondemand routing protocol which is used in multi hop wireless network or mesh network. Mobile nodes in Ad hoc network are typically dependent on batteries power. Generally some nodes stop working because battery run out of energy, therefore it is extremely important to conserve the energy. And allready(More)
This paper explores the recent classic VLSI test compression methods, analyses the characteristics of each methods, make compression among them, the advantages and disadvantages of each proposed approaches are expounded. The main purpose for test compression is to reduce test application time, hardware overhead and test cost. The test compression solutions(More)
Different formulation strategies have been proposed for poorly water-soluble drugs. The objective of this study is to give an in vitro and in vivo comparison of a solid dispersion, micronization, and nanocrystals, with lacidipine as a model substance. Micronized lacidipine was obtained by jet milling, and nanocrystals were prepared by bead milling. The d50(More)
This paper presents a survey of the state-of-art of formal verification technique. The expression models for formal verification are introduced and analyzed. The characteristics of each model are expounded. Moreover, the typical model checking techniques are studied. Equivalence checking and property checking are introduced. The development trend for formal(More)
This paper proposes a novel approach to core based SoC test compression. Research works show that almost all the test vectors have the same part in common. Therefore there exists such a vector, from which parts of each test vector from the different test sets can be sought. Based on this, first we attempt to find a vector named overlapped vector which(More)
This paper presents a variant test scheduling for multi-clock domain SoC. Test resources are allocated reasonably by using ant colony optimization, and test application time is minimized. Experimental results demonstrate that the proposed method improves test application time on previous methods.