研究Ramsey问题的计算机方法

本文阐述了一个构造Ｒａｍｓｅｙ图的算法，它可以作为寻找Ｒａｍｓｅｙ数的一个辅助工具，算法采用回溯方法，搜索极大独立集组成的堆栈。并给出了寻找Ｒａｍｓｅｙ数的一种具体的步骤。     

Dynamic airspace configuration method based on a weighted graph model

This paper proposes a new method for dynamic airspace configuration based on a weighted graph model. The method begins with the construction of an undirected graph for the given airspace, where the vertices represent those key points such as airports, waypoints, and the edges represent those air routes. Those vertices are used as the sites of Voronoi diagram, which divides the airspace into units called as cells. Then, aircraft counts of both each cell and of each air-route are computed. Thus, by assigning both the vertices and the edges with those aircraft counts, a weighted graph model comes into being. Accordingly the airspace configuration problem is described as a weighted graph partitioning problem. Then, the problem is solved by a graph partitioning algorithm, which is a mixture of general weighted graph cuts algorithm, an optimal dynamic load balancing algorithm and a heuristic algorithm. After the cuts algorithm partitions the model into sub-graphs, the load balancing algorithm together with the heuristic algorithm transfers aircraft counts to balance workload among sub-graphs. Lastly, airspace configuration is completed by determining the sector boundaries. The simulation result shows that the designed sectors satisfy not only workload balancing condition, but also the constraints such as convexity, connectivity, as well as minimum distance constraint.     

基于背景网格簇的动网格生成方法

提出了基于背景网格簇实现网格变形的新方法。背景网格簇由任一内边界节点和远场边界角点生成的背景网格构成,并随边界运动而变化。通过保持计算网格节点在每一个背景网格中所在单元的面积坐标不变(三维时保持体积坐标不变)而求出一组期望位置,加权平均该组期望位置,确定出该计算网格节点的新位置。其中权值与内边界节点和计算网格节点距离的倒数相关。新方法引入的背景网格簇可以有效地改进单个背景网格的不足之处。算例结果表明:基于背景网格簇的动网格生成方法实现简单,与弹簧近似法相比,新方法因不需要迭代求解方程组而非常高效,且拥有更强的网格变形能力;与Delaunay图映射法相比,该方法背景网格的单元个数极少,因此易于定位,且不会出现背景网格单元交叉的现象,网格变形能力更强,变形后的网格质量更好。     

基于拜占庭容错体系构架的航天器控制系统测试性设计与分析

摘要： 飞行控制系统作为航天飞行器的关键机载系统,其运行情况直接关系到飞行任务的成败.通过良好的测试性设计,可以提高系统的可靠性和安全性,减少维修人力及其他保障资源,降低寿命周期费用.对拜占庭容错体系结构的航天器控制系统和分层多信号流图模型的测试性设计和建模方法进行了详细的叙述,并对基于拜占庭容错体系结构的航天器控制系统进行了测试性建模,通过测试性建模和分析系统（TMAS软件）验证控制系统测试性设计的正确性和有效性.     

军用飞机PHM系统一体化设计架构分析

军用飞机故障预测与健康管理（PHM）系统设计与工程应用存在设计标准缺失、复杂度高、准确率低等问题。通过对PHM系统数据、结构、功能维度的设计需求分析,提出三维多相迭代设计准则;基于三维多相设计准则对PHM系统设计流程进行梳理;提出基于软硬件协同加速的健康管理实时化、基于知识图谱的知识逻辑可视化、基于MBSE的PHM系统模型化的三化一体设计架构,并通过多领域模型联合仿真进行验证。结果表明：该设计架构实现了5.63倍的加速计算效果与82.7%的计算功耗缩减,提升了PHM系统知识与设计需求管理的可追溯性。     

基于领域知识图谱的卫星故障辅助诊断与处置方法

本文重点针对传统故障诊断方法能力不足的缺点，开展基于领域知识图谱的卫星故障辅助诊断与处置方法研究，突破卫星故障领域知识图谱构建关键技术，关联固化卫星系统多维专家知识，构建卫星故障领域知识图谱，进而实现结合卫星故障知识信息的卫星故障推理分析和辅助诊断处置，提升复杂故障场景下的卫星故障诊断效率与处置能力。本文提出的方法为保障大气环境监测卫星的在轨长期稳定运行，提供了一种新的故障辅助诊断与处置措施。     

基于知识图谱的遥感图像检索定位方法

为了快速、准确地在海量遥感图像库中检索出所需的遥感图像资源，提出了一种基于知识图谱的遥感图像检索定位方法。为了充分利用遥感图像中所蕴含的地理语义信息，方法中使用知识图谱节点代表遥感图像，根据图像间的相似程度和地理位置在节点间建立关系。通过知识图谱缩小图像检索空间，加快检索速度，准确地定位遥感图像所示区域的地理信息，并返回最相似的图像。将此方法应用于卫星自主导航领域中，与传统的线性检索相比，图像检索的时间缩短了50%，准确率也得到提高。     

一种低数据传输的多机器人实时视觉SLAM

针对多机器人视觉SLAM在实际应用中带宽受限的问题,设计了一种低数据传输的多机器人实时视觉SLAM系统.系统中引入了NetVLAD神经网络模型,通过改进NetVLAD降低了多机器人回环检测的计算资源占用,提高了回环检测的实时性.提出了一种针对描述子缺失情况下的特征匹配算法,提高了回环检测与相对量测的鲁棒性,并提出了一种增量式多机器人位姿图共享和优化方法.最后,通过在KITTI数据集进行测试,验证了该SLAM系统能有效减少多机器人通信过程中的数据传输,具有与单机器人SLAM相当的定位精度和实时性.     

弹载遥测系统模块划分综合分析方法研究

针对系统模块化设计过程中存在的模块划分问题,提出对数据流图进行抽象化建模,得到抽象数据流图,并对抽象数据流图进行规范化定义,描述在抽象数据流图基础上进行模块划分的规则.针对具体的弹载遥测系统问题,利用抽象数据流图和模糊聚类两种方法进行模块划分;然后计算模块之间总耦合度,得到相对统一的模块划分方案;最后通过对系统的分析得...     

A novel combination belief rule base model for mechanical equipment fault diagnosis

Due to the excellent performance in complex systems modeling under small samples and uncertainty, Belief Rule Base(BRB) expert system has been widely applied in fault diagnosis. However, the fault diagnosis process for complex mechanical equipment normally needs multiple attributes, which can lead to the rule number explosion problem in BRB, and limit the efficiency and accuracy. To solve this problem, a novel Combination Belief Rule Base(C-BRB) model based on Directed Acyclic Graph(DAG) structu...