声学超表面的非对称声分束特性研究

非对称声分束超表面是由人工微单元结构按照特定序列构建的二维平面结构,可将垂直入射的声波分成两束传播方向和分束比自由调控的透射波,在声功能器件设计及声通信领域具有广泛的应用前景。本文系统研究了一种实现非对称声分束的设计理论和实现方法,基于局域声功率守恒条件研究了声分束器的设计理论、阻抗矩阵分布、法向声强分布、声压场分布等。利用遗传算法对四串联共振腔结构进行参数优化实现了声分束器所需的阻抗矩阵分布,声压场分布表明声波入射到声分束器后在入射侧激发出两列传播方向相反且幅值和衰减系数均相同的表面波,实现了入射侧与透射侧的局域声功率相互匹配。声波经过声分束器后被分为两束透射波,两束透射波的折射角和透射系数与理论值十分吻合,证明了设计理论及实现方法的正确性和可行性。本文的研究工作可以为新型非对称声分束结构设计提供理论参考、设计方法和技术支持,并促进其在工程领域的实际应用。     

基于联合神经网络学习的中文电力计量命名实体识别

随着电力计量业务的不断扩展，迫切需要由业务信息、技术知识、行业标准及其内在联系所组成的电力计量知识图谱，为电网的决策和发展提供更为全面有效的支持。命名实体识别是构建知识图谱的基础。针对电力计量领域需要，结合中文分词技术特点，基于联合学习思想，提出了一种基于联合学习的中文电力计量命名实体识别技术。该技术联合CNN-BLSTM-CRF模型与整合词典知识的分词模型，使其共享实体类别和置信度；同时将2个模型的先后计算顺序改为并行计算，减少了识别误差累积。结果表明，在不需要人工构建特征的情况下，方法的正确率、召回率、F值等均显著优于以往方法。     

Distribution dependent stochastic differential equations

Due to their intrinsic link with nonlinear Fokker-Planck equations and many other applications, distribution dependent stochastic differential equations (DDSDEs) have been intensively investigated. In this paper, we summarize some recent progresses in the study of DDSDEs, which include the correspondence of weak solutions and nonlinear Fokker-Planck equations, the well-posedness, regularity estimates, exponential ergodicity, long time large deviations, and comparison theorems.     

On the Relative Twist Formula of l-adic Sheaves

We propose a conjecture on the relative twist formula of l-adic sheaves, which can be viewed as a generalization of Kato—Saito's conjecture. We verify this conjecture under some transversal assumptions. We also define a relative cohomological characteristic class and prove that its formation is compatible with proper push-forward. A conjectural relation is also given between the relative twist formula and the relative cohomological characteristic class.     

Developing Flexible Quinacridone-Derivatives-Based Photothermal Evaporaters for Solar Steam and Thermoelectric Power Generation

Solar-driven interfacial vaporization by localizing solar-thermal energy conversion to the air−water interface has attracted tremendous attention. In the process of converting solar energy into heat energy, photothermal materials play an essential role. Herein, a flexible solar-thermal material di-cyan substituted 5,12-dibutylquinacridone (DCN−4CQA)@Paper was developed by coating photothermal quinacridone derivatives on the cellulose paper. The DCN−4CQA@Paper combines desired chemical and physical properties, broadband light-absorbing, and shape-conforming abilities that render efficient photothermic vaporization. Notably, synergetic coupling of solar-steam and solar-electricity technologies by integrating DCN−4CQA@Paper and the thermoelectric devices is realized without trade-offs, highlighting the practical consideration toward more impactful solar heat exploitation. Such solar distillation and low-grade heat-to-electricity generation functions can provide potential opportunities for fresh water and electricity supply in off-grid or remote areas.     

Optimisation of the ultrasound-assisted extraction of betalains and polyphenols from Amaranthus hypochondriacus var. Nutrisol

The present study optimised the ultrasound-assisted extraction (UAE) of bioactive compounds from Amaranthus hypochondriacus var. Nutrisol. Influence of temperature (25.86–54.14 °C) and ultrasonic power densities (UPD) (76.01–273.99 mW/mL) on total betalains (BT), betacyanins (BC), betaxanthins (BX), total polyphenols (TP), antioxidant activity (AA), colour parameters (L*, a*, and b*), amaranthine (A), and isoamaranthine (IA) were evaluated using response surface methodology. Moreover, betalain extraction kinetics and mass transfer coefficients (K_La) were determined for each experimental condition. BT, BC, BX, TP, AA, b*, K_La, and A were significantly affected (p < 0.05) by temperature extraction and UPD, whereas L*, a*, and IA were only affected (p < 0.05) by temperature. All response models were significantly validated with regression coefficients (R²) ranging from 87.46 to 99.29%. BT, A, IA, and K_La in UAE were 1.38, 1.65, 1.50, and 29.93 times higher than determined using conventional extraction, respectively. Optimal UAE conditions were obtained at 41.80 °C and 188.84 mW/mL using the desired function methodology. Under these conditions, the experimental values for BC, BX, BT, TP, AA, L*, a*, b*, K_La, A, and IA were closely related to the predicted values, indicating the suitability of the developed quadratic models. This study proposes a simple and efficient UAE method to obtain betalains and polyphenols with high antioxidant activity, which can be used in several applications within the food industry.     

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.