嵌入式多核操作系统确定性研究

为解决嵌入式多核操作系统确定性问题,详细阐述了计算确定性,重点分析了多核结构引入的不确定性问题。通过研究嵌入式多核操作系统的结构,从共享存储的确定性访问、确定性任务调度、确定性通信等方面提出了解决多核结构带来的不确定性问题的方法。     

TTE网络流量转换策略及其延时性能保障调度算法研究

时间触发以太网（TTE）通过精确的全局时钟同步,使时间触发（TT）消息具有了严格的时间确定性。当系统同步精度降低时,TT消息的实时性也将严重受到影响。利用TTE交换机的流量类型转换功能,提出了一种基于消息时间窗检测的转换策略（TT-TWD）。该策略应用于TT流量向速率限制（RC）流量的转换过程,能够避免在系统同步精度降低时,TT消息出现丢包或不可接受延迟的情况。为保障该策略下网络流量的实时性,设计了一种基于流量转换策略的优先级调度算法（PTCTS）。运用网络演算理论对PTCTS算法的实时性进行了分析,并与先入先出（FIFO）算法结果对比,证明了PTCTS算法有效地减小了由TT流量转换而来的RC流量的延迟上界,同时保证了原始RC流量端到端延迟的确定性。     

确定性的遗传算法

针对遗传算法效率普遍较低的缺陷，采用了确定性交叉和确定性变异的策略，同时提出了一种新的遗传算子－Hamming-decreasor算子，以加快速传算法中码值相关相差较小而Hamming距离很大的二进制码串之间的转换，在此基础上，构建了一个新的遗传算法－确定性的遗传算法，初步的数值试验表明，新算法是有效的和鲁棒的。     

开放式FADEC系统的数据总线研究

研究了容错数据总线这个从集中式向开放式架构过渡的关键技术.在深入研究确定性、一致性、开放性、拓扑结构、调度策略、容错机制和传输带宽等开放式FADEC(全权限数字电子控制)数据总线关键特征的基础上,分析了总线数据传输的时间不确定性问题.从性能、可靠性和可用性的角度深入研究了TTP/C(time-triggered protocol/automotive class C),ARINC659,TTCAN(time-triggered controller area network)和FlexRay这4种时间触发架构数据总线的关键特征.研究结果表明:TTP/C总线是开放式FADEC的最佳选择,最后提出了一种基于TTP/C总线的航空发动机模块化DEEC(digital electronic engine controller)硬件架构.