嵌入式实时操作系统VxWorks在惯性导航系统中的应用

详细介绍了嵌入式实时操作系统VxWorks的性能特点，叙述了基于VxWorks操作系统的开发过程和在导航接口机中的应用实例，提出了现行惯导系统软件从汇编语言到OS，高级语言的必要性和可能性，从而在提升软件的可维护性，可测试性和可靠性的同时，充分的发挥导航计算机的性能，以适应日益复杂的导航计算要求。     

Branched Coverings and Embedded Surfaces in Four-manifolds

In this paper, we get a lower bound on the genera of surfaces re, presenting certain divisible classes in some 4-manifold X with Hi（X; Z） finite.     

Homology classes that can be represented by embedded spheres in rational surfaces

The problem of embedding spheres in rational surfaces CP~2#nCP~2 is studied.For homology classes u=(b_1+k, b_2,…, b_n) with positive self-intersection numbers, anecessary and sufficient condition to detect its representability is given when k≤5.     

Extending Circle Mappings to the Annulus

We show that any monotone degree one C mapping of the circle can be realized as the induced mapping on the boundary by a C area preserving diffeomorphism of the open annulus. The circle mapping may have critical points, allowing the possibility of Denjoy behavior on the boundary.     

镶嵌用固体润滑剂对锡青铜轴承摩擦学性能影响的研究

用端面摩擦试验机考察了几种镶嵌用固体润滑剂及添加剂在常温条件下对锡青铜轴承摩擦磨损性能的影响,并用X-射线衍射法、俄歇电子能谱法分析了摩擦表面转移膜的化学组成和结合情况。结果表明,几种固体润滑剂的嵌入均可提高轴承的耐磨性,并对减小摩擦系数有一定的作用;摩擦表面固体润滑剂转移膜的形成能够有效地减少摩擦副表面间的粘着现象,是改善轴承摩擦磨损性能的主要原因。     

On critical values of numerical parameters characterizing intersections of embedded sets

To study intersections of embedded bounded closed sets in Banach space, a numerical parameter was introduced earlier; in a certain sense, this parameter describes the deviation of the shape of a set from that of a sphere. Critical values of this parameter for some classes of Banach spaces are determined, a new numerical parameter serving the same purpose is introduced, and the relation between the two parameters is examined. Translated fromMatematicheskie Zametki, Vol. 68, No. 2, pp. 303–310, August, 2000.     

On finitely embedded rings

A result of Ginn and Moss asserts that a left and right noetherian ring with essential right socle is left and right artinian. There are examples of right finitely embedded rings with ACC on left and right annihilators which are not artinian. Motivated by this, it was shown by Faith that a commutative, finitely embedded ring with ACC on annihilators (and square-free socle) is artinian (quasi-Frobenius). A ring R is called right minsymmetric if, whenever k R is a simple right ideal of R, then R k is also simple. In this paper we show that a right noetherian right minsymmetric ring with essential right socle is right artinian. As a consequence we show that a ring is quasi-Frobenius if and only if it is a right and left mininjective, right finitely embedded ring with ACC on right annihilators. This extends the known work in the artinian case, and also extends Faith's result to the non-commutative case.     

Zonal PANS: evaluation of different treatments of the RANS–LES interface

The partially Reynolds-averaged Navier–Stokes (PANS) model can be used to simulate turbulent flows either as RANS, large eddy simulation (LES) or DNS. Its main parameter is f_k whose physical meaning is the ratio of the modelled to the total turbulent kinetic energy. In RANS f_k = 1, in DNS f_k = 0 and in LES f_k takes values between 0 and 1. Three different ways of prescribing f_k are evaluated for decaying grid turbulence and fully developed channel flow: f_k = 0.4, f_k = k^3/2 _tot/? and, from its definition, f_k = k/k_tot where k_tot is the sum of the modelled, k, and resolved, k_res, turbulent kinetic energy. It is found that the f_k = 0.4 gives the best results. In Girimaji and Wallin, a method was proposed to include the effect of the gradient of f_k. This approach is used at RANS– LES interface in the present study. Four different interface models are evaluated in fully developed channel flow and embedded LES of channel flow: in both cases, PANS is used as a zonal model with f_k = 1 in the unsteady RANS (URANS) region and f_k = 0.4 in the LES region. In fully developed channel flow, the RANS– LES interface is parallel to the wall (horizontal) and in embedded LES, it is parallel to the inlet (vertical). The importance of the location of the horizontal interface in fully developed channel flow is also investigated. It is found that the location – and the choice of the treatment at the interface – may be critical at low Reynolds number or if the interface is placed too close to the wall. The reason is that the modelled turbulent shear stress at the interface is large and hence the relative strength of the resolved turbulence is small. In RANS, the turbulent viscosity – and consequently also the modelled Reynolds shear stress – is only weakly dependent on Reynolds number. It is found in the present work that it also applies in the URANS region.