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.     

新闻记者的新闻敏感性

新闻敏感性是新闻工作者必备的职业敏感,也是一种基本的素质。对新闻敏感时新闻工作的意义作了探讨,介绍了新闻敏感所包涵的主要内容。     

加强文献资源建设为教学科研服务

文章从文献资源建设的作用和重要性出发,介绍了文献建设的原则与方法,以及做好文献资源建设工作应正确处理好的几种关系,提出了文献资源建设要通过藏书剔旧工作来保持稳定的建议,论述了文献资源建设为教学科研服务的新策略和馆藏政策制定方式。     

简论高速运动物体的视形状

本文首先明确观察者与观看者的区别以及固有长度，观测长度和视长度的概念。在此基础上利用初等数学的方法，以正方形为例讨论高速运动物体的视形状。     

印染助剂结构的光谱分析

本文利用紫外光谱、红外光谱、元素分析等方法,采用红外与计算机联机检索技术对未知物的可能结构进行了研究,得到了满意的结果.     

重组大肠杆菌利用醋酸及乳酸为碳源合成PHB

以廉价的工业副产物醋酸及乳酸为碳源,对产PHB重组大肠杆菌进行培养,考察醋酸及乳酸的添加对重组大肠杆菌生长及PHB产量的影响。将来自Cupriavidusnecator的PHB合成操纵子phaCAB基因簇克隆至pBAD载体,得到产PHB菌株BL21＿pBAD＿phaCAB,以阿拉伯糖为诱导剂,在大肠杆菌中进行重组表达。分别使用LB及M9培养基,对重组菌株BL21＿pBAD＿phaCAB进行培养,研究其生长速度及PHB产量,探索产PHB重组大肠杆菌最适培养基。以添加0.04 g/L乳酸、1.2 g/L乳酸、0.02 g/L醋酸、0.6 g/L醋酸、0.04 g/L乳酸+0.02g/L醋酸、1.2g/L乳酸+0.4g/L醋酸的M9培养基(均含2 g/L葡萄糖)为实验组,以M9培养基(含2g/L葡萄糖)为对照组,考察醋酸及乳酸的添加对重组大肠杆菌生长及PHB产量的影响。分别取第6,12,24和36小时的培养液,分析其葡萄糖、醋酸及乳酸含量的变化。结果表明,低氮型M9培养基更适合产PHB重组大肠杆菌在低糖培养环境中生长。在葡萄糖消耗殆尽后,大肠杆菌能够以醋酸及乳酸为碳源进行代谢,因此在培养基中...     

基于Bert股吧舆情分析的特征融合股价走势预测研究

传统股价预测模型往往只考虑时序性数据且局限于模型自身机制,而忽略舆情对股价的影响,导致预测精度不高,针对该问题,提出基于 Bert 股吧舆情分析的特征融合预测模型对股价收盘价进行涨跌幅预测。 首先,采用Bert 自然语言处理对股吧舆情以及公司公告政策进行情感分类,并转化为虚拟变量,构建金融舆情情感特征库;然后将金融舆情特征库和时序性数据合并构建特征融合矩阵;最后输入长短期记忆网络模型(LSTM)进行股价收盘价预测,并得出股价的涨跌结果。 以华银电力(600744. SH)为例进行实证分析,实验结果表明:引入股票情感特征后的模型,得到的股价走势准确率上升了 8. 63%,预测收盘价的回归指标 FMAPE FRMSE 分别下降了 23. 59%、22. 9%,R2 提高了 8. 11%,证明引入新的舆情情感特征在实际预测中能提高股价预测的准确率,可以作为精准预测股价走势的手段。     

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.     

双模随机晶体场对混合自旋1/2和自旋1纳米管上相变的影响

本文利用有效场理论研究了自旋1/2和自旋1混合Blume-Capel模型在具有双模随机晶体场的圆柱形Ising纳米管上的磁化和相变. 通过数值计算,我们得到了随温度和随机晶体场参数变化的相图和磁化强度. 结果表明: (1) 改变晶体场的概率和比例,双模随机晶体场可以描述不同掺杂原子对自旋的作用;(2) 对于一定的概率值、负或正的晶体场和晶体场的比例值都存在临界点;(3) 系统显示多种相变温度,一阶相变和二阶相变.