聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
学位论文 基于时间自动机的模型验证理论及应用研究
摘要:本文在R.ALUR等人提出的时间自动机的基础上深入研究了系统模型验证理论及其实际应用。通过判定实时系统以... 显示全部
关键词: 实时系统 时间自动机 协议验证 时延 模型验证理论
学位论文 CDMA收发讯机的设计及音频磁头自动测试系统的研制
摘要:该文由两部分组居,分别为CDMA收发讯机的设计(第一章ˉ第四章)及音频磁头自动综合测试系统的研制(第五章ˉ... 显示全部
关键词: 磁头检测 自动控制 数据采集 实时系统 系统 直序扩频 收发讯机 系统同步
学位论文 PEARL语言在实时系统中的应用
摘要:当前实时系统的开发渐成热点,软件开发的各个阶段,从需求工程到系统设计到编码实现都需要有适合实时开发需... 显示全部
关键词: 实时系统 实时调度分析 时限 并发
学位论文 改进了的RMS与EDF以及两者的混合调度算法
摘要:实时系统现在越来越受到重视,它在国防,航空航天,自动控制等方面的应用极为广泛.实时系统不仅仅要保证逻... 显示全部
关键词: 混合调度算法 实时系统
学位论文 家庭网络通用软件平台的研究
摘要:如何在复杂多样的信息家电硬件环境中构建一个既能和INTERNET连接,又能进行内部控制的家庭网络,软件平台... 显示全部
关键词: 家庭网络 实时系统 服务质量控制 软件平台 嵌入式操作系统
学位论文 实时系统有序时段性质的形式化检验
摘要:实时系统是指那些严格要求对外部的输入及时做出回应的系统.由于许多实时系统是高安全性系统,所以近几十年... 显示全部
关键词: 实时系统 模型验证 检验问题 有序时段性质
学位论文 容错实时系统可调度性分析研究
摘要:实时系统在工业、商业和军事领域中得到了广泛应用,这类系统对响应时间具有严格的要求,尤其是强实时系统... 显示全部
关键词: 实时系统 任务调度 可调度性分析 响应时间分析 容错 分布式实时系统
找到7条结果
`