数显温控精确测量金属丝的温度系数

在传统金属导体温度系数测量中对于金属丝的加热通常采用了水浴加热法或油浸加热法。这两种方法存在着短路、产生不良气体污染、温度测量不精确等缺点。首次使用了数显温度可控的功率电阻作为金属丝的加热源,在测量中采用了双臂电桥、金属丝的四端电阻接线方式,不仅实现了金属丝的温度可控性和实时测量性,而且将测量精度提高到3%以内。     

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.     

“926”植物生长调节剂的经济效益与生态环境

简要评估了“９２６”植物生长调节剂的经济效益和生态环境。分析了开发应用的前景。     

甜菜皂素的提取及特性

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

我国工业重大灾害的Delphi预测方法及其应用──重大危险源辨识的德尔菲（Delphi）专家系统设计

文章针对我国工业企业重大灾害频繁发生的现实，运用Ｄｅｌｐｈｉ方法对人－机－环境系统中大量无法定量的危险源作出概率估算和危险度分级，为建立重大危险源辨识的定量与定性分析相结合的专家系统等做一些初步探讨。     

总弯沉比及其在机场刚性道面板底脱空判定中的适用性

提出了一种板底脱空判定弯沉指标——总弯沉比（R_TD）,分析了其理论特征;为探究R_TD在机场刚性道面板底脱空判定中的适用性,基于Abaqus有限元软件建模,以弯沉比和截距为对比对象,计算分析了道面结构参数、接缝传荷能力和脱空参数等对指标的影响。结果表明：相比弯沉比和截距,R_TD与道面结构参数相关性更高,可据此建立相对精确的判定标准;此外,R_TD在对脱空参数敏感的同时可避免接缝传荷能力与板底脱空的耦合影响。综合而言,R_TD在机场刚性道面板底脱空判定中具有更好的适应性。     

Structure of the human CLC-7/Ostm1 complex reveals a novel state

CLC-7 functions as a Cl?/H+ exchanger in lysosomes. Defects in CLC-7 and its β-subunit, Ostm1, result in osteopetrosis and neurodegeneration. Here, we present the cryogenic electron microscopy (cryo-EM) structure of the human CLC-7/Ostm1 complex (HsCLC-7/Ostm1) at a resolution of 3.6 ?. Our structure reveals a new state of the CLC-7/Ostm1 heterotetramer, in which the cytoplasmic domain of CLC-7 is absent, likely due to high flexibility. The disordered cytoplasmic domain is probably not able to restrain CLC-7 subunits and thus allow their relative movements. The movements result in an approximately half smaller interface between the CLC-7 transmembrane domains than that in a previously reported CLC-7/Ostm1 structure with a well-folded cytoplasmic domain. Key interactions involving multiple osteopetrosis-related residues are affected by the interface change.     

盾构隧道管片接缝密封垫防水耐久性试验研究

为研究盾构管片接缝橡胶密封垫的防水耐久性,开展了橡胶密封垫水热加速老化试验,并对老化后试样进行拉伸力学性能试验、试样表面电镜扫描与长期防水性能试验,分析了橡胶垫表面微观尺度下的防水失效机理;采用橡胶密封垫极限防水压力为耐久性评价指标,结合基于Arrhenius方程的p-T-t数学模型,推导了橡胶密封垫长期防水性能折减系数的预测公式。结果表明：老化后橡胶密封垫表面接触状况的恶化和橡胶材料的硬化,加速了橡胶密封垫接触面间渗漏通道的形成;橡胶密封垫防水性能随着老化时间的增加不断降低,但下降速度逐渐减小。采用提出的防水性能预测公式对广东榕江-关埠引水工程盾构隧洞实际使用的橡胶密封垫的耐久性进行了预测,预测服役100 a后的老化系数为0.390,结果相对于仅考虑橡胶材料力学性能时的预测结果偏小12.36%,对原设计使用期内频繁出现的渗漏现象提供了合理解释与更准确的寿命预测。     

用最小均方误差对数短时谱幅值估计法增强语音信号

本文主要研究语音增强系统在短时频域内,以对数最小均方误差作为语音幅值估计的准则.对含噪语音进行消噪处理。首先推导了公式,并从理论上作了分析研究.在此基础上作了大量实验,与类似的最小均方误差短时谱幅值估计法(MMSE STSA)作了性能比较.实验结果表明,由MMSE LOG-STSA增强方法得到的语音输出的质量优于由MMSA STSA方法得到的质量.语音的失真度和清晰度均有显著改善,同时大大降低了语音中的“音乐噪声”.     

从OSI看K-NET

随着微型计算机在我区的应用普及,许多用户已从分散、独立的单机作业向着联网作业迈进。国际标准化组织已推出一种开放式系统互连七层参考模型,这一模型已得到国际电报电话咨询委员会的承认,成为国际上网络通信的标准化基础。在许多局部网络中,K－NET因高效、低价、易学易用而对用户具有很强的吸引力。K－NET所采用的新思想和技术完全遵循OSI标准。因此,K－NET是值得推广的先进产品。