基于任务和依赖的受限委托模型

来源 :第十三届全国青年通信学术会议 | 被引量 : 0次 | 上传用户:yatang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对协同工作环境中基于角色的委托技术的特点。在分析时间约束限制、部分权限委托限制和角色关联限制的基础上,提出了基于任务和依赖的受限委托模型,并定义了该模型的相关概念和委托事件及相关判定。最后,基于Hoops环境实现了协同工作中的访问控制模块。
其他文献
ATP(Acquisition,Tracking and Pointing,自动捕获、跟踪和瞄准)技术是无线光通信、光学雷达探测等领域中的关键技术。进一步提高基于微机电技术的ATP系统精度已十分困难,而且会造成设备重量的增加和成本的大幅提高。利用传播方向相反的相位共轭波具有自追迹的特性,可以克服大气信道对光波相位的随机扰动,这是一种有很大潜力的新型ATP技术。利用光纤制作的器件具有体积小、重量轻且
休假排队系统的传统数学推导过程非常复杂,缺乏直观的模型描述并且缺乏灵活性。计算机仿真方式既有直观的模型描述,又具有较大的灵活性。利用建模仿真工具赋时着色Petri网对休假排队系统的一种——空竭服务多重休假M/G/1型排队系统进行建模,并对主要性能指标进行仿真分析。仿真软件选用CPN Tools.仿真结果表明,该方法具有较高的精确度以及实用价值。
本文采用标准C++扩充的软硬件系统统一建模语言SystemC设计并实现了事务级的AHB总线模型。经仿真验证,时序完全符合AMBAAHB总线标准,运行速度远高于RTL级下的同类模型。该模型可以有效地克服软硬件协同设计中的时间瓶颈,提高SoC的设计效率,降低设计复杂度,缩短芯片产品的上市时间。
UML是目前广泛采用的软件建模语言。用它作为本体的可视化建模,可以为大多数软件工程师所接受。但UML并非是一种形式化语言。无法进行精确语义的模型检验。为了利用UML类图对本体建模并实现本体模型的检查。本文提出一种基于UML类图的本体模型一致性检查方法,该方法采用描述逻辑SHOIN(D)描述UML类图图元。实现基于UML类图本体模型的形式化描述。转换后的本体模型,借助自动推理引擎,可以自动发现模型中
针对与卫星有用信号频谱相混叠的干扰信号不易检测识别的问题,本文提出一种利用独立分量分析理论将有用信号与干扰信号分离的卫星干扰信号检测识别方法.并在MATLAB中采FastICA算法对混合卫星干扰信号进行了仿真。仿真结果表明,该方法能有效地将有用信号与干扰信号进行分离,为进一步采取相应抗干扰措施提供了依据。
稳定分布可以更好地描述实际应用中所遇到的具有较大脉冲特性的随机信号和噪声。传统的最小范数方法选择二阶噪声子空间中的向量。且使之具有最小范敖,但在无限方差低阶稳定分布噪声子空间,其二阶方差为无限值,对应阵列的协方差矩阵就不再适用于稳定分布噪声环境。传统算法就会失去其韧性。本文在简要介绍稳定分布统计特性的基础上,利用一种已有的新的分数低阶统计量——分数阶相关,对传统的最小范教算法进行改造,分析了阵列数
α-稳定分布可以比高斯分布能更好地描述实际应用中所遇到的具有显著脉冲特性的随机信号和噪声。与其它统计模型不同,α稳定分布没有统一闭式的概率密度函数。其二阶及二阶以上统计量如功率、自相关、功率谱密度均不存在。本文在简要介绍稳定分布统计特性的基础上,介绍了常用的信号非线性变换方法,并利用自然对数变换,建立不同于传统二阶过程的对数阶过程及其几何功率、几何相关、几何功率谱密度等新的信号分析概念,提出了一种
带通采样中时钟信号的抖动问题对接收机性能的影响越来越突出,抖动信噪比(SNR)成为衡量数据采集系统性能的重要指标。本文针对带通采样的抖动问题,对其噪声谱进行了分析,给出了线性调频(LFM)信号采样时刻抖动的SNR表达式。论证了过采样技术可以提高独立时间抖动的SNR,但同时也会恶化累积时钟抖动的噪声。仿真结果验证了过采样理论和该算法的有效性。
以TMS320F2812 DSP芯片为核心,设计了五自由度主动磁悬浮轴承的数字控制器。控制器使用了16位高精度AD芯片。同时加入了AD采样信号和DA输出信号的增益可调功能,在信号峰值小于设定值时自动将信号放大,充分利用了AD采样范围.也就提高了AD精度,进而提高整个系统的控制精度。利用DSP芯片的捕获单元设计了转速测量模块,井引入转速作为控制参数,根据不同转速调整PID参数,使系统在不同转速范围都
本文首先分析了SOA和其它中间件技术如CORBA、DCOM、RMI等各自的优缺点,接着介绍了安全事件的特点,然后根据这些特点设计出基于SDA的安全事件发布/订阅系统的结构,并在最后给出了该系统的实现。