共被期刊论文引用了3次
您的检索式：您选中1篇文献正在查看引证文献汇总
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 基于以太网和CAN总线的液压支架电液控制系统研究显示文摘针对目前综采工作面液压支架电液控制系统的实时性差、可靠性低的问题,提出一种基于以太网和CAN总线的液压支架电液控制系统,构建了系统的整体架构,实现了总体程序。根据实际的工况对系统进行改进:分析了液压支架远程监控的工作特性,采用基于改进时分复用算法的TCP/IP通讯协议,从理论计算了工作面所有支架发送完成一次传感数据时间为260 ms,达到了远程监控实时性的要求;分析了液压支架邻架控制,采用基于动态优先级提升算法的CAN通讯协议,减少因总线碰撞而造成的系统实时性降低;控制系统的以太网与CAN总线可冗余通信,以提高系统通信可靠性。通过实验验证了支架控制器的通讯功能以及2种通讯方式的可替换性,证明了该系统具有较高的实时性和可靠性。 | 汪佳彪 王忠宾 张霖 许静 李付生 | 2016 | 煤炭学报2016，41，6： | 48 |
| 2 | “可信软件基础研究”重大研究计划结题综述显示文摘本文介绍了'可信软件基础研究'重大研究计划的立项背景、总体科学目标、总体布局、实施思路及总体完成情况,并从建设可信软件开发资源共享与服务平台、设立'智能化软件可信的基础理论与方法'重大研究计划、对长期而艰难的课题实施面上项目滚动申报和资助方式等方面概述了在该领域下一步发展的建议。 | 何积丰 单志广 王戟 蒲戈光 房毓菲 刘克 赵瑞珍 张兆田 | 2018 | 中国科学基金2018，32，3： | 8 |
| 3 | 面向逻辑执行时间模型的Minicore的内存管理显示文摘随着实时系统在时间关键和安全关键的行业的广泛应用,程序的时间属性受到越来越广泛的关注.Henzinger提出了LET(Logical Execution Time)编程模型,提供了明确描述时间属性的机制,确保了系统的时间确定性.但传统的实时操作系统模型采用了与LET截然不同的抽象,难以很好地支持LET编程模型.Minicore是一种新型操作系统模型,程序由一组内部没有同步点的服务组成,具有较好的时间确定性和可控性,与LET编程模型的思想更吻合.将LET的控制模型和Minicore的运行模型相结合,可形成一种具有时间确定性的新型编程框架.主要描述了该框架的内存管理机制的设计和实现.文末以智能小车控制系统的实现作为研究实例验证本系统的可行性. | 刘杰 陈香兰 | 2016 | 计算机系统应用2016，25，2： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员