由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高99元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
醉染图书嵌入式实时系统9787512418714
¥ ×1
章简介
1.1什么是时间
1.2
1.3测试
1.4验
1.5运行时期监测
1.6相关资源
第2章非实时系统的分析与验
2.1符号逻辑
2.1.1命题逻辑
2.1.2谓词逻辑
2.2自动机和语言
2.2.1语言和表示
2.2.2有限自动机
2..非定时系统的规范指定和验
.历史回顾和相关研究
2.4总结
习题
第3章实时调度和调度分析
3.1确定计算时间
3.2单处理器调度
3.2.1独立可抢占任务的调度
3.2.2不可抢占任务的调度
3..带前后次序约束的不可抢占任务
3.2.4周期任务间的通信:确定的会合模型
3.2.5带临界区域的周期任务:核心化监测模型
3.3多处理器调度
3.3.1调度表示
3.3.2单实例任务调度
3.3.3周期任务调度
3.4可用的调度工具
3.4.1PERTS/RAPRMA
3.4.2PerfoRMAx
3.4.3TimeWiz
3.5可用的实时操作系统
3.6历史回顾和相关研究
3.7总结
习题
第4章有限状态系统的模型检测
4.1系统规范
4.2CLARKE-EMERSON-SISTLA模型检测器
4.3CTL的扩展
4.4应用
4.5用C实现的完整的CTL模型检测器程序
4.6符号化模型检测
4.6.1二元决策图BDDs
4.6.2符号模型检测器
4.7实时CTL
4.7.1和延迟
4.7.2条件发生的和数量
4.7.3非单位转移时间
4.8可用的工具
4.9历史回顾和相关研究
4.10总结
习题
第5章可视形式化、状态图和STATEMATE
5.1状态图
5.1.1状态图的基本功能
5.1.2语义
5.2活动图
……
第6章实时逻辑、图论分析与模式图
第7章利用饰件自动机进行验
第8章时间相关的Petri网
第9章进程代数
0章基于命题逻辑规则系统的设计与分析
1章基于谓词逻辑规则系统的时序分析
2章基于规则系统的优化
参考文献
ALBERT M.K.CHENG,PhD.获得德萨斯大学奥斯汀分校计算机科学博士,在哪里他获得了GTE的博士奖学金。他目前是休斯敦大学计算机科学系副教授,也是休斯敦大学实时系统实验室创始人及主任。ALBERT M.K.CHENG是超过60本出版物的作者和合著者,并获得过无数奖项,包括NSF事业奖。他曾担任过几个组织机构(包括IBM)的技术顾问,并且是许多程序委员会会议的成员。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格
