含有文字序逻辑程序的一种辩论语义

有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序。     

基于程序集成及响应面模型的电机冷却性能优化

建立某60 kW电动汽车用永磁同步电机模型,理论分析得到最佳流道条数以及流道参数取值范围。以冷却流道宽度a、高度b作为设计变量,电机温升和流道进出口压差作为目标函数,通过Isight集成网格变形软件Sculptor和CFD计算软件Fluent,应用拉丁超立方设计方法创建样本点,并进行数据的自动提交仿真计算。根据得到的数据建立响应面模型,采用多岛遗传算法对近似模型寻优。优化后,电机温升和进出口压差分别下降了6.01%、6.81%,电机的性能和安全运行得到了保障。     

21世纪初主要国家的航天发展战略及其影响

论述了 2 1世纪初 ,世界主要航天国家 (如美国、欧洲、俄罗斯、日本和印度 )的航天发展战略与政策 ,包括航天计划、重点领域和投资情况 ;分析了上述国家航天政策调整对本国和对世界航天发展的影响 ,最后 ,对我国我国航天工业的发展提出了建议。     

一种通用BOOTLOADER架构研究

随着嵌入式系统的不断发展,BOOTLOADER程序开发和移植工作的复杂度越来越高,严重影响了嵌入式系统的开发进度.通过对BOOTLOADER程序引导过程的深入分析,从功能实现、运行过程和代码结构3方面展开研究,提出了一种通用BOOTLOADER架构,并在PowerPC平台上完成了架构的实现,验证了其正确性和易用性,能够有效地提高BOOTLOADER程序的开发和移植效率,进而缩短整个嵌入式系统的开发周期,对BOOTLOADER程序的开发和移植工作具有指导性意义.     

Locally generalised multi-agent reinforcement learning for demand and capacity balancing with customised neural networks

Reinforcement Learning (RL) techniques are being studied to solve the Demand and Capacity Balancing (DCB) problems to fully exploit their computational performance. A locally generalised Multi-Agent Reinforcement Learning (MARL) for real-world DCB problems is proposed. The proposed method can deploy trained agents directly to unseen scenarios in a specific Air Traffic Flow Management (ATFM) region to quickly obtain a satisfactory solution. In this method, agents of all flights in a scenario form a multi-agent decision-making system based on partial observation. The trained agent with the customised neural network can be deployed directly on the corresponding flight, allowing it to solve the DCB problem jointly. A cooperation coefficient is introduced in the reward function, which is used to adjust the agent’s cooperation preference in a multi-agent system, thereby controlling the distribution of flight delay time allocation. A multi-iteration mechanism is designed for the DCB decision-making framework to deal with problems arising from non-stationarity in MARL and to ensure that all hotspots are eliminated. Experiments based on large-scale high-complexity real-world scenarios are conducted to verify the effectiveness and efficiency of the method. From a statistical point of view, it is proven that the proposed method is generalised within the scope of the flights and sectors of interest, and its optimisation performance outperforms the standard computer-assisted slot allocation and state-of-the-art RL-based DCB methods. The sensitivity analysis preliminarily reveals the effect of the cooperation coefficient on delay time allocation.     

400 kW空间堆布雷顿循环系统运行特性分析

针对百千瓦级大功率航天任务需求,基于Simulink平台开展空间核反应堆直接布雷顿循环系统特性分析研究。根据直接布雷顿循环反应堆系统设计方案,通过对系统中各个关键设备的模块化建模,开发反应堆系统一维系统分析程序,实现了反应堆系统稳态及动态响应特性分析。重点分析了稳态特性、阶跃引入反应性、反应堆升功率和持续步进引入反应性等瞬态工况下的动态特性。相关模拟结果能够为未来大功率空间反应堆运行及安全特性分析提供支撑。     

军用飞机维修大纲修订流程研究

本文首先论述了维修大纲修订的必要性和实际状况,接着介绍了B777、Y8和某型军机的维修大纲修订情况,以及波音的维修大纲修订实施程序,最后重点阐述了如何从实际情况出发,并借鉴波音的经验,建立一套适用于我国军用飞机维修大纲修订工作的实施流程,以有效地指导该项工作,提高军用飞机的可用度,降低维修成本。