Contents

A Traffic Shaping Framework Based on Network Calculus ZHANG Xin-ming,CHEN Guo-liang and GU Jun 2002,13(12):2225-2230 [Abstract(3593)]  [View PDF(5648)426.59 K]

A Parallel Algorithm for Prestack Depth Migration Based on Shared Memory LI Jian-jiang,SHU Ji-wu,WANG You-xin,WANG Ding-xing and ZHENG Wei-min 2002,13(12):2231-2237 [Abstract(3556)]  [View PDF(5326)495.45 K]

Adaptive Zero-Block Detection Algorithm with Multi-Resolution LI Qiang,CUI Hui-juan,TANG Kun and DU Wen 2002,13(12):2231-2336 [Abstract(4008)]  [View PDF(5198)449.37 K]

The Architecture Description Language XADL and Architectural Mismatch Checking ZHANG Bo,FENG Yu-lin and HUANG Tao 2002,13(12):2238-2243 [Abstract(3609)]  [View PDF(5525)356.81 K]

The Formal Semantics of UML State Machine JIANG Hui,LIN Dong and XIE Xi-ren 2002,13(12):2244-2250 [Abstract(3999)]  [View PDF(6418)394.15 K]

Design and Evaluation of an Algorithm for Integrated Dynamic Scheduling in Real-Time Heterogeneous Systems QIAO Ying,ZOU Bing,FANG Ting,WANG Hong-an and DAI Guo-zhong 2002,13(12):2251-2258 [Abstract(3721)]  [View PDF(5506)463.50 K]

The Crossing Number of 4-Regular Graphs YANG Yuan-sheng,WANG Dan and LU Wei-ming 2002,13(12):2259-2266 [Abstract(3680)]  [View PDF(5366)669.99 K]

Computing the Minimal Hitting Sets with Binary HS-Tree JIANG Yun-fei and LIN Li 2002,13(12):2267-2274 [Abstract(4441)]  [View PDF(6035)479.31 K]

A Fast Algorithm for the Drawing of Circles CHENG Jin,LU Guo-dong and TAN Jian-rong 2002,13(12):2275-2280 [Abstract(4337)]  [View PDF(8371)458.45 K]

Color Separation and Printing for Spot Color Printing Technology GE Min,MENG Xiang-xu and NG Bin 2002,13(12):2281-2285 [Abstract(3560)]  [View PDF(5787)381.31 K]

A Linear Camera Self-Calibration Technique Based on Projective Reconstruction LI Hua and HU Zhan-yi 2002,13(12):2286-2296 [Abstract(3541)]  [View PDF(6322)747.80 K]

An On-Line Structure Learning Algorithm of Belief Network LIU Qi-yuan,ZHANG Cong,SHEN Yi-dong and WANG Cheng-liang 2002,13(12):2297-2304 [Abstract(3634)]  [View PDF(5296)516.41 K]

Analysis and Verification of Local Properties of Ada Tasking Based on Net Language DING Zhi-jun and JIANG Chang-jun 2002,13(12):2305-2316 [Abstract(3805)]  [View PDF(5278)893.87 K]

A Method for Solving Optimization Problem in Continuous Space by Using Ant Colony Algorithm CHEN Ling,SHEN Jie and QIN Ling 2002,13(12):2317-2323 [Abstract(3977)]  [View PDF(8831)483.31 K]

Construction of Perception Mechanism in Virtual Assembly CHENG Cheng 2002,13(12):2324-2330 [Abstract(3578)]  [View PDF(5065)391.00 K]

Complexity Analysis for the HEWN Algorithm--A Discussible Opinion HAN Ai-li and YANG Zhi-min 2002,13(12):2337-2342 [Abstract(4197)]  [View PDF(5940)451.04 K]

A Solution to Reengineering the Legacy System Based on Mobile Agent Technology ZHAN Jian-feng and CHENG Hu 2002,13(12):2343-2348 [Abstract(3026)]  [View PDF(5036)352.02 K]

Review Articles

A Survey on Mesh Simplification HE Hui-guang,TIAN Jie,ZHANG Xiao-peng,ZHAO Ming-chang and LI Guang-ming 2002,13(12):2215-2224 [Abstract(7293)]  [View PDF(10459)674.25 K]