西安交通大学学报
西安交通大學學報
서안교통대학학보
JOURNAL OF XI'AN JIAOTONG UNIVERSITY
2003年
12期
1299-1303
,共5页
组件%引用%形式语义%动力系统
組件%引用%形式語義%動力繫統
조건%인용%형식어의%동력계통
在组件和引用形式模型的基础上给出了组件集的拓扑空间结构,从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系统的观点和方法,将其指称对象的存在性归结于一个动力系统的吸引子和泛函不动点,同时将引用过程描述为系统的轨迹.最后,用这种动态方法分析了一个非单调对称工作流模型的工作过程,得到了工作流的轨迹和终止状态集.
在組件和引用形式模型的基礎上給齣瞭組件集的拓撲空間結構,從而在組件併行遞歸引用形式語義的研究中引入一種新的基于拓撲動力繫統的觀點和方法,將其指稱對象的存在性歸結于一箇動力繫統的吸引子和汎函不動點,同時將引用過程描述為繫統的軌跡.最後,用這種動態方法分析瞭一箇非單調對稱工作流模型的工作過程,得到瞭工作流的軌跡和終止狀態集.
재조건화인용형식모형적기출상급출료조건집적탁복공간결구,종이재조건병행체귀인용형식어의적연구중인입일충신적기우탁복동력계통적관점화방법,장기지칭대상적존재성귀결우일개동력계통적흡인자화범함불동점,동시장인용과정묘술위계통적궤적.최후,용저충동태방법분석료일개비단조대칭공작류모형적공작과정,득도료공작류적궤적화종지상태집.