• Articles • Previous Articles    

Full Or-Parallemism and Restricted And-Parallelism in BTM

Zheng Yuhua; Xie Li; Sun Zliongxiu;   

  1. Department of Computer Science; Nanjing University; Nanjing 210008;
  • Online:1994-07-10 Published:1994-07-10

BTM is a new And/Or parallel execution model for logic programs which exploits both full orparallelism and restricted Andparallelism. The advantages of high parallelism and low rtm time cost make BTJ, an exPerhoental execution system of BTM implemented on a nonsharedmemory multiprocessor system, achieve significant speedup for both And-parallel and Or-parallel logic Programs.

Key words: virtual assembly; virtual environment; human-computer interaction; active object; perception; feature-based design; geometric constraint;



[1] DeGroot.D. Restricted And-parallelism. Proc of Int'l Conf. on Fifth Generation Computer System, 1984, pp.471-478.

[2] DeGroot.D. Restricted And-parallel execution of logic programs. In: Kowalik J S ed. Parallel Computation and Computer for AI, Kluwer Academic Publishers,1988,pp.91-107.

[3] DeGroot.D. Restricted And-parallelism and side effects. Proc of the Fourth Symp on Logic Programming, San Francisco CA, 1987, pp.80-89. ……….
[1] Xiao-Qun Wu, Hai-Sheng Li, Jian Cao, Qiang Cai. Geometry of Motion for Video Shakiness Detection [J]. , 2018, 33(3): 475-486.
[2] Peng Du, Jie-Yi Zhao, Wan-Bin Pan, Yi-Gang Wang. GPU Accelerated Real-time Collision Handling in Virtual Disassembly [J]. , 2015, 30(3): 511-518.
[3] Jia Jia, Wai-Kim Leung, Yu-Hao Wu, Xiu-Long Zhang, Hao Wang, Lian-Hong Cai, Helen M. Meng. Grading the Severity of Mispronunciations in CAPT Based on Statistical Analysis and Computational Speech Perception [J]. , 2014, 29(5): 751-761.
[4] Salaheddin Odeh, Member, ACM. Building Reusable Remote Labs with Adaptable Client User-Interfaces [J]. , 2010, 25(5): 999-1015.
[5] Qiang Wu(吴 强), Li-Qing Zhang(张丽清), and Guang-Chuan Shi(石光川). Robust Feature Extraction for Speaker Recognition Based on Constrained Nonnegative Tensor Factorization [J]. , 2010, 25(4): 783-792.
[6] Zhe Bian, Shi-Min Hu, and Ralph R. Martin. Evaluation for Small Visual Difference Between Conforming Meshes on Strain Field [J]. , 2009, 24(1 ): 65-75 .
[7] Zhong-Zhi Shi and Nan-Ning Zheng. Progress and Challenge of Artificial Intelligence [J]. , 2006, 21(5): 810-822 .
[8] Jingzhou Yang, R. Timothy Marler, Steven Beck, Karim Abdel-Malek, and Joo Kim. Real-Time Optimal Reach-Posture Prediction in a New Interactive Virtual Environment [J]. , 2006, 21(2): 189-198 .
[9] Jianwu Dang, Masato Akagi, and Kiyoshi Honda. Communication Between Speech Production and Perception Within the Brain---Observation and Simulation [J]. , 2006, 21(1): 95-05 .
[10] Mao-Jun Zhang and Nicolas D. Georganas. An Orientation Update Message Filtering Algorithm in Collaborative Virtual Environment [J]. , 2004, 19(3): 0-0.
[11] CHENG Cheng (程 成), WANG HongAn (王宏安) and DAI GuoZhong (戴国忠). Construction of Feature-Matching Perception in Virtual Assembly [J]. , 2003, 18(2): 0-0.
[12] PENG Xiaobo(彭小波),CHEN Liping(陈立平),ZHOU Fanli(周凡利) and ZHOU Ji(周济). Singularity Analysis of Geometric Constraint Systems [J]. , 2002, 17(3): 0-0.
[13] GAO Shuming; WAN Huagen; PENG Qunsheng;. Constraint-Based Virtual Solid Modeling [J]. , 2000, 15(1): 56-63.
[14] Wang Aiqun; Zheng Nanning;. Multiplicative Inhibitory Velocity Detector and Multi-Velocity Motion Detection Neural Network Model [J]. , 1998, 13(1): 41-54.
[15] Gao Shuming; Peng Qunsheng;. Hierarchical Geometric Constraint Model for Parametric Feature Based Modeling [J]. , 1997, 12(3): 193-201.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] Liu Mingye; Hong Enyu;. Some Covering Problems and Their Solutions in Automatic Logic Synthesis Systems[J]. , 1986, 1(2): 83 -92 .
[2] Chen Shihua;. On the Structure of (Weak) Inverses of an (Weakly) Invertible Finite Automaton[J]. , 1986, 1(3): 92 -100 .
[3] Gao Qingshi; Zhang Xiang; Yang Shufan; Chen Shuqing;. Vector Computer 757[J]. , 1986, 1(3): 1 -14 .
[4] Chen Zhaoxiong; Gao Qingshi;. A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG[J]. , 1986, 1(4): 17 -26 .
[5] Huang Heyan;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27 -38 .
[6] Min Yinghua; Han Zhide;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62 -74 .
[7] Tang Tonggao; Zhao Zhaokeng;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51 -63 .
[8] Min Yinghua;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72 -80 .
[9] Zhu Hong;. Some Mathematical Properties of the Functional Programming Language FP[J]. , 1987, 2(3): 202 -216 .
[10] Li Minghui;. CAD System of Microprogrammed Digital Systems[J]. , 1987, 2(3): 226 -235 .

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved