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

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

美国英语非正式制度变迁的路径分析

美国英语是英语语言的一种区域性变体。自17世纪英语移植到北美,它与其他民族语言不断融合并追求创新。到了19世纪,统一的民族语言——美国英语形成了。可以说,美国英语的变迁走出了一条独特的发展道路。依据制度经济学的理论,美国英语的非制度变迁可以看作是美国经济增长的一个重要因素。因此,研究美国英语变迁的路径是十分必要的。     

粗糙度对涡轮叶片流动转捩及传热特性的影响

为研究表面粗糙度对涡轮叶片流动转捩以及传热特性的影响,在自行开发的CFD程序平台上提出了对γ-Re_θ转捩模型的粗糙度修正方法,并参考平板绕流和涡轮叶栅的实验数据对该方法进行验证。考虑粗糙度效应的影响,对Mark Ⅱ涡轮导叶5411工况进行数值模拟,得到如下结论:表面粗糙度对层流边界层换热系数影响不大,而对湍流边界层则有较大影响,进而显著改变壁面温度分布;与光滑壁面相比,5μm的等效沙粒粗糙度使吸力面湍流区域壁面温度升高约5.7K,100μm粗糙度使壁面温度升高28.4 K,增幅达5%左右;当壁面粗糙度较低时,激波干涉对吸力面边界层的转捩起主导作用,而当粗糙度大于某临界值时,其作用会使转捩位置突然变化,本算例中该临界值近似为150μm。      

严格随机正则(3,s)-SAT模型及其相变现象

研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则（3,s）-SAT问题,并给出了该问题的实例产生模型--SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则（3,s）-SAT问题相变点的上界,即当变元规模N较大且变元出现次数s>11时,严格随机正则（3,s）-SAT实例是高概率不可满足的。实验结果表明：由SRR模型所生成的随机实例中,当N>60且s>11时,所有的（3,s）-SAT实例均是不可满足的,而当N>150且s<11时,所有的（3,s）-SAT实例均是可满足的,即严格随机正则（3,s）-SAT实例的相变点位于s=11处,且在s=11处（子句变元比为11/3）的严格随机正则（3,s）-SAT实例,比在相变点（子句变元比）4.267处同规模的均匀随机3-SAT实例更难求解,因此,SRR模型可以很方便地在s=11处构造难解的随机3-SAT实例。     

低雷诺数分布式螺旋桨滑流气动影响

以高空长航时（HALE）太阳能无人机（UAVs）研究为背景,采用基于混合网格技术及k-k_L-ω转捩模型求解雷诺平均Navier-Stokes（RANS）方程的多重参考系（MRF）方法,对3种螺旋桨-机翼构型的低雷诺数气动特性进行了高精度准定常数值模拟,在等拉力前提条件下,通过对比机翼气动力系数及表面流场结构特征分析了分布式螺旋桨（DEP）滑流对FX63-137机翼的气动影响。研究表明：螺旋桨滑流影响使得桨后总压及流速显著增大,这是机翼升力增大的主要原因,但同时机翼阻力特性急剧恶化,升阻比反而降低;螺旋桨滑流向机翼边界层内注入丰富湍动能从而抑制流动分离,扩大机翼表面湍流范围及附着流动区域;分布式螺旋桨滑流与低雷诺数机翼表面复杂流动相互作用显著,主要表现为滑流区域边界展向涡结构的产生。     

研究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.     

二元收扩喷管气动方案优化设计

为掌握二元收扩喷管气动特性和设计方法,通过数值模拟方法对采用超椭圆方程进行圆转方过渡的小宽高比二元收扩喷管进行研究。计算分析了喉道宽高比、圆转方段长度、收敛调节片长度及扩张调节片长度4个参数对二元收扩喷管气动性能的影响,通过对上述4个参数的优化得出了综合性能较优的二元收扩喷管气动方案。研究结果表明:经过适当优化,二元收扩喷管能够满足工程应用要求,同时,鉴于其在隐身和矢量推进等方面的优势,有必要对其开展更加深入地研究。     

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

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