板级互连网关的时间触发消息转发调度方法

针对航天电子综合化系统时间触发通信中跨越骨干网互连和板级芯片间互连的网关转发调度,以保证TT消息间顺序关系和减少网关中等待时间为目标,进行转发调度方法及其网关中等待时间算法的研究.首先分别以减少网关内等待时间和保序为目标给出了不保序和完全保序的TT消息转发调度方法,并重点给出了其网关内等待时间算法;然后提出了考虑应用规...     

机载网络时间触发通信调度设计优化与评价方法

机载网络是航空电子系统实现信息传输与功能综合的关键组成,引入时间触发（TT）机制并安排合理通信调度可以有效保证机载网络实时可靠通信,但需要首先面对多种调度设计方法的选择问题。在总结了时间触发通信过程与特征的基础上,以时间触发以太网为分析对象,给出了基于可满足性模理论（SMT）、混合整数规划（MIP）和启发式算法等不同约束引导下的调度模型,并形成了基于强化学习（RL）的调度方法;从调度设计的求解能力与性能保障角度出发,建立了包括求解时间、可求解规模、传输延迟和调度模式的评价指标。以工业规模网络为研究案例对不同调度方法进行了验证分析,在评价指标的引导下对比分析了各种方法的适用场景,其中SMT方法可支持小规模案例,MIP方法具有明显的TT消息传输和调度求解运算优势,以遗传算法为典型的启发式方法和RL方法可实现大规模案例调度,虽然其TT延迟略高于MIP方法,但速率约束消息延迟优化程度分别达到7.97%和12.35%。在此基础上,进一步探讨了未来航电系统机载网络时间触发通信调度设计优化技术的发展趋势。     

基于重要性抽样的时间触发调度表生成方法

时间触发以太网(TTE)是分布式综合模块化航空电子(DIMA)系统互连中的骨干网络,需要生成无冲突的时间触发(TT)流量调度表。形式化SMT求解可以抽象地表述多种调度约束;但TT流量间,以及TT流量与分区调度之间存在作业链依赖关系,较复杂的约束会降低求解器的效率。将重要性抽样(IS)方法应用于TT调度表的启发式求解,通过统计“尽可能快”(ASAP)求解的尝试偏移量的经验分布,扭转该变量的抽样分布进行迭代寻优;并针对调度的可行性及作业链的及时性,将IS求解分为2个阶段进行。案例研究表明：第1阶段的IS会演化得出易于保证严格周期调度或抖动较小的尝试偏移量分布,第2阶段IS则会进一步根据作业链的最坏总延迟最小准则进行迭代优化,并且对于分区调度与TT流量调度存在或不存在同步关系的场景都具有适用性。     

基于发布订阅架构的在线时间触发调度方法

混合关键性消息的调度优化是其应用于航空电子系统的关键,而日益增加的动态应用更加依赖于时间触发调度的在线求解。现有时间触发网络调度多基于离线调度设计,面对大规模组网应用其调度表生成耗时较长且生成后难以在线调整。为了更快地求解调度表,并适应在线调整需求,结合数据分发系统中的发布/订阅机制,构建了基于发布/订阅架构的时间触发网络模型;在其基础上提出了基于统一时间分片的时间触发调度在线求解算法,将连续时间离散为时间分片,并基于统一长度约束优化调度求解空间,极大地减少了调度表生成时间;进一步,根据时间分片长度度量链路负载情况,在消息调度过程中实现链路负载均衡的目的,在保障时间触发消息传输延迟需求的条件下降低速率约束消息的端到端延迟。实验结果表明：对于包含300条消息的网络,所提算法的求解速度是可满足性模理论求解的数千倍,同时速率约束消息的最坏端到端延迟比可满足性模理论求解降低了17.4%。对于包含2 000条时间触发消息的网络,所提方法生成调度表的时间为100 ms数量级。     

光纤通道时间触发调度方案设计

从稀疏时间模型出发,提出一种光纤通道时间触发调度方案设计。对于采用时间触发机制调度的光纤网络中的周期性任务,根据该设计方案生成的周期调度时刻表,能够有效地避免光纤链路上的数据包竞争,并对该调度方案进行仿真验证。并在此基础上又提出了时间触发和事件触发混合调度机制方案设计,为时间触发在现有光纤通道网络系统中的应用提供一种实现方法和部署依据。     

时间触发以太网同步及调度机制的研究

说明并分析时间触发以太网（1TrE,Time—Triggered—Ethernet）的时间同步机制,对于采用时间触发机制调度的周期性任务,提出生成周期调度时刻表的方法,利用方法可以根据离线生成的调度时刻表进行调度,也可以动态地将通信任务加入或撤出调度时刻表,调度时刻袁的设计避免时间触发的数据包争用物理链路。构造相应的网络通信场景,通过生成调度时刻表的算例与仿真结果进行了验证。     

基于时间触发架构的系统通信设计应用研究

本文详细介绍了基于时间触发架构的应用系统通信模型设计方法：结合某型飞机综合数据管理系统（IDMS）应用功能的通信需求,利用“PDevelopmentCluster系统设计工具,构建基于时间触发协议（TTP）的IDMS通信系统仿真模型。TTP精确的全局时钟同步可以为系统提供精确的时钟和单元之间的精确同步,协议的容错机制为...     

基于多Agent的柔性作业车间动态调度方法研究

为提高调度策略对工件到达密度变化的适应能力,对柔性作业车间内的动态调度方法进行了研究。首先根据调研结果以及Agent建模方法构建了基于多Agent系统的柔性制造动态调度系统;然后结合柔性制造背景下的复杂结构件加工特点对调度过程中任务分解、机床选择、任务分配3个步骤的运行机制进行了改进,形成了基于工序块的任务分解机制、基于加工精度的机床选择机制以及基于调度规则的动态时间窗调度方法;最后通过试验验证了该动态调度方法在工件到达密度变化场景下的可行性,对当前实际的柔性作业车间生产活动具有一定的指导意义。     

IMA双层调度算法中的任务可调度性分析方法

任务可调度性分析是综合模块化航电(IMA)系统双层调度算法研究中的一个关键问题。针对这个问题,首先剖析了单分区调度系统中任务精确响应时间计算方法所具有的计算复杂度高以及计算函数不连续等局限性;然后提出了一种计算任务响应时间上限的快速方法,分析该计算方法的推导过程,得到了双层调度情况下任务响应时间上限的计算方法,并由此推演出任务可调度性分析方法和分区参数设计方法;最后通过计算机仿真实验,分别使用定量的响应时间上限相对误差法以及定性的资源放大分析法考察了系统任务数量以及系统利用率对文中提出的响应时间上限计算方法精度的影响程度,并得到了该方法取得较高应用精度的可行性条件。     

Satellite range scheduling with the priority constraint: An improved genetic algorithm using a station ID encoding method

Satellite range scheduling with the priority constraint is one of the most important problems in the field of satellite operation.This paper proposes a station coding based genetic algorithm to solve this problem,which adopts a new chromosome encoding method that arranges tasks according to the ground station ID.The new encoding method contributes to reducing the complexity in conflict checking and resolving,and helps to improve the ability to find optimal resolutions.Three different selection operators are designed to match the new encoding strategy,namely random selection,greedy selection,and roulette selection.To demonstrate the benefits of the improved genetic algorithm,a basic genetic algorithm is designed in which two cross operators are presented,a single-point crossover and a multi-point crossover.For the purpose of algorithm test and analysis,a problem-generating program is designed,which can simulate problems by modeling features encountered in real-world problems.Based on the problem generator,computational results and analysis are made and illustrated for the scheduling of multiple ground stations.     

高超声速流场与结构温度场一体化计算方法

在对国内外流场与结构温度场一体化计算方法的不足进行细致讨论的基础上,提出了一种高超声速流场与结构温度场一体化计算方法.采用统一的积分方程组作为气动加热和结构传热物理过程的控制方程,对整个物理场进行统一的迎风格式有限体积方法离散,给出了流场与结构交界面上温度、温度梯度及导热系数等参数的计算方法.在时间推进方面,定常状态采用多步龙格库塔迭代格式,非定常状态则采用双时间步长方法.采用发展的一体化算法对二维圆管模型的气动加热和结构传热问题进行了数值模拟.结果表明:2s时驻点物面温度为390K,与其他文献的误差在3.1K范围内;稳定时驻点物面温度为647K.      

集群编队条件下通导一体高精度时间同步方法

针对集群编队条件下对高精度时间同步的需求，对通导一体高精度时间同步方法进行了研究，将卫星导航系统与数据链系统进行深度融合，提出了动基座条件下基于卫星导航载波差分算法的节点间高精度时间同步算法。该算法通过协同时间驯服的方式来抑制两次定位间隔间受钟漂影响导致的节点间时间同步误差发散以及节点间时钟修正不同步导致的时间同步误差，提升了编队组网条件下节点间的时间同步精度。最后,通过仿真对算法进行了验证。结果表明，时空同步精度可以达到1ns，可有力支撑未来集群编队作战、高精度协同探测、高精度协同制导等典型场景下对节点间高精度时间同步的需求。     

一种城市公交车调度的优化方案模型

本文通过对公交线路的客流调查和运营资料数据的修正和深入分析，概括出公交调度中广泛在的3个规律，据此建立多目标优化的数学模型。并得出操作性很强的公并车调度方案。     

涡轮叶顶间隙密封冷却综合特性评估方法

为了评估带气膜冷却涡轮叶顶间隙的密封和冷却综合特性,在强化传热综合因子中引入气膜冷却效率,推导出了密封冷却综合因子表达式.其物理含义为：主流在一定功率作用并喷入一定量冷气时,被评估的传热方式与基准传热方式传热性能比.数值模拟获得了动叶顶部隔板迷宫间隙气膜冷却和密封特性数据,利用该因子对密封冷却综合特性进行了评估.结果表明：在研究的吹风比内,迷宫结构的冷却效果相比于平叶顶间隙有所改进,随着吹风比减小,改进程度先增加后减小;密封效果只有在高吹风比时有所改进.密封冷却综合特性都得到了改进,吹风比越小,密封冷却综合特性越好.     

Hybrid partition- and network-level scheduling design for distributed integrated modular avionics systems

Distributed Integrated Modular Avionics (DIMA) develops from Integrated Modular Avionics (IMA) and realizes distributed integration of multiple sub-function areas. Time-triggered network provides effective support for time synchronization and information coordination in DIMA systems. However, inconsistency between processing resources and communication network destroys the time determinism benefiting from partitions and time-triggered mechanism. To ensure such time determinism and achieve guaranteed real-time performance, system design should collectively provide a global communication scheme for messages in network domain and a corresponding execution scheme for partitions in processing domain. This paper firstly establishes a general DIMA model which coordinates partitioned processing and time-triggered communication, and then proposes a hybrid scheduling algorithm using Mixed Integer Programming to produce feasible system schemes. Furthermore, incrementally integrating new functions causes upgrades or reconfigurations of DIMA systems and will generate integration cost. To control such cost, this paper further develops an optimization algorithm based on Maximum Satisfiability Problem and guarantees that the scheduling design for upgraded DIMA systems inherit their original schemes as much as possible. Finally, two typical cases, including a simple fully connected DIMA system case and an industrial DIMA system case, are constructed to illustrate our DIMA model and validate the effectiveness of our hybrid scheduling algorithms.     

综合飞行/矢量推进系统控制器分离方法

详细阐述了综合飞行/矢量推进系统控制器分离问题,并给出了采用解析法求解控制器分离问题的步骤.以解析的控制器分离为基础,提出了一种基于非线性最小二乘方法的控制器分离的优化方案,该优化方案非常有效并且很便于实现.利用此优化方案,求取了一个最优的控制器分离.非线性仿真实验表明:最优分离子控制器几乎达到了同集中控制器一样的闭环性能,所讨论的控制器分离方案是相当合适和成功的.      

Feedrate scheduling method for constant peak cutting force in five-axis flank milling process

It is extremely important to select appropriate feedrates for the stable machining of parts with ruled surface in modern aviation industrial applications. However, the current studies take too much time to achieve this goal. Therefore, this paper presents an efficient feedrate optimization method for constant peak cutting force in five-axis flank milling process. The solution method of the instantaneous undeformed chip thickness(IUCT) is proposed using least squares theory with the cutter entry ...