剃齿时齿形中凹现象的形成机理

本文综合啮合原理、微分几何和弹性力学的基础理论,对剃齿过程中刀具齿面和被剃齿轮齿面间的失配进行了分析。最后利用径向力求出了齿面间的压切量,从而解释并验证了剃齿过程中产生的齿形中凹现象。这对提高剃齿精度、降低噪音有着重要意义。     

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.     

"权威"的出场--试论十七年文学批评中读者的实际功能和尴尬处境

读者批评是十七年文学中的一种特殊的现象，对读者的身份的定义必须结合当时的具体语境来考察，它是一个被界定和描述的概念．本文试图从这两个层面对读者身份概念的梳理入手，探讨读者在十七年文学批评中的实际功能，因为其既限制严格又宽泛多义的独特身份，使得读者在作为权威的延伸的同时，往往又成为文艺界决策者们用来规范文学的力量而被使用，虽然时代的更易也不能改变这种尴尬的处境。     

Distributed and Parallel Component Library

Software component library is the essential part of reuse-based software development. It is shown that making use of a single component library to store all kinds of components and from which components are searched is very inefficient. We construct multi-libraries to support software reuse and use PVM as development environments to imitate Iargescale computer, which is expected to fulfill distributed storage and parallel search of components efficiently and improve software reuse.     

论编译

作为翻译中一种独特的处理方式,编译可以用凝练的语言和比较小的篇幅介绍原作鸿篇巨著的中心内容,也可以在比较短的时间内完成译介大量材料的工作,速度快、效率高、实用性强。这些特性使得编译在翻译实践中得到了越来越广泛的应用。     

智能CAD／CAM技术对建筑机械业的影响

本文首先介绍ＣＡＤ／ＣＡＭ的产生及发展。然后谈ＣＡＤ／ＣＡＭ对建筑机械业的影响。本主独道见解是：ＣＡＤ／ＣＡＭ技术对建筑机械业影响巨大，一个全新的计算机辅助建筑工程制造ＣＡＥＭ概念将产生。当ＣＡＥＭ实现时，建楼房将象儿童搭积木房子一样轻而易举。“安得广厦万千间，使得天下寒士尽欢颜”梦想会成真。     

砖填充墙钢筋砼框架的抗震优化设计

本文在分析总结国内外关于填充墙框架抗侧力性能资料的基础上,提出采用“等效斜撑框架模型”对砖填充墙钢筋砼框架进行抗震设计,并用可行方向法对此类结构进行抗震优化设计,编制了相应的计算机程序IFOSD-88(Fortran77),对于一般多层填充墙框架结构,经2～3次迭代即可获得稳定的结果。文末给出一个工程设计实例,计算结果表明,与现行设计方法相比,工程造价可降低8％左右。     

离散大系统的多级控制

本文使用反馈控制和广义逆矩阵研究离散大系统的多级控制问题,即在局部控制器上加所谓“校正”控制器,达到中性关联作用,使整个系统的性能指标为极小,且得到较小的性能指标偏差的上界。     

山东章丘明水地区二叠系“A”层硬质高岭土的研究

明水地区的硬质高岭土俗称焦宝石,即我国华北石炭二叠纪煤系地层申的“A”层铝土。明水地区的“A”层铝土具有耐火度高,化学成分稳定等特点,广泛用于日用陶瓷、电器、耐火材料等工业部门,是一种重要的工业原料。“A”层铝土在华北石炭二叠系煤系地层中分布普遍,层位稳定,其经济价值不低于煤,应当引起有关部门,特别是煤田地质勘探部门的重视。