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.     

基本图素分类的综合判定

本文采用关于手绘图形基本图素的“角度和变量”与“最大距离”综合判定分类法,以流程图符为例,实现了手绘基本图形的在线机器识别.系统的识别率达94.0%～99.5%,无明显等待.     

轮式分页输纸中的摩擦问题

本文着重研究了输纸轮与纸面间以及纸与纸间的静、动摩擦特性。分析了分页输纸的力学条件,并通过各种结构输纸胶轮和国产纸张的实验证明了正压力与摩擦系数之间存在着非线性关系。得出了一系列曲线。指出:利用非线性摩擦特性是分页输纸的理论基础,为设计简单的张簧式给纸盒提供了科学依据。经“OA”设备的OCR和OMR使用证明分页输纸稳定可靠。     

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.     

动态可控残差卷积神经网络的低剂量 CT 图像处理

针对计算机断层扫描(Computed Tomography, CT)中因采用低剂量扫描方式,导致图像噪声伪影干扰,尤其 是不同部位噪声和伪影强度存在较大差异这一问题,提出了一种基于动态可控残差的卷积神经网络(DC-ResNet) 算法。 DC-ResNet 的主要思想是在常规残差网络连接中添加一个图像质量指导的控制变量,以允许获取残差的加 权和,从而实现残差特征的动态可控。 所设计的 DC-ResNet 网络是一种包括两个子网络的组合型结构,一个是作 为主干网络的基础子网络,在该子网络中使用全局动态残差块和局部动态残差块来实现低剂量 CT 图像质量的提 高;另一个是作为辅助网络的条件子网络,用来生成基础子网络中不同动态可控残差块的权值,辅助基础子网络的 学习。 通过 Mayo 与 UIH 数据实验验证,其视觉结果表明:处理后的不同部位 CT 图像噪声伪影均能够得到较好的 抑制,并能有效地保留结构细节及组织纹理;量化结果表明:处理后的 CT 图像峰值信噪比( Peak-Signal to Noise Ratio, PSNR)和结构相似性(Structure Similarity, SSIM)均优于对比方法。     

增强型注意力网络点击通过率预估方法

针对以往模型在对点击通过率(click-through rate,CTR)进行建模预测时,存在着特征重要性学习不足、特征交互低效等问题,提出了一种增强型注意力网络预估模型,用于动态学习特征重要性和特征交互信息,模型主要由注意力层、双线性交互层和全连接神经网络层构成。注意力层的多尺度多头自注意力机制通过设置不同尺寸子空间增强特征重要性学习能力,在得到特征重要性后,进一步采用张量积双线性交互学习特征交互信息。通过对注意力的子空间尺寸大小、张量积交互形式、神经网络层数和节点个数等进行定量分析,确定模型的最佳参数。实验证明,该模型相比已有模型拥有更好的预测能力。     

一种含5-硝基间苯二甲酸和菲咯啉配体的超分子化合物：结构表征，光致发光和电化学性能

采用水热法合成了含混合配体的铜配合物[CuClPhen]⁺·[HL]^-·2H₂O（HL=5-硝基间苯二甲酸,Phen=1,10-菲咯啉）,其结构由单晶X射线晶体学确定。标题化合物在三斜空间群P-1的晶体化合物。标题化合物的晶体数据：C₃₂H₂₄ClN₅CuO₈,M_r = 704.54,a = 10.4044(5),b = 12.3912(9),c = 12.4632(9)Å,α = 73.859(6),β = 85.036(5),γ = 78.202(5)^°,V = 1510.09(17) ų,Z = 2, T = 293(2) K,D_c = 1.549 g/cm³,μ(MoKα) = 0.874 mm^-1,F(000) = 720.0,R = 0.0554,wR = 0.1434,GOF = 1.098。当用作超级电容器电极材料时,所制备的配合物具有高比电容、良好的循环稳定性和优良的倍率性能。在1mol/L KOH溶液中,最大比电容可达到69 F/g。在2 A/g电流密度下,10000次循环后比电容保持率为72%。标题化合物是一种潜在的红色光致发光材料。     

纯铁氮化层时效的透射电镜研究

用透射电镜研究了纯铁离子氮化缓冷后时效时,其扩散层中相的转变过程,并用实验力学中测定宏观应变的Moire法原理,通过对电镜水纹图象进行分析,测定了a"与a_N相间的共格应变值。     

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

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

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.