三维位势问题的梯度边界积分方程的新解法

三维位势问题的边界元分析中,关于坐标变量的边界位势梯度的计算是一个困难的问题. 已有一些方法着手解决这个问题,然而,这些方法需要复杂的理论推导和大量的数值计算. 本文提出求解一般边界位势梯度边界积分方程的辅助边值问题法. 该方法构造了与原边界值问题具有相同解域的辅助边值问题,该辅助边值问题具有已知解,因此通过求解此辅助边值问题,可获得梯度边界积分方程对应的系统矩阵,然后将此系统矩阵应用于求解原边值问题,求解过程非常简单,只需求解一个线性系统即可获得原边值问题的解. 值得注意的是,在求解原边值问题时,不再需要重新计算系统矩阵,因此辅助边值问题法的效率并不很差. 辅助边值问题法避免了强奇异积分的计算,具有数学理论简单、程序设计容易、计算精度高等优点,为坐标变量梯度边界积分方程的求解提供了一个新的途径. 3个标准的数值算例验证了方法的有效性.      

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.     

航空导管弯曲试验的疲劳裂纹萌生寿命

飞行器液压导管受接头和卡箍等约束，在使用的振动环境中，会因弯曲应力而导致破裂，影响到飞行安全．本文对飞行器液压系统通用的不锈钢导管的裂纹萌生寿命进行了试验研究．首先在对8 mm、12 mm 无缺陷导管和含U 型缺口8 mm 导管的疲劳试验和有限元分析的基础上，得到了导管的最大拉应变-裂纹萌生寿命数据．然后采用基于强度极限和弹性模量估算法的Manson-Coffin 公式来预测导管裂纹萌生寿命．最后引入加载类型修正系数、表面质量修正系数、试样尺寸修正系数、应力集中敏感系数和有效应力集中系数，使修正后的公式对三种类型的导管均有较好的裂纹萌生寿命预测精度．     

Sobolev Stability of Plane Wave Solutions to the Nonlinear Schrödinger Equation

This article explores the questions of long time orbital stability in high order Sobolev norms of plane wave solutions to the NLSE in the defocusing case.     

强度解调型光纤光栅温度传感实验

光纤光栅在工程上应用广泛,但由于存在解调系统复杂、成本高,尤其是需要使用光纤光谱仪等波长解调仪器,使得光纤光栅很难走入本科教学的实验课堂.本文提出了一种基于窄线宽DFB激光器的强度解调方案,极大地简化了光纤光栅传感器的解调系统,完全满足较高分辨率和实时检测的系统要求.合理安排的温度传感实验可以非常直观地展示光纤光栅的线性传感性能,使得工程化的光纤光栅传感技术轻松走进本科教学课堂,具有极高的推广和应用潜力.     

基于时变Copula模型的 基金收益率相依关系的应用研究

基于时变Copula模型,获得预测方差,确定单个基金收益率序列的边缘分布.利用常见的静态Copula和时变Copula模型对基金收益率序列间两两相依关系进行建模并进行对比分析.应用研究表明,基于MCMC方法的时变Copula模型能更有效地度量基金收益率序列的风险.     

基于DIS数字信息化系统对透光物质透光性能的研究

采用DIS数字信息化系统,对不同浓度的蓝墨水溶液在激光光源照射下的透射平均照度及照度分布图像进行实验研究,得到了平均照度值随溶液浓度变化的规律。对不同颜色塑料膜片对白炽灯光源透过照度值及照度分布图像进行实验研究得到及其相关之规律。     

Catalytic synthesis of single-crystalline gallium nitride nanobelts

Single-crystalline gallium nitride nanobelts have been synthesized through the reaction of gallium vapor with flowing ammonia using nickel as a catalyst. The as-synthesized products were characterized using X-ray powder diffraction (XRD), scanning electron microscopy, energy-dispersive X-ray spectroscopy, transmission electron microscopy, and selected-area electron diffraction (SAED). XRD and SAED results revealed that the products are pure, single-crystalline GaN with hexagonal structure. The widths and thickness of the nanobelts ranged from 80 to 200 nm, and 10 to 30 nm, respectively. The lengths were up to several tens of micrometers. The nanobelts had smooth surface with no amorphous sheath, and a sharp-tip end. The growth mechanism of nanobelts was discussed.     

双掺(Tm3+,Tb3+)LiYF4激光器1.5 μm波长激光阈值分析

由速率方程推出了双掺（Tm^3 ,Tb^3 ）离子准四能级系统的激光阈值解析式，讨论了Tm^3 和Tb^3 离子之间的相互作用。分析了1.5μm波长附近的激光阈值和Tm^3 、Tb^3 离子的掺杂原子数分数及晶体长度的关系。结果表明，对于对应Tm^3 离子^3H4→^3F4跃迁的约1.5μm波长的激光，激活离子Tm^3 的掺杂原子数分数过大时，交叉弛豫作用将使系统阈值迅速增加。Tb^3 离子的加入，一方面能抽空激光下能级，起到降低阈值的作用；另一方面亦减少了激光上能级的寿命，使阈值升高。故Tb^3 离子有最佳掺杂原子数分数。对于Tm原子数分数为y=0.01的Tm:LiYF4晶体，Tb^3 离子的最佳掺杂原子数分数为0.002左右，同时表明，激光阈值与晶体长度有关。最佳晶体长度与Tm^3 、Tb^3 离子的掺杂原子数分数以及晶体的衍射损耗和吸收损耗有关。