Architecture 2
GSL:A Global Synchronization Mechanism for PAR95 Parallel System&Wensheng Niu and Yaorong Zhou 2
The Design And Implementation of the Data Buffer Unit in An Artificial Intelligence Computer ITM-1&Chenxi Zhang Bo Liu Pu Wang 6
A Proof Procedure for the Regular Semantics of Normal Logic Programs&John Z.Li and Jia-Huai You 11
Prefetching at Synchronization Points for Programs Respecting Weak Consistency Model&Yong Dou and Xingming Zhou 19
Modeling And Evaluation of Dynamic Memory Disambiguation And Renaming Mech-anisms for Instruction-Level Parallelism&Xianzhu Wang and Sanli Li 25
Providing Fault-Tolerant Services in a Client/Service Paradigm&Wanlei Zhou 31
CPU Utilization Analysis of Disk Array With Synchronous Interleaving&Hai Jin Di Yao Xinrong Zhou Jiangling Zhang 37
YH-MCS Multiprocessor-Based Fault-Tolerrant Cell Controller for FMS&Gang Xiao and Wenhua Dou 39
Hardware Support for Process Synchronization Algorithms on I860XP Based Multiprocessor System&Heng Liao Ruiheng Liu Sanli Li 41
A Virtual Shared-Memory Multiprocessor System with Distributed Memory And Private Consistent Caches&Heng Liao Zhao Wu Sanli Li 43
Parallel and Distributed Processing 46
Static Performance Estimating of Data Decomposition Schemes on Distributed Memory Parallel Machines&Zhaohui Duan and Zhaoqing Zhang 46
On Some Aspects of Parallel Implementation of Applicative Languages&Zhonghua Li and Chris Kirkham 52
Experiences with Parallel N-body Simulation on the CM-5&Fang Wang 60
Design And Implementation of A Parallel Program Performance Debugger&Peng Xie Yian Zhu Jichang Kang 66
Register Requirement for Exploiting Loops’Maximum Instruction-Level Parallelism&Jian Wang Andreas Krall M.Anton Ertl 70
SLDS：Specifying and RefiDing Distributed Systems in Objects&Xing Du and Lin Zhang 76
Design and Implementation of A Parallel File System&Beihong Wu 82
Enforcing Actual Temporal Order Among Events in A Distributed System&Chin-Yun Hsieh Yu Chin Cheng Jung-Sing Jwo 88
Implementing GAMMA on MasPar MP-1&Linpeng Huang Kam Wing Ng Weiqing Tong Yongqiang Sun 94
Parallel Convex Hull Algorithms in A Curved World&Wei Chen Koichi Wada Kimio Kawaguchi 100
Code Generation of Automatic Parallelizer on Distributed Memory Parallel Machines&Ren Liu and Zhaoqing Zhang 106
Constructing DO Loops by Scanning Non-Convex Iteration Spaces&Jingling Xue 114
An Algorithm for Communication Deadlock Detection&Shiping Chen and Shigang Chen 122
The Abstract Parallelism Analysis of Prolog&Litong Song Hongyu Tian Chengzhi Jin 130
Towards An Extension of Rent s Rule for Describing Local Variations in Interconnec-tion Complexity&H.Van Marck D.Stroobandt J.Van Campenhout 136
RTULH：A Real-Time Updating Protocol in DSM-Design and Analysis&Zhiyi Fang 142
High Performance Computing in A German Research Institution&Kurt B?hm 148
Debugging Distributed Programs with Debug Server&Jianxin Xiong 155
Seismic Processing on Parallel Computers&Tao Zhu Xiuqing Cai Qingping Guo 157
Parallel Quicksort Without Memory Conflicts&X.Guan and L.Guan 159
Trace Merging&Heng Liao Zhao Wu Sanli Li 161
Multi-Threading under Message Passing&Fang Wang Hubertus Franke Pratap Pattnaik 163
Using Non-Uniform Workload Assignment to Deal with the Startup Delay in Parallel Database Systems&Li Yang and Xingming Chou 165
Networks 168
Properties and Embeddings of Interconnection Networks Based on Hexcubes&Show-May Chen Jung-Sing Jwo Chin-Yun Hsieh Yu Chin Cheng 168
Analysis of An Adaptive Leaky Bucket with Matrix Analytic Method&Jun Huang 175
A Parallel Routing Scheme for Solving Conflicts in Multistage Cube Network Archi-tectures&C.Jimmy Shih 181
Object-Oriented Design for X.400 PCTS Reference Implementation&Mingwei Xu Jian Qiu Zhihao Zhang Jianping Wu 189
The Value of Intermediaries in Network Commerce&Wai Kiong Chong and Andrew Jennings 195
Design and Implementation of the Gateway Interconnecting LANs with ISDN&Jun Yuan and Guozhong Wu 203
Connection Oriented and Connection Less ATM-LAN Interconnection&M.A.Razaque and Zheng Shouqi 209
Routing Technique in MHS&Zhihao Zhang Jian Qiu Mingwei Xu Jianping Wu 211
Specifying Communication Protocols Using Formal Description Techniques&Junhai Li and Lianqun Kou 213
A Simple Dynamic Bandwidth Allocation Scheme for ATM Networks&Han Zhou C.H.Chang D.T.Han 215
Sharing Chinese Messages in the Internet&Haifeng Zhu Yue You Daoyuan Hu 217
Internetworking of TCP/IP-based Systems:Gateways and Network Support&Xun Qu Iain Macleod Hong Jiang 219
Parallel Simulation of Large ATM Switching Networks&W.Liu G.Petit E.Dirkx 221
Databases 224
An Efficient Algorithm for Computing Equivalent FD Classes for Relational Database Design&Yanchun Zhang and Chengzheng Sun 224
On the Version Management Based on the Record Difference in Engineering Database&Xinguo Xu Zongkai Lin Yuchai Guo 230
Template Based Transaction Scheduling in Group-Oriented CAD Database&Haengrae Cho and Songchun Moon 236
Conditional Blocking: Generalized Locking Scheme for Managing Long-Lived Trans-actions&Haengrae Cho Hyeokmin Kwon Songchun Moon 244
Outerjoin Processing in the Presence of Data Inconsistency in Multidatabase Systems&Weiyi Meng 253
On Partial Order Processing for Dynamic Concurrency Control in Database Systems&Jinli Cao and Marian W.Orlowski 259
A Cost Model for Evaluating Path Expression Using Placement Information&Jean-Robert Gruser and Zhao-Hui Tang 265
LMDA：Disk Allocation Methods for Parallel Database Systems&Guoren Wang Ge Yu Jidi Shan Huaiyuan Zheng 273
A Flexible Commit Method for Distributed Heterogeneous Multidatabases&Shige Wang Ge Yu Huaiyuan Zheng 279
Concurrency Control in dEDBMS&Tao wang Zongkai Lin Yuchai Guo 285
Implementation Issues of A Prototype Intelligent Database System&Dunren Che and Lizhu Zhou 290
Storage Structure and Algebraic Operations for Complex Objects of the Extended NF2 Data Model&Wanli Zuo and Zhixin Fan 292
A Decentralized Concurrency Control Model for Multidatabase Transactions&Peiqiang Wang Chengsan Zhuang Qian Ling 294
Trader：Facility for Managing Database Objects in IDPT&Ping Xiong Xuefei Tang Jinde Liu 296
Integration Architecture and Data Model of A CIMS Information Integration Platform&Guoren Wang Ge Yu Jidi Shan Huaiyuan Zheng 298
A New Method for Replication in Distributed Data Base System&Bin Zhang Jidi Shan Huaiyuan Zheng 300
Providing An Interface to C++ Based ODBMSs&Eunji Hong and Suk I.Yoo 302
Design of Database Encryption Management Tool&Jie Shang Zhongmin Su Wei Chen Yiqi Dai 304
Generalize Dependencies by Set Mapping Method&Zhixin Fan Wanli Zuo Changlin Zhou 306
Software Engineering and Tools 310
Detect Local Array&Tong Chen Binyu Zhang Chuanqi Zhu 310
Real-Time Research on UNIX File System&Qingjiu Zhu Jianhua Gu Peng Wang 316
Trace Method——A Formal Method for Software Module Interface Specification&Yabo Wang 320
Project Management of Management Information System&Shuren Xu 327
Formal Semantics of Inheritance——the Extension MAP&Yuzhong Qu and Zhijian Wang 333
Towards A High-Performance Prolog Compiler&Neng-Fa Zhou 339
Theoretical and Experimental Study of Dependence-Based Complexity Metrics for Distributed Programs&Jianjun Zhao Jingde Cheng Kazuo Ushijima 345
A Model Based Object-Oriented Integrated CASE Tool for Strategic Reengineering&LIM WIE MING 353
A Systematic Approach for Diagram Interface Applications&Wei Lai and Peter Eades 361
Selectively Caching Intermediate Results for Incremental Computation&Yanhong A.Liu 367
Behaviour-Bounded Inclusion Polymorphism in Object-Oriented Languages&Qinyu Zhuang 375
Requirements of Process-Centred Environments&Yun Yang 381
Proving Algorithms as Programs&Bingzhe Quan Wei Chen Chunzhao Jin 387
A Logic Data Language Based on Complex Object (Extended Abstract)&Aoying Zhao and Baile Shi 393
GTSL：A Grey Temporal Specification Language for Computer Security Policy&Aihua Fan Huowang Chen Zhichang Qi Yan Shen 400
Reuse of Domain Knowledge and Its Case Tools&Ying Chen and Zhaokeng Zhao 402
A Functional Algorithm Developing Approach Based on Dala Space Transformation&Chunling Yao and Yongqiang Sun 404
A Hierarchical Model-HOOAM of Object-Oriented Systems Analysis＆CASE Tools Supporting HOOAM&Peiyu Liu Shouyuan Chen Fasheng Liu 406
A MIS-Oriented Software Design Environment&Peng Liu Xiaolin Wang Guangzhou Zeng 408
OOAD2:A New Approach for Object-Oriented Analysis and Design&Yonghui Wu 410
A Formal Development Method DD-VDM&Jian Lu and Jianying Chang 412
Artificial Intelligence and Knowledge Engineering 416
Neural Vector Quantization with Direct Sum Codebooks&Shiwei Ye and Zhongzhi Shi 416
A Calculus for Fuzzy Queries on Fuzzy Entity-Relationship Model&Narasimha Bolloju 421
Parsing Natural Languages By Passing Through Controlled Network&Yuqiu Shan and Shulin Wang 427
Synthesis of Solutions in Distributed Approximate Reasoning Systems&Zili Zhang 433
Default Reasoning in Extended Logic Programs&Ningchuan Shen 438
AI Language Integrated Environment GKD-CSE&Y.Jia H.K.Gao H.M.Wang X.H.Tang 443
A Neural Network Strategy for Solviag Belief Conflict in Distributed Expert Systems&Minjie Zhang and Chengqi Zhang 449
Limited Deduction Vs.Boolean Constraint Propagation&Lejian Liao Zhongzhi Shi Yongmei Feng 457
A Unified Treatment of Uncertainties&Pei Wang 462
An Approach to Autoepistemic Logic&Qijia Tian Zhongzhi Shi Wenjie Wang Tao Wang 468
Managing Transportation by Constrained Heuristic Search&Peng Hu and Mark S.Fox 474
An Improvement of Self-Organizing Feature Map Algorithm&Boyang Liu Daqing He Qinping Zhao 482
A Comparison of Parallel α-β Search Algorithms&Yaoqing Gao and Akinori Yonezawa 488
Projection and Back Projection for the Discovery of Laws in N-Space&Honghua Dai and Kevin B. Korb 494
A Rule-Based Approach to Active Softwares&Cungen Cao 500
A Fuzzy Perceptron and Its Convergence Theorem&Xiaozhong Li 506
The Knowledge Representation and Inference Model of Z_ESPP Expert System&Li Yang and Yinghao Ma 513
A Probabifity Model to Determine Buffer Sizes and the Number of Buffers in Static Buffer Management&Li Ming and Pan Jun 521
Algebraic Recursive Logic：An Efficient Logic for Artificial Intelligence&Aizhong Li and Houkuan Huang 528
Winners-Take-Others:A New Competition Algorithm for High Level Causal Inference&Shengrui Wang and B?chir E.Ayeb 534
On the Inference Ability and Complexity of Resolution-Based Inference Strategies&Wei Zhang and Shenggui Hong 542
Consistency Checking and Constraint Condition in Knowledge Base Maintenance&Ningchuan Shen Xiang Long Wei Li 548
Model Theoretic Feature of the Assumption Based TMS&Yuping Zhang and Jinpeng Huai 555
Applications of Parametric Logic&Zuoquan Lin 560
Continuous-Valued X-of-N Attributes Versus Nominal X-of-N Attributes for Constructive Induction: a Case Study&Zijian Zheng 566
A General Framework for Belief Revision&Dongmo Zhang 574
Toward Coupled Knowledge Medium&Zhaohui Wu 582
Intelligent Idea Processing Systems with Fuzzy Matching&H.Harry Zhou and James P.Clements 584
Inheritance and Development of SC-grammar on Conventional Grammars&Liyou Yang Heyan Huang Zhaoxiong Chen Tianshun Yao 586
Logical Object as a Basis for Dependable Development of Knowledge Based Systems&Dianxiang Xu and Guoliang Zheng 588
A Deductive System Over Gap Interval Logic&Xiaowei Yan Wenlong Nie and Shichao Zhang 590
Automatic Acquisition of Algorithm Design Strategy&Jiazhong Zhang Xianping Tao Zhijian Wang 592
An Inductive Learning Method with Knowledge Evaluation&Hong Liu Ling Gao Mingchun Zheng Jianguo Li 594
Some State Space for AND/OR Graph Solving&Yanbing Wang Mingchun Zheng Jiazhong Zhang 596
Fuzzy Logic and Lattices&D.Cai J.W.Guan 598
Optimising Task Allocations in Heterogeneous Distributed Expert Systems&Allan W.Williams Pramote Luangsirimongkol Chengqi Zhang 600
The Improved Simulated Annealing&Yan Liu Chengde Han 602
Flight-simulation-based Virtual Reality Design&Qianxiang Wang Xingshe Zhou Jichang Kang 604
The Process and Rule Based Modelling Approaches in Information Systems Development&Dongsheng Chu Shunmei Fang Zhongli Xu 606
AARV:An Expert System for Aerodynamic Analysis&Yewei Gui and Wei Tang 608
Efficient Improved Algorithms for Game Tree Search&Wei Sun 610
A Random Variate Generator About Poisson Distribution&Guoshun Lin and Peixia Qin 612
Term Transformations in Natural Deduction&Jian Chen 614
Evolution in Multiple Dimensions&Gang Wang and Xingfu Wu 616
Evolution：A New Approach to Decision Support Systems&Renyi Xiao and Renbin Xiao 618
Theoretical Computer Science 622
Type Systems for Mobile Processes&N.Raja and R.K.Shyamasundar 622
Sequential Graph Isomorphism Detection with Identification Matrices&Lin Chen 630
On Unifying Equational Logics&Yong SUN 636
ROLLING-SNOW-BALL SORT with a Self-Adjusting Switch&Jingchao Chen 644
Inductive TABLEAUX with Operator Unification for PTL&Xiaochun Cheng and Xuhua Liu 650
Fast Sequential and Parallel Algorithms for Finding the Longest Subsequence or the Maximum Weighted Subsequence&Weifa Liang Xiaojun Shen 656
Combinatorics of k-ary n-cubes with Applications to Partitioning&Weizhen Mao and Daivid M.Nicol 662
A Frame for Solving General Divide-and-conquer Recurrences&Xiaodong Wang and Qingxiang Fu 670
A Functional Modeling Language for Mathematical Programming&Xiaotong Wang Minglun Cai Chengxiang Hua Sumin Ke 672
An Algorithm on Integer Decomposition&Jianqin Zhou and Zhiyuan Zhao 674
CAD,CAM,CAT and Computer Graphics 678
A Method for Volume Rendering 3D Irregular Grid Data Field&Bin Li Xundong Liang Shenquan Liu 678
Visualization of Three Dimensional Flow Fields&Xundong Liang Bin Li Shenquan Liu 684
ATPG for Combinational Circuits&Xiaotian Cui Xinhua He Daozheng Wei 690
Partial Variable Ordering for BDDs&Xinhua He Xiaohan Cui Daozheng Wei 697
The Research of DSS Towards CAD/CAM&Zheng Qin 703
Reliability Improvement of Totally Self-Checking Digital Circuits Through Fail-Fast Checkers&Yingquan Zhou Mike W.T.Wong Yinghua Min 709
A Framework of Realistic Rendering System&Xiaodong Wen Heyan Huang Zhaoxiong Chen 715
Gratool:A Graphical Development Tool Based on Real-Time Simulation&Lingfeng Chen 721
Neural Network Approach for Optimization of Test Set of Digital Circuits&Zhong Zhang 727
Towards Visualisation and Execution Replay of Parallel Programs on Transputer Networks&Wentong Cai Alfred Heng Shu Fei Chia Chor Leong Wong 733
The DATA/CURVE Display Subsystem in the Aircraft Real-Time Simulation System&Jianmin He 739
A Strategy of CAD/CAPP/NC Concurrent Design in CACE&Chunhe Wang Tiechang Zhang Qiao Lin 741
Applications 744
An Object-Oriented Distributed Control Approach for Large FMSs&Qian Mo Kai Wang Wenhua Dou 744
The Research of the General Integrated Environment for Computer Assistant Learning and Testing System(CALTE)&Zanfu Xie 749
Chinese Huffman Coding for Bi-Lingual Text Compression&Chi,C.H. Kan,C.K.Cheng, K.S.Wong,L. 754
The Techkey Code Scheme for Chinese Character Input and Its Implementation&Shimin Liu Jianqin Zhou Zhiyuan Zhao 760
A Distributed Control System for jacking the Buildings up Vertically&Taisheng Xu 765
Drawing Undirected Graphs with LYCA&Xiaobo Wang Kazuo Sugihara Isao Miyamoto 770
Simulation of the Reproduced Signal and the Waveform Equalization in Pulse-Width-Modulated Magneto-Optical Recording&Yong Tang Xiandeng Pei 776
Information Visualization&Xia Lin 781
Making Reference Choices by Tracking Attentional Movements&Xiaorong Huang 787
Text Analysis Approaches in Information Retrieval Environment&Fuyang Peng 793
The Finite Element Modeling Expert System SFEAES for SHAFT&Hongjin Yan Xin Zhou Hong Dai 795
Object-Oriented Graphic User Interface DBGUI&Shuqiang Yang Huowang Chen Fang Wang 797
Multimedia 800
T2FEFAS3-A Text to Facial Emotion and Speech Synthesis System&Jing Zhang Wen Gao Xilin Chen 800
The Design of Extending Individual Multimedia Authoring to Cooperative Multimedia Authoring&Kai Wang Haibin Zhu Qian Mo 806
Image Compression Using Fractal Image Library&Xuejun Li and Xiaokuan Zhou 812
Management for Hypermedia Works with Object-Oriented Technology&Haibin Zhu Pu Wang Shouren Hu 815
The Research on the Scheme of the Stereoscopic Display in a HMD&Xinyao Yu and Zaixing Zhang 821
Synchronization Support for Multimedia Communications&Minglu Li Yongqiang Sun Huanye Sheng 826
Multimedia Medical Diagnostic System&Yan Liu and Chengde Han 828
Pattern Recognition,Image Processing,Vision and Robotics 832
Automated Inspection of Textile Fabrics Via Computer Vision&Chuanjun Wang and Chih-Ho Yu 832
Stroke Edge Matching Based Automatic Chinese Seal Imprint Verification&Wen Gao Shengfu Dong Debin Zhao 838
A Stroke-based Relaxation Matching Approach to Handwritten Chinese Character Recognition&Lianwen JIN Kwokping CHAN Bingzheng XU 844
Multiple Depth Maps for Object Matching Under Varying Pose&Thomas Fromherz and Martin Bichsel 850
Shape from Multiple CUES：Integrating Local Brightness Information&Thomas Fromherz and Martin Bichsel 855
Rationale of FELDKAMP-TYPE CONE-BEAM CT&Ge Wang and Ping-chin Cheng 863
The Detection Function in Object Search&Yiming Ye and John K.Tsotsos 868
A Biologically Motivated Locomotion Controller for a Hexapod with 3-DOF Legs&H.C.Baisch and A.L.Nel 874
Simulation of General Robotic Mechanisms&Caret van der Merwe and Andre L.Nel 880
Attentive Processing for Motion Understanding&Zhenqi Chen and Worthy N.Martin 886
Discontinuous Motion and Occlusion Estimation-Theory and Application&Robin D.Morris and W.J.Fitzgerald 892
Manipulating Compressed Image Data&Zhongmin Su Qing Wang 900
Locating 3D Object from 2D Image&Yafei Dai 902
Label Tree Grammar&Lin Fang and Jingyun Cheng 904
Engineering Drawing Processing and Vectorization System&Yuge Zhu and Jianping Liu 906
Recognition and Processing of Logic Diagrams&Ahmed M.Darwish Ahmed R.Bashandy 908
Matrix Code Recognition Research with Self-organization Feature Mapping Network&Junqiao Hu Youlan Hu Sudan Ye 910
Index of Authors 913