实时系统时间并行模型确定性分析

研究实时并行系统的确定性, 采用面向执行体构件建模和广义测度固定点理论研究系统收敛条件. 把实时 系统构建为用时间信号联系的面向执行的构件集合, 采用超致密时间(SDT) 表示混合系统信号标签模型, 定义构件 为时间模型上的偏序集函数, 构成有反馈作用的偏序集函数组合, 用广义超测度空间固定点理论分析时间并行模型 因果构件的收敛性和系统响应的存在和唯一性.