ICYCS'99

The Fifth InternationalConference for YoungComputer Scientists

Nanjing, P. R. ChinaAugust 17-20,1999

Advances in Computer Scienceand Technology

VoI.I

Edited by:Junzhou LuoBaowen XuYun WangXiaoming LiJian Lu

International Academic Publishers

TABLE OF CONTENTS

Vol.1

1. Theory And Algorithms

Formalizing Timed Petri Nets in Predicate Logic Based on a Discrete Time Model 1Zhang Jian, Shing-chi Cheung and Samuel T. Chanson

Synthesis of Maximally Permissive Feedback Controlled Logic of DEDS Based on 7Controlled Petri Nets

Song Aibo, Dong Yisheng and Chen Guidong

Study on Behavior in Composition of Petri Net 13Changjun Jiang, Huaiqing Wang and Shaoyi Liao

Verifying Properties of Statecharts with Mean Value Calculus 20Pan Guoqiang, Yu Huiqun, Shao Zhiqing and Song Guoxin

Conclusion Consistency of Preferential Implications 25Li Qiang and Jiang Yunfei

Efficient Algorithms for Learning Decision Trees over Large Domains 31Zhixiang Chen, Xiannong Meng and Richard Fox

The Construction and Utilization of Lexical Knowledge Base 39Shen Libin and Chen Yuquan

Modeling Phase Transition of Random 3SAT Problem 44Bu Dongbo and Bai Shuo

Two Digital Signature Schemes Based on Graph 3-Colorability Problem 49Xu Shouhuai, Zhang Gendu and Zhu Hong

Evolutionary Algorithms for Solving Parameter Identification Problems of PDES 54Xiong Shengwu, Li Yuanxiang and Liu Guanrong

Model Building, Specification and Verification of Generalized Reactive Systems 59Zhang Guangquan

A Design Method of Ladder Logic Diagrams for PLC 65Li Zhiwu

A Decision Theorem about the Hamiltonian Problem 68Zhang Zaiyue

Size-Changeable Spring Snakes for Contour Detection 70Yuan Chao and Zhang Changshui

- vii -

The Dynamic Broadcast Paging 72Zhang Pixing and Zhang Liyu

Linear Cryptanalysis of LOKI97 74Wu Wenling, Li Bao, Feng Denguo and Qing Sihan

Automatic Verification of a Railway Scheduling System 76Yu Huiqun, Bao Zhengrong, Song Guoxin and Shao Zhiqing

Performance Analyses of the Chaotic Spread Spectrum Sequences with Finite Precision 80Cai Guoquan, Song Guowen and Yu Dapeng

Training the Self-Organizing Feature Map Using the Improved Algorithm 83Yuan Ling and Yao Yifan

Lower Bounds of Computational Complexity for Branch-and-Bound Algorithms 86Wu Jigang, Xie Xing and Chen Guoliang

Computational Model and Analysis of Association Process 89Wen Guihua, Zheng Qilun and Ding Yuehua

An Investigation of Mandelbrot Set and Julia Sets Generated from a General 92Complex Cubic Iteration

Yan Dejun, Liu Xiangdong and Zhu Weiyong

Multi-object Optimization of Software Reliability Allocation 93Liu Mingge, Sun Zhanhua, Li Yiming and Liu Mingchao

The Algorithms Implemented on Network for Parallel Solving Tridiagonal 94Linear Equations

Chen Shuyu, Chen Siqing and Wu Zhongfu

Specifying a Client-Sever Communication Model in Z 96Dong Tiansi, Wang Yue, Lu Ruzhan and Xu Liangxian

Improved Program of Exchange Part of REMES Algorithm 97Zhao Wenjin

Improved Secant Methods and Their Fractal 98Liu Xiangdong, Duan Xiaodong and Zhu Weiyong

Research on Automatic Testing of a Kind of Software by Using Generalized 99Genetic Algorithm

Zhou Yuanyuan, Jiao Zhining and Zhou Cuilan

A Novel Algorithm of System Identification Based on Fuzzy System 100Wu Xiaojun, Cao Qiying, Wang Shitong, Chen Baoxiang and Liu Tongming

2. Computer Architecture

Adjusting Migration and Replication to False Sharing in Software DSMs 101Xie Xianghui and Han Chengde

- viii -

Case Studies of Middleware Support for Single System Image Service in Clusters 107JinHai

Data Transformations for Locality in DSM Parallel Systems 115Chen Yu, Yang Xuejun and Chen Fujie

A Multi Synchronization Shared Buffer ATM Switch to Relieve Multistage System 122High-Speed Clock Difficulty in VLSI

Chugo Fujihashi and Xuesong Wang

A Codesign Environment for Embedded System 127Guo Xiaodong, Liu Jiren and Chen Dingjun

Static Task Scheduling Based on Dynamic Critical Path 132Zhang Jun, Feng Xiushan and Han Chengde

A Research of Scheduling Algorithms for Raid in Rebuild Mode 139Chen Qiong, Zhang Jiangling and Zhou Xinrong

Features of JVM™ Instruction Set and Its Effecting to Java™ Chip Architecture 144Chen Hu, Dai Kui, Yang Xiaodong and Hu Shouren

A Quasi-Asynchronous Migration Protocol for PVM Tasks 147Pei Dan, Wang Dongsheng, Shen Meiming and Zheng Weimin

Raid Benchmark Based on Application-Related Model 149Cheng Peng and Zhang Jiangling

An Adaptive Neural Network Approach to Fault Diagnosis 151He Jiazhou, Zhou Zhihua and Chen Zhaoqian

About the Redundant Flow Dependences on VLIW Architectures 153Rong Hongbo and Tang Zhizhong

PCGASS: An Environment for Evaluating the Performance of Parallel 1066Computational Geometry Algorithms

Jigang Liu

3. Software Methods, Technologies And Environments

An Approach to Measuring Reverse Engineering 155Shikun Zhou and Hongji Yang

The Distributed Workflow System - FlowAgent 164Wang Wenjun and Zhong Cuihao

Runtime Validation of Software Components 171Yun Xiaochun and Fang Binxing

A Roadmap for Object-oriented Analysis and Design Using IBM VisualAge 176UML Designer

Alan W. Hui

- I X -

. A Framework Based on CHG for Understanding C++ Program 184Li Binxin, Fan Xiaocong, Zheng Guoliang, Gao Tongqi,Wang Wurong, Hong Lifeng and Ye Yong

Analysis and Slicing of Ada95 189Zhang Lujun, Xu Baowen and Zhou Xiaoyu

Software Forwarding 194Wu Chengyong, Zhang Zhaoqing and Qiao Ruliang

An Optimization Method Used in ILP Compiler 199Lian Ruiqi, Zhang Zhaoqing and Qiao Ruiliang

The Implementation of Java Compiler Supporting Internationalization 204Ji Zhenyan, Cheng Hu and Ding Yuxin

Java Compiler Systems & Java Performance 209Ji Zhenyan, Chen Hu, Ding Yuxin and Mei Jia

Java Just-In-Time Compiler for Chinese Open System 212Ding Yuxin, Mei Jia, Ji Zhenyan and Cheng Hu

The Design and Implement of a Support Environment for Ada Parallel 217Software Development

Yao Shuzhen, Wang Rui, Bai Jongxin and Liu Yufeng

Implementation and Proof of Software Prototype Development Based on Hypertext 222Wu Yonghui

A Precise Incremental Garbage Collection Algorithm for Java Virtual Machine 227Ding Yuxin, Cheng Hu, Mei Jia and Ji Zhenyan

Formal Specification of Simulation Classes Architecture by Syntactical Mappings 232Zhou Yingcong and Liu Fengyu

Dependence Analysis and Static Slices of Concurrent Programs 239Zhenqian Chen and Baowen Xu

On Refinement of Formal Object-Oriented Specification 243Wang Yunfeng, Li Bixin, Pang Jun and Zheng Guoliang

A Task Structure Model Supporting Multi-Agent Product Concurrent 246Developing Process

Liu Zhi, Zhang Shouhui and Gao Ji

Semi-Structured Data Extraction and Schema Knowledge Mining 249Chen Enhong and Wang Xufa

Towards Formal Development of Graphical User Interfaces 252Zhang Weishi, Michael Mehlich and Liu Zhengjie

Design of an Object-Oriented G4GL 255Zhang Lei, Wang Yunfeng, Gong Zerong and Huang Yong

- x -

Research and Implementation of a Shared Bus Multiprocessor System Based 258on Switching Technology

Tian Junfeng, Liu Zhenpeng, Liu Yuling and Wang Fengxian

Software Quality Evaluation Based on Fuzzy Mathematical Methods 261You Xiaorrting, Liu Sheng and Chen Chuanbo

Exception Handling and Adaptive Changes in Workflow Management 264Han Yanbo and Pang Hongbing

Hybrid Development Method Based on Distributed Systems 269Duan Linong

The Knowledge Representation and Agent Construction with a System for 273Component Reuse on the Web

Cai Zhiming and Liu Zongtian

Constraint Logic Programming Interpreter - SC-Prolog 275Lin Qi and Wan Shaojun

MATLAB—Engineer and Technician's Essential Software 277Guo Rui

A Method of Catching Computer Virus Automatically 278Dai Shuigui and Zhang Ping

A Model of All-Interruption Real-Time Programming Based on the Time Operator 279Liu Yuling, Tian Junfeng, Liu Zhenpeng and Zhang Suoliang

4. Computer Networks

A Routing Protocol for Unidirectional Networks 280Chen Guihai, Huang Hao, Xie Li, Francis CM. Lau

Towards Non-blocking Agreement through Internet 287F. Nguilla Kooh and S. Midonnet

Communication Management in Information Systems Co-Design Activities 295Guohua Bai

Iterative Algorithm of Capacity Calculation for GSM Network with High Speed 301Circuit Switched Data Service

Ling Wang

Research on Evolving Information Filtering 305Tian Fanjiang, Li Congrong and Wang Dingxing

Computation Migration for Load Balancing in Home-Based Software DSMS 312Shi Weisong and Tang Zhimin

Response Time Stabilization for Computation-Bound Programs in a Busy Environment 319Zhou Guilin, Lam Waikin and Li Sanli

- x i -

Traffic Prediction Based Congestion Control in Highspeed Networks 325Fei Xiang, He Xiaoyan, Du Haining, Wang Jun and Zhang Sabing

Evaluation of Novel Interconnection Network(NIN) 329Zhou Zhiyu, Shi Weisong, Tang Zhimin and Xia Peisu

HPNI: A New Network Interface for Cluster 336Zhou Guilin, Zhang Ying, Du Yi, Ma Qunsheng and Li Sanli

A Study of One-Time Password System Based on Message Digest 343Liu Yuyan and Luo Junzou

Analysis of Cell-Loss for ATM Network with On/ Off Traffic Source 350Zhu Qingsheng, Li Bo and Chen Daijie

The Design and Implementation of the Algorithm for Compressing TCP/IP Header 354Li Yi and Li Xinming

Design of New Encryption and Authentication Model for Distributed 360Network Environment Using Object-Oriented Approach

Wang Lina and Yoichi Hamazaki

Solutions to Extranet with VPN 366'Yong Jianming, Wu Guoxin and Yuan Yuan

Research and Design on Security of ATM-Based Network 372Guo Yuanbo, Wang Yadi and Wei Dawei

A Domain-Based Solution to Security of ATM Networks 377Zhang Xiaofei and Wang Yadi

The Design and Implement of a Firewall Using New Technologies 381Zhang Lei and Qing Sihan

Policy-Based Network Management 387Wu Junming, Yong Jianming and Luo Junzhou

A Security Monitoring and Trouble Recovering System 393Zhang Dajiang, Shen Jiaxiang and Qian Hualin

XNETi: Network Adapter for User-Level Message Passing 397Zhang Ying, Zhou Guilin, Xu Bin, Li Sanli and Ma Qunsheng

The Design of an IP/ATM Router with QOS Provision 400Zhang Dong, Li Ke, Zhu Hongwen and Gu Shangjie

The Implementation of Ethernet in Hard Real-Time System 405Liu Haiping and Chen Shuanglong

The Machine-Learning Technique of the Intelligent Search Agent in Internet 408Liu Shuxun, Li Weihua and Ou Yishan

Information Service Model with Mobile Agent Technology Adopted 411Zou Tao, Wang Jicheng and Zhang Fuyan

- x i i -

Analysis and Program Implementation of HTTP Proxy Protocol 414Hui Jun, Pan Zhisong and Hua Ming

A New Network Management Model Based on the Concept of OSI 417Zhu Qingsheng, Zhu Zhengyu and Wang Qian

An Intelligent Tool for Enterprise Network Design 420Feng Jing, Ma Xiaojun, Gu Boxuan, Shen Subinand Gu Guanqun

The Research of the IN SRF Software 423Li Gang and Zheng Shaoren

Research on the IP and ATM Integration Techniques 426Zhang Zhen, Tang Xiaosheng and Xu Huimin

Comparison of Two Internet Service Models 429Wang Hongyu, Gu Guanqun

The Dynamic Overview Tree 432Huang Jianbo

A Security Study of Electronic Business System 435Liu Yuansheng

Network for Systematically Improving Student's Ability in Using Internet 438Liang Danxi

The Intranet for Product Dispatching of Coal Bureau 441Wang Qianping, Zuo Ming and Hua Gang

The Security System of Computer Network Information System 443Wu Zhilin, Jin Song

A New Way in Network Management 444Liu Zuojun and Lu Dezhong

PLG: A New Method for the Design of Large Interconnection Networks 445Chen Xiangchuan, Jiang Song, Jiang Fan and Zheng Shirong

Research on the Security Mechanisms of IPV6 446Zhang Zhen, Tang Xiaosheng and Xu Huimin

The Researches of Electronic Commerce 447Wu Baoping

Push Technology - A Trend of Internet 448Peng Lu and Hu Yueming

A Fuzzy Based Load Balancing Architecture for Multiple Web Servers 449Li Lei, Pan Yong and Shi Hongbao

- xm -

5. Artificial Intelligence

Psychoanalyzing CBR 450Andrea V. Steil, Rosina Weber, Alejandro Martins, Roberto C. S. Pachecoand Ricardo M. Barcia

Knowledge = Reasoning Style + Told Information 455Su Kaile

An Attribute-Oriented Multi-Tuple Rough Set Approach for Knowledge 460Discovery in Relational Databases

Ma Zhifeng, Xing Hancheng and Zheng Xiaomei

Maintaining Large Case Bases Using Index Learning and Clustering 466Qiang Yang, Jing Wu and Zhong Zhang

Experimental Results in Protein Secondary Structure Prediction Using C4.5/C5 474Meiliu Lu, Du Zhang, Hongjun Xu, Ken Tse-yau Lau and Li Lu

Applying Inverse Resolution to EFS Language Learning 480C. Zeng and S. Arikawa

The Representation of Subjectivity in Science-From Plato to Fuzzy Sets 488Andrea V. Steil, Roberto C.S. Pacheco, Alejandro Martins and Ricardo M. Barcia

An Incremental Hybrid Learning Algorithm with Noise Depressing Ability 493Zhou Zhihua, He Jiazhou, Chen Zhaoqian and Chen Shifu

A Computer Go-Playing Model Based on Agent 497Liang Yongquan, Li Xiaoli and Shi Zhongzhi

A Robot Intelligent Path Planning System 502Wang Wei, Huang Yinhui and Yu Chengye

A Fast Evolutionary Algorithm for Neural Network Training Using 507Differential Evolution

Li Gang, Tu Yiqing and Tong Fu

The Linear Reasoning of a Class of Bayesian Networks 512Qin Qiumei and Zhang Shichao

A Collective Robotics Application Based on Emergence and Self-Organization 516Fabrice Chantemargue and B6at Hirsbrunner

Automatic Sampling Frequency Determination for Speech Data 524Takayuki Uchida and Masahide Sugiyama

A Reasoning Model Based on Evolutionary Agent 532Yin Jian, Jiming Liu and Li Shixian

An Integral Neural Network Based on Complex Domain 537Pan Yong, Li Lei and Shi Hongbao

- X I V -

The Application of Neural Network Based on Genetic Algorithms in Fault Diagnosis 540Zhang Yizhong, Feng Zhensheng and Li Yan

Acquisition of Fuzzy Rules and Optimization of Parameters Based on Fuzzy 543Neural Networks

Wu Yan and Shi HongBao

The NN Model of Maintenance Strategy for Spares 546Wang Yu, Tan Wei, Shen Shoulin and Gong Chuanxin

An Information Agent for Distance and Open Learning 549Zhang Lingling, Han Yaowei and Pan Jingui

TBMS: A Distributed Information System Based on Multi-Agent 552Xia Manmin and Li Huaicheng

A Dynamic User Interest Acquiring Algorithm in the Internet Information Retrieval 556Li Xiaoli, Liang Yongquan and Shi Zhongzhi

The Study on the IDSS of the Sino-Railway Daily Freight Transportation Plan 559Zhu Zhipeng

The Design and Implementation of a Real-Time Fault Diagnosis Expert System 561Tang Shucai, Zhai Zhanqiang and Li Hong

Agent-Oriented Knowledge Representation and Learning 564LinQi and Wan Shaojun

An Agent-Based KDD Architecture Framework 565Fan Yan, Chen Enhong, Liu Jie and Cai Qingsheng

Vol.II

6. Databases

Relevant Rule Derivation for Semantic Query Optimization 567Junping Sun, Nittaya Kerdprasop and Kittisak Kerdprasop

An Improved DBSCAN Algorithm 575Zhou Shuigeng, Zhou Aoying, Jin Wen, Cao Jing, Fan Ye and Qian Weining

A Hybrid Performance to the Query in Internet Information Retrieval System 582Cheng Xueqi, Bai Shuo, Zhang Hong and Yu Zhihua

A Study of Web-Database Gateway Techniques 588Weigang Zhao

Default Logic of Inheritance Hierarchies in Deductive Object Oriented Databases 594Liu Hongliang, Wang Mengzhi, Zhou Aoying and Shi Baile

An Incremental Algorithm for Mining User Access Patterns 599Zhou Bin, Wu Quanyuan and Gao Hongkui

- X V -

A Pattern Mining Solution for Clustering Problem 604Pei Jian, Zhao Chang, Chai Wei and Li Lin

A Visual Query Language Based on the Graphic and Its Application 611Wang Jianhua, Zhu Guorui and Jingjun Guo

Interval Constraint Databases and ISQL Language 615Chen Lianggang, Xu Guihong, Wang Yujun and Shi Baile

A Method for Mining Association Rules Using Interest Measure 621Zhou Xin, Zhu Yangyong and Shi Baile

A Multisignature Scheme for Integrity of Database 627Wang Hua and Ming Jianhua

NChiql: The Portable Chinese Natural Language Interface to Databases 631Xiaofeng Meng and Shan Wang

An Efficient Hybrid Clustering Algorithm for Mining in Very Large Database 636Qian Weining, Jin Wen, Zhou Shuigeng, Fan ye, Cao Jing and Zhou Aoying

Design and Implementation of Product Data Access System Based on STEP/SDAI 643Qiu Yuefeng, Chen Songting, Qian Weining, Tian Zengping and Zhou Aoying

Dynamic Interval Index Structure in Constraint Database System 648Wang Wei, Wang Yujun and Shi Baile

Incremental Maintenance for Views over Semi-structured Data 654Wang Mengzhi, Liu Hongliang, Bai Xuefeng and Shi Baile

The Theory and Implementation of Fuzzy Paw 660Chen Yongkang and Wu Yonghui

An Overview of UDA 663Liu Yu, Wang Sheng and Peng Fuyang

STEPDB: A Step Based Product Database System 667Chen Ying, Fan Shengchan, Su Yuan, Wu Yonghui and Zhou Aoying

The Hierarchical Model for Spatiotemporal Data Storage 670Chai Xiaolu, Chu Chunbo and Shi Baile

An OLAP Analytical Model for GIS Applications .673Shi Yun, Shi Lei, Zuo Chun and Sun Yufang

View Selection Problem in Data Warehouse of Web Pages 676Zhang Dell and Dong Yisheng

ROBOMINER: A Prototype of Data Mining System 679Liu Xiangfeng, Xue Bin, Huang Yalou and Yuan Xiaojie

The Research of Mining Multi-Itemset Association Rules 682Li Li, Zhu Tianxiang and Xu Zanwen

- x v i -

A Systematic Approach to the Query Optimization of Datalog Linear 685Recursive Programs

He Yun and Lu Hanrong

EVSM: A New Vector Space Model for Information Retrieval 687Yu Xiaohui, Chen Hui and Zhu Huayu

A Research on Analyzing and Translating Method of Object Data 690Model in Data Warehouse

Li Ying, Zhang Lei and Ai Bo

Data Set and Set Language 693Tang Tao

The Study of Database Implicit Knowledge Retrieval in Database of Chinese Interface 696Xu Jiuyun, Pei Zhenkui and Shi Nianyun

7. Distributed Computing

Parallel Ray-casting Irregular Volume in Distributed Computing Environment 697Ren Jicheng and Liu Shenquan

An Extended COM/CORBA Interworking Model 704Dui Jiying, Wang Yun and Gu Guanqun

A Deep Review and Primary Experiment on the Integration of 710Heterogeneous Information Sources Based on CORBA

Wang Sheng, Wang Zhaoyang, Wang Xiaoqing,Chen Sheng, Peng Fuyang and He Xingui

ViaScope: A COBRA/HOP-Based Information Integration System for Virtual Enterprises 716Yang Xiaohua, Yu Ge and Wang Guoren

Efficient Scheduling Algorithm with Fault-tolerance for Real-time Tasks in 721Distributed Systems

Qin Xiao, Pang Liping, Li Shengli and Han Zongfen

Automated Symbolic Timing Analysis for Distributed Systems 726Scott D. Stoller and Leena Unnikrishnan

An Improved Receiver-Initiated Task Scheduling Algorithm 734Shi Wei and Fang Binxing

A CORBA-Based Integrated Framework for Manufacturing Enterprise 741Xie Juhqjng, Wang Yun, Cai Min and Dui Jiying

Application System Integration Based on CORBA Framework 744Che Wenfu and Peng Fuyang

Research and Application of the DOC-Based Distributed Artificial Intelligence 748Cai Min, Zou Ruofan, Zhou Runfang and Xie Junqing

Building Shared Information Space Using Web, CORBA and Java 751

- x v i i -

Lang Bo and lee Weiqin

The Object Model for Redundant Servers in Distributed Computing Environment 754Qian Fang, Huang Jie and Zou Peng

Issues and Prospects of Distributed File Systems 757Liu Wei, Zheng Weimin, Wang Dingxing and Shen Meiming

Design and Predicating of Hard Real-Time Distributed System 760Mao Yugang, Zhang Yongjun and Jin Shiyao

CSC Model and Its DAOIS 763Qi Deyu

Static Real-Time Scheduling Algorithm with Fault-Tolerance in 765Multi-processor Systems

Qin Xiao, Han Zongfen, Pang Liping and Li Shengli

8. CSCW And Multimedia

A CSPE-Based Methodology for Testing Distributed Multimedia Software Systems 766Zhao Chen

A Multimedia Information Retrieval Model Based on Semantic and Visual Content 772Yueting Zhuang, Sharad Mehrotra and Thomas S. Huang

ZUIMPS: A Case-Based Intelligent Multimedia Presentation System 779Lu Wei and Wu Zhaohui

A Study of Pitch Model Based on Neural Network for Chinese Text-to-Speech 784Synthesis System

Zhou Jiangyang, Chai Peiqi and Sha Quan

LCSDM: A Layered Model for Cooperative Systems Development 789Li Chenkai, Mao Bing and Xie Li

Design of a CORBA-Based Workflow Management System for Advanced Applications 795Tian Wenhu, Yu Ge, Song Baoyan and Wang Guoren

Cooperative Quality Management: Workflow Model and Semantics Unification 800Yuan Qianlong, Wu Zhaohui and Pan Yunhe

CSCW System in Virtual Enterprise: Requirements and Ideas 807Zhang Lei and Yu Yong

Video Stream Broadcasting Based on LAN and MS DirectShow 810Zhang Ming and Zhang Wei

A New Approach of Time-Domain PSOLA for Chinese Putonghua 813Text-to-Speech Synthesis

Zhou Jiangyang and Chai Peiqi

Important Project Assessment Discussion Meeting System 814Ai Kewu and Li Ruijun

- xvui -

9. CAD And Computer Graphics

A New Approach for Sweeping Volume , 815Ma Lizhuang, Rix Joarchim and Gino Bruntti

Cubic Algebraic Curve of Given Endpoints as well as Tangent Lines and Curvatures 821Zhang Sanyuan, Wu Zhaohui and Hong Zhenjie

Fractional-Level Zooming of Mutiresolution Images 825Yuan Xiaojun, Ren Jicheng, Ma Xiangying, Du Wei, Li Hua and Liu Shenquan

A Hierarchical Design Interface for Integrated CAD Systems 830K.H. Chan, H.C. Lee, J. Frazer and M. Tang

A Plug-In Software for Image Processing in the Web Environment 836Leo Zhao and Du Zhang

A Method for Designing Smooth Streamline Curves and Surfaces 844Lu Xiaolin and Ma Lizhuang

Trinocular Image Matching 850Juliang Shao and Clive Fraser

The Bezier Representation of Trimmed Curves and Its Approximation 856Ding Youdong, Hua Xuanji and Deng Jiansong

Level of Detail Bounding Approximations for Collision Detection 861Tiecheng Liu, Ying Yi and Qingxiu Du

Analysis of C-Plane Fractal Images from z <- z °+ cfor a> 0 868Wang Xingyuan, Liu Xiangdong and Zhu Weiyong

A Type of Bezier Surfaces' Fitting Methods 873Ding Youdong and Deng Jiansong

2-Binary Image Retrieval System Based on Mathematical Morphological Spectrum 878Ma Yuexian, Hu Xiaogai and Ding Xiaoqing

A Local Representation for General Non-Uniform Cubic B-Spline Interpolation 885Jia Genlian and Tang Weiqing

G2 Blending Surface between Implicit Surfaces 888Zhang Sanyuan, Ma Lizhuang and Hong Zhenjie

An Adaptive Approach to Threshold Selection for Binary-Conversion of Images 891Wang Qiang and Ma Lizhuang

Model-Based Coding in Video Data Compression in Multimedia Computer 894Liu Fuqiang

M-J Chaotic Distribution Images from the Extreme Modulus Escaping Time Algorithm 897Wang Yan and Zhu Weiyong

A New Method for Mesh Model Simplification Based on Volume Criterion 900

- X I X -

Cheng Jihua and Fan YuqingResearch of Dynamic Confidence in CAI 9 0 3

Guan Jihong and Shen Haohong

Edge-Keeping Segmentation Based on a Neural Network 906Feng Xiaoyi, Zhou Fengqi and Wang Shumin

The Quick Algorithm Based on Discrete Hough Transform 908Li Cheng, Gao Jun, Liang Manjun and Xuedong Yang

Virtual Reality for Maintainability 910Wang Tao and Song Yonggan

Nonseparable Wavelet Based Image Coding 913Zhou Lili, Le Zhongxin and Cai Guoquan

Stereoscopic Display Development and Vision Tracking Navigation on PC-VR System 915Wang Haibin and Ruan Qiuqi

The Development of Graphical Editor of Power Bond Graphs with Fusion Method 917Hou Likun, Fu Lingli and Wu Dehong

An Image Segmentation Algorithm Based on Wavelet Transform and Clustering 920Li Heng, Lai Shengli and Li Shaofa

A New Approach for Tessellating Trimmed Parametric Surfaces 923Liu Dezhi, Dong Jinxiang and Tong Ruofeng

The Graphics Base System in the Residential Intelligent CAD System 926Xiao Litian and Hao Xueying

An Image Segmentation Method Based on Vector Quantization 931Li Bicheng, Ping Xijian and Wen Chao

Research on a Desktop Rapid Walkthrough System of Virtual Campus 934Overview Environment

Jia Jinyuan, Leng Yingnan and Weijia Jia

An Improved Search Algorithm for Block-Matching Motion Estimation 937Zhou Lili, Le Zhongxin and Yu Dapeng

A Recursive GN Joining Algorithm for Adjacent Bezier Patches 939Lu Xiaolin, Ma Lizhuang and He Zhijun

The Preserving GO Planar Quadratic Algebraic Curve Approximate Implicitization 940for Planar Parametric Curves

Ding Youdong, Hua Xuanji, Chen Changsong and Deng Jiansong

Image Vector Quantization Based on Wavelet Transform 941Li Bicheng

The Software Development of Multimedia Assisted Instruction on Modern Physics 942Lu Xun, Li Shengzhen and Zhang Botao

A Content-Guided Searching Algorithm for Balloons 1072

- x x -

Jiankang Wang

10. Computer ApplicationsThe Technology and Implementation of Information Service on Internet 943

Wang Jicheng, Zou Tao, Yang Xiaojiang and Zhang Fuyan

The Construction of Human-Computer Dialogues about Picture Semantics: 948A Conceptual Framework

Liu Zhengjie, Roy Rada, Zhang Weishi, Jing Yanguo and Liu Ganna

Quasi-Phrase Based Indexing for Chinese Text Retrieval 955Du Lin, Wang Jiachuan, Wu Jian and Sun Yufang

TOPBC: A Textile Oriented Pattern Design System Based on Case 960Fang Cunhao, Xu Duanqing and Chen Chun

Development of the ICAI System in WWW for Individualized Education 966Hiroyuki Watanabe and Katsuhiro Kato

The Design and Implementation of Information Service and Management System 971for College-department Teaching and Researching

Zhang Weifeng, Xu Baowen, Qu Yuzhong and Yong Jianming

Solving the Nonstandard Job-Shop Scheduling Problem by Using Queue 975Xu Weiwen, Wang Fengru and Chang Huiyou

User Awareness on the WWW 980Yu You and Mike Robinson

Personalize Web Search Using Information on Client's Side 985Xiannong Meng and Zhixiang Chen

A Distributed Translation Platform in Multilingual Cyberspace 993Wu Fei and Li Yiping

Fast Thinning Procedure for Chinese Character Recognition 1004Zhang Hongqi, Wang Changsheng, Wang Lu and Chen Wei

A New Knowledge-Based Correction Method of Thinned Chinese Character Strokes 1007Sun Xingming, Yang Maojiang, Zhao Jing, Zhang Jian and Hu Yunfa

Introducing Scalable Chinese Fonts into X Window 1011Ye Yimin, Cheng Bo and Hu Qinan

Reliability Analyzing of Train Section Signal Facilities of Track Circuit 1014Chen Jianming and Zhang Zhongyi

Algebra System for Computer Music 1017HePei

Numerical Mathematics Methods in Economic Factorial Analysis 1021Chebotaryev Sergei Vladimirovich

An Internal-Combustion Engine Fault Diagnosis Expert System Based on 1028Neural Network

- X X I -

Xue Shengjun, Gao Xiaohong, Tan Ran and Lei JingThe Application Study of Intelligent Data Processing in Satellite Tele-tracking 1030& Controlling Field

Qi Xiaogang and Yang Yong'an

Some Applications of OLAP and OLAM in Telecommunication Field 1033Liu Futao, Zhang lei and Ai Bo

A Solution Based on Macros to the Editing and Typesetting Problems in Item 1036Bank Systems

Dong Xiaomei, Wang Lina, Wang Daling and Li Kehong

The Application of the Microcomputer-PC to Emulsified ASPHALT Production line 1039Liu Shiguang, Bao Changchun, Qi Yubin and Li Guofang

The Pump Card Diagnostic Recognition Based on Neural Networks 1042Feng Ding

End Systems for Set-Top Box: Design and Implementation 1045Zhang Haohan, Chen Wenzi and Shi Jiaoying

Research on Liability Transfer Model in EDI System 1048Zhang Yi, Dong Min and Qing Miao

Identification of QRS Complexes and Their Boundaries in Multi-lead Synchronized ECG 1052Yu Dekuang, Yang Yi, Yin Bingsheng and Nong Debin

A Survey of Methods and Strategies in Document Layout Analysis 1055Tian Xuedong and Guo Baolan

Systematic Design and Implement of the Optimal Network Plan Intelligent 1058Creation Based on Database

Zhang Yongqiang and Cheng Qinghua

Research of Fault Diagnosis Expert System Based on Case Reasoning for 1060One Missile Weapon System

Lou Jian'an Su Qunxing and Wang Guofeng

An Intelligent Control Using Fuzzy Sliding Neural Network and Its Application 1061Zhang Changfan and Wang Yaonan

The Study of DCOM Application to C2 System 1062Xu Guoliang and Chen Xiaoping

Research of Schedule Policy in PSOS+ 1063Zhou Xinrong and Wang Fang

The Design of the Multifunctional Agricultural Measuring and Controlling Meter 1064Bao Changchun, Liu Shiguang, Yu Zhijing, Wang Jian and Liu Ce

The Plan of the Multimedia Monitoring and Alarm System Based on the Bus Structure 1065Du Enxiang, Zuo Xianzhang, Jin Yingwei and Zhang Zhenbao

Information Retrieval: A Comparison between Chinese and European Languages 1077Jianyun Nie

- X X I I -