作者：朱振宇,张仕,蒋建民,吴亚洲,杨启帆 单位：重庆西南信息有限公司 出版：《计算机科学》2016年第S2期 页数：7页  （PDF与DOC格式可能不同） PDF编号：PDFJSJA2016S21180 DOC编号：DOCJSJA2016S21189 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发，而这些指导原则抽象且无法保证分解系统的正确性。为此，对基于优先级控制的系统分解方法展开研究，提出一种系统分解的方法，并在理论上证明该分解方法的正确性。首先采用基于事件的行为模型对系统进行建模；接着定义调度、调度策略和调度策略正确性的概念；然后研究调度策略的分解方法，并证明了调度策略分解方法的正确性；最后根据该方法，开发出一种支持依赖模型建模和调度策略分解的原型工具，通过实例的演示，说明了使用该方法可以把系统分解成若干个子系统，从而设计出正确和有效的调度策略，以达到正确分解系统的目的。

    📙 相关资料

    1. 《基于优先级可抢占式调度策略的设计》PDF+DOC 本文以TinyOS为研究对象，对其任务调度机制进行了分析，并指出了其特点和不足，提出了一种基于优先级的可抢占式分级调度策略，并通过仿真实验对改进前后调度策略进行了比较分析。...
    2. 《基于ZigBee的智能家居系统》PDF+DOC 设计以STM32控制器作为网关系统，采用GPRS，Wi Fi方式连接互联网；以Zig Bee方式外连灯、温湿度、烟雾、热释电红外等传感器，通过手机终端检测和控制各传感器。该系统可实现家庭安防、火灾报警、温湿度监控，环境检测，家电控制等功能。...
    3. 《基于CAN总线的煤矿调度自动化系统》PDF+DOC 文章首先分析了煤矿生产的特点 ，提出了煤矿调度自动化的功能及组成原理 ，阐述了应用CAN总线开发的煤矿调度自动化系统...
    4. 《基于TrueTime的网络控制系统性能分析》PDF+DOC 介绍了T rueT im e的组成、功能，并通过仿真实例说明其在网络控制系统理论仿真研究中的应用。分析表明T rueT im e能够仿真多任务实时控制系统，可以用来方便地研究网络控制系统中调度对控制系统性能的影响。...
    5. 《基于传感器网络的港口拖车调度系统设计》PDF+DOC 港口拖车调度管理系统设计对智能控制能力要求很高，是一个经典问题。由于拖车在港口中完全是动态的，因此采用基于无线传感器网络的定位算法，能够很好地解决拖车动态定位问题。在采用基于无线传感器网络的定位算法的基础上，研究基于遗传算法的拖车调度策略并设计港口拖车管理系统，具有较高的实践意义和实用价值。...
    6. 《车载CAN和FTTCAN网络设计与调度策略》PDF+DOC 针对CAN总线不能有效处理时间触发的周期信息和事件触发信息共网实时性通信问题，考虑网络设计、调度的灵活性，将FTTCAN(flexible time triggered CAN)引入汽车动力控制系统，与车身控制系统低速CAN互联组建车载网络，给出了FTTCAN同步相调度中周期信息调度表SchT的制定......
    7. 《一种基于任务的预警卫星传感器规则调度方法》PDF+DOC 对预警卫星传感器调度方法进行了研究。对预警任务的特性进行分析，提出了一种任务分解方法以简化任务与资源复杂的对应关系并减少任务对资源占用时间的需求；针对预警任务的动态性，设计了一种基于周期与事件相结合的调度策略；根据系统对时效性的要求，提出一种基于规则的调度算法，算法在调度速度和调度性能之间更加注重前......
    8. 《集群系统中实现软实时服务机制的研究与评估》PDF+DOC 研究了集群架构服务器的三种实时调度策略，即集中式策略、分布式策略和主动型全分布策略。与调度功能主要集中在前端机的集中式策略比较，分布式策略将调度功能部分离散至后端节点，改善了系统的可扩展性。而主动型全分布式调度则进一步实现了调度分派功能的完全离散化，通过后端机的主动拉取事件和频率调控实现了负载平衡的......
    9. 《矿山安全管理系统中混合关键性实时调度研究》PDF+DOC 为了确保安全的矿下工作环境，设计和开发了一套矿山安全监管系统，实时监控矿下工人生产环境和设备运行状况.由于系统服务器处理能力有限以及缺乏合理有效的调度策略，系统在发生状态转换时会有一部分任务错失截止期，尤其在发生紧急情况时，关键性高的任务得不到及时响应可能会造成财产损失和人员伤亡.为此结合实时调度研......
    10. 《无线网络控制系统研究现状及方向》PDF+DOC 从基于无线传感器网络理论的无线网络控制系统的工业应用、控制方法设计、调度策略和通信协议的设计以及控制与调度协同设计等方面阐述了目前无线网络控制系统的主要研究内容和研究现状，并讨论了今后无线网络控制系统的研究方向。...

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。