Contents

RESEARCH ON STRATEGIES FOR CONTROL REDUNDANCY OF RULE BASE ZONG Chengqing,CHEN Zhaoxiong and HUANG Heyan 1997,8(1):1-6 [Abstract(3903)]  [View PDF(4043)401.22 K]

A LEAP REAL TIME SEARCH ALGORITHMIN DYNAMIC AND OPEN ENVIRONMENTS LUO Yi,HU Peng,SHI Chunyi and WANG Kehong 1997,8(1):7-13 [Abstract(3940)]  [View PDF(3986)511.11 K]

AN EFFECTIVE METHOD OF CHECKING KNOWLEDGE BASES FOR CONSISTENCY IN THEIR MAINTENANCE SHEN Ningchuan,LONG Xiang and LI Wei 1997,8(1):14-21 [Abstract(3645)]  [View PDF(4110)470.09 K]

THE IMPLEMENTATION OF OPTIMAL BROADCAST AND SUMMATION ALGORITHMS IN THE Log MODEL SHOU Biao and CHEN Guoliang 1997,8(1):22-28 [Abstract(3666)]  [View PDF(4341)459.81 K]

A PARTIAL EVALUATOR FOR FLOW CHART LANGUAGEBASED ON THE LIVENESS ANALYSIS LU Weidong and JIN Chengzhi 1997,8(1):29-35 [Abstract(3474)]  [View PDF(4382)459.20 K]

IMPLEMENTING OBJECT ORIENTED EXTENSIONSOF TRADITIONAL PROGRAMMING LANGUAGES LI Xuandong and ZHENG Guoliang 1997,8(1):36-43 [Abstract(3800)]  [View PDF(4038)583.09 K]

THE REPRESENTATION OF REAL TIME DATAAND TEMPORAL KNOWLEDGE GUO Hongfei and ZHOU Jianchang 1997,8(1):45-50 [Abstract(3994)]  [View PDF(4219)451.03 K]

CORRECTNESS PROVEMENTS OF DISK CACHECOHERENCE PROTOCOLS IN PARALLEL FILE SYSTEM WU Beihong,XING Hancheng and HUANG Dahai 1997,8(1):51-61 [Abstract(3478)]  [View PDF(4348)688.60 K]

A METHOD OF COMPARISON BASED QUALITATIVE SIMULATION GU Yuhong and SHI Chunyi 1997,8(1):62-70 [Abstract(3678)]  [View PDF(4364)502.82 K]

NURBS TRI PARAMETRIC SOLID MODELING ANDITS APPLICATION IN CAD/CAM OF DIES SUN Shanzhong,LIU Xiaoqiang and RUAN Xueyu 1997,8(1):71-74 [Abstract(3844)]  [View PDF(4408)618.78 K]

Review Articles

PROGRESS OF COMPUTER LOCAL AREA NETWORK TECHNIQUES LI Layuan 1997,8(1):75-80 [Abstract(7233)]  [View PDF(6418)462.91 K]