【摘 要】
：
针对网络的静态和动态行为提出使用图上交易 (ToG,TransactiononGraphs) 方法进行分析和验证。该方法从图的角度出 发,在交易级构建整个片上网络模型并使其最终成为可交易的
论文部分内容阅读
针对网络的静态和动态行为提出使用图上交易 (ToG,TransactiononGraphs) 方法进行分析和验证。该方法从图的角度出 发,在交易级构建整个片上网络模型并使其最终成为可交易的图,在该图上可以使用图论算法和交易级建模 (TLM) 技术分别对网 络进行静态和动态验证。给出了一个具有典型 2Dmesh 结构的片上网络实例并加以分析,以此为例探讨了基于 SystemC 的图上交 易两种不同实现方法,最后通过对 ToG 的静态验证和复用问题的实现证明了基于图的片上网络交易级分析与验证的一系列优点。
其他文献
本文分析了目前C++程序设计课程教学存在的问题,明确了C++程序设计在计算机科学与技术专业软件类课程中,承上启下的课程定位。分别从理论教学、实验教学和课程设计三个方面,
党的十九大指出,加强基层党组织带头人队伍建设。习总书记强调,做好抓基层打基础工作,夯实党执政的组织基础, 关键是要建设一支高素质基层党组织带头人队伍。结合实际,按照支
在这个信息化社会,隐私权益的保护仍然面临着更加严峻的技术挑战。经过 30 多年的快速发展,我国公民隐私权益保 护已初步发展,形成了一套具有自身领域特色的专业法律权益保护
在经济快速增长的背景下,江苏省的经济水平达到全国前列,但是区域经济发展不平衡逐年扩大,江苏省逐渐形成苏南、苏中、苏北三个不同梯度的经济格局。调整江苏省的经济发展战
国有企业在我国经济发展中占据重要位置,做好党风廉政建设工作不但能够促进企业发展,更有利于社会和谐稳定。 因此,国有企业必须要强化党风廉政建设工作,才能保证党组织的执
在疫情期间,毕业生的就业问题成为了我目前工作中的重点和难点。我就从辅导员如何做好疫情期间毕业生的就业指 导工作来谈谈自己的学习心得和体会。
职教云平台通过系列元数据对素材实现系统化管理,从而使得每个素材都能被便捷地查询和调用,本文依据《Photoshop图形图像处理》实训课程能力目标,基于职教云平台设计实训课程内容。通过在线直播教学模式和在线辅导教学模式相结合,学生根据职教云端要求完成课课程项目任务,并提交附件作业到职教云平台,提高教学效果。
针对鲸鱼优化算法容易陷入早熟和收敛速度慢等缺陷,本文提出一种基于自适应决策算子的鲸鱼优化算法,考虑到算法初始种群也是影响算法性能的关键因素,将混沌Singer映射用于优
在施工场景中,正确有效的检测工人佩戴安全帽是工地安全重要的一环。基于人工检测安全帽佩戴情况,既耗时耗力,监管效率也不高。为了降低因为安全帽佩戴问题导致的施工问题,本文采用目标检测算法中的YoloV3算法进行安全帽检测,利用闸机处情境照片作为原始数据集,采用LabelImg对原始照片进行安全帽区域的人工标注,并确定边界框(bounding box)的个数以及位置,建立了人工标注的安全帽检测的训练数据
本文目的在于解决任意不同新的四维超混沌系统的同步问题。本文优先设计两个不同结构的新的四维超混沌系统,进行同步分析。再添加外界干扰,研究新型四维超混沌系统的混沌同步