文献检索-宁波市创意产业特色资源库

限定检索结果

检索条件"机构=北京神州航天软件技术有限公司"

共 2 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

视图：

排序：

MPSoC可调度性分析的价格时间自动机模型: 收藏
分享
引用; 《西北工业大学学报》2017年第2期35卷 292-297页; 作者：汪群博赵政文张涛程胜朱海涛李坤西北工业大学软件与微电子学院北京神州航天软件技术有限公司; 多处理器片上系统(MPSoC)是在单一芯片上集成多个处理器的复杂SoC,是多核时代SoC的最新发展方向,保证MPSoC可调度是其设计的重点。针对MPSoC的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计...; 多处理器片上系统(MPSoC)是在单一芯片上集成多个处理器的复杂SoC,是多核时代SoC的最新发展方向,保证MPSoC可调度是其设计的重点。针对MPSoC的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计模型检测引擎自动模拟系统,并估算不可调度概率。实例验证结果表明,该模型检测方法降低了分析成本,可以分析传统模型检测方法所不能判定的复杂系统。; 来源：详细信息评论

基于ARM的RFID数据采集模块设计: 收藏
分享
引用; 《航天制造技术》2011年第4期 41-44页; 作者：杨阳胡耀光周玉偈北京理工大学机械与车辆学院北京100086 北京神州航天软件技术有限公司北京100094; 设计了一种基于ARM的RFID读写器中间件模块,该模块能够对多个读写器端口的读写进行统一管理,从而从源头防止了多个读写器出现的重复读取和漏读现象。介绍了模块的工作原理,并给出了软件、硬件的设计以及测试结果。; 设计了一种基于ARM的RFID读写器中间件模块,该模块能够对多个读写器端口的读写进行统一管理,从而从源头防止了多个读写器出现的重复读取和漏读现象。介绍了模块的工作原理,并给出了软件、硬件的设计以及测试结果。; 来源：详细信息评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页<< <1> >>

聚类工具回到顶部