1994 International Computer Symposium Conference Proceedings

Size: px

Start display at page:

Download "1994 International Computer Symposium Conference Proceedings"

Claud Owens
6 years ago
Views:

1 1994 International Computer Symposium Conference Proceedings Volume 2 of 2 December 12-15,1994 National Chiao Tung University Hsinchu, Taiwan, Republic of China UB/TIB Hannover

2 viii Session 2-3-E: Software Engineering (II) 1. HISROOT: A Hierarchical Software Reusability Driven System for Object- Oriented Analysis. 664 Jinn-Moon Yang, Wei T. Huang and Jonathan Lee 2. An Overview of the PIVOT Environment for Program Restructuring 677 Chyi-Ren Dow, Shi-Kuo Chang and Mary Lou Soffa 3. Delay Analysis in the Bristol Godel System 677 Jiwei Wang 4. Iterations on Elements of Collection Objects 683 Pei-Chi Wu and Feng-Jian Wang

3 Volume 2 Session 3-1-A: Parallel Processing (I) 1. Scheduling Parallel Tasks with Setup Time on Hypercube Systems 689 Jiann-Fu Lin, Win-Bin See and Sao-Jie Chen 2. A New Model for Dynamic Processor Allocation on Hypercube Multiprocessors 694 Huey-Ling Chen, Chung-Ta King and Yunn-Yen Chen 3. Mapping Concurrently-Communicating Subcubes in a Hypercube Multicomputer 700 Bing-rung Tsai and Kang G. Shin Session 3-1-B: Computer Networks (I) \.LLR Routing in VP-based ATMNetworks 707 Ren-Hung Hwang 2. Bandwidth Allocation and Enforcement Mechanisms for A TM Networks 713 Jin-Long Wang and Liang-Teh Lee 3. Bandwidth Allocation of Virtual Paths with Steps and Lower Bounds for ATM Networks 719 Li-Der Chou, Jean-Lien C. Wu and Shian-Jeng Tzeng 4. A Congestion Control Approach through Token Assignment and Buffer Management in ATM Networks 725 S. S. Chen and Y. C. Chen 5. A New Switching Architecture for ATM Networks 732 Tai-Kuo Woo Session 3-1-C: Computer Graphics (I) 1. Linking Bezier and Generalized Ball Curves 738 Tang Van To and Huynh Ngoc Phi en 2. Constructing the Planar Convex Hulls by Quadrilateral Devour Algorithm 744 Louis R. Chao, Hoo-Chen Liu, Ying-Feng Kou,Wen-Chin Hsieh and Wei-Chuan Lin 3. A Study on Planar Offset Curves Based on Interval Curves 750 Ji-Cherng Lin, Jenn-Hua Lee and Chii-Shiou Luo 4. A Local Geometric Constructive Methodfor Generating Curvature Continuous Shape Preserving Curves 756 Jenn-Hua Lee, Ji-Cherng Lin and Ber-Shiou Lin IX

4 5. New Formulations for Blending Parametric Surfaces. 762 Jung-Hong Chuang, Feng-Liang Lien, Wei-Chung Hwang and Chan-Dar Lin Session 3-1-D: Artificial Intelligence (III) 1. A Knowledge Acquisition Framework for an Industrial Expert System 768 Maria Lee and Kai Foong 2. Genetic-Based Search on Structural Matching 774 Yuan-Kai Wang, Kuo-Chin Fan and Jorng-Tzong Horng 3. Object-Oriented Fuzzy System Framework with Partial Inheritance 780 Shiuh-Chu Lee, Jye-Yuan Lee, Yau-Hwang Kuo and Ren-Dar Yang 4. A Framework for Organizing Semantic Relations in Frame-Structured Knowledge Bases 786 Yufeng F. Chen, Nazir A. Warsi and Larry M. Stephens Session 3-1-E: Databases (I) 1. Average Storage Utilization of a Bucket Method: A Long Derivation 792 Chuan-Heng Ang and Hanan Samet 2. An Operational Model of a B-tree Algorithm for Nested Transactions 797 John Lee 3. Data Sharing - A Pre-Integration Perspective 803 Eberhard Stickel, Jens Hunstock, Anke Ortmann and Jan Ortmann, 4. Clustering of Partitioned Signature File 811 Man-Kwan Shan and Suh-Yin Lee Session 3-2-A: Parallel Processing (II) 1. Efficient Embedding Hypercube on Arrangement Graphs 817 Shun-Shan Tsai and Shi-Jinn Horng 2. Optimal Embedding of Fibonacci Cubes in Hyper cubes with Two Faulty Nodes 823 Feng-Shr Jiang, Shi-Jinn Horng and Tzong-Wann Kao 3. Compact Embedding of Binary Trees into Hypercubes 829 Chui-Cheng Chen and Rong-Jaye Chen 4. Improved Mapping Algorithms for Multiprocessor based Simulation Application 835 Raja Neogi and Meghanad Wagh Session 3-2-B: Computer Networks (II) 1. Protocol Test Sequence Generation for EFSM-Specified Protocols 842 Chung-Ming Huang and Meng-Shu Chiang 2. The Fuzzy Time Communicating State Machine (FTCSMJfor Communication x

5 Protocols 848 Chung-Ming Huang, Shiun-Wei Lee and Jenq-Muh Hsu 3. Enhancing Protocol Modularity in Network Protocol Infrastructure with Configurable Protection Firewalls 854 Anthony H.S. Loong and W.H. Cheung 4. Some Experiences with X.25 DTE Conformance Testing 861 Ching-Sung Lu, San-Wei Sun and Weun-Jier Hwang 5. S/DQFB: A Seamless MAC Protocol for Multiple DQFB Buses Interconnection 867 Tein-Yaw David Chung and Ching-Chih Shih Session 3-2-C: Computer Graphics (II) 1. A New Contour Fill Algorithm for Outlined Character Image Generation 873 Lejun Shao and Hao Zhou 2. Efficient Algorithms for Volume Rendering 879 Chyi-Cheng Lin and Yu-Tai Ching 3. The Wavelet Curve Descriptor and Its Application to Cartoon Animation and Morphing 885 Chun-Hsiung Chuang and C.-C. Jay Kuo 4. Direct Shape Recovery from Texture Information. 891 Kyoung Mu Lee and C.-C.Jay Kuo 5. Non-Manifold Boundary Representation for Solid Modelling 897 Stefka Gueorguieva and David Marcheix Session 3-2-D: Artificial Intelligence (IV) 1. A Shift-First Strategy for Generalized LR Parsing 905 Yong-Seok Lee, Jun-ichi Aoe and Masao Fukeda 2. Word Segmentation for Chinese Phonetic Symbols. 911 Amelia Fong Lochovsky and Kim-hang Chung 3. Automatic Conversion of Romanized Chinese Sentences into Chinese Character Sentences 917 Youran Lan and Ming-Fang Lee 4. Speeding Up Contextual Postprocessing By Using A Dictionary With Compressed Two-Character Indices 923 Cheng-Huang Tung and Hsi-Jian Lee Session 3-2-E: Databases (II) 1. Data Allocation in Distributed Databases 929 William Y.S. Cheung and Victor O.K. Li 2. An Eulerian-Path-Like-Based Algorithm for Semijoins 935 Ye-In Chang and Bor-Miin Liu 3. Coupling of an Information Management System in a Framework for XI

6 Concurrent Product Data Handling 941 Stephen Sum and Anil Kumar Singh 4. Using Logic Programming in Developing Parallel Deductive Database 948 Vincenza Carchiolo, Michele Malgeri-Maurizio Papale 5. Load Balancing for Distributed Database Systems 955 Chengwen Liu and I-Ping Chu Session 3-3-A: Parallel Processing (III) 1. Knowledge-Based Data Dependence Testing on Loops 961 Wen-Chung Shih, Chao-Tung Yang and Shian-Shyong Tseng, 2. A Parallel Dynamic Load Balancing Algorithm for Solution-Adaptive Finite Element Meshes on 2D-Tori 967 Yeh-Ching Chung, Yaa-Jyun Yeh and J.-S Liu 3. An Approach to Mapping Blocks of Iterations in Nested Loops into VLSI Array Processors 973 Yeong-Sheng Chen and Sheng-De Wang 4. A Parametric Simulator for a Parallel Computer Using Address-Trace 9 79 Youichi Omori, Kazuki Joe, Akira Fukuda and Keijirou Araki Session 3-3-B: Computer Networks (III) 1. Optimal Design of a Polling System with General and Mixed Service 986 Lain-Chyr Hwang and Chung-Ju Chang 2. Routing of Calls in North American Intelligent Telephony Networks for Personalized Communications, and Multimedia 992 Hazem El-Gendy, Robert Probert and Linsheng Wei 3. An Efficient Algorithm for Reducing Channel Density by Over-the-Cell Routing 998 Shih-Chuan Hung 4. A Study of Real-Time Distributed Computation And Its Quality-of-Service Metrics For Future High-Speed Network 1004 I-Shyan Hwang Session 3-3-C: CAD 1. Effective Implementation of Self-Timed Systems with Feedback Paths Y.W. Pang, C.S. Choy and C.F. Chan 2. Modeling and Optimizing Design Variables in Computer Aided Switching Noise Simulation 1018 Howard H. Chen, Stanley E. Schuster, Gerard V. Kopcsay and Shen Lin 3. Formal Verification of VerilogDescriptions 1024 Claudionor N. Coelho, K.C. Chen and M. Fujita 4. Estimating Transition Densities for PLA Combinational Logic Circuits 1030 Tzong-Dar Her, Wei Kang Tsai, Fadi Kurdahi and Yulin Chen XII

7 5. Expressing Spatial Relationships in Geometric Modelling by Constraints 1036 Borut Zalik and Nikola Guid Session 4-1-A: Distributed System (I) 1. An Ordered and Reliabile Multicast Protocol for Distributed Systems 1042 Ye-In Chang and Ming-Hon Hwang 2. Fast Optimistic Rollback Recovery in Distributed Systems 1048 Tong-Ying Juang, Kun-Ming Yu and Chang-Shyh Peng 3. Atomic Multicast Mechanisms and Applications in Distributed Systems 1054 Xiaohua Jia 4. The Formalization and Hierarchy of Memory Consistency Models 1060 Alexander I-Chi Lai and Chin-Laung Lei 5. SRPC: A Simple and Fault-Tolerant Remote Procedure Call System 1067 Wanlei Zhou Session 4-1-B: Computer Networks (IV) 1. A New Packet Scheduling Algorithm For High-Speed Wide-Area Networks 1073 Jae-Chang Kwak 2. A Generic Communication Subsystem (GCS)for Client/Server Environments 1080 Chung-You P. Liu, Yuan-Yuan Liu, Thomas W. Christopher and C. Robert Carlson 3. A Common Message Distribution Interface Service (CMDIS) in Heterogeneous Environments 1086 Chung-You P. Liu and Thomas W. Christopher 4. Encoding and Decoding of Address Information in Multicast Messages 1092 Chi-Ming Chiang and Lionel M. Ni Session 4-1-C: Neural Networks (I) 1. Split Fault-Tolerant Training Algorithms 1098 Yen-Tseng Hsu, Chyun-Shin Cheng, and Chwan-Chia Wu 2. The Asymptotical Stability of Multi-Level Discrete Exponential Bidirectional Associative Memory 1104 Chua-Chin Wang, Shiou-Ming Hwang and Jyu-Ping Lee 3. Threshold Logic Based Neural Filters with Nonnegative Weights and Threshold Values - Their Classification and Retrieval Behaviors 1110 Pao-Ta Yu 4. Global Optimization in Neural Network Training 1116 Lucas Chi, Kwong Hui, Kwok-Yan Lam and Rudy Setiono Session 4-1-D: Signal Processing (I) 1. Extended Self-Similar Processes for Stochastic Signal Modeling 1122 Lance M.Kaplan and C.-C. Jay Kuo

8 2. Wavelet-Based Signal Extrapolation: Theory and Algorithms 1128 Li-Chien Lin and C.-C. Jay Kuo 3. Projection-Based Group Delay Scheme for Speech Recognition 1134 Shin-Lun Tung, I-Shine Lei and Yau-Tarag Juang 4. An Initial Study on Large-Vocabulary Continuous Mandarin Speech Recognition with Limited Training Data Based on Sub-syllabic Models 1140 Hsin-Min Wang, Renyuan Lyu, Jia-Lin Shen and Lin-Shan Lee Session 4-1-E: Databases (Ml) 1. Query Processing in Object-Oriented Databases 1146 Vilas Wuwongse, Suttawat Triwittayapoom and Natthawit Dejdumronge 2. Incorporating Behavioral Modeling into Object Oriented Database Design Model 1152 Gwo-Dong Chen, Baw-Jiung Liu, Yu-Min Yan and Ping-Kuen Chen 3. The Design and Implementation of An Easy to Use and Efficient Object-OrientedDatabase (EODB) 1158 Wen-Wei Pan and Wei-Pang Yang 4. Buffer Management for Object-Oriented Database Management Systems 1164 Kuen-Fang J. Jea, Shi-Ying Chen, and Yuan-Te Lee 5. Short Cuts for Trover sals in Object-Oriented Database Systems 1172 Wang-Chien Lee and Dik Lun Lee Session 4-2-A: Distributed System (II) 1. The Reliability Analysis of a General Consecutive-k-out-of-n:G System 1178 Min-Sheng Lin, Deng-Jyi Chen, Kuo-Lung Ku and Kuang-Chao Chang 2. An Algorithm for Load Balancing in Generally Configured Distributed Systems 1184 Jie Li and Hisao Kameda 3. The Design of a Distributed File Server Based on Distributed Shared Memory 1190 Shian-Hua Lin, Yueh-Min Huang and Chi-Nan Chen 4. A Cooperation Protocol for an Object-Sorting Task in a Multi-agent Robotic System 1197 Fang-Chang Lin and Jane Yung-Jen Hsu 5. Analytical Modeling on Object Invocations and Assignment Strategies in Message-Passing Systems 1203 Wen-Tsung Chang and Chien-Chao Tseng Session 4-2-B: Computer Networks (V) 1. Deregistration Strategies for PCS Networks 1209 Yi-Bing Lin and Shu-Yuen Hwang 2. Performance of Integrated Services Fiber Optic PLAYTHROUGH Rings 1215 LongBit Chai and Charles B. Silio, Jr. 3. A Knowledge-Based Approach that Supports Dependency Analysis of Network xiv

9 Management 1221 Deh-Min Wu 4. Multiple Fault Diagnostics for Communication Protocols Shiou-Jiun Chiou, Chuan-Yi Tang and Wen-Huei Chen Session 4-2-C: Neural Networks (II) 1. Neuro-Expert System by a Supervised-Learning Self-Organising Network 1234 Yuen-Tai So and Kwork-Ping Chan 2. Invariant Handwritten Chinese Character Recognition Using Fuzzy Neural Networks 1240 Hung-Pin Chiu and Din-Chang Tseng 3. Neural Network-Based Fuzzy Systems 1246 Mu-Chun Su, Chien-Jen Kao, Kai-Ming Liu, Chi-Yeh Liu and Chih-Ming Wu 4. A Unipolar Hamming Net Neural Network 1251 Chii-Maw Uang, Wei-Feng Lin and Guowen Lu Session 4-2-D: Signal Processing (II) 1. Parameters Estimation of a Fractal Signal Model and Its Distributed Parallel Algorithm Implementation 1256 Xiaokun Zhu, D M Titterington and Bing Cheng 2. The Post-Processing Stages of a Mandarin Waveform Synthesizer 1262 Pei-yih Ting, Chun-Yu Tsai, and Chi-Shi Liu 3. Suppression of Moire Patterns in Scanned Halftone Images by Double Scans with Moving Grids 1267 Ching-Yu Yang and Wen-Hsiang Tsai 4. On Using Fractals Features in Image Analysis 1273 Siu-Hang Or Session 4-2-E: Databases (IV) 1. Query-By-Class (QBC): An Expressive and User-Friendly Graphical User Interface for OODB 1279 Ming-Jer Tsai and Wei-Pang Yang 2. Multi-Priority Tree: An Index Structure for Spatial Data 1285 Ching-Der Tung, Wen-Chi Hou and Jiang-Hsing Chu 3. Logging Real-Time Main Memory Databases 1291 Jing Huang and Le Gruenwald 4. Managing Overlapping Features in Spatial Databse Applications 1297 Enrico Nardelli and Guido Proietti xv

10 Author Index 1304 Reviewer List 1309 xvi

Accepted List. Result Paper Id Paper Title Authors. Agile Project Management in MIS: A Case Study in A Research Institute

Accepted List. Result Paper Id Paper Title Authors. Agile Project Management in MIS: A Case Study in A Research Institute Oral 011 Oral 016 Oral 017 Agile Project Management in MIS: A Case Study in A Research Institute Exploring Developing Countries Immigrants Intention to Use Information Communication Technology Partial