川桂皮中具有免疫调节活性的甾体和苯丙素类化学成分

对川桂Cinnamomum wilsonii皮的化学成分进行了研究,从中分离并鉴定出1个新的甾体类化合物,(3S,22R,24R)-stigmast-5-ene-3β,22α-diol(1),和10个已知化合物,stigmast-5-ene-3β,7α,22α-triol(2),24-ethylcholest-5-ene-3β,4β,22α-triol(3),stigmast-5-ene-3β,7α-diol(4),β-谷甾醇(5),β-胡萝卜苷(6),(1R,2R)-1-(4-hydroxy-3-methoxyphenyl)-1,2,3-propanetriol(7),(1S,2S)-1-(4-hydroxy-3-methoxyphenyl)-1,2,3-propanetriol(8),丁子香酚(9),甲氧基丁子香酚(10)和methyl(E)-ferulate(11).通过波谱分析和Cu靶单晶X射线衍射方法确定了新化合物1的结构及其绝对构型.测试了化合物1～11的体外免疫调节活性,1,5和6能显著抑制刀豆A诱导的小鼠T细胞增殖,6和9能显著抑制脂多糖诱导的小鼠B细胞增殖.     

集合论公理系统的层谱

在文献[1,2]中,我们研究了范畴论基础,建立了集合的公理系统ACG,它能够处理超出了集合与类的极其大的汇合。本文进一步推广了系统ACG,建立了集合论公理系统的三个无穷序列:H_0,H_1,…;J_0,J_1,…,G_0,G_1,…。在建立这些公理系统的过程中,我们使用了类型论的方法,它们描述的能力是逐步增长的,     

Design,fabrication, and characterization of Ti/Au transition-edge sensor with different dimensions of suspended beams

For photon detection, superconducting transition-edge sensor (TES) micro-calorimeters are excellent energy-resolving devices. In this study, we report our recent work in developing Ti-/Au-based TES. The Ti/Au TES devices were designed and implemented with a thickness ratio of 1:1 and different suspended structures using micromachining technology. The characteristics were evaluated and analyzed, including surface morphology, 3D deformation of suspended Ti/Au TES device structure, I-V characteristics, and low-temperature superconductivity. The results showed that the surface of Ti/Au has good homogeneity and the surface roughness of Ti/Au is significantly increased compared with the substrate. The structure of Ti/Au bilayer film significantly affects the deformation of suspended devices, but the deformation does not affect the I-V characteristics of the devices. For devices with the Ti/Au bilayer (150μm×150μm) and beams (100μm×25μm), the transition temperature (T_c) is 253 mK with a width of 6 mK, and the value of the temperature sensitivity α is 95.1.     

聚合、序量与基量

<正> 在集合论的研究中人们早已发现许多非集合的真类(proper class),所有集合所组成的类V,所有序数所组成的类On,所有基数所组成的类Ca,Russell类T(它是由所有满足性质x x的集合x所组成的类)等等都是真类.类之间有并、交、补、笛卡尔积等运算,类对于这些运算都是封闭的.但是,真类不能作为其它类的元素,不可能有一个类它的元素是V或On.在Godel的专著[1]中规定,当X或Y为真类时,{X,Y}为空集合Φ.     

公理系统ACG的层谱

在文献[1]中,我们从研究范畴论的基础出发,建立了聚合的公理系统ACG,我们也在ACG中证明了系统ZF^#与QM的协调性。本文对ACG建立了一个层谱,B₀,B₁,…,B_n,……(n∈ω)使得在这一列系统中前者的协调性均可在后者中加以证明,并且它们的并就是ACG。作者另文的结果,即ZF^#与QM的协调性只需在B₀中就可以获得,虽然,在B₀与ACG之间还存在个具有递增强度的公理系统。     

谈谈谎言、悖论与逻辑

谎言与逻辑 谎言与逻辑是对立的,不相容的。人们总是使用逻辑学这一科学武器来识别谎言,分析谁是说谎者,或者透过谎言去洞察事实真相。我们试举几例来说明这一点。 1.张三说:“我从来都是说谎”。现在问:张三这句话是真话还是谎言?经过逻辑思维的判断,可以肯定,张三现在说的这句话是谎言。因为张三永远说真话,显然不成立,所以只有两种可能性:张三有时还