【摘 要】
：
在原有模型和算法分析的基础上,提出了一种共享存储器MPSOC互斥模型。该模型能适应各种互斥算法的描述、论证需求,能更好地描述任务优先级、实时性;能够适应区分处理器源任务的互斥算法(即区分对待来自不同处理器的任务);严格区分并发性、并行性,描述更加精确;扩展了服务周期、事件之间关系;能够精确地量化互斥性能指标,以便更好地比较互斥算法优劣。最后,给出了该模型的一个简单实例,对模型应用提供指导。
【基金项目】
：
国家“863”计划资助项目（2007AA01Z104）
论文部分内容阅读
在原有模型和算法分析的基础上,提出了一种共享存储器MPSOC互斥模型。该模型能适应各种互斥算法的描述、论证需求,能更好地描述任务优先级、实时性;能够适应区分处理器源任务的互斥算法(即区分对待来自不同处理器的任务);严格区分并发性、并行性,描述更加精确;扩展了服务周期、事件之间关系;能够精确地量化互斥性能指标,以便更好地比较互斥算法优劣。最后,给出了该模型的一个简单实例,对模型应用提供指导。
其他文献
鉴于基于小波域隐马尔可夫树的噪声抑制性和较好的边缘保持性,提出一种基于小波域隐马尔可夫树的序列图像的超分辨率重建算法。针对小波系数进行统计建模,讨论了不同尺度小波系数之间的隐马尔可夫树结构,利用了序列图像的运动信息,运用极大后验概率估计和贝叶斯原理,将小波域HMT作为图像先验知识并给出了超分辨率重建算法,最终通过EM算法和共轭梯度算法的交替迭代进行优化计算。实验结果表明方法的重建效果得到了明显的改
针对风洞试验模型操纵面角度的改变,开发了内埋式自动变角机构及控制系统,对控制角度进行了地面校准,并采用三角翼模型进行了风洞常规测力实验、重复性实验和操纵面效率试验
随着无线射频识别技术RFID的广泛应用,相应的研究工作也逐渐铺开。由于RFID数据具有流特性、海量性和语意丰富性等特点,在现实世界中获取符合研究要求的数据集并非易事。通过分析RFID数据的特点、阅读器的物理特性和各种典型应用场景,建立了RFID数据仿真的数学和物理模型,并提出了基于CSIM仿真开发包构建大规模RFID数据生成器的实现方案。实验结果表明,该生成器具有较高的准确性和性能。
提出了一种移动环境下的多信道试探广播策略MCHM(multiple channel heuristic method)。该广播策略在多信道广播中采用高效的数据调度算法,在不重复广播的情况下,消除了多信道广播中多数据请求的访问冲突,大大减少了移动客户机的访问时间,提高了数据广播的性能。
提出一种完全脆弱认证水印算法用于图像完整性认证、窜改定位和近似恢复被窜改部分。算法基于对原始图像2×2大小分块,计算图像块各像素高6bit的灰度均值作为水印,利用混沌和置乱技术对水印信息进行加密和确定水印比特嵌入的位置。实验结果表明,该算法简单、安全性高,窜改精确定位到2×2图像块,可对窜改区域近似恢复,具有较好的实用性。
对IA-32反编译后多分支结构的各种实现模式进行了系统的研究分析,并对复杂条件下典型的多分支结构实现模式进行了形式化的描述。在多分支结构的识别过程中,通过对索引表和跳转表调用指令的格式分析,提出了双特征指令匹配算法。通过程序切片建立了索引表和跳转表调用的表达式标准型,消除了多分支语句恢复过程中编译器类型和版本差异带来的影响,提高了算法通用性,对于进行程序反解及软件逆向工程具有重要的参考价值。
为验证折合频率与无量纲频率对涡破裂点位置的影响，在北航大水洞用动态机构三角翼分别进行了不同折合频率k（k=^＊a／2U∞）的上仰-停止运动及不同无量纲n（n=fC／U∞）的小振幅的俯仰振荡实
针对RBAC96模型中私有权限实现方法的不足,分析了现有改进方案的研究现状和不足,引入继承属性的概念,通过继承属性值实现权限公有与私有的划分,提出了角色继承时只创建继承关系的继承方案。引入权限重载概念,给出了多角色继承及权限重载时的冲突解决规则,采用广度优先搜索算法实现了角色权限的动态获取;结合实例说明了角色继承、权限重载、解除继承关系的实现方法。
首先，从昆虫（身体和拍动翅）的动力学方程和N—S方程出发，在一定假设下，将运动方程简化为6自由度刚体的方程，并用线化理论给出了反映昆虫悬停飞行纵向动稳定性的理论解。然后，用完全
在采用面向服务架构(SOA)实施分布式开发中,为实现对服务资源在效率、可伸缩性和自适应动态演化的支持,通过对企业服务总线(ESB)拓扑模型的分析,引入对基于域内服务注册的统一ESB基础设施的自组织机制(SOM)。通过对SOM的设计,实现了ESB中服务的动态加入和退出机制、服务状态动态变化机制、负载感知的自适应机制和节点的容错机制。在对SOM的仿真与实践中,证实了SOM占用带宽少、信息收敛快、适应性