大口径光学元件装夹转运结构设计及分析

为了实现大口径光学元件的安全装夹、转运,通过光学元件开槽与不开槽两种装夹方式的分析,得出开槽夹紧转运方式将带来微裂纹、应力集中、成本高等缺陷,提出了利用摩擦力克服光学零件的重力和惯性力的低应力装夹转运方案。通过对光学元件低应力夹紧结构设计,并利用有限元分析方法,得到不开槽装夹方式下,光学元件的最大主应力为1.11 MPa,最大切应力为0.73 MPa,远低于光学元件破坏的强度极限,且受力均匀,无应力集中现象。     

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.     

Evolution of Local Structural Ordering and Chemical Distribution upon Delithiation of a Rock Salt–Structured Li1.3Ta0.3Mn0.4O2 Cathode

Lithium‐rich disordered rock‐salt oxides have attracted great interest owing to their promising performance as Li‐ion battery cathodes. While experimental and theoretical efforts are critical in advancing this class of materials, a fundamental understanding of key property changes upon Li extraction is largely missing. In the present study, single‐crystal synthesis of a new disordered rock‐salt cathode material, Li_1.3Ta_0.3Mn_0.4O₂ (LTMO), and its use as a model compound to investigate Li concentration–driven evolution of local cationic ordering, charge compensation, and chemical distribution are reported. Through the combined use of 2D and 3D X‐ray nanotomography, it is shown that Li removal accompanied by oxygen oxidation is correlated with the development of morphological defects such as particle cracking. Chemical heterogeneity, quantified by subparticle level distribution of Mn valence state, is minimal during Mn redox, which drastically increases upon the formation of cracks during oxygen redox. Density functional theory and bond valence sum mismatch calculations reveal the presence of local short‐range ordering in the pristine oxide, which gradually disappears along with the extraction of Li. The study suggests that with cycling the transformation into true cation–disordered state can be expected, which likely impacts the voltage profile and obtainable energy density of the oxide cathodes.     

Time-dependent Ginzburg–Landau equations for multi-gap superconductors

We numerically solve the time-dependent Ginzburg–Landau equations for two-gap superconductors using the finite-element technique. The real-time simulation shows that at low magnetic field, the vortices in small-size samples tend to form clusters or other disorder structures. When the sample size is large, stripes appear in the pattern. These results are in good agreement with the previous experimental observations of the intriguing anomalous vortex pattern, providing a reliable theoretical basis for the future applications of multi-gap superconductors.     

电信企业信息化统一模型构建策略

电信企业信息化的实质就是赋予电信企业精细化的企业资源整合能力，本以此认识为出发点，通过定义基本的信息化业务元素，需求参数和基本信息处理机制，构建出带有行业共性的电信企业信息化统一模型，该模型针对目前电信企业信息化中常见的和潜在的问题提供了有效的解决措施。     

X射线光刻掩模背面刻蚀过程中的形变仿真

开发了理论模型以验证有限元方法用于X射线光刻掩模刻蚀过程数值仿真的正确性。利用相同的有限元技术，对X射线光刻掩模的背面开窗、Si片刻蚀过程进行数值仿真。结果表明，图形区域的最大平面内形变(IPD)出现在上、下边缘处，最大非平面形变(OPD)出现在左、右边缘处。此外对Si片单载荷步刻蚀和多载荷步刻蚀的仿真进行比较，结果表明图形区域最终的形变量与Si片刻蚀的过程无关。     

电子显微学在结构生物学研究中的新进展

电子显微学是结构生物学的重要分支，已经成为一种公认的研究生物大分子、超分子复合体及亚细胞结构的有力手段。本文先回顾了近期电子显微学在技术上的新进展，后概述了生物电子显微学的三个组成部分——电子晶体学，单颗粒技术，电子断层成像术的基本原理，技术方法与研究现状。最后，对电子显微学与其他结构生物学研究手段的结合以及电子显微学的未来发展做了简单的展望。     

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

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

CPL冷凝单管融化过程的双倒易边界元分析

1引言CPL（毛细泵两相流回路）能传输较高的热负荷，而且不需要循环泵、阀门等运动部件，重量轻可靠性好；在飞行器热控制方面有很好的应用前景[1]。CPL在恶劣的空间环境中运行，需要防止工作介质出现冷冻，为此，我们已经用解析[2]和数值的方法[3]进行了初步的分析，得到了一些可供工程设计参考应用的结果。另外，在恶劣的空间环境中，如果出现冻结，需要融化起动，热管的安全设计需要研究它的融化特性，以确保热管在空间能正常运行。双倒易边界元方法用Laplace基本解[4]，通过对一类偏微分方程两侧进行转化，将它全部转化为纯边界积分…