Contents

RESEARCH ON STRATEGIES FOR CONTROL REDUNDANCY OF RULE BASE ZONG Chengqing,CHEN Zhaoxiong and HUANG Heyan 1997,8(1):1-6 [Abstract(4447)]  [View PDF(5561)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(4475)]  [View PDF(5580)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(4310)]  [View PDF(5552)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(4385)]  [View PDF(5801)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(4089)]  [View PDF(5918)459.20 K]

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

THE REPRESENTATION OF REAL TIME DATAAND TEMPORAL KNOWLEDGE GUO Hongfei and ZHOU Jianchang 1997,8(1):45-50 [Abstract(4574)]  [View PDF(5679)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(4072)]  [View PDF(5735)688.60 K]

A METHOD OF COMPARISON BASED QUALITATIVE SIMULATION GU Yuhong and SHI Chunyi 1997,8(1):62-70 [Abstract(4200)]  [View PDF(5802)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(4572)]  [View PDF(5941)618.78 K]

Review Articles

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