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.     

发动机的曲轴转速方程及其近似解

从活塞发动机的动力分析中得到本文中的微分一积分方程(4),其中α为曲轴转角,θ为角速度的平方,而ε<<1为总等效转动惯量的倒数。本文利用压缩映象原理和摄动方法证明了所得方程解的存在性和唯一性,并给出了这个解的渐近展开。     

西藏牦牛染色体的研究

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

甜菜皂素的提取及特性

甜菜皂素是一种天然的非离子型表面活性剂，用无机酸回流甜菜废丝，将所得的滤液蒸发浓缩至粘稠，再加入一定量的无水乙醇反复回流，脱色，纯化后得乳白色甜菜皂素片状晶体。     

一种防空C~3I系统的效能分析方法

本文讨论了一种评定C~3I系统效能的方法。这种方法是根据系统完成使命的能力和系统的内部结构两方面的分析来完成的。通过对IFFN系统的评定,对本方法进行了举例说明。     

层流中粉尘的火焰传播速度

建立了筛落式粉尘火焰试验装置和火焰信的号光电测量系统。提出确定火焰前沿位置的“最大斜率切线法”和判定火焰传播稳定性的“相对入射能量法”。测定了硅钙粉和煤粉的火焰传播速度和火焰厚度。结果表明数据合理,测量装置和方法可用于速度范围很宽的粉尘火焰传播研究,用修正的田中达夫模型计算的硅钙粉层流火焰传播速度与实验值接近。     

小型化折叠型RFID抗金属标签天线的设计

设计一种小型化折叠型超高频射频识别标签天线.天线由开槽的辐射贴片、 4个感性短接面和两片金属接地板组成.通过改变短接面尺寸及右侧短接面与接地面的距离,可以有效地调谐标签天线的谐振频率及其阻抗,总尺寸(L×W×h)为40 mm×40 mm×1.5 mm.实验结果表明：标签天线阻抗匹配良好,|S₁₁|＜﹣10dB带宽为880～930 MHz.将标签天线放置于200 mm×200 mm的金属板上,4 W有效全向辐射功率条件下的最大实测阅读距离可达到11.2 m.该标签天线通过适当的开槽实现小型化,同时具有抗金属、识别距离远等优点,可较好地应用于工业物联网相关测量领域中.     

胍基化壳聚糖季铵盐的制备及其抗菌性能

以三聚氯氰(TCT)为中间桥梁,将聚六亚甲基双胍(PHMB)接枝到N-(2-羟丙基-3-甲基氯化铵)壳聚糖(HTCC)上,制备胍基壳聚糖季铵盐(HCP).研究制备HCP的最佳反应条件,采用元素分析、傅里叶变换红外光谱(FTIR)和核磁共振氢谱(¹H NMR)对产物的结构进行表征,并测试其抗菌性能.得到HCP的最佳反应条件为HTCC和TCT的摩尔比1.0∶2.5,HTCC和PHMB的质量比1.0∶1.2,缚酸剂为三乙胺,TCT一取代的反应时间8 h,二取代的反应时间14 h,反应温度40℃.结果表明：制得的HCP对大肠杆菌(E.coli)和金黄色葡萄球菌(S.aureus)的最低抑菌质量浓度分别为0.020,0.005 mg·mL^-1;质量浓度为1.0 mg·mL^-1的HCP对E.coli和S.aureus的抑菌率分别为89.8%和100.0%,高于相同质量浓度下HTCC对E.coli和S.aureus的抑菌率18.2%和18.7%.     

潜在表示学习框架下的低冗余多视图聚类算法

基于潜在空间学习的多视图聚类研究得到了较大发展,但其通常忽略了原始数据中冗余信息的存在可能会带来不理想的聚类结果。为解决这个问题,提出一种潜在表示学习框架下的低冗余多视图聚类算法。基于k-means的方法,直接从各视图数据学习其低维表示,由于该低维表示的各个特征相互正交,学习到的低维表示通常含有较少的冗余信息。基于潜在空间的假设,各视图的低维表示可由同一个潜在表示投影得到。将两者结合,就能得到一个具有低冗余信息的统一的潜在表示。设计了一个优化算法来求解目标问题,在多个公开数据集上的实验表明了该算法的有效性。     

耐碳青霉烯酶肺炎克雷伯菌的分离鉴定及生物学特性分析

以临床尿路感染患者尿液为研究对象,通过分离培养及16s rDNA进行肺炎克雷伯菌的分离鉴定;采用Kirby-Bauer纸片法进行药敏实验,并对分离株进行碳青霉烯酶表型筛选;通过PCR检测常见的碳青霉烯酶耐药基因、荚膜血清型和毒力基因分布情况;对分离的肺炎克雷伯菌株进行了生物被膜形成能力及其对小鼠致病力的分析。本研究从采取的86例尿液标本中分离检出11株耐碳青霉烯酶肺炎克雷伯菌,分离率为12.79%。耐碳青霉烯酶基因PCR检测结果显示,blaNDM、blaVIM、blaIMP和blaKPC基因在分离株中均呈现不同程度的分布。耐药性分析发现11株肺炎克雷伯菌对氨苄西林耐药率为90.91%,对头孢噻肟耐药率为63.64%,对链霉素、庆大霉素、氯霉素和诺氟沙星的耐药率较低。耐碳青霉烯类肺炎克雷伯菌荚膜分型结果显示,分离的11株细菌中10株均为强毒力型菌株（90.9%）,其中K57血清型4株（36.4%）,K1血清型1株（9.1%）,K2血清型1株（9.1%）,K5血清型1株（9.1%）,K20血清型3株（27.3%）,提示该批分离株具有较强的致病力。此外,毒力因子分布结果显示,其毒力因子rmpA（54.5%）、Aerobactin F（54.5%）在菌株中分布较为广泛。生物被膜形成能力检测及小鼠致病性试验结果显示,9株分离株均有较强的生物被膜形成能力,菌株致病力可能与荚膜血清型及生物被膜形成能力相关。综上所述,临床分离的致尿路感染病原肺炎克雷伯菌呈现多重耐药特征,强毒力菌株以K57荚膜型为主,K1、K2均有分布,提示对尿路感染病原应加强耐药监测,合理使用抗菌药物,有效防控多重耐药和强毒力菌株的感染与流行。