氢化丁苯共聚物结构的核磁共振波谱表征Ⅱ.微观结构的定量计算

在氢化丁苯共聚物¹³C-NMR谱脂肪碳部分谱带归属的基础上,根据各谱带的主要来源,推导出六个二单元浓度的计算公式。计算出二单元、一单元的相对含量,各结构单元的数均序列长度、嵌段含量和其它结构参数。加氢前后的¹H-和¹³C-NMR谱的组成计算结果基本一致。初步探讨了作为粘度指数改进剂的氢化丁苯共聚物微观结构与性能的关系,为合成提供了依据。     

赝能隙导致的YBa2(Cu1-xMx)3O7-δ(M=Co,Zn)薄膜的输运性质异常

报道了两类典型元素替代的超导Y123相体系-YBa2(Cu1-xCox)3O7-δ(x=0.01,0.02)和YBa2(Cu1-yZny)3O7-δ(y=0.005,0.010)薄膜的电阻率-温度特性(ρ(T))和Hall效应(RH (T)).研究表明,Co掺杂的Y123相体系十分类似于氧欠掺杂的情况,对Co掺杂的薄膜样品,由电阻率-温度特性定义的赝能隙打开的温度T*分别为193和225K.而Zn掺杂的样品没有观察到赝能隙打开对电阻率-温度特性的影响.由Hall效应的测量和Hall角(cotθH)定义了另一个特征温度T 0,介于Tc与T*之间,这一特征温度与核磁共振(NMR)给出的赝能隙打开温度相近,说明可能源于电子自旋自由度上的能隙打开.在室温到Tc范围内,电阻率-温度特性和Hall效应分别定义了两类不同的转变温度(T*和T 0),可能分别源于电子电荷和自旋通道上的赝能隙的打开,预示着电荷和自旋自由度分别进入某种基态.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

Time-resolved imaging of latent fingerprints with nanosecond resolution

Imaging of latent fingerprints using time-resolved (TR) method offers a broader platform to eliminate the unwanted background emission. In this paper, a novel TR imaging technique is demonstrated and implemented, which facilitates the detection of latent fingerprints with nanosecond resolution. Simulated experiments were carried out with two overlapping fingerprints treated with two fluorescent powders having different lifetimes in nanosecond range. The dependence of the fluorescence emission intensity in nanosecond resolution of TR imaging is also revealed.     

Influence of preparation method on SrMoO4 impurity content and magnetotransport properties of double perovskite Sr2FeMoO6 polycrystals

The magnetic and electric properties of the Sr₂FeMoO₆ compound produced under different preparation conditions were studied. Depending on the preparation condition, a strong variation in the nonmagnetic SrMoO₄ impurity content was found, which in turn determined the metallic or semiconducting behavior of the resistivity of the Sr₂FeMoO₆ compound. There was also evidence that SrMoO₄ played a crucial role in modifying the low magnetic field intergrain tunneling magnetoresistance in Sr₂FeMoO₆. In addition, we have established a simple method to prepare the single phase Sr₂FeMoO₆ polycrystals.     

氢化丁苯共聚物结构的核磁共振波谱表征Ⅰ.13C谱带的归属

本文分别用JEOL FX-90Q和Bruker AM-300波谱仪测定了氢化聚丁二烯和氢化丁苯共聚物的¹H,¹³C-NMR谱,得到了分辨率较高的谱图和新的结构信息。借助DEPT技术确定了各谱带的CH或CH₂类型。利用Grant-Paul和Lindeman-Adams介绍的化学位移经验计算公式,考虑苯基对α、β和γ碳原子的影响,计算了各种三单元序列中有关碳原子的化学位移。对脂肪碳部分的28组谱带重新进行了归属。化学位移计算值与实测值基本相符,并得到了不同组成的模型聚合物¹³C-NMR谱的各谱带强度变化规律的验证。