• Articles • Previous Articles     Next Articles

Asynchronous Superimposition Mechanismsof Concurrent Competitve Waves forHyper-Distributed Hyper-Parallel HeuristicProblem Solving

Shuai Dianxun;   

  1. Department of Computer Science and Technology Xi'an University-of Electronic Science and Technology; Xi'an 710071;
  • Online:1997-07-10 Published:1997-07-10

This paper presents a new approach to hyper-distributed hyper-parallel heuristic AI problem solving, which is based on asynchronous superimposition of synchronous homogeneous concurrent propagations of competitive waves. In comparison with synchronous homogeneous mechanism, the proposed approach shows better generalityl suitability and feasibility for real-time AI processing,especially for the search of implicit AND/OR graphs.

Key words: action refinement; real-time process algebra; semantics; timed event structure; formal method;

[1] Krinsky V I, Biktashev V N, Efimof V I. Autowaves principles for parallel image processing. Physica 49D, pp.247-253, 1991.

[2] Perez-Munuzuri V, Perez-Villar V, Chua L O. Autowaves for image processing on a two-dimensional CNN array of excitable nonlinear circuits: Flat and wrinkled labyrinths. IEEE Trans. Circuits and Systems, 1993, 40(3).

[3] Shuai D X. Synchronous-homogeneous concurrent propagation mechanism of competitive waves for hyper-distributed hyper-parallel AI processing. In Proc. IEEE MFI'1996, Washington, USA, pp.312-319, December, 1996.
[1] Inès Mouakher, Fatma Dhaou, and J. Christian Attiogbé. Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification [J]. Journal of Computer Science and Technology, 2022, 37(1): 4-28.
[2] Li-Li Xiao, Hui-Biao Zhu, Qi-Wen Xu. Trace Semantics and Algebraic Laws for Total Store Order Memory Model [J]. Journal of Computer Science and Technology, 2021, 36(6): 1269-1290.
[3] Rim Mahouachi. Search-Based Cost-Effective Software Remodularization [J]. Journal of Computer Science and Technology, 2018, 33(6): 1320-1336.
[4] Pei-Feng Li, Guo-Dong Zhou. Three-Layer Joint Modeling of Chinese Trigger Extraction with Constraints on Trigger and Argument Semantics [J]. , 2017, 32(5): 1044-1056.
[5] Yang Liu, Xuan-Dong Li, Yan Ma. A Game-Based Approach for PCTL* Stochastic Model Checking with Evidence [J]. , 2016, 31(1): 198-216.
[6] Jia-Jun Zhang, Fei-Fei Zhai and Cheng-Qing Zong. A Substitution-Translation-Restoration Framework for Handling Unknown Words in Statistical Machine Translation [J]. , 2013, 28(5): 907-918.
[7] Mei-Xia Qu, Jun-Feng Luan, Da-Ming Zhu, and Meng Du. On the Toggling-Branching Recurrence of Computability Logic [J]. , 2013, 28(2): 278-284.
[8] Yu Zhou, Luciano Baresi, and Matteo Rossi. Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata [J]. , 2013, 28(1): 188-202.
[9] Shao-Bin Huang (黄绍斌), Senior Member, CCF, Hong-Tao Huang (黄宏涛), Zhi-Yuan Chen (陈志远), Tian-Yang Lü (吕天阳), Member, CCF, and Tao Zhang (张涛). Lazy Slicing for State-Space Exploration [J]. , 2012, 27(4): 872-890.
[10] Yu Zhang (张宇), Member, CCF, ACM, and Tong Yu (于彤). Mining Trust Relationships from Online Social Networks [J]. , 2012, 27(3): 492-505.
[11] Xu-Tao Du (杜旭涛), Chun-Xiao Xing (邢春晓), Member, CCF, IEEE and Li-Zhu Zhou (周立柱), Member, ACM. Modeling and Verifying Concurrent Programs with Finite Chu Spaces [J]. , 2010, 25(6): 1168-1183.
[12] Osman Hasan and Sofiéne Tahar, Senior Member, IEEE, Member, ACM . Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving [J]. , 2010, 25(6): 1305-1320.
[13] Jing Zhou, Member, ACM, Wendy Hall, Member, ACM, and David De Roure, Member, ACM. Building a Distributed Infrastructure for Scalable Triple Stores [J]. , 2009, 24(3): 447-462.
[14] Chao Cai, Zong-Yan Qiu, Senior Member, CCF, Member, IEEE, Hong-Li Yang, and Xiang-Peng Zhao. Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling [J]. , 2009, 24(2): 238-249.
[15] Xi-Shun Zhao and Yu-Ping Shen. Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction [J]. , 2007, 22(4): 562-568 .
Full text



No Suggested Reading articles found!

ISSN 1000-9000(Print)

CN 11-2296/TP

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