第四届国际青年计算机科学家会议论文集 英文版PDF电子书下载

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