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.     

基于BP神经网络的增益量化中的阶距自适应

本文分析了G.728语音编码算法增益固定量化的缺陷,设计了精确表示增益的自适应量化方案。采用BP神经网络对增益的量化步长进行非线性自适应量化,并提出一种新的用于训练BP神经网络的数据的获取方法。     

西藏牦牛染色体的研究

应用外周血淋巴细胞短期培养法，结合Ｇ显带、Ｃ显带和Ａｇ－ＮＯＲｓ显带技术，研究了西藏耗牛的一般核型、Ｇ带、Ｃ带、Ａｇ－ＮＯＲｓ核型，并对耗牛的Ｙ染色体多态性进行了探讨．     

光辐射在光学纤维波导中的传输

从麦克斯韦方程出发，讨论了光学纤维波导中光辐射场的解，得到光辐射在光学纤维波导中的传播特征。     

氧同位素标准样品的研制

使用高纯同位素物质精确配制同位素混合物,作为标准物,确定质谱仪器的系统误差。本工作用天然丰度水定量稀释高浓重氧水,制取从0.1982至96.92原子％~(18)O的氧同位素标准水样,用来校准质谱仪器。 实验采用BrF_5将水样转化成O_2。用质谱峰高法测定(18)~O和(17)~O丰度。比较质谱测定值和计算得到的丰度值C,求出质谱仪固有偏差校正系数K、并得到K与C的线性相关关系。 共得到16个具有准确丰度值的氧同位素标准水样。     

甘肃洒勒山成速滑坡的基本特征及其形成的动力学机制

本文首先讨论了该滑坡的形态、结构和运动的基本特征,指出:(1)该滑坡可分为特点截然不同的两部分。上滑体,可称为滑动铲部分,滑动时此部分滑体主要沿较陡的滑面发生整体性的转动滑移,垂直位移分量较显著。下滑体,可称为碎屑流部分,滑动时此部分滑体基本上呈近水平的运动;(2)主滑面呈上陡下缓渐转水平的座椅状;(3)滑坡的发展具有“推落式”的特点,上滑体是主动部分,它的突然失稳和下滑是推动下滑体运动的主要动力,(4)此滑坡的产生是斜坡变形累进性发展的结果,滑坡后缘拉裂缝的发展经等速开裂、加速开裂和裂缝闭合等三个阶段,最终导致大滑动。文中根据后缘拉裂缝等速开裂的资料,导出了一个预测滑动发生时间的公式。还根据现场证据进一步分析了造成此类滑坡高速远滑的两个机制:滑动铲机制和碎屑流效应,并根据所提出的机制导出了一个预测此类滑坡最大滑速的公式。     

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

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

关于我国铁路组织按图行车现状和问题的研究

组织“按图行车”是实现铁路运输管理现代化的重要方面。本文根据调查资料,研究了当前我国铁路实现“按图行车”的现状、货物列车晚点的一般规律,并据以提出了进一步提高我国铁路组织“按图行车”水平的意见。     

基于轻量化深度学习网络的数字仪表识别

数字式仪表常用于变电站、工厂等生产环境,是一种直观的设备监测仪器。然而当前数字式仪表的读取方式还依赖于人工巡检,手动记录等,这些传统的巡检方式来监测设备的运行状态大大降低了巡检效率。为了实现传统行业的数字化转型,本文提出基于轻量化深度学习的数字仪表识别方法,通过改进的YOLOv5的目标检测框架,针对数字仪表目标区域在整张图片大小不一致的情况,提出对于感兴趣区域（ROI）的迭代目标检测方法,首次检测将感兴趣区域进行检测并切割统一到相同的尺度,随后迭代检测网络针对感兴趣区域内的字符进行检测并分类,以达到精确读数的目的。为提升多尺度检测性能,本文采用Res2Net模块主干网络中的的残差模块。采用GIoU取代通用的IoU作为位置损失函数加速模型训练效果的收敛。实验表明,改进后的框架实现了99.62%的准确率和99.55%的召回率,相比基线网络分别提升了12.72%和5.85%。通过将框架在边缘计算平台上的终端部署,在实际生产中取代了人工巡检,实现了商业化运行。     

基于改进断裂点理论的机场吸引范围界定

合理界定机场吸引范围,是构建坚固民航运输网络的关键环节。现有的机场吸引范围界定方法,很少考虑与其衔接的地面交通网络,以及旅客出行偏好的影响。为提高机场吸引范围的实用性,本文以城市断裂点理论为基础,对其中的重要参数予以改进。首先,以综合交通运输为背景,指出发达的公路和铁路运输网络对民用机场具有很大的竞争与促进作用,并提出以地面交通出行时间为量化标准的吸引范围界定方法。然后,为分析旅客出行偏好的行为机理,针对于与机场衔接的地面交通网络来建立离散选择模型。其次,将研究区域的机场所在城市看作是一个整体,运用专家评价法和熵权法综合确定机场的吸引规模,并通过机场吞吐量与城市对外出行总量针对机场规模进行修正。最后,通过算例验证改进模型的实际可操作性,为确定多机场系统吸引范围界定提供新的思路和方法。