实时可信服务的构件设计与形式化描述

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:xxj8880430
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对分布式实时嵌入式系统DRES,设计了一种提供自适应服务质量(QoS)保证的构件模型QuOCCM,以形式化方法描述构件,并推导构件各实体之间的自适应过程。QuOCCM由三部分组成,Client、Qoskets和Server,分别以CCM(CORBA Component Model)构件技术实现。Client与应用或功能构件交互,获取当前QoS需求,并触发自适应机制;Qoskets通过对QoS保证框架QuO进行改进,以构件技术实现QoS自适应调整策略;Server提供自适应调整之后的QoS保证机制。研究结
其他文献
目的:观察甘草泻心汤治疗岭南地区复发性口腔溃疡的临床疗效。方法:选取63例岭南地区复发性口腔溃疡患者随机分为两组,对照组采用常规的西药进行治疗,治疗组采用甘草泻心汤加
中国新社会阶层随着自身经济实力增强,政治地位提升,阶层意识和权利观念强化,维护自身利益的需要增强,部分新社会阶层参与政治已具备一定条件,当代中国新社会阶层越来越多地
费尔内尔是文艺复兴后期最负盛名的医生之一,他的《疾病的隐匿性原因》在文艺复兴思想史上具有重要地位.费尔内尔被看作文艺复兴哲学的承上启下之人.他对古代权威习之以礼,对
中美两国独特文化背景下的高校教育各具特点。美国课堂授课模式多样性特点映射出美国文化价值观的元素,中国高校课堂教学的创新也应体现中国特有的思维方式、价值判断和行为
对于很多司机来说,开车其实不烦,最糟心的是停车。确实,网络上时不时冒出来停车场的“奇葩”事件,往往使人啼笑皆非。甚至很多车技一般般的司机,做梦都在想,有朝一日,车子能
回顾了群体平衡模型(Population Balance Model,PBM)应用于絮凝过程中絮体粒经分布模型的相关研究,主要包括区间离散法求解PBM,絮体聚并模型和破碎模型等。近年来,描述聚并效率的“
时域脉冲源是时域超宽带雷达系统中的重要部件,时域脉冲天线大多采用对称形式,如果用非平衡高压脉冲源激励,难以实现很好的宽带匹配。为此设计了一种新的电路形式,采用平衡输
短篇小说《假日》描绘了一个同化女性的父权制家族,其中被同化的女性个体沦为父权制度的维护者,而未被同化的女性则被视为沉默的他者和怪物。小说结尾处叙述者"我"与哑女欧迪丽
本文介绍了一种新型的复合正弦强迫振荡呼吸系统阻抗测量系统。复合信号频宽为0.5—10HZ,其产生和频谱分析数据处理共用一台微机,且可按照不同对象方便地调整各频率成份的相
【摘 要】 目的:观察呼吸肌康复训练对职业性呼吸功能损伤的临床疗效。方法:按照肺功能、心肺运动试验测试结果选取45例职业性肺损伤患者随机分为A、B、C 3组,通过有氧训练、呼吸肌抗阻训练、缩唇呼吸训练的方法进行训练,1~2次/日,10日/疗程,每个疗程间隔10d以上,共5个疗程,所有患者训练前后均进行FEV1/FVC、FEV1%pred、Peak VO2/kg测试。结果:本研究A、B、C三组康复训