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.     

M——H(81)型状态方程用于二元非理想系等压汽——液平衡计算的研究

本文用M—H(81)方程计算H_2O(1)—DMF(2)二元非理想等压汽液平衡,并采用UNIFAC,WILSON两方程对该体系的计算结果进行了比较。编制了一套M—H(81)方程计算等压汽液平衡的程序,对M—H(81)方程用于计算H_2O(1)—DMF(2)精馏塔设计计算的可行性进行了讨论。     

补偿线路分布电容电流的柔性直流配电网电流差动保护方法

针对系统接线方式和线路分布电容影响导致柔性直流配电网故障辨识困难的问题,在对传统电流差动保护在柔性直流配电网中的适用性分析基础上,利用线路贝瑞隆模型推得故障点电流与直流线路两端差电流之间的关系.进一步地,提出具有线路分布电容电流补偿的新型电流差动保护方案,解决对称单极接线方式下故障特征微弱、分布电容电流影响大带来的故障辨识难题.最后,基于PSCAD/EMTDC仿真平台,建立柔性直流配电网模型,通过仿真分析验证所提出的电流差动保护方案的可行性和适用性.     

毛巾织物“斜坡”织疵形成机理及其克服措施

本文对毛巾织物织口后移、毛圈间距进行了定量分析,阐明了毛巾织物“斜坡”织疵产生的主要原因是两条毛巾之间因不同打纬动程之差形成的剪口大小与织一个毛圈织口的后移量不能相等。最后提出了改第一块平布稍短打纬平布为长打纬平布、级完第一块平布开始织毛圈时使卷取机构停卷二到三纬的措施。实践证明,效果良好。     

上海市集成电路及机电一体化产品的比较优势研究

本文用一种“节汇成本比较”的方法,对上海市集成电路及机电一体化产品的比较优势进行调查研究,提出了上海市在这两个产品领域发展重点的建议。     

傅里叶变换红外光声光谱法在纺织上应用

本文叙述了傅里叶变换红外光声光谱法(FTIR-PAS)的基本原理及其在纺织上应用。研究了组合浆料中变性聚乙烯醇的定量测定、涤棉混纺纤维中涤纶的定量测定、苎麻及甲壳素经碱处理后的光谱性质的变化。研究结果表明,以变性聚乙烯醇C=O基团的伸缩振动1570cm~(-1)吸收峰可作为定量测定变性聚乙烯醇的依据。以涤纶分子结构中羰基伸缩振动1725cm~(-1)峰高与纤维分子结构中碳氢键伸缩振动2915cm~(-1)峰高的比值,可定量测定涤棉混纺纤维中涤纶含量。苎麻经碱处理后,非晶谱带898cm~(-1)度明显增加,晶区谱带1430cm~(-1)强度明显下降,其变化程度取决于碱浓度。甲壳素的酰胺吸收峰1555cm~(-1)随碱处理浓度、温度和时间的增加而下降。与常规的红外吸收光谱法相比较,傅里叶变换红外光声光谱法具有无损快速的优点,适宜于制作困难的试样。     

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.     

不同降水驱动的SWAT模型参数不确定性研究

以抚河流域与黑河流域为研究区,应用4种降水产品(CMORPH CMA、CMFD、CMADS、MSWEP)驱动SWAT模型模拟日流量,评估4种降水产品在湿润区与干旱区的适用性;使用自适应降维评估法选出流域的敏感参数,并进行一致性检验。结果表明:抚河流域4种降水产品的纳什效率系数(NSE)均在0.70以上,其中CMORPH CMA和CMADS的NSE均能达到0.82;黑河流域CMORPH CMA和CMADS的NSE大于等于0.76,而CMFD和MSWEP的NSE分别为0.72和0.74。抚河流域4种降水产品具有相同的敏感参数;黑河流域CMORPH CMA和CMADS有相同的6个敏感参数,而CMFD和MSWEP则分别有5个和8个敏感参数。4种降水产品在湿润流域和干旱流域都能得到较好的应用效果,但是CMORPH CMA和CMADS的模拟效果要优于CMFD和MSWEP。不同的降水输入也会对模型参数敏感性分析的结果产生影响,当降水表现越接近时,所筛选的敏感性参数也越相似。     

试论目前高速公路排水设计的不合理性

通过对高速公路边沟、中央分隔带、桥梁泄水孔的排水能力的计算与分析,结合南京新机场高速公路建设过程中的工程实例,初步论证目前高速公路排水设计的不合理性,提出了一些有价值的建议,对今后高速公路的设计与施工具有指导作用．     

企业中多种形态的产品结构及其对MRPII的影响

讨论了不同生产类型产品结构的特点,提出了确定型和多态型ＢＯＭ的概念,并分析了各种形态的ＢＯＭ在不同的生产类型中对ＭＲＰＩＩ的影响;通过引进工序ＢＯＭ和立体ＢＯＭ结构机制,可以简化产品配置问题,从而加快物料计算并提高报价的速度和准确程度。