实时系统时间并行模型确定性分析
来源期刊：控制与决策2012年第12期
论文作者：王剑平 张云生 张果 张晶
文章页码：1859 - 3732
关键词：实时并行系统;确定性;超致密时间;广义超测度;因果性;
摘 要：研究实时并行系统的确定性,采用面向执行体构件建模和广义测度固定点理论研究系统收敛条件.把实时系统构建为用时间信号联系的面向执行的构件集合,采用超致密时间(SDT)表示混合系统信号标签模型,定义构件为时间模型上的偏序集函数,构成有反馈作用的偏序集函数组合,用广义超测度空间固定点理论分析时间并行模型因果构件的收敛性和系统响应的存在和唯一性.
王剑平，张云生，张果，张晶
昆明理工大学信息工程与自动化学院
摘 要：研究实时并行系统的确定性,采用面向执行体构件建模和广义测度固定点理论研究系统收敛条件.把实时系统构建为用时间信号联系的面向执行的构件集合,采用超致密时间(SDT)表示混合系统信号标签模型,定义构件为时间模型上的偏序集函数,构成有反馈作用的偏序集函数组合,用广义超测度空间固定点理论分析时间并行模型因果构件的收敛性和系统响应的存在和唯一性.
关键词：实时并行系统;确定性;超致密时间;广义超测度;因果性;
