• Articles • 上一篇    下一篇

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

帅典勋;   

  1. Department of Computer Science and Technology Xi'an University-of Electronic Science and Technology; Xi'an 710071;
  • 出版日期:1997-07-10 发布日期:1997-07-10

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.

关键词: semantics, timed event structure, formal method, action refinement, real-time process algebra

Abstract: 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] . 基于模型等价归约的析取逻辑程序语义比较[J]. , 2007, 22(4): 562-568 .
[2] . 直接模型检测矩阵算法[J]. , 2006, 21(6): 944-949 .
[3] . 时间自动机的模型检验中消除无关原子约束[J]. , 2006, 21(1): 41-51 .
[4] . 一种基于 Synchro-Net 的工作流过程挖掘算法[J]. , 2006, 21(1): 66-71 .
[5] . 一种基于本体的半自动化模式集成[J]. , 2005, 20(6): 788-796 .
[6] . 带紧急事件的实时并发进程的动作精化[J]. , 2005, 20(4): 514-525 .
[7] . [J]. , 2004, 19(6): 0-0.
[8] . [J]. , 2004, 19(6): 0-0.
[9] . [J]. , 2004, 19(3): 0-0.
[10] . [J]. , 2003, 18(5): 0-0.
[11] . [J]. , 2002, 17(6): 0-0.
[12] . [J]. , 2002, 17(3): 0-0.
[13] . [J]. , 2001, 16(4): 0-0.
[14] . [J]. , 2001, 16(3): 0-0.
[15] . [J]. , 2001, 16(1): 0-0.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 《计算机科学技术学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
总访问量: