基于Petri网的ASIP体系结构形式化建模方法研究

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:yixinnet
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据SOC(System on chip)的软硬件协同设计的需求.针对ASIP体系结构空间搜索(DSE,Design Space Exploration)问题,考虑复杂的流水线结构,提出了一种扩展的时序Petri网模型——PNP模型,该模型可以以简洁直观的形式精确有效地描述目标体系结构.文中给出了PNP模型的确切定义,并通过对一个流水化的体系结构进行形式化建模的实例展示了该模型的有效性.
其他文献
非金属补偿器具有安装简单、径向位移大、没有刚度对设备推力小、节省空间等优点。作为热补偿及减震作用,非金属补偿器在管道中应用非常广泛,非金属补偿器虽然是管道中最薄弱的
摘要:一名记者除了具备采访、拍摄、写作技巧外,重要的还在于如何调动全身心融入整个采访活动中,并且能积极发挥主观能动性,举一反三,提高工作效率,赢得采访的主动权和发稿的主动权。本文从三个方面探讨了媒体融合背景下如何发挥全能型记者作用,即:融入采访现场,用积极的心态提高效率;不负时代期望,用“四力”的要求做好报道;改变报道语态,以专业的技巧讲好故事。  关键词:融入采访用户思维语态故事  一、融入采访
历代对戴叔伦诗歌少有重视,对其妇女诗更无专文论述。本文试从戴叔伦的妇女诗入手,对其思想内涵进行解读,以利于全面地把握戴叔伦的妇女诗歌的内涵。
建筑安全问题关系到人民和国家的财产安全,社会稳定大局。建筑安全经济问题的研究,对建筑业本身以及人类社会的生存和发展具有重要意义。本文从经济学角度对建筑安全问题进行分
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
期刊
VTS的定义VTS最初产生于船舶交通管理中,自20世纪40年代世界第一台用于港口监控的岸基雷达在英国的利物浦港投入使用,并应用到港口的船舶交通管理中以来,便产生了船舶交通管
提出了建立在概率典型性和聚类排斥基础上的一个新型无噪声模糊聚类方法RTCM,给出了它的迭代算法过程,并验证了它的收敛性.首先引述了一般的聚类方法,它们主要分为两种:噪声聚类,如模糊c均值(FCM)、可能模糊c均值(FPCM);无噪声聚类,如NC、PCM等,然后给出了RTCM算法模型和过程,并验证了它的局部收敛性.该算法解决噪声环境下的数据聚类问题,避免了重叠聚类.对比试验表明,该算法改善了噪声环境
随着我国公路交通的快速发展,桥梁工程的建筑和维修也是水涨船高,文章重点结合当前的实际情况,就桥梁的结构检测技术进行了分析和探讨,最后总结经验提出了一些比较独到的建议和意
B737NG飞机在地面滑行的方向控制是通过前轮转弯系统提供和实现的,地面滑行跑偏为一种比较常见故障,尤其是老龄飞机故障率更高,查阅B737NG飞机近年来的维修记录,发现该系统发