Contents

RESEARCH ON STRATEGIES FOR CONTROL REDUNDANCY OF RULE BASE ZONG Chengqing,CHEN Zhaoxiong and HUANG Heyan 1997,8(1):1-6 [Abstract(3985)]  [View PDF(4549)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(3979)]  [View PDF(4443)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(3716)]  [View PDF(4583)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(3778)]  [View PDF(4839)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(3528)]  [View PDF(4895)459.20 K]

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

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

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

Review Articles

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