介绍一个与材料相关的研究型综合化学实验——壳聚糖的制备与表征

在中国科学技术大学夏季学期的研究型实验课程"化学科研基础训练"中开设"壳聚糖的制备与表征"综合实验,以龙虾壳为原料,通过除蛋白、脱盐、脱色、脱乙酰等一系列反应,制备得到目标产物壳聚糖。运用红外光谱、核磁共振仪、黏度法、滴定等对产品的结构及性能进行表征。     

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Synthesis of partially fluorinated poly(arylene ether sulfone) multiblock copolymers bearing perfluorosulfonic functions

Partially fluorinated poly(arylene ether sulfone) multiblock copolymers bearing perfluorosulfonic functions (ps‐PES‐FPES), with ionic exchange capacity (IEC) ranging between 0.9 and 1.5 meq H⁺/g, are synthesized by regioselective bromination of partially fluorinated poly(arylene ether sulfone) multiblock copolymers (PES‐FPES), followed by Ullman coupling reaction with lithium 1,1,2,2‐tetrafluoro‐2‐(1,1,2,2‐tetrafluoro‐2‐iodoethoxy)ethanesulfonate. The PES‐FPES are prepared by aromatic nucleophilic substitution reaction by an original approach, that is, “one pot two reactions synthesis.” The chemical structures of polymers are analyzed by ¹H and ¹⁹F NMR spectroscopy. The resulted ionomers present two distinct glass transitions and α relaxations revealing phase separation between the hydrophilic and the hydrophobic domains. The phase separation is observed at much lower block lengths of ps‐PES‐FPES as compared with the literature. AFM and SANS observations supported the phase separation, the hydrophilic domains are well dispersed but the connectivity to each other depends on the ps‐PES block lengths. The thermomechanical behavior, the water up‐take, and the conductivity of the ps‐PES‐FPES membranes are compared with those of Nafion 117^® and randomly functionalized polysulfone (ps‐PES). Conductivities close or higher to those of Nafion 117^® are obtained. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 1941–1956     

Thermally induced solid-state transformation of cimetidine. A multi-spectroscopic/chemometrics determination of the kinetics of the process and structural elucidation of one of the products as a stable N3-enamino tautomer

Exposure of cimetidine (CIM) to dry heat (160–180 °C) afforded, upon cooling, a glassy solid containing new and hitherto unknown products. The kinetics of this process was studied by a second order chemometrics-assisted multi-spectroscopic approach. Proton and carbon-13 nuclear magnetic resonance (NMR), as well as ultraviolet and infrared spectroscopic data were jointly used, whereas multivariate curve resolution with alternating least squares (MCR-ALS) was employed as the chemometrics method to extract process information. It was established that drug degradation follows a first order kinetics.     

原位液相透射电子显微镜及其在 纳米粒子表征方面的应用

近年来,基于透射电子显微技术、微纳加工技术和薄膜制造技术的发展,原位液相透射电子显微技术产生,为构建多种纳米级分辨率尺度下的微实验平台,发展新型纳米表征技术和众多领域的相关研究提供了途径.本文首先介绍了应用于原位液相透射电子显微技术的液体腔设计要求,然后介绍了液体腔的发展和典型的制备工艺,最后综述了近年来液体腔透射电子显微镜在纳米粒子成核和生长方面的应用研究,并探讨了该技术前沿发展面临的机遇和挑战.本文将为提高我国先进纳米表征技术和原子精准构筑技术提供相关讨论和支持.     

Reducing Huge Gyroscopic Eigenproblems by Automated Multi-level Substructuring

Simulating numerically the sound radiation of a rolling tire requires the solution of a very large and sparse gyroscopic eigenvalue problem. Taking advantage of the automated multi-level substructuring (AMLS) method it can be projected to a much smaller gyroscopic problem, the solution of which however is still quite costly since the eigenmodes are non-real and complex arithmetic is necessary. This paper discusses the application of AMLS to huge gyroscopic problems and the numerical solution of the AMLS reduction. A numerical example demonstrates the efficiency of AMLS.     

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

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

固体力学有限元体系的结构拓扑变化理论

本文是文[1]的继续.文[1]提出了杆件系统的结构拓扑变化理论和拓扑变化法本文将这一理论和方法推进到连续体有限元体系;且在此基础上揭示出有限元体系的一个新性质,称为基本位移之梯度的正交性定理,从而给出一套设计敏度的显式表达式,可直接用于计算.     

加肋圆柱壳在轴压作用下的屈曲和后屈曲

本文讨论完善和非完善的,纵向加肋和正交加肋圆柱壳在轴压作用下的屈曲和后屈曲性态.依据文[1]提供的圆柱薄壳屈曲的边界层理论及其分析方法,给出了加肋圆柱壳在轴压作用下的屈曲和后屈曲理论分析.本文同时讨论肋骨与壳板材料不同时对加肋圆柱壳屈曲和后屈曲性态的影响.