Justifying and Proving in the Cabri Environment

This paper describes a long term teaching experiment carried out with students from the 9th–10th grades. Geometrical constructions in the Cabri environment were selected as a specific field of experience, within which the sense of theory may emerge. The idea of construction constitutes the key to accessing the idea of theorem, moving from a generic idea of justification towards the idea of validating within a geometrical system. The study aims at clarifying the role of the Cabri environment in this teaching-learning processes: analysis of protocols shows the possible evolution of a justification into a proof but at the same time indicates that this evolution is not expected to be simple and spontaneous.This revised version was published online in September 2005 with corrections to the Cover Date.     

Using Fox Derivatives in Treating Groups of the Form F/[R′, F]

For a factor group with respect to periodic part of a group of the form F/[R′, F], an embedding in the matrix group is defined. The criteria for a matrix to belong to an image of this group and for elements to be conjugate are specified. Some statements having a direct bearing on groups of the form in question are proved. Application of the results obtained allows us to refine the answer in [7] to a question by O. Chapuis concerning the universal classification of ∀-free soluble groups with two generators. Supported by RFBR grant No. 02-01-00293 and by FP “Universities of Russia” grant No. UR.04.01.227. __________ Translated from Algebra i Logika, Vol. 45, No. 1, pp. 114–125, January–February, 2006.     

球共振声学法测量普适气体常数

设计和建立了高精度的球共振声学法气体音速测量装置,分析了实际的球共鸣器的结构对共振频率的影响,并给予了相应的修正.测量了温度为29315K,压力在02MPa—08MPa范围内氩气的音速,并根据音速数据确定了普适气体常数.实验温度、压力和普适气体常数的不确定度分别为±14mK,±2kPa和±00036%.最终确定的普适气体常数R为831439±000030J·mol-1·K-1. 关键词： 普适气体常数 音速 球共振器 声学法     

Frames with Transitive Structures

A classical result in the theory of uniform spaces is that any topological space with a base of clopen sets admits a uniformity with a transitive base and the uniform topology of such a space has a base of clopen sets. This paper presents a pointfree generalization of this, both to uniform and quasi-uniform frames, together with various properties concerning total boundedness, compactifications and completions.     

矩阵系统扰动后的稳定性问题

本文证明：若矩阵系统是广义各态历经的，则系统是稳定的；若矩阵系统是善真的，则系统是条件稳定的。     

非线性动力系统的规范形和余维3退化分叉

本文里我们利用矩阵表示法计算了具有Z_(2~-)对称性时非线性动力系统的高阶规范形,求出了余维2退化和余维3退化情况下相应规范形的普适开折。最后利用所得到的规范形和普适开折讨论了非线性动力系统的余维3退化分叉。     

Buoyancy Sustained by Viscous Dissipation

The quasi-parallel regime of a Darcy–Boussinesq boundary-layer flow over a permeable vertical flat plate adjacent to a fluid saturated porous medium is considered. Quasi-parallel means here a plane flow with a constant transversal velocity v=–v ₀ directed perpendicularly towards the vertical surface, where a lateral suction with the same velocity –v ₀ is applied. The plate is held at a constant temperature T _w which coincides with the ambient temperature T of the fluid. The heat released by viscous dissipation induces a density gradient in the fluid. Thus, although T _w=T , a thermal convection occurs. The steady regime of this self-sustaining buoyant flow has been examined in detail. Wall jet-like profiles with a continuous but finite spectrum of the momentum flow have been found. These self-sustaining buoyant jets show a universal behavior, that is, there exist certain length, velocity and temperature scales such that the flow characteristics become independent of the (constant) material properties of the fluid and the porous medium as well.     

Triple Systems are Eulerian

An Euler tour of a hypergraph (also called a rank‐2 universal cycle or 1‐overlap cycle in the context of designs) is a closed walk that traverses every edge exactly once. In this paper, using a graph‐theoretic approach, we prove that every triple system with at least two triples is eulerian, that is, it admits an Euler tour. Horan and Hurlbert have previously shown that for every admissible order >3, there exists a Steiner triple system with an Euler tour, while Dewar and Stevens have proved that every cyclic Steiner triple system of order >3 and every cyclic twofold triple system admits an Euler tour.     

经典N=2李共形超代数的导子和第二上同调群

研究了经典N=2李共形超代数的导子和第二上同调群的结构,并应用第二上同调群的结果确定了该李共形超代数的泛中心扩张.     

Universal mappings for certain classes of operators and polynomials between Banach spaces

A well‐known result of J. Lindenstrauss and A. Pełczyński (1968) gives the existence of a universal non‐weakly compact operator between Banach spaces. We show the existence of universal non‐Rosenthal, non‐limited, and non‐Grothendieck operators. We also prove that there does not exist a universal non‐Dunford–Pettis operator, but there is a universal class of non‐Dunford–Pettis operators. Moreover, we show that, for several classes of polynomials between Banach spaces, including the non‐weakly compact polynomials, there does not exist a universal polynomial.