电子发烧友App

硬声App

扫码添加小助手

加入工程师交流群

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
电子发烧友网>电子资料下载>电子论文>模拟数字论文>自适应软件动态过程时间特性建模

自适应软件动态过程时间特性建模

2018-04-19 | rar | 1.12 MB | 次下载 | 1积分

资料介绍

  自适应软件(self-adaptive software)能够在运行时实时监测上下文变化并对自身进行动态调整,以消除或减轻变化带来的不利影响。它能够有效应对运行环境和用户需求的频繁变化,降低软件维护压力,增强自身容错和应对变化的能力,现已成为软件工程领域的热点研究问题。

  为提高自适应软件的可靠性,需对自适应软件的动态过程进行形式化建模和分析。基于此,国内外学者针对自适应软件的形式化方法开展了大量研究,能够较好地支持自适应逻辑和自适应行为的刻画和分析,却鲜有研究考虑自适应动态过程的时间约束。然而,实践表明,在时间攸关应用领域,自适应软件系统能否正确运行,不仅依赖于自适应逻辑的正确性,而且要考虑系统自适应过程的时间特性。首先,自适应软件的开发需在原应用逻辑之上构建自适应逻辑,而自适应逻辑的引入势必会给原系统带来时间开销,将自适应逻辑的时间开销降到最低需综合考虑自适应各个子过程(如监控、分析、规划和执行等)的时间约束;其次,自适应软件的很多应用场景具有及时响应性,如课题组前期研究中的自适应火灾应急响应系统,需要系统能够及时捕获险情、及时传递险情并能够及时启动应急设备,要刻面这类具有实时性的自适应场景,时间特性是一个重要方面;最后,软件形式化方法只能分析和验证自适应逻辑的正确性,不能衡量自适应逻辑的响应速度和响应效果,现有研究尚缺乏性能指标和评估方法以全面评估自适应逻辑的性能。

自适应软件动态过程时间特性建模

软件动态
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

下载排行

本周

  1. 1MDD品牌三极管MMBT3906数据手册
  2. 2.33 MB  |  次下载  |  免费
  3. 2MDD品牌三极管S9012数据手册
  4. 2.62 MB  |  次下载  |  免费
  5. 3联想flex2-14D/15D说明书
  6. 4.92 MB   |  次下载  |  免费
  7. 4收音环绕扩音机 AVR-1507手册
  8. 2.50 MB   |  次下载  |  免费
  9. 524Pin Type-C连接器设计报告
  10. 1.06 MB   |  次下载  |  免费
  11. 6新一代网络可视化(NPB 2.0)
  12. 3.40 MB  |  次下载  |  免费
  13. 7MS1000TA 超声波测量模拟前端芯片技术手册
  14. 0.60 MB   |  次下载  |  免费
  15. 8MS1022高精度时间测量(TDC)电路数据手册
  16. 1.81 MB   |  次下载  |  免费

本月

  1. 1爱华AIWA HS-J202维修手册
  2. 3.34 MB   |  37次下载  |  免费
  3. 2PC5502负载均流控制电路数据手册
  4. 1.63 MB   |  23次下载  |  免费
  5. 3NB-IoT芯片厂商的资料说明
  6. 0.31 MB   |  22次下载  |  1 积分
  7. 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
  8. 0.63 MB   |  6次下载  |  1 积分
  9. 5UWB653Pro USB口测距通信定位模块规格书
  10. 838.47 KB  |  5次下载  |  免费
  11. 6技嘉H110主板IT8628E_BX IO电路图资料
  12. 2.61 MB   |  4次下载  |  1 积分
  13. 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
  14. 0.04 MB   |  4次下载  |  1 积分
  15. 8100W准谐振反激式恒流电源电路图资料
  16. 0.09 MB   |  2次下载  |  1 积分

总榜

  1. 1matlab软件下载入口
  2. 未知  |  935137次下载  |  10 积分
  3. 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
  4. 1.48MB  |  420064次下载  |  10 积分
  5. 3Altium DXP2002下载入口
  6. 未知  |  233089次下载  |  10 积分
  7. 4电路仿真软件multisim 10.0免费下载
  8. 340992  |  191439次下载  |  10 积分
  9. 5十天学会AVR单片机与C语言视频教程 下载
  10. 158M  |  183353次下载  |  10 积分
  11. 6labview8.5下载
  12. 未知  |  81602次下载  |  10 积分
  13. 7Keil工具MDK-Arm免费下载
  14. 0.02 MB  |  73822次下载  |  10 积分
  15. 8LabVIEW 8.6下载
  16. 未知  |  65991次下载  |  10 积分