研究Ramsey问题的计算机方法

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

电力部门图形处理系统的设计与实现

在研究背景的基础上，结合电力图的特点，讨论了以电气图符为核心的图形处理系统的设计与实现，解决了其中的一些关键性技术问题。     

计算机分析加快了波纹喇叭设计

当波纹喇叭天线的张角、轴长和直径给出后,利用写成BASIC语言的计算机程序可以很快地预知天线辐射方向图。     

大比例尺地图图幅编号的计算

根据飞行任务和航行情报工作的需要,在需使用大比例尺地图时,必须知道所在地点大比例尺地图的图幅编号。为迅速、准确地算出大比例尺地图的图幅编号,本文介绍了一种运用公式计算的新方法。计算结果,经验证无误。     

总统亲历俄军崛起——21世纪初俄军发展现状与特点（上）

总统上天入海 俄罗斯总统普京驾乘图-160远程战略轰炸机翱翔天际，犹如一次梦幻之旅。     

静止卫星天线测量中方向图与服务区的绘图匹配

1 前言 在普通天线测量中,只要给出天线在天线坐标系内各方向的辐射强度就可以了。但对于静止卫星,它的服务区是地球上的有限区域,只给出天线坐标系内的辐射方向图,不能和地球上的经纬度相对应。最直观、最适用的方法是把辐射方向图以等值线表示并和服务区画在一起。这就需要光栅扫描测量以获得等值线,同时需要把天线测量数据和服务区位置数据统一起来。本文即要说明统一两组数据所要进行的转换。     

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

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