高精度星形轮廓面数控加工方法研究

本文提出了计算星形轮廓面数控加工刀位的插补方法和刀具半径补偿方法，以及决定加工方法误差大小的走刀步长和刀具半径的确定准则，从而建立了该曲面的加工方法其理论加工精度为１μｍ．进给速度相对误差小于１％，在３３ＭＨＺ８０３８６ＣＰＵ（带８０３８７协处理器）上每计算一次刀位占用机时小于１．２ｍｓ．具有精度高和实时性好的特点．     

N=1扰动超共形孤子理论与超Leibniz法则与量子守恒流

利用Ｎ＝１扰动超共形场论研究超对称ｓｉｎｅ－Ｇｏｒｄｏｎ理论，借助于超Ｌｅｉｂｎｉｚ法则求出了一组量子守恒流的一般形式．     

一类证券投资组合问题的风险与收益分析

本文利用概率统计的原理对一类证券投资组合所能减轻的风险作了讨论,并得到了风险最小的投资组合。     

最优受教育年限选择的模型分析

为进一步定量分析个人教育投资现象,构建了一般性地反映人们在就学和就业之间进行选择的最优化模型,并对影响人们教育投资决策行为的因素进行了分析.在简单的假定前提下运用数学语言再现了教育经济和劳动经济研究中的相关结论.     

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.     

大型径向和推力滑动轴承试验台结构设计与应用

对径向滑动轴承、推力滑动轴承试验台以及实验台的结构设计、试验范围、功能和工业产品实验进行了介绍。该试验台在滑动轴承的实验研究中得到了很好的应用。     

小样本参数估计算法及其应用

本文简要介绍了Minimax法和MSAR法对小样本数据的研究,随之重点介绍了1种实用的新算法IMSAR法及其应用。该法是通过变权松弛最小二乘法,确定适当的权因子来实现的。它克服了MSAR法的运算量随样本数据量增加而显著增加的突出缺点,仿真结果表明:IMSAR法具有较强的抗干扰能力,可适应于噪声分布未知的情况。最后,本文将IMSAR法应用于转炉炼钢动态模型及药物房室模型的建立,收到了令人满意的效果。     

河南省陆栖腹足类初报

整理自1984—1990年从河南省采集的陆栖腹足类标本,已鉴定30种,计前鳃亚纲,中腹足目Ⅰ科2属;肺螺亚纲,柄眼目12科22属。凡注有“*”者为河南省新纪录,注有“**”者为华北新纪录。标本均保存在河南师范大学、生物系。     

钢坯磨削温度的若干试验研究

通过使用“可磨式”人工热电偶进行的不同条件下的磨削温度测量试验研究了钢坯磨削工件表层温度,结果表明钢坯被磨削表层温度分布与热强呈三角形分布时的理论分析结果相同,表层峰值温度随磨削压力及磨削功率增大而提高,且随工件进给速度提高而略有降低,峰值温度还随磨削角度减小而提高,90°磨削的峰值温度比0°磨削要低250℃左右,砂轮种类也对峰值温度有重要影响,使用锆刚玉砂轮时磨削温度低于棕刚玉砂轮,试验结果表明高效钢坯磨削的磨削区温度远比普通磨削为高,可达1200℃左右,还从不同方面探讨了磨削高温对钢坯磨削的影响,认为尽管磨削高温有若干不利影响,但对高效钢坯磨削却是重要条件,上述讨论,从一个方面揭示了钢坯磨削机理,并验证了关于钢坯磨削温度的理论分析结果。     

A novel mechanism for jumping in the indian ant<Emphasis Type="Italic">Harpegnathos saltator</Emphasis> (Jerdon) (Formicidae,Ponerinae)

The Indian antHarpegnathos saltator may be unique among insects in using its jumping capacity not only as an escape mechanism but also as a normal means of locomotion, and for catching its prey in flight. High-speed cinematography used to analyse the various phases of the jump suggests thatHarpegnathos employs a novel jumping mechanism to mediate these behaviours: namely the synchronous activation of its middle and hindlegs. Electrophysiological recordings from muscles or nerves in pairs of middle and hindlegs show remarkably synchronous activity during fictive jumping, supporting the synchronous activation hypothesis.Harpegnathos is not the only ant to jump, and a cladistic analysis suggests that jumping behaviour evolved independently three times during ant evolutionary history.