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.     

面向对象数据库"联系_选择"查询操作的优化

综合考虑逻辑因素和选择谓词的选择率、谓词本身的复杂度等物理因素后，给出了“联系_选择”及其拓展“联系_选择_投影”两个重要的复合操作的优化算法，提高了查询的执行效率。     

钢丝绳断丝定量检测中径向随机晃动误差的补尝

本文论述了钢丝绳断丝定量检测中径向随机晃动误差存在的必然性及该误差对定量检测的影响,基于模拟实验结果,给出了适用于多种类型钢丝绳的V_H-S数学关系式;提出了波形因素的概念与形式,并用软件实现了钢丝绳断丝定量检测中径向随机晃动误差的补偿。     

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.     

用B样条曲线构造几何物体模型的方法

根据Ｂ样条曲线原理,提出了先用若干个截平面去切割几何物体,得到一组与几何物体轮廓线相交的点。根据这些点,再用Ｂ样条曲线去构造几何物体的近似轮廓线,从而得到几何物体模型。该方法方便、精确,便于在计算机几何造型系统中应用。     

油库发油控制及管理系统的研究

阐述了油库发油体积及重量的测量过程,讨论了控制及管理的功能要求,提出了设定关阀提前量ΔＸ,并控制调整其大小以提高发油精度的思想。系统采用主从式上下两级微机网络。文中给出了该系统的实现方法,同时论述了保证系统安全运行的措施。     

加热速度对煤的气化反应性的影响

实验室条件下考察了五种不同类型的煤经不同加热速度处理后,煤中碳对ＣＯ２化学反应性及单位质量碳的气化反应速度常数－－特殊反应速度常数的变化规律。研究结果表明：适于直接还原回转窑窑头喷煤用的高挥发分煤,经不同加热速度处理后煤中碳对ＣＯ２化学反应性和特殊反应速度常数发生明显变化,随加热速度增大而明显增大,这一研究结果为直接还原回转窑窑头喷煤强化还原的机理研究提供了依据。     

连续滚动生产作业安排中初始状态非平凡的P//C_(max)问题

以实际中连续滚动生产为背景,研究了一类新的平行机作业安排问题,即初始状态非平凡的Ｐ∥Ｃ_ｍａｘ问题。基于经典的Ｂｉｎ－ｐａｃｋｉｎｇ（装箱）理论和技巧,提出改进的Ｍｕｌｔｉｆｉｔ算法及相应的ＩＦＦＤ装法,并分析算法在最坏情况下的性能指标上界为４／３．最后,提出连续生产中周期滚动式作业安排的实施算法,实现了设备不空闲而连续运行。     

引战配合过程的信息描述

为了更深入地研究引战配合的信息过程,从信息的角度给出引战配合过程的信息描述。方法从信息论的角度将引战配合划分为两个过程：信息传输过程和信息控制过程;给出了可作为引战配合效率的指标,即引战配合过程武器系统所获取的信息量的两种度量方法。     

面向VHDL语言的专用智能编辑器

目的设计面积超高速集成电路硬件描述语言的专用智能编辑器。方法使用散列表记忆各类标识符方法,动态地分析当前输入状态,完成ＶＥｄｉｔｏｒ的功能设置。结果该编辑器汇聚了目前流行的各类通用程序编辑器的优点,同时具有其独特的功能－标识符自动记忆,语句联想式输入及简单词法,语法错误的报错功能,结论实现了一个功能齐全的编辑器。