人在回路电视制导武器最佳投射域建模与仿真

为提高人在回路电视制导武器命中精度,必须选择合适的武器投射域。分析了影响武器投射域的主要因素和约束条件,建立了人在回路控制的电视制导武器防区外投射的数学模型。根据该模型,提出了一种基于图论的防区外武器最佳投射域算法,并对算法进行了仿真分析。仿真结果表明:该算法能够根据武器制导的约束条件找到满足武器投射的最佳投射域,该模型的建立和最佳投射域算法的提出为该类型电视制导武器的作战使用自动规划提供了依据和参考。     

关于R（4,4,n）型图的优美性

讨论了R（4,4,n）型图的优美性,用构造性的方法给出了R（4,4,n）型图的优美标号,证明了图R（4,2,2m）是交错图。     

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

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

基于图染色理论的并行测试任务调度算法

目前的自动测试系统大多数采用串行测试的工作方式,测试效率很低.针对这个问题,建立了基于图论的测试任务关系模型,用"图"来描述测试任务占用仪器资源的情况,将测试任务调度的工程问题转化为图论中的数学问题.在测试任务关系模型的基础上,提出了两个任务调度算法:CTG算法和CTG-T算法.对于多个测试任务,利用这两个算法可以得到并行度最大或者测试时间最短的任务分组方案,能有效地实现并行测试.这两个算法是基于图的染色理论得到的,对其正确性进行了理论分析和实例仿真.两个算法已经在实际系统中得到了实验验证,结果表明能够大大提高自动测试系统的测试效率.      

研究Ramsey问题的计算机方法

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

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

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

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.     

整流罩分离过程中运动位姿测量技术研究

针对整流罩分离过程中的空间目标三维位姿跟踪测量,设计了双目视觉测量系统,完成整流罩关键点的空间三维坐标测量。基于各特征点的图像处理、识别及跟踪测量算法,结合极线约束匹配,实现目标点的精确立体匹配,可完成不同目标特征点的三维空间坐标解算,进而获取不同运动姿态时的速度、加速度等关键信息,为整流罩机械设计、动力学设计提供参考依据。     

结构方程模型在民用机场旅客满意度中的应用实例分析

基于结构方程模型,对国内机场旅客满意度进行实证研究,以期发现影响机场旅客满意度的直接或间接因素.通过构建理论假设,形成机场旅客满意度结构方程模型路径图;结合样本数据对模型进行拟合、检验和修正,建立了相应的测量模型和结构模型.研究结果表明,感知价值、服务质量和企业形象都对机场旅客满意度有直接显著的影响,且四者之间的关联性...     

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

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