In the real-time scheduling theory, schedulability and synchronization analyses are used to evaluate scheduling algorith......

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......

WorldFIP总线协议运行在同步模式时引入了空闲帧，这使得传统的抢占式可调度性分析方法无法直接使用。通过分析空闲帧对WorldFIP总线......

作者分析了多种实时任务可调度单调速率分析法(RMA)的适应性,应用一种改进的RMA法分析了作为强实时系统的多通道语音雷达记录仪事......

针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确......

Holistic算法是用于预测分布强实时系统可调度性的一种有用的方法.对该算法进行改进,扩展了原算法,使其更具普遍性.并且以一种高可......

多处理器任务分配调度算法是一类经典实时调度算法，然而目前研究在如何根据任务集特征选择任务分配算法方面少见指导性原则，不利于提......

时间约束Petri网（TimingConstraintsPetrinets，简称TCPNs）是一类重要的时间Petri网系统。针对TCPNs中变迁可调度原始语义的不足，本文对......

研究了一种户用两级式光伏并网发电试验系统,给出了系统的总体实现方案,设计并实现了试验系统的主要功能模块.通过本试验系统,可以......

固定优先级任务可调度性判定是实时系统调度理论研究的核心问题之一.目前已有的各种判定方法可归结为两大类:多项式时间调度判定和......

针对汽车车身控制模块可调度性难以预测分析的问题,利用AADL建立相应模型,通过OSATE工具对比分析不同的派遣协议、执行时间、线程......

随着多处理器实时系统在安全性攸关系统中的广泛应用，保证这类系统的正确性成为一项重要的工作．可调度性是实时系统正确性的一项关键......

偶发实时任务最早截止期优先（earliest deadline first,简称EDF）可调度分析是实时系统领域经典的NP困难问题.现有的伪多项式时间判定......

文章在系统阐述和借鉴经典的强实时系统静态优先级调度理论的基础上，通过引入忙周期的概念，分析了任务时限超过任务周期的实时系统任......

星载海量存储器的实时性和安全性要求在系统设计初期进行形式化分析和仿真。在采用UML对系统进行建模的基础上,本文提出一种通用算......

任务/资源图仿真建模方法由于包含丰富的时间属性而非常有利于分析复杂离散实时系统,通过一个仿真实例来分析任务/资源图模型的任......

为了解决加工装配车间的资源冲突问题，提出了基于面向对象时间约束Petri网的加工装配车间资源可调度性判定方法。该方法给出了面向......

时间约束Ｐｅｔｒｉ网是Ｐｅｔｒｉ网的一种扩展形式，是迄今为止对时间约束描述能力较强的网之一，文中给出了建立制造自动化系统时间约束Ｐｅｔｒｉ网模型的一般性步......

随着车身控制系统的日益智能化,使车身网络规模和通信负载量显著增长,车身网络中信息传输延时愈发明显,大大降低了系统的实时性和......

文中讨论了基于确定周期性任务的实时进程管理，对确定周期性任务采用调度器生成的管理方式，通过截止期递增分类法将非性任务分为两类......

时间约束Ｐｅｔｒｉ网是具有广义时间约束的一类Ｐｅｔｒｉ网。时间约束的引入使用ＴＣＰＮ’ｓ的演化与系统第一时间刻的状态密切相关。导致网的动态复杂性。目前......

在系统地研究了时间约束Ｐｅｔｒｉ网的基础上，提出了一般的状态可达性分析方法。通过讨论任意拓扑结构ＴＣＰＮ′ｓ的可调度分析，克服了以往ＴＣＰＮ′ｓ可达性分析......