冷拉拔对LY12铝合金小棒组织和性能的影响

研究了淬火前不同冷变形量对ＬＹ１２铝合金挤压小棒组织和性能的影响．结果表明：不同的冷拉拔量对ＬＹ１２铝合金组织和性能有明显的影响；适当的冷变形量能减少或消除该合金挤压棒材的粗晶环．作者还对粗晶环的形成原因及其消除方法进行了讨论．     

二维正态分布矩形区域概率质量的局部单调性

研究了二维正态分布矩形区域概率质量当矩形区域中心沿某特定方向平移时的局部单调性。同时给出了一簇矩形区域,其中任一矩形区域的概率质量对正态分布相关系数的绝对值具有局部单调性。     

面向对象的MIS重构

在MIS(Management Information System)的开发中,软件重用是提高开发效率的一条重要途径。本文通过引入对象的表示、变换等,提出了软件重构的概念和方法,它是对软件重用的重要扩充。     

论短跑摆腿技术的特点

近年来，随着田径运动技术水平的提高和发展，短跑的技术也有所变化，更加强调摆腿技术的重要性。摆腿的速度、力量、方向、幅度都直接影响着后蹬的效果。只有加强摆腿技术，才能更好地促进后蹬，只有提高蹬、摆的配合效果，才能更快，更好地提高运动成绩。     

滚齿切削厚度的计算

本文提出了滚齿时基面内切削厚度的计算方法．该方法可作为深入研究滚齿切削过程的理论基础．     

多个矩阵之和与积的特征值关系问题

给出了3个以上矩阵之和与积的特征值之间的若干等价关系.     

Theoretical design for a class of chaotic stream cipher based on nonlinear coupled feedback

1.INTRODUCTION Inordertoimprovethesecurityofchaosencryption system,wecaniteratethechaossystem.Themore chaossystemiterates,themorecomplexitbecomes, andthemoresecurethecorrespondingchaosencryp tionsystembecomes.Zhouetal[1]proposedaclassof chaoticsequencegeneratorinwhichthelinearseg mentnumberincreasedwiththeiterationnumberex ponentially.Withtheincreaseoftheiterationnum ber,thesecurityofthesystemincreaseswhilethe rateofencoding/decodingdecreases.Inaddition,the phase spacegraphhassomedefe…     

Mathematical model of the identical slope surface

The formation of the identical slope surface and the method of construction are discussed. On the basement of building the parameter equation of variable-radius circle family envelope, the frequently used parameter equation of the identical slope surface of the top of taper moving along column helix, horizental arc and line is built. The equation can be used to construct the identical slope surface’s contours, gradient lines and three dimensional figures correctly. Biography: Hu Jian-guo(1953-), male, Professor, research direction: CG and CAD.     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

切削刀具倒棱刃口挤压力的理论计算

根据试验观察．揭出了刀具刃口带负倒棱时的切削模型。在此模型中,刀具刃口 存在一个“金属死区”。以新模型为基础．采用能量法,对高温、高应变率下刀具刃 口的挤压力进行了理论计算。所做工作的特点是：１）在材料变形分析中计入了挤压 层金属绕过刀具刃口时的过剩变形;２）进行有关材料变形与物理特性的计算时,考 虑了温度与应变率的影响。利用新研制的压电式切削测力仪进行验证试验,其结果表 明,理论计算值与实测数据较好一致。