第四届国际青年计算机科学家会议论文集 英文版【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

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

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

Architecture2

GSL:A Global Synchronization Mechanism for PAR95 Parallel System&Wensheng Niu and Yaorong Zhou2

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

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

Prefetching at Synchronization Points for Programs Respecting Weak Consistency Model&Yong Dou and Xingming Zhou19

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

Providing Fault-Tolerant Services in a Client/Service Paradigm&Wanlei Zhou31

CPU Utilization Analysis of Disk Array With Synchronous Interleaving&Hai Jin Di Yao Xinrong Zhou Jiangling Zhang37

YH-MCS Multiprocessor-Based Fault-Tolerrant Cell Controller for FMS&Gang Xiao and Wenhua Dou39

Hardware Support for Process Synchronization Algorithms on I860XP Based Multiprocessor System&Heng Liao Ruiheng Liu Sanli Li41

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

Parallel and Distributed Processing46

Static Performance Estimating of Data Decomposition Schemes on Distributed Memory Parallel Machines&Zhaohui Duan and Zhaoqing Zhang46

On Some Aspects of Parallel Implementation of Applicative Languages&Zhonghua Li and Chris Kirkham52

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

Design And Implementation of A Parallel Program Performance Debugger&Peng Xie Yian Zhu Jichang Kang66

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

SLDS：Specifying and RefiDing Distributed Systems in Objects&Xing Du and Lin Zhang76

Design and Implementation of A Parallel File System&Beihong Wu82

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

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

Parallel Convex Hull Algorithms in A Curved World&Wei Chen Koichi Wada Kimio Kawaguchi100

Code Generation of Automatic Parallelizer on Distributed Memory Parallel Machines&Ren Liu and Zhaoqing Zhang106

Constructing DO Loops by Scanning Non-Convex Iteration Spaces&Jingling Xue114

An Algorithm for Communication Deadlock Detection&Shiping Chen and Shigang Chen122

The Abstract Parallelism Analysis of Prolog&Litong Song Hongyu Tian Chengzhi Jin130

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

RTULH：A Real-Time Updating Protocol in DSM-Design and Analysis&Zhiyi Fang142

High Performance Computing in A German Research Institution&Kurt B?hm148

Debugging Distributed Programs with Debug Server&Jianxin Xiong155

Seismic Processing on Parallel Computers&Tao Zhu Xiuqing Cai Qingping Guo157

Parallel Quicksort Without Memory Conflicts&X.Guan and L.Guan159

Trace Merging&Heng Liao Zhao Wu Sanli Li161

Multi-Threading under Message Passing&Fang Wang Hubertus Franke Pratap Pattnaik163

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

Networks168

Properties and Embeddings of Interconnection Networks Based on Hexcubes&Show-May Chen Jung-Sing Jwo Chin-Yun Hsieh Yu Chin Cheng168

Analysis of An Adaptive Leaky Bucket with Matrix Analytic Method&Jun Huang175

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

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

The Value of Intermediaries in Network Commerce&Wai Kiong Chong and Andrew Jennings195

Design and Implementation of the Gateway Interconnecting LANs with ISDN&Jun Yuan and Guozhong Wu203

Connection Oriented and Connection Less ATM-LAN Interconnection&M.A.Razaque and Zheng Shouqi209

Routing Technique in MHS&Zhihao Zhang Jian Qiu Mingwei Xu Jianping Wu211

Specifying Communication Protocols Using Formal Description Techniques&Junhai Li and Lianqun Kou213

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

Sharing Chinese Messages in the Internet&Haifeng Zhu Yue You Daoyuan Hu217

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

Parallel Simulation of Large ATM Switching Networks&W.Liu G.Petit E.Dirkx221

Databases224

An Efficient Algorithm for Computing Equivalent FD Classes for Relational Database Design&Yanchun Zhang and Chengzheng Sun224

On the Version Management Based on the Record Difference in Engineering Database&Xinguo Xu Zongkai Lin Yuchai Guo230

Template Based Transaction Scheduling in Group-Oriented CAD Database&Haengrae Cho and Songchun Moon236

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

Outerjoin Processing in the Presence of Data Inconsistency in Multidatabase Systems&Weiyi Meng253

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

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

LMDA：Disk Allocation Methods for Parallel Database Systems&Guoren Wang Ge Yu Jidi Shan Huaiyuan Zheng273

A Flexible Commit Method for Distributed Heterogeneous Multidatabases&Shige Wang Ge Yu Huaiyuan Zheng279

Concurrency Control in dEDBMS&Tao wang Zongkai Lin Yuchai Guo285

Implementation Issues of A Prototype Intelligent Database System&Dunren Che and Lizhu Zhou290

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

A Decentralized Concurrency Control Model for Multidatabase Transactions&Peiqiang Wang Chengsan Zhuang Qian Ling294

Trader：Facility for Managing Database Objects in IDPT&Ping Xiong Xuefei Tang Jinde Liu296

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

A New Method for Replication in Distributed Data Base System&Bin Zhang Jidi Shan Huaiyuan Zheng300

Providing An Interface to C++ Based ODBMSs&Eunji Hong and Suk I.Yoo302

Design of Database Encryption Management Tool&Jie Shang Zhongmin Su Wei Chen Yiqi Dai304

Generalize Dependencies by Set Mapping Method&Zhixin Fan Wanli Zuo Changlin Zhou306

Software Engineering and Tools310

Detect Local Array&Tong Chen Binyu Zhang Chuanqi Zhu310

Real-Time Research on UNIX File System&Qingjiu Zhu Jianhua Gu Peng Wang316

Trace Method——A Formal Method for Software Module Interface Specification&Yabo Wang320

Project Management of Management Information System&Shuren Xu327

Formal Semantics of Inheritance——the Extension MAP&Yuzhong Qu and Zhijian Wang333

Towards A High-Performance Prolog Compiler&Neng-Fa Zhou339

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

A Model Based Object-Oriented Integrated CASE Tool for Strategic Reengineering&LIM WIE MING353

A Systematic Approach for Diagram Interface Applications&Wei Lai and Peter Eades361

Selectively Caching Intermediate Results for Incremental Computation&Yanhong A.Liu367

Behaviour-Bounded Inclusion Polymorphism in Object-Oriented Languages&Qinyu Zhuang375

Requirements of Process-Centred Environments&Yun Yang381

Proving Algorithms as Programs&Bingzhe 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 Policy&Aihua Fan Huowang Chen Zhichang Qi Yan Shen400

Reuse of Domain Knowledge and Its Case Tools&Ying Chen and Zhaokeng Zhao402

A Functional Algorithm Developing Approach Based on Dala Space Transformation&Chunling Yao and Yongqiang Sun404

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

A MIS-Oriented Software Design Environment&Peng Liu Xiaolin Wang Guangzhou Zeng408

OOAD2:A New Approach for Object-Oriented Analysis and Design&Yonghui Wu410

A Formal Development Method DD-VDM&Jian Lu and Jianying Chang412

Artificial Intelligence and Knowledge Engineering416

Neural Vector Quantization with Direct Sum Codebooks&Shiwei Ye and Zhongzhi Shi416

A Calculus for Fuzzy Queries on Fuzzy Entity-Relationship Model&Narasimha Bolloju421

Parsing Natural Languages By Passing Through Controlled Network&Yuqiu Shan and Shulin Wang427

Synthesis of Solutions in Distributed Approximate Reasoning Systems&Zili Zhang433

Default Reasoning in Extended Logic Programs&Ningchuan Shen438

AI Language Integrated Environment GKD-CSE&Y.Jia H.K.Gao H.M.Wang X.H.Tang443

A Neural Network Strategy for Solviag Belief Conflict in Distributed Expert Systems&Minjie Zhang and Chengqi Zhang449

Limited Deduction Vs.Boolean Constraint Propagation&Lejian Liao Zhongzhi Shi Yongmei Feng457

A Unified Treatment of Uncertainties&Pei Wang462

An Approach to Autoepistemic Logic&Qijia Tian Zhongzhi Shi Wenjie Wang Tao Wang468

Managing Transportation by Constrained Heuristic Search&Peng Hu and Mark S.Fox474

An Improvement of Self-Organizing Feature Map Algorithm&Boyang Liu Daqing He Qinping Zhao482

A Comparison of Parallel α-β Search Algorithms&Yaoqing Gao and Akinori Yonezawa488

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

A Rule-Based Approach to Active Softwares&Cungen Cao500

A Fuzzy Perceptron and Its Convergence Theorem&Xiaozhong Li506

The Knowledge Representation and Inference Model of Z_ESPP Expert System&Li Yang and Yinghao Ma513

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

Algebraic Recursive Logic：An Efficient Logic for Artificial Intelligence&Aizhong Li and Houkuan Huang528

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

On the Inference Ability and Complexity of Resolution-Based Inference Strategies&Wei Zhang and Shenggui Hong542

Consistency Checking and Constraint Condition in Knowledge Base Maintenance&Ningchuan Shen Xiang Long Wei Li548

Model Theoretic Feature of the Assumption Based TMS&Yuping Zhang and Jinpeng Huai555

Applications of Parametric Logic&Zuoquan Lin560

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

A General Framework for Belief Revision&Dongmo Zhang574

Toward Coupled Knowledge Medium&Zhaohui Wu582

Intelligent Idea Processing Systems with Fuzzy Matching&H.Harry Zhou and James P.Clements584

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

Logical Object as a Basis for Dependable Development of Knowledge Based Systems&Dianxiang Xu and Guoliang Zheng588

A Deductive System Over Gap Interval Logic&Xiaowei Yan Wenlong Nie and Shichao Zhang590

Automatic Acquisition of Algorithm Design Strategy&Jiazhong Zhang Xianping Tao Zhijian Wang592

An Inductive Learning Method with Knowledge Evaluation&Hong Liu Ling Gao Mingchun Zheng Jianguo Li594

Some State Space for AND/OR Graph Solving&Yanbing Wang Mingchun Zheng Jiazhong Zhang596

Fuzzy Logic and Lattices&D.Cai J.W.Guan598

Optimising Task Allocations in Heterogeneous Distributed Expert Systems&Allan W.Williams Pramote Luangsirimongkol Chengqi Zhang600

The Improved Simulated Annealing&Yan Liu Chengde Han602

Flight-simulation-based Virtual Reality Design&Qianxiang Wang Xingshe Zhou Jichang Kang604

The Process and Rule Based Modelling Approaches in Information Systems Development&Dongsheng Chu Shunmei Fang Zhongli Xu606

AARV:An Expert System for Aerodynamic Analysis&Yewei Gui and Wei Tang608

Efficient Improved Algorithms for Game Tree Search&Wei Sun610

A Random Variate Generator About Poisson Distribution&Guoshun Lin and Peixia Qin612

Term Transformations in Natural Deduction&Jian Chen614

Evolution in Multiple Dimensions&Gang Wang and Xingfu Wu616

Evolution：A New Approach to Decision Support Systems&Renyi Xiao and Renbin Xiao618

Theoretical Computer Science622

Type Systems for Mobile Processes&N.Raja and R.K.Shyamasundar622

Sequential Graph Isomorphism Detection with Identification Matrices&Lin Chen630

On Unifying Equational Logics&Yong SUN636

ROLLING-SNOW-BALL SORT with a Self-Adjusting Switch&Jingchao Chen644

Inductive TABLEAUX with Operator Unification for PTL&Xiaochun Cheng and Xuhua Liu650

Fast Sequential and Parallel Algorithms for Finding the Longest Subsequence or the Maximum Weighted Subsequence&Weifa Liang Xiaojun Shen656

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

A Frame for Solving General Divide-and-conquer Recurrences&Xiaodong Wang and Qingxiang Fu670

A Functional Modeling Language for Mathematical Programming&Xiaotong Wang Minglun Cai Chengxiang Hua Sumin Ke672

An Algorithm on Integer Decomposition&Jianqin Zhou and Zhiyuan Zhao674

CAD,CAM,CAT and Computer Graphics678

A Method for Volume Rendering 3D Irregular Grid Data Field&Bin Li Xundong Liang Shenquan Liu678

Visualization of Three Dimensional Flow Fields&Xundong Liang Bin Li Shenquan Liu684

ATPG for Combinational Circuits&Xiaotian Cui Xinhua He Daozheng Wei690

Partial Variable Ordering for BDDs&Xinhua He Xiaohan Cui Daozheng Wei697

The Research of DSS Towards CAD/CAM&Zheng Qin703

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

A Framework of Realistic Rendering System&Xiaodong Wen Heyan Huang Zhaoxiong Chen715

Gratool:A Graphical Development Tool Based on Real-Time Simulation&Lingfeng Chen721

Neural Network Approach for Optimization of Test Set of Digital Circuits&Zhong Zhang727

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

The DATA/CURVE Display Subsystem in the Aircraft Real-Time Simulation System&Jianmin He739

A Strategy of CAD/CAPP/NC Concurrent Design in CACE&Chunhe Wang Tiechang Zhang Qiao Lin741

Applications744

An Object-Oriented Distributed Control Approach for Large FMSs&Qian Mo Kai 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 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 Zhao760

A Distributed Control System for jacking the Buildings up Vertically&Taisheng Xu765

Drawing Undirected Graphs with LYCA&Xiaobo Wang Kazuo Sugihara Isao Miyamoto770

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

Information Visualization&Xia Lin781

Making Reference Choices by Tracking Attentional Movements&Xiaorong Huang787

Text Analysis Approaches in Information Retrieval Environment&Fuyang Peng793

The Finite Element Modeling Expert System SFEAES for SHAFT&Hongjin Yan Xin Zhou Hong Dai795

Object-Oriented Graphic User Interface DBGUI&Shuqiang Yang Huowang Chen Fang Wang797

Multimedia800

T2FEFAS3-A Text to Facial Emotion and Speech Synthesis System&Jing Zhang Wen Gao Xilin Chen800

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

Image Compression Using Fractal Image Library&Xuejun Li and Xiaokuan Zhou812

Management for Hypermedia Works with Object-Oriented Technology&Haibin Zhu Pu Wang Shouren Hu815

The Research on the Scheme of the Stereoscopic Display in a HMD&Xinyao Yu and Zaixing Zhang821

Synchronization Support for Multimedia Communications&Minglu Li Yongqiang Sun Huanye Sheng826

Multimedia Medical Diagnostic System&Yan Liu and Chengde Han828

Pattern Recognition,Image Processing,Vision and Robotics832

Automated Inspection of Textile Fabrics Via Computer Vision&Chuanjun Wang and Chih-Ho Yu832

Stroke Edge Matching Based Automatic Chinese Seal Imprint Verification&Wen Gao Shengfu Dong Debin Zhao838

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

Multiple Depth Maps for Object Matching Under Varying Pose&Thomas Fromherz and Martin Bichsel850

Shape from Multiple CUES：Integrating Local Brightness Information&Thomas Fromherz and Martin Bichsel855

Rationale of FELDKAMP-TYPE CONE-BEAM CT&Ge Wang and Ping-chin Cheng863

The Detection Function in Object Search&Yiming Ye and John K.Tsotsos868

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

Simulation of General Robotic Mechanisms&Caret van der Merwe and Andre L.Nel880

Attentive Processing for Motion Understanding&Zhenqi Chen and Worthy N.Martin886

Discontinuous Motion and Occlusion Estimation-Theory and Application&Robin D.Morris and W.J.Fitzgerald892

Manipulating Compressed Image Data&Zhongmin Su Qing Wang900

Locating 3D Object from 2D Image&Yafei Dai902

Label Tree Grammar&Lin Fang and Jingyun Cheng904

Engineering Drawing Processing and Vectorization System&Yuge Zhu and Jianping Liu906

Recognition and Processing of Logic Diagrams&Ahmed M.Darwish Ahmed R.Bashandy908

Matrix Code Recognition Research with Self-organization Feature Mapping Network&Junqiao Hu Youlan Hu Sudan Ye910

Index of Authors913