APP下载

一种研究组件引用语义的动力系统方法

2003-04-29褚蕾蕾徐宗本

西安交通大学学报 2003年12期
关键词:动力系统组件

褚蕾蕾 徐宗本

摘要:在组件和引用形式模型的基础上给出了组件集的拓扑空间结构,从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系统的观点和方法,将其指称对象的存在性归结于一个动力系统的吸引子和泛函不动点,同时将引用过程描述为系统的轨迹.最后,用这种动态方法分析了一个非单调对称工作流模型的工作过程,得到了工作流的轨迹和终止状态集.

关键词:组件;引用;形式语义;动力系统

中图分类号:O141,4;TP301.2文献标识码:A文章编号:0253—987X(2003)12—1299—05

猜你喜欢

动力系统组件
无人机智能巡检在光伏电站组件诊断中的应用
新型碎边剪刀盘组件
U盾外壳组件注塑模具设计
桥梁组件搭配分析
“五大发展理念”统领下的科协创新发展战略研究
产业融合视角下乡村旅游开发的动力系统探析
广电机房建设与应用
动力学积分保辛的数学根据
全地形车关键技术研究
风起新一代光伏组件膜层:SSG纳米自清洁膜层