相似剩余格及其对应逻辑系统的完备性

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.     

多棱锥镜产生多光束干涉场的理论和实验研究

提出了一种使用多棱锥镜和多棱台镜产生多束相干光形成二维和三维光学格子的方法。理论分析和数值模拟了多束轴对称平面波干涉产生的二维及三维点阵结构的特性,得到了光场分布随光束数增加的关系,发现随着干涉光数目的增加,干涉场会复杂变化,当棱锥棱数足够多近似于一个圆锥时,干涉场会变为同心圆结构的贝塞尔光束的场分布。实验上使用多棱锥和多棱台镜进行了多光束干涉实验,得到了多束轴对称平面波干涉形成的光学格子,将数值模拟与实验结果进行了比较,二者完全吻合。     

贪婪格点路径的一些性质

设{Xv:v∈Zd}是一族独立同分布的随机变量序列,对Zd上的任意一路径π,定义S(π)=∑v∈πXv,记Mn=maxπ∈Π0(n)S(π),Π0(n)表示从原点出发大小为n的自不相交的路径的全体.论文讨论Mn的性质,得到了类似完全收敛性的结果,即对任意的ε>0,∑∞n=11nPMnn-M>ε<∞.另外还讨论了Xv允许取负值的情形,得到类似的结果,从而推广了Gandolfi和Kesten所研究的贪婪格点路径模型.     

基于第一性原理的单层WS2热输运特性研究

二维WS₂是一种层状过渡金属硫化物,因其具有特殊的层状结构、可调带隙及稳定的物理化学性质而备受关注。结合玻尔兹曼输运方程(BTE)和密度泛函理论(DFT),利用第一性原理研究了单层WS₂声子的输运特性,分析了声子的谐性效应和非谐性效应对WS₂晶格热导率的影响机理,计算了其声子的临界平均自由程,提出通过调整阻断频率的方法来调控WS₂的晶格热导率。研究结果表明：单层WS₂在300 K时的本征晶格热导率为149.12 W/(m·K),且随温度的升高而降低;从各声子支对总热导率的贡献来看,声学声子支起主要作用,特别是纵向声学(longitudinal acoustic, LA)声子支对单层WS₂热导率的贡献百分比最大(44.28%);单层WS₂声学声子支和光学声子支之间的较大带隙(声光学声子支之间无散射)导致其具有较高的晶格热导率。本文研究可为基于单层WS₂纳米电子器件的设计和改进提供借鉴和理论指导。     

A general modal frequency-domain vortex lattice method for aeroelastic analyses

The generalized aerodynamic force (GAF) matrix is derived for the Unsteady Vortex Lattice Method (UVLM) without the assumption of out-of-plane dynamics. As a result, the approach naturally includes in-plane motion and forces unlike the doublet lattice method (DLM). The derived UVLM GAF is therefore applicable to industry-standard techniques for aeroelastic stability analyses, such as the p–k method. In this work, the fluid–structure interpolation is performed with radial basis functions for surface interpolation. The generalized aerodynamic forces computed with the UVLM are verified against the DLM from NASTRAN on a simple flat plate configuration. The ability of the UVLM to include steady loads is verified with a T-tail flutter case and the results confirm the importance of including steady loads for T-tail flutter analysis. The modal frequency domain VLM therefore provides the same level of efficiency and accuracy than the DLM, but without the restrictions and with the ability to handle complex geometries. It is therefore a viable replacement to the DLM.     

Influence of Electron–Phonon Interaction on the Lattice Thermal Conductivity in Single-Crystal Si

Lattice thermal conductivity can be reduced by introducing point defect, grain boundary, and nanoscale precipitates to scatter phonons of different wave-lengths, etc. Recently, the effect of electron–phonon (EP) interaction on phonon transport has attracted more and more attention, especially in heavily doped semiconductors. Here the effect of EP interaction in n-type P-doped single-crystal Si has been investigated. The lattice thermal conductivity decreases dramatically with increasing P doping. This reduction on lattice thermal conductivity cannot be explained solely considering point defect scattering. Further, the lattice thermal conductivity can be fitted well by introducing EP interaction into the modified Debye–Callaway model, which demonstrates that the EP interaction can play an important role in reducing lattice thermal conductivity of n-type P-doped single-crystal Si.     

Spin Dynamics and Dirac Nodes in a Kagome Lattice

Herein, the spin dynamics for various magnetic configurations arranged on a Kagome lattice is investigated. Using a Holstein–Primakoff expansion of the isotropic Heisenberg Hamiltonian with multiple exchange parameters, the development and evolution of magnetic Dirac nodes with both anisotropy and magnetic field are examined. From the classical energies, the phase diagrams for the ferromagnetic (FM), antiferrimagnetic (AfM), and the 120°  phases are shown as functions of J₁, J₂, J₃, and anisotropy. Furthermore, the production of bosonic Dirac and Weyl nodes in the spin-wave spectra is shown. Through frustration of the magnetic geometry, a connection to the asymmetric properties of the Kagome lattice and the various antiferromagnetic configurations is discerned. Most interesting is the 120°  phase, which does not have Dirac nodes when considering only J₁ due to the formation of an analogous antiferromagnetic honeycomb lattice, but gains Dirac symmetry with next-nearest neighbor interactions. Additionally, the presence of flat modes that are characteristic of cluster excitations is shown. Further study of external frustrations from a magnetic field and anisotropy reveals a tunability of the exchange interactions and nodal points.     

Efficient Quantum Dot Light-Emitting Diodes Based on Well-Type Thick-Shell CdxZn1−xS/CdSe/CdyZn1−yS Quantum Dots

Device grade quantum dots (QDs) require QDs ensembles to retain their original superior optical properties as in solution. QDs with thick shells are proven effective in suppressing the inter-dot interaction and preserving the emission properties for QDs solids. However, lattice strain–induced defects may form as the shell grows thicker, resulting in a notable photoluminescence quenching. Herein, a well-type Cd_xZn_1−xS/CdSe/Cd_yZn_1−yS QDs is proposed, where ternary alloys CdZnS are adopted to match the lattice parameter of intermediate CdSe by separately adjusting the x and y parameters. The resultant thick-shell Cd_0.5Zn_0.5S/CdSe/Cd_0.73Zn_0.27S QDs reveal nonblinking properties with a high PL QY of 99% in solution and 87% in film. The optimized quantum dot light-emitting diodes (QLEDs) exhibit a luminance of 31547.5 cd m⁻² at the external quantum efficiency maximum of 21.2% under a bias of 4.0 V. The shell thickness shows great impact on the degradation of the devices. The T₅₀ lifetime of the QLEDs with 11.2 nm QDs reaches 251 493 h, which is much higher than that of 6.5 and 8.4 nm QDs counterparts. The performances of the well-type thick-shell QLEDs are comparable to state-of-the-art devices, suggesting that this type of QDs is a promising candidate for efficient optoelectronic devices.     

EicC对撞光学设计

EicC是中国科学院近代物理研究所计划建造的中国电子-离子对撞机装置,该对撞机质心能位于20 GeV附近,是研究海夸克的最佳能量窗口,同时还可研究胶子和价夸克。EicC对撞粒子为高极化率质子和电子束团,质子环pRing采用八字环设计方案,可以更好地保持极化质子束团极化率,电子环eRing采用跑道形环设计方案,可以更好地利用隧道空间。该装置电子束流能量中心值为3.5 GeV,电子束RMS发射度为水平方向60 nm·rad,垂直方向60 nm·rad,对撞点b函数为水平方向0.4 m,垂直方向0.12 m;质子束流能量中心值20 GeV,质子束RMS发射度为水平方向300 nm·rad,垂直方向180 nm·rad,对撞点b函数为水平方向0.08 m,垂直方向0.04 m,设计亮度2×1033 cm–2s–1。EicC采用双对撞区非对称光学设计,通过对EicC不同色品补偿方案的研究,最终确定了弧区加短直线节共同补偿的色品补偿方案;通过研究对撞点处b函数以及对撞点间相移对动力学孔径的影响,最终得到pRing动力学孔径大于8 s(s为束团RMS尺寸)、eRing动力学孔径大于20 s,满足大于束团尺寸6 s的要求。     

Structural and Thermodynamic Peculiarities of Core-Shell Particles at Fluid Interfaces from Triangular Lattice Models

A triangular lattice model for pattern formation by core-shell particles at fluid interfaces is introduced and studied for the particle to core diameter ratio equal to 3. Repulsion for overlapping shells and attraction at larger distances due to capillary forces are assumed. Ground states and thermodynamic properties are determined analytically and by Monte Carlo simulations for soft outer- and stiffer inner shells, with different decay rates of the interparticle repulsion. We find that thermodynamic properties are qualitatively the same for slow and for fast decay of the repulsive potential, but the ordered phases are stable for temperature ranges, depending strongly on the shape of the repulsive potential. More importantly, there are two types of patterns formed for fixed chemical potential—one for a slow and another one for a fast decay of the repulsion at small distances. In the first case, two different patterns—for example clusters or stripes—occur with the same probability for some range of the chemical potential. For a fixed concentration, an interface is formed between two ordered phases with the closest concentration, and the surface tension takes the same value for all stable interfaces. In the case of degeneracy, a stable interface cannot be formed for one out of four combinations of the coexisting phases, because of a larger surface tension. Our results show that by tuning the architecture of a thick polymeric shell, many different patterns can be obtained for a sufficiently low temperature.