【摘 要】
：
优先级顶协议是一种优先级驱动的抢占式调度协议,它具有无死锁和单阻塞的性质。Dang Van Hung和Philip Chan在文献[6]中形式地规范和验证了这两个性质。但他们没有对状态函数HiPripcp明确定义,这使得验证的细节较难理解。为了解决这个问题,提出了一种新的方法来验证优先级顶协议单阻塞的性质。通过时段演算的方法,对优先级顶协议进行了规范,并给出了状态函数HiPripcp的明确定义。根
【机 构】
：
中国科学院软件研究所计算机科学重点实验室,中国科学院研究生院
论文部分内容阅读
优先级顶协议是一种优先级驱动的抢占式调度协议,它具有无死锁和单阻塞的性质。Dang Van Hung和Philip Chan在文献[6]中形式地规范和验证了这两个性质。但他们没有对状态函数HiPripcp明确定义,这使得验证的细节较难理解。为了解决这个问题,提出了一种新的方法来验证优先级顶协议单阻塞的性质。通过时段演算的方法,对优先级顶协议进行了规范,并给出了状态函数HiPripcp的明确定义。根据优先级顶协议的规范,形式地验证了该协议的单阻塞性质。采用的验证方法更少地依赖于HiPripcp,这使得
其他文献
【正】国家发改委有关负责人透露,修订的《外商投资项目不予免税的进口商品目录》,将进一步缩小内外资企业进口设备免税待遇差距,最终实行统一的进口设备税收政策。一批重大
多普勒无线电引信目标识别的传统的方法是利用多普勒信号的幅值和增幅速率等特征进行目标信号识别。为使无线电引信在强背景噪声干扰的情况下能够正确地识别目标,就需要采取有效的信号处理方法识别目标。文中根据无线电引信回波多普勒信号功率主要集中在低频部分的特点,对淹没在噪声中的无线电引信回波信号进行小波分解,提取在不同频带内信号能量作为特征,用Fisher判别方法对目标进行检测。针对不同信噪比,对某典型无线电
【正】内容合理的采购方案不仅有助于维护公平竞争的采购秩序,而且有利于采购目标的实现,是大多数供应商热切期盼的；而一份内容含混、格式杂乱的采购方案极可能成为种种不规范
为了改进由协调层、运动规划层和基本动作层组成的足球机器人决策系统,提出了将基于Bezier曲线的机器人路径选择法、"以小球为中心,守门员为主要执行对象"的防守策略和场地分区法综合地运用到三层递进的决策系统中,并分别给出了每层的实现算法。在此基础之上,建立了机器人和球的动态模型,利用C++编程并导入Middle League SimuroSot(5vs5)仿真环境进行了仿真实验。仿真实验结果表明:所
模型降阶方法在大规模集成电路的仿真中有着广泛的应用。由于对互联网络提取寄生参数后电路的规模巨大,使用传统的电路仿真方法将会消耗大量的资源,而模型降阶使得仿真计算量显著减小的同时精度并没有多少损失。文章针对互连线网络的MNA(Modified Nodal Analysis)矩阵通常可观测性较弱的特点,提出了一种基于可观测标准型的模型降阶算法:MOROC。文中推导证明了该算法能够匹配原系统的前q个矩,
提出一种基于时域抽样法的近远场变换算法以改善经典时域近远场变换算法计算量大、计算速度慢的缺点。时域抽样法是基于这样一个事实:在时域近远场变换过程中不需要与时域有限差分计算同样的时间精度。在近远场变换前先对时域近场数据进行采样以减少数据的冗余,然后用改进后的算法进行近远场变换计算从而达到减少数据量、提高计算速度的目的。为验证本算法,以计算七元八木天线远场方向图为例进行算法说明,并与经典时域法进行比较
林火是一种常见的、危害极大的森林灾害。通过可视化手段研究林火的发生、发展的过程具有重要意义。文章分析了近几年来国内外对火焰模拟与可视化的技术发展,根据林火自身的燃烧机理,提出了基于变形粒子系统的林火火焰的可视化表达方法。该方法用不规则的几何图形来代替图元或像元作为基本粒子,加快绘制速度,并通过求解粒子在不同空间分布上的温度获得粒子的颜色和亮度。仿真结果表明,利用该方法可以快速生成逼真的带有烟雾的林
在构建虚拟场景时,树木是不可缺少的景物。传统的树木分形生成算法计算复杂、耗时长,不适于在构建实时动态的场景中使用。文中提出了一种在L系统分形算法基础上的树木模型参数化生成方法。该算法将树木模型先进行参数化处理,然后将分形计算产生的树木模型数据按层次储存起来,并根据视点与树模型的距离确定所需树木模型数据的层次,从而充分发挥了应用分形技术生成的树模型真实感强的优点,消除了分形计算耗时长的缺陷,保证了树
设计信息的可视化技术在视觉上传递信息,多元显示、全局视角、交互等都约束了对产品设计更深一步的观察和分析。设计分析信息以可听化反馈,作为图形界面的补充,增加用户接收的信息量,减轻视觉通道的负荷,并能从全局视图上观察分析数据。从工程应用角度提出设计信息可听化研究的意义与途径,根据设计数据、机构仿真分析、数据的对比分析的特点,分析数据声音映射关系,采用模拟合成的方法设计了典型的设计信息可听化实例。以凸轮
为实现在不同环境的壁面上自由爬行,设计了应用仿壁虎微纳米粘附阵列的爬壁机器人,建立了机器人的动力学模型及足部与壁面之间的接触模型,并利用机械系统动力学软件ADAMS的仿真功能,对机器人沿垂直壁面爬行的运动特性进行了仿真。利用ADAMS的后处理模块的分析功能,重点研究了在一个运动周期内,模型整体质心的位移、电机转矩以及足部与壁面之间的接触力随时间的变化情况。仿真结果表明该仿壁虎爬壁机器人能够以约26