【摘 要】
：
针对实时调度理论模型缺乏形式化语义的问题,提出将结果行为的语义转换成系统模型的形式化方法。结合定时分析技术,基于已有的任务网络形式方法,证明任务网络模型与候选型体
【机 构】
：
黑龙江东方学院计算机科学与电气工程学部,哈尔滨工程大学计算机科学与技术学院
【基金项目】
：
黑龙江省教育厅科学技术研究基金资助项目（11544037）
论文部分内容阅读
针对实时调度理论模型缺乏形式化语义的问题,提出将结果行为的语义转换成系统模型的形式化方法。结合定时分析技术,基于已有的任务网络形式方法,证明任务网络模型与候选型体系结构（CTA）模型稳态的等效性,将任务网络模型映射到语义相同的CTA模型,并验证该映射的语义等效性。将该方法应用于实例中,结果表明,该方法能代替调度模型,高效地应用于实时调度系统。
其他文献
本文通过笔者时元器件LM76的解读，阐述如何对元器件进行开发和应用。LM76是由数字温度传感器和双线温度窗霄比较器组成的，它具有功耗小、量程宽、串行总线接口等优点。文中解读
单点登录（SSO）可以消除多个应用服务系统之间的重复认证过程，但会加重认证负载，引起单点失效的风险，导致服务中断。针对上述问题，提出具有集群功能的单点登录系统，将用户登录请求分
煤中硫赋存状态及热解过程中各形态硫的迁移特性不仅为煤的清洁高效利用提供理论依据,同时也是建立煤脱硫技术的关键。本文选取六种两淮煤样对其中各形态硫进行测定,对潘北矿
地表太阳辐射控制着地气系统的能量和通量交换,是引起地表植被空间差异和生物过程的关键因子,对其准确估计在气候预测、太阳能利用和植被生产力估算等方面有重要作用。地表云
统一计算设备架构（CUDA）程序移植到其他异构众核架构时的线程数不匹配。为此，提出一种层次化的线程映射模型。在第1个映射层次上，将CUDA主机端线程和设备端线程分别映射到目标平