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.     

高精度步进压印机热误差的建模分析

为了消除由紫外光曝光所引起的步进压印机的热误差，以提高压印机的套刻对准精度，运用逐步回归分析法选取了压印机上温度测量点的数量，将压印机上布置的温度传感器从15个减少到6个，并建立了压印机温度测量关键点处的温度与压头在x、z方向热误差关系的数学模型．实验结果与模型计算结果的对比分析表明，模型的热误差预测精度在x方向可以达到899／6，而在z方向可以达到939／6．应用表明，该方法是一种在压印机热误差建模中选择温度测量关键点的有效方法，可避免热误差建模过程中的变量耦合问题，从而提高了模型的精确性．     

小议两种语境观的互补性--系统功能语言学与关联理论的语境观

本文通过对语境的简单回顾和总结以及对实例的对比分析,证明了系统功能语言学与关联理论的语境观结合起来对各种语言现象更具解释力,从而说明了跨学科研究的可能性和必要性.     

WHOLLY-AROMATIC COPOLYESTERS CONTAINING IPA, 2.6-NDA, TPA, CLHQA AND PABA MONOMERS

The crystallinities, thermal properties, liquid crystal properties and rheologic properties oftwo series of the aromatic copolyesters are studied. One of them is composed of IPA, 2,6-NDA,CLHQA, PABA and. the other composed of TPA, 2.6-NDA, CLHQA, IPA. The results showthat the crystallinities of the aromatic copolyesters are relatively low and the melting point of thecopolyesters decreases with an increase of the unsymmetrical contents. These two series of aro-matic copolyesters are both suitable for the conventional melt spinning process and have a goodfiber forming property and a good thermal stability. The viscosities of aromatic copolyestermelts are greatly affected by the shear rate, hence the so-called" thinning under shearing" phe-nomenon. The melts have a rather high viscosity flow activation energy and a relatively lowelasticity.     

偶应力两层流体通过狭窄管腔时外围层的粘度效应

本文讨论了偶应力两层流体通过带有柔和狭窄的刚圆管时的流动特性,导出了速度、流量、阻抗和壁面最大剪应力的解析式,考察了外围层粘度和厚度的效应,并作了数值计算;是对单层偶应力流体狭窄流动及两层牛顿流体(粘度不同)狭窄流动的推广。     

溶剂萃取法制备碳酸盐的热力学讨论

向金属氯化物(Ⅰ)的水溶液中通入CO_2气体,以期制备相应的碳酸盐和酸式碳酸盐,在常温常压下,体系的△G>0,反应几乎是不可能的。向反应体系中加入有机溶剂(S),使生成的HCl即被萃取,可促进Ⅰ的继续转化。分析计算表明,S对HCl必须有很强的萃取能力,其K_萃须在10~5以上。研究了加入有机溶剂N_(235)前后,体系的热力学状态、函数及其变化。加入N_(235)后,K_萃值增大了5个数量级。考察了温度、时间和通气次数对系统热力学性质的影响。根据反应的耦合原理和热力学分析,提出萃取剂选择的原则。结合实验数据的估算说明:溶剂萃取法由Ⅰ和CO_2制备碳酸盐的工艺路线是可行的。     

单位分数跨集中阻尼弦本征解的结构及其性质

针对斜拉索-阻尼（器）系统,推导出阻尼（器）位于任意单位分数跨时（拉索1/n跨位置）系统超越频率方程的代数形式,根据代数基本定理讨论了系统本征解的结构,并结合4个算例分析解的性质. 结果表明：1）本征解可归为n-1个解支. 2）对于同一解支,各阶本征值实部（其相反数即单位时间对数衰减率）均相同,各阶本征值虚部（即频率）构成等差数列. 3）根据频率随阻尼系数变化的特点,解支可分为三类：第一类解支的频率均依赖于阻尼;第二类解支的频率均不受阻尼影响;第三类解支的频率随阻尼系数的不同,具有第一类解支或第二类解支的特点,即随阻尼系数的增大,频率先随阻尼系数变化,到达某一临界值后为常数.     

数控仿形系统中的数字化技术

利用仿形仪扫描模型表面,自动生成描述模型表面的数控指令,实时转存到软磁 盘中。利用上述的数字化结果在数控功能支持下进行数字化加工,可以加工出各轴独 立改变比例的工件和镜像的工件,也可以实现阴阳模工件的配对加工。数字化技术在 模具及复杂表面加工中有童要意义。     

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.