低温电解渗硫及其应用研究

本文研究了１８ＣｒＭｎＴｉ钢渗碳＋低温电解渗硫工艺及硬质合金刀具低温电解渗硫工艺．考核了刀具的耐用度。试验结果表明．低温电解渗硫提高了切削刀具的使用寿命。     

甘油—乙醇混合液超声性质研究

测量了不同浓度的甘油、乙醇混合液的声速和密度,计算了超额绝热压缩系数.结果表明,在整个浓度范围内,甘油和乙醇之间存在着强烈的分子相互作用.     

银行的信贷决策机制（一）——信贷市场为不完全竞争情形

本文研究了信贷市场处于不完全竞争情形下的信贷决策机制，对于完全信息情形给出了信贷决策机制的设计；针对不完全信息情形提出了信贷决策模型和机制的最优性条件，讨论了信贷决策机制的若干性质．本文的研究工作是基于对风险刻画的“均值保持展形”概念的．     

机器人避障功能的设计

本文介绍了通过硬件的连接以及利用汇编语言编写简单程序使机器人实现避障功能.     

对"晨光"体育活动的审度与思考

在总结河南省“晨光”体育活动成功经验的基础上 ,对提高学校体育的水平与质量进行了理论性论证 ,进而提出了“晨光”体育活动应推广与普及的合理化建议及可行性措施 .     

耦合拟不动点定理

根据耦合拟不动点和上半连续算子的定义，讨论了在一定连续条件下集值混合单调算子的耦合拟不动点存在性问题，证明了，若A是非空弱闭值上半连续增算子，则A存在不动点以及若A是非空弱闭值上半连续混合单调算子，则A存在偶合拟不动点等结论．     

不同分散剂对纳米羟基磷灰石粒子团聚的影响

为了解决纳米羟基磷灰石团聚的问题，在纳米羟基磷灰石制备过程中，加入适量的乙醇、铈盐和聚乙二醇作为表面分散荆，研究其分散作用。试验结果表明：乙醇具有脱水作用，减少毛细管收缩作用，具有一定的分散作用，且不改变HA六方晶体形貌；铈盐的加入，使六方晶体结构进一步分化，粒子尺寸变小，有细化纳米HA晶粒的作用及分散作用，同时，在分散过程中，参与反应，形成Ce5（PO4）3（OH）；聚乙二醇对纳米羟基磷灰石形貌影响不大，但在表面形成簿膜，隔阻纳米粒子间的接触，具有减少硬团聚的作用。     

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.     

有穷长半模偏序集上的一个定理

本文是对参考文献[1]第二章定理14证明的补充和改进。该定理乃指: 定理14.在任何上(或下)半模的有穷长的偏序集内,Jordan-Dedekind链条件成立。 文献[1]中,考虑上半模情形,谈到已知一个连接链:γ∶a=x_0相似文献