《第四届国际青年计算机科学家会议论文集 英文版》

Architecture2

GSL:A Global Synchronization Mechanism for PAR95 Parallel SystemWensheng Niu and Yaorong Zhou2

The Design And Implementation of the Data Buffer Unit in An Artificial Intelligence Computer ITM-1Chenxi ZhangBo Liu Pu Wang6

A Proof Procedure for the Regular Semantics of Normal Logic ProgramsJohn Z.Li and Jia-Huai You11

Prefetching at Synchronization Points for Programs Respecting Weak Consistency ModelYong Dou and Xingming Zhou19

Modeling And Evaluation of Dynamic Memory Disambiguation And Renaming Mech-anisms for Instruction-Level ParallelismXianzhu Wang and Sanli Li25

Providing Fault-Tolerant Services in a Client/Service ParadigmWanlei Zhou31

CPU Utilization Analysis of Disk Array With Synchronous InterleavingHai Jin Di Yao Xinrong Zhou Jiangling Zhang37

YH-MCS Multiprocessor-Based Fault-Tolerrant Cell Controller for FMSGang Xiao and Wenhua Dou39

Hardware Support for Process Synchronization Algorithms on I860XP Based Multiprocessor SystemHeng Liao Ruiheng Liu Sanli Li41

A Virtual Shared-Memory Multiprocessor System with Distributed Memory And Private Consistent CachesHeng Liao Zhao Wu Sanli Li43

Parallel and Distributed Processing46

Static Performance Estimating of Data Decomposition Schemes on Distributed Memory Parallel MachinesZhaohui Duan and Zhaoqing Zhang46

On Some Aspects of Parallel Implementation of Applicative LanguagesZhonghua Li and Chris Kirkham52

Experiences with Parallel N-body Simulation on the CM-5Fang Wang60

Design And Implementation of A Parallel Program Performance DebuggerPeng XieYian Zhu Jichang Kang66

Register Requirement for Exploiting Loops’Maximum Instruction-Level ParallelismJian Wang Andreas Krall M.Anton Ertl70

SLDS：Specifying and RefiDing Distributed Systems in ObjectsXing Du and Lin Zhang76

Design and Implementation of A Parallel File SystemBeihong Wu82

Enforcing Actual Temporal Order Among Events in A Distributed SystemChin-Yun Hsieh Yu Chin Cheng Jung-Sing Jwo88

Implementing GAMMA on MasPar MP-1Linpeng Huang Kam Wing Ng Weiqing Tong Yongqiang Sun94

Parallel Convex Hull Algorithms in A Curved WorldWei Chen Koichi Wada Kimio Kawaguchi100

Code Generation of Automatic Parallelizer on Distributed Memory Parallel MachinesRen Liu and Zhaoqing Zhang106

Constructing DO Loops by Scanning Non-Convex Iteration SpacesJingling Xue114

An Algorithm for Communication Deadlock DetectionShiping Chen and Shigang Chen122

The Abstract Parallelism Analysis of PrologLitong Song Hongyu Tian Chengzhi Jin130

Towards An Extension of Rent s Rule for Describing Local Variations in Interconnec-tion ComplexityH.Van Marck D.Stroobandt J.Van Campenhout136

RTULH：A Real-Time Updating Protocol in DSM-Design and AnalysisZhiyi Fang142

High Performance Computing in A German Research InstitutionKurt B?hm148

Debugging Distributed Programs with Debug ServerJianxin Xiong155

Seismic Processing on Parallel ComputersTao Zhu Xiuqing Cai Qingping Guo157

Parallel Quicksort Without Memory ConflictsX.Guan and L.Guan159

Trace MergingHeng Liao Zhao Wu Sanli Li161

Multi-Threading under Message PassingFang Wang Hubertus Franke Pratap Pattnaik163

Using Non-Uniform Workload Assignment to Deal with the Startup Delay in Parallel Database SystemsLi Yang and Xingming Chou165

Networks168

Properties and Embeddings of Interconnection Networks Based on HexcubesShow-May ChenJung-Sing Jwo Chin-Yun Hsieh Yu Chin Cheng168

Analysis of An Adaptive Leaky Bucket with Matrix Analytic MethodJun Huang175

A Parallel Routing Scheme for Solving Conflicts in Multistage Cube Network Archi-tecturesC.Jimmy Shih181

Object-Oriented Design for X.400 PCTS Reference ImplementationMingwei Xu Jian Qiu Zhihao Zhang Jianping Wu189

The Value of Intermediaries in Network CommerceWai Kiong Chong and Andrew Jennings195

Design and Implementation of the Gateway Interconnecting LANs with ISDNJun Yuan and Guozhong Wu203

Connection Oriented and Connection Less ATM-LAN InterconnectionM.A.Razaque and Zheng Shouqi209

Routing Technique in MHSZhihao Zhang Jian Qiu Mingwei Xu Jianping Wu211

Specifying Communication Protocols Using Formal Description TechniquesJunhai Li and Lianqun Kou213

A Simple Dynamic Bandwidth Allocation Scheme for ATM NetworksHan Zhou C.H.Chang D.T.Han215

Sharing Chinese Messages in the InternetHaifeng Zhu Yue You Daoyuan Hu217

Internetworking of TCP/IP-based Systems:Gateways and Network SupportXun Qu Iain Macleod Hong Jiang219

Parallel Simulation of Large ATM Switching NetworksW.Liu G.Petit E.Dirkx221

Databases224

An Efficient Algorithm for Computing Equivalent FD Classes for Relational Database DesignYanchun Zhang and Chengzheng Sun224

On the Version Management Based on the Record Difference in Engineering DatabaseXinguo XuZongkai Lin Yuchai Guo230

Template Based Transaction Scheduling in Group-Oriented CAD DatabaseHaengrae Cho and Songchun Moon236

Conditional Blocking: Generalized Locking Scheme for Managing Long-Lived Trans-actionsHaengrae Cho Hyeokmin Kwon Songchun Moon244

Outerjoin Processing in the Presence of Data Inconsistency in Multidatabase SystemsWeiyi Meng253

On Partial Order Processing for Dynamic Concurrency Control in Database SystemsJinli Cao and Marian W.Orlowski259

A Cost Model for Evaluating Path Expression Using Placement InformationJean-Robert Gruser and Zhao-Hui Tang265

LMDA：Disk Allocation Methods for Parallel Database SystemsGuoren Wang Ge Yu Jidi Shan Huaiyuan Zheng273

A Flexible Commit Method for Distributed Heterogeneous MultidatabasesShige Wang Ge Yu Huaiyuan Zheng279

Concurrency Control in dEDBMSTao wang Zongkai Lin Yuchai Guo285

Implementation Issues of A Prototype Intelligent Database SystemDunren Che and Lizhu Zhou290

Storage Structure and Algebraic Operations for Complex Objects of the Extended NF2 Data ModelWanli Zuo and Zhixin Fan292

A Decentralized Concurrency Control Model for Multidatabase TransactionsPeiqiang Wang Chengsan Zhuang Qian Ling294

Trader：Facility for Managing Database Objects in IDPTPing Xiong Xuefei Tang Jinde Liu296

Integration Architecture and Data Model of A CIMS Information Integration PlatformGuoren Wang Ge Yu Jidi Shan Huaiyuan Zheng298

A New Method for Replication in Distributed Data Base SystemBin ZhangJidi Shan Huaiyuan Zheng300

Providing An Interface to C++ Based ODBMSsEunji Hong and Suk I.Yoo302

Design of Database Encryption Management ToolJie Shang Zhongmin Su Wei Chen Yiqi Dai304

Generalize Dependencies by Set Mapping MethodZhixin Fan Wanli Zuo Changlin Zhou306

Software Engineering and Tools310

Detect Local ArrayTong ChenBinyu Zhang Chuanqi Zhu310

Real-Time Research on UNIX File SystemQingjiu Zhu Jianhua Gu Peng Wang316

Trace Method——A Formal Method for Software Module Interface SpecificationYabo Wang320

Project Management of Management Information SystemShuren Xu327

Formal Semantics of Inheritance——the Extension MAPYuzhong Qu and Zhijian Wang333

Towards A High-Performance Prolog CompilerNeng-Fa Zhou339

Theoretical and Experimental Study of Dependence-Based Complexity Metrics for Distributed ProgramsJianjun Zhao Jingde Cheng Kazuo Ushijima345

A Model Based Object-Oriented Integrated CASE Tool for Strategic ReengineeringLIM WIE MING353

A Systematic Approach for Diagram Interface ApplicationsWei Lai and Peter Eades361

Selectively Caching Intermediate Results for Incremental ComputationYanhong A.Liu367

Behaviour-Bounded Inclusion Polymorphism in Object-Oriented LanguagesQinyu Zhuang375

Requirements of Process-Centred EnvironmentsYun Yang381

Proving Algorithms as ProgramsBingzhe Quan Wei Chen Chunzhao Jin387

A Logic Data Language Based on Complex Object (Extended Abstract)Aoying Zhao and Baile Shi393

GTSL：A Grey Temporal Specification Language for Computer Security PolicyAihua Fan Huowang Chen Zhichang Qi Yan Shen400

Reuse of Domain Knowledge and Its Case ToolsYing Chen and Zhaokeng Zhao402

A Functional Algorithm Developing Approach Based on Dala Space TransformationChunling Yao and Yongqiang Sun404

A Hierarchical Model-HOOAM of Object-Oriented Systems Analysis＆CASE Tools Supporting HOOAMPeiyu Liu Shouyuan Chen Fasheng Liu406

A MIS-Oriented Software Design EnvironmentPeng Liu Xiaolin Wang Guangzhou Zeng408

OOAD2:A New Approach for Object-Oriented Analysis and DesignYonghui Wu410

A Formal Development Method DD-VDMJian Lu and Jianying Chang412

Artificial Intelligence and Knowledge Engineering416

Neural Vector Quantization with Direct Sum CodebooksShiwei Ye and Zhongzhi Shi416

A Calculus for Fuzzy Queries on Fuzzy Entity-Relationship ModelNarasimha Bolloju421

Parsing Natural Languages By Passing Through Controlled NetworkYuqiu Shan and Shulin Wang427

Synthesis of Solutions in Distributed Approximate Reasoning SystemsZili Zhang433

Default Reasoning in Extended Logic ProgramsNingchuan Shen438

AI Language Integrated Environment GKD-CSEY.JiaH.K.Gao H.M.Wang X.H.Tang443

A Neural Network Strategy for Solviag Belief Conflict in Distributed Expert SystemsMinjie Zhang and Chengqi Zhang449

Limited Deduction Vs.Boolean Constraint PropagationLejian Liao Zhongzhi Shi Yongmei Feng457

A Unified Treatment of UncertaintiesPei Wang462

An Approach to Autoepistemic LogicQijia Tian Zhongzhi Shi Wenjie Wang Tao Wang468

Managing Transportation by Constrained Heuristic SearchPeng Hu and Mark S.Fox474

An Improvement of Self-Organizing Feature Map AlgorithmBoyang Liu Daqing He Qinping Zhao482

A Comparison of Parallel α-β Search AlgorithmsYaoqing Gao and Akinori Yonezawa488

Projection and Back Projection for the Discovery of Laws in N-SpaceHonghua Dai and Kevin B. Korb494

A Rule-Based Approach to Active SoftwaresCungen Cao500

A Fuzzy Perceptron and Its Convergence TheoremXiaozhong Li506

The Knowledge Representation and Inference Model of Z_ESPP Expert SystemLi Yang and Yinghao Ma513

A Probabifity Model to Determine Buffer Sizes and the Number of Buffers in Static Buffer ManagementLi Ming and Pan Jun521

Algebraic Recursive Logic：An Efficient Logic for Artificial IntelligenceAizhong Li and Houkuan Huang528

Winners-Take-Others:A New Competition Algorithm for High Level Causal InferenceShengrui Wang and B?chir E.Ayeb534

On the Inference Ability and Complexity of Resolution-Based Inference StrategiesWei Zhang and Shenggui Hong542

Consistency Checking and Constraint Condition in Knowledge Base MaintenanceNingchuan Shen Xiang Long Wei Li548

Model Theoretic Feature of the Assumption Based TMSYuping Zhang and Jinpeng Huai555

Applications of Parametric LogicZuoquan Lin560

Continuous-Valued X-of-N Attributes Versus Nominal X-of-N Attributes for Constructive Induction: a Case StudyZijian Zheng566

A General Framework for Belief RevisionDongmo Zhang574

Toward Coupled Knowledge MediumZhaohui Wu582

Intelligent Idea Processing Systems with Fuzzy MatchingH.Harry Zhou and James P.Clements584

Inheritance and Development of SC-grammar on Conventional GrammarsLiyou Yang Heyan Huang Zhaoxiong Chen Tianshun Yao586

Logical Object as a Basis for Dependable Development of Knowledge Based SystemsDianxiang Xu and Guoliang Zheng588

A Deductive System Over Gap Interval LogicXiaowei Yan Wenlong Nie and Shichao Zhang590

Automatic Acquisition of Algorithm Design StrategyJiazhong Zhang Xianping Tao Zhijian Wang592

An Inductive Learning Method with Knowledge EvaluationHong Liu Ling Gao Mingchun Zheng Jianguo Li594

Some State Space for AND/OR Graph SolvingYanbing Wang Mingchun Zheng Jiazhong Zhang596

Fuzzy Logic and LatticesD.Cai J.W.Guan598

Optimising Task Allocations in Heterogeneous Distributed Expert SystemsAllan W.Williams Pramote Luangsirimongkol Chengqi Zhang600

The Improved Simulated AnnealingYan Liu Chengde Han602

Flight-simulation-based Virtual Reality DesignQianxiang Wang Xingshe Zhou Jichang Kang604

The Process and Rule Based Modelling Approaches in Information Systems DevelopmentDongsheng Chu Shunmei Fang Zhongli Xu606

AARV:An Expert System for Aerodynamic AnalysisYewei Gui and Wei Tang608

Efficient Improved Algorithms for Game Tree SearchWei Sun610

A Random Variate Generator About Poisson DistributionGuoshun Lin and Peixia Qin612

Term Transformations in Natural DeductionJian Chen614

Evolution in Multiple DimensionsGang Wang and Xingfu Wu616

Evolution：A New Approach to Decision Support SystemsRenyi Xiao and Renbin Xiao618

Theoretical Computer Science622

Type Systems for Mobile ProcessesN.Raja and R.K.Shyamasundar622

Sequential Graph Isomorphism Detection with Identification MatricesLin Chen630

On Unifying Equational LogicsYong SUN636

ROLLING-SNOW-BALL SORT with a Self-Adjusting SwitchJingchao Chen644

Inductive TABLEAUX with Operator Unification for PTLXiaochun Cheng and Xuhua Liu650

Fast Sequential and Parallel Algorithms for Finding the Longest Subsequence or the Maximum Weighted SubsequenceWeifa LiangXiaojun Shen656

Combinatorics of k-ary n-cubes with Applications to PartitioningWeizhen Mao and Daivid M.Nicol662

A Frame for Solving General Divide-and-conquer RecurrencesXiaodong Wang and Qingxiang Fu670

A Functional Modeling Language for Mathematical ProgrammingXiaotong Wang Minglun Cai Chengxiang Hua Sumin Ke672

An Algorithm on Integer DecompositionJianqin Zhou and Zhiyuan Zhao674

CAD,CAM,CAT and Computer Graphics678

A Method for Volume Rendering 3D Irregular Grid Data FieldBin LiXundong Liang Shenquan Liu678

Visualization of Three Dimensional Flow FieldsXundong Liang Bin Li Shenquan Liu684

ATPG for Combinational CircuitsXiaotian Cui Xinhua He Daozheng Wei690

Partial Variable Ordering for BDDsXinhua He Xiaohan Cui Daozheng Wei697

The Research of DSS Towards CAD/CAMZheng Qin703

Reliability Improvement of Totally Self-Checking Digital Circuits Through Fail-Fast CheckersYingquan Zhou Mike W.T.Wong Yinghua Min709

A Framework of Realistic Rendering SystemXiaodong Wen Heyan Huang Zhaoxiong Chen715

Gratool:A Graphical Development Tool Based on Real-Time SimulationLingfeng Chen721

Neural Network Approach for Optimization of Test Set of Digital CircuitsZhong Zhang727

Towards Visualisation and Execution Replay of Parallel Programs on Transputer NetworksWentong Cai Alfred Heng Shu Fei Chia Chor Leong Wong733

The DATA/CURVE Display Subsystem in the Aircraft Real-Time Simulation SystemJianmin He739

A Strategy of CAD/CAPP/NC Concurrent Design in CACEChunhe Wang Tiechang Zhang Qiao Lin741

Applications744

An Object-Oriented Distributed Control Approach for Large FMSsQian MoKai Wang Wenhua Dou744

The Research of the General Integrated Environment for Computer Assistant Learning and Testing System(CALTE)Zanfu Xie749

Chinese Huffman Coding for Bi-Lingual Text CompressionChi,C.H. Kan,C.K.Cheng, K.S.Wong,L.754

The Techkey Code Scheme for Chinese Character Input and Its ImplementationShimin Liu Jianqin Zhou Zhiyuan Zhao760

A Distributed Control System for jacking the Buildings up VerticallyTaisheng Xu765

Drawing Undirected Graphs with LYCAXiaobo Wang Kazuo Sugihara Isao Miyamoto770

Simulation of the Reproduced Signal and the Waveform Equalization in Pulse-Width-Modulated Magneto-Optical RecordingYong Tang Xiandeng Pei776

Information VisualizationXia Lin781

Making Reference Choices by Tracking Attentional MovementsXiaorong Huang787

Text Analysis Approaches in Information Retrieval EnvironmentFuyang Peng793

The Finite Element Modeling Expert System SFEAES for SHAFTHongjin Yan Xin Zhou Hong Dai795

Object-Oriented Graphic User Interface DBGUIShuqiang Yang Huowang Chen Fang Wang797

Multimedia800

T2FEFAS3-A Text to Facial Emotion and Speech Synthesis SystemJing ZhangWen Gao Xilin Chen800

The Design of Extending Individual Multimedia Authoring to Cooperative Multimedia AuthoringKai Wang Haibin Zhu Qian Mo806

Image Compression Using Fractal Image LibraryXuejun Li and Xiaokuan Zhou812

Management for Hypermedia Works with Object-Oriented TechnologyHaibin Zhu Pu Wang Shouren Hu815

The Research on the Scheme of the Stereoscopic Display in a HMDXinyao Yu and Zaixing Zhang821

Synchronization Support for Multimedia CommunicationsMinglu Li Yongqiang Sun Huanye Sheng826

Multimedia Medical Diagnostic SystemYan Liu and Chengde Han828

Pattern Recognition,Image Processing,Vision and Robotics832

Automated Inspection of Textile Fabrics Via Computer VisionChuanjun Wang and Chih-Ho Yu832

Stroke Edge Matching Based Automatic Chinese Seal Imprint VerificationWen GaoShengfu Dong Debin Zhao838

A Stroke-based Relaxation Matching Approach to Handwritten Chinese Character RecognitionLianwen JIN Kwokping CHAN Bingzheng XU844

Multiple Depth Maps for Object Matching Under Varying PoseThomas Fromherz and Martin Bichsel850

Shape from Multiple CUES：Integrating Local Brightness InformationThomas Fromherz and Martin Bichsel855

Rationale of FELDKAMP-TYPE CONE-BEAM CTGe Wang and Ping-chin Cheng863

The Detection Function in Object SearchYiming Ye and John K.Tsotsos868

A Biologically Motivated Locomotion Controller for a Hexapod with 3-DOF LegsH.C.Baisch and A.L.Nel874

Simulation of General Robotic MechanismsCaret van der Merwe and Andre L.Nel880

Attentive Processing for Motion UnderstandingZhenqi Chen and Worthy N.Martin886

Discontinuous Motion and Occlusion Estimation-Theory and ApplicationRobin D.Morris and W.J.Fitzgerald892

Manipulating Compressed Image DataZhongmin Su Qing Wang900

Locating 3D Object from 2D ImageYafei Dai902

Label Tree GrammarLin Fang and Jingyun Cheng904

Engineering Drawing Processing and Vectorization SystemYuge Zhu and Jianping Liu906

Recognition and Processing of Logic DiagramsAhmed M.Darwish Ahmed R.Bashandy908

Matrix Code Recognition Research with Self-organization Feature Mapping NetworkJunqiao Hu Youlan Hu Sudan Ye910

Index of Authors913