跳到主要导航 跳到搜索 跳到主要内容

Method of dynamical systems to research component reference semantics

  • Xi'an Jiaotong University

科研成果: 期刊稿件文章同行评审

摘要

A topological space structure of component sets is proposed on the basis of component and reference formalization, and a new method based on topological dynamical systems is used to study the formal semantics with parallel recursive reference of components. Furthermore, the existence of denotational objects is transformed into attractors and functional fixed points of a dynamical system. This method is the development of the fixed point theory on lattices in formal semantics, it can be applied to the analysis of procedure model about non-monotonic symmetric workflow.

源语言英语
页(从-至)1299-1303
页数5
期刊Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University
37
12
出版状态已出版 - 12月 2003

学术指纹

探究 'Method of dynamical systems to research component reference semantics' 的科研主题。它们共同构成独一无二的学术指纹。

引用此