【摘 要】
：
多处理器片上系统（MPSo C）是在单一芯片上集成多个处理器的复杂So C,是多核时代So C的最新发展方向,保证MPSo C可调度是其设计的重点。针对MPSo C的特性,使用价格时间自动机,对
【机 构】
：
西北工业大学软件与微电子学院,北京神州航天软件技术有限公司
【基金项目】
：
航天科技支撑计划（2014HTXGD）、陕西省科技攻关项目（2016GY-100）与西北工业大学研究生创意种子基金（Z2016191）资助
论文部分内容阅读
多处理器片上系统（MPSo C）是在单一芯片上集成多个处理器的复杂So C,是多核时代So C的最新发展方向,保证MPSo C可调度是其设计的重点。针对MPSo C的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计模型检测引擎自动模拟系统,并估算不可调度概率。实例验证结果表明,该模型检测方法降低了分析成本,可以分析传统模型检测方法所不能判定的复杂系统。
其他文献
《机械科学与技术》第32卷第4期共有29篇论文，其中有24篇每篇用了1至4个EiThesaurus第6版主题词：（1）11篇各1个，（2）10篇各2个，（3）2篇各3个，（4）1篇4个，（5）24篇共用41个。29篇平均每篇41÷29
针对犹豫模糊环境下属性权重未知的多属性群决策问题，建立了一种基于前景理论的犹豫模糊多属性群决策方法。根据决策者的单属性偏好函数，提出了一种改进的熵权法来确定属性权重
处于主动段的弹道导弹具有很大的纵向加速度，常规的制导律很容易因为提供的爬升能力不足，使拦截弹在拦截末端陷入尾追，而导致拦截失败，对此，文章分别设计了能够克服目标纵向加速度
脉冲耦合神经网络（Pulse Coupled Neural Networks,PCNN）图像分割法能很好将机械加工中的刀具磨损区域分割出来,但分割出来的图像是二值图像,很难将刀体和背景区分开来,这样就
针对未来导弹拦截高速大机动目标高精度制导的需要，为使导弹制导系统具有良好的鲁棒性和精确性。提出了一种离散自抗扰变结构末制导律。首先利用自抗扰控制器中跟踪微分器具有
针对固定尺度活动轮廓模型无法快速准确分割灰度不均匀图像的问题,提出了一种基于信息熵的自适应尺度活动轮廓图像分割模型。首先,利用最大后验概率(MAP)以及贝叶斯分类准则,提出了一种新型能量泛函,提高了模型对灰度信息的提取能力,进而极大提高了模型对灰度不均匀图像的分割准确度。其次,利用图像信息熵构造了自适应尺度算子,使模型能根据图像灰度不均程度自动调整尺度,提高了模型对灰度不均匀图像的分割速度。最后,
周向槽机匣处理是提高压气机稳定工作裕度的有效措施之一,采用数值模拟方法研究了周向槽机匣处理对轴流压气机性能的影响。数值计算所获得总性能与试验结果符合良好。通过详
在集成电路（IC）行业中,化学机械抛光（CMP）是获得全局平坦化的技术.随着晶圆直径的增加,在CMP加工过程中,晶圆边缘容易出现“过磨（over-grinding）”现象,降低了平坦度和晶圆利用率.
针对在图像检索过程中,传统单一特征不能较好反映图像的颜色分布和内容细节等相关信息,降低了图像检索性能的问题,提出一种基于改进颜色和纹理综合特征的图像检索方法。根据HSV颜色模型区域均值,利用改进关联权值模型,获取颜色均值特征向量;基于Haar小波进行图像分解变换。在图像的低频分量中,根据低频特征结构模型,获取低频纹理特征向量;通过Canberra距离求取图像相似度。实验结果表明:方法在Corel-