基于概率模型检验的云渲染任务调度定量验证

来源 :软件学报 | 被引量 : 1次 | 上传用户：sese4546

【摘要】

：

云渲染技术已被广泛应用于影视和动漫等行业.与传统的渲染农场和租赁市场模式不同,云渲染系统依托云计算基础设施提供多种软件服务进行渲染作业的方式,正逐渐成为新兴的计算模式.由于任务执行和资源操作等作业调度对于用户而言是透明的,这要求云渲染系统应具备智能化以实现计算资源优化调度和多端任务管理,并对系统可靠性提出了更高要求.针对这一问题,提出了采用概率模型检验对云渲染系统任务调度进行定量评估.首先,考虑渲

【作者】

：

高洪皓缪淮扣刘浩宇许华虎于芷若

【机构】

：

上海大学计算中心,上海大学计算机工程与科学学院,上海大学信息化办公室,上海市计算机软件评测重点实验室

【出处】

：

软件学报

【发表日期】

：

2020年06期

【关键词】

：

云渲染系统任务调度概率模型检验 PRISM定量验证可靠性分析 cloud rendering systemtask schedulingprobabili

【基金项目】

：

国家自然科学基金(61502294,61572306),赛尔网络下一代互联网技术创新项目(NGII20170513)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

组态软件在微小芯片插片机开发中的应用

在研发微小芯片插片机过程中，应用组态王软件在计算机屏幕上仿真可编程序控制器（PLC）控制的插片机设备，通过对仿真设备的实时监控，观察其运行过程是否满足功能要求，从而改进机械和

期刊

插片机仿真系统组态王软件可编程序控制器

笔记本质检未过——质量问题岂容玩笑

又一场风波　　　　日前，浙江省工商局会同浙江科正电子信息产品检验有限公司(信息产业部第52所)抽检了杭州市场上的笔记本电脑。在随后发出的公报中指出，此次专项抽检商品是根据GB4943—2001《信息技术设备的安全》(强制性标准)等十项国家强制标准、国家推荐标准、企业标准、明示标准及相关法律法规进行检测。东芝、富士通、NEC、惠普四大品牌的5款笔记本电脑在ESD静电放电抗扰度、辐射骚扰，杭雷击等指标

期刊

质量问题笔记本电脑国际知名品牌静电放电抗扰度消费者信息技术设备浙江省抗雷击富士通电磁性能

拉普拉斯阶梯网络

阶梯网络不仅是一种基于深度学习的特征提取器,而且能够应用于半监督学习中.深度学习在实现了复杂函数逼近的同时,也缓解了多层神经网络易陷入局部最小化的问题.传统的自编码

期刊

阶梯网络流形正则化图拉普拉斯深度自编码半监督学习ladder networkmanifold regularizationgraph Laplacia

水磨石产品生产工艺设计

任何一个建筑物使用水磨石,都有它的基本规律,它的特点。因此,在进行水磨石设计前,必须尽可能多的了解工程的基本情况,如工程的用途,甲方的要求,水磨石制品相邻部位使用材料

期刊

水磨石工艺技术条件分格装饰效果产品设计生产工艺设计施工条件管理水平

基于有限元理论分析掏孔对金刚石圆锯片刚度的影响

金刚石圆锯片具有优越的切割性能,兼有使用方便、加工效率高等优点,被广泛应用于石材加工、建筑施工等国民经济领域,并且随着金刚石圆锯片制作技术的不断进步及成本持续降低,

期刊

金刚石圆锯片金刚石锯片切割性能锯切性能加工效率噪音污染基体结构石材加工

藿香正气口服液超声携氧雾化吸入治疗支气管哮喘发作期42例疗效观察

为观察超声携氧雾化吸入藿香正气口服液对成人支气管哮喘发作期的疗效,将84例哮喘发作期轻、中度患者随机分为超声携氧雾化藿香正气口服液治疗组(治疗组)和喘康速气雾剂治疗

期刊

支气管哮喘发作期蓉香正气口服液雾化吸入asthma therapy of TGM huoJciang zhengqi oral liquid spray

键盘也搞怪

初学的朋友总喜欢新鲜的东西，那么你有没有想象过，当你按下键盘上的A输入的时候，屏幕上出现的是S，而按S的时候，出现的是E?呵呵，不要害怕，其实这是键盘在逗你玩呢?借助“改键精灵”，你也可以让键盘七十二变!

期刊

键盘精灵二变输入想象初学屏幕启用正常状态东西

新时期商品包装的道德原则

包装道德是是包装业界不能忽视的问题，商品包装道德原则的核心内容是摒弃过度包装，研究发展绿色包装。重视包装的公益性。强化包装设计和企业的社会责任意识。

期刊

商品包装道德绿色包装包装设计

基于概率模型检验的云渲染任务调度定量验证

其他学术论文